019b477e-cc0a-7010-94cf-4f7046b67632
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 |
|---|---|---|---|---|
| 26795 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26796 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91501 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91502 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91503 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91504 | 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 0x0135 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8aad32f1 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc7980481 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc7980481 0000002f: EQ 00000030: PUSH2 0x0345 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcb2432a7 0000003a: EQ 0000003b: PUSH2 0x035b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd56d229d 00000045: EQ 00000046: PUSH2 0x037b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe73faa2d 00000050: EQ 00000051: PUSH2 0x039b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe81ba080 0000005b: EQ 0000005c: PUSH2 0x03b1 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x03d1 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x8aad32f1 00000076: EQ 00000077: PUSH2 0x02be 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x02de 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa40ba47d 0000008c: EQ 0000008d: PUSH2 0x02fc 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa7ecd37e 00000097: EQ 00000098: PUSH2 0x0312 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xb55b9227 000000a2: EQ 000000a3: PUSH2 0x0332 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x26a49e37 000000b2: GT 000000b3: PUSH2 0x00fd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x26a49e37 000000bd: EQ 000000be: PUSH2 0x0216 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x40c10f19 000000c8: EQ 000000c9: PUSH2 0x0236 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x5f8a4c67 000000d3: EQ 000000d4: PUSH2 0x0249 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x62beaba5 000000de: EQ 000000df: PUSH2 0x0269 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x715018a6 000000e9: EQ 000000ea: PUSH2 0x0289 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x74f8243b 000000f4: EQ 000000f5: PUSH2 0x029e 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x06d586bb 00000104: EQ 00000105: PUSH2 0x013a 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x089a84ce 0000010f: EQ 00000110: PUSH2 0x016b 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x180b4186 0000011a: EQ 0000011b: PUSH2 0x018d 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x23548b8b 00000125: EQ 00000126: PUSH2 0x01c8 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x238ac933 00000130: EQ 00000131: PUSH2 0x01de 00000134: JUMPI 00000135: JUMPDEST 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: CALLVALUE 0000013c: DUP1 0000013d: ISZERO 0000013e: PUSH2 0x0146 00000141: JUMPI 00000142: PUSH1 0x00 00000144: DUP1 00000145: REVERT 00000146: JUMPDEST 00000147: POP 00000148: PUSH1 0x03 0000014a: SLOAD 0000014b: PUSH2 0x0154 0000014e: SWAP1 0000014f: PUSH1 0xff 00000151: AND 00000152: DUP2 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH1 0x40 00000157: MLOAD 00000158: PUSH1 0xff 0000015a: SWAP1 0000015b: SWAP2 0000015c: AND 0000015d: DUP2 0000015e: MSTORE 0000015f: PUSH1 0x20 00000161: ADD 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: DUP1 00000167: SWAP2 00000168: SUB 00000169: SWAP1 0000016a: RETURN 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: DUP1 0000016e: ISZERO 0000016f: PUSH2 0x0177 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: POP 00000179: PUSH2 0x018b 0000017c: PUSH2 0x0186 0000017f: CALLDATASIZE 00000180: PUSH1 0x04 00000182: PUSH2 0x118d 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x03f1 0000018a: JUMP 0000018b: JUMPDEST 0000018c: STOP 0000018d: JUMPDEST 0000018e: CALLVALUE 0000018f: DUP1 00000190: ISZERO 00000191: PUSH2 0x0199 00000194: JUMPI 00000195: PUSH1 0x00 00000197: DUP1 00000198: REVERT 00000199: JUMPDEST 0000019a: POP 0000019b: PUSH2 0x01ba 0000019e: PUSH2 0x01a8 000001a1: CALLDATASIZE 000001a2: PUSH1 0x04 000001a4: PUSH2 0x1087 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH1 0x08 000001ab: PUSH1 0x20 000001ad: MSTORE 000001ae: PUSH1 0x00 000001b0: SWAP1 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x40 000001b5: SWAP1 000001b6: KECCAK256 000001b7: SLOAD 000001b8: DUP2 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: SWAP1 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: PUSH2 0x0162 000001c7: JUMP 000001c8: JUMPDEST 000001c9: CALLVALUE 000001ca: DUP1 000001cb: ISZERO 000001cc: PUSH2 0x01d4 000001cf: JUMPI 000001d0: PUSH1 0x00 000001d2: DUP1 000001d3: REVERT 000001d4: JUMPDEST 000001d5: POP 000001d6: PUSH2 0x01ba 000001d9: PUSH1 0x07 000001db: SLOAD 000001dc: DUP2 000001dd: JUMP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH1 0x06 000001ee: SLOAD 000001ef: PUSH2 0x01fe 000001f2: SWAP1 000001f3: PUSH1 0x01 000001f5: PUSH1 0x01 000001f7: PUSH1 0xa0 000001f9: SHL 000001fa: SUB 000001fb: AND 000001fc: DUP2 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH1 0x40 00000201: MLOAD 00000202: PUSH1 0x01 00000204: PUSH1 0x01 00000206: PUSH1 0xa0 00000208: SHL 00000209: SUB 0000020a: SWAP1 0000020b: SWAP2 0000020c: AND 0000020d: DUP2 0000020e: MSTORE 0000020f: PUSH1 0x20 00000211: ADD 00000212: PUSH2 0x0162 00000215: JUMP 00000216: JUMPDEST 00000217: CALLVALUE 00000218: DUP1 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: POP 00000224: PUSH2 0x01ba 00000227: PUSH2 0x0231 0000022a: CALLDATASIZE 0000022b: PUSH1 0x04 0000022d: PUSH2 0x118d 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x0429 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x018b 0000023a: PUSH2 0x0244 0000023d: CALLDATASIZE 0000023e: PUSH1 0x04 00000240: PUSH2 0x10aa 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x043f 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 0x018b 0000025a: PUSH2 0x0264 0000025d: CALLDATASIZE 0000025e: PUSH1 0x04 00000260: PUSH2 0x11bd 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x05e3 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: PUSH2 0x018b 0000027a: PUSH2 0x0284 0000027d: CALLDATASIZE 0000027e: PUSH1 0x04 00000280: PUSH2 0x1087 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH2 0x06ec 00000288: JUMP 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: DUP1 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH2 0x018b 0000029a: PUSH2 0x0738 0000029d: JUMP 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: DUP1 000002a1: ISZERO 000002a2: PUSH2 0x02aa 000002a5: JUMPI 000002a6: PUSH1 0x00 000002a8: DUP1 000002a9: REVERT 000002aa: JUMPDEST 000002ab: POP 000002ac: PUSH2 0x018b 000002af: PUSH2 0x02b9 000002b2: CALLDATASIZE 000002b3: PUSH1 0x04 000002b5: PUSH2 0x118d 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH2 0x076e 000002bd: JUMP 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: DUP1 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH2 0x018b 000002cf: PUSH2 0x02d9 000002d2: CALLDATASIZE 000002d3: PUSH1 0x04 000002d5: PUSH2 0x11fe 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH2 0x079d 000002dd: JUMP 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: PUSH1 0x00 000002ee: SLOAD 000002ef: PUSH1 0x01 000002f1: PUSH1 0x01 000002f3: PUSH1 0xa0 000002f5: SHL 000002f6: SUB 000002f7: AND 000002f8: PUSH2 0x01fe 000002fb: JUMP 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x01ba 0000030d: PUSH1 0x05 0000030f: SLOAD 00000310: DUP2 00000311: JUMP 00000312: JUMPDEST 00000313: CALLVALUE 00000314: DUP1 00000315: ISZERO 00000316: PUSH2 0x031e 00000319: JUMPI 0000031a: PUSH1 0x00 0000031c: DUP1 0000031d: REVERT 0000031e: JUMPDEST 0000031f: POP 00000320: PUSH2 0x018b 00000323: PUSH2 0x032d 00000326: CALLDATASIZE 00000327: PUSH1 0x04 00000329: PUSH2 0x1087 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH2 0x07dd 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH2 0x018b 00000336: PUSH2 0x0340 00000339: CALLDATASIZE 0000033a: PUSH1 0x04 0000033c: PUSH2 0x10d5 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH2 0x0829 00000344: JUMP 00000345: JUMPDEST 00000346: CALLVALUE 00000347: DUP1 00000348: ISZERO 00000349: PUSH2 0x0351 0000034c: JUMPI 0000034d: PUSH1 0x00 0000034f: DUP1 00000350: REVERT 00000351: JUMPDEST 00000352: POP 00000353: PUSH2 0x01ba 00000356: PUSH1 0x04 00000358: SLOAD 00000359: DUP2 0000035a: JUMP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: PUSH2 0x018b 0000036c: PUSH2 0x0376 0000036f: CALLDATASIZE 00000370: PUSH1 0x04 00000372: PUSH2 0x118d 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH2 0x0b03 0000037a: JUMP 0000037b: JUMPDEST 0000037c: CALLVALUE 0000037d: DUP1 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: POP 00000389: PUSH1 0x01 0000038b: SLOAD 0000038c: PUSH2 0x01fe 0000038f: SWAP1 00000390: PUSH1 0x01 00000392: PUSH1 0x01 00000394: PUSH1 0xa0 00000396: SHL 00000397: SUB 00000398: AND 00000399: DUP2 0000039a: JUMP 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x01ba 000003ac: PUSH1 0x02 000003ae: SLOAD 000003af: DUP2 000003b0: JUMP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x018b 000003c2: PUSH2 0x03cc 000003c5: CALLDATASIZE 000003c6: PUSH1 0x04 000003c8: PUSH2 0x118d 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x0b32 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x018b 000003e2: PUSH2 0x03ec 000003e5: CALLDATASIZE 000003e6: PUSH1 0x04 000003e8: PUSH2 0x1087 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x0b61 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x00 000003f4: SLOAD 000003f5: PUSH1 0x01 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: SHL 000003fc: SUB 000003fd: AND 000003fe: CALLER 000003ff: EQ 00000400: PUSH2 0x0424 00000403: JUMPI 00000404: PUSH1 0x40 00000406: MLOAD 00000407: PUSH3 0x461bcd 0000040b: PUSH1 0xe5 0000040d: SHL 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x04 00000412: ADD 00000413: PUSH2 0x041b 00000416: SWAP1 00000417: PUSH2 0x1218 0000041a: JUMP 0000041b: JUMPDEST 0000041c: PUSH1 0x40 0000041e: MLOAD 0000041f: DUP1 00000420: SWAP2 00000421: SUB 00000422: SWAP1 00000423: REVERT 00000424: JUMPDEST 00000425: PUSH1 0x04 00000427: SSTORE 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x00 0000042c: PUSH1 0x02 0000042e: SLOAD 0000042f: DUP3 00000430: PUSH2 0x0439 00000433: SWAP2 00000434: SWAP1 00000435: PUSH2 0x1265 00000438: JUMP 00000439: JUMPDEST 0000043a: SWAP3 0000043b: SWAP2 0000043c: POP 0000043d: POP 0000043e: JUMP 0000043f: JUMPDEST 00000440: TIMESTAMP 00000441: PUSH1 0x05 00000443: SLOAD 00000444: GT 00000445: ISZERO 00000446: PUSH2 0x0484 00000449: JUMPI 0000044a: PUSH1 0x40 0000044c: MLOAD 0000044d: PUSH3 0x461bcd 00000451: PUSH1 0xe5 00000453: SHL 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: PUSH1 0x04 0000045a: DUP3 0000045b: ADD 0000045c: MSTORE 0000045d: PUSH1 0x10 0000045f: PUSH1 0x24 00000461: DUP3 00000462: ADD 00000463: MSTORE 00000464: PUSH16 0x085b9bdd081cdd185c9d1959081e595d 00000475: PUSH1 0x82 00000477: SHL 00000478: PUSH1 0x44 0000047a: DUP3 0000047b: ADD 0000047c: MSTORE 0000047d: PUSH1 0x64 0000047f: ADD 00000480: PUSH2 0x041b 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH1 0x03 00000487: SLOAD 00000488: PUSH1 0xff 0000048a: AND 0000048b: DUP2 0000048c: GT 0000048d: ISZERO 0000048e: PUSH2 0x04c8 00000491: JUMPI 00000492: PUSH1 0x40 00000494: MLOAD 00000495: PUSH3 0x461bcd 00000499: PUSH1 0xe5 0000049b: SHL 0000049c: DUP2 0000049d: MSTORE 0000049e: PUSH1 0x20 000004a0: PUSH1 0x04 000004a2: DUP3 000004a3: ADD 000004a4: MSTORE 000004a5: PUSH1 0x0c 000004a7: PUSH1 0x24 000004a9: DUP3 000004aa: ADD 000004ab: MSTORE 000004ac: PUSH12 0x1f1036b0bc2832b92ab9b2b9 000004b9: PUSH1 0xa1 000004bb: SHL 000004bc: PUSH1 0x44 000004be: DUP3 000004bf: ADD 000004c0: MSTORE 000004c1: PUSH1 0x64 000004c3: ADD 000004c4: PUSH2 0x041b 000004c7: JUMP 000004c8: JUMPDEST 000004c9: PUSH1 0x07 000004cb: SLOAD 000004cc: PUSH1 0x01 000004ce: PUSH1 0x00 000004d0: SWAP1 000004d1: SLOAD 000004d2: SWAP1 000004d3: PUSH2 0x0100 000004d6: EXP 000004d7: SWAP1 000004d8: DIV 000004d9: PUSH1 0x01 000004db: PUSH1 0x01 000004dd: PUSH1 0xa0 000004df: SHL 000004e0: SUB 000004e1: AND 000004e2: PUSH1 0x01 000004e4: PUSH1 0x01 000004e6: PUSH1 0xa0 000004e8: SHL 000004e9: SUB 000004ea: AND 000004eb: PUSH4 0x18160ddd 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: DUP2 000004f4: PUSH4 0xffffffff 000004f9: AND 000004fa: PUSH1 0xe0 000004fc: SHL 000004fd: DUP2 000004fe: MSTORE 000004ff: PUSH1 0x04 00000501: ADD 00000502: PUSH1 0x20 00000504: PUSH1 0x40 00000506: MLOAD 00000507: DUP1 00000508: DUP4 00000509: SUB 0000050a: DUP2 0000050b: DUP7 0000050c: DUP1 0000050d: EXTCODESIZE 0000050e: ISZERO 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x0519 00000514: JUMPI 00000515: PUSH1 0x00 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: POP 0000051b: GAS 0000051c: STATICCALL 0000051d: ISZERO 0000051e: DUP1 0000051f: ISZERO 00000520: PUSH2 0x052d 00000523: JUMPI 00000524: RETURNDATASIZE 00000525: PUSH1 0x00 00000527: DUP1 00000528: RETURNDATACOPY 00000529: RETURNDATASIZE 0000052a: PUSH1 0x00 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: POP 00000530: POP 00000531: POP 00000532: PUSH1 0x40 00000534: MLOAD 00000535: RETURNDATASIZE 00000536: PUSH1 0x1f 00000538: NOT 00000539: PUSH1 0x1f 0000053b: DUP3 0000053c: ADD 0000053d: AND 0000053e: DUP3 0000053f: ADD 00000540: DUP1 00000541: PUSH1 0x40 00000543: MSTORE 00000544: POP 00000545: DUP2 00000546: ADD 00000547: SWAP1 00000548: PUSH2 0x0551 0000054b: SWAP2 0000054c: SWAP1 0000054d: PUSH2 0x11a5 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH2 0x055b 00000555: SWAP1 00000556: DUP4 00000557: PUSH2 0x124d 0000055a: JUMP 0000055b: JUMPDEST 0000055c: GT 0000055d: ISZERO 0000055e: PUSH2 0x0594 00000561: JUMPI 00000562: PUSH1 0x40 00000564: MLOAD 00000565: PUSH3 0x461bcd 00000569: PUSH1 0xe5 0000056b: SHL 0000056c: DUP2 0000056d: MSTORE 0000056e: PUSH1 0x20 00000570: PUSH1 0x04 00000572: DUP3 00000573: ADD 00000574: MSTORE 00000575: PUSH1 0x08 00000577: PUSH1 0x24 00000579: DUP3 0000057a: ADD 0000057b: MSTORE 0000057c: PUSH8 0x03e206d617843617 00000585: PUSH1 0xc4 00000587: SHL 00000588: PUSH1 0x44 0000058a: DUP3 0000058b: ADD 0000058c: MSTORE 0000058d: PUSH1 0x64 0000058f: ADD 00000590: PUSH2 0x041b 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH2 0x059d 00000598: DUP2 00000599: PUSH2 0x0429 0000059c: JUMP 0000059d: JUMPDEST 0000059e: CALLVALUE 0000059f: LT 000005a0: ISZERO 000005a1: PUSH2 0x05d5 000005a4: JUMPI 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: PUSH3 0x461bcd 000005ac: PUSH1 0xe5 000005ae: SHL 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: PUSH1 0x04 000005b5: DUP3 000005b6: ADD 000005b7: MSTORE 000005b8: PUSH1 0x06 000005ba: PUSH1 0x24 000005bc: DUP3 000005bd: ADD 000005be: MSTORE 000005bf: PUSH6 0x2176616c7565 000005c6: PUSH1 0xd0 000005c8: SHL 000005c9: PUSH1 0x44 000005cb: DUP3 000005cc: ADD 000005cd: MSTORE 000005ce: PUSH1 0x64 000005d0: ADD 000005d1: PUSH2 0x041b 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH2 0x05df 000005d9: DUP3 000005da: DUP3 000005db: PUSH2 0x0bfc 000005de: JUMP 000005df: JUMPDEST 000005e0: POP 000005e1: POP 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH1 0x00 000005e6: SLOAD 000005e7: PUSH1 0x01 000005e9: PUSH1 0x01 000005eb: PUSH1 0xa0 000005ed: SHL 000005ee: SUB 000005ef: AND 000005f0: CALLER 000005f1: EQ 000005f2: PUSH2 0x060d 000005f5: JUMPI 000005f6: PUSH1 0x40 000005f8: MLOAD 000005f9: PUSH3 0x461bcd 000005fd: PUSH1 0xe5 000005ff: SHL 00000600: DUP2 00000601: MSTORE 00000602: PUSH1 0x04 00000604: ADD 00000605: PUSH2 0x041b 00000608: SWAP1 00000609: PUSH2 0x1218 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH1 0x01 00000610: PUSH1 0x01 00000612: PUSH1 0xa0 00000614: SHL 00000615: SUB 00000616: DUP3 00000617: AND 00000618: PUSH2 0x0620 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: DUP1 0000061f: REVERT 00000620: JUMPDEST 00000621: PUSH1 0x01 00000623: PUSH1 0x01 00000625: PUSH1 0xa0 00000627: SHL 00000628: SUB 00000629: DUP2 0000062a: AND 0000062b: PUSH2 0x066a 0000062e: JUMPI 0000062f: PUSH1 0x40 00000631: MLOAD 00000632: PUSH1 0x01 00000634: PUSH1 0x01 00000636: PUSH1 0xa0 00000638: SHL 00000639: SUB 0000063a: DUP4 0000063b: AND 0000063c: SWAP1 0000063d: DUP5 0000063e: ISZERO 0000063f: PUSH2 0x08fc 00000642: MUL 00000643: SWAP1 00000644: DUP6 00000645: SWAP1 00000646: PUSH1 0x00 00000648: DUP2 00000649: DUP2 0000064a: DUP2 0000064b: DUP6 0000064c: DUP9 0000064d: DUP9 0000064e: CALL 0000064f: SWAP4 00000650: POP 00000651: POP 00000652: POP 00000653: POP 00000654: ISZERO 00000655: DUP1 00000656: ISZERO 00000657: PUSH2 0x0664 0000065a: JUMPI 0000065b: RETURNDATASIZE 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: RETURNDATACOPY 00000660: RETURNDATASIZE 00000661: PUSH1 0x00 00000663: REVERT 00000664: JUMPDEST 00000665: POP 00000666: POP 00000667: POP 00000668: POP 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: PUSH4 0xa9059cbb 00000673: PUSH1 0xe0 00000675: SHL 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x01 0000067a: PUSH1 0x01 0000067c: PUSH1 0xa0 0000067e: SHL 0000067f: SUB 00000680: DUP4 00000681: DUP2 00000682: AND 00000683: PUSH1 0x04 00000685: DUP4 00000686: ADD 00000687: MSTORE 00000688: PUSH1 0x24 0000068a: DUP3 0000068b: ADD 0000068c: DUP6 0000068d: SWAP1 0000068e: MSTORE 0000068f: DUP3 00000690: AND 00000691: SWAP1 00000692: PUSH4 0xa9059cbb 00000697: SWAP1 00000698: PUSH1 0x44 0000069a: ADD 0000069b: PUSH1 0x20 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: DUP1 000006a1: DUP4 000006a2: SUB 000006a3: DUP2 000006a4: PUSH1 0x00 000006a6: DUP8 000006a7: DUP1 000006a8: EXTCODESIZE 000006a9: ISZERO 000006aa: DUP1 000006ab: ISZERO 000006ac: PUSH2 0x06b4 000006af: JUMPI 000006b0: PUSH1 0x00 000006b2: DUP1 000006b3: REVERT 000006b4: JUMPDEST 000006b5: POP 000006b6: GAS 000006b7: CALL 000006b8: ISZERO 000006b9: DUP1 000006ba: ISZERO 000006bb: PUSH2 0x06c8 000006be: JUMPI 000006bf: RETURNDATASIZE 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: RETURNDATACOPY 000006c4: RETURNDATASIZE 000006c5: PUSH1 0x00 000006c7: REVERT 000006c8: JUMPDEST 000006c9: POP 000006ca: POP 000006cb: POP 000006cc: POP 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: RETURNDATASIZE 000006d1: PUSH1 0x1f 000006d3: NOT 000006d4: PUSH1 0x1f 000006d6: DUP3 000006d7: ADD 000006d8: AND 000006d9: DUP3 000006da: ADD 000006db: DUP1 000006dc: PUSH1 0x40 000006de: MSTORE 000006df: POP 000006e0: DUP2 000006e1: ADD 000006e2: SWAP1 000006e3: PUSH2 0x0664 000006e6: SWAP2 000006e7: SWAP1 000006e8: PUSH2 0x116d 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH1 0x00 000006ef: SLOAD 000006f0: PUSH1 0x01 000006f2: PUSH1 0x01 000006f4: PUSH1 0xa0 000006f6: SHL 000006f7: SUB 000006f8: AND 000006f9: CALLER 000006fa: EQ 000006fb: PUSH2 0x0716 000006fe: JUMPI 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: PUSH3 0x461bcd 00000706: PUSH1 0xe5 00000708: SHL 00000709: DUP2 0000070a: MSTORE 0000070b: PUSH1 0x04 0000070d: ADD 0000070e: PUSH2 0x041b 00000711: SWAP1 00000712: PUSH2 0x1218 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x01 00000719: DUP1 0000071a: SLOAD 0000071b: PUSH1 0x01 0000071d: PUSH1 0x01 0000071f: PUSH1 0xa0 00000721: SHL 00000722: SUB 00000723: NOT 00000724: AND 00000725: PUSH1 0x01 00000727: PUSH1 0x01 00000729: PUSH1 0xa0 0000072b: SHL 0000072c: SUB 0000072d: SWAP3 0000072e: SWAP1 0000072f: SWAP3 00000730: AND 00000731: SWAP2 00000732: SWAP1 00000733: SWAP2 00000734: OR 00000735: SWAP1 00000736: SSTORE 00000737: JUMP 00000738: JUMPDEST 00000739: PUSH1 0x00 0000073b: SLOAD 0000073c: PUSH1 0x01 0000073e: PUSH1 0x01 00000740: PUSH1 0xa0 00000742: SHL 00000743: SUB 00000744: AND 00000745: CALLER 00000746: EQ 00000747: PUSH2 0x0762 0000074a: JUMPI 0000074b: PUSH1 0x40 0000074d: MLOAD 0000074e: PUSH3 0x461bcd 00000752: PUSH1 0xe5 00000754: SHL 00000755: DUP2 00000756: MSTORE 00000757: PUSH1 0x04 00000759: ADD 0000075a: PUSH2 0x041b 0000075d: SWAP1 0000075e: PUSH2 0x1218 00000761: JUMP 00000762: JUMPDEST 00000763: PUSH2 0x076c 00000766: PUSH1 0x00 00000768: PUSH2 0x0c66 0000076b: JUMP 0000076c: JUMPDEST 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x00 00000771: SLOAD 00000772: PUSH1 0x01 00000774: PUSH1 0x01 00000776: PUSH1 0xa0 00000778: SHL 00000779: SUB 0000077a: AND 0000077b: CALLER 0000077c: EQ 0000077d: PUSH2 0x0798 00000780: JUMPI 00000781: PUSH1 0x40 00000783: MLOAD 00000784: PUSH3 0x461bcd 00000788: PUSH1 0xe5 0000078a: SHL 0000078b: DUP2 0000078c: MSTORE 0000078d: PUSH1 0x04 0000078f: ADD 00000790: PUSH2 0x041b 00000793: SWAP1 00000794: PUSH2 0x1218 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH1 0x05 0000079b: SSTORE 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x00 000007a0: SLOAD 000007a1: PUSH1 0x01 000007a3: PUSH1 0x01 000007a5: PUSH1 0xa0 000007a7: SHL 000007a8: SUB 000007a9: AND 000007aa: CALLER 000007ab: EQ 000007ac: PUSH2 0x07c7 000007af: JUMPI 000007b0: PUSH1 0x40 000007b2: MLOAD 000007b3: PUSH3 0x461bcd 000007b7: PUSH1 0xe5 000007b9: SHL 000007ba: DUP2 000007bb: MSTORE 000007bc: PUSH1 0x04 000007be: ADD 000007bf: PUSH2 0x041b 000007c2: SWAP1 000007c3: PUSH2 0x1218 000007c6: JUMP 000007c7: JUMPDEST 000007c8: PUSH1 0x03 000007ca: DUP1 000007cb: SLOAD 000007cc: PUSH1 0xff 000007ce: NOT 000007cf: AND 000007d0: PUSH1 0xff 000007d2: SWAP3 000007d3: SWAP1 000007d4: SWAP3 000007d5: AND 000007d6: SWAP2 000007d7: SWAP1 000007d8: SWAP2 000007d9: OR 000007da: SWAP1 000007db: SSTORE 000007dc: JUMP 000007dd: JUMPDEST 000007de: PUSH1 0x00 000007e0: SLOAD 000007e1: PUSH1 0x01 000007e3: PUSH1 0x01 000007e5: PUSH1 0xa0 000007e7: SHL 000007e8: SUB 000007e9: AND 000007ea: CALLER 000007eb: EQ 000007ec: PUSH2 0x0807 000007ef: JUMPI 000007f0: PUSH1 0x40 000007f2: MLOAD 000007f3: PUSH3 0x461bcd 000007f7: PUSH1 0xe5 000007f9: SHL 000007fa: DUP2 000007fb: MSTORE 000007fc: PUSH1 0x04 000007fe: ADD 000007ff: PUSH2 0x041b 00000802: SWAP1 00000803: PUSH2 0x1218 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH1 0x06 0000080a: DUP1 0000080b: SLOAD 0000080c: PUSH1 0x01 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: SHL 00000813: SUB 00000814: NOT 00000815: AND 00000816: PUSH1 0x01 00000818: PUSH1 0x01 0000081a: PUSH1 0xa0 0000081c: SHL 0000081d: SUB 0000081e: SWAP3 0000081f: SWAP1 00000820: SWAP3 00000821: AND 00000822: SWAP2 00000823: SWAP1 00000824: SWAP2 00000825: OR 00000826: SWAP1 00000827: SSTORE 00000828: JUMP 00000829: JUMPDEST 0000082a: TIMESTAMP 0000082b: PUSH1 0x04 0000082d: SLOAD 0000082e: GT 0000082f: ISZERO 00000830: PUSH2 0x086e 00000833: JUMPI 00000834: PUSH1 0x40 00000836: MLOAD 00000837: PUSH3 0x461bcd 0000083b: PUSH1 0xe5 0000083d: SHL 0000083e: DUP2 0000083f: MSTORE 00000840: PUSH1 0x20 00000842: PUSH1 0x04 00000844: DUP3 00000845: ADD 00000846: MSTORE 00000847: PUSH1 0x10 00000849: PUSH1 0x24 0000084b: DUP3 0000084c: ADD 0000084d: MSTORE 0000084e: PUSH16 0x085b9bdd081cdd185c9d1959081e595d 0000085f: PUSH1 0x82 00000861: SHL 00000862: PUSH1 0x44 00000864: DUP3 00000865: ADD 00000866: MSTORE 00000867: PUSH1 0x64 00000869: ADD 0000086a: PUSH2 0x041b 0000086d: JUMP 0000086e: JUMPDEST 0000086f: PUSH1 0x07 00000871: SLOAD 00000872: PUSH1 0x01 00000874: PUSH1 0x00 00000876: SWAP1 00000877: SLOAD 00000878: SWAP1 00000879: PUSH2 0x0100 0000087c: EXP 0000087d: SWAP1 0000087e: DIV 0000087f: PUSH1 0x01 00000881: PUSH1 0x01 00000883: PUSH1 0xa0 00000885: SHL 00000886: SUB 00000887: AND 00000888: PUSH1 0x01 0000088a: PUSH1 0x01 0000088c: PUSH1 0xa0 0000088e: SHL 0000088f: SUB 00000890: AND 00000891: PUSH4 0x18160ddd 00000896: PUSH1 0x40 00000898: MLOAD 00000899: DUP2 0000089a: PUSH4 0xffffffff 0000089f: AND 000008a0: PUSH1 0xe0 000008a2: SHL 000008a3: DUP2 000008a4: MSTORE 000008a5: PUSH1 0x04 000008a7: ADD 000008a8: PUSH1 0x20 000008aa: PUSH1 0x40 000008ac: MLOAD 000008ad: DUP1 000008ae: DUP4 000008af: SUB 000008b0: DUP2 000008b1: DUP7 000008b2: DUP1 000008b3: EXTCODESIZE 000008b4: ISZERO 000008b5: DUP1 000008b6: ISZERO 000008b7: PUSH2 0x08bf 000008ba: JUMPI 000008bb: PUSH1 0x00 000008bd: DUP1 000008be: REVERT 000008bf: JUMPDEST 000008c0: POP 000008c1: GAS 000008c2: STATICCALL 000008c3: ISZERO 000008c4: DUP1 000008c5: ISZERO 000008c6: PUSH2 0x08d3 000008c9: JUMPI 000008ca: RETURNDATASIZE 000008cb: PUSH1 0x00 000008cd: DUP1 000008ce: RETURNDATACOPY 000008cf: RETURNDATASIZE 000008d0: PUSH1 0x00 000008d2: REVERT 000008d3: JUMPDEST 000008d4: POP 000008d5: POP 000008d6: POP 000008d7: POP 000008d8: PUSH1 0x40 000008da: MLOAD 000008db: RETURNDATASIZE 000008dc: PUSH1 0x1f 000008de: NOT 000008df: PUSH1 0x1f 000008e1: DUP3 000008e2: ADD 000008e3: AND 000008e4: DUP3 000008e5: ADD 000008e6: DUP1 000008e7: PUSH1 0x40 000008e9: MSTORE 000008ea: POP 000008eb: DUP2 000008ec: ADD 000008ed: SWAP1 000008ee: PUSH2 0x08f7 000008f1: SWAP2 000008f2: SWAP1 000008f3: PUSH2 0x11a5 000008f6: JUMP 000008f7: JUMPDEST 000008f8: PUSH2 0x0901 000008fb: SWAP1 000008fc: DUP7 000008fd: PUSH2 0x124d 00000900: JUMP 00000901: JUMPDEST 00000902: GT 00000903: ISZERO 00000904: PUSH2 0x093a 00000907: JUMPI 00000908: PUSH1 0x40 0000090a: MLOAD 0000090b: PUSH3 0x461bcd 0000090f: PUSH1 0xe5 00000911: SHL 00000912: DUP2 00000913: MSTORE 00000914: PUSH1 0x20 00000916: PUSH1 0x04 00000918: DUP3 00000919: ADD 0000091a: MSTORE 0000091b: PUSH1 0x08 0000091d: PUSH1 0x24 0000091f: DUP3 00000920: ADD 00000921: MSTORE 00000922: PUSH8 0x03e206d617843617 0000092b: PUSH1 0xc4 0000092d: SHL 0000092e: PUSH1 0x44 00000930: DUP3 00000931: ADD 00000932: MSTORE 00000933: PUSH1 0x64 00000935: ADD 00000936: PUSH2 0x041b 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x40 0000093d: DUP1 0000093e: MLOAD 0000093f: PUSH1 0x60 00000941: DUP8 00000942: SWAP1 00000943: SHL 00000944: PUSH12 0xffffffffffffffffffffffff 00000951: NOT 00000952: AND 00000953: PUSH1 0x20 00000955: DUP1 00000956: DUP4 00000957: ADD 00000958: SWAP2 00000959: SWAP1 0000095a: SWAP2 0000095b: MSTORE 0000095c: PUSH1 0xf8 0000095e: DUP7 0000095f: SWAP1 00000960: SHL 00000961: PUSH1 0x01 00000963: PUSH1 0x01 00000965: PUSH1 0xf8 00000967: SHL 00000968: SUB 00000969: NOT 0000096a: AND 0000096b: PUSH1 0x34 0000096d: DUP4 0000096e: ADD 0000096f: MSTORE 00000970: DUP3 00000971: MLOAD 00000972: PUSH1 0x15 00000974: DUP2 00000975: DUP5 00000976: SUB 00000977: ADD 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x35 0000097c: DUP4 0000097d: ADD 0000097e: DUP5 0000097f: MSTORE 00000980: DUP1 00000981: MLOAD 00000982: SWAP1 00000983: DUP3 00000984: ADD 00000985: KECCAK256 00000986: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000009a7: PUSH1 0x55 000009a9: DUP5 000009aa: ADD 000009ab: MSTORE 000009ac: PUSH1 0x71 000009ae: DUP1 000009af: DUP5 000009b0: ADD 000009b1: DUP3 000009b2: SWAP1 000009b3: MSTORE 000009b4: DUP5 000009b5: MLOAD 000009b6: DUP1 000009b7: DUP6 000009b8: SUB 000009b9: SWAP1 000009ba: SWAP2 000009bb: ADD 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x91 000009c0: SWAP1 000009c1: SWAP4 000009c2: ADD 000009c3: SWAP1 000009c4: SWAP4 000009c5: MSTORE 000009c6: DUP2 000009c7: MLOAD 000009c8: SWAP2 000009c9: ADD 000009ca: KECCAK256 000009cb: SWAP1 000009cc: POP 000009cd: PUSH1 0x00 000009cf: PUSH2 0x0a10 000009d2: DUP5 000009d3: DUP5 000009d4: DUP1 000009d5: DUP1 000009d6: PUSH1 0x1f 000009d8: ADD 000009d9: PUSH1 0x20 000009db: DUP1 000009dc: SWAP2 000009dd: DIV 000009de: MUL 000009df: PUSH1 0x20 000009e1: ADD 000009e2: PUSH1 0x40 000009e4: MLOAD 000009e5: SWAP1 000009e6: DUP2 000009e7: ADD 000009e8: PUSH1 0x40 000009ea: MSTORE 000009eb: DUP1 000009ec: SWAP4 000009ed: SWAP3 000009ee: SWAP2 000009ef: SWAP1 000009f0: DUP2 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x20 000009f5: ADD 000009f6: DUP4 000009f7: DUP4 000009f8: DUP1 000009f9: DUP3 000009fa: DUP5 000009fb: CALLDATACOPY 000009fc: PUSH1 0x00 000009fe: SWAP3 000009ff: ADD 00000a00: SWAP2 00000a01: SWAP1 00000a02: SWAP2 00000a03: MSTORE 00000a04: POP 00000a05: DUP7 00000a06: SWAP4 00000a07: SWAP3 00000a08: POP 00000a09: POP 00000a0a: PUSH2 0x0cb6 00000a0d: SWAP1 00000a0e: POP 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH1 0x06 00000a13: SLOAD 00000a14: SWAP1 00000a15: SWAP2 00000a16: POP 00000a17: PUSH1 0x01 00000a19: PUSH1 0x01 00000a1b: PUSH1 0xa0 00000a1d: SHL 00000a1e: SUB 00000a1f: DUP1 00000a20: DUP4 00000a21: AND 00000a22: SWAP2 00000a23: AND 00000a24: EQ 00000a25: PUSH2 0x0a59 00000a28: JUMPI 00000a29: PUSH1 0x40 00000a2b: MLOAD 00000a2c: PUSH3 0x461bcd 00000a30: PUSH1 0xe5 00000a32: SHL 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x04 00000a37: ADD 00000a38: PUSH2 0x041b 00000a3b: SWAP1 00000a3c: PUSH1 0x20 00000a3e: DUP1 00000a3f: DUP3 00000a40: MSTORE 00000a41: PUSH1 0x04 00000a43: SWAP1 00000a44: DUP3 00000a45: ADD 00000a46: MSTORE 00000a47: PUSH4 0x21736967 00000a4c: PUSH1 0xe0 00000a4e: SHL 00000a4f: PUSH1 0x40 00000a51: DUP3 00000a52: ADD 00000a53: MSTORE 00000a54: PUSH1 0x60 00000a56: ADD 00000a57: SWAP1 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x01 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0xa0 00000a60: SHL 00000a61: SUB 00000a62: DUP8 00000a63: AND 00000a64: PUSH1 0x00 00000a66: SWAP1 00000a67: DUP2 00000a68: MSTORE 00000a69: PUSH1 0x08 00000a6b: PUSH1 0x20 00000a6d: MSTORE 00000a6e: PUSH1 0x40 00000a70: SWAP1 00000a71: KECCAK256 00000a72: SLOAD 00000a73: PUSH1 0xff 00000a75: DUP7 00000a76: AND 00000a77: SWAP1 00000a78: PUSH2 0x0a81 00000a7b: SWAP1 00000a7c: DUP9 00000a7d: PUSH2 0x124d 00000a80: JUMP 00000a81: JUMPDEST 00000a82: GT 00000a83: ISZERO 00000a84: PUSH2 0x0ac2 00000a87: JUMPI 00000a88: PUSH1 0x40 00000a8a: MLOAD 00000a8b: PUSH3 0x461bcd 00000a8f: PUSH1 0xe5 00000a91: SHL 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: PUSH1 0x04 00000a98: DUP3 00000a99: ADD 00000a9a: MSTORE 00000a9b: PUSH1 0x10 00000a9d: PUSH1 0x24 00000a9f: DUP3 00000aa0: ADD 00000aa1: MSTORE 00000aa2: PUSH16 0x65786365656465642062616c616e6365 00000ab3: PUSH1 0x80 00000ab5: SHL 00000ab6: PUSH1 0x44 00000ab8: DUP3 00000ab9: ADD 00000aba: MSTORE 00000abb: PUSH1 0x64 00000abd: ADD 00000abe: PUSH2 0x041b 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x01 00000ac5: PUSH1 0x01 00000ac7: PUSH1 0xa0 00000ac9: SHL 00000aca: SUB 00000acb: DUP8 00000acc: AND 00000acd: PUSH1 0x00 00000acf: SWAP1 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x08 00000ad4: PUSH1 0x20 00000ad6: MSTORE 00000ad7: PUSH1 0x40 00000ad9: DUP2 00000ada: KECCAK256 00000adb: DUP1 00000adc: SLOAD 00000add: DUP9 00000ade: SWAP3 00000adf: SWAP1 00000ae0: PUSH2 0x0aea 00000ae3: SWAP1 00000ae4: DUP5 00000ae5: SWAP1 00000ae6: PUSH2 0x124d 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: SWAP1 00000aec: SWAP2 00000aed: SSTORE 00000aee: POP 00000aef: PUSH2 0x0afa 00000af2: SWAP1 00000af3: POP 00000af4: DUP8 00000af5: DUP8 00000af6: PUSH2 0x0bfc 00000af9: JUMP 00000afa: JUMPDEST 00000afb: POP 00000afc: POP 00000afd: POP 00000afe: POP 00000aff: POP 00000b00: POP 00000b01: POP 00000b02: JUMP 00000b03: JUMPDEST 00000b04: PUSH1 0x00 00000b06: SLOAD 00000b07: PUSH1 0x01 00000b09: PUSH1 0x01 00000b0b: PUSH1 0xa0 00000b0d: SHL 00000b0e: SUB 00000b0f: AND 00000b10: CALLER 00000b11: EQ 00000b12: PUSH2 0x0b2d 00000b15: JUMPI 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: PUSH3 0x461bcd 00000b1d: PUSH1 0xe5 00000b1f: SHL 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x04 00000b24: ADD 00000b25: PUSH2 0x041b 00000b28: SWAP1 00000b29: PUSH2 0x1218 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: PUSH1 0x02 00000b30: SSTORE 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x00 00000b35: SLOAD 00000b36: PUSH1 0x01 00000b38: PUSH1 0x01 00000b3a: PUSH1 0xa0 00000b3c: SHL 00000b3d: SUB 00000b3e: AND 00000b3f: CALLER 00000b40: EQ 00000b41: PUSH2 0x0b5c 00000b44: JUMPI 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: PUSH3 0x461bcd 00000b4c: PUSH1 0xe5 00000b4e: SHL 00000b4f: DUP2 00000b50: MSTORE 00000b51: PUSH1 0x04 00000b53: ADD 00000b54: PUSH2 0x041b 00000b57: SWAP1 00000b58: PUSH2 0x1218 00000b5b: JUMP 00000b5c: JUMPDEST 00000b5d: PUSH1 0x07 00000b5f: SSTORE 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH1 0x00 00000b64: SLOAD 00000b65: PUSH1 0x01 00000b67: PUSH1 0x01 00000b69: PUSH1 0xa0 00000b6b: SHL 00000b6c: SUB 00000b6d: AND 00000b6e: CALLER 00000b6f: EQ 00000b70: PUSH2 0x0b8b 00000b73: JUMPI 00000b74: PUSH1 0x40 00000b76: MLOAD 00000b77: PUSH3 0x461bcd 00000b7b: PUSH1 0xe5 00000b7d: SHL 00000b7e: DUP2 00000b7f: MSTORE 00000b80: PUSH1 0x04 00000b82: ADD 00000b83: PUSH2 0x041b 00000b86: SWAP1 00000b87: PUSH2 0x1218 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: PUSH1 0x01 00000b8e: PUSH1 0x01 00000b90: PUSH1 0xa0 00000b92: SHL 00000b93: SUB 00000b94: DUP2 00000b95: AND 00000b96: PUSH2 0x0bf0 00000b99: JUMPI 00000b9a: PUSH1 0x40 00000b9c: MLOAD 00000b9d: PUSH3 0x461bcd 00000ba1: PUSH1 0xe5 00000ba3: SHL 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x20 00000ba8: PUSH1 0x04 00000baa: DUP3 00000bab: ADD 00000bac: MSTORE 00000bad: PUSH1 0x26 00000baf: PUSH1 0x24 00000bb1: DUP3 00000bb2: ADD 00000bb3: MSTORE 00000bb4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000bd5: PUSH1 0x44 00000bd7: DUP3 00000bd8: ADD 00000bd9: MSTORE 00000bda: PUSH6 0x646472657373 00000be1: PUSH1 0xd0 00000be3: SHL 00000be4: PUSH1 0x64 00000be6: DUP3 00000be7: ADD 00000be8: MSTORE 00000be9: PUSH1 0x84 00000beb: ADD 00000bec: PUSH2 0x041b 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH2 0x0bf9 00000bf4: DUP2 00000bf5: PUSH2 0x0c66 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: POP 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x01 00000bff: SLOAD 00000c00: PUSH1 0x40 00000c02: MLOAD 00000c03: PUSH4 0x1a056e71 00000c08: PUSH1 0xe0 00000c0a: SHL 00000c0b: DUP2 00000c0c: MSTORE 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0x01 00000c11: PUSH1 0xa0 00000c13: SHL 00000c14: SUB 00000c15: DUP5 00000c16: DUP2 00000c17: AND 00000c18: PUSH1 0x04 00000c1a: DUP4 00000c1b: ADD 00000c1c: MSTORE 00000c1d: PUSH1 0x24 00000c1f: DUP3 00000c20: ADD 00000c21: DUP5 00000c22: SWAP1 00000c23: MSTORE 00000c24: SWAP1 00000c25: SWAP2 00000c26: AND 00000c27: SWAP1 00000c28: PUSH4 0x1a056e71 00000c2d: SWAP1 00000c2e: PUSH1 0x44 00000c30: ADD 00000c31: PUSH1 0x00 00000c33: PUSH1 0x40 00000c35: MLOAD 00000c36: DUP1 00000c37: DUP4 00000c38: SUB 00000c39: DUP2 00000c3a: PUSH1 0x00 00000c3c: DUP8 00000c3d: DUP1 00000c3e: EXTCODESIZE 00000c3f: ISZERO 00000c40: DUP1 00000c41: ISZERO 00000c42: PUSH2 0x0c4a 00000c45: JUMPI 00000c46: PUSH1 0x00 00000c48: DUP1 00000c49: REVERT 00000c4a: JUMPDEST 00000c4b: POP 00000c4c: GAS 00000c4d: CALL 00000c4e: ISZERO 00000c4f: DUP1 00000c50: ISZERO 00000c51: PUSH2 0x0c5e 00000c54: JUMPI 00000c55: RETURNDATASIZE 00000c56: PUSH1 0x00 00000c58: DUP1 00000c59: RETURNDATACOPY 00000c5a: RETURNDATASIZE 00000c5b: PUSH1 0x00 00000c5d: REVERT 00000c5e: JUMPDEST 00000c5f: POP 00000c60: POP 00000c61: POP 00000c62: POP 00000c63: POP 00000c64: POP 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: SLOAD 00000c6b: PUSH1 0x01 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0xa0 00000c71: SHL 00000c72: SUB 00000c73: DUP4 00000c74: DUP2 00000c75: AND 00000c76: PUSH1 0x01 00000c78: PUSH1 0x01 00000c7a: PUSH1 0xa0 00000c7c: SHL 00000c7d: SUB 00000c7e: NOT 00000c7f: DUP4 00000c80: AND 00000c81: DUP2 00000c82: OR 00000c83: DUP5 00000c84: SSTORE 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: SWAP2 00000c89: SWAP1 00000c8a: SWAP3 00000c8b: AND 00000c8c: SWAP3 00000c8d: DUP4 00000c8e: SWAP2 00000c8f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000cb0: SWAP2 00000cb1: SWAP1 00000cb2: LOG3 00000cb3: POP 00000cb4: POP 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x00 00000cb9: DUP1 00000cba: PUSH1 0x00 00000cbc: PUSH2 0x0cc5 00000cbf: DUP6 00000cc0: DUP6 00000cc1: PUSH2 0x0cda 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: SWAP2 00000cc7: POP 00000cc8: SWAP2 00000cc9: POP 00000cca: PUSH2 0x0cd2 00000ccd: DUP2 00000cce: PUSH2 0x0d4a 00000cd1: JUMP 00000cd2: JUMPDEST 00000cd3: POP 00000cd4: SWAP4 00000cd5: SWAP3 00000cd6: POP 00000cd7: POP 00000cd8: POP 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: PUSH1 0x00 00000cdd: DUP1 00000cde: DUP3 00000cdf: MLOAD 00000ce0: PUSH1 0x41 00000ce2: EQ 00000ce3: ISZERO 00000ce4: PUSH2 0x0d11 00000ce7: JUMPI 00000ce8: PUSH1 0x20 00000cea: DUP4 00000ceb: ADD 00000cec: MLOAD 00000ced: PUSH1 0x40 00000cef: DUP5 00000cf0: ADD 00000cf1: MLOAD 00000cf2: PUSH1 0x60 00000cf4: DUP6 00000cf5: ADD 00000cf6: MLOAD 00000cf7: PUSH1 0x00 00000cf9: BYTE 00000cfa: PUSH2 0x0d05 00000cfd: DUP8 00000cfe: DUP3 00000cff: DUP6 00000d00: DUP6 00000d01: PUSH2 0x0f4b 00000d04: JUMP 00000d05: JUMPDEST 00000d06: SWAP5 00000d07: POP 00000d08: SWAP5 00000d09: POP 00000d0a: POP 00000d0b: POP 00000d0c: POP 00000d0d: PUSH2 0x0d43 00000d10: JUMP 00000d11: JUMPDEST 00000d12: DUP3 00000d13: MLOAD 00000d14: PUSH1 0x40 00000d16: EQ 00000d17: ISZERO 00000d18: PUSH2 0x0d3b 00000d1b: JUMPI 00000d1c: PUSH1 0x20 00000d1e: DUP4 00000d1f: ADD 00000d20: MLOAD 00000d21: PUSH1 0x40 00000d23: DUP5 00000d24: ADD 00000d25: MLOAD 00000d26: PUSH2 0x0d30 00000d29: DUP7 00000d2a: DUP4 00000d2b: DUP4 00000d2c: PUSH2 0x1038 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: SWAP4 00000d32: POP 00000d33: SWAP4 00000d34: POP 00000d35: POP 00000d36: POP 00000d37: PUSH2 0x0d43 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: POP 00000d3d: PUSH1 0x00 00000d3f: SWAP1 00000d40: POP 00000d41: PUSH1 0x02 00000d43: JUMPDEST 00000d44: SWAP3 00000d45: POP 00000d46: SWAP3 00000d47: SWAP1 00000d48: POP 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: PUSH1 0x00 00000d4d: DUP2 00000d4e: PUSH1 0x04 00000d50: DUP2 00000d51: GT 00000d52: ISZERO 00000d53: PUSH2 0x0d6c 00000d56: JUMPI 00000d57: PUSH4 0x4e487b71 00000d5c: PUSH1 0xe0 00000d5e: SHL 00000d5f: PUSH1 0x00 00000d61: MSTORE 00000d62: PUSH1 0x21 00000d64: PUSH1 0x04 00000d66: MSTORE 00000d67: PUSH1 0x24 00000d69: PUSH1 0x00 00000d6b: REVERT 00000d6c: JUMPDEST 00000d6d: EQ 00000d6e: ISZERO 00000d6f: PUSH2 0x0d75 00000d72: JUMPI 00000d73: POP 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH1 0x01 00000d78: DUP2 00000d79: PUSH1 0x04 00000d7b: DUP2 00000d7c: GT 00000d7d: ISZERO 00000d7e: PUSH2 0x0d97 00000d81: JUMPI 00000d82: PUSH4 0x4e487b71 00000d87: PUSH1 0xe0 00000d89: SHL 00000d8a: PUSH1 0x00 00000d8c: MSTORE 00000d8d: PUSH1 0x21 00000d8f: PUSH1 0x04 00000d91: MSTORE 00000d92: PUSH1 0x24 00000d94: PUSH1 0x00 00000d96: REVERT 00000d97: JUMPDEST 00000d98: EQ 00000d99: ISZERO 00000d9a: PUSH2 0x0de5 00000d9d: JUMPI 00000d9e: PUSH1 0x40 00000da0: MLOAD 00000da1: PUSH3 0x461bcd 00000da5: PUSH1 0xe5 00000da7: SHL 00000da8: DUP2 00000da9: MSTORE 00000daa: PUSH1 0x20 00000dac: PUSH1 0x04 00000dae: DUP3 00000daf: ADD 00000db0: MSTORE 00000db1: PUSH1 0x18 00000db3: PUSH1 0x24 00000db5: DUP3 00000db6: ADD 00000db7: MSTORE 00000db8: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00000dd9: PUSH1 0x44 00000ddb: DUP3 00000ddc: ADD 00000ddd: MSTORE 00000dde: PUSH1 0x64 00000de0: ADD 00000de1: PUSH2 0x041b 00000de4: JUMP 00000de5: JUMPDEST 00000de6: PUSH1 0x02 00000de8: DUP2 00000de9: PUSH1 0x04 00000deb: DUP2 00000dec: GT 00000ded: ISZERO 00000dee: PUSH2 0x0e07 00000df1: JUMPI 00000df2: PUSH4 0x4e487b71 00000df7: PUSH1 0xe0 00000df9: SHL 00000dfa: PUSH1 0x00 00000dfc: MSTORE 00000dfd: PUSH1 0x21 00000dff: PUSH1 0x04 00000e01: MSTORE 00000e02: PUSH1 0x24 00000e04: PUSH1 0x00 00000e06: REVERT 00000e07: JUMPDEST 00000e08: EQ 00000e09: ISZERO 00000e0a: PUSH2 0x0e55 00000e0d: JUMPI 00000e0e: PUSH1 0x40 00000e10: MLOAD 00000e11: PUSH3 0x461bcd 00000e15: PUSH1 0xe5 00000e17: SHL 00000e18: DUP2 00000e19: MSTORE 00000e1a: PUSH1 0x20 00000e1c: PUSH1 0x04 00000e1e: DUP3 00000e1f: ADD 00000e20: MSTORE 00000e21: PUSH1 0x1f 00000e23: PUSH1 0x24 00000e25: DUP3 00000e26: ADD 00000e27: MSTORE 00000e28: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00000e49: PUSH1 0x44 00000e4b: DUP3 00000e4c: ADD 00000e4d: MSTORE 00000e4e: PUSH1 0x64 00000e50: ADD 00000e51: PUSH2 0x041b 00000e54: JUMP 00000e55: JUMPDEST 00000e56: PUSH1 0x03 00000e58: DUP2 00000e59: PUSH1 0x04 00000e5b: DUP2 00000e5c: GT 00000e5d: ISZERO 00000e5e: PUSH2 0x0e77 00000e61: JUMPI 00000e62: PUSH4 0x4e487b71 00000e67: PUSH1 0xe0 00000e69: SHL 00000e6a: PUSH1 0x00 00000e6c: MSTORE 00000e6d: PUSH1 0x21 00000e6f: PUSH1 0x04 00000e71: MSTORE 00000e72: PUSH1 0x24 00000e74: PUSH1 0x00 00000e76: REVERT 00000e77: JUMPDEST 00000e78: EQ 00000e79: ISZERO 00000e7a: PUSH2 0x0ed0 00000e7d: JUMPI 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: PUSH3 0x461bcd 00000e85: PUSH1 0xe5 00000e87: SHL 00000e88: DUP2 00000e89: MSTORE 00000e8a: PUSH1 0x20 00000e8c: PUSH1 0x04 00000e8e: DUP3 00000e8f: ADD 00000e90: MSTORE 00000e91: PUSH1 0x22 00000e93: PUSH1 0x24 00000e95: DUP3 00000e96: ADD 00000e97: MSTORE 00000e98: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 00000eb9: PUSH1 0x44 00000ebb: DUP3 00000ebc: ADD 00000ebd: MSTORE 00000ebe: PUSH2 0x7565 00000ec1: PUSH1 0xf0 00000ec3: SHL 00000ec4: PUSH1 0x64 00000ec6: DUP3 00000ec7: ADD 00000ec8: MSTORE 00000ec9: PUSH1 0x84 00000ecb: ADD 00000ecc: PUSH2 0x041b 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: PUSH1 0x04 00000ed3: DUP2 00000ed4: PUSH1 0x04 00000ed6: DUP2 00000ed7: GT 00000ed8: ISZERO 00000ed9: PUSH2 0x0ef2 00000edc: JUMPI 00000edd: PUSH4 0x4e487b71 00000ee2: PUSH1 0xe0 00000ee4: SHL 00000ee5: PUSH1 0x00 00000ee7: MSTORE 00000ee8: PUSH1 0x21 00000eea: PUSH1 0x04 00000eec: MSTORE 00000eed: PUSH1 0x24 00000eef: PUSH1 0x00 00000ef1: REVERT 00000ef2: JUMPDEST 00000ef3: EQ 00000ef4: ISZERO 00000ef5: PUSH2 0x0bf9 00000ef8: JUMPI 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: PUSH3 0x461bcd 00000f00: PUSH1 0xe5 00000f02: SHL 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x20 00000f07: PUSH1 0x04 00000f09: DUP3 00000f0a: ADD 00000f0b: MSTORE 00000f0c: PUSH1 0x22 00000f0e: PUSH1 0x24 00000f10: DUP3 00000f11: ADD 00000f12: MSTORE 00000f13: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c 00000f34: PUSH1 0x44 00000f36: DUP3 00000f37: ADD 00000f38: MSTORE 00000f39: PUSH2 0x7565 00000f3c: PUSH1 0xf0 00000f3e: SHL 00000f3f: PUSH1 0x64 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: PUSH1 0x84 00000f46: ADD 00000f47: PUSH2 0x041b 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH1 0x00 00000f4e: DUP1 00000f4f: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00000f70: DUP4 00000f71: GT 00000f72: ISZERO 00000f73: PUSH2 0x0f82 00000f76: JUMPI 00000f77: POP 00000f78: PUSH1 0x00 00000f7a: SWAP1 00000f7b: POP 00000f7c: PUSH1 0x03 00000f7e: PUSH2 0x102f 00000f81: JUMP 00000f82: JUMPDEST 00000f83: DUP5 00000f84: PUSH1 0xff 00000f86: AND 00000f87: PUSH1 0x1b 00000f89: EQ 00000f8a: ISZERO 00000f8b: DUP1 00000f8c: ISZERO 00000f8d: PUSH2 0x0f9a 00000f90: JUMPI 00000f91: POP 00000f92: DUP5 00000f93: PUSH1 0xff 00000f95: AND 00000f96: PUSH1 0x1c 00000f98: EQ 00000f99: ISZERO 00000f9a: JUMPDEST 00000f9b: ISZERO 00000f9c: PUSH2 0x0fab 00000f9f: JUMPI 00000fa0: POP 00000fa1: PUSH1 0x00 00000fa3: SWAP1 00000fa4: POP 00000fa5: PUSH1 0x04 00000fa7: PUSH2 0x102f 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH1 0x40 00000fae: DUP1 00000faf: MLOAD 00000fb0: PUSH1 0x00 00000fb2: DUP1 00000fb3: DUP3 00000fb4: MSTORE 00000fb5: PUSH1 0x20 00000fb7: DUP3 00000fb8: ADD 00000fb9: DUP1 00000fba: DUP5 00000fbb: MSTORE 00000fbc: DUP10 00000fbd: SWAP1 00000fbe: MSTORE 00000fbf: PUSH1 0xff 00000fc1: DUP9 00000fc2: AND 00000fc3: SWAP3 00000fc4: DUP3 00000fc5: ADD 00000fc6: SWAP3 00000fc7: SWAP1 00000fc8: SWAP3 00000fc9: MSTORE 00000fca: PUSH1 0x60 00000fcc: DUP2 00000fcd: ADD 00000fce: DUP7 00000fcf: SWAP1 00000fd0: MSTORE 00000fd1: PUSH1 0x80 00000fd3: DUP2 00000fd4: ADD 00000fd5: DUP6 00000fd6: SWAP1 00000fd7: MSTORE 00000fd8: PUSH1 0x01 00000fda: SWAP1 00000fdb: PUSH1 0xa0 00000fdd: ADD 00000fde: PUSH1 0x20 00000fe0: PUSH1 0x40 00000fe2: MLOAD 00000fe3: PUSH1 0x20 00000fe5: DUP2 00000fe6: SUB 00000fe7: SWAP1 00000fe8: DUP1 00000fe9: DUP5 00000fea: SUB 00000feb: SWAP1 00000fec: DUP6 00000fed: GAS 00000fee: STATICCALL 00000fef: ISZERO 00000ff0: DUP1 00000ff1: ISZERO 00000ff2: PUSH2 0x0fff 00000ff5: JUMPI 00000ff6: RETURNDATASIZE 00000ff7: PUSH1 0x00 00000ff9: DUP1 00000ffa: RETURNDATACOPY 00000ffb: RETURNDATASIZE 00000ffc: PUSH1 0x00 00000ffe: REVERT 00000fff: JUMPDEST 00001000: POP 00001001: POP 00001002: PUSH1 0x40 00001004: MLOAD 00001005: PUSH1 0x1f 00001007: NOT 00001008: ADD 00001009: MLOAD 0000100a: SWAP2 0000100b: POP 0000100c: POP 0000100d: PUSH1 0x01 0000100f: PUSH1 0x01 00001011: PUSH1 0xa0 00001013: SHL 00001014: SUB 00001015: DUP2 00001016: AND 00001017: PUSH2 0x1028 0000101a: JUMPI 0000101b: PUSH1 0x00 0000101d: PUSH1 0x01 0000101f: SWAP3 00001020: POP 00001021: SWAP3 00001022: POP 00001023: POP 00001024: PUSH2 0x102f 00001027: JUMP 00001028: JUMPDEST 00001029: SWAP2 0000102a: POP 0000102b: PUSH1 0x00 0000102d: SWAP1 0000102e: POP 0000102f: JUMPDEST 00001030: SWAP5 00001031: POP 00001032: SWAP5 00001033: SWAP3 00001034: POP 00001035: POP 00001036: POP 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH1 0x00 0000103b: DUP1 0000103c: PUSH1 0x01 0000103e: PUSH1 0x01 00001040: PUSH1 0xff 00001042: SHL 00001043: SUB 00001044: DUP4 00001045: AND 00001046: DUP2 00001047: PUSH2 0x1055 0000104a: PUSH1 0xff 0000104c: DUP7 0000104d: SWAP1 0000104e: SHR 0000104f: PUSH1 0x1b 00001051: PUSH2 0x124d 00001054: JUMP 00001055: JUMPDEST 00001056: SWAP1 00001057: POP 00001058: PUSH2 0x1063 0000105b: DUP8 0000105c: DUP3 0000105d: DUP9 0000105e: DUP6 0000105f: PUSH2 0x0f4b 00001062: JUMP 00001063: JUMPDEST 00001064: SWAP4 00001065: POP 00001066: SWAP4 00001067: POP 00001068: POP 00001069: POP 0000106a: SWAP4 0000106b: POP 0000106c: SWAP4 0000106d: SWAP2 0000106e: POP 0000106f: POP 00001070: JUMP 00001071: JUMPDEST 00001072: DUP1 00001073: CALLDATALOAD 00001074: PUSH1 0xff 00001076: DUP2 00001077: AND 00001078: DUP2 00001079: EQ 0000107a: PUSH2 0x1082 0000107d: JUMPI 0000107e: PUSH1 0x00 00001080: DUP1 00001081: REVERT 00001082: JUMPDEST 00001083: SWAP2 00001084: SWAP1 00001085: POP 00001086: JUMP 00001087: JUMPDEST 00001088: PUSH1 0x00 0000108a: PUSH1 0x20 0000108c: DUP3 0000108d: DUP5 0000108e: SUB 0000108f: SLT 00001090: ISZERO 00001091: PUSH2 0x1098 00001094: JUMPI 00001095: DUP1 00001096: DUP2 00001097: REVERT 00001098: JUMPDEST 00001099: DUP2 0000109a: CALLDATALOAD 0000109b: PUSH2 0x10a3 0000109e: DUP2 0000109f: PUSH2 0x129a 000010a2: JUMP 000010a3: JUMPDEST 000010a4: SWAP4 000010a5: SWAP3 000010a6: POP 000010a7: POP 000010a8: POP 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: PUSH1 0x40 000010b0: DUP4 000010b1: DUP6 000010b2: SUB 000010b3: SLT 000010b4: ISZERO 000010b5: PUSH2 0x10bc 000010b8: JUMPI 000010b9: DUP1 000010ba: DUP2 000010bb: REVERT 000010bc: JUMPDEST 000010bd: DUP3 000010be: CALLDATALOAD 000010bf: PUSH2 0x10c7 000010c2: DUP2 000010c3: PUSH2 0x129a 000010c6: JUMP 000010c7: JUMPDEST 000010c8: SWAP5 000010c9: PUSH1 0x20 000010cb: SWAP4 000010cc: SWAP1 000010cd: SWAP4 000010ce: ADD 000010cf: CALLDATALOAD 000010d0: SWAP4 000010d1: POP 000010d2: POP 000010d3: POP 000010d4: JUMP 000010d5: JUMPDEST 000010d6: PUSH1 0x00 000010d8: DUP1 000010d9: PUSH1 0x00 000010db: DUP1 000010dc: PUSH1 0x00 000010de: PUSH1 0x80 000010e0: DUP7 000010e1: DUP9 000010e2: SUB 000010e3: SLT 000010e4: ISZERO 000010e5: PUSH2 0x10ec 000010e8: JUMPI 000010e9: DUP1 000010ea: DUP2 000010eb: REVERT 000010ec: JUMPDEST 000010ed: DUP6 000010ee: CALLDATALOAD 000010ef: PUSH2 0x10f7 000010f2: DUP2 000010f3: PUSH2 0x129a 000010f6: JUMP 000010f7: JUMPDEST 000010f8: SWAP5 000010f9: POP 000010fa: PUSH1 0x20 000010fc: DUP7 000010fd: ADD 000010fe: CALLDATALOAD 000010ff: SWAP4 00001100: POP 00001101: PUSH2 0x110c 00001104: PUSH1 0x40 00001106: DUP8 00001107: ADD 00001108: PUSH2 0x1071 0000110b: JUMP 0000110c: JUMPDEST 0000110d: SWAP3 0000110e: POP 0000110f: PUSH1 0x60 00001111: DUP7 00001112: ADD 00001113: CALLDATALOAD 00001114: PUSH8 0xffffffffffffffff 0000111d: DUP1 0000111e: DUP3 0000111f: GT 00001120: ISZERO 00001121: PUSH2 0x1128 00001124: JUMPI 00001125: DUP3 00001126: DUP4 00001127: REVERT 00001128: JUMPDEST 00001129: DUP2 0000112a: DUP9 0000112b: ADD 0000112c: SWAP2 0000112d: POP 0000112e: DUP9 0000112f: PUSH1 0x1f 00001131: DUP4 00001132: ADD 00001133: SLT 00001134: PUSH2 0x113b 00001137: JUMPI 00001138: DUP3 00001139: DUP4 0000113a: REVERT 0000113b: JUMPDEST 0000113c: DUP2 0000113d: CALLDATALOAD 0000113e: DUP2 0000113f: DUP2 00001140: GT 00001141: ISZERO 00001142: PUSH2 0x1149 00001145: JUMPI 00001146: DUP4 00001147: DUP5 00001148: REVERT 00001149: JUMPDEST 0000114a: DUP10 0000114b: PUSH1 0x20 0000114d: DUP3 0000114e: DUP6 0000114f: ADD 00001150: ADD 00001151: GT 00001152: ISZERO 00001153: PUSH2 0x115a 00001156: JUMPI 00001157: DUP4 00001158: DUP5 00001159: REVERT 0000115a: JUMPDEST 0000115b: SWAP7 0000115c: SWAP10 0000115d: SWAP6 0000115e: SWAP9 0000115f: POP 00001160: SWAP4 00001161: SWAP7 00001162: POP 00001163: PUSH1 0x20 00001165: ADD 00001166: SWAP5 00001167: SWAP4 00001168: SWAP3 00001169: POP 0000116a: POP 0000116b: POP 0000116c: JUMP 0000116d: JUMPDEST 0000116e: PUSH1 0x00 00001170: PUSH1 0x20 00001172: DUP3 00001173: DUP5 00001174: SUB 00001175: SLT 00001176: ISZERO 00001177: PUSH2 0x117e 0000117a: JUMPI 0000117b: DUP1 0000117c: DUP2 0000117d: REVERT 0000117e: JUMPDEST 0000117f: DUP2 00001180: MLOAD 00001181: DUP1 00001182: ISZERO 00001183: ISZERO 00001184: DUP2 00001185: EQ 00001186: PUSH2 0x10a3 00001189: JUMPI 0000118a: DUP2 0000118b: DUP3 0000118c: REVERT 0000118d: JUMPDEST 0000118e: PUSH1 0x00 00001190: PUSH1 0x20 00001192: DUP3 00001193: DUP5 00001194: SUB 00001195: SLT 00001196: ISZERO 00001197: PUSH2 0x119e 0000119a: JUMPI 0000119b: DUP1 0000119c: DUP2 0000119d: REVERT 0000119e: JUMPDEST 0000119f: POP 000011a0: CALLDATALOAD 000011a1: SWAP2 000011a2: SWAP1 000011a3: POP 000011a4: JUMP 000011a5: JUMPDEST 000011a6: PUSH1 0x00 000011a8: PUSH1 0x20 000011aa: DUP3 000011ab: DUP5 000011ac: SUB 000011ad: SLT 000011ae: ISZERO 000011af: PUSH2 0x11b6 000011b2: JUMPI 000011b3: DUP1 000011b4: DUP2 000011b5: REVERT 000011b6: JUMPDEST 000011b7: POP 000011b8: MLOAD 000011b9: SWAP2 000011ba: SWAP1 000011bb: POP 000011bc: JUMP 000011bd: JUMPDEST 000011be: PUSH1 0x00 000011c0: DUP1 000011c1: PUSH1 0x00 000011c3: PUSH1 0x60 000011c5: DUP5 000011c6: DUP7 000011c7: SUB 000011c8: SLT 000011c9: ISZERO 000011ca: PUSH2 0x11d1 000011cd: JUMPI 000011ce: DUP3 000011cf: DUP4 000011d0: REVERT 000011d1: JUMPDEST 000011d2: DUP4 000011d3: CALLDATALOAD 000011d4: SWAP3 000011d5: POP 000011d6: PUSH1 0x20 000011d8: DUP5 000011d9: ADD 000011da: CALLDATALOAD 000011db: PUSH2 0x11e3 000011de: DUP2 000011df: PUSH2 0x129a 000011e2: JUMP 000011e3: JUMPDEST 000011e4: SWAP2 000011e5: POP 000011e6: PUSH1 0x40 000011e8: DUP5 000011e9: ADD 000011ea: CALLDATALOAD 000011eb: PUSH2 0x11f3 000011ee: DUP2 000011ef: PUSH2 0x129a 000011f2: JUMP 000011f3: JUMPDEST 000011f4: DUP1 000011f5: SWAP2 000011f6: POP 000011f7: POP 000011f8: SWAP3 000011f9: POP 000011fa: SWAP3 000011fb: POP 000011fc: SWAP3 000011fd: JUMP 000011fe: JUMPDEST 000011ff: PUSH1 0x00 00001201: PUSH1 0x20 00001203: DUP3 00001204: DUP5 00001205: SUB 00001206: SLT 00001207: ISZERO 00001208: PUSH2 0x120f 0000120b: JUMPI 0000120c: DUP1 0000120d: DUP2 0000120e: REVERT 0000120f: JUMPDEST 00001210: PUSH2 0x10a3 00001213: DUP3 00001214: PUSH2 0x1071 00001217: JUMP 00001218: JUMPDEST 00001219: PUSH1 0x20 0000121b: DUP1 0000121c: DUP3 0000121d: MSTORE 0000121e: DUP2 0000121f: DUP2 00001220: ADD 00001221: MSTORE 00001222: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001243: PUSH1 0x40 00001245: DUP3 00001246: ADD 00001247: MSTORE 00001248: PUSH1 0x60 0000124a: ADD 0000124b: SWAP1 0000124c: JUMP 0000124d: JUMPDEST 0000124e: PUSH1 0x00 00001250: DUP3 00001251: NOT 00001252: DUP3 00001253: GT 00001254: ISZERO 00001255: PUSH2 0x1260 00001258: JUMPI 00001259: PUSH2 0x1260 0000125c: PUSH2 0x1284 0000125f: JUMP 00001260: JUMPDEST 00001261: POP 00001262: ADD 00001263: SWAP1 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH1 0x00 00001268: DUP2 00001269: PUSH1 0x00 0000126b: NOT 0000126c: DIV 0000126d: DUP4 0000126e: GT 0000126f: DUP3 00001270: ISZERO 00001271: ISZERO 00001272: AND 00001273: ISZERO 00001274: PUSH2 0x127f 00001277: JUMPI 00001278: PUSH2 0x127f 0000127b: PUSH2 0x1284 0000127e: JUMP 0000127f: JUMPDEST 00001280: POP 00001281: MUL 00001282: SWAP1 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH4 0x4e487b71 0000128a: PUSH1 0xe0 0000128c: SHL 0000128d: PUSH1 0x00 0000128f: MSTORE 00001290: PUSH1 0x11 00001292: PUSH1 0x04 00001294: MSTORE 00001295: PUSH1 0x24 00001297: PUSH1 0x00 00001299: REVERT 0000129a: JUMPDEST 0000129b: PUSH1 0x01 0000129d: PUSH1 0x01 0000129f: PUSH1 0xa0 000012a1: SHL 000012a2: SUB 000012a3: DUP2 000012a4: AND 000012a5: DUP2 000012a6: EQ 000012a7: PUSH2 0x0bf9 000012aa: JUMPI 000012ab: PUSH1 0x00 000012ad: DUP1 000012ae: REVERT 000012af: INVALID 000012b0: LOG2 000012b1: PUSH5 0x6970667358 000012b7: UNKNOWN(0x22) 000012b8: SLT 000012b9: KECCAK256 000012ba: UNKNOWN(0xD0) 000012bb: GASLIMIT 000012bc: UNKNOWN(0xDC) 000012bd: NUMBER 000012be: EXP 000012bf: UNKNOWN(0xD9) 000012c0: UNKNOWN(0x23) 000012c1: UNKNOWN(0xDE) 000012c2: EXTCODEHASH 000012c3: UNKNOWN(0xE0) 000012c4: SELFDESTRUCT 000012c5: LOG1 000012c6: ADDRESS 000012c7: UNKNOWN(0x29) 000012c8: UNKNOWN(0xBC) 000012c9: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x176d5bbbf9d29430fb7b2ff37eb4f84b8550af5d1a31e6823a5a6ecd5f70ac09
call_targets:
0x258399d5f1f80773a8c2f671653fcd00750229f7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x176d5bbbf9d29430fb7b2ff37eb4f84b8550af5d1a31e6823a5a6ecd5f70ac09",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x258399d5f1f80773a8c2f671653fcd00750229f7"
],
"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": "0xc7980481",
"selector": "0xc7980481",
"calldata_variants": [
"0xc7980481",
"0xc79804810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb2432a7",
"selector": "0xcb2432a7",
"calldata_variants": [
"0xcb2432a7",
"0xcb2432a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe73faa2d",
"selector": "0xe73faa2d",
"calldata_variants": [
"0xe73faa2d",
"0xe73faa2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe81ba080",
"selector": "0xe81ba080",
"calldata_variants": [
"0xe81ba080",
"0xe81ba0800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8aad32f1",
"selector": "0x8aad32f1",
"calldata_variants": [
"0x8aad32f1",
"0x8aad32f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1614,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1719,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3149,
"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: 0x176d5bbbf9d29430fb7b2ff37eb4f84b8550af5d1a31e6823a5a6ecd5f70ac09
call_targets:
0x258399d5f1f80773a8c2f671653fcd00750229f7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x176d5bbbf9d29430fb7b2ff37eb4f84b8550af5d1a31e6823a5a6ecd5f70ac09",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x258399d5f1f80773a8c2f671653fcd00750229f7"
],
"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": "0xc7980481",
"selector": "0xc7980481",
"calldata_variants": [
"0xc7980481",
"0xc79804810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb2432a7",
"selector": "0xcb2432a7",
"calldata_variants": [
"0xcb2432a7",
"0xcb2432a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe73faa2d",
"selector": "0xe73faa2d",
"calldata_variants": [
"0xe73faa2d",
"0xe73faa2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe81ba080",
"selector": "0xe81ba080",
"calldata_variants": [
"0xe81ba080",
"0xe81ba0800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8aad32f1",
"selector": "0x8aad32f1",
"calldata_variants": [
"0x8aad32f1",
"0x8aad32f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1614,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1719,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3149,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x167b3f933b06554455727148f63b47336e946b5222985acd4cb332f84f6ce67e
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x167b3f933b06554455727148f63b47336e946b5222985acd4cb332f84f6ce67e",
"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": "0xc7980481",
"selector": "0xc7980481",
"calldata_variants": [
"0xc7980481",
"0xc79804810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb2432a7",
"selector": "0xcb2432a7",
"calldata_variants": [
"0xcb2432a7",
"0xcb2432a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd56d229d",
"selector": "0xd56d229d",
"calldata_variants": [
"0xd56d229d",
"0xd56d229d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe73faa2d",
"selector": "0xe73faa2d",
"calldata_variants": [
"0xe73faa2d",
"0xe73faa2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe81ba080",
"selector": "0xe81ba080",
"calldata_variants": [
"0xe81ba080",
"0xe81ba0800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8aad32f1",
"selector": "0x8aad32f1",
"calldata_variants": [
"0x8aad32f1",
"0x8aad32f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|