019b477e-c28b-724f-810b-4db4dd5e9069
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 |
|---|---|---|---|---|
| 25055 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25056 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68382 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68383 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68384 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68385 | 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 0x00b5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb33302c7 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb33302c7 0000002f: EQ 00000030: PUSH2 0x031d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x040e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfc0c546a 00000045: EQ 00000046: PUSH2 0x044e 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x8da5cb5b 00000055: EQ 00000056: PUSH2 0x028f 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x9e34070f 00000060: EQ 00000061: PUSH2 0x02df 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x522f6815 00000070: GT 00000071: PUSH2 0x009a 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x522f6815 0000007b: EQ 0000007c: PUSH2 0x01ec 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x631c56ef 00000086: EQ 00000087: PUSH2 0x0234 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x715018a6 00000091: EQ 00000092: PUSH2 0x027a 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: DUP1 0000009c: PUSH4 0x2eb4a7ab 000000a1: EQ 000000a2: PUSH2 0x00c1 000000a5: JUMPI 000000a6: DUP1 000000a7: PUSH4 0x3956851b 000000ac: EQ 000000ad: PUSH2 0x012a 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: CALLDATASIZE 000000b7: PUSH2 0x00bc 000000ba: JUMPI 000000bb: STOP 000000bc: JUMPDEST 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: CALLVALUE 000000c3: DUP1 000000c4: ISZERO 000000c5: PUSH2 0x00cd 000000c8: JUMPI 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: POP 000000cf: PUSH2 0x00f5 000000d2: PUSH32 0x8d75e829b65729ab44ed5117daec9c2100000000000000000000000000000000 000000f3: DUP2 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH1 0x40 000000f8: DUP1 000000f9: MLOAD 000000fa: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 0000011b: SWAP1 0000011c: SWAP3 0000011d: AND 0000011e: DUP3 0000011f: MSTORE 00000120: MLOAD 00000121: SWAP1 00000122: DUP2 00000123: SWAP1 00000124: SUB 00000125: PUSH1 0x20 00000127: ADD 00000128: SWAP1 00000129: RETURN 0000012a: JUMPDEST 0000012b: CALLVALUE 0000012c: DUP1 0000012d: ISZERO 0000012e: PUSH2 0x0136 00000131: JUMPI 00000132: PUSH1 0x00 00000134: DUP1 00000135: REVERT 00000136: JUMPDEST 00000137: POP 00000138: PUSH2 0x01d1 0000013b: PUSH1 0x04 0000013d: DUP1 0000013e: CALLDATASIZE 0000013f: SUB 00000140: PUSH1 0x60 00000142: DUP2 00000143: LT 00000144: ISZERO 00000145: PUSH2 0x014d 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: DUP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: DUP2 0000014f: ADD 00000150: SWAP1 00000151: PUSH1 0x20 00000153: DUP2 00000154: ADD 00000155: DUP2 00000156: CALLDATALOAD 00000157: PUSH5 0x0100000000 0000015d: DUP2 0000015e: GT 0000015f: ISZERO 00000160: PUSH2 0x0168 00000163: JUMPI 00000164: PUSH1 0x00 00000166: DUP1 00000167: REVERT 00000168: JUMPDEST 00000169: DUP3 0000016a: ADD 0000016b: DUP4 0000016c: PUSH1 0x20 0000016e: DUP3 0000016f: ADD 00000170: GT 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: DUP1 0000017c: CALLDATALOAD 0000017d: SWAP1 0000017e: PUSH1 0x20 00000180: ADD 00000181: SWAP2 00000182: DUP5 00000183: PUSH1 0x01 00000185: DUP4 00000186: MUL 00000187: DUP5 00000188: ADD 00000189: GT 0000018a: PUSH5 0x0100000000 00000190: DUP4 00000191: GT 00000192: OR 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: SWAP2 0000019e: SWAP4 0000019f: POP 000001a0: SWAP2 000001a1: POP 000001a2: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 000001c3: DUP2 000001c4: CALLDATALOAD 000001c5: DUP2 000001c6: AND 000001c7: SWAP2 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: CALLDATALOAD 000001cc: AND 000001cd: PUSH2 0x0482 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0x40 000001d4: DUP1 000001d5: MLOAD 000001d6: SWAP3 000001d7: ISZERO 000001d8: ISZERO 000001d9: DUP4 000001da: MSTORE 000001db: PUSH1 0x20 000001dd: DUP4 000001de: ADD 000001df: SWAP2 000001e0: SWAP1 000001e1: SWAP2 000001e2: MSTORE 000001e3: DUP1 000001e4: MLOAD 000001e5: SWAP2 000001e6: DUP3 000001e7: SWAP1 000001e8: SUB 000001e9: ADD 000001ea: SWAP1 000001eb: RETURN 000001ec: JUMPDEST 000001ed: CALLVALUE 000001ee: DUP1 000001ef: ISZERO 000001f0: PUSH2 0x01f8 000001f3: JUMPI 000001f4: PUSH1 0x00 000001f6: DUP1 000001f7: REVERT 000001f8: JUMPDEST 000001f9: POP 000001fa: PUSH2 0x0232 000001fd: PUSH1 0x04 000001ff: DUP1 00000200: CALLDATASIZE 00000201: SUB 00000202: PUSH1 0x40 00000204: DUP2 00000205: LT 00000206: ISZERO 00000207: PUSH2 0x020f 0000020a: JUMPI 0000020b: PUSH1 0x00 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000226: DUP2 00000227: CALLDATALOAD 00000228: AND 00000229: SWAP1 0000022a: PUSH1 0x20 0000022c: ADD 0000022d: CALLDATALOAD 0000022e: PUSH2 0x049f 00000231: JUMP 00000232: JUMPDEST 00000233: STOP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0268 00000245: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 00000266: DUP2 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: DUP1 0000026c: MLOAD 0000026d: SWAP2 0000026e: DUP3 0000026f: MSTORE 00000270: MLOAD 00000271: SWAP1 00000272: DUP2 00000273: SWAP1 00000274: SUB 00000275: PUSH1 0x20 00000277: ADD 00000278: SWAP1 00000279: RETURN 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x0232 0000028b: PUSH2 0x0549 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH1 0x00 0000029f: SLOAD 000002a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b5: AND 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: DUP1 000002ba: MLOAD 000002bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d0: SWAP1 000002d1: SWAP3 000002d2: AND 000002d3: DUP3 000002d4: MSTORE 000002d5: MLOAD 000002d6: SWAP1 000002d7: DUP2 000002d8: SWAP1 000002d9: SUB 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP1 000002de: RETURN 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x0309 000002f0: PUSH1 0x04 000002f2: DUP1 000002f3: CALLDATASIZE 000002f4: SUB 000002f5: PUSH1 0x20 000002f7: DUP2 000002f8: LT 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: POP 00000304: CALLDATALOAD 00000305: PUSH2 0x05d6 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: DUP1 0000030d: MLOAD 0000030e: SWAP2 0000030f: ISZERO 00000310: ISZERO 00000311: DUP3 00000312: MSTORE 00000313: MLOAD 00000314: SWAP1 00000315: DUP2 00000316: SWAP1 00000317: SUB 00000318: PUSH1 0x20 0000031a: ADD 0000031b: SWAP1 0000031c: RETURN 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0232 0000032e: PUSH1 0x04 00000330: DUP1 00000331: CALLDATASIZE 00000332: SUB 00000333: PUSH1 0x80 00000335: DUP2 00000336: LT 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000356: DUP3 00000357: CALLDATALOAD 00000358: AND 00000359: SWAP2 0000035a: PUSH1 0x20 0000035c: DUP2 0000035d: ADD 0000035e: CALLDATALOAD 0000035f: SWAP2 00000360: DUP2 00000361: ADD 00000362: SWAP1 00000363: PUSH1 0x60 00000365: DUP2 00000366: ADD 00000367: PUSH1 0x40 00000369: DUP3 0000036a: ADD 0000036b: CALLDATALOAD 0000036c: PUSH5 0x0100000000 00000372: DUP2 00000373: GT 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: DUP3 0000037f: ADD 00000380: DUP4 00000381: PUSH1 0x20 00000383: DUP3 00000384: ADD 00000385: GT 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: DUP1 00000391: CALLDATALOAD 00000392: SWAP1 00000393: PUSH1 0x20 00000395: ADD 00000396: SWAP2 00000397: DUP5 00000398: PUSH1 0x01 0000039a: DUP4 0000039b: MUL 0000039c: DUP5 0000039d: ADD 0000039e: GT 0000039f: PUSH5 0x0100000000 000003a5: DUP4 000003a6: GT 000003a7: OR 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: SWAP2 000003b3: SWAP4 000003b4: SWAP1 000003b5: SWAP3 000003b6: SWAP1 000003b7: SWAP2 000003b8: PUSH1 0x20 000003ba: DUP2 000003bb: ADD 000003bc: SWAP1 000003bd: CALLDATALOAD 000003be: PUSH5 0x0100000000 000003c4: DUP2 000003c5: GT 000003c6: ISZERO 000003c7: PUSH2 0x03cf 000003ca: JUMPI 000003cb: PUSH1 0x00 000003cd: DUP1 000003ce: REVERT 000003cf: JUMPDEST 000003d0: DUP3 000003d1: ADD 000003d2: DUP4 000003d3: PUSH1 0x20 000003d5: DUP3 000003d6: ADD 000003d7: GT 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: DUP1 000003e3: CALLDATALOAD 000003e4: SWAP1 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: SWAP2 000003e9: DUP5 000003ea: PUSH1 0x01 000003ec: DUP4 000003ed: MUL 000003ee: DUP5 000003ef: ADD 000003f0: GT 000003f1: PUSH5 0x0100000000 000003f7: DUP4 000003f8: GT 000003f9: OR 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: SWAP1 00000406: SWAP3 00000407: POP 00000408: SWAP1 00000409: POP 0000040a: PUSH2 0x0617 0000040d: JUMP 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: PUSH2 0x0232 0000041f: PUSH1 0x04 00000421: DUP1 00000422: CALLDATASIZE 00000423: SUB 00000424: PUSH1 0x20 00000426: DUP2 00000427: LT 00000428: ISZERO 00000429: PUSH2 0x0431 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: CALLDATALOAD 00000434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000449: AND 0000044a: PUSH2 0x0835 0000044d: JUMP 0000044e: JUMPDEST 0000044f: CALLVALUE 00000450: DUP1 00000451: ISZERO 00000452: PUSH2 0x045a 00000455: JUMPI 00000456: PUSH1 0x00 00000458: DUP1 00000459: REVERT 0000045a: JUMPDEST 0000045b: POP 0000045c: PUSH2 0x02b6 0000045f: PUSH32 0x000000000000000000000000111111111117dc0aa78b770fa6a738034120c302 00000480: DUP2 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x00 00000485: DUP1 00000486: PUSH2 0x0491 00000489: DUP7 0000048a: DUP7 0000048b: DUP7 0000048c: DUP7 0000048d: PUSH2 0x0965 00000490: JUMP 00000491: JUMPDEST 00000492: SWAP2 00000493: POP 00000494: SWAP2 00000495: POP 00000496: JUMPDEST 00000497: SWAP5 00000498: POP 00000499: SWAP5 0000049a: SWAP3 0000049b: POP 0000049c: POP 0000049d: POP 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH1 0x00 000004a2: SLOAD 000004a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b8: AND 000004b9: CALLER 000004ba: EQ 000004bb: PUSH2 0x0525 000004be: JUMPI 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x20 000004e7: PUSH1 0x04 000004e9: DUP3 000004ea: ADD 000004eb: DUP2 000004ec: SWAP1 000004ed: MSTORE 000004ee: PUSH1 0x24 000004f0: DUP3 000004f1: ADD 000004f2: MSTORE 000004f3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000514: PUSH1 0x44 00000516: DUP3 00000517: ADD 00000518: MSTORE 00000519: PUSH1 0x64 0000051b: ADD 0000051c: JUMPDEST 0000051d: PUSH1 0x40 0000051f: MLOAD 00000520: DUP1 00000521: SWAP2 00000522: SUB 00000523: SWAP1 00000524: REVERT 00000525: JUMPDEST 00000526: PUSH2 0x0545 00000529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053e: DUP4 0000053f: AND 00000540: DUP3 00000541: PUSH2 0x09f5 00000544: JUMP 00000545: JUMPDEST 00000546: POP 00000547: POP 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x00 0000054c: SLOAD 0000054d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000562: AND 00000563: CALLER 00000564: EQ 00000565: PUSH2 0x05ca 00000568: JUMPI 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000058d: DUP2 0000058e: MSTORE 0000058f: PUSH1 0x20 00000591: PUSH1 0x04 00000593: DUP3 00000594: ADD 00000595: DUP2 00000596: SWAP1 00000597: MSTORE 00000598: PUSH1 0x24 0000059a: DUP3 0000059b: ADD 0000059c: MSTORE 0000059d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005be: PUSH1 0x44 000005c0: DUP3 000005c1: ADD 000005c2: MSTORE 000005c3: PUSH1 0x64 000005c5: ADD 000005c6: PUSH2 0x051c 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH2 0x05d4 000005ce: PUSH1 0x00 000005d0: PUSH2 0x0b54 000005d3: JUMP 000005d4: JUMPDEST 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x00 000005d9: DUP1 000005da: PUSH2 0x05e5 000005dd: PUSH2 0x0100 000005e0: DUP5 000005e1: PUSH2 0x14aa 000005e4: JUMP 000005e5: JUMPDEST 000005e6: SWAP1 000005e7: POP 000005e8: PUSH1 0x00 000005ea: PUSH2 0x05f5 000005ed: PUSH2 0x0100 000005f0: DUP6 000005f1: PUSH2 0x14be 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: SWAP3 000005f9: DUP4 000005fa: MSTORE 000005fb: PUSH1 0x01 000005fd: PUSH1 0x20 000005ff: DUP2 00000600: SWAP1 00000601: MSTORE 00000602: PUSH1 0x40 00000604: SWAP1 00000605: SWAP4 00000606: KECCAK256 00000607: SLOAD 00000608: SWAP3 00000609: SWAP1 0000060a: SHL 0000060b: SWAP2 0000060c: DUP3 0000060d: AND 0000060e: SWAP1 0000060f: SWAP2 00000610: EQ 00000611: SWAP4 00000612: SWAP3 00000613: POP 00000614: POP 00000615: POP 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH1 0x40 0000061a: DUP1 0000061b: MLOAD 0000061c: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 0000063d: PUSH1 0x60 0000063f: DUP10 00000640: SWAP1 00000641: SHL 00000642: AND 00000643: PUSH1 0x20 00000645: DUP1 00000646: DUP4 00000647: ADD 00000648: SWAP2 00000649: SWAP1 0000064a: SWAP2 0000064b: MSTORE 0000064c: DUP3 0000064d: MLOAD 0000064e: DUP1 0000064f: DUP4 00000650: SUB 00000651: PUSH1 0x14 00000653: ADD 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x34 00000658: DUP4 00000659: ADD 0000065a: DUP5 0000065b: MSTORE 0000065c: DUP1 0000065d: MLOAD 0000065e: SWAP1 0000065f: DUP3 00000660: ADD 00000661: KECCAK256 00000662: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000683: PUSH1 0x54 00000685: DUP5 00000686: ADD 00000687: MSTORE 00000688: PUSH1 0x70 0000068a: DUP1 0000068b: DUP5 0000068c: ADD 0000068d: SWAP2 0000068e: SWAP1 0000068f: SWAP2 00000690: MSTORE 00000691: DUP4 00000692: MLOAD 00000693: DUP1 00000694: DUP5 00000695: SUB 00000696: SWAP1 00000697: SWAP2 00000698: ADD 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x90 0000069d: SWAP1 0000069e: SWAP3 0000069f: ADD 000006a0: SWAP1 000006a1: SWAP3 000006a2: MSTORE 000006a3: DUP1 000006a4: MLOAD 000006a5: SWAP2 000006a6: ADD 000006a7: KECCAK256 000006a8: PUSH1 0x00 000006aa: PUSH2 0x06e9 000006ad: DUP3 000006ae: DUP6 000006af: DUP6 000006b0: DUP1 000006b1: DUP1 000006b2: PUSH1 0x1f 000006b4: ADD 000006b5: PUSH1 0x20 000006b7: DUP1 000006b8: SWAP2 000006b9: DIV 000006ba: MUL 000006bb: PUSH1 0x20 000006bd: ADD 000006be: PUSH1 0x40 000006c0: MLOAD 000006c1: SWAP1 000006c2: DUP2 000006c3: ADD 000006c4: PUSH1 0x40 000006c6: MSTORE 000006c7: DUP1 000006c8: SWAP4 000006c9: SWAP3 000006ca: SWAP2 000006cb: SWAP1 000006cc: DUP2 000006cd: DUP2 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: DUP4 000006d3: DUP4 000006d4: DUP1 000006d5: DUP3 000006d6: DUP5 000006d7: CALLDATACOPY 000006d8: PUSH1 0x00 000006da: SWAP3 000006db: ADD 000006dc: SWAP2 000006dd: SWAP1 000006de: SWAP2 000006df: MSTORE 000006e0: POP 000006e1: PUSH2 0x0bc9 000006e4: SWAP3 000006e5: POP 000006e6: POP 000006e7: POP 000006e8: JUMP 000006e9: JUMPDEST 000006ea: SWAP1 000006eb: POP 000006ec: PUSH1 0x00 000006ee: DUP2 000006ef: DUP9 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: PUSH1 0x20 000006f5: ADD 000006f6: DUP1 000006f7: DUP4 000006f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070d: AND 0000070e: PUSH1 0x60 00000710: SHL 00000711: DUP2 00000712: MSTORE 00000713: PUSH1 0x14 00000715: ADD 00000716: DUP3 00000717: DUP2 00000718: MSTORE 00000719: PUSH1 0x20 0000071b: ADD 0000071c: SWAP3 0000071d: POP 0000071e: POP 0000071f: POP 00000720: PUSH1 0x40 00000722: MLOAD 00000723: PUSH1 0x20 00000725: DUP2 00000726: DUP4 00000727: SUB 00000728: SUB 00000729: DUP2 0000072a: MSTORE 0000072b: SWAP1 0000072c: PUSH1 0x40 0000072e: MSTORE 0000072f: DUP1 00000730: MLOAD 00000731: SWAP1 00000732: PUSH1 0x20 00000734: ADD 00000735: KECCAK256 00000736: SWAP1 00000737: POP 00000738: PUSH1 0x00 0000073a: DUP1 0000073b: PUSH2 0x0766 0000073e: DUP10 0000073f: DUP10 00000740: PUSH32 0x8d75e829b65729ab44ed5117daec9c2100000000000000000000000000000000 00000761: DUP7 00000762: PUSH2 0x0965 00000765: JUMP 00000766: JUMPDEST 00000767: SWAP2 00000768: POP 00000769: SWAP2 0000076a: POP 0000076b: DUP2 0000076c: PUSH2 0x07d6 0000076f: JUMPI 00000770: PUSH1 0x40 00000772: DUP1 00000773: MLOAD 00000774: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x20 00000799: PUSH1 0x04 0000079b: DUP3 0000079c: ADD 0000079d: MSTORE 0000079e: PUSH1 0x11 000007a0: PUSH1 0x24 000007a2: DUP3 000007a3: ADD 000007a4: MSTORE 000007a5: PUSH32 0x4d443a20496e76616c69642070726f6f66000000000000000000000000000000 000007c6: PUSH1 0x44 000007c8: DUP3 000007c9: ADD 000007ca: MSTORE 000007cb: SWAP1 000007cc: MLOAD 000007cd: SWAP1 000007ce: DUP2 000007cf: SWAP1 000007d0: SUB 000007d1: PUSH1 0x64 000007d3: ADD 000007d4: SWAP1 000007d5: REVERT 000007d6: JUMPDEST 000007d7: PUSH2 0x07df 000007da: DUP2 000007db: PUSH2 0x0bed 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH2 0x0820 000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f8: PUSH32 0x000000000000000000000000111111111117dc0aa78b770fa6a738034120c302 00000819: AND 0000081a: DUP13 0000081b: DUP13 0000081c: PUSH2 0x0c94 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH2 0x0828 00000824: PUSH2 0x0d21 00000827: JUMP 00000828: JUMPDEST 00000829: POP 0000082a: POP 0000082b: POP 0000082c: POP 0000082d: POP 0000082e: POP 0000082f: POP 00000830: POP 00000831: POP 00000832: POP 00000833: POP 00000834: JUMP 00000835: JUMPDEST 00000836: PUSH1 0x00 00000838: SLOAD 00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084e: AND 0000084f: CALLER 00000850: EQ 00000851: PUSH2 0x08b6 00000854: JUMPI 00000855: PUSH1 0x40 00000857: MLOAD 00000858: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000879: DUP2 0000087a: MSTORE 0000087b: PUSH1 0x20 0000087d: PUSH1 0x04 0000087f: DUP3 00000880: ADD 00000881: DUP2 00000882: SWAP1 00000883: MSTORE 00000884: PUSH1 0x24 00000886: DUP3 00000887: ADD 00000888: MSTORE 00000889: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000008aa: PUSH1 0x44 000008ac: DUP3 000008ad: ADD 000008ae: MSTORE 000008af: PUSH1 0x64 000008b1: ADD 000008b2: PUSH2 0x051c 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cc: DUP2 000008cd: AND 000008ce: PUSH2 0x0959 000008d1: JUMPI 000008d2: PUSH1 0x40 000008d4: MLOAD 000008d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008f6: DUP2 000008f7: MSTORE 000008f8: PUSH1 0x20 000008fa: PUSH1 0x04 000008fc: DUP3 000008fd: ADD 000008fe: MSTORE 000008ff: PUSH1 0x26 00000901: PUSH1 0x24 00000903: DUP3 00000904: ADD 00000905: MSTORE 00000906: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000927: PUSH1 0x44 00000929: DUP3 0000092a: ADD 0000092b: MSTORE 0000092c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000094d: PUSH1 0x64 0000094f: DUP3 00000950: ADD 00000951: MSTORE 00000952: PUSH1 0x84 00000954: ADD 00000955: PUSH2 0x051c 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH2 0x0962 0000095d: DUP2 0000095e: PUSH2 0x0b54 00000961: JUMP 00000962: JUMPDEST 00000963: POP 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH1 0x00 00000968: DUP1 00000969: PUSH1 0x40 0000096b: MLOAD 0000096c: PUSH1 0x10 0000096e: DUP2 0000096f: ADD 00000970: DUP8 00000971: PUSH1 0x01 00000973: DUP9 00000974: DUP3 00000975: ADD 00000976: JUMPDEST 00000977: DUP1 00000978: DUP4 00000979: LT 0000097a: ISZERO 0000097b: PUSH2 0x09ba 0000097e: JUMPI 0000097f: DUP3 00000980: CALLDATALOAD 00000981: DUP1 00000982: DUP10 00000983: LT 00000984: PUSH1 0x01 00000986: DUP2 00000987: EQ 00000988: PUSH2 0x099a 0000098b: JUMPI 0000098c: DUP2 0000098d: DUP8 0000098e: MSTORE 0000098f: DUP10 00000990: DUP7 00000991: MSTORE 00000992: SWAP7 00000993: DUP4 00000994: OR 00000995: SWAP7 00000996: PUSH2 0x09a1 00000999: JUMP 0000099a: JUMPDEST 0000099b: DUP10 0000099c: DUP8 0000099d: MSTORE 0000099e: DUP2 0000099f: DUP7 000009a0: MSTORE 000009a1: JUMPDEST 000009a2: POP 000009a3: POP 000009a4: PUSH1 0x20 000009a6: DUP6 000009a7: KECCAK256 000009a8: SWAP8 000009a9: POP 000009aa: DUP2 000009ab: PUSH1 0x01 000009ad: SHL 000009ae: SWAP2 000009af: POP 000009b0: PUSH1 0x10 000009b2: DUP4 000009b3: ADD 000009b4: SWAP3 000009b5: POP 000009b6: PUSH2 0x0976 000009b9: JUMP 000009ba: JUMPDEST 000009bb: POP 000009bc: POP 000009bd: POP 000009be: POP 000009bf: POP 000009c0: SWAP2 000009c1: SWAP1 000009c2: SWAP3 000009c3: XOR 000009c4: PUSH1 0x80 000009c6: SHR 000009c7: ISZERO 000009c8: SWAP5 000009c9: PUSH1 0x10 000009cb: SWAP1 000009cc: SWAP4 000009cd: DIV 000009ce: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 000009ef: SUB 000009f0: SHL 000009f1: SWAP3 000009f2: POP 000009f3: POP 000009f4: JUMP 000009f5: JUMPDEST 000009f6: DUP1 000009f7: SELFBALANCE 000009f8: LT 000009f9: ISZERO 000009fa: PUSH2 0x0a5f 000009fd: JUMPI 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x20 00000a26: PUSH1 0x04 00000a28: DUP3 00000a29: ADD 00000a2a: MSTORE 00000a2b: PUSH1 0x1d 00000a2d: PUSH1 0x24 00000a2f: DUP3 00000a30: ADD 00000a31: MSTORE 00000a32: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000a53: PUSH1 0x44 00000a55: DUP3 00000a56: ADD 00000a57: MSTORE 00000a58: PUSH1 0x64 00000a5a: ADD 00000a5b: PUSH2 0x051c 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: PUSH1 0x00 00000a62: DUP3 00000a63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a78: AND 00000a79: DUP3 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: PUSH1 0x00 00000a7f: PUSH1 0x40 00000a81: MLOAD 00000a82: DUP1 00000a83: DUP4 00000a84: SUB 00000a85: DUP2 00000a86: DUP6 00000a87: DUP8 00000a88: GAS 00000a89: CALL 00000a8a: SWAP3 00000a8b: POP 00000a8c: POP 00000a8d: POP 00000a8e: RETURNDATASIZE 00000a8f: DUP1 00000a90: PUSH1 0x00 00000a92: DUP2 00000a93: EQ 00000a94: PUSH2 0x0ab9 00000a97: JUMPI 00000a98: PUSH1 0x40 00000a9a: MLOAD 00000a9b: SWAP2 00000a9c: POP 00000a9d: PUSH1 0x1f 00000a9f: NOT 00000aa0: PUSH1 0x3f 00000aa2: RETURNDATASIZE 00000aa3: ADD 00000aa4: AND 00000aa5: DUP3 00000aa6: ADD 00000aa7: PUSH1 0x40 00000aa9: MSTORE 00000aaa: RETURNDATASIZE 00000aab: DUP3 00000aac: MSTORE 00000aad: RETURNDATASIZE 00000aae: PUSH1 0x00 00000ab0: PUSH1 0x20 00000ab2: DUP5 00000ab3: ADD 00000ab4: RETURNDATACOPY 00000ab5: PUSH2 0x0abe 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x60 00000abc: SWAP2 00000abd: POP 00000abe: JUMPDEST 00000abf: POP 00000ac0: POP 00000ac1: SWAP1 00000ac2: POP 00000ac3: DUP1 00000ac4: PUSH2 0x0b4f 00000ac7: JUMPI 00000ac8: PUSH1 0x40 00000aca: MLOAD 00000acb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000aec: DUP2 00000aed: MSTORE 00000aee: PUSH1 0x20 00000af0: PUSH1 0x04 00000af2: DUP3 00000af3: ADD 00000af4: MSTORE 00000af5: PUSH1 0x3a 00000af7: PUSH1 0x24 00000af9: DUP3 00000afa: ADD 00000afb: MSTORE 00000afc: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000b1d: PUSH1 0x44 00000b1f: DUP3 00000b20: ADD 00000b21: MSTORE 00000b22: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000b43: PUSH1 0x64 00000b45: DUP3 00000b46: ADD 00000b47: MSTORE 00000b48: PUSH1 0x84 00000b4a: ADD 00000b4b: PUSH2 0x051c 00000b4e: JUMP 00000b4f: JUMPDEST 00000b50: POP 00000b51: POP 00000b52: POP 00000b53: JUMP 00000b54: JUMPDEST 00000b55: PUSH1 0x00 00000b57: DUP1 00000b58: SLOAD 00000b59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6e: DUP4 00000b6f: DUP2 00000b70: AND 00000b71: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b92: DUP4 00000b93: AND 00000b94: DUP2 00000b95: OR 00000b96: DUP5 00000b97: SSTORE 00000b98: PUSH1 0x40 00000b9a: MLOAD 00000b9b: SWAP2 00000b9c: SWAP1 00000b9d: SWAP3 00000b9e: AND 00000b9f: SWAP3 00000ba0: DUP4 00000ba1: SWAP2 00000ba2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bc3: SWAP2 00000bc4: SWAP1 00000bc5: LOG3 00000bc6: POP 00000bc7: POP 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: PUSH1 0x00 00000bcf: PUSH2 0x0bd8 00000bd2: DUP6 00000bd3: DUP6 00000bd4: PUSH2 0x0d47 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: SWAP2 00000bda: POP 00000bdb: SWAP2 00000bdc: POP 00000bdd: PUSH2 0x0be5 00000be0: DUP2 00000be1: PUSH2 0x0db7 00000be4: JUMP 00000be5: JUMPDEST 00000be6: POP 00000be7: SWAP4 00000be8: SWAP3 00000be9: POP 00000bea: POP 00000beb: POP 00000bec: JUMP 00000bed: JUMPDEST 00000bee: PUSH1 0x08 00000bf0: DUP2 00000bf1: SWAP1 00000bf2: SHR 00000bf3: PUSH1 0x00 00000bf5: DUP2 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: PUSH1 0x01 00000bfa: PUSH1 0x20 00000bfc: DUP2 00000bfd: SWAP1 00000bfe: MSTORE 00000bff: PUSH1 0x40 00000c01: SWAP1 00000c02: SWAP2 00000c03: KECCAK256 00000c04: SLOAD 00000c05: PUSH1 0xff 00000c07: DUP5 00000c08: AND 00000c09: SWAP2 00000c0a: DUP3 00000c0b: SHL 00000c0c: DUP2 00000c0d: OR 00000c0e: DUP1 00000c0f: DUP3 00000c10: EQ 00000c11: ISZERO 00000c12: PUSH2 0x0c7c 00000c15: JUMPI 00000c16: PUSH1 0x40 00000c18: DUP1 00000c19: MLOAD 00000c1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x20 00000c3f: PUSH1 0x04 00000c41: DUP3 00000c42: ADD 00000c43: MSTORE 00000c44: PUSH1 0x18 00000c46: PUSH1 0x24 00000c48: DUP3 00000c49: ADD 00000c4a: MSTORE 00000c4b: PUSH32 0x4d443a2044726f7020616c726561647920636c61696d65640000000000000000 00000c6c: PUSH1 0x44 00000c6e: DUP3 00000c6f: ADD 00000c70: MSTORE 00000c71: SWAP1 00000c72: MLOAD 00000c73: SWAP1 00000c74: DUP2 00000c75: SWAP1 00000c76: SUB 00000c77: PUSH1 0x64 00000c79: ADD 00000c7a: SWAP1 00000c7b: REVERT 00000c7c: JUMPDEST 00000c7d: PUSH1 0x00 00000c7f: SWAP4 00000c80: DUP5 00000c81: MSTORE 00000c82: PUSH1 0x01 00000c84: PUSH1 0x20 00000c86: MSTORE 00000c87: PUSH1 0x40 00000c89: SWAP1 00000c8a: SWAP4 00000c8b: KECCAK256 00000c8c: SWAP3 00000c8d: SWAP1 00000c8e: SWAP3 00000c8f: SSTORE 00000c90: POP 00000c91: POP 00000c92: POP 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH1 0x40 00000c97: DUP1 00000c98: MLOAD 00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cae: DUP5 00000caf: AND 00000cb0: PUSH1 0x24 00000cb2: DUP3 00000cb3: ADD 00000cb4: MSTORE 00000cb5: PUSH1 0x44 00000cb7: DUP1 00000cb8: DUP3 00000cb9: ADD 00000cba: DUP5 00000cbb: SWAP1 00000cbc: MSTORE 00000cbd: DUP3 00000cbe: MLOAD 00000cbf: DUP1 00000cc0: DUP4 00000cc1: SUB 00000cc2: SWAP1 00000cc3: SWAP2 00000cc4: ADD 00000cc5: DUP2 00000cc6: MSTORE 00000cc7: PUSH1 0x64 00000cc9: SWAP1 00000cca: SWAP2 00000ccb: ADD 00000ccc: SWAP1 00000ccd: SWAP2 00000cce: MSTORE 00000ccf: PUSH1 0x20 00000cd1: DUP2 00000cd2: ADD 00000cd3: DUP1 00000cd4: MLOAD 00000cd5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000cf2: AND 00000cf3: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000d14: OR 00000d15: SWAP1 00000d16: MSTORE 00000d17: PUSH2 0x0b4f 00000d1a: SWAP1 00000d1b: DUP5 00000d1c: SWAP1 00000d1d: PUSH2 0x1010 00000d20: JUMP 00000d21: JUMPDEST 00000d22: SELFBALANCE 00000d23: DUP1 00000d24: ISZERO 00000d25: PUSH2 0x0962 00000d28: JUMPI 00000d29: PUSH2 0x0962 00000d2c: PUSH2 0x0d40 00000d2f: PUSH2 0x0d3a 00000d32: PUSH2 0xea60 00000d35: BASEFEE 00000d36: PUSH2 0x14d2 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: DUP4 00000d3c: PUSH2 0x111c 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: ORIGIN 00000d42: SWAP1 00000d43: PUSH2 0x09f5 00000d46: JUMP 00000d47: JUMPDEST 00000d48: PUSH1 0x00 00000d4a: DUP1 00000d4b: DUP3 00000d4c: MLOAD 00000d4d: PUSH1 0x41 00000d4f: EQ 00000d50: ISZERO 00000d51: PUSH2 0x0d7e 00000d54: JUMPI 00000d55: PUSH1 0x20 00000d57: DUP4 00000d58: ADD 00000d59: MLOAD 00000d5a: PUSH1 0x40 00000d5c: DUP5 00000d5d: ADD 00000d5e: MLOAD 00000d5f: PUSH1 0x60 00000d61: DUP6 00000d62: ADD 00000d63: MLOAD 00000d64: PUSH1 0x00 00000d66: BYTE 00000d67: PUSH2 0x0d72 00000d6a: DUP8 00000d6b: DUP3 00000d6c: DUP6 00000d6d: DUP6 00000d6e: PUSH2 0x1134 00000d71: JUMP 00000d72: JUMPDEST 00000d73: SWAP5 00000d74: POP 00000d75: SWAP5 00000d76: POP 00000d77: POP 00000d78: POP 00000d79: POP 00000d7a: PUSH2 0x0db0 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: DUP3 00000d80: MLOAD 00000d81: PUSH1 0x40 00000d83: EQ 00000d84: ISZERO 00000d85: PUSH2 0x0da8 00000d88: JUMPI 00000d89: PUSH1 0x20 00000d8b: DUP4 00000d8c: ADD 00000d8d: MLOAD 00000d8e: PUSH1 0x40 00000d90: DUP5 00000d91: ADD 00000d92: MLOAD 00000d93: PUSH2 0x0d9d 00000d96: DUP7 00000d97: DUP4 00000d98: DUP4 00000d99: PUSH2 0x1249 00000d9c: JUMP 00000d9d: JUMPDEST 00000d9e: SWAP4 00000d9f: POP 00000da0: SWAP4 00000da1: POP 00000da2: POP 00000da3: POP 00000da4: PUSH2 0x0db0 00000da7: JUMP 00000da8: JUMPDEST 00000da9: POP 00000daa: PUSH1 0x00 00000dac: SWAP1 00000dad: POP 00000dae: PUSH1 0x02 00000db0: JUMPDEST 00000db1: SWAP3 00000db2: POP 00000db3: SWAP3 00000db4: SWAP1 00000db5: POP 00000db6: JUMP 00000db7: JUMPDEST 00000db8: PUSH1 0x00 00000dba: DUP2 00000dbb: PUSH1 0x04 00000dbd: DUP2 00000dbe: GT 00000dbf: ISZERO 00000dc0: PUSH2 0x0dcb 00000dc3: JUMPI 00000dc4: PUSH2 0x0dcb 00000dc7: PUSH2 0x1536 00000dca: JUMP 00000dcb: JUMPDEST 00000dcc: EQ 00000dcd: ISZERO 00000dce: PUSH2 0x0dd4 00000dd1: JUMPI 00000dd2: POP 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x01 00000dd7: DUP2 00000dd8: PUSH1 0x04 00000dda: DUP2 00000ddb: GT 00000ddc: ISZERO 00000ddd: PUSH2 0x0de8 00000de0: JUMPI 00000de1: PUSH2 0x0de8 00000de4: PUSH2 0x1536 00000de7: JUMP 00000de8: JUMPDEST 00000de9: EQ 00000dea: ISZERO 00000deb: PUSH2 0x0e50 00000dee: JUMPI 00000def: PUSH1 0x40 00000df1: MLOAD 00000df2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e13: DUP2 00000e14: MSTORE 00000e15: PUSH1 0x20 00000e17: PUSH1 0x04 00000e19: DUP3 00000e1a: ADD 00000e1b: MSTORE 00000e1c: PUSH1 0x18 00000e1e: PUSH1 0x24 00000e20: DUP3 00000e21: ADD 00000e22: MSTORE 00000e23: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00000e44: PUSH1 0x44 00000e46: DUP3 00000e47: ADD 00000e48: MSTORE 00000e49: PUSH1 0x64 00000e4b: ADD 00000e4c: PUSH2 0x051c 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH1 0x02 00000e53: DUP2 00000e54: PUSH1 0x04 00000e56: DUP2 00000e57: GT 00000e58: ISZERO 00000e59: PUSH2 0x0e64 00000e5c: JUMPI 00000e5d: PUSH2 0x0e64 00000e60: PUSH2 0x1536 00000e63: JUMP 00000e64: JUMPDEST 00000e65: EQ 00000e66: ISZERO 00000e67: PUSH2 0x0ecc 00000e6a: JUMPI 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e8f: DUP2 00000e90: MSTORE 00000e91: PUSH1 0x20 00000e93: PUSH1 0x04 00000e95: DUP3 00000e96: ADD 00000e97: MSTORE 00000e98: PUSH1 0x1f 00000e9a: PUSH1 0x24 00000e9c: DUP3 00000e9d: ADD 00000e9e: MSTORE 00000e9f: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00000ec0: PUSH1 0x44 00000ec2: DUP3 00000ec3: ADD 00000ec4: MSTORE 00000ec5: PUSH1 0x64 00000ec7: ADD 00000ec8: PUSH2 0x051c 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: PUSH1 0x03 00000ecf: DUP2 00000ed0: PUSH1 0x04 00000ed2: DUP2 00000ed3: GT 00000ed4: ISZERO 00000ed5: PUSH2 0x0ee0 00000ed8: JUMPI 00000ed9: PUSH2 0x0ee0 00000edc: PUSH2 0x1536 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: EQ 00000ee2: ISZERO 00000ee3: PUSH2 0x0f6e 00000ee6: JUMPI 00000ee7: PUSH1 0x40 00000ee9: MLOAD 00000eea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x20 00000f0f: PUSH1 0x04 00000f11: DUP3 00000f12: ADD 00000f13: MSTORE 00000f14: PUSH1 0x22 00000f16: PUSH1 0x24 00000f18: DUP3 00000f19: ADD 00000f1a: MSTORE 00000f1b: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 00000f3c: PUSH1 0x44 00000f3e: DUP3 00000f3f: ADD 00000f40: MSTORE 00000f41: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00000f62: PUSH1 0x64 00000f64: DUP3 00000f65: ADD 00000f66: MSTORE 00000f67: PUSH1 0x84 00000f69: ADD 00000f6a: PUSH2 0x051c 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: PUSH1 0x04 00000f71: DUP2 00000f72: PUSH1 0x04 00000f74: DUP2 00000f75: GT 00000f76: ISZERO 00000f77: PUSH2 0x0f82 00000f7a: JUMPI 00000f7b: PUSH2 0x0f82 00000f7e: PUSH2 0x1536 00000f81: JUMP 00000f82: JUMPDEST 00000f83: EQ 00000f84: ISZERO 00000f85: PUSH2 0x0962 00000f88: JUMPI 00000f89: PUSH1 0x40 00000f8b: MLOAD 00000f8c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fad: DUP2 00000fae: MSTORE 00000faf: PUSH1 0x20 00000fb1: PUSH1 0x04 00000fb3: DUP3 00000fb4: ADD 00000fb5: MSTORE 00000fb6: PUSH1 0x22 00000fb8: PUSH1 0x24 00000fba: DUP3 00000fbb: ADD 00000fbc: MSTORE 00000fbd: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c 00000fde: PUSH1 0x44 00000fe0: DUP3 00000fe1: ADD 00000fe2: MSTORE 00000fe3: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00001004: PUSH1 0x64 00001006: DUP3 00001007: ADD 00001008: MSTORE 00001009: PUSH1 0x84 0000100b: ADD 0000100c: PUSH2 0x051c 0000100f: JUMP 00001010: JUMPDEST 00001011: PUSH1 0x00 00001013: PUSH2 0x1072 00001016: DUP3 00001017: PUSH1 0x40 00001019: MLOAD 0000101a: DUP1 0000101b: PUSH1 0x40 0000101d: ADD 0000101e: PUSH1 0x40 00001020: MSTORE 00001021: DUP1 00001022: PUSH1 0x20 00001024: DUP2 00001025: MSTORE 00001026: PUSH1 0x20 00001028: ADD 00001029: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000104a: DUP2 0000104b: MSTORE 0000104c: POP 0000104d: DUP6 0000104e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001063: AND 00001064: PUSH2 0x1291 00001067: SWAP1 00001068: SWAP3 00001069: SWAP2 0000106a: SWAP1 0000106b: PUSH4 0xffffffff 00001070: AND 00001071: JUMP 00001072: JUMPDEST 00001073: DUP1 00001074: MLOAD 00001075: SWAP1 00001076: SWAP2 00001077: POP 00001078: ISZERO 00001079: PUSH2 0x0b4f 0000107c: JUMPI 0000107d: DUP1 0000107e: DUP1 0000107f: PUSH1 0x20 00001081: ADD 00001082: SWAP1 00001083: MLOAD 00001084: DUP2 00001085: ADD 00001086: SWAP1 00001087: PUSH2 0x1090 0000108a: SWAP2 0000108b: SWAP1 0000108c: PUSH2 0x1565 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH2 0x0b4f 00001094: JUMPI 00001095: PUSH1 0x40 00001097: MLOAD 00001098: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010b9: DUP2 000010ba: MSTORE 000010bb: PUSH1 0x20 000010bd: PUSH1 0x04 000010bf: DUP3 000010c0: ADD 000010c1: MSTORE 000010c2: PUSH1 0x2a 000010c4: PUSH1 0x24 000010c6: DUP3 000010c7: ADD 000010c8: MSTORE 000010c9: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000010ea: PUSH1 0x44 000010ec: DUP3 000010ed: ADD 000010ee: MSTORE 000010ef: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00001110: PUSH1 0x64 00001112: DUP3 00001113: ADD 00001114: MSTORE 00001115: PUSH1 0x84 00001117: ADD 00001118: PUSH2 0x051c 0000111b: JUMP 0000111c: JUMPDEST 0000111d: PUSH1 0x00 0000111f: DUP2 00001120: DUP4 00001121: LT 00001122: PUSH2 0x112b 00001125: JUMPI 00001126: DUP2 00001127: PUSH2 0x112d 0000112a: JUMP 0000112b: JUMPDEST 0000112c: DUP3 0000112d: JUMPDEST 0000112e: SWAP4 0000112f: SWAP3 00001130: POP 00001131: POP 00001132: POP 00001133: JUMP 00001134: JUMPDEST 00001135: PUSH1 0x00 00001137: DUP1 00001138: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00001159: DUP4 0000115a: GT 0000115b: ISZERO 0000115c: PUSH2 0x116b 0000115f: JUMPI 00001160: POP 00001161: PUSH1 0x00 00001163: SWAP1 00001164: POP 00001165: PUSH1 0x03 00001167: PUSH2 0x0496 0000116a: JUMP 0000116b: JUMPDEST 0000116c: DUP5 0000116d: PUSH1 0xff 0000116f: AND 00001170: PUSH1 0x1b 00001172: EQ 00001173: ISZERO 00001174: DUP1 00001175: ISZERO 00001176: PUSH2 0x1183 00001179: JUMPI 0000117a: POP 0000117b: DUP5 0000117c: PUSH1 0xff 0000117e: AND 0000117f: PUSH1 0x1c 00001181: EQ 00001182: ISZERO 00001183: JUMPDEST 00001184: ISZERO 00001185: PUSH2 0x1194 00001188: JUMPI 00001189: POP 0000118a: PUSH1 0x00 0000118c: SWAP1 0000118d: POP 0000118e: PUSH1 0x04 00001190: PUSH2 0x0496 00001193: JUMP 00001194: JUMPDEST 00001195: PUSH1 0x40 00001197: DUP1 00001198: MLOAD 00001199: PUSH1 0x00 0000119b: DUP1 0000119c: DUP3 0000119d: MSTORE 0000119e: PUSH1 0x20 000011a0: DUP3 000011a1: ADD 000011a2: DUP1 000011a3: DUP5 000011a4: MSTORE 000011a5: DUP10 000011a6: SWAP1 000011a7: MSTORE 000011a8: PUSH1 0xff 000011aa: DUP9 000011ab: AND 000011ac: SWAP3 000011ad: DUP3 000011ae: ADD 000011af: SWAP3 000011b0: SWAP1 000011b1: SWAP3 000011b2: MSTORE 000011b3: PUSH1 0x60 000011b5: DUP2 000011b6: ADD 000011b7: DUP7 000011b8: SWAP1 000011b9: MSTORE 000011ba: PUSH1 0x80 000011bc: DUP2 000011bd: ADD 000011be: DUP6 000011bf: SWAP1 000011c0: MSTORE 000011c1: PUSH1 0x01 000011c3: SWAP1 000011c4: PUSH1 0xa0 000011c6: ADD 000011c7: PUSH1 0x20 000011c9: PUSH1 0x40 000011cb: MLOAD 000011cc: PUSH1 0x20 000011ce: DUP2 000011cf: SUB 000011d0: SWAP1 000011d1: DUP1 000011d2: DUP5 000011d3: SUB 000011d4: SWAP1 000011d5: DUP6 000011d6: GAS 000011d7: STATICCALL 000011d8: ISZERO 000011d9: DUP1 000011da: ISZERO 000011db: PUSH2 0x11e8 000011de: JUMPI 000011df: RETURNDATASIZE 000011e0: PUSH1 0x00 000011e2: DUP1 000011e3: RETURNDATACOPY 000011e4: RETURNDATASIZE 000011e5: PUSH1 0x00 000011e7: REVERT 000011e8: JUMPDEST 000011e9: POP 000011ea: POP 000011eb: PUSH1 0x40 000011ed: MLOAD 000011ee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000120f: ADD 00001210: MLOAD 00001211: SWAP2 00001212: POP 00001213: POP 00001214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001229: DUP2 0000122a: AND 0000122b: PUSH2 0x123c 0000122e: JUMPI 0000122f: PUSH1 0x00 00001231: PUSH1 0x01 00001233: SWAP3 00001234: POP 00001235: SWAP3 00001236: POP 00001237: POP 00001238: PUSH2 0x0496 0000123b: JUMP 0000123c: JUMPDEST 0000123d: SWAP7 0000123e: PUSH1 0x00 00001240: SWAP7 00001241: POP 00001242: SWAP5 00001243: POP 00001244: POP 00001245: POP 00001246: POP 00001247: POP 00001248: JUMP 00001249: JUMPDEST 0000124a: PUSH1 0x00 0000124c: DUP1 0000124d: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000126e: DUP4 0000126f: AND 00001270: PUSH1 0xff 00001272: DUP5 00001273: SWAP1 00001274: SHR 00001275: PUSH1 0x1b 00001277: ADD 00001278: PUSH2 0x1283 0000127b: DUP8 0000127c: DUP3 0000127d: DUP9 0000127e: DUP6 0000127f: PUSH2 0x1134 00001282: JUMP 00001283: JUMPDEST 00001284: SWAP4 00001285: POP 00001286: SWAP4 00001287: POP 00001288: POP 00001289: POP 0000128a: SWAP4 0000128b: POP 0000128c: SWAP4 0000128d: SWAP2 0000128e: POP 0000128f: POP 00001290: JUMP 00001291: JUMPDEST 00001292: PUSH1 0x60 00001294: PUSH2 0x12a0 00001297: DUP5 00001298: DUP5 00001299: PUSH1 0x00 0000129b: DUP6 0000129c: PUSH2 0x12a8 0000129f: JUMP 000012a0: JUMPDEST 000012a1: SWAP5 000012a2: SWAP4 000012a3: POP 000012a4: POP 000012a5: POP 000012a6: POP 000012a7: JUMP 000012a8: JUMPDEST 000012a9: PUSH1 0x60 000012ab: DUP3 000012ac: SELFBALANCE 000012ad: LT 000012ae: ISZERO 000012af: PUSH2 0x133a 000012b2: JUMPI 000012b3: PUSH1 0x40 000012b5: MLOAD 000012b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012d7: DUP2 000012d8: MSTORE 000012d9: PUSH1 0x20 000012db: PUSH1 0x04 000012dd: DUP3 000012de: ADD 000012df: MSTORE 000012e0: PUSH1 0x26 000012e2: PUSH1 0x24 000012e4: DUP3 000012e5: ADD 000012e6: MSTORE 000012e7: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001308: PUSH1 0x44 0000130a: DUP3 0000130b: ADD 0000130c: MSTORE 0000130d: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 0000132e: PUSH1 0x64 00001330: DUP3 00001331: ADD 00001332: MSTORE 00001333: PUSH1 0x84 00001335: ADD 00001336: PUSH2 0x051c 00001339: JUMP 0000133a: JUMPDEST 0000133b: DUP5 0000133c: EXTCODESIZE 0000133d: PUSH2 0x13a2 00001340: JUMPI 00001341: PUSH1 0x40 00001343: MLOAD 00001344: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001365: DUP2 00001366: MSTORE 00001367: PUSH1 0x20 00001369: PUSH1 0x04 0000136b: DUP3 0000136c: ADD 0000136d: MSTORE 0000136e: PUSH1 0x1d 00001370: PUSH1 0x24 00001372: DUP3 00001373: ADD 00001374: MSTORE 00001375: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001396: PUSH1 0x44 00001398: DUP3 00001399: ADD 0000139a: MSTORE 0000139b: PUSH1 0x64 0000139d: ADD 0000139e: PUSH2 0x051c 000013a1: JUMP 000013a2: JUMPDEST 000013a3: PUSH1 0x00 000013a5: DUP1 000013a6: DUP7 000013a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bc: AND 000013bd: DUP6 000013be: DUP8 000013bf: PUSH1 0x40 000013c1: MLOAD 000013c2: PUSH2 0x13cb 000013c5: SWAP2 000013c6: SWAP1 000013c7: PUSH2 0x15b7 000013ca: JUMP 000013cb: JUMPDEST 000013cc: PUSH1 0x00 000013ce: PUSH1 0x40 000013d0: MLOAD 000013d1: DUP1 000013d2: DUP4 000013d3: SUB 000013d4: DUP2 000013d5: DUP6 000013d6: DUP8 000013d7: GAS 000013d8: CALL 000013d9: SWAP3 000013da: POP 000013db: POP 000013dc: POP 000013dd: RETURNDATASIZE 000013de: DUP1 000013df: PUSH1 0x00 000013e1: DUP2 000013e2: EQ 000013e3: PUSH2 0x1408 000013e6: JUMPI 000013e7: PUSH1 0x40 000013e9: MLOAD 000013ea: SWAP2 000013eb: POP 000013ec: PUSH1 0x1f 000013ee: NOT 000013ef: PUSH1 0x3f 000013f1: RETURNDATASIZE 000013f2: ADD 000013f3: AND 000013f4: DUP3 000013f5: ADD 000013f6: PUSH1 0x40 000013f8: MSTORE 000013f9: RETURNDATASIZE 000013fa: DUP3 000013fb: MSTORE 000013fc: RETURNDATASIZE 000013fd: PUSH1 0x00 000013ff: PUSH1 0x20 00001401: DUP5 00001402: ADD 00001403: RETURNDATACOPY 00001404: PUSH2 0x140d 00001407: JUMP 00001408: JUMPDEST 00001409: PUSH1 0x60 0000140b: SWAP2 0000140c: POP 0000140d: JUMPDEST 0000140e: POP 0000140f: SWAP2 00001410: POP 00001411: SWAP2 00001412: POP 00001413: PUSH2 0x141d 00001416: DUP3 00001417: DUP3 00001418: DUP7 00001419: PUSH2 0x1428 0000141c: JUMP 0000141d: JUMPDEST 0000141e: SWAP8 0000141f: SWAP7 00001420: POP 00001421: POP 00001422: POP 00001423: POP 00001424: POP 00001425: POP 00001426: POP 00001427: JUMP 00001428: JUMPDEST 00001429: PUSH1 0x60 0000142b: DUP4 0000142c: ISZERO 0000142d: PUSH2 0x1437 00001430: JUMPI 00001431: POP 00001432: DUP2 00001433: PUSH2 0x112d 00001436: JUMP 00001437: JUMPDEST 00001438: DUP3 00001439: MLOAD 0000143a: ISZERO 0000143b: PUSH2 0x1447 0000143e: JUMPI 0000143f: DUP3 00001440: MLOAD 00001441: DUP1 00001442: DUP5 00001443: PUSH1 0x20 00001445: ADD 00001446: REVERT 00001447: JUMPDEST 00001448: DUP2 00001449: PUSH1 0x40 0000144b: MLOAD 0000144c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000146d: DUP2 0000146e: MSTORE 0000146f: PUSH1 0x04 00001471: ADD 00001472: PUSH2 0x051c 00001475: SWAP2 00001476: SWAP1 00001477: PUSH2 0x15d3 0000147a: JUMP 0000147b: JUMPDEST 0000147c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000149d: PUSH1 0x00 0000149f: MSTORE 000014a0: PUSH1 0x12 000014a2: PUSH1 0x04 000014a4: MSTORE 000014a5: PUSH1 0x24 000014a7: PUSH1 0x00 000014a9: REVERT 000014aa: JUMPDEST 000014ab: PUSH1 0x00 000014ad: DUP3 000014ae: PUSH2 0x14b9 000014b1: JUMPI 000014b2: PUSH2 0x14b9 000014b5: PUSH2 0x147b 000014b8: JUMP 000014b9: JUMPDEST 000014ba: POP 000014bb: DIV 000014bc: SWAP1 000014bd: JUMP 000014be: JUMPDEST 000014bf: PUSH1 0x00 000014c1: DUP3 000014c2: PUSH2 0x14cd 000014c5: JUMPI 000014c6: PUSH2 0x14cd 000014c9: PUSH2 0x147b 000014cc: JUMP 000014cd: JUMPDEST 000014ce: POP 000014cf: MOD 000014d0: SWAP1 000014d1: JUMP 000014d2: JUMPDEST 000014d3: PUSH1 0x00 000014d5: DUP2 000014d6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014f7: DIV 000014f8: DUP4 000014f9: GT 000014fa: DUP3 000014fb: ISZERO 000014fc: ISZERO 000014fd: AND 000014fe: ISZERO 000014ff: PUSH2 0x1531 00001502: JUMPI 00001503: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001524: PUSH1 0x00 00001526: MSTORE 00001527: PUSH1 0x11 00001529: PUSH1 0x04 0000152b: MSTORE 0000152c: PUSH1 0x24 0000152e: PUSH1 0x00 00001530: REVERT 00001531: JUMPDEST 00001532: POP 00001533: MUL 00001534: SWAP1 00001535: JUMP 00001536: JUMPDEST 00001537: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001558: PUSH1 0x00 0000155a: MSTORE 0000155b: PUSH1 0x21 0000155d: PUSH1 0x04 0000155f: MSTORE 00001560: PUSH1 0x24 00001562: PUSH1 0x00 00001564: REVERT 00001565: JUMPDEST 00001566: PUSH1 0x00 00001568: PUSH1 0x20 0000156a: DUP3 0000156b: DUP5 0000156c: SUB 0000156d: SLT 0000156e: ISZERO 0000156f: PUSH2 0x1577 00001572: JUMPI 00001573: PUSH1 0x00 00001575: DUP1 00001576: REVERT 00001577: JUMPDEST 00001578: DUP2 00001579: MLOAD 0000157a: DUP1 0000157b: ISZERO 0000157c: ISZERO 0000157d: DUP2 0000157e: EQ 0000157f: PUSH2 0x112d 00001582: JUMPI 00001583: PUSH1 0x00 00001585: DUP1 00001586: REVERT 00001587: JUMPDEST 00001588: PUSH1 0x00 0000158a: JUMPDEST 0000158b: DUP4 0000158c: DUP2 0000158d: LT 0000158e: ISZERO 0000158f: PUSH2 0x15a2 00001592: JUMPI 00001593: DUP2 00001594: DUP2 00001595: ADD 00001596: MLOAD 00001597: DUP4 00001598: DUP3 00001599: ADD 0000159a: MSTORE 0000159b: PUSH1 0x20 0000159d: ADD 0000159e: PUSH2 0x158a 000015a1: JUMP 000015a2: JUMPDEST 000015a3: DUP4 000015a4: DUP2 000015a5: GT 000015a6: ISZERO 000015a7: PUSH2 0x15b1 000015aa: JUMPI 000015ab: PUSH1 0x00 000015ad: DUP5 000015ae: DUP5 000015af: ADD 000015b0: MSTORE 000015b1: JUMPDEST 000015b2: POP 000015b3: POP 000015b4: POP 000015b5: POP 000015b6: JUMP 000015b7: JUMPDEST 000015b8: PUSH1 0x00 000015ba: DUP3 000015bb: MLOAD 000015bc: PUSH2 0x15c9 000015bf: DUP2 000015c0: DUP5 000015c1: PUSH1 0x20 000015c3: DUP8 000015c4: ADD 000015c5: PUSH2 0x1587 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP2 000015cb: SWAP1 000015cc: SWAP2 000015cd: ADD 000015ce: SWAP3 000015cf: SWAP2 000015d0: POP 000015d1: POP 000015d2: JUMP 000015d3: JUMPDEST 000015d4: PUSH1 0x20 000015d6: DUP2 000015d7: MSTORE 000015d8: PUSH1 0x00 000015da: DUP3 000015db: MLOAD 000015dc: DUP1 000015dd: PUSH1 0x20 000015df: DUP5 000015e0: ADD 000015e1: MSTORE 000015e2: PUSH2 0x15f2 000015e5: DUP2 000015e6: PUSH1 0x40 000015e8: DUP6 000015e9: ADD 000015ea: PUSH1 0x20 000015ec: DUP8 000015ed: ADD 000015ee: PUSH2 0x1587 000015f1: JUMP 000015f2: JUMPDEST 000015f3: PUSH1 0x1f 000015f5: ADD 000015f6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001617: AND 00001618: SWAP2 00001619: SWAP1 0000161a: SWAP2 0000161b: ADD 0000161c: PUSH1 0x40 0000161e: ADD 0000161f: SWAP3 00001620: SWAP2 00001621: POP 00001622: POP 00001623: JUMP 00001624: INVALID 00001625: LOG2 00001626: PUSH5 0x6970667358 0000162c: UNKNOWN(0x22) 0000162d: SLT 0000162e: KECCAK256 0000162f: UNKNOWN(0xF6) 00001630: UNKNOWN(0xA6) 00001631: PUSH2 0xa0e0 00001634: GT 00001635: SWAP1 00001636: UNKNOWN(0xBE) 00001637: PUSH13 0x89097b35f2212aa98fce8bc056 00001645: UNKNOWN(0x21) 00001646: BASEFEE 00001647: UNKNOWN(0x4B) 00001648: SWAP13 00001649: UNKNOWN(0xE0) 0000164a: UNKNOWN(0xEA) 0000164b: UNKNOWN(0xBE) 0000164c: UNKNOWN(0xEE) 0000164d: SWAP4 0000164e: EXP 0000164f: PUSH5 0x736f6c6343 00001655: STOP 00001656: ADDMOD 00001657: MULMOD 00001658: STOP 00001659: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb33302c7",
"selector": "0xb33302c7",
"calldata_variants": [
"0xb33302c7",
"0xb33302c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e34070f",
"selector": "0x9e34070f",
"calldata_variants": [
"0x9e34070f",
"0x9e34070f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x631c56ef",
"selector": "0x631c56ef",
"calldata_variants": [
"0x631c56ef",
"0x631c56ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3393,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2dd4c19d65c79109f2241e7cd258796059347315bd63955379c04e4507490958
call_targets:
0x9ce614c00427dc9c53ddf6e877fd2ff71be1b35d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2dd4c19d65c79109f2241e7cd258796059347315bd63955379c04e4507490958",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ce614c00427dc9c53ddf6e877fd2ff71be1b35d"
],
"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": "0xb33302c7",
"selector": "0xb33302c7",
"calldata_variants": [
"0xb33302c7",
"0xb33302c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e34070f",
"selector": "0x9e34070f",
"calldata_variants": [
"0x9e34070f",
"0x9e34070f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x631c56ef",
"selector": "0x631c56ef",
"calldata_variants": [
"0x631c56ef",
"0x631c56ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2697,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5080,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3393,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2dd4c19d65c79109f2241e7cd258796059347315bd63955379c04e4507490958
call_targets:
0x9ce614c00427dc9c53ddf6e877fd2ff71be1b35d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2dd4c19d65c79109f2241e7cd258796059347315bd63955379c04e4507490958",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ce614c00427dc9c53ddf6e877fd2ff71be1b35d"
],
"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": "0xb33302c7",
"selector": "0xb33302c7",
"calldata_variants": [
"0xb33302c7",
"0xb33302c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e34070f",
"selector": "0x9e34070f",
"calldata_variants": [
"0x9e34070f",
"0x9e34070f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x631c56ef",
"selector": "0x631c56ef",
"calldata_variants": [
"0x631c56ef",
"0x631c56ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2697,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5080,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3393,
"type": "tx_origin_used"
}
]
}
|