019b3844-9e89-710a-bbd7-6dc6c4852f7f
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 |
|---|---|---|---|---|
| 14945 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14946 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 57885 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 57886 | capability.graph | complete | 1 / 3 | 1 week ago |
| 57887 | detector.run | complete | 1 / 3 | 1 week ago |
| 57888 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0070 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x2923e82e 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x2923e82e 00000024: EQ 00000025: PUSH2 0x0103 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x44bc937b 0000002f: EQ 00000030: PUSH2 0x0116 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x574da717 0000003a: EQ 0000003b: PUSH2 0x0129 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x93e4eaa9 00000045: EQ 00000046: PUSH2 0x013c 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x03b6a673 00000055: EQ 00000056: PUSH2 0x0075 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x1b738b32 00000060: EQ 00000061: PUSH2 0x00ce 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x1fece7b4 0000006b: EQ 0000006c: PUSH2 0x00f0 0000006f: JUMPI 00000070: JUMPDEST 00000071: PUSH1 0x00 00000073: DUP1 00000074: REVERT 00000075: JUMPDEST 00000076: CALLVALUE 00000077: DUP1 00000078: ISZERO 00000079: PUSH2 0x0081 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: POP 00000083: PUSH2 0x00bb 00000086: PUSH2 0x0090 00000089: CALLDATASIZE 0000008a: PUSH1 0x04 0000008c: PUSH2 0x0d71 0000008f: JUMP 00000090: JUMPDEST 00000091: PUSH1 0x01 00000093: PUSH1 0x01 00000095: PUSH1 0xa0 00000097: SHL 00000098: SUB 00000099: SWAP2 0000009a: DUP3 0000009b: AND 0000009c: PUSH1 0x00 0000009e: SWAP1 0000009f: DUP2 000000a0: MSTORE 000000a1: PUSH1 0x01 000000a3: PUSH1 0x20 000000a5: SWAP1 000000a6: DUP2 000000a7: MSTORE 000000a8: PUSH1 0x40 000000aa: DUP1 000000ab: DUP4 000000ac: KECCAK256 000000ad: SWAP4 000000ae: SWAP1 000000af: SWAP5 000000b0: AND 000000b1: DUP3 000000b2: MSTORE 000000b3: SWAP2 000000b4: SWAP1 000000b5: SWAP2 000000b6: MSTORE 000000b7: KECCAK256 000000b8: SLOAD 000000b9: SWAP1 000000ba: JUMP 000000bb: JUMPDEST 000000bc: PUSH1 0x40 000000be: MLOAD 000000bf: SWAP1 000000c0: DUP2 000000c1: MSTORE 000000c2: PUSH1 0x20 000000c4: ADD 000000c5: JUMPDEST 000000c6: PUSH1 0x40 000000c8: MLOAD 000000c9: DUP1 000000ca: SWAP2 000000cb: SUB 000000cc: SWAP1 000000cd: RETURN 000000ce: JUMPDEST 000000cf: CALLVALUE 000000d0: DUP1 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: POP 000000dc: PUSH2 0x00ee 000000df: PUSH2 0x00e9 000000e2: CALLDATASIZE 000000e3: PUSH1 0x04 000000e5: PUSH2 0x0e8a 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH2 0x0174 000000ed: JUMP 000000ee: JUMPDEST 000000ef: STOP 000000f0: JUMPDEST 000000f1: PUSH2 0x00ee 000000f4: PUSH2 0x00fe 000000f7: CALLDATASIZE 000000f8: PUSH1 0x04 000000fa: PUSH2 0x0f09 000000fd: JUMP 000000fe: JUMPDEST 000000ff: PUSH2 0x0258 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH2 0x00ee 00000107: PUSH2 0x0111 0000010a: CALLDATASIZE 0000010b: PUSH1 0x04 0000010d: PUSH2 0x0f75 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x04c1 00000115: JUMP 00000116: JUMPDEST 00000117: PUSH2 0x00ee 0000011a: PUSH2 0x0124 0000011d: CALLDATASIZE 0000011e: PUSH1 0x04 00000120: PUSH2 0x1088 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH2 0x0677 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH2 0x00ee 0000012d: PUSH2 0x0137 00000130: CALLDATASIZE 00000131: PUSH1 0x04 00000133: PUSH2 0x0f09 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x06d9 0000013b: JUMP 0000013c: JUMPDEST 0000013d: CALLVALUE 0000013e: DUP1 0000013f: ISZERO 00000140: PUSH2 0x0148 00000143: JUMPI 00000144: PUSH1 0x00 00000146: DUP1 00000147: REVERT 00000148: JUMPDEST 00000149: POP 0000014a: PUSH1 0x00 0000014c: SLOAD 0000014d: PUSH2 0x015c 00000150: SWAP1 00000151: PUSH1 0x01 00000153: PUSH1 0x01 00000155: PUSH1 0xa0 00000157: SHL 00000158: SUB 00000159: AND 0000015a: DUP2 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH1 0x40 0000015f: MLOAD 00000160: PUSH1 0x01 00000162: PUSH1 0x01 00000164: PUSH1 0xa0 00000166: SHL 00000167: SUB 00000168: SWAP1 00000169: SWAP2 0000016a: AND 0000016b: DUP2 0000016c: MSTORE 0000016d: PUSH1 0x20 0000016f: ADD 00000170: PUSH2 0x00c5 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH1 0x02 00000177: DUP1 00000178: SLOAD 00000179: EQ 0000017a: ISZERO 0000017b: PUSH2 0x01cb 0000017e: JUMPI 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: PUSH3 0x461bcd 00000186: PUSH1 0xe5 00000188: SHL 00000189: DUP2 0000018a: MSTORE 0000018b: PUSH1 0x20 0000018d: PUSH1 0x04 0000018f: DUP3 00000190: ADD 00000191: MSTORE 00000192: PUSH1 0x1f 00000194: PUSH1 0x24 00000196: DUP3 00000197: ADD 00000198: MSTORE 00000199: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000001ba: PUSH1 0x44 000001bc: DUP3 000001bd: ADD 000001be: MSTORE 000001bf: PUSH1 0x64 000001c1: ADD 000001c2: JUMPDEST 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: DUP1 000001c7: SWAP2 000001c8: SUB 000001c9: SWAP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: PUSH1 0x02 000001ce: DUP1 000001cf: SSTORE 000001d0: PUSH1 0x01 000001d2: PUSH1 0x01 000001d4: PUSH1 0xa0 000001d6: SHL 000001d7: SUB 000001d8: DUP6 000001d9: AND 000001da: ADDRESS 000001db: EQ 000001dc: ISZERO 000001dd: PUSH2 0x023f 000001e0: JUMPI 000001e1: PUSH2 0x01eb 000001e4: DUP5 000001e5: DUP5 000001e6: DUP5 000001e7: PUSH2 0x0927 000001ea: JUMP 000001eb: JUMPDEST 000001ec: DUP4 000001ed: PUSH1 0x01 000001ef: PUSH1 0x01 000001f1: PUSH1 0xa0 000001f3: SHL 000001f4: SUB 000001f5: AND 000001f6: CALLER 000001f7: PUSH1 0x01 000001f9: PUSH1 0x01 000001fb: PUSH1 0xa0 000001fd: SHL 000001fe: SUB 000001ff: AND 00000200: PUSH32 0x05b90458f953d3fcb2d7fb25616a2fddeca749d0c47cc5c9832d0266b5346eea 00000221: DUP6 00000222: DUP6 00000223: DUP6 00000224: PUSH1 0x40 00000226: MLOAD 00000227: PUSH2 0x0232 0000022a: SWAP4 0000022b: SWAP3 0000022c: SWAP2 0000022d: SWAP1 0000022e: PUSH2 0x1158 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: LOG3 0000023b: PUSH2 0x024c 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH2 0x024c 00000243: DUP6 00000244: DUP6 00000245: DUP6 00000246: DUP6 00000247: DUP6 00000248: PUSH2 0x09a0 0000024b: JUMP 0000024c: JUMPDEST 0000024d: POP 0000024e: POP 0000024f: PUSH1 0x01 00000251: PUSH1 0x02 00000253: SSTORE 00000254: POP 00000255: POP 00000256: POP 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x02 0000025b: DUP1 0000025c: SLOAD 0000025d: EQ 0000025e: ISZERO 0000025f: PUSH2 0x02aa 00000262: JUMPI 00000263: PUSH1 0x40 00000265: MLOAD 00000266: PUSH3 0x461bcd 0000026a: PUSH1 0xe5 0000026c: SHL 0000026d: DUP2 0000026e: MSTORE 0000026f: PUSH1 0x20 00000271: PUSH1 0x04 00000273: DUP3 00000274: ADD 00000275: MSTORE 00000276: PUSH1 0x1f 00000278: PUSH1 0x24 0000027a: DUP3 0000027b: ADD 0000027c: MSTORE 0000027d: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000029e: PUSH1 0x44 000002a0: DUP3 000002a1: ADD 000002a2: MSTORE 000002a3: PUSH1 0x64 000002a5: ADD 000002a6: PUSH2 0x01c2 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x02 000002ad: DUP1 000002ae: SSTORE 000002af: PUSH1 0x00 000002b1: PUSH1 0x01 000002b3: PUSH1 0x01 000002b5: PUSH1 0xa0 000002b7: SHL 000002b8: SUB 000002b9: DUP5 000002ba: AND 000002bb: PUSH2 0x02fa 000002be: JUMPI 000002bf: POP 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: CALLVALUE 000002c4: SWAP1 000002c5: PUSH1 0x00 000002c7: SWAP1 000002c8: PUSH1 0x01 000002ca: PUSH1 0x01 000002cc: PUSH1 0xa0 000002ce: SHL 000002cf: SUB 000002d0: DUP8 000002d1: AND 000002d2: SWAP1 000002d3: DUP4 000002d4: ISZERO 000002d5: PUSH2 0x08fc 000002d8: MUL 000002d9: SWAP1 000002da: DUP5 000002db: SWAP1 000002dc: DUP5 000002dd: DUP2 000002de: DUP2 000002df: DUP2 000002e0: DUP6 000002e1: DUP9 000002e2: DUP9 000002e3: CALL 000002e4: SWAP4 000002e5: POP 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: SWAP1 000002ea: POP 000002eb: DUP1 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x0468 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH1 0x00 000002fd: SLOAD 000002fe: PUSH1 0x01 00000300: PUSH1 0x01 00000302: PUSH1 0xa0 00000304: SHL 00000305: SUB 00000306: DUP6 00000307: DUP2 00000308: AND 00000309: SWAP2 0000030a: AND 0000030b: EQ 0000030c: ISZERO 0000030d: PUSH2 0x041c 00000310: JUMPI 00000311: POP 00000312: PUSH1 0x00 00000314: SLOAD 00000315: PUSH1 0x40 00000317: MLOAD 00000318: PUSH32 0x2ccb1b3000000000000000000000000000000000000000000000000000000000 00000339: DUP2 0000033a: MSTORE 0000033b: ADDRESS 0000033c: PUSH1 0x04 0000033e: DUP3 0000033f: ADD 00000340: MSTORE 00000341: PUSH1 0x24 00000343: DUP2 00000344: ADD 00000345: DUP5 00000346: SWAP1 00000347: MSTORE 00000348: DUP4 00000349: SWAP2 0000034a: PUSH1 0x01 0000034c: PUSH1 0x01 0000034e: PUSH1 0xa0 00000350: SHL 00000351: SUB 00000352: AND 00000353: SWAP1 00000354: PUSH4 0x2ccb1b30 00000359: SWAP1 0000035a: PUSH1 0x44 0000035c: ADD 0000035d: PUSH1 0x20 0000035f: PUSH1 0x40 00000361: MLOAD 00000362: DUP1 00000363: DUP4 00000364: SUB 00000365: DUP2 00000366: PUSH1 0x00 00000368: DUP8 00000369: GAS 0000036a: CALL 0000036b: ISZERO 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x037b 00000371: JUMPI 00000372: RETURNDATASIZE 00000373: PUSH1 0x00 00000375: DUP1 00000376: RETURNDATACOPY 00000377: RETURNDATASIZE 00000378: PUSH1 0x00 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: POP 0000037e: POP 0000037f: POP 00000380: PUSH1 0x40 00000382: MLOAD 00000383: RETURNDATASIZE 00000384: PUSH1 0x1f 00000386: NOT 00000387: PUSH1 0x1f 00000389: DUP3 0000038a: ADD 0000038b: AND 0000038c: DUP3 0000038d: ADD 0000038e: DUP1 0000038f: PUSH1 0x40 00000391: MSTORE 00000392: POP 00000393: DUP2 00000394: ADD 00000395: SWAP1 00000396: PUSH2 0x039f 00000399: SWAP2 0000039a: SWAP1 0000039b: PUSH2 0x1189 0000039e: JUMP 0000039f: JUMPDEST 000003a0: POP 000003a1: PUSH1 0x00 000003a3: SLOAD 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000 000003c8: DUP2 000003c9: MSTORE 000003ca: PUSH1 0x04 000003cc: DUP2 000003cd: ADD 000003ce: DUP6 000003cf: SWAP1 000003d0: MSTORE 000003d1: PUSH1 0x01 000003d3: PUSH1 0x01 000003d5: PUSH1 0xa0 000003d7: SHL 000003d8: SUB 000003d9: SWAP1 000003da: SWAP2 000003db: AND 000003dc: SWAP1 000003dd: PUSH4 0x42966c68 000003e2: SWAP1 000003e3: PUSH1 0x24 000003e5: ADD 000003e6: PUSH1 0x00 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: DUP1 000003ec: DUP4 000003ed: SUB 000003ee: DUP2 000003ef: PUSH1 0x00 000003f1: DUP8 000003f2: DUP1 000003f3: EXTCODESIZE 000003f4: ISZERO 000003f5: DUP1 000003f6: ISZERO 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: POP 00000401: GAS 00000402: CALL 00000403: ISZERO 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x0413 00000409: JUMPI 0000040a: RETURNDATASIZE 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: RETURNDATACOPY 0000040f: RETURNDATASIZE 00000410: PUSH1 0x00 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: POP 00000416: POP 00000417: POP 00000418: PUSH2 0x0468 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x0426 00000420: DUP5 00000421: DUP5 00000422: PUSH2 0x0b38 00000425: JUMP 00000426: JUMPDEST 00000427: PUSH1 0x01 00000429: PUSH1 0x01 0000042b: PUSH1 0xa0 0000042d: SHL 0000042e: SUB 0000042f: DUP1 00000430: DUP8 00000431: AND 00000432: PUSH1 0x00 00000434: SWAP1 00000435: DUP2 00000436: MSTORE 00000437: PUSH1 0x01 00000439: PUSH1 0x20 0000043b: SWAP1 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x40 00000440: DUP1 00000441: DUP4 00000442: KECCAK256 00000443: SWAP4 00000444: DUP10 00000445: AND 00000446: DUP4 00000447: MSTORE 00000448: SWAP3 00000449: SWAP1 0000044a: MSTORE 0000044b: SWAP1 0000044c: DUP2 0000044d: KECCAK256 0000044e: DUP1 0000044f: SLOAD 00000450: SWAP3 00000451: SWAP4 00000452: POP 00000453: DUP4 00000454: SWAP3 00000455: SWAP1 00000456: SWAP2 00000457: SWAP1 00000458: PUSH2 0x0462 0000045b: SWAP1 0000045c: DUP5 0000045d: SWAP1 0000045e: PUSH2 0x11c8 00000461: JUMP 00000462: JUMPDEST 00000463: SWAP1 00000464: SWAP2 00000465: SSTORE 00000466: POP 00000467: POP 00000468: JUMPDEST 00000469: DUP4 0000046a: PUSH1 0x01 0000046c: PUSH1 0x01 0000046e: PUSH1 0xa0 00000470: SHL 00000471: SUB 00000472: AND 00000473: DUP6 00000474: PUSH1 0x01 00000476: PUSH1 0x01 00000478: PUSH1 0xa0 0000047a: SHL 0000047b: SUB 0000047c: AND 0000047d: PUSH32 0xef519b7eb82aaf6ac376a6df2d793843ebfd593de5f1a0601d3cc6ab49ebb395 0000049e: DUP4 0000049f: DUP6 000004a0: PUSH1 0x40 000004a2: MLOAD 000004a3: PUSH2 0x04ad 000004a6: SWAP3 000004a7: SWAP2 000004a8: SWAP1 000004a9: PUSH2 0x11e0 000004ac: JUMP 000004ad: JUMPDEST 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: DUP1 000004b2: SWAP2 000004b3: SUB 000004b4: SWAP1 000004b5: LOG3 000004b6: POP 000004b7: POP 000004b8: PUSH1 0x01 000004ba: PUSH1 0x02 000004bc: SSTORE 000004bd: POP 000004be: POP 000004bf: POP 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x02 000004c4: DUP1 000004c5: SLOAD 000004c6: EQ 000004c7: ISZERO 000004c8: PUSH2 0x0513 000004cb: JUMPI 000004cc: PUSH1 0x40 000004ce: MLOAD 000004cf: PUSH3 0x461bcd 000004d3: PUSH1 0xe5 000004d5: SHL 000004d6: DUP2 000004d7: MSTORE 000004d8: PUSH1 0x20 000004da: PUSH1 0x04 000004dc: DUP3 000004dd: ADD 000004de: MSTORE 000004df: PUSH1 0x1f 000004e1: PUSH1 0x24 000004e3: DUP3 000004e4: ADD 000004e5: MSTORE 000004e6: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000507: PUSH1 0x44 00000509: DUP3 0000050a: ADD 0000050b: MSTORE 0000050c: PUSH1 0x64 0000050e: ADD 0000050f: PUSH2 0x01c2 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH1 0x02 00000516: DUP1 00000517: SSTORE 00000518: PUSH1 0x01 0000051a: PUSH1 0x01 0000051c: PUSH1 0xa0 0000051e: SHL 0000051f: SUB 00000520: DUP5 00000521: AND 00000522: ADDRESS 00000523: EQ 00000524: ISZERO 00000525: PUSH2 0x05de 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: JUMPDEST 0000052c: DUP3 0000052d: MLOAD 0000052e: DUP2 0000052f: LT 00000530: ISZERO 00000531: PUSH2 0x058b 00000534: JUMPI 00000535: PUSH2 0x0579 00000538: DUP5 00000539: DUP5 0000053a: DUP4 0000053b: DUP2 0000053c: MLOAD 0000053d: DUP2 0000053e: LT 0000053f: PUSH2 0x054a 00000542: JUMPI 00000543: PUSH2 0x054a 00000546: PUSH2 0x1201 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x20 0000054d: MUL 0000054e: PUSH1 0x20 00000550: ADD 00000551: ADD 00000552: MLOAD 00000553: PUSH1 0x00 00000555: ADD 00000556: MLOAD 00000557: DUP6 00000558: DUP5 00000559: DUP2 0000055a: MLOAD 0000055b: DUP2 0000055c: LT 0000055d: PUSH2 0x0568 00000560: JUMPI 00000561: PUSH2 0x0568 00000564: PUSH2 0x1201 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x20 0000056b: MUL 0000056c: PUSH1 0x20 0000056e: ADD 0000056f: ADD 00000570: MLOAD 00000571: PUSH1 0x20 00000573: ADD 00000574: MLOAD 00000575: PUSH2 0x0927 00000578: JUMP 00000579: JUMPDEST 0000057a: DUP1 0000057b: PUSH2 0x0583 0000057e: DUP2 0000057f: PUSH2 0x1217 00000582: JUMP 00000583: JUMPDEST 00000584: SWAP2 00000585: POP 00000586: POP 00000587: PUSH2 0x052b 0000058a: JUMP 0000058b: JUMPDEST 0000058c: POP 0000058d: DUP3 0000058e: PUSH1 0x01 00000590: PUSH1 0x01 00000592: PUSH1 0xa0 00000594: SHL 00000595: SUB 00000596: AND 00000597: CALLER 00000598: PUSH1 0x01 0000059a: PUSH1 0x01 0000059c: PUSH1 0xa0 0000059e: SHL 0000059f: SUB 000005a0: AND 000005a1: PUSH32 0x281daef48d91e5cd3d32db0784f6af69cd8d8d2e8c612a3568dca51ded51e08f 000005c2: DUP5 000005c3: DUP5 000005c4: PUSH1 0x40 000005c6: MLOAD 000005c7: PUSH2 0x05d1 000005ca: SWAP3 000005cb: SWAP2 000005cc: SWAP1 000005cd: PUSH2 0x1232 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH1 0x40 000005d4: MLOAD 000005d5: DUP1 000005d6: SWAP2 000005d7: SUB 000005d8: SWAP1 000005d9: LOG3 000005da: PUSH2 0x0645 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x00 000005e1: JUMPDEST 000005e2: DUP3 000005e3: MLOAD 000005e4: DUP2 000005e5: LT 000005e6: ISZERO 000005e7: PUSH2 0x0643 000005ea: JUMPI 000005eb: PUSH2 0x0631 000005ee: DUP6 000005ef: DUP6 000005f0: DUP6 000005f1: DUP5 000005f2: DUP2 000005f3: MLOAD 000005f4: DUP2 000005f5: LT 000005f6: PUSH2 0x0601 000005f9: JUMPI 000005fa: PUSH2 0x0601 000005fd: PUSH2 0x1201 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x20 00000604: MUL 00000605: PUSH1 0x20 00000607: ADD 00000608: ADD 00000609: MLOAD 0000060a: PUSH1 0x00 0000060c: ADD 0000060d: MLOAD 0000060e: DUP7 0000060f: DUP6 00000610: DUP2 00000611: MLOAD 00000612: DUP2 00000613: LT 00000614: PUSH2 0x061f 00000617: JUMPI 00000618: PUSH2 0x061f 0000061b: PUSH2 0x1201 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x20 00000622: MUL 00000623: PUSH1 0x20 00000625: ADD 00000626: ADD 00000627: MLOAD 00000628: PUSH1 0x20 0000062a: ADD 0000062b: MLOAD 0000062c: DUP7 0000062d: PUSH2 0x09a0 00000630: JUMP 00000631: JUMPDEST 00000632: DUP1 00000633: PUSH2 0x063b 00000636: DUP2 00000637: PUSH2 0x1217 0000063a: JUMP 0000063b: JUMPDEST 0000063c: SWAP2 0000063d: POP 0000063e: POP 0000063f: PUSH2 0x05e1 00000642: JUMP 00000643: JUMPDEST 00000644: POP 00000645: JUMPDEST 00000646: PUSH1 0x40 00000648: MLOAD 00000649: PUSH1 0x00 0000064b: SWAP1 0000064c: PUSH1 0x01 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: SHL 00000653: SUB 00000654: DUP6 00000655: AND 00000656: SWAP1 00000657: CALLVALUE 00000658: DUP1 00000659: ISZERO 0000065a: PUSH2 0x08fc 0000065d: MUL 0000065e: SWAP2 0000065f: DUP5 00000660: DUP2 00000661: DUP2 00000662: DUP2 00000663: DUP6 00000664: DUP9 00000665: DUP9 00000666: CALL 00000667: SWAP4 00000668: POP 00000669: POP 0000066a: POP 0000066b: POP 0000066c: SWAP1 0000066d: POP 0000066e: DUP1 0000066f: PUSH2 0x024c 00000672: JUMPI 00000673: PUSH1 0x00 00000675: DUP1 00000676: REVERT 00000677: JUMPDEST 00000678: DUP1 00000679: TIMESTAMP 0000067a: LT 0000067b: PUSH2 0x06c6 0000067e: JUMPI 0000067f: PUSH1 0x40 00000681: MLOAD 00000682: PUSH3 0x461bcd 00000686: PUSH1 0xe5 00000688: SHL 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: PUSH1 0x04 0000068f: DUP3 00000690: ADD 00000691: MSTORE 00000692: PUSH1 0x19 00000694: PUSH1 0x24 00000696: DUP3 00000697: ADD 00000698: MSTORE 00000699: PUSH32 0x54484f52436861696e5f526f757465723a206578706972656400000000000000 000006ba: PUSH1 0x44 000006bc: DUP3 000006bd: ADD 000006be: MSTORE 000006bf: PUSH1 0x64 000006c1: ADD 000006c2: PUSH2 0x01c2 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH2 0x06d2 000006ca: DUP6 000006cb: DUP6 000006cc: DUP6 000006cd: DUP6 000006ce: PUSH2 0x0258 000006d1: JUMP 000006d2: JUMPDEST 000006d3: POP 000006d4: POP 000006d5: POP 000006d6: POP 000006d7: POP 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH1 0x02 000006dc: DUP1 000006dd: SLOAD 000006de: EQ 000006df: ISZERO 000006e0: PUSH2 0x072b 000006e3: JUMPI 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: PUSH3 0x461bcd 000006eb: PUSH1 0xe5 000006ed: SHL 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x20 000006f2: PUSH1 0x04 000006f4: DUP3 000006f5: ADD 000006f6: MSTORE 000006f7: PUSH1 0x1f 000006f9: PUSH1 0x24 000006fb: DUP3 000006fc: ADD 000006fd: MSTORE 000006fe: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000071f: PUSH1 0x44 00000721: DUP3 00000722: ADD 00000723: MSTORE 00000724: PUSH1 0x64 00000726: ADD 00000727: PUSH2 0x01c2 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH1 0x02 0000072e: DUP1 0000072f: SSTORE 00000730: PUSH1 0x00 00000732: PUSH1 0x01 00000734: PUSH1 0x01 00000736: PUSH1 0xa0 00000738: SHL 00000739: SUB 0000073a: DUP5 0000073b: AND 0000073c: PUSH2 0x07a5 0000073f: JUMPI 00000740: POP 00000741: PUSH1 0x40 00000743: MLOAD 00000744: CALLVALUE 00000745: SWAP1 00000746: PUSH1 0x00 00000748: SWAP1 00000749: PUSH1 0x01 0000074b: PUSH1 0x01 0000074d: PUSH1 0xa0 0000074f: SHL 00000750: SUB 00000751: DUP8 00000752: AND 00000753: SWAP1 00000754: DUP4 00000755: ISZERO 00000756: PUSH2 0x08fc 00000759: MUL 0000075a: SWAP1 0000075b: DUP5 0000075c: SWAP1 0000075d: DUP5 0000075e: DUP2 0000075f: DUP2 00000760: DUP2 00000761: DUP6 00000762: DUP9 00000763: DUP9 00000764: CALL 00000765: SWAP4 00000766: POP 00000767: POP 00000768: POP 00000769: POP 0000076a: SWAP1 0000076b: POP 0000076c: DUP1 0000076d: PUSH2 0x079f 00000770: JUMPI 00000771: PUSH1 0x40 00000773: MLOAD 00000774: CALLER 00000775: SWAP1 00000776: DUP4 00000777: ISZERO 00000778: PUSH2 0x08fc 0000077b: MUL 0000077c: SWAP1 0000077d: DUP5 0000077e: SWAP1 0000077f: PUSH1 0x00 00000781: DUP2 00000782: DUP2 00000783: DUP2 00000784: DUP6 00000785: DUP9 00000786: DUP9 00000787: CALL 00000788: SWAP4 00000789: POP 0000078a: POP 0000078b: POP 0000078c: POP 0000078d: ISZERO 0000078e: DUP1 0000078f: ISZERO 00000790: PUSH2 0x079d 00000793: JUMPI 00000794: RETURNDATASIZE 00000795: PUSH1 0x00 00000797: DUP1 00000798: RETURNDATACOPY 00000799: RETURNDATASIZE 0000079a: PUSH1 0x00 0000079c: REVERT 0000079d: JUMPDEST 0000079e: POP 0000079f: JUMPDEST 000007a0: POP 000007a1: PUSH2 0x08e0 000007a4: JUMP 000007a5: JUMPDEST 000007a6: CALLER 000007a7: PUSH1 0x00 000007a9: SWAP1 000007aa: DUP2 000007ab: MSTORE 000007ac: PUSH1 0x01 000007ae: PUSH1 0x20 000007b0: SWAP1 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x40 000007b5: DUP1 000007b6: DUP4 000007b7: KECCAK256 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: DUP9 000007c1: AND 000007c2: DUP5 000007c3: MSTORE 000007c4: SWAP1 000007c5: SWAP2 000007c6: MSTORE 000007c7: DUP2 000007c8: KECCAK256 000007c9: DUP1 000007ca: SLOAD 000007cb: DUP6 000007cc: SWAP3 000007cd: SWAP1 000007ce: PUSH2 0x07d8 000007d1: SWAP1 000007d2: DUP5 000007d3: SWAP1 000007d4: PUSH2 0x129d 000007d7: JUMP 000007d8: JUMPDEST 000007d9: SWAP1 000007da: SWAP2 000007db: SSTORE 000007dc: POP 000007dd: POP 000007de: PUSH1 0x40 000007e0: MLOAD 000007e1: PUSH1 0x01 000007e3: PUSH1 0x01 000007e5: PUSH1 0xa0 000007e7: SHL 000007e8: SUB 000007e9: DUP7 000007ea: DUP2 000007eb: AND 000007ec: PUSH1 0x24 000007ee: DUP4 000007ef: ADD 000007f0: MSTORE 000007f1: PUSH1 0x44 000007f3: DUP3 000007f4: ADD 000007f5: DUP6 000007f6: SWAP1 000007f7: MSTORE 000007f8: PUSH1 0x00 000007fa: SWAP2 000007fb: DUP3 000007fc: SWAP2 000007fd: DUP8 000007fe: AND 000007ff: SWAP1 00000800: PUSH1 0x64 00000802: ADD 00000803: PUSH1 0x40 00000805: DUP1 00000806: MLOAD 00000807: PUSH1 0x1f 00000809: NOT 0000080a: DUP2 0000080b: DUP5 0000080c: SUB 0000080d: ADD 0000080e: DUP2 0000080f: MSTORE 00000810: SWAP2 00000811: DUP2 00000812: MSTORE 00000813: PUSH1 0x20 00000815: DUP3 00000816: ADD 00000817: DUP1 00000818: MLOAD 00000819: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000836: AND 00000837: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000858: OR 00000859: SWAP1 0000085a: MSTORE 0000085b: MLOAD 0000085c: PUSH2 0x0865 0000085f: SWAP2 00000860: SWAP1 00000861: PUSH2 0x12b4 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x00 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: DUP1 0000086c: DUP4 0000086d: SUB 0000086e: DUP2 0000086f: PUSH1 0x00 00000871: DUP7 00000872: GAS 00000873: CALL 00000874: SWAP2 00000875: POP 00000876: POP 00000877: RETURNDATASIZE 00000878: DUP1 00000879: PUSH1 0x00 0000087b: DUP2 0000087c: EQ 0000087d: PUSH2 0x08a2 00000880: JUMPI 00000881: PUSH1 0x40 00000883: MLOAD 00000884: SWAP2 00000885: POP 00000886: PUSH1 0x1f 00000888: NOT 00000889: PUSH1 0x3f 0000088b: RETURNDATASIZE 0000088c: ADD 0000088d: AND 0000088e: DUP3 0000088f: ADD 00000890: PUSH1 0x40 00000892: MSTORE 00000893: RETURNDATASIZE 00000894: DUP3 00000895: MSTORE 00000896: RETURNDATASIZE 00000897: PUSH1 0x00 00000899: PUSH1 0x20 0000089b: DUP5 0000089c: ADD 0000089d: RETURNDATACOPY 0000089e: PUSH2 0x08a7 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH1 0x60 000008a5: SWAP2 000008a6: POP 000008a7: JUMPDEST 000008a8: POP 000008a9: SWAP2 000008aa: POP 000008ab: SWAP2 000008ac: POP 000008ad: DUP2 000008ae: DUP1 000008af: ISZERO 000008b0: PUSH2 0x08d1 000008b3: JUMPI 000008b4: POP 000008b5: DUP1 000008b6: MLOAD 000008b7: ISZERO 000008b8: DUP1 000008b9: PUSH2 0x08d1 000008bc: JUMPI 000008bd: POP 000008be: DUP1 000008bf: DUP1 000008c0: PUSH1 0x20 000008c2: ADD 000008c3: SWAP1 000008c4: MLOAD 000008c5: DUP2 000008c6: ADD 000008c7: SWAP1 000008c8: PUSH2 0x08d1 000008cb: SWAP2 000008cc: SWAP1 000008cd: PUSH2 0x1189 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH2 0x08da 000008d5: JUMPI 000008d6: PUSH1 0x00 000008d8: DUP1 000008d9: REVERT 000008da: JUMPDEST 000008db: DUP5 000008dc: SWAP3 000008dd: POP 000008de: POP 000008df: POP 000008e0: JUMPDEST 000008e1: DUP5 000008e2: PUSH1 0x01 000008e4: PUSH1 0x01 000008e6: PUSH1 0xa0 000008e8: SHL 000008e9: SUB 000008ea: AND 000008eb: CALLER 000008ec: PUSH1 0x01 000008ee: PUSH1 0x01 000008f0: PUSH1 0xa0 000008f2: SHL 000008f3: SUB 000008f4: AND 000008f5: PUSH32 0xa9cd03aa3c1b4515114539cd53d22085129d495cb9e9f9af77864526240f1bf7 00000916: DUP7 00000917: DUP5 00000918: DUP7 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: PUSH2 0x04ad 0000091f: SWAP4 00000920: SWAP3 00000921: SWAP2 00000922: SWAP1 00000923: PUSH2 0x1158 00000926: JUMP 00000927: JUMPDEST 00000928: CALLER 00000929: PUSH1 0x00 0000092b: SWAP1 0000092c: DUP2 0000092d: MSTORE 0000092e: PUSH1 0x01 00000930: PUSH1 0x20 00000932: SWAP1 00000933: DUP2 00000934: MSTORE 00000935: PUSH1 0x40 00000937: DUP1 00000938: DUP4 00000939: KECCAK256 0000093a: PUSH1 0x01 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: SHL 00000941: SUB 00000942: DUP7 00000943: AND 00000944: DUP5 00000945: MSTORE 00000946: SWAP1 00000947: SWAP2 00000948: MSTORE 00000949: DUP2 0000094a: KECCAK256 0000094b: DUP1 0000094c: SLOAD 0000094d: DUP4 0000094e: SWAP3 0000094f: SWAP1 00000950: PUSH2 0x095a 00000953: SWAP1 00000954: DUP5 00000955: SWAP1 00000956: PUSH2 0x129d 00000959: JUMP 0000095a: JUMPDEST 0000095b: SWAP1 0000095c: SWAP2 0000095d: SSTORE 0000095e: POP 0000095f: POP 00000960: PUSH1 0x01 00000962: PUSH1 0x01 00000964: PUSH1 0xa0 00000966: SHL 00000967: SUB 00000968: DUP1 00000969: DUP5 0000096a: AND 0000096b: PUSH1 0x00 0000096d: SWAP1 0000096e: DUP2 0000096f: MSTORE 00000970: PUSH1 0x01 00000972: PUSH1 0x20 00000974: SWAP1 00000975: DUP2 00000976: MSTORE 00000977: PUSH1 0x40 00000979: DUP1 0000097a: DUP4 0000097b: KECCAK256 0000097c: SWAP4 0000097d: DUP7 0000097e: AND 0000097f: DUP4 00000980: MSTORE 00000981: SWAP3 00000982: SWAP1 00000983: MSTORE 00000984: SWAP1 00000985: DUP2 00000986: KECCAK256 00000987: DUP1 00000988: SLOAD 00000989: DUP4 0000098a: SWAP3 0000098b: SWAP1 0000098c: PUSH2 0x0996 0000098f: SWAP1 00000990: DUP5 00000991: SWAP1 00000992: PUSH2 0x11c8 00000995: JUMP 00000996: JUMPDEST 00000997: SWAP1 00000998: SWAP2 00000999: SSTORE 0000099a: POP 0000099b: POP 0000099c: POP 0000099d: POP 0000099e: POP 0000099f: JUMP 000009a0: JUMPDEST 000009a1: CALLER 000009a2: PUSH1 0x00 000009a4: SWAP1 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x01 000009a9: PUSH1 0x20 000009ab: SWAP1 000009ac: DUP2 000009ad: MSTORE 000009ae: PUSH1 0x40 000009b0: DUP1 000009b1: DUP4 000009b2: KECCAK256 000009b3: PUSH1 0x01 000009b5: PUSH1 0x01 000009b7: PUSH1 0xa0 000009b9: SHL 000009ba: SUB 000009bb: DUP8 000009bc: AND 000009bd: DUP5 000009be: MSTORE 000009bf: SWAP1 000009c0: SWAP2 000009c1: MSTORE 000009c2: DUP2 000009c3: KECCAK256 000009c4: DUP1 000009c5: SLOAD 000009c6: DUP5 000009c7: SWAP3 000009c8: SWAP1 000009c9: PUSH2 0x09d3 000009cc: SWAP1 000009cd: DUP5 000009ce: SWAP1 000009cf: PUSH2 0x129d 000009d2: JUMP 000009d3: JUMPDEST 000009d4: SWAP1 000009d5: SWAP2 000009d6: SSTORE 000009d7: POP 000009d8: POP 000009d9: PUSH1 0x40 000009db: MLOAD 000009dc: PUSH1 0x01 000009de: PUSH1 0x01 000009e0: PUSH1 0xa0 000009e2: SHL 000009e3: SUB 000009e4: DUP7 000009e5: DUP2 000009e6: AND 000009e7: PUSH1 0x24 000009e9: DUP4 000009ea: ADD 000009eb: MSTORE 000009ec: PUSH1 0x44 000009ee: DUP3 000009ef: ADD 000009f0: DUP5 000009f1: SWAP1 000009f2: MSTORE 000009f3: PUSH1 0x00 000009f5: SWAP2 000009f6: SWAP1 000009f7: DUP6 000009f8: AND 000009f9: SWAP1 000009fa: PUSH1 0x64 000009fc: ADD 000009fd: PUSH1 0x40 000009ff: DUP1 00000a00: MLOAD 00000a01: PUSH1 0x1f 00000a03: NOT 00000a04: DUP2 00000a05: DUP5 00000a06: SUB 00000a07: ADD 00000a08: DUP2 00000a09: MSTORE 00000a0a: SWAP2 00000a0b: DUP2 00000a0c: MSTORE 00000a0d: PUSH1 0x20 00000a0f: DUP3 00000a10: ADD 00000a11: DUP1 00000a12: MLOAD 00000a13: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a30: AND 00000a31: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000 00000a52: OR 00000a53: SWAP1 00000a54: MSTORE 00000a55: MLOAD 00000a56: PUSH2 0x0a5f 00000a59: SWAP2 00000a5a: SWAP1 00000a5b: PUSH2 0x12b4 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: PUSH1 0x00 00000a62: PUSH1 0x40 00000a64: MLOAD 00000a65: DUP1 00000a66: DUP4 00000a67: SUB 00000a68: DUP2 00000a69: PUSH1 0x00 00000a6b: DUP7 00000a6c: GAS 00000a6d: CALL 00000a6e: SWAP2 00000a6f: POP 00000a70: POP 00000a71: RETURNDATASIZE 00000a72: DUP1 00000a73: PUSH1 0x00 00000a75: DUP2 00000a76: EQ 00000a77: PUSH2 0x0a9c 00000a7a: JUMPI 00000a7b: PUSH1 0x40 00000a7d: MLOAD 00000a7e: SWAP2 00000a7f: POP 00000a80: PUSH1 0x1f 00000a82: NOT 00000a83: PUSH1 0x3f 00000a85: RETURNDATASIZE 00000a86: ADD 00000a87: AND 00000a88: DUP3 00000a89: ADD 00000a8a: PUSH1 0x40 00000a8c: MSTORE 00000a8d: RETURNDATASIZE 00000a8e: DUP3 00000a8f: MSTORE 00000a90: RETURNDATASIZE 00000a91: PUSH1 0x00 00000a93: PUSH1 0x20 00000a95: DUP5 00000a96: ADD 00000a97: RETURNDATACOPY 00000a98: PUSH2 0x0aa1 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH1 0x60 00000a9f: SWAP2 00000aa0: POP 00000aa1: JUMPDEST 00000aa2: POP 00000aa3: POP 00000aa4: SWAP1 00000aa5: POP 00000aa6: DUP1 00000aa7: PUSH2 0x0aaf 00000aaa: JUMPI 00000aab: PUSH1 0x00 00000aad: DUP1 00000aae: REVERT 00000aaf: JUMPDEST 00000ab0: PUSH1 0x40 00000ab2: MLOAD 00000ab3: PUSH32 0x44bc937b00000000000000000000000000000000000000000000000000000000 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: PUSH1 0x01 00000ad8: PUSH1 0x01 00000ada: PUSH1 0xa0 00000adc: SHL 00000add: SUB 00000ade: DUP8 00000adf: AND 00000ae0: SWAP1 00000ae1: PUSH4 0x44bc937b 00000ae6: SWAP1 00000ae7: PUSH2 0x0afe 00000aea: SWAP1 00000aeb: DUP9 00000aec: SWAP1 00000aed: DUP9 00000aee: SWAP1 00000aef: DUP9 00000af0: SWAP1 00000af1: DUP9 00000af2: SWAP1 00000af3: PUSH1 0x00 00000af5: NOT 00000af6: SWAP1 00000af7: PUSH1 0x04 00000af9: ADD 00000afa: PUSH2 0x12d0 00000afd: JUMP 00000afe: JUMPDEST 00000aff: PUSH1 0x00 00000b01: PUSH1 0x40 00000b03: MLOAD 00000b04: DUP1 00000b05: DUP4 00000b06: SUB 00000b07: DUP2 00000b08: PUSH1 0x00 00000b0a: DUP8 00000b0b: DUP1 00000b0c: EXTCODESIZE 00000b0d: ISZERO 00000b0e: DUP1 00000b0f: ISZERO 00000b10: PUSH2 0x0b18 00000b13: JUMPI 00000b14: PUSH1 0x00 00000b16: DUP1 00000b17: REVERT 00000b18: JUMPDEST 00000b19: POP 00000b1a: GAS 00000b1b: CALL 00000b1c: ISZERO 00000b1d: DUP1 00000b1e: ISZERO 00000b1f: PUSH2 0x0b2c 00000b22: JUMPI 00000b23: RETURNDATASIZE 00000b24: PUSH1 0x00 00000b26: DUP1 00000b27: RETURNDATACOPY 00000b28: RETURNDATASIZE 00000b29: PUSH1 0x00 00000b2b: REVERT 00000b2c: JUMPDEST 00000b2d: POP 00000b2e: POP 00000b2f: POP 00000b30: POP 00000b31: POP 00000b32: POP 00000b33: POP 00000b34: POP 00000b35: POP 00000b36: POP 00000b37: JUMP 00000b38: JUMPDEST 00000b39: PUSH1 0x40 00000b3b: MLOAD 00000b3c: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000b5d: DUP2 00000b5e: MSTORE 00000b5f: ADDRESS 00000b60: PUSH1 0x04 00000b62: DUP3 00000b63: ADD 00000b64: MSTORE 00000b65: PUSH1 0x00 00000b67: SWAP1 00000b68: DUP2 00000b69: SWAP1 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0x01 00000b6e: PUSH1 0xa0 00000b70: SHL 00000b71: SUB 00000b72: DUP6 00000b73: AND 00000b74: SWAP1 00000b75: PUSH4 0x70a08231 00000b7a: SWAP1 00000b7b: PUSH1 0x24 00000b7d: ADD 00000b7e: PUSH1 0x20 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: DUP1 00000b84: DUP4 00000b85: SUB 00000b86: DUP2 00000b87: DUP7 00000b88: GAS 00000b89: STATICCALL 00000b8a: ISZERO 00000b8b: DUP1 00000b8c: ISZERO 00000b8d: PUSH2 0x0b9a 00000b90: JUMPI 00000b91: RETURNDATASIZE 00000b92: PUSH1 0x00 00000b94: DUP1 00000b95: RETURNDATACOPY 00000b96: RETURNDATASIZE 00000b97: PUSH1 0x00 00000b99: REVERT 00000b9a: JUMPDEST 00000b9b: POP 00000b9c: POP 00000b9d: POP 00000b9e: POP 00000b9f: PUSH1 0x40 00000ba1: MLOAD 00000ba2: RETURNDATASIZE 00000ba3: PUSH1 0x1f 00000ba5: NOT 00000ba6: PUSH1 0x1f 00000ba8: DUP3 00000ba9: ADD 00000baa: AND 00000bab: DUP3 00000bac: ADD 00000bad: DUP1 00000bae: PUSH1 0x40 00000bb0: MSTORE 00000bb1: POP 00000bb2: DUP2 00000bb3: ADD 00000bb4: SWAP1 00000bb5: PUSH2 0x0bbe 00000bb8: SWAP2 00000bb9: SWAP1 00000bba: PUSH2 0x1314 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH1 0x40 00000bc1: MLOAD 00000bc2: CALLER 00000bc3: PUSH1 0x24 00000bc5: DUP3 00000bc6: ADD 00000bc7: MSTORE 00000bc8: ADDRESS 00000bc9: PUSH1 0x44 00000bcb: DUP3 00000bcc: ADD 00000bcd: MSTORE 00000bce: PUSH1 0x64 00000bd0: DUP2 00000bd1: ADD 00000bd2: DUP6 00000bd3: SWAP1 00000bd4: MSTORE 00000bd5: SWAP1 00000bd6: SWAP2 00000bd7: POP 00000bd8: PUSH1 0x00 00000bda: SWAP1 00000bdb: DUP2 00000bdc: SWAP1 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0x01 00000be1: PUSH1 0xa0 00000be3: SHL 00000be4: SUB 00000be5: DUP8 00000be6: AND 00000be7: SWAP1 00000be8: PUSH1 0x84 00000bea: ADD 00000beb: PUSH1 0x40 00000bed: DUP1 00000bee: MLOAD 00000bef: PUSH1 0x1f 00000bf1: NOT 00000bf2: DUP2 00000bf3: DUP5 00000bf4: SUB 00000bf5: ADD 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: SWAP2 00000bf9: DUP2 00000bfa: MSTORE 00000bfb: PUSH1 0x20 00000bfd: DUP3 00000bfe: ADD 00000bff: DUP1 00000c00: MLOAD 00000c01: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c1e: AND 00000c1f: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000c40: OR 00000c41: SWAP1 00000c42: MSTORE 00000c43: MLOAD 00000c44: PUSH2 0x0c4d 00000c47: SWAP2 00000c48: SWAP1 00000c49: PUSH2 0x12b4 00000c4c: JUMP 00000c4d: JUMPDEST 00000c4e: PUSH1 0x00 00000c50: PUSH1 0x40 00000c52: MLOAD 00000c53: DUP1 00000c54: DUP4 00000c55: SUB 00000c56: DUP2 00000c57: PUSH1 0x00 00000c59: DUP7 00000c5a: GAS 00000c5b: CALL 00000c5c: SWAP2 00000c5d: POP 00000c5e: POP 00000c5f: RETURNDATASIZE 00000c60: DUP1 00000c61: PUSH1 0x00 00000c63: DUP2 00000c64: EQ 00000c65: PUSH2 0x0c8a 00000c68: JUMPI 00000c69: PUSH1 0x40 00000c6b: MLOAD 00000c6c: SWAP2 00000c6d: POP 00000c6e: PUSH1 0x1f 00000c70: NOT 00000c71: PUSH1 0x3f 00000c73: RETURNDATASIZE 00000c74: ADD 00000c75: AND 00000c76: DUP3 00000c77: ADD 00000c78: PUSH1 0x40 00000c7a: MSTORE 00000c7b: RETURNDATASIZE 00000c7c: DUP3 00000c7d: MSTORE 00000c7e: RETURNDATASIZE 00000c7f: PUSH1 0x00 00000c81: PUSH1 0x20 00000c83: DUP5 00000c84: ADD 00000c85: RETURNDATACOPY 00000c86: PUSH2 0x0c8f 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH1 0x60 00000c8d: SWAP2 00000c8e: POP 00000c8f: JUMPDEST 00000c90: POP 00000c91: SWAP2 00000c92: POP 00000c93: SWAP2 00000c94: POP 00000c95: DUP2 00000c96: DUP1 00000c97: ISZERO 00000c98: PUSH2 0x0cb9 00000c9b: JUMPI 00000c9c: POP 00000c9d: DUP1 00000c9e: MLOAD 00000c9f: ISZERO 00000ca0: DUP1 00000ca1: PUSH2 0x0cb9 00000ca4: JUMPI 00000ca5: POP 00000ca6: DUP1 00000ca7: DUP1 00000ca8: PUSH1 0x20 00000caa: ADD 00000cab: SWAP1 00000cac: MLOAD 00000cad: DUP2 00000cae: ADD 00000caf: SWAP1 00000cb0: PUSH2 0x0cb9 00000cb3: SWAP2 00000cb4: SWAP1 00000cb5: PUSH2 0x1189 00000cb8: JUMP 00000cb9: JUMPDEST 00000cba: PUSH2 0x0cc2 00000cbd: JUMPI 00000cbe: PUSH1 0x00 00000cc0: DUP1 00000cc1: REVERT 00000cc2: JUMPDEST 00000cc3: PUSH1 0x40 00000cc5: MLOAD 00000cc6: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: ADDRESS 00000cea: PUSH1 0x04 00000cec: DUP3 00000ced: ADD 00000cee: MSTORE 00000cef: DUP4 00000cf0: SWAP1 00000cf1: PUSH1 0x01 00000cf3: PUSH1 0x01 00000cf5: PUSH1 0xa0 00000cf7: SHL 00000cf8: SUB 00000cf9: DUP9 00000cfa: AND 00000cfb: SWAP1 00000cfc: PUSH4 0x70a08231 00000d01: SWAP1 00000d02: PUSH1 0x24 00000d04: ADD 00000d05: PUSH1 0x20 00000d07: PUSH1 0x40 00000d09: MLOAD 00000d0a: DUP1 00000d0b: DUP4 00000d0c: SUB 00000d0d: DUP2 00000d0e: DUP7 00000d0f: GAS 00000d10: STATICCALL 00000d11: ISZERO 00000d12: DUP1 00000d13: ISZERO 00000d14: PUSH2 0x0d21 00000d17: JUMPI 00000d18: RETURNDATASIZE 00000d19: PUSH1 0x00 00000d1b: DUP1 00000d1c: RETURNDATACOPY 00000d1d: RETURNDATASIZE 00000d1e: PUSH1 0x00 00000d20: REVERT 00000d21: JUMPDEST 00000d22: POP 00000d23: POP 00000d24: POP 00000d25: POP 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: RETURNDATASIZE 00000d2a: PUSH1 0x1f 00000d2c: NOT 00000d2d: PUSH1 0x1f 00000d2f: DUP3 00000d30: ADD 00000d31: AND 00000d32: DUP3 00000d33: ADD 00000d34: DUP1 00000d35: PUSH1 0x40 00000d37: MSTORE 00000d38: POP 00000d39: DUP2 00000d3a: ADD 00000d3b: SWAP1 00000d3c: PUSH2 0x0d45 00000d3f: SWAP2 00000d40: SWAP1 00000d41: PUSH2 0x1314 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH2 0x0d4f 00000d49: SWAP2 00000d4a: SWAP1 00000d4b: PUSH2 0x129d 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: SWAP7 00000d51: SWAP6 00000d52: POP 00000d53: POP 00000d54: POP 00000d55: POP 00000d56: POP 00000d57: POP 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH1 0x01 00000d5c: PUSH1 0x01 00000d5e: PUSH1 0xa0 00000d60: SHL 00000d61: SUB 00000d62: DUP2 00000d63: AND 00000d64: DUP2 00000d65: EQ 00000d66: PUSH2 0x0d6e 00000d69: JUMPI 00000d6a: PUSH1 0x00 00000d6c: DUP1 00000d6d: REVERT 00000d6e: JUMPDEST 00000d6f: POP 00000d70: JUMP 00000d71: JUMPDEST 00000d72: PUSH1 0x00 00000d74: DUP1 00000d75: PUSH1 0x40 00000d77: DUP4 00000d78: DUP6 00000d79: SUB 00000d7a: SLT 00000d7b: ISZERO 00000d7c: PUSH2 0x0d84 00000d7f: JUMPI 00000d80: PUSH1 0x00 00000d82: DUP1 00000d83: REVERT 00000d84: JUMPDEST 00000d85: DUP3 00000d86: CALLDATALOAD 00000d87: PUSH2 0x0d8f 00000d8a: DUP2 00000d8b: PUSH2 0x0d59 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: SWAP2 00000d91: POP 00000d92: PUSH1 0x20 00000d94: DUP4 00000d95: ADD 00000d96: CALLDATALOAD 00000d97: PUSH2 0x0d9f 00000d9a: DUP2 00000d9b: PUSH2 0x0d59 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: DUP1 00000da1: SWAP2 00000da2: POP 00000da3: POP 00000da4: SWAP3 00000da5: POP 00000da6: SWAP3 00000da7: SWAP1 00000da8: POP 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH4 0x4e487b71 00000db0: PUSH1 0xe0 00000db2: SHL 00000db3: PUSH1 0x00 00000db5: MSTORE 00000db6: PUSH1 0x41 00000db8: PUSH1 0x04 00000dba: MSTORE 00000dbb: PUSH1 0x24 00000dbd: PUSH1 0x00 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: PUSH1 0x40 00000dc3: DUP1 00000dc4: MLOAD 00000dc5: SWAP1 00000dc6: DUP2 00000dc7: ADD 00000dc8: PUSH8 0xffffffffffffffff 00000dd1: DUP2 00000dd2: GT 00000dd3: DUP3 00000dd4: DUP3 00000dd5: LT 00000dd6: OR 00000dd7: ISZERO 00000dd8: PUSH2 0x0de3 00000ddb: JUMPI 00000ddc: PUSH2 0x0de3 00000ddf: PUSH2 0x0daa 00000de2: JUMP 00000de3: JUMPDEST 00000de4: PUSH1 0x40 00000de6: MSTORE 00000de7: SWAP1 00000de8: JUMP 00000de9: JUMPDEST 00000dea: PUSH1 0x40 00000dec: MLOAD 00000ded: PUSH1 0x1f 00000def: DUP3 00000df0: ADD 00000df1: PUSH1 0x1f 00000df3: NOT 00000df4: AND 00000df5: DUP2 00000df6: ADD 00000df7: PUSH8 0xffffffffffffffff 00000e00: DUP2 00000e01: GT 00000e02: DUP3 00000e03: DUP3 00000e04: LT 00000e05: OR 00000e06: ISZERO 00000e07: PUSH2 0x0e12 00000e0a: JUMPI 00000e0b: PUSH2 0x0e12 00000e0e: PUSH2 0x0daa 00000e11: JUMP 00000e12: JUMPDEST 00000e13: PUSH1 0x40 00000e15: MSTORE 00000e16: SWAP2 00000e17: SWAP1 00000e18: POP 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: PUSH1 0x00 00000e1d: DUP3 00000e1e: PUSH1 0x1f 00000e20: DUP4 00000e21: ADD 00000e22: SLT 00000e23: PUSH2 0x0e2b 00000e26: JUMPI 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: REVERT 00000e2b: JUMPDEST 00000e2c: DUP2 00000e2d: CALLDATALOAD 00000e2e: PUSH8 0xffffffffffffffff 00000e37: DUP2 00000e38: GT 00000e39: ISZERO 00000e3a: PUSH2 0x0e45 00000e3d: JUMPI 00000e3e: PUSH2 0x0e45 00000e41: PUSH2 0x0daa 00000e44: JUMP 00000e45: JUMPDEST 00000e46: PUSH2 0x0e58 00000e49: PUSH1 0x20 00000e4b: PUSH1 0x1f 00000e4d: NOT 00000e4e: PUSH1 0x1f 00000e50: DUP5 00000e51: ADD 00000e52: AND 00000e53: ADD 00000e54: PUSH2 0x0de9 00000e57: JUMP 00000e58: JUMPDEST 00000e59: DUP2 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: DUP5 00000e5d: PUSH1 0x20 00000e5f: DUP4 00000e60: DUP7 00000e61: ADD 00000e62: ADD 00000e63: GT 00000e64: ISZERO 00000e65: PUSH2 0x0e6d 00000e68: JUMPI 00000e69: PUSH1 0x00 00000e6b: DUP1 00000e6c: REVERT 00000e6d: JUMPDEST 00000e6e: DUP2 00000e6f: PUSH1 0x20 00000e71: DUP6 00000e72: ADD 00000e73: PUSH1 0x20 00000e75: DUP4 00000e76: ADD 00000e77: CALLDATACOPY 00000e78: PUSH1 0x00 00000e7a: SWAP2 00000e7b: DUP2 00000e7c: ADD 00000e7d: PUSH1 0x20 00000e7f: ADD 00000e80: SWAP2 00000e81: SWAP1 00000e82: SWAP2 00000e83: MSTORE 00000e84: SWAP4 00000e85: SWAP3 00000e86: POP 00000e87: POP 00000e88: POP 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x00 00000e8d: DUP1 00000e8e: PUSH1 0x00 00000e90: DUP1 00000e91: PUSH1 0x00 00000e93: PUSH1 0xa0 00000e95: DUP7 00000e96: DUP9 00000e97: SUB 00000e98: SLT 00000e99: ISZERO 00000e9a: PUSH2 0x0ea2 00000e9d: JUMPI 00000e9e: PUSH1 0x00 00000ea0: DUP1 00000ea1: REVERT 00000ea2: JUMPDEST 00000ea3: DUP6 00000ea4: CALLDATALOAD 00000ea5: PUSH2 0x0ead 00000ea8: DUP2 00000ea9: PUSH2 0x0d59 00000eac: JUMP 00000ead: JUMPDEST 00000eae: SWAP5 00000eaf: POP 00000eb0: PUSH1 0x20 00000eb2: DUP7 00000eb3: ADD 00000eb4: CALLDATALOAD 00000eb5: PUSH2 0x0ebd 00000eb8: DUP2 00000eb9: PUSH2 0x0d59 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: SWAP4 00000ebf: POP 00000ec0: PUSH1 0x40 00000ec2: DUP7 00000ec3: ADD 00000ec4: CALLDATALOAD 00000ec5: PUSH2 0x0ecd 00000ec8: DUP2 00000ec9: PUSH2 0x0d59 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: SWAP3 00000ecf: POP 00000ed0: PUSH1 0x60 00000ed2: DUP7 00000ed3: ADD 00000ed4: CALLDATALOAD 00000ed5: SWAP2 00000ed6: POP 00000ed7: PUSH1 0x80 00000ed9: DUP7 00000eda: ADD 00000edb: CALLDATALOAD 00000edc: PUSH8 0xffffffffffffffff 00000ee5: DUP2 00000ee6: GT 00000ee7: ISZERO 00000ee8: PUSH2 0x0ef0 00000eeb: JUMPI 00000eec: PUSH1 0x00 00000eee: DUP1 00000eef: REVERT 00000ef0: JUMPDEST 00000ef1: PUSH2 0x0efc 00000ef4: DUP9 00000ef5: DUP3 00000ef6: DUP10 00000ef7: ADD 00000ef8: PUSH2 0x0e1a 00000efb: JUMP 00000efc: JUMPDEST 00000efd: SWAP2 00000efe: POP 00000eff: POP 00000f00: SWAP3 00000f01: SWAP6 00000f02: POP 00000f03: SWAP3 00000f04: SWAP6 00000f05: SWAP1 00000f06: SWAP4 00000f07: POP 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: PUSH1 0x00 00000f0c: DUP1 00000f0d: PUSH1 0x00 00000f0f: DUP1 00000f10: PUSH1 0x80 00000f12: DUP6 00000f13: DUP8 00000f14: SUB 00000f15: SLT 00000f16: ISZERO 00000f17: PUSH2 0x0f1f 00000f1a: JUMPI 00000f1b: PUSH1 0x00 00000f1d: DUP1 00000f1e: REVERT 00000f1f: JUMPDEST 00000f20: DUP5 00000f21: CALLDATALOAD 00000f22: PUSH2 0x0f2a 00000f25: DUP2 00000f26: PUSH2 0x0d59 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: SWAP4 00000f2c: POP 00000f2d: PUSH1 0x20 00000f2f: DUP6 00000f30: ADD 00000f31: CALLDATALOAD 00000f32: PUSH2 0x0f3a 00000f35: DUP2 00000f36: PUSH2 0x0d59 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: SWAP3 00000f3c: POP 00000f3d: PUSH1 0x40 00000f3f: DUP6 00000f40: ADD 00000f41: CALLDATALOAD 00000f42: SWAP2 00000f43: POP 00000f44: PUSH1 0x60 00000f46: DUP6 00000f47: ADD 00000f48: CALLDATALOAD 00000f49: PUSH8 0xffffffffffffffff 00000f52: DUP2 00000f53: GT 00000f54: ISZERO 00000f55: PUSH2 0x0f5d 00000f58: JUMPI 00000f59: PUSH1 0x00 00000f5b: DUP1 00000f5c: REVERT 00000f5d: JUMPDEST 00000f5e: PUSH2 0x0f69 00000f61: DUP8 00000f62: DUP3 00000f63: DUP9 00000f64: ADD 00000f65: PUSH2 0x0e1a 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: SWAP2 00000f6b: POP 00000f6c: POP 00000f6d: SWAP3 00000f6e: SWAP6 00000f6f: SWAP2 00000f70: SWAP5 00000f71: POP 00000f72: SWAP3 00000f73: POP 00000f74: JUMP 00000f75: JUMPDEST 00000f76: PUSH1 0x00 00000f78: DUP1 00000f79: PUSH1 0x00 00000f7b: DUP1 00000f7c: PUSH1 0x80 00000f7e: DUP6 00000f7f: DUP8 00000f80: SUB 00000f81: SLT 00000f82: ISZERO 00000f83: PUSH2 0x0f8b 00000f86: JUMPI 00000f87: PUSH1 0x00 00000f89: DUP1 00000f8a: REVERT 00000f8b: JUMPDEST 00000f8c: DUP5 00000f8d: CALLDATALOAD 00000f8e: PUSH2 0x0f96 00000f91: DUP2 00000f92: PUSH2 0x0d59 00000f95: JUMP 00000f96: JUMPDEST 00000f97: SWAP4 00000f98: POP 00000f99: PUSH1 0x20 00000f9b: DUP6 00000f9c: DUP2 00000f9d: ADD 00000f9e: CALLDATALOAD 00000f9f: PUSH2 0x0fa7 00000fa2: DUP2 00000fa3: PUSH2 0x0d59 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: SWAP4 00000fa9: POP 00000faa: PUSH1 0x40 00000fac: DUP7 00000fad: DUP2 00000fae: ADD 00000faf: CALLDATALOAD 00000fb0: PUSH8 0xffffffffffffffff 00000fb9: DUP1 00000fba: DUP3 00000fbb: GT 00000fbc: ISZERO 00000fbd: PUSH2 0x0fc5 00000fc0: JUMPI 00000fc1: PUSH1 0x00 00000fc3: DUP1 00000fc4: REVERT 00000fc5: JUMPDEST 00000fc6: DUP2 00000fc7: DUP10 00000fc8: ADD 00000fc9: SWAP2 00000fca: POP 00000fcb: DUP10 00000fcc: PUSH1 0x1f 00000fce: DUP4 00000fcf: ADD 00000fd0: SLT 00000fd1: PUSH2 0x0fd9 00000fd4: JUMPI 00000fd5: PUSH1 0x00 00000fd7: DUP1 00000fd8: REVERT 00000fd9: JUMPDEST 00000fda: DUP2 00000fdb: CALLDATALOAD 00000fdc: DUP2 00000fdd: DUP2 00000fde: GT 00000fdf: ISZERO 00000fe0: PUSH2 0x0feb 00000fe3: JUMPI 00000fe4: PUSH2 0x0feb 00000fe7: PUSH2 0x0daa 00000fea: JUMP 00000feb: JUMPDEST 00000fec: PUSH2 0x0ff9 00000fef: DUP6 00000ff0: DUP3 00000ff1: PUSH1 0x05 00000ff3: SHL 00000ff4: ADD 00000ff5: PUSH2 0x0de9 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: DUP2 00000ffb: DUP2 00000ffc: MSTORE 00000ffd: PUSH1 0x06 00000fff: SWAP2 00001000: SWAP1 00001001: SWAP2 00001002: SHL 00001003: DUP4 00001004: ADD 00001005: DUP6 00001006: ADD 00001007: SWAP1 00001008: DUP6 00001009: DUP2 0000100a: ADD 0000100b: SWAP1 0000100c: DUP13 0000100d: DUP4 0000100e: GT 0000100f: ISZERO 00001010: PUSH2 0x1018 00001013: JUMPI 00001014: PUSH1 0x00 00001016: DUP1 00001017: REVERT 00001018: JUMPDEST 00001019: SWAP4 0000101a: DUP7 0000101b: ADD 0000101c: SWAP4 0000101d: JUMPDEST 0000101e: DUP3 0000101f: DUP6 00001020: LT 00001021: ISZERO 00001022: PUSH2 0x1061 00001025: JUMPI 00001026: DUP6 00001027: DUP6 00001028: DUP15 00001029: SUB 0000102a: SLT 0000102b: ISZERO 0000102c: PUSH2 0x1035 0000102f: JUMPI 00001030: PUSH1 0x00 00001032: DUP1 00001033: DUP2 00001034: REVERT 00001035: JUMPDEST 00001036: PUSH2 0x103d 00001039: PUSH2 0x0dc0 0000103c: JUMP 0000103d: JUMPDEST 0000103e: DUP6 0000103f: CALLDATALOAD 00001040: PUSH2 0x1048 00001043: DUP2 00001044: PUSH2 0x0d59 00001047: JUMP 00001048: JUMPDEST 00001049: DUP2 0000104a: MSTORE 0000104b: DUP6 0000104c: DUP9 0000104d: ADD 0000104e: CALLDATALOAD 0000104f: DUP9 00001050: DUP3 00001051: ADD 00001052: MSTORE 00001053: DUP3 00001054: MSTORE 00001055: SWAP4 00001056: DUP6 00001057: ADD 00001058: SWAP4 00001059: SWAP1 0000105a: DUP7 0000105b: ADD 0000105c: SWAP1 0000105d: PUSH2 0x101d 00001060: JUMP 00001061: JUMPDEST 00001062: SWAP8 00001063: POP 00001064: POP 00001065: POP 00001066: PUSH1 0x60 00001068: DUP10 00001069: ADD 0000106a: CALLDATALOAD 0000106b: SWAP4 0000106c: POP 0000106d: DUP1 0000106e: DUP5 0000106f: GT 00001070: ISZERO 00001071: PUSH2 0x1079 00001074: JUMPI 00001075: PUSH1 0x00 00001077: DUP1 00001078: REVERT 00001079: JUMPDEST 0000107a: POP 0000107b: POP 0000107c: POP 0000107d: PUSH2 0x0f69 00001080: DUP8 00001081: DUP3 00001082: DUP9 00001083: ADD 00001084: PUSH2 0x0e1a 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH1 0x00 0000108b: DUP1 0000108c: PUSH1 0x00 0000108e: DUP1 0000108f: PUSH1 0x00 00001091: PUSH1 0xa0 00001093: DUP7 00001094: DUP9 00001095: SUB 00001096: SLT 00001097: ISZERO 00001098: PUSH2 0x10a0 0000109b: JUMPI 0000109c: PUSH1 0x00 0000109e: DUP1 0000109f: REVERT 000010a0: JUMPDEST 000010a1: DUP6 000010a2: CALLDATALOAD 000010a3: PUSH2 0x10ab 000010a6: DUP2 000010a7: PUSH2 0x0d59 000010aa: JUMP 000010ab: JUMPDEST 000010ac: SWAP5 000010ad: POP 000010ae: PUSH1 0x20 000010b0: DUP7 000010b1: ADD 000010b2: CALLDATALOAD 000010b3: PUSH2 0x10bb 000010b6: DUP2 000010b7: PUSH2 0x0d59 000010ba: JUMP 000010bb: JUMPDEST 000010bc: SWAP4 000010bd: POP 000010be: PUSH1 0x40 000010c0: DUP7 000010c1: ADD 000010c2: CALLDATALOAD 000010c3: SWAP3 000010c4: POP 000010c5: PUSH1 0x60 000010c7: DUP7 000010c8: ADD 000010c9: CALLDATALOAD 000010ca: PUSH8 0xffffffffffffffff 000010d3: DUP2 000010d4: GT 000010d5: ISZERO 000010d6: PUSH2 0x10de 000010d9: JUMPI 000010da: PUSH1 0x00 000010dc: DUP1 000010dd: REVERT 000010de: JUMPDEST 000010df: PUSH2 0x10ea 000010e2: DUP9 000010e3: DUP3 000010e4: DUP10 000010e5: ADD 000010e6: PUSH2 0x0e1a 000010e9: JUMP 000010ea: JUMPDEST 000010eb: SWAP6 000010ec: SWAP9 000010ed: SWAP5 000010ee: SWAP8 000010ef: POP 000010f0: SWAP3 000010f1: SWAP6 000010f2: PUSH1 0x80 000010f4: ADD 000010f5: CALLDATALOAD 000010f6: SWAP4 000010f7: SWAP3 000010f8: POP 000010f9: POP 000010fa: POP 000010fb: JUMP 000010fc: JUMPDEST 000010fd: PUSH1 0x00 000010ff: JUMPDEST 00001100: DUP4 00001101: DUP2 00001102: LT 00001103: ISZERO 00001104: PUSH2 0x1117 00001107: JUMPI 00001108: DUP2 00001109: DUP2 0000110a: ADD 0000110b: MLOAD 0000110c: DUP4 0000110d: DUP3 0000110e: ADD 0000110f: MSTORE 00001110: PUSH1 0x20 00001112: ADD 00001113: PUSH2 0x10ff 00001116: JUMP 00001117: JUMPDEST 00001118: DUP4 00001119: DUP2 0000111a: GT 0000111b: ISZERO 0000111c: PUSH2 0x1126 0000111f: JUMPI 00001120: PUSH1 0x00 00001122: DUP5 00001123: DUP5 00001124: ADD 00001125: MSTORE 00001126: JUMPDEST 00001127: POP 00001128: POP 00001129: POP 0000112a: POP 0000112b: JUMP 0000112c: JUMPDEST 0000112d: PUSH1 0x00 0000112f: DUP2 00001130: MLOAD 00001131: DUP1 00001132: DUP5 00001133: MSTORE 00001134: PUSH2 0x1144 00001137: DUP2 00001138: PUSH1 0x20 0000113a: DUP7 0000113b: ADD 0000113c: PUSH1 0x20 0000113e: DUP7 0000113f: ADD 00001140: PUSH2 0x10fc 00001143: JUMP 00001144: JUMPDEST 00001145: PUSH1 0x1f 00001147: ADD 00001148: PUSH1 0x1f 0000114a: NOT 0000114b: AND 0000114c: SWAP3 0000114d: SWAP1 0000114e: SWAP3 0000114f: ADD 00001150: PUSH1 0x20 00001152: ADD 00001153: SWAP3 00001154: SWAP2 00001155: POP 00001156: POP 00001157: JUMP 00001158: JUMPDEST 00001159: PUSH1 0x01 0000115b: PUSH1 0x01 0000115d: PUSH1 0xa0 0000115f: SHL 00001160: SUB 00001161: DUP5 00001162: AND 00001163: DUP2 00001164: MSTORE 00001165: DUP3 00001166: PUSH1 0x20 00001168: DUP3 00001169: ADD 0000116a: MSTORE 0000116b: PUSH1 0x60 0000116d: PUSH1 0x40 0000116f: DUP3 00001170: ADD 00001171: MSTORE 00001172: PUSH1 0x00 00001174: PUSH2 0x1180 00001177: PUSH1 0x60 00001179: DUP4 0000117a: ADD 0000117b: DUP5 0000117c: PUSH2 0x112c 0000117f: JUMP 00001180: JUMPDEST 00001181: SWAP6 00001182: SWAP5 00001183: POP 00001184: POP 00001185: POP 00001186: POP 00001187: POP 00001188: JUMP 00001189: JUMPDEST 0000118a: PUSH1 0x00 0000118c: PUSH1 0x20 0000118e: DUP3 0000118f: DUP5 00001190: SUB 00001191: SLT 00001192: ISZERO 00001193: PUSH2 0x119b 00001196: JUMPI 00001197: PUSH1 0x00 00001199: DUP1 0000119a: REVERT 0000119b: JUMPDEST 0000119c: DUP2 0000119d: MLOAD 0000119e: DUP1 0000119f: ISZERO 000011a0: ISZERO 000011a1: DUP2 000011a2: EQ 000011a3: PUSH2 0x11ab 000011a6: JUMPI 000011a7: PUSH1 0x00 000011a9: DUP1 000011aa: REVERT 000011ab: JUMPDEST 000011ac: SWAP4 000011ad: SWAP3 000011ae: POP 000011af: POP 000011b0: POP 000011b1: JUMP 000011b2: JUMPDEST 000011b3: PUSH4 0x4e487b71 000011b8: PUSH1 0xe0 000011ba: SHL 000011bb: PUSH1 0x00 000011bd: MSTORE 000011be: PUSH1 0x11 000011c0: PUSH1 0x04 000011c2: MSTORE 000011c3: PUSH1 0x24 000011c5: PUSH1 0x00 000011c7: REVERT 000011c8: JUMPDEST 000011c9: PUSH1 0x00 000011cb: DUP3 000011cc: NOT 000011cd: DUP3 000011ce: GT 000011cf: ISZERO 000011d0: PUSH2 0x11db 000011d3: JUMPI 000011d4: PUSH2 0x11db 000011d7: PUSH2 0x11b2 000011da: JUMP 000011db: JUMPDEST 000011dc: POP 000011dd: ADD 000011de: SWAP1 000011df: JUMP 000011e0: JUMPDEST 000011e1: DUP3 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x40 000011e6: PUSH1 0x20 000011e8: DUP3 000011e9: ADD 000011ea: MSTORE 000011eb: PUSH1 0x00 000011ed: PUSH2 0x11f9 000011f0: PUSH1 0x40 000011f2: DUP4 000011f3: ADD 000011f4: DUP5 000011f5: PUSH2 0x112c 000011f8: JUMP 000011f9: JUMPDEST 000011fa: SWAP5 000011fb: SWAP4 000011fc: POP 000011fd: POP 000011fe: POP 000011ff: POP 00001200: JUMP 00001201: JUMPDEST 00001202: PUSH4 0x4e487b71 00001207: PUSH1 0xe0 00001209: SHL 0000120a: PUSH1 0x00 0000120c: MSTORE 0000120d: PUSH1 0x32 0000120f: PUSH1 0x04 00001211: MSTORE 00001212: PUSH1 0x24 00001214: PUSH1 0x00 00001216: REVERT 00001217: JUMPDEST 00001218: PUSH1 0x00 0000121a: PUSH1 0x00 0000121c: NOT 0000121d: DUP3 0000121e: EQ 0000121f: ISZERO 00001220: PUSH2 0x122b 00001223: JUMPI 00001224: PUSH2 0x122b 00001227: PUSH2 0x11b2 0000122a: JUMP 0000122b: JUMPDEST 0000122c: POP 0000122d: PUSH1 0x01 0000122f: ADD 00001230: SWAP1 00001231: JUMP 00001232: JUMPDEST 00001233: PUSH1 0x40 00001235: DUP1 00001236: DUP3 00001237: MSTORE 00001238: DUP4 00001239: MLOAD 0000123a: DUP3 0000123b: DUP3 0000123c: ADD 0000123d: DUP2 0000123e: SWAP1 0000123f: MSTORE 00001240: PUSH1 0x00 00001242: SWAP2 00001243: SWAP1 00001244: PUSH1 0x20 00001246: SWAP1 00001247: PUSH1 0x60 00001249: DUP6 0000124a: ADD 0000124b: SWAP1 0000124c: DUP3 0000124d: DUP9 0000124e: ADD 0000124f: DUP6 00001250: JUMPDEST 00001251: DUP3 00001252: DUP2 00001253: LT 00001254: ISZERO 00001255: PUSH2 0x127e 00001258: JUMPI 00001259: DUP2 0000125a: MLOAD 0000125b: DUP1 0000125c: MLOAD 0000125d: PUSH1 0x01 0000125f: PUSH1 0x01 00001261: PUSH1 0xa0 00001263: SHL 00001264: SUB 00001265: AND 00001266: DUP6 00001267: MSTORE 00001268: DUP6 00001269: ADD 0000126a: MLOAD 0000126b: DUP6 0000126c: DUP6 0000126d: ADD 0000126e: MSTORE 0000126f: SWAP3 00001270: DUP6 00001271: ADD 00001272: SWAP3 00001273: SWAP1 00001274: DUP5 00001275: ADD 00001276: SWAP1 00001277: PUSH1 0x01 00001279: ADD 0000127a: PUSH2 0x1250 0000127d: JUMP 0000127e: JUMPDEST 0000127f: POP 00001280: POP 00001281: POP 00001282: DUP5 00001283: DUP2 00001284: SUB 00001285: DUP3 00001286: DUP7 00001287: ADD 00001288: MSTORE 00001289: PUSH2 0x1292 0000128c: DUP2 0000128d: DUP8 0000128e: PUSH2 0x112c 00001291: JUMP 00001292: JUMPDEST 00001293: SWAP8 00001294: SWAP7 00001295: POP 00001296: POP 00001297: POP 00001298: POP 00001299: POP 0000129a: POP 0000129b: POP 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH1 0x00 000012a0: DUP3 000012a1: DUP3 000012a2: LT 000012a3: ISZERO 000012a4: PUSH2 0x12af 000012a7: JUMPI 000012a8: PUSH2 0x12af 000012ab: PUSH2 0x11b2 000012ae: JUMP 000012af: JUMPDEST 000012b0: POP 000012b1: SUB 000012b2: SWAP1 000012b3: JUMP 000012b4: JUMPDEST 000012b5: PUSH1 0x00 000012b7: DUP3 000012b8: MLOAD 000012b9: PUSH2 0x12c6 000012bc: DUP2 000012bd: DUP5 000012be: PUSH1 0x20 000012c0: DUP8 000012c1: ADD 000012c2: PUSH2 0x10fc 000012c5: JUMP 000012c6: JUMPDEST 000012c7: SWAP2 000012c8: SWAP1 000012c9: SWAP2 000012ca: ADD 000012cb: SWAP3 000012cc: SWAP2 000012cd: POP 000012ce: POP 000012cf: JUMP 000012d0: JUMPDEST 000012d1: PUSH1 0x00 000012d3: PUSH1 0x01 000012d5: PUSH1 0x01 000012d7: PUSH1 0xa0 000012d9: SHL 000012da: SUB 000012db: DUP1 000012dc: DUP9 000012dd: AND 000012de: DUP4 000012df: MSTORE 000012e0: DUP1 000012e1: DUP8 000012e2: AND 000012e3: PUSH1 0x20 000012e5: DUP5 000012e6: ADD 000012e7: MSTORE 000012e8: POP 000012e9: DUP5 000012ea: PUSH1 0x40 000012ec: DUP4 000012ed: ADD 000012ee: MSTORE 000012ef: PUSH1 0xa0 000012f1: PUSH1 0x60 000012f3: DUP4 000012f4: ADD 000012f5: MSTORE 000012f6: PUSH2 0x1302 000012f9: PUSH1 0xa0 000012fb: DUP4 000012fc: ADD 000012fd: DUP6 000012fe: PUSH2 0x112c 00001301: JUMP 00001302: JUMPDEST 00001303: SWAP1 00001304: POP 00001305: DUP3 00001306: PUSH1 0x80 00001308: DUP4 00001309: ADD 0000130a: MSTORE 0000130b: SWAP7 0000130c: SWAP6 0000130d: POP 0000130e: POP 0000130f: POP 00001310: POP 00001311: POP 00001312: POP 00001313: JUMP 00001314: JUMPDEST 00001315: PUSH1 0x00 00001317: PUSH1 0x20 00001319: DUP3 0000131a: DUP5 0000131b: SUB 0000131c: SLT 0000131d: ISZERO 0000131e: PUSH2 0x1326 00001321: JUMPI 00001322: PUSH1 0x00 00001324: DUP1 00001325: REVERT 00001326: JUMPDEST 00001327: POP 00001328: MLOAD 00001329: SWAP2 0000132a: SWAP1 0000132b: POP 0000132c: JUMP 0000132d: INVALID 0000132e: LOG2 0000132f: PUSH5 0x6970667358 00001335: UNKNOWN(0x22) 00001336: SLT 00001337: KECCAK256 00001338: SUB 00001339: UNKNOWN(0xAD) 0000133a: UNKNOWN(0xB6) 0000133b: PUSH13 0x03a3d2a44637ae301927cc146e 00001349: PUSH1 0x78 0000134b: UNKNOWN(0x2B) 0000134c: SLOAD 0000134d: PUSH32
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x459a0b3dd600edc4f4c74e52790428e3d44fb4e76ae42005fbd89775a2f30df0
call_targets:
0x3624525075b88b24ecc29ce226b0cec1ffcb6976
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x459a0b3dd600edc4f4c74e52790428e3d44fb4e76ae42005fbd89775a2f30df0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3624525075b88b24ecc29ce226b0cec1ffcb6976"
],
"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": "0x2923e82e",
"selector": "0x2923e82e",
"calldata_variants": [
"0x2923e82e",
"0x2923e82e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44bc937b",
"selector": "0x44bc937b",
"calldata_variants": [
"0x44bc937b",
"0x44bc937b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x574da717",
"selector": "0x574da717",
"calldata_variants": [
"0x574da717",
"0x574da7170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93e4eaa9",
"selector": "0x93e4eaa9",
"calldata_variants": [
"0x93e4eaa9",
"0x93e4eaa90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03b6a673",
"selector": "0x03b6a673",
"calldata_variants": [
"0x03b6a673",
"0x03b6a6730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b738b32",
"selector": "0x1b738b32",
"calldata_variants": [
"0x1b738b32",
"0x1b738b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fece7b4",
"selector": "0x1fece7b4",
"calldata_variants": [
"0x1fece7b4",
"0x1fece7b40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 739,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 874,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1026,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [],
"untrusted_call_count": 10
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x459a0b3dd600edc4f4c74e52790428e3d44fb4e76ae42005fbd89775a2f30df0
call_targets:
0x3624525075b88b24ecc29ce226b0cec1ffcb6976
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x459a0b3dd600edc4f4c74e52790428e3d44fb4e76ae42005fbd89775a2f30df0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3624525075b88b24ecc29ce226b0cec1ffcb6976"
],
"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": "0x2923e82e",
"selector": "0x2923e82e",
"calldata_variants": [
"0x2923e82e",
"0x2923e82e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44bc937b",
"selector": "0x44bc937b",
"calldata_variants": [
"0x44bc937b",
"0x44bc937b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x574da717",
"selector": "0x574da717",
"calldata_variants": [
"0x574da717",
"0x574da7170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93e4eaa9",
"selector": "0x93e4eaa9",
"calldata_variants": [
"0x93e4eaa9",
"0x93e4eaa90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03b6a673",
"selector": "0x03b6a673",
"calldata_variants": [
"0x03b6a673",
"0x03b6a6730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b738b32",
"selector": "0x1b738b32",
"calldata_variants": [
"0x1b738b32",
"0x1b738b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fece7b4",
"selector": "0x1fece7b4",
"calldata_variants": [
"0x1fece7b4",
"0x1fece7b40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 739,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 874,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1026,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|