019b477e-cc0c-7268-98ec-a64e92142af9
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 |
|---|---|---|---|---|
| 26797 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26798 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91641 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91642 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91643 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91644 | 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 0x009c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x013b 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9038e693 0000002f: EQ 00000030: PUSH2 0x0163 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc002d23d 0000003a: EQ 0000003b: PUSH2 0x0178 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf0292a03 00000045: EQ 00000046: PUSH2 0x0194 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x01aa 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf4f2e880 0000005b: EQ 0000005c: PUSH2 0x01ca 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x22641df9 0000006b: EQ 0000006c: PUSH2 0x00a1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x6bab8f3d 00000076: EQ 00000077: PUSH2 0x00b6 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x71273bb7 00000081: EQ 00000082: PUSH2 0x00ee 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x715018a6 0000008c: EQ 0000008d: PUSH2 0x0111 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x7ecc2b56 00000097: EQ 00000098: PUSH2 0x0126 0000009b: JUMPI 0000009c: JUMPDEST 0000009d: PUSH1 0x00 0000009f: DUP1 000000a0: REVERT 000000a1: JUMPDEST 000000a2: PUSH2 0x00b4 000000a5: PUSH2 0x00af 000000a8: CALLDATASIZE 000000a9: PUSH1 0x04 000000ab: PUSH2 0x0e52 000000ae: JUMP 000000af: JUMPDEST 000000b0: PUSH2 0x01ea 000000b3: JUMP 000000b4: JUMPDEST 000000b5: STOP 000000b6: JUMPDEST 000000b7: CALLVALUE 000000b8: DUP1 000000b9: ISZERO 000000ba: PUSH2 0x00c2 000000bd: JUMPI 000000be: PUSH1 0x00 000000c0: DUP1 000000c1: REVERT 000000c2: JUMPDEST 000000c3: POP 000000c4: PUSH2 0x00d6 000000c7: PUSH2 0x00d1 000000ca: CALLDATASIZE 000000cb: PUSH1 0x04 000000cd: PUSH2 0x0eb7 000000d0: JUMP 000000d1: JUMPDEST 000000d2: PUSH2 0x0327 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH1 0x40 000000d9: MLOAD 000000da: PUSH2 0x00e5 000000dd: SWAP4 000000de: SWAP3 000000df: SWAP2 000000e0: SWAP1 000000e1: PUSH2 0x0f75 000000e4: JUMP 000000e5: JUMPDEST 000000e6: PUSH1 0x40 000000e8: MLOAD 000000e9: DUP1 000000ea: SWAP2 000000eb: SUB 000000ec: SWAP1 000000ed: RETURN 000000ee: JUMPDEST 000000ef: CALLVALUE 000000f0: DUP1 000000f1: ISZERO 000000f2: PUSH2 0x00fa 000000f5: JUMPI 000000f6: PUSH1 0x00 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: POP 000000fc: PUSH2 0x0103 000000ff: PUSH1 0x0a 00000101: DUP2 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH1 0x40 00000106: MLOAD 00000107: SWAP1 00000108: DUP2 00000109: MSTORE 0000010a: PUSH1 0x20 0000010c: ADD 0000010d: PUSH2 0x00e5 00000110: JUMP 00000111: JUMPDEST 00000112: CALLVALUE 00000113: DUP1 00000114: ISZERO 00000115: PUSH2 0x011d 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: POP 0000011f: PUSH2 0x00b4 00000122: PUSH2 0x04e4 00000125: JUMP 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0132 0000012d: JUMPI 0000012e: PUSH1 0x00 00000130: DUP1 00000131: REVERT 00000132: JUMPDEST 00000133: POP 00000134: PUSH2 0x0103 00000137: PUSH2 0x04f8 0000013a: JUMP 0000013b: JUMPDEST 0000013c: CALLVALUE 0000013d: DUP1 0000013e: ISZERO 0000013f: PUSH2 0x0147 00000142: JUMPI 00000143: PUSH1 0x00 00000145: DUP1 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: PUSH1 0x00 0000014b: SLOAD 0000014c: PUSH1 0x40 0000014e: MLOAD 0000014f: PUSH1 0x01 00000151: PUSH1 0x01 00000153: PUSH1 0xa0 00000155: SHL 00000156: SUB 00000157: SWAP1 00000158: SWAP2 00000159: AND 0000015a: DUP2 0000015b: MSTORE 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: PUSH2 0x00e5 00000162: JUMP 00000163: JUMPDEST 00000164: CALLVALUE 00000165: DUP1 00000166: ISZERO 00000167: PUSH2 0x016f 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: POP 00000171: PUSH2 0x00b4 00000174: PUSH2 0x051f 00000177: JUMP 00000178: JUMPDEST 00000179: CALLVALUE 0000017a: DUP1 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: POP 00000186: PUSH2 0x0103 00000189: PUSH8 0x011c37937e080000 00000192: DUP2 00000193: JUMP 00000194: JUMPDEST 00000195: CALLVALUE 00000196: DUP1 00000197: ISZERO 00000198: PUSH2 0x01a0 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: POP 000001a2: PUSH2 0x0103 000001a5: PUSH2 0x01f4 000001a8: DUP2 000001a9: JUMP 000001aa: JUMPDEST 000001ab: CALLVALUE 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: PUSH2 0x00b4 000001bb: PUSH2 0x01c5 000001be: CALLDATASIZE 000001bf: PUSH1 0x04 000001c1: PUSH2 0x0fab 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH2 0x05e0 000001c9: JUMP 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x00b4 000001db: PUSH2 0x01e5 000001de: CALLDATASIZE 000001df: PUSH1 0x04 000001e1: PUSH2 0x0fdb 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH2 0x0656 000001e9: JUMP 000001ea: JUMPDEST 000001eb: DUP1 000001ec: ISZERO 000001ed: DUP1 000001ee: PUSH2 0x01f7 000001f1: JUMPI 000001f2: POP 000001f3: PUSH1 0x0a 000001f5: DUP2 000001f6: GT 000001f7: JUMPDEST 000001f8: ISZERO 000001f9: PUSH2 0x0215 000001fc: JUMPI 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: PUSH4 0x162908e3 00000205: PUSH1 0xe1 00000207: SHL 00000208: DUP2 00000209: MSTORE 0000020a: PUSH1 0x04 0000020c: ADD 0000020d: PUSH1 0x40 0000020f: MLOAD 00000210: DUP1 00000211: SWAP2 00000212: SUB 00000213: SWAP1 00000214: REVERT 00000215: JUMPDEST 00000216: PUSH2 0x0227 00000219: DUP2 0000021a: PUSH8 0x011c37937e080000 00000223: PUSH2 0x1094 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: EQ 0000022a: PUSH2 0x0245 0000022d: JUMPI 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: PUSH3 0xbfc921 00000235: PUSH1 0xe0 00000237: SHL 00000238: DUP2 00000239: MSTORE 0000023a: PUSH1 0x04 0000023c: ADD 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: SWAP2 00000242: SUB 00000243: SWAP1 00000244: REVERT 00000245: JUMPDEST 00000246: PUSH1 0x01 00000248: SLOAD 00000249: DUP2 0000024a: ADD 0000024b: PUSH2 0x01f4 0000024e: DUP2 0000024f: GT 00000250: ISZERO 00000251: PUSH2 0x026d 00000254: JUMPI 00000255: PUSH1 0x40 00000257: MLOAD 00000258: PUSH4 0x52df9fe5 0000025d: PUSH1 0xe0 0000025f: SHL 00000260: DUP2 00000261: MSTORE 00000262: PUSH1 0x04 00000264: ADD 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: DUP1 0000026f: PUSH1 0x01 00000271: DUP2 00000272: SWAP1 00000273: SSTORE 00000274: POP 00000275: POP 00000276: PUSH1 0x00 00000278: DUP1 00000279: PUSH1 0x00 0000027b: PUSH2 0x0286 0000027e: DUP5 0000027f: PUSH1 0x02 00000281: SLOAD 00000282: PUSH2 0x0785 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x02 00000289: DUP2 0000028a: SWAP1 0000028b: SSTORE 0000028c: PUSH1 0x40 0000028e: DUP1 0000028f: MLOAD 00000290: PUSH1 0x00 00000292: DUP2 00000293: MSTORE 00000294: PUSH1 0x20 00000296: DUP2 00000297: ADD 00000298: SWAP2 00000299: DUP3 0000029a: SWAP1 0000029b: MSTORE 0000029c: PUSH4 0xd53448f9 000002a1: PUSH1 0xe0 000002a3: SHL 000002a4: SWAP1 000002a5: SWAP2 000002a6: MSTORE 000002a7: SWAP3 000002a8: SWAP6 000002a9: POP 000002aa: SWAP1 000002ab: SWAP4 000002ac: POP 000002ad: SWAP2 000002ae: POP 000002af: PUSH1 0x01 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: SHL 000002b6: SUB 000002b7: PUSH32 0x000000000000000000000000e23be8fde000ddd8fd2726f396d2444246169fe5 000002d8: AND 000002d9: PUSH4 0xd53448f9 000002de: PUSH2 0x02ee 000002e1: CALLER 000002e2: DUP8 000002e3: DUP8 000002e4: DUP7 000002e5: DUP1 000002e6: PUSH1 0x24 000002e8: DUP2 000002e9: ADD 000002ea: PUSH2 0x10fc 000002ed: JUMP 000002ee: JUMPDEST 000002ef: PUSH1 0x00 000002f1: PUSH1 0x40 000002f3: MLOAD 000002f4: DUP1 000002f5: DUP4 000002f6: SUB 000002f7: DUP2 000002f8: PUSH1 0x00 000002fa: DUP8 000002fb: DUP1 000002fc: EXTCODESIZE 000002fd: ISZERO 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: GAS 0000030b: CALL 0000030c: ISZERO 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x031c 00000312: JUMPI 00000313: RETURNDATASIZE 00000314: PUSH1 0x00 00000316: DUP1 00000317: RETURNDATACOPY 00000318: RETURNDATASIZE 00000319: PUSH1 0x00 0000031b: REVERT 0000031c: JUMPDEST 0000031d: POP 0000031e: POP 0000031f: POP 00000320: POP 00000321: POP 00000322: POP 00000323: POP 00000324: POP 00000325: POP 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH1 0x60 0000032a: DUP1 0000032b: PUSH1 0x00 0000032d: PUSH2 0x0334 00000330: PUSH2 0x0975 00000333: JUMP 00000334: JUMPDEST 00000335: DUP4 00000336: PUSH8 0xffffffffffffffff 0000033f: DUP2 00000340: GT 00000341: ISZERO 00000342: PUSH2 0x034d 00000345: JUMPI 00000346: PUSH2 0x034d 00000349: PUSH2 0x10ab 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: SWAP1 00000352: DUP1 00000353: DUP3 00000354: MSTORE 00000355: DUP1 00000356: PUSH1 0x20 00000358: MUL 00000359: PUSH1 0x20 0000035b: ADD 0000035c: DUP3 0000035d: ADD 0000035e: PUSH1 0x40 00000360: MSTORE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x0380 00000366: JUMPI 00000367: DUP2 00000368: PUSH1 0x20 0000036a: ADD 0000036b: JUMPDEST 0000036c: PUSH1 0x60 0000036e: DUP2 0000036f: MSTORE 00000370: PUSH1 0x20 00000372: ADD 00000373: SWAP1 00000374: PUSH1 0x01 00000376: SWAP1 00000377: SUB 00000378: SWAP1 00000379: DUP2 0000037a: PUSH2 0x036b 0000037d: JUMPI 0000037e: SWAP1 0000037f: POP 00000380: JUMPDEST 00000381: POP 00000382: SWAP3 00000383: POP 00000384: DUP4 00000385: PUSH8 0xffffffffffffffff 0000038e: DUP2 0000038f: GT 00000390: ISZERO 00000391: PUSH2 0x039c 00000394: JUMPI 00000395: PUSH2 0x039c 00000398: PUSH2 0x10ab 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x40 0000039f: MLOAD 000003a0: SWAP1 000003a1: DUP1 000003a2: DUP3 000003a3: MSTORE 000003a4: DUP1 000003a5: PUSH1 0x20 000003a7: MUL 000003a8: PUSH1 0x20 000003aa: ADD 000003ab: DUP3 000003ac: ADD 000003ad: PUSH1 0x40 000003af: MSTORE 000003b0: DUP1 000003b1: ISZERO 000003b2: PUSH2 0x03cf 000003b5: JUMPI 000003b6: DUP2 000003b7: PUSH1 0x20 000003b9: ADD 000003ba: JUMPDEST 000003bb: PUSH1 0x60 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: SWAP1 000003c3: PUSH1 0x01 000003c5: SWAP1 000003c6: SUB 000003c7: SWAP1 000003c8: DUP2 000003c9: PUSH2 0x03ba 000003cc: JUMPI 000003cd: SWAP1 000003ce: POP 000003cf: JUMPDEST 000003d0: POP 000003d1: PUSH1 0x02 000003d3: SLOAD 000003d4: SWAP1 000003d5: SWAP3 000003d6: POP 000003d7: PUSH1 0x00 000003d9: JUMPDEST 000003da: DUP6 000003db: DUP2 000003dc: LT 000003dd: ISZERO 000003de: PUSH2 0x04d8 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: PUSH2 0x0412 000003e7: DUP9 000003e8: DUP9 000003e9: DUP5 000003ea: DUP2 000003eb: DUP2 000003ec: LT 000003ed: PUSH2 0x03f8 000003f0: JUMPI 000003f1: PUSH2 0x03f8 000003f4: PUSH2 0x1166 000003f7: JUMP 000003f8: JUMPDEST 000003f9: SWAP1 000003fa: POP 000003fb: PUSH1 0x20 000003fd: MUL 000003fe: ADD 000003ff: PUSH1 0x20 00000401: DUP2 00000402: ADD 00000403: SWAP1 00000404: PUSH2 0x040d 00000407: SWAP2 00000408: SWAP1 00000409: PUSH2 0x0fab 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH2 0x09cf 00000411: JUMP 00000412: JUMPDEST 00000413: SWAP1 00000414: POP 00000415: DUP1 00000416: PUSH1 0x00 00000418: SUB 00000419: PUSH2 0x046d 0000041c: JUMPI 0000041d: DUP8 0000041e: DUP8 0000041f: DUP4 00000420: DUP2 00000421: DUP2 00000422: LT 00000423: PUSH2 0x042e 00000426: JUMPI 00000427: PUSH2 0x042e 0000042a: PUSH2 0x1166 0000042d: JUMP 0000042e: JUMPDEST 0000042f: SWAP1 00000430: POP 00000431: PUSH1 0x20 00000433: MUL 00000434: ADD 00000435: PUSH1 0x20 00000437: DUP2 00000438: ADD 00000439: SWAP1 0000043a: PUSH2 0x0443 0000043d: SWAP2 0000043e: SWAP1 0000043f: PUSH2 0x0fab 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH1 0x40 00000446: MLOAD 00000447: PUSH4 0xb0526a29 0000044c: PUSH1 0xe0 0000044e: SHL 0000044f: DUP2 00000450: MSTORE 00000451: PUSH1 0x01 00000453: PUSH1 0x01 00000455: PUSH1 0xa0 00000457: SHL 00000458: SUB 00000459: SWAP1 0000045a: SWAP2 0000045b: AND 0000045c: PUSH1 0x04 0000045e: DUP3 0000045f: ADD 00000460: MSTORE 00000461: PUSH1 0x24 00000463: ADD 00000464: JUMPDEST 00000465: PUSH1 0x40 00000467: MLOAD 00000468: DUP1 00000469: SWAP2 0000046a: SUB 0000046b: SWAP1 0000046c: REVERT 0000046d: JUMPDEST 0000046e: PUSH1 0x00 00000470: DUP1 00000471: PUSH1 0x00 00000473: PUSH2 0x047c 00000476: DUP5 00000477: DUP8 00000478: PUSH2 0x0785 0000047b: JUMP 0000047c: JUMPDEST 0000047d: SWAP3 0000047e: POP 0000047f: SWAP3 00000480: POP 00000481: SWAP3 00000482: POP 00000483: DUP3 00000484: DUP10 00000485: DUP7 00000486: DUP2 00000487: MLOAD 00000488: DUP2 00000489: LT 0000048a: PUSH2 0x0495 0000048d: JUMPI 0000048e: PUSH2 0x0495 00000491: PUSH2 0x1166 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x20 00000498: MUL 00000499: PUSH1 0x20 0000049b: ADD 0000049c: ADD 0000049d: DUP2 0000049e: SWAP1 0000049f: MSTORE 000004a0: POP 000004a1: DUP2 000004a2: DUP9 000004a3: DUP7 000004a4: DUP2 000004a5: MLOAD 000004a6: DUP2 000004a7: LT 000004a8: PUSH2 0x04b3 000004ab: JUMPI 000004ac: PUSH2 0x04b3 000004af: PUSH2 0x1166 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x20 000004b6: MUL 000004b7: PUSH1 0x20 000004b9: ADD 000004ba: ADD 000004bb: DUP2 000004bc: SWAP1 000004bd: MSTORE 000004be: POP 000004bf: DUP1 000004c0: SWAP6 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: DUP1 000004c7: DUP1 000004c8: PUSH2 0x04d0 000004cb: SWAP1 000004cc: PUSH2 0x117c 000004cf: JUMP 000004d0: JUMPDEST 000004d1: SWAP2 000004d2: POP 000004d3: POP 000004d4: PUSH2 0x03d9 000004d7: JUMP 000004d8: JUMPDEST 000004d9: POP 000004da: DUP1 000004db: SWAP2 000004dc: POP 000004dd: POP 000004de: SWAP3 000004df: POP 000004e0: SWAP3 000004e1: POP 000004e2: SWAP3 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH2 0x04ec 000004e8: PUSH2 0x0975 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH2 0x04f6 000004f0: PUSH1 0x00 000004f2: PUSH2 0x0c45 000004f5: JUMP 000004f6: JUMPDEST 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH1 0x00 000004fb: PUSH2 0x01f4 000004fe: PUSH1 0x01 00000500: SLOAD 00000501: LT 00000502: PUSH2 0x050b 00000505: JUMPI 00000506: POP 00000507: PUSH1 0x00 00000509: SWAP1 0000050a: JUMP 0000050b: JUMPDEST 0000050c: PUSH1 0x01 0000050e: SLOAD 0000050f: PUSH2 0x051a 00000512: SWAP1 00000513: PUSH2 0x01f4 00000516: PUSH2 0x1195 00000519: JUMP 0000051a: JUMPDEST 0000051b: SWAP1 0000051c: POP 0000051d: SWAP1 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x00 00000522: SLOAD 00000523: PUSH1 0x01 00000525: PUSH1 0x01 00000527: PUSH1 0xa0 00000529: SHL 0000052a: SUB 0000052b: AND 0000052c: CALLER 0000052d: EQ 0000052e: DUP1 0000052f: PUSH2 0x0560 00000532: JUMPI 00000533: POP 00000534: PUSH32 0x000000000000000000000000908b8d58d22eab6209e9752918213a95baa229ab 00000555: PUSH1 0x01 00000557: PUSH1 0x01 00000559: PUSH1 0xa0 0000055b: SHL 0000055c: SUB 0000055d: AND 0000055e: CALLER 0000055f: EQ 00000560: JUMPDEST 00000561: PUSH2 0x05ac 00000564: JUMPI 00000565: PUSH1 0x40 00000567: MLOAD 00000568: PUSH3 0x461bcd 0000056c: PUSH1 0xe5 0000056e: SHL 0000056f: DUP2 00000570: MSTORE 00000571: PUSH1 0x20 00000573: PUSH1 0x04 00000575: DUP3 00000576: ADD 00000577: DUP2 00000578: SWAP1 00000579: MSTORE 0000057a: PUSH1 0x24 0000057c: DUP3 0000057d: ADD 0000057e: MSTORE 0000057f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005a0: PUSH1 0x44 000005a2: DUP3 000005a3: ADD 000005a4: MSTORE 000005a5: PUSH1 0x64 000005a7: ADD 000005a8: PUSH2 0x0464 000005ab: JUMP 000005ac: JUMPDEST 000005ad: SELFBALANCE 000005ae: DUP1 000005af: ISZERO 000005b0: PUSH2 0x05dd 000005b3: JUMPI 000005b4: PUSH2 0x05dd 000005b7: PUSH32 0x000000000000000000000000908b8d58d22eab6209e9752918213a95baa229ab 000005d8: DUP3 000005d9: PUSH2 0x0c95 000005dc: JUMP 000005dd: JUMPDEST 000005de: POP 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH2 0x05e8 000005e4: PUSH2 0x0975 000005e7: JUMP 000005e8: JUMPDEST 000005e9: PUSH1 0x01 000005eb: PUSH1 0x01 000005ed: PUSH1 0xa0 000005ef: SHL 000005f0: SUB 000005f1: DUP2 000005f2: AND 000005f3: PUSH2 0x064d 000005f6: JUMPI 000005f7: PUSH1 0x40 000005f9: MLOAD 000005fa: PUSH3 0x461bcd 000005fe: PUSH1 0xe5 00000600: SHL 00000601: DUP2 00000602: MSTORE 00000603: PUSH1 0x20 00000605: PUSH1 0x04 00000607: DUP3 00000608: ADD 00000609: MSTORE 0000060a: PUSH1 0x26 0000060c: PUSH1 0x24 0000060e: DUP3 0000060f: ADD 00000610: MSTORE 00000611: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000632: PUSH1 0x44 00000634: DUP3 00000635: ADD 00000636: MSTORE 00000637: PUSH6 0x646472657373 0000063e: PUSH1 0xd0 00000640: SHL 00000641: PUSH1 0x64 00000643: DUP3 00000644: ADD 00000645: MSTORE 00000646: PUSH1 0x84 00000648: ADD 00000649: PUSH2 0x0464 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH2 0x05dd 00000651: DUP2 00000652: PUSH2 0x0c45 00000655: JUMP 00000656: JUMPDEST 00000657: PUSH2 0x065e 0000065a: PUSH2 0x0975 0000065d: JUMP 0000065e: JUMPDEST 0000065f: PUSH1 0x40 00000661: DUP1 00000662: MLOAD 00000663: PUSH1 0x00 00000665: DUP1 00000666: DUP3 00000667: MSTORE 00000668: PUSH1 0x20 0000066a: DUP3 0000066b: ADD 0000066c: SWAP1 0000066d: SWAP3 0000066e: MSTORE 0000066f: SWAP1 00000670: JUMPDEST 00000671: DUP8 00000672: DUP2 00000673: LT 00000674: ISZERO 00000675: PUSH2 0x0778 00000678: JUMPI 00000679: PUSH32 0x000000000000000000000000e23be8fde000ddd8fd2726f396d2444246169fe5 0000069a: PUSH1 0x01 0000069c: PUSH1 0x01 0000069e: PUSH1 0xa0 000006a0: SHL 000006a1: SUB 000006a2: AND 000006a3: PUSH4 0xd53448f9 000006a8: DUP11 000006a9: DUP11 000006aa: DUP5 000006ab: DUP2 000006ac: DUP2 000006ad: LT 000006ae: PUSH2 0x06b9 000006b1: JUMPI 000006b2: PUSH2 0x06b9 000006b5: PUSH2 0x1166 000006b8: JUMP 000006b9: JUMPDEST 000006ba: SWAP1 000006bb: POP 000006bc: PUSH1 0x20 000006be: MUL 000006bf: ADD 000006c0: PUSH1 0x20 000006c2: DUP2 000006c3: ADD 000006c4: SWAP1 000006c5: PUSH2 0x06ce 000006c8: SWAP2 000006c9: SWAP1 000006ca: PUSH2 0x0fab 000006cd: JUMP 000006ce: JUMPDEST 000006cf: DUP10 000006d0: DUP10 000006d1: DUP6 000006d2: DUP2 000006d3: DUP2 000006d4: LT 000006d5: PUSH2 0x06e0 000006d8: JUMPI 000006d9: PUSH2 0x06e0 000006dc: PUSH2 0x1166 000006df: JUMP 000006e0: JUMPDEST 000006e1: SWAP1 000006e2: POP 000006e3: PUSH1 0x20 000006e5: MUL 000006e6: DUP2 000006e7: ADD 000006e8: SWAP1 000006e9: PUSH2 0x06f2 000006ec: SWAP2 000006ed: SWAP1 000006ee: PUSH2 0x11a8 000006f1: JUMP 000006f2: JUMPDEST 000006f3: DUP10 000006f4: DUP10 000006f5: DUP8 000006f6: DUP2 000006f7: DUP2 000006f8: LT 000006f9: PUSH2 0x0704 000006fc: JUMPI 000006fd: PUSH2 0x0704 00000700: PUSH2 0x1166 00000703: JUMP 00000704: JUMPDEST 00000705: SWAP1 00000706: POP 00000707: PUSH1 0x20 00000709: MUL 0000070a: DUP2 0000070b: ADD 0000070c: SWAP1 0000070d: PUSH2 0x0716 00000710: SWAP2 00000711: SWAP1 00000712: PUSH2 0x11a8 00000715: JUMP 00000716: JUMPDEST 00000717: DUP9 00000718: DUP10 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP9 0000071d: PUSH4 0xffffffff 00000722: AND 00000723: PUSH1 0xe0 00000725: SHL 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x04 0000072a: ADD 0000072b: PUSH2 0x073a 0000072e: SWAP8 0000072f: SWAP7 00000730: SWAP6 00000731: SWAP5 00000732: SWAP4 00000733: SWAP3 00000734: SWAP2 00000735: SWAP1 00000736: PUSH2 0x1224 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x00 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: DUP1 00000741: DUP4 00000742: SUB 00000743: DUP2 00000744: PUSH1 0x00 00000746: DUP8 00000747: DUP1 00000748: EXTCODESIZE 00000749: ISZERO 0000074a: DUP1 0000074b: ISZERO 0000074c: PUSH2 0x0754 0000074f: JUMPI 00000750: PUSH1 0x00 00000752: DUP1 00000753: REVERT 00000754: JUMPDEST 00000755: POP 00000756: GAS 00000757: CALL 00000758: ISZERO 00000759: DUP1 0000075a: ISZERO 0000075b: PUSH2 0x0768 0000075e: JUMPI 0000075f: RETURNDATASIZE 00000760: PUSH1 0x00 00000762: DUP1 00000763: RETURNDATACOPY 00000764: RETURNDATASIZE 00000765: PUSH1 0x00 00000767: REVERT 00000768: JUMPDEST 00000769: POP 0000076a: POP 0000076b: PUSH1 0x01 0000076d: SWAP1 0000076e: SWAP3 0000076f: ADD 00000770: SWAP2 00000771: POP 00000772: PUSH2 0x0670 00000775: SWAP1 00000776: POP 00000777: JUMP 00000778: JUMPDEST 00000779: POP 0000077a: POP 0000077b: PUSH1 0x02 0000077d: SSTORE 0000077e: POP 0000077f: POP 00000780: POP 00000781: POP 00000782: POP 00000783: POP 00000784: JUMP 00000785: JUMPDEST 00000786: PUSH1 0x60 00000788: DUP1 00000789: PUSH1 0x00 0000078b: DUP1 0000078c: PUSH2 0x0794 0000078f: DUP6 00000790: PUSH2 0x0db3 00000793: JUMP 00000794: JUMPDEST 00000795: PUSH1 0x40 00000797: DUP1 00000798: MLOAD 00000799: PUSH1 0x80 0000079b: DUP2 0000079c: ADD 0000079d: DUP3 0000079e: MSTORE 0000079f: PUSH1 0x00 000007a1: DUP1 000007a2: DUP3 000007a3: MSTORE 000007a4: PUSH1 0x20 000007a6: DUP3 000007a7: ADD 000007a8: DUP2 000007a9: SWAP1 000007aa: MSTORE 000007ab: SWAP2 000007ac: DUP2 000007ad: ADD 000007ae: DUP3 000007af: SWAP1 000007b0: MSTORE 000007b1: PUSH1 0x60 000007b3: DUP2 000007b4: ADD 000007b5: DUP3 000007b6: SWAP1 000007b7: MSTORE 000007b8: SWAP2 000007b9: SWAP3 000007ba: POP 000007bb: SWAP1 000007bc: DUP2 000007bd: JUMPDEST 000007be: DUP9 000007bf: DUP2 000007c0: LT 000007c1: ISZERO 000007c2: PUSH2 0x083e 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: PUSH2 0x07e2 000007cb: DUP6 000007cc: DUP4 000007cd: PUSH1 0x20 000007cf: DUP2 000007d0: LT 000007d1: PUSH2 0x07dc 000007d4: JUMPI 000007d5: PUSH2 0x07dc 000007d8: PUSH2 0x1166 000007db: JUMP 000007dc: JUMPDEST 000007dd: BYTE 000007de: PUSH2 0x0e0c 000007e1: JUMP 000007e2: JUMPDEST 000007e3: SWAP1 000007e4: POP 000007e5: PUSH1 0x00 000007e7: DUP4 000007e8: DUP3 000007e9: PUSH1 0x04 000007eb: DUP2 000007ec: LT 000007ed: PUSH2 0x07f8 000007f0: JUMPI 000007f1: PUSH2 0x07f8 000007f4: PUSH2 0x1166 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x20 000007fb: MUL 000007fc: ADD 000007fd: MLOAD 000007fe: PUSH1 0xff 00000800: AND 00000801: SWAP1 00000802: POP 00000803: DUP1 00000804: PUSH1 0x00 00000806: SUB 00000807: PUSH2 0x0811 0000080a: JUMPI 0000080b: DUP5 0000080c: PUSH1 0x01 0000080e: ADD 0000080f: SWAP5 00000810: POP 00000811: JUMPDEST 00000812: DUP1 00000813: PUSH1 0x01 00000815: ADD 00000816: DUP5 00000817: DUP4 00000818: PUSH1 0x04 0000081a: DUP2 0000081b: LT 0000081c: PUSH2 0x0827 0000081f: JUMPI 00000820: PUSH2 0x0827 00000823: PUSH2 0x1166 00000826: JUMP 00000827: JUMPDEST 00000828: PUSH1 0xff 0000082a: SWAP1 0000082b: SWAP3 0000082c: AND 0000082d: PUSH1 0x20 0000082f: SWAP3 00000830: SWAP1 00000831: SWAP3 00000832: MUL 00000833: ADD 00000834: MSTORE 00000835: POP 00000836: POP 00000837: PUSH1 0x01 00000839: ADD 0000083a: PUSH2 0x07bd 0000083d: JUMP 0000083e: JUMPDEST 0000083f: POP 00000840: DUP2 00000841: PUSH8 0xffffffffffffffff 0000084a: DUP2 0000084b: GT 0000084c: ISZERO 0000084d: PUSH2 0x0858 00000850: JUMPI 00000851: PUSH2 0x0858 00000854: PUSH2 0x10ab 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x40 0000085b: MLOAD 0000085c: SWAP1 0000085d: DUP1 0000085e: DUP3 0000085f: MSTORE 00000860: DUP1 00000861: PUSH1 0x20 00000863: MUL 00000864: PUSH1 0x20 00000866: ADD 00000867: DUP3 00000868: ADD 00000869: PUSH1 0x40 0000086b: MSTORE 0000086c: DUP1 0000086d: ISZERO 0000086e: PUSH2 0x0881 00000871: JUMPI 00000872: DUP2 00000873: PUSH1 0x20 00000875: ADD 00000876: PUSH1 0x20 00000878: DUP3 00000879: MUL 0000087a: DUP1 0000087b: CALLDATASIZE 0000087c: DUP4 0000087d: CALLDATACOPY 0000087e: ADD 0000087f: SWAP1 00000880: POP 00000881: JUMPDEST 00000882: POP 00000883: SWAP6 00000884: POP 00000885: DUP2 00000886: PUSH8 0xffffffffffffffff 0000088f: DUP2 00000890: GT 00000891: ISZERO 00000892: PUSH2 0x089d 00000895: JUMPI 00000896: PUSH2 0x089d 00000899: PUSH2 0x10ab 0000089c: JUMP 0000089d: JUMPDEST 0000089e: PUSH1 0x40 000008a0: MLOAD 000008a1: SWAP1 000008a2: DUP1 000008a3: DUP3 000008a4: MSTORE 000008a5: DUP1 000008a6: PUSH1 0x20 000008a8: MUL 000008a9: PUSH1 0x20 000008ab: ADD 000008ac: DUP3 000008ad: ADD 000008ae: PUSH1 0x40 000008b0: MSTORE 000008b1: DUP1 000008b2: ISZERO 000008b3: PUSH2 0x08c6 000008b6: JUMPI 000008b7: DUP2 000008b8: PUSH1 0x20 000008ba: ADD 000008bb: PUSH1 0x20 000008bd: DUP3 000008be: MUL 000008bf: DUP1 000008c0: CALLDATASIZE 000008c1: DUP4 000008c2: CALLDATACOPY 000008c3: ADD 000008c4: SWAP1 000008c5: POP 000008c6: JUMPDEST 000008c7: POP 000008c8: SWAP5 000008c9: POP 000008ca: PUSH1 0x00 000008cc: SWAP2 000008cd: POP 000008ce: PUSH1 0x00 000008d0: JUMPDEST 000008d1: PUSH1 0x04 000008d3: DUP2 000008d4: LT 000008d5: ISZERO 000008d6: PUSH2 0x0964 000008d9: JUMPI 000008da: PUSH1 0x00 000008dc: DUP3 000008dd: DUP3 000008de: PUSH1 0x04 000008e0: DUP2 000008e1: LT 000008e2: PUSH2 0x08ed 000008e5: JUMPI 000008e6: PUSH2 0x08ed 000008e9: PUSH2 0x1166 000008ec: JUMP 000008ed: JUMPDEST 000008ee: PUSH1 0x20 000008f0: MUL 000008f1: ADD 000008f2: MLOAD 000008f3: PUSH1 0xff 000008f5: AND 000008f6: SWAP1 000008f7: POP 000008f8: DUP1 000008f9: PUSH1 0x00 000008fb: SUB 000008fc: PUSH2 0x0905 000008ff: JUMPI 00000900: POP 00000901: PUSH2 0x095c 00000904: JUMP 00000905: JUMPDEST 00000906: DUP2 00000907: PUSH1 0x08 00000909: ADD 0000090a: DUP9 0000090b: DUP6 0000090c: DUP2 0000090d: MLOAD 0000090e: DUP2 0000090f: LT 00000910: PUSH2 0x091b 00000913: JUMPI 00000914: PUSH2 0x091b 00000917: PUSH2 0x1166 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH1 0x20 0000091e: MUL 0000091f: PUSH1 0x20 00000921: ADD 00000922: ADD 00000923: DUP2 00000924: DUP2 00000925: MSTORE 00000926: POP 00000927: POP 00000928: DUP1 00000929: DUP8 0000092a: DUP6 0000092b: DUP2 0000092c: MLOAD 0000092d: DUP2 0000092e: LT 0000092f: PUSH2 0x093a 00000932: JUMPI 00000933: PUSH2 0x093a 00000936: PUSH2 0x1166 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x20 0000093d: MUL 0000093e: PUSH1 0x20 00000940: ADD 00000941: ADD 00000942: DUP2 00000943: DUP2 00000944: MSTORE 00000945: POP 00000946: POP 00000947: DUP8 00000948: MLOAD 00000949: DUP5 0000094a: PUSH1 0x01 0000094c: ADD 0000094d: SWAP5 0000094e: POP 0000094f: DUP5 00000950: SUB 00000951: PUSH2 0x095a 00000954: JUMPI 00000955: POP 00000956: PUSH2 0x0964 00000959: JUMP 0000095a: JUMPDEST 0000095b: POP 0000095c: JUMPDEST 0000095d: PUSH1 0x01 0000095f: ADD 00000960: PUSH2 0x08d0 00000963: JUMP 00000964: JUMPDEST 00000965: POP 00000966: DUP3 00000967: PUSH1 0x00 00000969: SHR 0000096a: SWAP4 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: POP 0000096f: SWAP3 00000970: POP 00000971: SWAP3 00000972: POP 00000973: SWAP3 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x00 00000978: SLOAD 00000979: PUSH1 0x01 0000097b: PUSH1 0x01 0000097d: PUSH1 0xa0 0000097f: SHL 00000980: SUB 00000981: AND 00000982: CALLER 00000983: EQ 00000984: PUSH2 0x04f6 00000987: JUMPI 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: PUSH3 0x461bcd 0000098f: PUSH1 0xe5 00000991: SHL 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x20 00000996: PUSH1 0x04 00000998: DUP3 00000999: ADD 0000099a: DUP2 0000099b: SWAP1 0000099c: MSTORE 0000099d: PUSH1 0x24 0000099f: DUP3 000009a0: ADD 000009a1: MSTORE 000009a2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000009c3: PUSH1 0x44 000009c5: DUP3 000009c6: ADD 000009c7: MSTORE 000009c8: PUSH1 0x64 000009ca: ADD 000009cb: PUSH2 0x0464 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH1 0x40 000009d2: MLOAD 000009d3: PUSH3 0x7eeac7 000009d7: PUSH1 0xe1 000009d9: SHL 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x01 000009de: PUSH1 0x01 000009e0: PUSH1 0xa0 000009e2: SHL 000009e3: SUB 000009e4: DUP3 000009e5: DUP2 000009e6: AND 000009e7: PUSH1 0x04 000009e9: DUP1 000009ea: DUP5 000009eb: ADD 000009ec: SWAP2 000009ed: SWAP1 000009ee: SWAP2 000009ef: MSTORE 000009f0: PUSH1 0x24 000009f2: DUP4 000009f3: ADD 000009f4: MSTORE 000009f5: PUSH1 0x00 000009f7: SWAP2 000009f8: PUSH32 0x000000000000000000000000e23be8fde000ddd8fd2726f396d2444246169fe5 00000a19: SWAP1 00000a1a: SWAP2 00000a1b: AND 00000a1c: SWAP1 00000a1d: PUSH3 0xfdd58e 00000a21: SWAP1 00000a22: PUSH1 0x44 00000a24: ADD 00000a25: PUSH1 0x20 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: DUP1 00000a2b: DUP4 00000a2c: SUB 00000a2d: DUP2 00000a2e: DUP7 00000a2f: GAS 00000a30: STATICCALL 00000a31: ISZERO 00000a32: DUP1 00000a33: ISZERO 00000a34: PUSH2 0x0a41 00000a37: JUMPI 00000a38: RETURNDATASIZE 00000a39: PUSH1 0x00 00000a3b: DUP1 00000a3c: RETURNDATACOPY 00000a3d: RETURNDATASIZE 00000a3e: PUSH1 0x00 00000a40: REVERT 00000a41: JUMPDEST 00000a42: POP 00000a43: POP 00000a44: POP 00000a45: POP 00000a46: PUSH1 0x40 00000a48: MLOAD 00000a49: RETURNDATASIZE 00000a4a: PUSH1 0x1f 00000a4c: NOT 00000a4d: PUSH1 0x1f 00000a4f: DUP3 00000a50: ADD 00000a51: AND 00000a52: DUP3 00000a53: ADD 00000a54: DUP1 00000a55: PUSH1 0x40 00000a57: MSTORE 00000a58: POP 00000a59: DUP2 00000a5a: ADD 00000a5b: SWAP1 00000a5c: PUSH2 0x0a65 00000a5f: SWAP2 00000a60: SWAP1 00000a61: PUSH2 0x1292 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH1 0x40 00000a68: MLOAD 00000a69: PUSH3 0x7eeac7 00000a6d: PUSH1 0xe1 00000a6f: SHL 00000a70: DUP2 00000a71: MSTORE 00000a72: PUSH1 0x01 00000a74: PUSH1 0x01 00000a76: PUSH1 0xa0 00000a78: SHL 00000a79: SUB 00000a7a: DUP5 00000a7b: DUP2 00000a7c: AND 00000a7d: PUSH1 0x04 00000a7f: DUP4 00000a80: ADD 00000a81: MSTORE 00000a82: PUSH1 0x05 00000a84: PUSH1 0x24 00000a86: DUP4 00000a87: ADD 00000a88: MSTORE 00000a89: SWAP2 00000a8a: SWAP3 00000a8b: POP 00000a8c: PUSH32 0x000000000000000000000000e23be8fde000ddd8fd2726f396d2444246169fe5 00000aad: SWAP1 00000aae: SWAP2 00000aaf: AND 00000ab0: SWAP1 00000ab1: PUSH3 0xfdd58e 00000ab5: SWAP1 00000ab6: PUSH1 0x44 00000ab8: ADD 00000ab9: PUSH1 0x20 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: DUP1 00000abf: DUP4 00000ac0: SUB 00000ac1: DUP2 00000ac2: DUP7 00000ac3: GAS 00000ac4: STATICCALL 00000ac5: ISZERO 00000ac6: DUP1 00000ac7: ISZERO 00000ac8: PUSH2 0x0ad5 00000acb: JUMPI 00000acc: RETURNDATASIZE 00000acd: PUSH1 0x00 00000acf: DUP1 00000ad0: RETURNDATACOPY 00000ad1: RETURNDATASIZE 00000ad2: PUSH1 0x00 00000ad4: REVERT 00000ad5: JUMPDEST 00000ad6: POP 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: PUSH1 0x40 00000adc: MLOAD 00000add: RETURNDATASIZE 00000ade: PUSH1 0x1f 00000ae0: NOT 00000ae1: PUSH1 0x1f 00000ae3: DUP3 00000ae4: ADD 00000ae5: AND 00000ae6: DUP3 00000ae7: ADD 00000ae8: DUP1 00000ae9: PUSH1 0x40 00000aeb: MSTORE 00000aec: POP 00000aed: DUP2 00000aee: ADD 00000aef: SWAP1 00000af0: PUSH2 0x0af9 00000af3: SWAP2 00000af4: SWAP1 00000af5: PUSH2 0x1292 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH2 0x0b03 00000afd: SWAP1 00000afe: DUP3 00000aff: PUSH2 0x12ab 00000b02: JUMP 00000b03: JUMPDEST 00000b04: PUSH1 0x40 00000b06: MLOAD 00000b07: PUSH3 0x7eeac7 00000b0b: PUSH1 0xe1 00000b0d: SHL 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0x01 00000b12: PUSH1 0x01 00000b14: PUSH1 0xa0 00000b16: SHL 00000b17: SUB 00000b18: DUP5 00000b19: DUP2 00000b1a: AND 00000b1b: PUSH1 0x04 00000b1d: DUP4 00000b1e: ADD 00000b1f: MSTORE 00000b20: PUSH1 0x06 00000b22: PUSH1 0x24 00000b24: DUP4 00000b25: ADD 00000b26: MSTORE 00000b27: SWAP2 00000b28: SWAP3 00000b29: POP 00000b2a: PUSH32 0x000000000000000000000000e23be8fde000ddd8fd2726f396d2444246169fe5 00000b4b: SWAP1 00000b4c: SWAP2 00000b4d: AND 00000b4e: SWAP1 00000b4f: PUSH3 0xfdd58e 00000b53: SWAP1 00000b54: PUSH1 0x44 00000b56: ADD 00000b57: PUSH1 0x20 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: DUP1 00000b5d: DUP4 00000b5e: SUB 00000b5f: DUP2 00000b60: DUP7 00000b61: GAS 00000b62: STATICCALL 00000b63: ISZERO 00000b64: DUP1 00000b65: ISZERO 00000b66: PUSH2 0x0b73 00000b69: JUMPI 00000b6a: RETURNDATASIZE 00000b6b: PUSH1 0x00 00000b6d: DUP1 00000b6e: RETURNDATACOPY 00000b6f: RETURNDATASIZE 00000b70: PUSH1 0x00 00000b72: REVERT 00000b73: JUMPDEST 00000b74: POP 00000b75: POP 00000b76: POP 00000b77: POP 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: RETURNDATASIZE 00000b7c: PUSH1 0x1f 00000b7e: NOT 00000b7f: PUSH1 0x1f 00000b81: DUP3 00000b82: ADD 00000b83: AND 00000b84: DUP3 00000b85: ADD 00000b86: DUP1 00000b87: PUSH1 0x40 00000b89: MSTORE 00000b8a: POP 00000b8b: DUP2 00000b8c: ADD 00000b8d: SWAP1 00000b8e: PUSH2 0x0b97 00000b91: SWAP2 00000b92: SWAP1 00000b93: PUSH2 0x1292 00000b96: JUMP 00000b97: JUMPDEST 00000b98: PUSH2 0x0ba1 00000b9b: SWAP1 00000b9c: DUP3 00000b9d: PUSH2 0x12ab 00000ba0: JUMP 00000ba1: JUMPDEST 00000ba2: PUSH1 0x40 00000ba4: MLOAD 00000ba5: PUSH3 0x7eeac7 00000ba9: PUSH1 0xe1 00000bab: SHL 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH1 0x01 00000bb0: PUSH1 0x01 00000bb2: PUSH1 0xa0 00000bb4: SHL 00000bb5: SUB 00000bb6: DUP5 00000bb7: DUP2 00000bb8: AND 00000bb9: PUSH1 0x04 00000bbb: DUP4 00000bbc: ADD 00000bbd: MSTORE 00000bbe: PUSH1 0x07 00000bc0: PUSH1 0x24 00000bc2: DUP4 00000bc3: ADD 00000bc4: MSTORE 00000bc5: SWAP2 00000bc6: SWAP3 00000bc7: POP 00000bc8: PUSH32 0x000000000000000000000000e23be8fde000ddd8fd2726f396d2444246169fe5 00000be9: SWAP1 00000bea: SWAP2 00000beb: AND 00000bec: SWAP1 00000bed: PUSH3 0xfdd58e 00000bf1: SWAP1 00000bf2: PUSH1 0x44 00000bf4: ADD 00000bf5: PUSH1 0x20 00000bf7: PUSH1 0x40 00000bf9: MLOAD 00000bfa: DUP1 00000bfb: DUP4 00000bfc: SUB 00000bfd: DUP2 00000bfe: DUP7 00000bff: GAS 00000c00: STATICCALL 00000c01: ISZERO 00000c02: DUP1 00000c03: ISZERO 00000c04: PUSH2 0x0c11 00000c07: JUMPI 00000c08: RETURNDATASIZE 00000c09: PUSH1 0x00 00000c0b: DUP1 00000c0c: RETURNDATACOPY 00000c0d: RETURNDATASIZE 00000c0e: PUSH1 0x00 00000c10: REVERT 00000c11: JUMPDEST 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: POP 00000c16: PUSH1 0x40 00000c18: MLOAD 00000c19: RETURNDATASIZE 00000c1a: PUSH1 0x1f 00000c1c: NOT 00000c1d: PUSH1 0x1f 00000c1f: DUP3 00000c20: ADD 00000c21: AND 00000c22: DUP3 00000c23: ADD 00000c24: DUP1 00000c25: PUSH1 0x40 00000c27: MSTORE 00000c28: POP 00000c29: DUP2 00000c2a: ADD 00000c2b: SWAP1 00000c2c: PUSH2 0x0c35 00000c2f: SWAP2 00000c30: SWAP1 00000c31: PUSH2 0x1292 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH2 0x0c3f 00000c39: SWAP1 00000c3a: DUP3 00000c3b: PUSH2 0x12ab 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: SWAP3 00000c41: SWAP2 00000c42: POP 00000c43: POP 00000c44: JUMP 00000c45: JUMPDEST 00000c46: PUSH1 0x00 00000c48: DUP1 00000c49: SLOAD 00000c4a: PUSH1 0x01 00000c4c: PUSH1 0x01 00000c4e: PUSH1 0xa0 00000c50: SHL 00000c51: SUB 00000c52: DUP4 00000c53: DUP2 00000c54: AND 00000c55: PUSH1 0x01 00000c57: PUSH1 0x01 00000c59: PUSH1 0xa0 00000c5b: SHL 00000c5c: SUB 00000c5d: NOT 00000c5e: DUP4 00000c5f: AND 00000c60: DUP2 00000c61: OR 00000c62: DUP5 00000c63: SSTORE 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: SWAP2 00000c68: SWAP1 00000c69: SWAP3 00000c6a: AND 00000c6b: SWAP3 00000c6c: DUP4 00000c6d: SWAP2 00000c6e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000c8f: SWAP2 00000c90: SWAP1 00000c91: LOG3 00000c92: POP 00000c93: POP 00000c94: JUMP 00000c95: JUMPDEST 00000c96: DUP1 00000c97: SELFBALANCE 00000c98: LT 00000c99: ISZERO 00000c9a: PUSH2 0x0ce5 00000c9d: JUMPI 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: PUSH3 0x461bcd 00000ca5: PUSH1 0xe5 00000ca7: SHL 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: PUSH1 0x04 00000cae: DUP3 00000caf: ADD 00000cb0: MSTORE 00000cb1: PUSH1 0x1d 00000cb3: PUSH1 0x24 00000cb5: DUP3 00000cb6: ADD 00000cb7: MSTORE 00000cb8: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000cd9: PUSH1 0x44 00000cdb: DUP3 00000cdc: ADD 00000cdd: MSTORE 00000cde: PUSH1 0x64 00000ce0: ADD 00000ce1: PUSH2 0x0464 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x00 00000ce8: DUP3 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0x01 00000ced: PUSH1 0xa0 00000cef: SHL 00000cf0: SUB 00000cf1: AND 00000cf2: DUP3 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: PUSH1 0x00 00000cf8: PUSH1 0x40 00000cfa: MLOAD 00000cfb: DUP1 00000cfc: DUP4 00000cfd: SUB 00000cfe: DUP2 00000cff: DUP6 00000d00: DUP8 00000d01: GAS 00000d02: CALL 00000d03: SWAP3 00000d04: POP 00000d05: POP 00000d06: POP 00000d07: RETURNDATASIZE 00000d08: DUP1 00000d09: PUSH1 0x00 00000d0b: DUP2 00000d0c: EQ 00000d0d: PUSH2 0x0d32 00000d10: JUMPI 00000d11: PUSH1 0x40 00000d13: MLOAD 00000d14: SWAP2 00000d15: POP 00000d16: PUSH1 0x1f 00000d18: NOT 00000d19: PUSH1 0x3f 00000d1b: RETURNDATASIZE 00000d1c: ADD 00000d1d: AND 00000d1e: DUP3 00000d1f: ADD 00000d20: PUSH1 0x40 00000d22: MSTORE 00000d23: RETURNDATASIZE 00000d24: DUP3 00000d25: MSTORE 00000d26: RETURNDATASIZE 00000d27: PUSH1 0x00 00000d29: PUSH1 0x20 00000d2b: DUP5 00000d2c: ADD 00000d2d: RETURNDATACOPY 00000d2e: PUSH2 0x0d37 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x60 00000d35: SWAP2 00000d36: POP 00000d37: JUMPDEST 00000d38: POP 00000d39: POP 00000d3a: SWAP1 00000d3b: POP 00000d3c: DUP1 00000d3d: PUSH2 0x0dae 00000d40: JUMPI 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: PUSH3 0x461bcd 00000d48: PUSH1 0xe5 00000d4a: SHL 00000d4b: DUP2 00000d4c: MSTORE 00000d4d: PUSH1 0x20 00000d4f: PUSH1 0x04 00000d51: DUP3 00000d52: ADD 00000d53: MSTORE 00000d54: PUSH1 0x3a 00000d56: PUSH1 0x24 00000d58: DUP3 00000d59: ADD 00000d5a: MSTORE 00000d5b: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000d7c: PUSH1 0x44 00000d7e: DUP3 00000d7f: ADD 00000d80: MSTORE 00000d81: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000da2: PUSH1 0x64 00000da4: DUP3 00000da5: ADD 00000da6: MSTORE 00000da7: PUSH1 0x84 00000da9: ADD 00000daa: PUSH2 0x0464 00000dad: JUMP 00000dae: JUMPDEST 00000daf: POP 00000db0: POP 00000db1: POP 00000db2: JUMP 00000db3: JUMPDEST 00000db4: PUSH1 0x00 00000db6: PUSH2 0x0dc0 00000db9: PUSH1 0x01 00000dbb: NUMBER 00000dbc: PUSH2 0x1195 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH1 0x40 00000dc3: DUP1 00000dc4: MLOAD 00000dc5: SWAP2 00000dc6: BLOCKHASH 00000dc7: PUSH1 0x20 00000dc9: DUP4 00000dca: ADD 00000dcb: MSTORE 00000dcc: PUSH12 0xffffffffffffffffffffffff 00000dd9: NOT 00000dda: CALLER 00000ddb: PUSH1 0x60 00000ddd: SHL 00000dde: AND 00000ddf: SWAP1 00000de0: DUP3 00000de1: ADD 00000de2: MSTORE 00000de3: PUSH1 0x01 00000de5: DUP4 00000de6: SWAP1 00000de7: SHR 00000de8: PUSH1 0x54 00000dea: DUP3 00000deb: ADD 00000dec: MSTORE 00000ded: PUSH1 0x74 00000def: ADD 00000df0: PUSH1 0x40 00000df2: MLOAD 00000df3: PUSH1 0x20 00000df5: DUP2 00000df6: DUP4 00000df7: SUB 00000df8: SUB 00000df9: DUP2 00000dfa: MSTORE 00000dfb: SWAP1 00000dfc: PUSH1 0x40 00000dfe: MSTORE 00000dff: DUP1 00000e00: MLOAD 00000e01: SWAP1 00000e02: PUSH1 0x20 00000e04: ADD 00000e05: KECCAK256 00000e06: SWAP1 00000e07: POP 00000e08: SWAP2 00000e09: SWAP1 00000e0a: POP 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: PUSH1 0x00 00000e0f: PUSH1 0x99 00000e11: DUP3 00000e12: PUSH1 0xff 00000e14: AND 00000e15: LT 00000e16: ISZERO 00000e17: PUSH2 0x0e22 00000e1a: JUMPI 00000e1b: POP 00000e1c: PUSH1 0x00 00000e1e: SWAP2 00000e1f: SWAP1 00000e20: POP 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH1 0xcc 00000e25: DUP3 00000e26: PUSH1 0xff 00000e28: AND 00000e29: LT 00000e2a: ISZERO 00000e2b: PUSH2 0x0e36 00000e2e: JUMPI 00000e2f: POP 00000e30: PUSH1 0x01 00000e32: SWAP2 00000e33: SWAP1 00000e34: POP 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0xf3 00000e39: DUP3 00000e3a: PUSH1 0xff 00000e3c: AND 00000e3d: LT 00000e3e: ISZERO 00000e3f: PUSH2 0x0e4a 00000e42: JUMPI 00000e43: POP 00000e44: PUSH1 0x02 00000e46: SWAP2 00000e47: SWAP1 00000e48: POP 00000e49: JUMP 00000e4a: JUMPDEST 00000e4b: POP 00000e4c: PUSH1 0x03 00000e4e: SWAP2 00000e4f: SWAP1 00000e50: POP 00000e51: JUMP 00000e52: JUMPDEST 00000e53: PUSH1 0x00 00000e55: PUSH1 0x20 00000e57: DUP3 00000e58: DUP5 00000e59: SUB 00000e5a: SLT 00000e5b: ISZERO 00000e5c: PUSH2 0x0e64 00000e5f: JUMPI 00000e60: PUSH1 0x00 00000e62: DUP1 00000e63: REVERT 00000e64: JUMPDEST 00000e65: POP 00000e66: CALLDATALOAD 00000e67: SWAP2 00000e68: SWAP1 00000e69: POP 00000e6a: JUMP 00000e6b: JUMPDEST 00000e6c: PUSH1 0x00 00000e6e: DUP1 00000e6f: DUP4 00000e70: PUSH1 0x1f 00000e72: DUP5 00000e73: ADD 00000e74: SLT 00000e75: PUSH2 0x0e7d 00000e78: JUMPI 00000e79: PUSH1 0x00 00000e7b: DUP1 00000e7c: REVERT 00000e7d: JUMPDEST 00000e7e: POP 00000e7f: DUP2 00000e80: CALLDATALOAD 00000e81: PUSH8 0xffffffffffffffff 00000e8a: DUP2 00000e8b: GT 00000e8c: ISZERO 00000e8d: PUSH2 0x0e95 00000e90: JUMPI 00000e91: PUSH1 0x00 00000e93: DUP1 00000e94: REVERT 00000e95: JUMPDEST 00000e96: PUSH1 0x20 00000e98: DUP4 00000e99: ADD 00000e9a: SWAP2 00000e9b: POP 00000e9c: DUP4 00000e9d: PUSH1 0x20 00000e9f: DUP3 00000ea0: PUSH1 0x05 00000ea2: SHL 00000ea3: DUP6 00000ea4: ADD 00000ea5: ADD 00000ea6: GT 00000ea7: ISZERO 00000ea8: PUSH2 0x0eb0 00000eab: JUMPI 00000eac: PUSH1 0x00 00000eae: DUP1 00000eaf: REVERT 00000eb0: JUMPDEST 00000eb1: SWAP3 00000eb2: POP 00000eb3: SWAP3 00000eb4: SWAP1 00000eb5: POP 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: PUSH1 0x00 00000eba: DUP1 00000ebb: PUSH1 0x20 00000ebd: DUP4 00000ebe: DUP6 00000ebf: SUB 00000ec0: SLT 00000ec1: ISZERO 00000ec2: PUSH2 0x0eca 00000ec5: JUMPI 00000ec6: PUSH1 0x00 00000ec8: DUP1 00000ec9: REVERT 00000eca: JUMPDEST 00000ecb: DUP3 00000ecc: CALLDATALOAD 00000ecd: PUSH8 0xffffffffffffffff 00000ed6: DUP2 00000ed7: GT 00000ed8: ISZERO 00000ed9: PUSH2 0x0ee1 00000edc: JUMPI 00000edd: PUSH1 0x00 00000edf: DUP1 00000ee0: REVERT 00000ee1: JUMPDEST 00000ee2: PUSH2 0x0eed 00000ee5: DUP6 00000ee6: DUP3 00000ee7: DUP7 00000ee8: ADD 00000ee9: PUSH2 0x0e6b 00000eec: JUMP 00000eed: JUMPDEST 00000eee: SWAP1 00000eef: SWAP7 00000ef0: SWAP1 00000ef1: SWAP6 00000ef2: POP 00000ef3: SWAP4 00000ef4: POP 00000ef5: POP 00000ef6: POP 00000ef7: POP 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: PUSH1 0x00 00000efc: DUP2 00000efd: MLOAD 00000efe: DUP1 00000eff: DUP5 00000f00: MSTORE 00000f01: PUSH1 0x20 00000f03: DUP1 00000f04: DUP6 00000f05: ADD 00000f06: DUP1 00000f07: DUP2 00000f08: SWAP7 00000f09: POP 00000f0a: DUP4 00000f0b: PUSH1 0x05 00000f0d: SHL 00000f0e: DUP2 00000f0f: ADD 00000f10: SWAP2 00000f11: POP 00000f12: DUP3 00000f13: DUP7 00000f14: ADD 00000f15: PUSH1 0x00 00000f17: DUP1 00000f18: JUMPDEST 00000f19: DUP7 00000f1a: DUP2 00000f1b: LT 00000f1c: ISZERO 00000f1d: PUSH2 0x0f67 00000f20: JUMPI 00000f21: DUP4 00000f22: DUP6 00000f23: SUB 00000f24: DUP11 00000f25: MSTORE 00000f26: DUP3 00000f27: MLOAD 00000f28: DUP1 00000f29: MLOAD 00000f2a: DUP1 00000f2b: DUP8 00000f2c: MSTORE 00000f2d: SWAP1 00000f2e: DUP8 00000f2f: ADD 00000f30: SWAP1 00000f31: DUP8 00000f32: DUP8 00000f33: ADD 00000f34: SWAP1 00000f35: DUP5 00000f36: JUMPDEST 00000f37: DUP2 00000f38: DUP2 00000f39: LT 00000f3a: ISZERO 00000f3b: PUSH2 0x0f52 00000f3e: JUMPI 00000f3f: DUP4 00000f40: MLOAD 00000f41: DUP4 00000f42: MSTORE 00000f43: SWAP3 00000f44: DUP10 00000f45: ADD 00000f46: SWAP3 00000f47: SWAP2 00000f48: DUP10 00000f49: ADD 00000f4a: SWAP2 00000f4b: PUSH1 0x01 00000f4d: ADD 00000f4e: PUSH2 0x0f36 00000f51: JUMP 00000f52: JUMPDEST 00000f53: POP 00000f54: POP 00000f55: SWAP11 00000f56: DUP8 00000f57: ADD 00000f58: SWAP11 00000f59: SWAP6 00000f5a: POP 00000f5b: POP 00000f5c: SWAP2 00000f5d: DUP6 00000f5e: ADD 00000f5f: SWAP2 00000f60: PUSH1 0x01 00000f62: ADD 00000f63: PUSH2 0x0f18 00000f66: JUMP 00000f67: JUMPDEST 00000f68: POP 00000f69: SWAP3 00000f6a: SWAP9 00000f6b: SWAP8 00000f6c: POP 00000f6d: POP 00000f6e: POP 00000f6f: POP 00000f70: POP 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: JUMP 00000f75: JUMPDEST 00000f76: PUSH1 0x60 00000f78: DUP2 00000f79: MSTORE 00000f7a: PUSH1 0x00 00000f7c: PUSH2 0x0f88 00000f7f: PUSH1 0x60 00000f81: DUP4 00000f82: ADD 00000f83: DUP7 00000f84: PUSH2 0x0ef9 00000f87: JUMP 00000f88: JUMPDEST 00000f89: DUP3 00000f8a: DUP2 00000f8b: SUB 00000f8c: PUSH1 0x20 00000f8e: DUP5 00000f8f: ADD 00000f90: MSTORE 00000f91: PUSH2 0x0f9a 00000f94: DUP2 00000f95: DUP7 00000f96: PUSH2 0x0ef9 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: SWAP2 00000f9c: POP 00000f9d: POP 00000f9e: DUP3 00000f9f: PUSH1 0x40 00000fa1: DUP4 00000fa2: ADD 00000fa3: MSTORE 00000fa4: SWAP5 00000fa5: SWAP4 00000fa6: POP 00000fa7: POP 00000fa8: POP 00000fa9: POP 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH1 0x00 00000fae: PUSH1 0x20 00000fb0: DUP3 00000fb1: DUP5 00000fb2: SUB 00000fb3: SLT 00000fb4: ISZERO 00000fb5: PUSH2 0x0fbd 00000fb8: JUMPI 00000fb9: PUSH1 0x00 00000fbb: DUP1 00000fbc: REVERT 00000fbd: JUMPDEST 00000fbe: DUP2 00000fbf: CALLDATALOAD 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0xa0 00000fc6: SHL 00000fc7: SUB 00000fc8: DUP2 00000fc9: AND 00000fca: DUP2 00000fcb: EQ 00000fcc: PUSH2 0x0fd4 00000fcf: JUMPI 00000fd0: PUSH1 0x00 00000fd2: DUP1 00000fd3: REVERT 00000fd4: JUMPDEST 00000fd5: SWAP4 00000fd6: SWAP3 00000fd7: POP 00000fd8: POP 00000fd9: POP 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH1 0x00 00000fde: DUP1 00000fdf: PUSH1 0x00 00000fe1: DUP1 00000fe2: PUSH1 0x00 00000fe4: DUP1 00000fe5: PUSH1 0x00 00000fe7: PUSH1 0x80 00000fe9: DUP9 00000fea: DUP11 00000feb: SUB 00000fec: SLT 00000fed: ISZERO 00000fee: PUSH2 0x0ff6 00000ff1: JUMPI 00000ff2: PUSH1 0x00 00000ff4: DUP1 00000ff5: REVERT 00000ff6: JUMPDEST 00000ff7: DUP8 00000ff8: CALLDATALOAD 00000ff9: PUSH8 0xffffffffffffffff 00001002: DUP1 00001003: DUP3 00001004: GT 00001005: ISZERO 00001006: PUSH2 0x100e 00001009: JUMPI 0000100a: PUSH1 0x00 0000100c: DUP1 0000100d: REVERT 0000100e: JUMPDEST 0000100f: PUSH2 0x101a 00001012: DUP12 00001013: DUP4 00001014: DUP13 00001015: ADD 00001016: PUSH2 0x0e6b 00001019: JUMP 0000101a: JUMPDEST 0000101b: SWAP1 0000101c: SWAP10 0000101d: POP 0000101e: SWAP8 0000101f: POP 00001020: PUSH1 0x20 00001022: DUP11 00001023: ADD 00001024: CALLDATALOAD 00001025: SWAP2 00001026: POP 00001027: DUP1 00001028: DUP3 00001029: GT 0000102a: ISZERO 0000102b: PUSH2 0x1033 0000102e: JUMPI 0000102f: PUSH1 0x00 00001031: DUP1 00001032: REVERT 00001033: JUMPDEST 00001034: PUSH2 0x103f 00001037: DUP12 00001038: DUP4 00001039: DUP13 0000103a: ADD 0000103b: PUSH2 0x0e6b 0000103e: JUMP 0000103f: JUMPDEST 00001040: SWAP1 00001041: SWAP8 00001042: POP 00001043: SWAP6 00001044: POP 00001045: PUSH1 0x40 00001047: DUP11 00001048: ADD 00001049: CALLDATALOAD 0000104a: SWAP2 0000104b: POP 0000104c: DUP1 0000104d: DUP3 0000104e: GT 0000104f: ISZERO 00001050: PUSH2 0x1058 00001053: JUMPI 00001054: PUSH1 0x00 00001056: DUP1 00001057: REVERT 00001058: JUMPDEST 00001059: POP 0000105a: PUSH2 0x1065 0000105d: DUP11 0000105e: DUP3 0000105f: DUP12 00001060: ADD 00001061: PUSH2 0x0e6b 00001064: JUMP 00001065: JUMPDEST 00001066: SWAP9 00001067: SWAP12 00001068: SWAP8 00001069: SWAP11 0000106a: POP 0000106b: SWAP6 0000106c: SWAP9 0000106d: SWAP5 0000106e: SWAP8 0000106f: SWAP6 00001070: SWAP7 00001071: PUSH1 0x60 00001073: SWAP1 00001074: SWAP6 00001075: ADD 00001076: CALLDATALOAD 00001077: SWAP5 00001078: SWAP4 00001079: POP 0000107a: POP 0000107b: POP 0000107c: POP 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH4 0x4e487b71 00001084: PUSH1 0xe0 00001086: SHL 00001087: PUSH1 0x00 00001089: MSTORE 0000108a: PUSH1 0x11 0000108c: PUSH1 0x04 0000108e: MSTORE 0000108f: PUSH1 0x24 00001091: PUSH1 0x00 00001093: REVERT 00001094: JUMPDEST 00001095: DUP1 00001096: DUP3 00001097: MUL 00001098: DUP2 00001099: ISZERO 0000109a: DUP3 0000109b: DUP3 0000109c: DIV 0000109d: DUP5 0000109e: EQ 0000109f: OR 000010a0: PUSH2 0x0c3f 000010a3: JUMPI 000010a4: PUSH2 0x0c3f 000010a7: PUSH2 0x107e 000010aa: JUMP 000010ab: JUMPDEST 000010ac: PUSH4 0x4e487b71 000010b1: PUSH1 0xe0 000010b3: SHL 000010b4: PUSH1 0x00 000010b6: MSTORE 000010b7: PUSH1 0x41 000010b9: PUSH1 0x04 000010bb: MSTORE 000010bc: PUSH1 0x24 000010be: PUSH1 0x00 000010c0: REVERT 000010c1: JUMPDEST 000010c2: PUSH1 0x00 000010c4: DUP2 000010c5: MLOAD 000010c6: DUP1 000010c7: DUP5 000010c8: MSTORE 000010c9: PUSH1 0x20 000010cb: DUP1 000010cc: DUP6 000010cd: ADD 000010ce: SWAP5 000010cf: POP 000010d0: DUP1 000010d1: DUP5 000010d2: ADD 000010d3: PUSH1 0x00 000010d5: JUMPDEST 000010d6: DUP4 000010d7: DUP2 000010d8: LT 000010d9: ISZERO 000010da: PUSH2 0x10f1 000010dd: JUMPI 000010de: DUP2 000010df: MLOAD 000010e0: DUP8 000010e1: MSTORE 000010e2: SWAP6 000010e3: DUP3 000010e4: ADD 000010e5: SWAP6 000010e6: SWAP1 000010e7: DUP3 000010e8: ADD 000010e9: SWAP1 000010ea: PUSH1 0x01 000010ec: ADD 000010ed: PUSH2 0x10d5 000010f0: JUMP 000010f1: JUMPDEST 000010f2: POP 000010f3: SWAP5 000010f4: SWAP6 000010f5: SWAP5 000010f6: POP 000010f7: POP 000010f8: POP 000010f9: POP 000010fa: POP 000010fb: JUMP 000010fc: JUMPDEST 000010fd: PUSH1 0x01 000010ff: PUSH1 0x01 00001101: PUSH1 0xa0 00001103: SHL 00001104: SUB 00001105: DUP7 00001106: AND 00001107: DUP2 00001108: MSTORE 00001109: PUSH1 0xa0 0000110b: PUSH1 0x20 0000110d: DUP3 0000110e: ADD 0000110f: DUP2 00001110: SWAP1 00001111: MSTORE 00001112: PUSH1 0x00 00001114: SWAP1 00001115: PUSH2 0x1120 00001118: SWAP1 00001119: DUP4 0000111a: ADD 0000111b: DUP8 0000111c: PUSH2 0x10c1 0000111f: JUMP 00001120: JUMPDEST 00001121: DUP3 00001122: DUP2 00001123: SUB 00001124: PUSH1 0x40 00001126: DUP5 00001127: ADD 00001128: MSTORE 00001129: PUSH2 0x1132 0000112c: DUP2 0000112d: DUP8 0000112e: PUSH2 0x10c1 00001131: JUMP 00001132: JUMPDEST 00001133: SWAP1 00001134: POP 00001135: DUP3 00001136: DUP2 00001137: SUB 00001138: PUSH1 0x60 0000113a: DUP5 0000113b: ADD 0000113c: MSTORE 0000113d: PUSH2 0x1146 00001140: DUP2 00001141: DUP7 00001142: PUSH2 0x10c1 00001145: JUMP 00001146: JUMPDEST 00001147: SWAP1 00001148: POP 00001149: DUP3 0000114a: DUP2 0000114b: SUB 0000114c: PUSH1 0x80 0000114e: DUP5 0000114f: ADD 00001150: MSTORE 00001151: PUSH2 0x115a 00001154: DUP2 00001155: DUP6 00001156: PUSH2 0x10c1 00001159: JUMP 0000115a: JUMPDEST 0000115b: SWAP9 0000115c: SWAP8 0000115d: POP 0000115e: POP 0000115f: POP 00001160: POP 00001161: POP 00001162: POP 00001163: POP 00001164: POP 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH4 0x4e487b71 0000116c: PUSH1 0xe0 0000116e: SHL 0000116f: PUSH1 0x00 00001171: MSTORE 00001172: PUSH1 0x32 00001174: PUSH1 0x04 00001176: MSTORE 00001177: PUSH1 0x24 00001179: PUSH1 0x00 0000117b: REVERT 0000117c: JUMPDEST 0000117d: PUSH1 0x00 0000117f: PUSH1 0x01 00001181: DUP3 00001182: ADD 00001183: PUSH2 0x118e 00001186: JUMPI 00001187: PUSH2 0x118e 0000118a: PUSH2 0x107e 0000118d: JUMP 0000118e: JUMPDEST 0000118f: POP 00001190: PUSH1 0x01 00001192: ADD 00001193: SWAP1 00001194: JUMP 00001195: JUMPDEST 00001196: DUP2 00001197: DUP2 00001198: SUB 00001199: DUP2 0000119a: DUP2 0000119b: GT 0000119c: ISZERO 0000119d: PUSH2 0x0c3f 000011a0: JUMPI 000011a1: PUSH2 0x0c3f 000011a4: PUSH2 0x107e 000011a7: JUMP 000011a8: JUMPDEST 000011a9: PUSH1 0x00 000011ab: DUP1 000011ac: DUP4 000011ad: CALLDATALOAD 000011ae: PUSH1 0x1e 000011b0: NOT 000011b1: DUP5 000011b2: CALLDATASIZE 000011b3: SUB 000011b4: ADD 000011b5: DUP2 000011b6: SLT 000011b7: PUSH2 0x11bf 000011ba: JUMPI 000011bb: PUSH1 0x00 000011bd: DUP1 000011be: REVERT 000011bf: JUMPDEST 000011c0: DUP4 000011c1: ADD 000011c2: DUP1 000011c3: CALLDATALOAD 000011c4: SWAP2 000011c5: POP 000011c6: PUSH8 0xffffffffffffffff 000011cf: DUP3 000011d0: GT 000011d1: ISZERO 000011d2: PUSH2 0x11da 000011d5: JUMPI 000011d6: PUSH1 0x00 000011d8: DUP1 000011d9: REVERT 000011da: JUMPDEST 000011db: PUSH1 0x20 000011dd: ADD 000011de: SWAP2 000011df: POP 000011e0: PUSH1 0x05 000011e2: DUP2 000011e3: SWAP1 000011e4: SHL 000011e5: CALLDATASIZE 000011e6: SUB 000011e7: DUP3 000011e8: SGT 000011e9: ISZERO 000011ea: PUSH2 0x0eb0 000011ed: JUMPI 000011ee: PUSH1 0x00 000011f0: DUP1 000011f1: REVERT 000011f2: JUMPDEST 000011f3: DUP2 000011f4: DUP4 000011f5: MSTORE 000011f6: PUSH1 0x00 000011f8: PUSH1 0x01 000011fa: PUSH1 0x01 000011fc: PUSH1 0xfb 000011fe: SHL 000011ff: SUB 00001200: DUP4 00001201: GT 00001202: ISZERO 00001203: PUSH2 0x120b 00001206: JUMPI 00001207: PUSH1 0x00 00001209: DUP1 0000120a: REVERT 0000120b: JUMPDEST 0000120c: DUP3 0000120d: PUSH1 0x05 0000120f: SHL 00001210: DUP1 00001211: DUP4 00001212: PUSH1 0x20 00001214: DUP8 00001215: ADD 00001216: CALLDATACOPY 00001217: SWAP4 00001218: SWAP1 00001219: SWAP4 0000121a: ADD 0000121b: PUSH1 0x20 0000121d: ADD 0000121e: SWAP4 0000121f: SWAP3 00001220: POP 00001221: POP 00001222: POP 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH1 0x01 00001227: PUSH1 0x01 00001229: PUSH1 0xa0 0000122b: SHL 0000122c: SUB 0000122d: DUP9 0000122e: AND 0000122f: DUP2 00001230: MSTORE 00001231: PUSH1 0xa0 00001233: PUSH1 0x20 00001235: DUP3 00001236: ADD 00001237: DUP2 00001238: SWAP1 00001239: MSTORE 0000123a: PUSH1 0x00 0000123c: SWAP1 0000123d: PUSH2 0x1249 00001240: SWAP1 00001241: DUP4 00001242: ADD 00001243: DUP9 00001244: DUP11 00001245: PUSH2 0x11f2 00001248: JUMP 00001249: JUMPDEST 0000124a: DUP3 0000124b: DUP2 0000124c: SUB 0000124d: PUSH1 0x40 0000124f: DUP5 00001250: ADD 00001251: MSTORE 00001252: PUSH2 0x125c 00001255: DUP2 00001256: DUP8 00001257: DUP10 00001258: PUSH2 0x11f2 0000125b: JUMP 0000125c: JUMPDEST 0000125d: SWAP1 0000125e: POP 0000125f: DUP3 00001260: DUP2 00001261: SUB 00001262: PUSH1 0x60 00001264: DUP5 00001265: ADD 00001266: MSTORE 00001267: PUSH2 0x1270 0000126a: DUP2 0000126b: DUP7 0000126c: PUSH2 0x10c1 0000126f: JUMP 00001270: JUMPDEST 00001271: SWAP1 00001272: POP 00001273: DUP3 00001274: DUP2 00001275: SUB 00001276: PUSH1 0x80 00001278: DUP5 00001279: ADD 0000127a: MSTORE 0000127b: PUSH2 0x1284 0000127e: DUP2 0000127f: DUP6 00001280: PUSH2 0x10c1 00001283: JUMP 00001284: JUMPDEST 00001285: SWAP11 00001286: SWAP10 00001287: POP 00001288: POP 00001289: POP 0000128a: POP 0000128b: POP 0000128c: POP 0000128d: POP 0000128e: POP 0000128f: POP 00001290: POP 00001291: JUMP 00001292: JUMPDEST 00001293: PUSH1 0x00 00001295: PUSH1 0x20 00001297: DUP3 00001298: DUP5 00001299: SUB 0000129a: SLT 0000129b: ISZERO 0000129c: PUSH2 0x12a4 0000129f: JUMPI 000012a0: PUSH1 0x00 000012a2: DUP1 000012a3: REVERT 000012a4: JUMPDEST 000012a5: POP 000012a6: MLOAD 000012a7: SWAP2 000012a8: SWAP1 000012a9: POP 000012aa: JUMP 000012ab: JUMPDEST 000012ac: DUP1 000012ad: DUP3 000012ae: ADD 000012af: DUP1 000012b0: DUP3 000012b1: GT 000012b2: ISZERO 000012b3: PUSH2 0x0c3f 000012b6: JUMPI 000012b7: PUSH2 0x0c3f 000012ba: PUSH2 0x107e 000012bd: JUMP 000012be: INVALID 000012bf: LOG2 000012c0: PUSH5 0x6970667358 000012c6: UNKNOWN(0x22) 000012c7: SLT 000012c8: KECCAK256 000012c9: UNKNOWN(0xE0) 000012ca: TIMESTAMP 000012cb: PUSH21 0xe82f4e358b07da484eb8173762e6a50b95b325bdb9 000012e1: SHR 000012e2: BLOBHASH 000012e3: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8bc46f51b15981e5fadd5ac18a6334588bd3c7af8f49da892cfe37616e3d40ff
call_targets:
0xb96204fe634c98b3a9aa2aa45601a73679d8aa87
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8bc46f51b15981e5fadd5ac18a6334588bd3c7af8f49da892cfe37616e3d40ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb96204fe634c98b3a9aa2aa45601a73679d8aa87"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9038e693",
"selector": "0x9038e693",
"calldata_variants": [
"0x9038e693",
"0x9038e6930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc002d23d",
"selector": "0xc002d23d",
"calldata_variants": [
"0xc002d23d",
"0xc002d23d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0292a03",
"selector": "0xf0292a03",
"calldata_variants": [
"0xf0292a03",
"0xf0292a030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4f2e880",
"selector": "0xf4f2e880",
"calldata_variants": [
"0xf4f2e880",
"0xf4f2e8800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22641df9",
"selector": "0x22641df9",
"calldata_variants": [
"0x22641df9",
"0x22641df90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6bab8f3d",
"selector": "0x6bab8f3d",
"calldata_variants": [
"0x6bab8f3d",
"0x6bab8f3d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 779,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1879,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3330,
"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: 0x8bc46f51b15981e5fadd5ac18a6334588bd3c7af8f49da892cfe37616e3d40ff
call_targets:
0xb96204fe634c98b3a9aa2aa45601a73679d8aa87
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8bc46f51b15981e5fadd5ac18a6334588bd3c7af8f49da892cfe37616e3d40ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb96204fe634c98b3a9aa2aa45601a73679d8aa87"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9038e693",
"selector": "0x9038e693",
"calldata_variants": [
"0x9038e693",
"0x9038e6930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc002d23d",
"selector": "0xc002d23d",
"calldata_variants": [
"0xc002d23d",
"0xc002d23d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0292a03",
"selector": "0xf0292a03",
"calldata_variants": [
"0xf0292a03",
"0xf0292a030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4f2e880",
"selector": "0xf4f2e880",
"calldata_variants": [
"0xf4f2e880",
"0xf4f2e8800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22641df9",
"selector": "0x22641df9",
"calldata_variants": [
"0x22641df9",
"0x22641df90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6bab8f3d",
"selector": "0x6bab8f3d",
"calldata_variants": [
"0x6bab8f3d",
"0x6bab8f3d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 779,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1879,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3330,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|