019b477e-c109-7091-b888-c1ecd275e368
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 |
|---|---|---|---|---|
| 24795 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24796 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102284 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102285 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102286 | detector.run | complete | 1 / 3 | 1 week ago |
| 102287 | 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 0x00c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7a094748 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbedcf003 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbedcf003 0000002f: EQ 00000030: PUSH2 0x028f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xec1ebd7a 0000003a: EQ 0000003b: PUSH2 0x02a4 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xefd32692 00000045: EQ 00000046: PUSH2 0x02d2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x02f2 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x7a094748 00000060: EQ 00000061: PUSH2 0x0227 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x0247 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa9e7c2e5 00000076: EQ 00000077: PUSH2 0x026f 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH3 0xf55d9d 00000085: EQ 00000086: PUSH2 0x0158 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x11e632e9 00000090: EQ 00000091: PUSH2 0x017a 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x2d08265a 0000009b: EQ 0000009c: PUSH2 0x019a 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x3bd1adec 000000a6: EQ 000000a7: PUSH2 0x01cf 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x70a08231 000000b1: EQ 000000b2: PUSH2 0x01e4 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x715018a6 000000bc: EQ 000000bd: PUSH2 0x0212 000000c0: JUMPI 000000c1: PUSH1 0x00 000000c3: DUP1 000000c4: REVERT 000000c5: JUMPDEST 000000c6: CALLDATASIZE 000000c7: PUSH2 0x0153 000000ca: JUMPI 000000cb: PUSH1 0x05 000000cd: SLOAD 000000ce: PUSH1 0x00 000000d0: SWAP1 000000d1: PUSH2 0x0103 000000d4: SWAP1 000000d5: PUSH4 0xffffffff 000000da: PUSH5 0x0100000000 000000e0: DUP3 000000e1: DIV 000000e2: DUP2 000000e3: AND 000000e4: SWAP2 000000e5: PUSH2 0x00fd 000000e8: SWAP2 000000e9: CALLVALUE 000000ea: SWAP2 000000eb: PUSH2 0xffff 000000ee: PUSH1 0x01 000000f0: PUSH1 0x40 000000f2: SHL 000000f3: SWAP1 000000f4: SWAP2 000000f5: DIV 000000f6: AND 000000f7: SWAP1 000000f8: PUSH2 0x0312 000000fb: AND 000000fc: JUMP 000000fd: JUMPDEST 000000fe: SWAP1 000000ff: PUSH2 0x0325 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH1 0x05 00000106: SLOAD 00000107: SWAP1 00000108: SWAP2 00000109: POP 0000010a: PUSH1 0x00 0000010c: SWAP1 0000010d: PUSH2 0x012c 00000110: SWAP1 00000111: PUSH2 0x0125 00000114: SWAP1 00000115: PUSH4 0xffffffff 0000011a: SWAP1 0000011b: DUP2 0000011c: AND 0000011d: SWAP1 0000011e: DUP6 0000011f: SWAP1 00000120: PUSH2 0x0312 00000123: AND 00000124: JUMP 00000125: JUMPDEST 00000126: CALLVALUE 00000127: SWAP1 00000128: PUSH2 0x0331 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x02 0000012f: SLOAD 00000130: SWAP1 00000131: SWAP2 00000132: POP 00000133: PUSH2 0x013c 00000136: SWAP1 00000137: DUP4 00000138: PUSH2 0x033d 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x02 0000013f: SSTORE 00000140: PUSH1 0x03 00000142: SLOAD 00000143: PUSH2 0x014c 00000146: SWAP1 00000147: DUP3 00000148: PUSH2 0x033d 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH1 0x03 0000014f: SSTORE 00000150: POP 00000151: POP 00000152: STOP 00000153: JUMPDEST 00000154: PUSH1 0x00 00000156: DUP1 00000157: REVERT 00000158: JUMPDEST 00000159: CALLVALUE 0000015a: DUP1 0000015b: ISZERO 0000015c: PUSH2 0x0164 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: POP 00000166: PUSH2 0x0178 00000169: PUSH2 0x0173 0000016c: CALLDATASIZE 0000016d: PUSH1 0x04 0000016f: PUSH2 0x0f5b 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH2 0x0349 00000177: JUMP 00000178: JUMPDEST 00000179: STOP 0000017a: JUMPDEST 0000017b: CALLVALUE 0000017c: DUP1 0000017d: ISZERO 0000017e: PUSH2 0x0186 00000181: JUMPI 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: POP 00000188: PUSH2 0x0178 0000018b: PUSH2 0x0195 0000018e: CALLDATASIZE 0000018f: PUSH1 0x04 00000191: PUSH2 0x1003 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH2 0x0388 00000199: JUMP 0000019a: JUMPDEST 0000019b: CALLVALUE 0000019c: DUP1 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: POP 000001a8: PUSH2 0x01ba 000001ab: PUSH2 0x01b5 000001ae: CALLDATASIZE 000001af: PUSH1 0x04 000001b1: PUSH2 0x0f93 000001b4: JUMP 000001b5: JUMPDEST 000001b6: PUSH2 0x03d0 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: SWAP1 000001bf: ISZERO 000001c0: ISZERO 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x20 000001c5: ADD 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x01ba 000001e0: PUSH2 0x088a 000001e3: JUMP 000001e4: JUMPDEST 000001e5: CALLVALUE 000001e6: DUP1 000001e7: ISZERO 000001e8: PUSH2 0x01f0 000001eb: JUMPI 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: POP 000001f2: PUSH2 0x0204 000001f5: PUSH2 0x01ff 000001f8: CALLDATASIZE 000001f9: PUSH1 0x04 000001fb: PUSH2 0x0f5b 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x0960 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH1 0x40 00000207: MLOAD 00000208: SWAP1 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: PUSH2 0x01c6 00000211: JUMP 00000212: JUMPDEST 00000213: CALLVALUE 00000214: DUP1 00000215: ISZERO 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: POP 00000220: PUSH2 0x0178 00000223: PUSH2 0x0ac6 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x0178 00000238: PUSH2 0x0242 0000023b: CALLDATASIZE 0000023c: PUSH1 0x04 0000023e: PUSH2 0x1023 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH2 0x0afc 00000246: JUMP 00000247: JUMPDEST 00000248: CALLVALUE 00000249: DUP1 0000024a: ISZERO 0000024b: PUSH2 0x0253 0000024e: JUMPI 0000024f: PUSH1 0x00 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: POP 00000255: PUSH1 0x00 00000257: SLOAD 00000258: PUSH1 0x40 0000025a: MLOAD 0000025b: PUSH1 0x01 0000025d: PUSH1 0x01 0000025f: PUSH1 0xa0 00000261: SHL 00000262: SUB 00000263: SWAP1 00000264: SWAP2 00000265: AND 00000266: DUP2 00000267: MSTORE 00000268: PUSH1 0x20 0000026a: ADD 0000026b: PUSH2 0x01c6 0000026e: JUMP 0000026f: JUMPDEST 00000270: CALLVALUE 00000271: DUP1 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: PUSH2 0x01ba 00000280: PUSH2 0x028a 00000283: CALLDATASIZE 00000284: PUSH1 0x04 00000286: PUSH2 0x1045 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH2 0x0b94 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x0204 000002a0: PUSH2 0x0dc6 000002a3: JUMP 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH1 0x05 000002b4: SLOAD 000002b5: PUSH1 0x01 000002b7: PUSH1 0x40 000002b9: SHL 000002ba: SWAP1 000002bb: DIV 000002bc: PUSH2 0xffff 000002bf: AND 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: PUSH2 0xffff 000002c6: SWAP1 000002c7: SWAP2 000002c8: AND 000002c9: DUP2 000002ca: MSTORE 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: PUSH2 0x01c6 000002d1: JUMP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x0204 000002e3: PUSH2 0x02ed 000002e6: CALLDATASIZE 000002e7: PUSH1 0x04 000002e9: PUSH2 0x1045 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x0df8 000002f1: JUMP 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: DUP1 000002f5: ISZERO 000002f6: PUSH2 0x02fe 000002f9: JUMPI 000002fa: PUSH1 0x00 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: PUSH2 0x0178 00000303: PUSH2 0x030d 00000306: CALLDATASIZE 00000307: PUSH1 0x04 00000309: PUSH2 0x0f5b 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x0e70 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x00 00000315: PUSH2 0x031e 00000318: DUP3 00000319: DUP5 0000031a: PUSH2 0x110a 0000031d: JUMP 0000031e: JUMPDEST 0000031f: SWAP4 00000320: SWAP3 00000321: POP 00000322: POP 00000323: POP 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH1 0x00 00000328: PUSH2 0x031e 0000032b: DUP3 0000032c: DUP5 0000032d: PUSH2 0x10ea 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH1 0x00 00000334: PUSH2 0x031e 00000337: DUP3 00000338: DUP5 00000339: PUSH2 0x1129 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x00 00000340: PUSH2 0x031e 00000343: DUP3 00000344: DUP5 00000345: PUSH2 0x10d2 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH1 0x00 0000034c: SLOAD 0000034d: PUSH1 0x01 0000034f: PUSH1 0x01 00000351: PUSH1 0xa0 00000353: SHL 00000354: SUB 00000355: AND 00000356: CALLER 00000357: EQ 00000358: PUSH2 0x037c 0000035b: JUMPI 0000035c: PUSH1 0x40 0000035e: MLOAD 0000035f: PUSH3 0x461bcd 00000363: PUSH1 0xe5 00000365: SHL 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x04 0000036a: ADD 0000036b: PUSH2 0x0373 0000036e: SWAP1 0000036f: PUSH2 0x1075 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH1 0x40 00000376: MLOAD 00000377: DUP1 00000378: SWAP2 00000379: SUB 0000037a: SWAP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: DUP1 0000037e: PUSH1 0x01 00000380: PUSH1 0x01 00000382: PUSH1 0xa0 00000384: SHL 00000385: SUB 00000386: AND 00000387: SELFDESTRUCT 00000388: JUMPDEST 00000389: PUSH1 0x00 0000038b: SLOAD 0000038c: PUSH1 0x01 0000038e: PUSH1 0x01 00000390: PUSH1 0xa0 00000392: SHL 00000393: SUB 00000394: AND 00000395: CALLER 00000396: EQ 00000397: PUSH2 0x03b2 0000039a: JUMPI 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: PUSH3 0x461bcd 000003a2: PUSH1 0xe5 000003a4: SHL 000003a5: DUP2 000003a6: MSTORE 000003a7: PUSH1 0x04 000003a9: ADD 000003aa: PUSH2 0x0373 000003ad: SWAP1 000003ae: PUSH2 0x1075 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x05 000003b5: DUP1 000003b6: SLOAD 000003b7: SWAP2 000003b8: ISZERO 000003b9: ISZERO 000003ba: PUSH1 0x01 000003bc: PUSH1 0x50 000003be: SHL 000003bf: MUL 000003c0: PUSH1 0xff 000003c2: PUSH1 0x50 000003c4: SHL 000003c5: NOT 000003c6: SWAP1 000003c7: SWAP3 000003c8: AND 000003c9: SWAP2 000003ca: SWAP1 000003cb: SWAP2 000003cc: OR 000003cd: SWAP1 000003ce: SSTORE 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH1 0x05 000003d3: SLOAD 000003d4: PUSH1 0x00 000003d6: SWAP1 000003d7: PUSH1 0x01 000003d9: PUSH1 0x50 000003db: SHL 000003dc: SWAP1 000003dd: DIV 000003de: PUSH1 0xff 000003e0: AND 000003e1: PUSH2 0x03fc 000003e4: JUMPI 000003e5: PUSH1 0x40 000003e7: MLOAD 000003e8: PUSH3 0x461bcd 000003ec: PUSH1 0xe5 000003ee: SHL 000003ef: DUP2 000003f0: MSTORE 000003f1: PUSH1 0x04 000003f3: ADD 000003f4: PUSH2 0x0373 000003f7: SWAP1 000003f8: PUSH2 0x10aa 000003fb: JUMP 000003fc: JUMPDEST 000003fd: DUP2 000003fe: PUSH2 0x043a 00000401: JUMPI 00000402: PUSH1 0x40 00000404: MLOAD 00000405: PUSH3 0x461bcd 00000409: PUSH1 0xe5 0000040b: SHL 0000040c: DUP2 0000040d: MSTORE 0000040e: PUSH1 0x20 00000410: PUSH1 0x04 00000412: DUP3 00000413: ADD 00000414: MSTORE 00000415: PUSH1 0x0e 00000417: PUSH1 0x24 00000419: DUP3 0000041a: ADD 0000041b: MSTORE 0000041c: PUSH14 0x617272617920697320656d707479 0000042b: PUSH1 0x90 0000042d: SHL 0000042e: PUSH1 0x44 00000430: DUP3 00000431: ADD 00000432: MSTORE 00000433: PUSH1 0x64 00000435: ADD 00000436: PUSH2 0x0373 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH1 0x00 0000043d: DUP3 0000043e: PUSH8 0xffffffffffffffff 00000447: DUP2 00000448: GT 00000449: ISZERO 0000044a: PUSH2 0x0463 0000044d: JUMPI 0000044e: PUSH4 0x4e487b71 00000453: PUSH1 0xe0 00000455: SHL 00000456: PUSH1 0x00 00000458: MSTORE 00000459: PUSH1 0x41 0000045b: PUSH1 0x04 0000045d: MSTORE 0000045e: PUSH1 0x24 00000460: PUSH1 0x00 00000462: REVERT 00000463: JUMPDEST 00000464: PUSH1 0x40 00000466: MLOAD 00000467: SWAP1 00000468: DUP1 00000469: DUP3 0000046a: MSTORE 0000046b: DUP1 0000046c: PUSH1 0x20 0000046e: MUL 0000046f: PUSH1 0x20 00000471: ADD 00000472: DUP3 00000473: ADD 00000474: PUSH1 0x40 00000476: MSTORE 00000477: DUP1 00000478: ISZERO 00000479: PUSH2 0x048c 0000047c: JUMPI 0000047d: DUP2 0000047e: PUSH1 0x20 00000480: ADD 00000481: PUSH1 0x20 00000483: DUP3 00000484: MUL 00000485: DUP1 00000486: CALLDATASIZE 00000487: DUP4 00000488: CALLDATACOPY 00000489: ADD 0000048a: SWAP1 0000048b: POP 0000048c: JUMPDEST 0000048d: POP 0000048e: SWAP1 0000048f: POP 00000490: PUSH1 0x00 00000492: DUP1 00000493: DUP1 00000494: PUSH1 0x01 00000496: JUMPDEST 00000497: DUP7 00000498: DUP3 00000499: LT 0000049a: ISZERO 0000049b: PUSH2 0x05b6 0000049e: JUMPI 0000049f: PUSH1 0x04 000004a1: SLOAD 000004a2: PUSH1 0x01 000004a4: PUSH1 0x01 000004a6: PUSH1 0xa0 000004a8: SHL 000004a9: SUB 000004aa: AND 000004ab: PUSH4 0x6352211e 000004b0: DUP10 000004b1: DUP10 000004b2: DUP6 000004b3: DUP2 000004b4: DUP2 000004b5: LT 000004b6: PUSH2 0x04cf 000004b9: JUMPI 000004ba: PUSH4 0x4e487b71 000004bf: PUSH1 0xe0 000004c1: SHL 000004c2: PUSH1 0x00 000004c4: MSTORE 000004c5: PUSH1 0x32 000004c7: PUSH1 0x04 000004c9: MSTORE 000004ca: PUSH1 0x24 000004cc: PUSH1 0x00 000004ce: REVERT 000004cf: JUMPDEST 000004d0: SWAP1 000004d1: POP 000004d2: PUSH1 0x20 000004d4: MUL 000004d5: ADD 000004d6: CALLDATALOAD 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: DUP3 000004db: PUSH4 0xffffffff 000004e0: AND 000004e1: PUSH1 0xe0 000004e3: SHL 000004e4: DUP2 000004e5: MSTORE 000004e6: PUSH1 0x04 000004e8: ADD 000004e9: PUSH2 0x04f4 000004ec: SWAP2 000004ed: DUP2 000004ee: MSTORE 000004ef: PUSH1 0x20 000004f1: ADD 000004f2: SWAP1 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH1 0x20 000004f7: PUSH1 0x40 000004f9: MLOAD 000004fa: DUP1 000004fb: DUP4 000004fc: SUB 000004fd: DUP2 000004fe: DUP7 000004ff: DUP1 00000500: EXTCODESIZE 00000501: ISZERO 00000502: DUP1 00000503: ISZERO 00000504: PUSH2 0x050c 00000507: JUMPI 00000508: PUSH1 0x00 0000050a: DUP1 0000050b: REVERT 0000050c: JUMPDEST 0000050d: POP 0000050e: GAS 0000050f: STATICCALL 00000510: ISZERO 00000511: DUP1 00000512: ISZERO 00000513: PUSH2 0x0520 00000516: JUMPI 00000517: RETURNDATASIZE 00000518: PUSH1 0x00 0000051a: DUP1 0000051b: RETURNDATACOPY 0000051c: RETURNDATASIZE 0000051d: PUSH1 0x00 0000051f: REVERT 00000520: JUMPDEST 00000521: POP 00000522: POP 00000523: POP 00000524: POP 00000525: PUSH1 0x40 00000527: MLOAD 00000528: RETURNDATASIZE 00000529: PUSH1 0x1f 0000052b: NOT 0000052c: PUSH1 0x1f 0000052e: DUP3 0000052f: ADD 00000530: AND 00000531: DUP3 00000532: ADD 00000533: DUP1 00000534: PUSH1 0x40 00000536: MSTORE 00000537: POP 00000538: DUP2 00000539: ADD 0000053a: SWAP1 0000053b: PUSH2 0x0544 0000053e: SWAP2 0000053f: SWAP1 00000540: PUSH2 0x0f77 00000543: JUMP 00000544: JUMPDEST 00000545: PUSH1 0x01 00000547: PUSH1 0x01 00000549: PUSH1 0xa0 0000054b: SHL 0000054c: SUB 0000054d: AND 0000054e: CALLER 0000054f: PUSH1 0x01 00000551: PUSH1 0x01 00000553: PUSH1 0xa0 00000555: SHL 00000556: SUB 00000557: AND 00000558: EQ 00000559: PUSH2 0x05a4 0000055c: JUMPI 0000055d: PUSH1 0x40 0000055f: MLOAD 00000560: PUSH3 0x461bcd 00000564: PUSH1 0xe5 00000566: SHL 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x20 0000056b: PUSH1 0x04 0000056d: DUP3 0000056e: ADD 0000056f: MSTORE 00000570: PUSH1 0x1d 00000572: PUSH1 0x24 00000574: DUP3 00000575: ADD 00000576: MSTORE 00000577: PUSH32 0x63616c6c6572206973206e6f742074686520746f6b656e206f776e6572000000 00000598: PUSH1 0x44 0000059a: DUP3 0000059b: ADD 0000059c: MSTORE 0000059d: PUSH1 0x64 0000059f: ADD 000005a0: PUSH2 0x0373 000005a3: JUMP 000005a4: JUMPDEST 000005a5: DUP2 000005a6: PUSH2 0x05ae 000005a9: DUP2 000005aa: PUSH2 0x1140 000005ad: JUMP 000005ae: JUMPDEST 000005af: SWAP3 000005b0: POP 000005b1: POP 000005b2: PUSH2 0x0496 000005b5: JUMP 000005b6: JUMPDEST 000005b7: PUSH1 0x00 000005b9: SWAP2 000005ba: POP 000005bb: JUMPDEST 000005bc: DUP7 000005bd: DUP3 000005be: LT 000005bf: ISZERO 000005c0: PUSH2 0x072c 000005c3: JUMPI 000005c4: PUSH2 0x0629 000005c7: PUSH1 0x01 000005c9: DUP10 000005ca: DUP10 000005cb: DUP6 000005cc: DUP2 000005cd: DUP2 000005ce: LT 000005cf: PUSH2 0x05e8 000005d2: JUMPI 000005d3: PUSH4 0x4e487b71 000005d8: PUSH1 0xe0 000005da: SHL 000005db: PUSH1 0x00 000005dd: MSTORE 000005de: PUSH1 0x32 000005e0: PUSH1 0x04 000005e2: MSTORE 000005e3: PUSH1 0x24 000005e5: PUSH1 0x00 000005e7: REVERT 000005e8: JUMPDEST 000005e9: SWAP1 000005ea: POP 000005eb: PUSH1 0x20 000005ed: MUL 000005ee: ADD 000005ef: CALLDATALOAD 000005f0: DUP2 000005f1: SLOAD 000005f2: DUP2 000005f3: LT 000005f4: PUSH2 0x060d 000005f7: JUMPI 000005f8: PUSH4 0x4e487b71 000005fd: PUSH1 0xe0 000005ff: SHL 00000600: PUSH1 0x00 00000602: MSTORE 00000603: PUSH1 0x32 00000605: PUSH1 0x04 00000607: MSTORE 00000608: PUSH1 0x24 0000060a: PUSH1 0x00 0000060c: REVERT 0000060d: JUMPDEST 0000060e: SWAP1 0000060f: PUSH1 0x00 00000611: MSTORE 00000612: PUSH1 0x20 00000614: PUSH1 0x00 00000616: KECCAK256 00000617: ADD 00000618: SLOAD 00000619: PUSH1 0x02 0000061b: SLOAD 0000061c: PUSH2 0x0331 0000061f: SWAP1 00000620: SWAP2 00000621: SWAP1 00000622: PUSH4 0xffffffff 00000627: AND 00000628: JUMP 00000629: JUMPDEST 0000062a: SWAP3 0000062b: POP 0000062c: DUP3 0000062d: DUP6 0000062e: DUP4 0000062f: DUP2 00000630: MLOAD 00000631: DUP2 00000632: LT 00000633: PUSH2 0x064c 00000636: JUMPI 00000637: PUSH4 0x4e487b71 0000063c: PUSH1 0xe0 0000063e: SHL 0000063f: PUSH1 0x00 00000641: MSTORE 00000642: PUSH1 0x32 00000644: PUSH1 0x04 00000646: MSTORE 00000647: PUSH1 0x24 00000649: PUSH1 0x00 0000064b: REVERT 0000064c: JUMPDEST 0000064d: PUSH1 0x20 0000064f: SWAP1 00000650: DUP2 00000651: MUL 00000652: SWAP2 00000653: SWAP1 00000654: SWAP2 00000655: ADD 00000656: ADD 00000657: MSTORE 00000658: PUSH2 0x0661 0000065b: DUP5 0000065c: DUP5 0000065d: PUSH2 0x033d 00000660: JUMP 00000661: JUMPDEST 00000662: SWAP4 00000663: POP 00000664: PUSH2 0x06c7 00000667: DUP4 00000668: PUSH1 0x01 0000066a: DUP11 0000066b: DUP11 0000066c: DUP7 0000066d: DUP2 0000066e: DUP2 0000066f: LT 00000670: PUSH2 0x0689 00000673: JUMPI 00000674: PUSH4 0x4e487b71 00000679: PUSH1 0xe0 0000067b: SHL 0000067c: PUSH1 0x00 0000067e: MSTORE 0000067f: PUSH1 0x32 00000681: PUSH1 0x04 00000683: MSTORE 00000684: PUSH1 0x24 00000686: PUSH1 0x00 00000688: REVERT 00000689: JUMPDEST 0000068a: SWAP1 0000068b: POP 0000068c: PUSH1 0x20 0000068e: MUL 0000068f: ADD 00000690: CALLDATALOAD 00000691: DUP2 00000692: SLOAD 00000693: DUP2 00000694: LT 00000695: PUSH2 0x06ae 00000698: JUMPI 00000699: PUSH4 0x4e487b71 0000069e: PUSH1 0xe0 000006a0: SHL 000006a1: PUSH1 0x00 000006a3: MSTORE 000006a4: PUSH1 0x32 000006a6: PUSH1 0x04 000006a8: MSTORE 000006a9: PUSH1 0x24 000006ab: PUSH1 0x00 000006ad: REVERT 000006ae: JUMPDEST 000006af: SWAP1 000006b0: PUSH1 0x00 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: PUSH1 0x00 000006b7: KECCAK256 000006b8: ADD 000006b9: SLOAD 000006ba: PUSH2 0x033d 000006bd: SWAP1 000006be: SWAP2 000006bf: SWAP1 000006c0: PUSH4 0xffffffff 000006c5: AND 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x01 000006ca: DUP10 000006cb: DUP10 000006cc: DUP6 000006cd: DUP2 000006ce: DUP2 000006cf: LT 000006d0: PUSH2 0x06e9 000006d3: JUMPI 000006d4: PUSH4 0x4e487b71 000006d9: PUSH1 0xe0 000006db: SHL 000006dc: PUSH1 0x00 000006de: MSTORE 000006df: PUSH1 0x32 000006e1: PUSH1 0x04 000006e3: MSTORE 000006e4: PUSH1 0x24 000006e6: PUSH1 0x00 000006e8: REVERT 000006e9: JUMPDEST 000006ea: SWAP1 000006eb: POP 000006ec: PUSH1 0x20 000006ee: MUL 000006ef: ADD 000006f0: CALLDATALOAD 000006f1: DUP2 000006f2: SLOAD 000006f3: DUP2 000006f4: LT 000006f5: PUSH2 0x070e 000006f8: JUMPI 000006f9: PUSH4 0x4e487b71 000006fe: PUSH1 0xe0 00000700: SHL 00000701: PUSH1 0x00 00000703: MSTORE 00000704: PUSH1 0x32 00000706: PUSH1 0x04 00000708: MSTORE 00000709: PUSH1 0x24 0000070b: PUSH1 0x00 0000070d: REVERT 0000070e: JUMPDEST 0000070f: PUSH1 0x00 00000711: SWAP2 00000712: DUP3 00000713: MSTORE 00000714: PUSH1 0x20 00000716: SWAP1 00000717: SWAP2 00000718: KECCAK256 00000719: ADD 0000071a: SSTORE 0000071b: DUP2 0000071c: PUSH2 0x0724 0000071f: DUP2 00000720: PUSH2 0x1140 00000723: JUMP 00000724: JUMPDEST 00000725: SWAP3 00000726: POP 00000727: POP 00000728: PUSH2 0x05bb 0000072b: JUMP 0000072c: JUMPDEST 0000072d: DUP4 0000072e: ISZERO 0000072f: PUSH2 0x077d 00000732: JUMPI 00000733: PUSH1 0x40 00000735: MLOAD 00000736: CALLER 00000737: SWAP1 00000738: DUP6 00000739: SWAP1 0000073a: PUSH1 0x00 0000073c: DUP2 0000073d: DUP2 0000073e: DUP2 0000073f: DUP6 00000740: DUP8 00000741: GAS 00000742: CALL 00000743: SWAP3 00000744: POP 00000745: POP 00000746: POP 00000747: RETURNDATASIZE 00000748: DUP1 00000749: PUSH1 0x00 0000074b: DUP2 0000074c: EQ 0000074d: PUSH2 0x0772 00000750: JUMPI 00000751: PUSH1 0x40 00000753: MLOAD 00000754: SWAP2 00000755: POP 00000756: PUSH1 0x1f 00000758: NOT 00000759: PUSH1 0x3f 0000075b: RETURNDATASIZE 0000075c: ADD 0000075d: AND 0000075e: DUP3 0000075f: ADD 00000760: PUSH1 0x40 00000762: MSTORE 00000763: RETURNDATASIZE 00000764: DUP3 00000765: MSTORE 00000766: RETURNDATASIZE 00000767: PUSH1 0x00 00000769: PUSH1 0x20 0000076b: DUP5 0000076c: ADD 0000076d: RETURNDATACOPY 0000076e: PUSH2 0x0777 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x60 00000775: SWAP2 00000776: POP 00000777: JUMPDEST 00000778: POP 00000779: SWAP1 0000077a: SWAP2 0000077b: POP 0000077c: POP 0000077d: JUMPDEST 0000077e: DUP1 0000077f: PUSH2 0x087f 00000782: JUMPI 00000783: PUSH1 0x00 00000785: SWAP2 00000786: POP 00000787: JUMPDEST 00000788: DUP7 00000789: DUP3 0000078a: LT 0000078b: ISZERO 0000078c: PUSH2 0x087f 0000078f: JUMPI 00000790: PUSH2 0x081a 00000793: DUP6 00000794: DUP4 00000795: DUP2 00000796: MLOAD 00000797: DUP2 00000798: LT 00000799: PUSH2 0x07b2 0000079c: JUMPI 0000079d: PUSH4 0x4e487b71 000007a2: PUSH1 0xe0 000007a4: SHL 000007a5: PUSH1 0x00 000007a7: MSTORE 000007a8: PUSH1 0x32 000007aa: PUSH1 0x04 000007ac: MSTORE 000007ad: PUSH1 0x24 000007af: PUSH1 0x00 000007b1: REVERT 000007b2: JUMPDEST 000007b3: PUSH1 0x20 000007b5: MUL 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: ADD 000007ba: MLOAD 000007bb: PUSH1 0x01 000007bd: DUP11 000007be: DUP11 000007bf: DUP7 000007c0: DUP2 000007c1: DUP2 000007c2: LT 000007c3: PUSH2 0x07dc 000007c6: JUMPI 000007c7: PUSH4 0x4e487b71 000007cc: PUSH1 0xe0 000007ce: SHL 000007cf: PUSH1 0x00 000007d1: MSTORE 000007d2: PUSH1 0x32 000007d4: PUSH1 0x04 000007d6: MSTORE 000007d7: PUSH1 0x24 000007d9: PUSH1 0x00 000007db: REVERT 000007dc: JUMPDEST 000007dd: SWAP1 000007de: POP 000007df: PUSH1 0x20 000007e1: MUL 000007e2: ADD 000007e3: CALLDATALOAD 000007e4: DUP2 000007e5: SLOAD 000007e6: DUP2 000007e7: LT 000007e8: PUSH2 0x0801 000007eb: JUMPI 000007ec: PUSH4 0x4e487b71 000007f1: PUSH1 0xe0 000007f3: SHL 000007f4: PUSH1 0x00 000007f6: MSTORE 000007f7: PUSH1 0x32 000007f9: PUSH1 0x04 000007fb: MSTORE 000007fc: PUSH1 0x24 000007fe: PUSH1 0x00 00000800: REVERT 00000801: JUMPDEST 00000802: SWAP1 00000803: PUSH1 0x00 00000805: MSTORE 00000806: PUSH1 0x20 00000808: PUSH1 0x00 0000080a: KECCAK256 0000080b: ADD 0000080c: SLOAD 0000080d: PUSH2 0x0331 00000810: SWAP1 00000811: SWAP2 00000812: SWAP1 00000813: PUSH4 0xffffffff 00000818: AND 00000819: JUMP 0000081a: JUMPDEST 0000081b: PUSH1 0x01 0000081d: DUP10 0000081e: DUP10 0000081f: DUP6 00000820: DUP2 00000821: DUP2 00000822: LT 00000823: PUSH2 0x083c 00000826: JUMPI 00000827: PUSH4 0x4e487b71 0000082c: PUSH1 0xe0 0000082e: SHL 0000082f: PUSH1 0x00 00000831: MSTORE 00000832: PUSH1 0x32 00000834: PUSH1 0x04 00000836: MSTORE 00000837: PUSH1 0x24 00000839: PUSH1 0x00 0000083b: REVERT 0000083c: JUMPDEST 0000083d: SWAP1 0000083e: POP 0000083f: PUSH1 0x20 00000841: MUL 00000842: ADD 00000843: CALLDATALOAD 00000844: DUP2 00000845: SLOAD 00000846: DUP2 00000847: LT 00000848: PUSH2 0x0861 0000084b: JUMPI 0000084c: PUSH4 0x4e487b71 00000851: PUSH1 0xe0 00000853: SHL 00000854: PUSH1 0x00 00000856: MSTORE 00000857: PUSH1 0x32 00000859: PUSH1 0x04 0000085b: MSTORE 0000085c: PUSH1 0x24 0000085e: PUSH1 0x00 00000860: REVERT 00000861: JUMPDEST 00000862: PUSH1 0x00 00000864: SWAP2 00000865: DUP3 00000866: MSTORE 00000867: PUSH1 0x20 00000869: SWAP1 0000086a: SWAP2 0000086b: KECCAK256 0000086c: ADD 0000086d: SSTORE 0000086e: DUP2 0000086f: PUSH2 0x0877 00000872: DUP2 00000873: PUSH2 0x1140 00000876: JUMP 00000877: JUMPDEST 00000878: SWAP3 00000879: POP 0000087a: POP 0000087b: PUSH2 0x0787 0000087e: JUMP 0000087f: JUMPDEST 00000880: SWAP8 00000881: SWAP7 00000882: POP 00000883: POP 00000884: POP 00000885: POP 00000886: POP 00000887: POP 00000888: POP 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x00 0000088d: DUP1 0000088e: SLOAD 0000088f: PUSH1 0x01 00000891: PUSH1 0x01 00000893: PUSH1 0xa0 00000895: SHL 00000896: SUB 00000897: AND 00000898: CALLER 00000899: EQ 0000089a: PUSH2 0x08b5 0000089d: JUMPI 0000089e: PUSH1 0x40 000008a0: MLOAD 000008a1: PUSH3 0x461bcd 000008a5: PUSH1 0xe5 000008a7: SHL 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x04 000008ac: ADD 000008ad: PUSH2 0x0373 000008b0: SWAP1 000008b1: PUSH2 0x1075 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x05 000008b8: SLOAD 000008b9: PUSH1 0x01 000008bb: PUSH1 0x50 000008bd: SHL 000008be: SWAP1 000008bf: DIV 000008c0: PUSH1 0xff 000008c2: AND 000008c3: PUSH2 0x08de 000008c6: JUMPI 000008c7: PUSH1 0x40 000008c9: MLOAD 000008ca: PUSH3 0x461bcd 000008ce: PUSH1 0xe5 000008d0: SHL 000008d1: DUP2 000008d2: MSTORE 000008d3: PUSH1 0x04 000008d5: ADD 000008d6: PUSH2 0x0373 000008d9: SWAP1 000008da: PUSH2 0x10aa 000008dd: JUMP 000008de: JUMPDEST 000008df: PUSH1 0x03 000008e1: SLOAD 000008e2: PUSH1 0x01 000008e4: DUP2 000008e5: ISZERO 000008e6: PUSH2 0x0944 000008e9: JUMPI 000008ea: PUSH1 0x03 000008ec: SLOAD 000008ed: PUSH2 0x08f6 000008f0: SWAP1 000008f1: DUP4 000008f2: PUSH2 0x0331 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH1 0x03 000008f9: SSTORE 000008fa: PUSH1 0x40 000008fc: MLOAD 000008fd: CALLER 000008fe: SWAP1 000008ff: DUP4 00000900: SWAP1 00000901: PUSH1 0x00 00000903: DUP2 00000904: DUP2 00000905: DUP2 00000906: DUP6 00000907: DUP8 00000908: GAS 00000909: CALL 0000090a: SWAP3 0000090b: POP 0000090c: POP 0000090d: POP 0000090e: RETURNDATASIZE 0000090f: DUP1 00000910: PUSH1 0x00 00000912: DUP2 00000913: EQ 00000914: PUSH2 0x0939 00000917: JUMPI 00000918: PUSH1 0x40 0000091a: MLOAD 0000091b: SWAP2 0000091c: POP 0000091d: PUSH1 0x1f 0000091f: NOT 00000920: PUSH1 0x3f 00000922: RETURNDATASIZE 00000923: ADD 00000924: AND 00000925: DUP3 00000926: ADD 00000927: PUSH1 0x40 00000929: MSTORE 0000092a: RETURNDATASIZE 0000092b: DUP3 0000092c: MSTORE 0000092d: RETURNDATASIZE 0000092e: PUSH1 0x00 00000930: PUSH1 0x20 00000932: DUP5 00000933: ADD 00000934: RETURNDATACOPY 00000935: PUSH2 0x093e 00000938: JUMP 00000939: JUMPDEST 0000093a: PUSH1 0x60 0000093c: SWAP2 0000093d: POP 0000093e: JUMPDEST 0000093f: POP 00000940: SWAP1 00000941: SWAP2 00000942: POP 00000943: POP 00000944: JUMPDEST 00000945: DUP1 00000946: PUSH2 0x095a 00000949: JUMPI 0000094a: PUSH1 0x03 0000094c: SLOAD 0000094d: PUSH2 0x0956 00000950: SWAP1 00000951: DUP4 00000952: PUSH2 0x033d 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x03 00000959: SSTORE 0000095a: JUMPDEST 0000095b: SWAP2 0000095c: POP 0000095d: POP 0000095e: SWAP1 0000095f: JUMP 00000960: JUMPDEST 00000961: PUSH1 0x04 00000963: DUP1 00000964: SLOAD 00000965: PUSH1 0x40 00000967: MLOAD 00000968: PUSH4 0x70a08231 0000096d: PUSH1 0xe0 0000096f: SHL 00000970: DUP2 00000971: MSTORE 00000972: PUSH1 0x01 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: SHL 00000979: SUB 0000097a: DUP5 0000097b: DUP2 0000097c: AND 0000097d: SWAP4 0000097e: DUP3 0000097f: ADD 00000980: SWAP4 00000981: SWAP1 00000982: SWAP4 00000983: MSTORE 00000984: PUSH1 0x00 00000986: SWAP3 00000987: DUP4 00000988: SWAP3 00000989: DUP4 0000098a: SWAP3 0000098b: SWAP2 0000098c: AND 0000098d: SWAP1 0000098e: PUSH4 0x70a08231 00000993: SWAP1 00000994: PUSH1 0x24 00000996: ADD 00000997: PUSH1 0x20 00000999: PUSH1 0x40 0000099b: MLOAD 0000099c: DUP1 0000099d: DUP4 0000099e: SUB 0000099f: DUP2 000009a0: DUP7 000009a1: DUP1 000009a2: EXTCODESIZE 000009a3: ISZERO 000009a4: DUP1 000009a5: ISZERO 000009a6: PUSH2 0x09ae 000009a9: JUMPI 000009aa: PUSH1 0x00 000009ac: DUP1 000009ad: REVERT 000009ae: JUMPDEST 000009af: POP 000009b0: GAS 000009b1: STATICCALL 000009b2: ISZERO 000009b3: DUP1 000009b4: ISZERO 000009b5: PUSH2 0x09c2 000009b8: JUMPI 000009b9: RETURNDATASIZE 000009ba: PUSH1 0x00 000009bc: DUP1 000009bd: RETURNDATACOPY 000009be: RETURNDATASIZE 000009bf: PUSH1 0x00 000009c1: REVERT 000009c2: JUMPDEST 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: POP 000009c7: PUSH1 0x40 000009c9: MLOAD 000009ca: RETURNDATASIZE 000009cb: PUSH1 0x1f 000009cd: NOT 000009ce: PUSH1 0x1f 000009d0: DUP3 000009d1: ADD 000009d2: AND 000009d3: DUP3 000009d4: ADD 000009d5: DUP1 000009d6: PUSH1 0x40 000009d8: MSTORE 000009d9: POP 000009da: DUP2 000009db: ADD 000009dc: SWAP1 000009dd: PUSH2 0x09e6 000009e0: SWAP2 000009e1: SWAP1 000009e2: PUSH2 0x105d 000009e5: JUMP 000009e6: JUMPDEST 000009e7: SWAP1 000009e8: POP 000009e9: PUSH1 0x00 000009eb: JUMPDEST 000009ec: DUP2 000009ed: DUP2 000009ee: LT 000009ef: ISZERO 000009f0: PUSH2 0x0abd 000009f3: JUMPI 000009f4: PUSH1 0x04 000009f6: DUP1 000009f7: SLOAD 000009f8: PUSH1 0x40 000009fa: MLOAD 000009fb: PUSH4 0x2f745c59 00000a00: PUSH1 0xe0 00000a02: SHL 00000a03: DUP2 00000a04: MSTORE 00000a05: PUSH1 0x01 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: SHL 00000a0c: SUB 00000a0d: DUP9 00000a0e: DUP2 00000a0f: AND 00000a10: SWAP4 00000a11: DUP3 00000a12: ADD 00000a13: SWAP4 00000a14: SWAP1 00000a15: SWAP4 00000a16: MSTORE 00000a17: PUSH1 0x24 00000a19: DUP2 00000a1a: ADD 00000a1b: DUP5 00000a1c: SWAP1 00000a1d: MSTORE 00000a1e: PUSH2 0x0aa9 00000a21: SWAP3 00000a22: PUSH2 0x0aa2 00000a25: SWAP3 00000a26: PUSH1 0x01 00000a28: SWAP3 00000a29: SWAP2 00000a2a: AND 00000a2b: SWAP1 00000a2c: PUSH4 0x2f745c59 00000a31: SWAP1 00000a32: PUSH1 0x44 00000a34: ADD 00000a35: PUSH1 0x20 00000a37: PUSH1 0x40 00000a39: MLOAD 00000a3a: DUP1 00000a3b: DUP4 00000a3c: SUB 00000a3d: DUP2 00000a3e: DUP7 00000a3f: DUP1 00000a40: EXTCODESIZE 00000a41: ISZERO 00000a42: DUP1 00000a43: ISZERO 00000a44: PUSH2 0x0a4c 00000a47: JUMPI 00000a48: PUSH1 0x00 00000a4a: DUP1 00000a4b: REVERT 00000a4c: JUMPDEST 00000a4d: POP 00000a4e: GAS 00000a4f: STATICCALL 00000a50: ISZERO 00000a51: DUP1 00000a52: ISZERO 00000a53: PUSH2 0x0a60 00000a56: JUMPI 00000a57: RETURNDATASIZE 00000a58: PUSH1 0x00 00000a5a: DUP1 00000a5b: RETURNDATACOPY 00000a5c: RETURNDATASIZE 00000a5d: PUSH1 0x00 00000a5f: REVERT 00000a60: JUMPDEST 00000a61: POP 00000a62: POP 00000a63: POP 00000a64: POP 00000a65: PUSH1 0x40 00000a67: MLOAD 00000a68: RETURNDATASIZE 00000a69: PUSH1 0x1f 00000a6b: NOT 00000a6c: PUSH1 0x1f 00000a6e: DUP3 00000a6f: ADD 00000a70: AND 00000a71: DUP3 00000a72: ADD 00000a73: DUP1 00000a74: PUSH1 0x40 00000a76: MSTORE 00000a77: POP 00000a78: DUP2 00000a79: ADD 00000a7a: SWAP1 00000a7b: PUSH2 0x0a84 00000a7e: SWAP2 00000a7f: SWAP1 00000a80: PUSH2 0x105d 00000a83: JUMP 00000a84: JUMPDEST 00000a85: DUP2 00000a86: SLOAD 00000a87: DUP2 00000a88: LT 00000a89: PUSH2 0x060d 00000a8c: JUMPI 00000a8d: PUSH4 0x4e487b71 00000a92: PUSH1 0xe0 00000a94: SHL 00000a95: PUSH1 0x00 00000a97: MSTORE 00000a98: PUSH1 0x32 00000a9a: PUSH1 0x04 00000a9c: MSTORE 00000a9d: PUSH1 0x24 00000a9f: PUSH1 0x00 00000aa1: REVERT 00000aa2: JUMPDEST 00000aa3: DUP5 00000aa4: SWAP1 00000aa5: PUSH2 0x033d 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: SWAP3 00000aab: POP 00000aac: DUP1 00000aad: PUSH2 0x0ab5 00000ab0: DUP2 00000ab1: PUSH2 0x1140 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: SWAP2 00000ab7: POP 00000ab8: POP 00000ab9: PUSH2 0x09eb 00000abc: JUMP 00000abd: JUMPDEST 00000abe: POP 00000abf: SWAP1 00000ac0: SWAP4 00000ac1: SWAP3 00000ac2: POP 00000ac3: POP 00000ac4: POP 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x00 00000ac9: SLOAD 00000aca: PUSH1 0x01 00000acc: PUSH1 0x01 00000ace: PUSH1 0xa0 00000ad0: SHL 00000ad1: SUB 00000ad2: AND 00000ad3: CALLER 00000ad4: EQ 00000ad5: PUSH2 0x0af0 00000ad8: JUMPI 00000ad9: PUSH1 0x40 00000adb: MLOAD 00000adc: PUSH3 0x461bcd 00000ae0: PUSH1 0xe5 00000ae2: SHL 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: PUSH1 0x04 00000ae7: ADD 00000ae8: PUSH2 0x0373 00000aeb: SWAP1 00000aec: PUSH2 0x1075 00000aef: JUMP 00000af0: JUMPDEST 00000af1: PUSH2 0x0afa 00000af4: PUSH1 0x00 00000af6: PUSH2 0x0f0b 00000af9: JUMP 00000afa: JUMPDEST 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH1 0x00 00000aff: SLOAD 00000b00: PUSH1 0x01 00000b02: PUSH1 0x01 00000b04: PUSH1 0xa0 00000b06: SHL 00000b07: SUB 00000b08: AND 00000b09: CALLER 00000b0a: EQ 00000b0b: PUSH2 0x0b26 00000b0e: JUMPI 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: PUSH3 0x461bcd 00000b16: PUSH1 0xe5 00000b18: SHL 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x04 00000b1d: ADD 00000b1e: PUSH2 0x0373 00000b21: SWAP1 00000b22: PUSH2 0x1075 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x64 00000b29: DUP2 00000b2a: PUSH2 0xffff 00000b2d: AND 00000b2e: GT 00000b2f: ISZERO 00000b30: PUSH2 0x0b6d 00000b33: JUMPI 00000b34: PUSH1 0x40 00000b36: MLOAD 00000b37: PUSH3 0x461bcd 00000b3b: PUSH1 0xe5 00000b3d: SHL 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x20 00000b42: PUSH1 0x04 00000b44: DUP3 00000b45: ADD 00000b46: MSTORE 00000b47: PUSH1 0x0f 00000b49: PUSH1 0x24 00000b4b: DUP3 00000b4c: ADD 00000b4d: MSTORE 00000b4e: PUSH15 0x1c985d1a5bc81b9bdd081d985b1a59 00000b5e: PUSH1 0x8a 00000b60: SHL 00000b61: PUSH1 0x44 00000b63: DUP3 00000b64: ADD 00000b65: MSTORE 00000b66: PUSH1 0x64 00000b68: ADD 00000b69: PUSH2 0x0373 00000b6c: JUMP 00000b6d: JUMPDEST 00000b6e: PUSH1 0x05 00000b70: DUP1 00000b71: SLOAD 00000b72: PUSH2 0xffff 00000b75: SWAP1 00000b76: SWAP3 00000b77: AND 00000b78: PUSH1 0x01 00000b7a: PUSH1 0x40 00000b7c: SHL 00000b7d: MUL 00000b7e: PUSH10 0xffff0000000000000000 00000b89: NOT 00000b8a: SWAP1 00000b8b: SWAP3 00000b8c: AND 00000b8d: SWAP2 00000b8e: SWAP1 00000b8f: SWAP2 00000b90: OR 00000b91: SWAP1 00000b92: SSTORE 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH1 0x05 00000b97: SLOAD 00000b98: PUSH1 0x00 00000b9a: SWAP1 00000b9b: PUSH1 0x01 00000b9d: PUSH1 0x50 00000b9f: SHL 00000ba0: SWAP1 00000ba1: DIV 00000ba2: PUSH1 0xff 00000ba4: AND 00000ba5: PUSH2 0x0bc0 00000ba8: JUMPI 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: PUSH3 0x461bcd 00000bb0: PUSH1 0xe5 00000bb2: SHL 00000bb3: DUP2 00000bb4: MSTORE 00000bb5: PUSH1 0x04 00000bb7: ADD 00000bb8: PUSH2 0x0373 00000bbb: SWAP1 00000bbc: PUSH2 0x10aa 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH1 0x04 00000bc3: DUP1 00000bc4: SLOAD 00000bc5: PUSH1 0x40 00000bc7: MLOAD 00000bc8: PUSH4 0x31a9108f 00000bcd: PUSH1 0xe1 00000bcf: SHL 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: SWAP2 00000bd3: DUP3 00000bd4: ADD 00000bd5: DUP5 00000bd6: SWAP1 00000bd7: MSTORE 00000bd8: PUSH1 0x01 00000bda: PUSH1 0x01 00000bdc: PUSH1 0xa0 00000bde: SHL 00000bdf: SUB 00000be0: AND 00000be1: SWAP1 00000be2: PUSH4 0x6352211e 00000be7: SWAP1 00000be8: PUSH1 0x24 00000bea: ADD 00000beb: PUSH1 0x20 00000bed: PUSH1 0x40 00000bef: MLOAD 00000bf0: DUP1 00000bf1: DUP4 00000bf2: SUB 00000bf3: DUP2 00000bf4: DUP7 00000bf5: DUP1 00000bf6: EXTCODESIZE 00000bf7: ISZERO 00000bf8: DUP1 00000bf9: ISZERO 00000bfa: PUSH2 0x0c02 00000bfd: JUMPI 00000bfe: PUSH1 0x00 00000c00: DUP1 00000c01: REVERT 00000c02: JUMPDEST 00000c03: POP 00000c04: GAS 00000c05: STATICCALL 00000c06: ISZERO 00000c07: DUP1 00000c08: ISZERO 00000c09: PUSH2 0x0c16 00000c0c: JUMPI 00000c0d: RETURNDATASIZE 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: RETURNDATACOPY 00000c12: RETURNDATASIZE 00000c13: PUSH1 0x00 00000c15: REVERT 00000c16: JUMPDEST 00000c17: POP 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: PUSH1 0x40 00000c1d: MLOAD 00000c1e: RETURNDATASIZE 00000c1f: PUSH1 0x1f 00000c21: NOT 00000c22: PUSH1 0x1f 00000c24: DUP3 00000c25: ADD 00000c26: AND 00000c27: DUP3 00000c28: ADD 00000c29: DUP1 00000c2a: PUSH1 0x40 00000c2c: MSTORE 00000c2d: POP 00000c2e: DUP2 00000c2f: ADD 00000c30: SWAP1 00000c31: PUSH2 0x0c3a 00000c34: SWAP2 00000c35: SWAP1 00000c36: PUSH2 0x0f77 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0xa0 00000c41: SHL 00000c42: SUB 00000c43: AND 00000c44: CALLER 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: AND 00000c4e: EQ 00000c4f: PUSH2 0x0c9a 00000c52: JUMPI 00000c53: PUSH1 0x40 00000c55: MLOAD 00000c56: PUSH3 0x461bcd 00000c5a: PUSH1 0xe5 00000c5c: SHL 00000c5d: DUP2 00000c5e: MSTORE 00000c5f: PUSH1 0x20 00000c61: PUSH1 0x04 00000c63: DUP3 00000c64: ADD 00000c65: MSTORE 00000c66: PUSH1 0x1d 00000c68: PUSH1 0x24 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH32 0x63616c6c6572206973206e6f742074686520746f6b656e206f776e6572000000 00000c8e: PUSH1 0x44 00000c90: DUP3 00000c91: ADD 00000c92: MSTORE 00000c93: PUSH1 0x64 00000c95: ADD 00000c96: PUSH2 0x0373 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: PUSH1 0x00 00000c9d: PUSH2 0x0cc0 00000ca0: PUSH1 0x01 00000ca2: DUP5 00000ca3: DUP2 00000ca4: SLOAD 00000ca5: DUP2 00000ca6: LT 00000ca7: PUSH2 0x060d 00000caa: JUMPI 00000cab: PUSH4 0x4e487b71 00000cb0: PUSH1 0xe0 00000cb2: SHL 00000cb3: PUSH1 0x00 00000cb5: MSTORE 00000cb6: PUSH1 0x32 00000cb8: PUSH1 0x04 00000cba: MSTORE 00000cbb: PUSH1 0x24 00000cbd: PUSH1 0x00 00000cbf: REVERT 00000cc0: JUMPDEST 00000cc1: SWAP1 00000cc2: POP 00000cc3: PUSH1 0x01 00000cc5: DUP2 00000cc6: ISZERO 00000cc7: PUSH2 0x0d68 00000cca: JUMPI 00000ccb: PUSH2 0x0cef 00000cce: DUP3 00000ccf: PUSH1 0x01 00000cd1: DUP7 00000cd2: DUP2 00000cd3: SLOAD 00000cd4: DUP2 00000cd5: LT 00000cd6: PUSH2 0x06ae 00000cd9: JUMPI 00000cda: PUSH4 0x4e487b71 00000cdf: PUSH1 0xe0 00000ce1: SHL 00000ce2: PUSH1 0x00 00000ce4: MSTORE 00000ce5: PUSH1 0x32 00000ce7: PUSH1 0x04 00000ce9: MSTORE 00000cea: PUSH1 0x24 00000cec: PUSH1 0x00 00000cee: REVERT 00000cef: JUMPDEST 00000cf0: PUSH1 0x01 00000cf2: DUP6 00000cf3: DUP2 00000cf4: SLOAD 00000cf5: DUP2 00000cf6: LT 00000cf7: PUSH2 0x0d10 00000cfa: JUMPI 00000cfb: PUSH4 0x4e487b71 00000d00: PUSH1 0xe0 00000d02: SHL 00000d03: PUSH1 0x00 00000d05: MSTORE 00000d06: PUSH1 0x32 00000d08: PUSH1 0x04 00000d0a: MSTORE 00000d0b: PUSH1 0x24 00000d0d: PUSH1 0x00 00000d0f: REVERT 00000d10: JUMPDEST 00000d11: PUSH1 0x00 00000d13: SWAP2 00000d14: DUP3 00000d15: MSTORE 00000d16: PUSH1 0x20 00000d18: DUP3 00000d19: KECCAK256 00000d1a: ADD 00000d1b: SWAP2 00000d1c: SWAP1 00000d1d: SWAP2 00000d1e: SSTORE 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: CALLER 00000d23: SWAP2 00000d24: DUP5 00000d25: SWAP2 00000d26: SWAP1 00000d27: DUP2 00000d28: DUP2 00000d29: DUP2 00000d2a: DUP6 00000d2b: DUP8 00000d2c: GAS 00000d2d: CALL 00000d2e: SWAP3 00000d2f: POP 00000d30: POP 00000d31: POP 00000d32: RETURNDATASIZE 00000d33: DUP1 00000d34: PUSH1 0x00 00000d36: DUP2 00000d37: EQ 00000d38: PUSH2 0x0d5d 00000d3b: JUMPI 00000d3c: PUSH1 0x40 00000d3e: MLOAD 00000d3f: SWAP2 00000d40: POP 00000d41: PUSH1 0x1f 00000d43: NOT 00000d44: PUSH1 0x3f 00000d46: RETURNDATASIZE 00000d47: ADD 00000d48: AND 00000d49: DUP3 00000d4a: ADD 00000d4b: PUSH1 0x40 00000d4d: MSTORE 00000d4e: RETURNDATASIZE 00000d4f: DUP3 00000d50: MSTORE 00000d51: RETURNDATASIZE 00000d52: PUSH1 0x00 00000d54: PUSH1 0x20 00000d56: DUP5 00000d57: ADD 00000d58: RETURNDATACOPY 00000d59: PUSH2 0x0d62 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: PUSH1 0x60 00000d60: SWAP2 00000d61: POP 00000d62: JUMPDEST 00000d63: POP 00000d64: SWAP1 00000d65: SWAP2 00000d66: POP 00000d67: POP 00000d68: JUMPDEST 00000d69: DUP1 00000d6a: PUSH2 0x031e 00000d6d: JUMPI 00000d6e: PUSH2 0x0d92 00000d71: DUP3 00000d72: PUSH1 0x01 00000d74: DUP7 00000d75: DUP2 00000d76: SLOAD 00000d77: DUP2 00000d78: LT 00000d79: PUSH2 0x0801 00000d7c: JUMPI 00000d7d: PUSH4 0x4e487b71 00000d82: PUSH1 0xe0 00000d84: SHL 00000d85: PUSH1 0x00 00000d87: MSTORE 00000d88: PUSH1 0x32 00000d8a: PUSH1 0x04 00000d8c: MSTORE 00000d8d: PUSH1 0x24 00000d8f: PUSH1 0x00 00000d91: REVERT 00000d92: JUMPDEST 00000d93: PUSH1 0x01 00000d95: DUP6 00000d96: DUP2 00000d97: SLOAD 00000d98: DUP2 00000d99: LT 00000d9a: PUSH2 0x0db3 00000d9d: JUMPI 00000d9e: PUSH4 0x4e487b71 00000da3: PUSH1 0xe0 00000da5: SHL 00000da6: PUSH1 0x00 00000da8: MSTORE 00000da9: PUSH1 0x32 00000dab: PUSH1 0x04 00000dad: MSTORE 00000dae: PUSH1 0x24 00000db0: PUSH1 0x00 00000db2: REVERT 00000db3: JUMPDEST 00000db4: PUSH1 0x00 00000db6: SWAP2 00000db7: DUP3 00000db8: MSTORE 00000db9: PUSH1 0x20 00000dbb: SWAP1 00000dbc: SWAP2 00000dbd: KECCAK256 00000dbe: ADD 00000dbf: SSTORE 00000dc0: SWAP4 00000dc1: SWAP3 00000dc2: POP 00000dc3: POP 00000dc4: POP 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: PUSH1 0x00 00000dc9: DUP1 00000dca: SLOAD 00000dcb: PUSH1 0x01 00000dcd: PUSH1 0x01 00000dcf: PUSH1 0xa0 00000dd1: SHL 00000dd2: SUB 00000dd3: AND 00000dd4: CALLER 00000dd5: EQ 00000dd6: PUSH2 0x0df1 00000dd9: JUMPI 00000dda: PUSH1 0x40 00000ddc: MLOAD 00000ddd: PUSH3 0x461bcd 00000de1: PUSH1 0xe5 00000de3: SHL 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x04 00000de8: ADD 00000de9: PUSH2 0x0373 00000dec: SWAP1 00000ded: PUSH2 0x1075 00000df0: JUMP 00000df1: JUMPDEST 00000df2: POP 00000df3: PUSH1 0x03 00000df5: SLOAD 00000df6: SWAP1 00000df7: JUMP 00000df8: JUMPDEST 00000df9: PUSH1 0x05 00000dfb: SLOAD 00000dfc: PUSH1 0x00 00000dfe: SWAP1 00000dff: PUSH4 0xffffffff 00000e04: AND 00000e05: DUP3 00000e06: LT 00000e07: PUSH2 0x0e46 00000e0a: JUMPI 00000e0b: PUSH1 0x40 00000e0d: MLOAD 00000e0e: PUSH3 0x461bcd 00000e12: PUSH1 0xe5 00000e14: SHL 00000e15: DUP2 00000e16: MSTORE 00000e17: PUSH1 0x20 00000e19: PUSH1 0x04 00000e1b: DUP3 00000e1c: ADD 00000e1d: MSTORE 00000e1e: PUSH1 0x11 00000e20: PUSH1 0x24 00000e22: DUP3 00000e23: ADD 00000e24: MSTORE 00000e25: PUSH17 0x1d1bdad95b9251081b9bdd081d985b1a59 00000e37: PUSH1 0x7a 00000e39: SHL 00000e3a: PUSH1 0x44 00000e3c: DUP3 00000e3d: ADD 00000e3e: MSTORE 00000e3f: PUSH1 0x64 00000e41: ADD 00000e42: PUSH2 0x0373 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH2 0x0e6a 00000e4a: PUSH1 0x01 00000e4c: DUP4 00000e4d: DUP2 00000e4e: SLOAD 00000e4f: DUP2 00000e50: LT 00000e51: PUSH2 0x060d 00000e54: JUMPI 00000e55: PUSH4 0x4e487b71 00000e5a: PUSH1 0xe0 00000e5c: SHL 00000e5d: PUSH1 0x00 00000e5f: MSTORE 00000e60: PUSH1 0x32 00000e62: PUSH1 0x04 00000e64: MSTORE 00000e65: PUSH1 0x24 00000e67: PUSH1 0x00 00000e69: REVERT 00000e6a: JUMPDEST 00000e6b: SWAP3 00000e6c: SWAP2 00000e6d: POP 00000e6e: POP 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x00 00000e73: SLOAD 00000e74: PUSH1 0x01 00000e76: PUSH1 0x01 00000e78: PUSH1 0xa0 00000e7a: SHL 00000e7b: SUB 00000e7c: AND 00000e7d: CALLER 00000e7e: EQ 00000e7f: PUSH2 0x0e9a 00000e82: JUMPI 00000e83: PUSH1 0x40 00000e85: MLOAD 00000e86: PUSH3 0x461bcd 00000e8a: PUSH1 0xe5 00000e8c: SHL 00000e8d: DUP2 00000e8e: MSTORE 00000e8f: PUSH1 0x04 00000e91: ADD 00000e92: PUSH2 0x0373 00000e95: SWAP1 00000e96: PUSH2 0x1075 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0x01 00000e9f: PUSH1 0xa0 00000ea1: SHL 00000ea2: SUB 00000ea3: DUP2 00000ea4: AND 00000ea5: PUSH2 0x0eff 00000ea8: JUMPI 00000ea9: PUSH1 0x40 00000eab: MLOAD 00000eac: PUSH3 0x461bcd 00000eb0: PUSH1 0xe5 00000eb2: SHL 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: PUSH1 0x04 00000eb9: DUP3 00000eba: ADD 00000ebb: MSTORE 00000ebc: PUSH1 0x26 00000ebe: PUSH1 0x24 00000ec0: DUP3 00000ec1: ADD 00000ec2: MSTORE 00000ec3: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ee4: PUSH1 0x44 00000ee6: DUP3 00000ee7: ADD 00000ee8: MSTORE 00000ee9: PUSH6 0x646472657373 00000ef0: PUSH1 0xd0 00000ef2: SHL 00000ef3: PUSH1 0x64 00000ef5: DUP3 00000ef6: ADD 00000ef7: MSTORE 00000ef8: PUSH1 0x84 00000efa: ADD 00000efb: PUSH2 0x0373 00000efe: JUMP 00000eff: JUMPDEST 00000f00: PUSH2 0x0f08 00000f03: DUP2 00000f04: PUSH2 0x0f0b 00000f07: JUMP 00000f08: JUMPDEST 00000f09: POP 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH1 0x00 00000f0e: DUP1 00000f0f: SLOAD 00000f10: PUSH1 0x01 00000f12: PUSH1 0x01 00000f14: PUSH1 0xa0 00000f16: SHL 00000f17: SUB 00000f18: DUP4 00000f19: DUP2 00000f1a: AND 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0x01 00000f1f: PUSH1 0xa0 00000f21: SHL 00000f22: SUB 00000f23: NOT 00000f24: DUP4 00000f25: AND 00000f26: DUP2 00000f27: OR 00000f28: DUP5 00000f29: SSTORE 00000f2a: PUSH1 0x40 00000f2c: MLOAD 00000f2d: SWAP2 00000f2e: SWAP1 00000f2f: SWAP3 00000f30: AND 00000f31: SWAP3 00000f32: DUP4 00000f33: SWAP2 00000f34: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f55: SWAP2 00000f56: SWAP1 00000f57: LOG3 00000f58: POP 00000f59: POP 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: PUSH1 0x00 00000f5e: PUSH1 0x20 00000f60: DUP3 00000f61: DUP5 00000f62: SUB 00000f63: SLT 00000f64: ISZERO 00000f65: PUSH2 0x0f6c 00000f68: JUMPI 00000f69: DUP1 00000f6a: DUP2 00000f6b: REVERT 00000f6c: JUMPDEST 00000f6d: DUP2 00000f6e: CALLDATALOAD 00000f6f: PUSH2 0x031e 00000f72: DUP2 00000f73: PUSH2 0x1171 00000f76: JUMP 00000f77: JUMPDEST 00000f78: PUSH1 0x00 00000f7a: PUSH1 0x20 00000f7c: DUP3 00000f7d: DUP5 00000f7e: SUB 00000f7f: SLT 00000f80: ISZERO 00000f81: PUSH2 0x0f88 00000f84: JUMPI 00000f85: DUP1 00000f86: DUP2 00000f87: REVERT 00000f88: JUMPDEST 00000f89: DUP2 00000f8a: MLOAD 00000f8b: PUSH2 0x031e 00000f8e: DUP2 00000f8f: PUSH2 0x1171 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH1 0x00 00000f96: DUP1 00000f97: PUSH1 0x20 00000f99: DUP4 00000f9a: DUP6 00000f9b: SUB 00000f9c: SLT 00000f9d: ISZERO 00000f9e: PUSH2 0x0fa5 00000fa1: JUMPI 00000fa2: DUP1 00000fa3: DUP2 00000fa4: REVERT 00000fa5: JUMPDEST 00000fa6: DUP3 00000fa7: CALLDATALOAD 00000fa8: PUSH8 0xffffffffffffffff 00000fb1: DUP1 00000fb2: DUP3 00000fb3: GT 00000fb4: ISZERO 00000fb5: PUSH2 0x0fbc 00000fb8: JUMPI 00000fb9: DUP3 00000fba: DUP4 00000fbb: REVERT 00000fbc: JUMPDEST 00000fbd: DUP2 00000fbe: DUP6 00000fbf: ADD 00000fc0: SWAP2 00000fc1: POP 00000fc2: DUP6 00000fc3: PUSH1 0x1f 00000fc5: DUP4 00000fc6: ADD 00000fc7: SLT 00000fc8: PUSH2 0x0fcf 00000fcb: JUMPI 00000fcc: DUP3 00000fcd: DUP4 00000fce: REVERT 00000fcf: JUMPDEST 00000fd0: DUP2 00000fd1: CALLDATALOAD 00000fd2: DUP2 00000fd3: DUP2 00000fd4: GT 00000fd5: ISZERO 00000fd6: PUSH2 0x0fdd 00000fd9: JUMPI 00000fda: DUP4 00000fdb: DUP5 00000fdc: REVERT 00000fdd: JUMPDEST 00000fde: DUP7 00000fdf: PUSH1 0x20 00000fe1: DUP3 00000fe2: PUSH1 0x05 00000fe4: SHL 00000fe5: DUP6 00000fe6: ADD 00000fe7: ADD 00000fe8: GT 00000fe9: ISZERO 00000fea: PUSH2 0x0ff1 00000fed: JUMPI 00000fee: DUP4 00000fef: DUP5 00000ff0: REVERT 00000ff1: JUMPDEST 00000ff2: PUSH1 0x20 00000ff4: SWAP3 00000ff5: SWAP1 00000ff6: SWAP3 00000ff7: ADD 00000ff8: SWAP7 00000ff9: SWAP2 00000ffa: SWAP6 00000ffb: POP 00000ffc: SWAP1 00000ffd: SWAP4 00000ffe: POP 00000fff: POP 00001000: POP 00001001: POP 00001002: JUMP 00001003: JUMPDEST 00001004: PUSH1 0x00 00001006: PUSH1 0x20 00001008: DUP3 00001009: DUP5 0000100a: SUB 0000100b: SLT 0000100c: ISZERO 0000100d: PUSH2 0x1014 00001010: JUMPI 00001011: DUP1 00001012: DUP2 00001013: REVERT 00001014: JUMPDEST 00001015: DUP2 00001016: CALLDATALOAD 00001017: DUP1 00001018: ISZERO 00001019: ISZERO 0000101a: DUP2 0000101b: EQ 0000101c: PUSH2 0x031e 0000101f: JUMPI 00001020: DUP2 00001021: DUP3 00001022: REVERT 00001023: JUMPDEST 00001024: PUSH1 0x00 00001026: PUSH1 0x20 00001028: DUP3 00001029: DUP5 0000102a: SUB 0000102b: SLT 0000102c: ISZERO 0000102d: PUSH2 0x1034 00001030: JUMPI 00001031: DUP1 00001032: DUP2 00001033: REVERT 00001034: JUMPDEST 00001035: DUP2 00001036: CALLDATALOAD 00001037: PUSH2 0xffff 0000103a: DUP2 0000103b: AND 0000103c: DUP2 0000103d: EQ 0000103e: PUSH2 0x031e 00001041: JUMPI 00001042: DUP2 00001043: DUP3 00001044: REVERT 00001045: JUMPDEST 00001046: PUSH1 0x00 00001048: PUSH1 0x20 0000104a: DUP3 0000104b: DUP5 0000104c: SUB 0000104d: SLT 0000104e: ISZERO 0000104f: PUSH2 0x1056 00001052: JUMPI 00001053: DUP1 00001054: DUP2 00001055: REVERT 00001056: JUMPDEST 00001057: POP 00001058: CALLDATALOAD 00001059: SWAP2 0000105a: SWAP1 0000105b: POP 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: PUSH1 0x20 00001062: DUP3 00001063: DUP5 00001064: SUB 00001065: SLT 00001066: ISZERO 00001067: PUSH2 0x106e 0000106a: JUMPI 0000106b: DUP1 0000106c: DUP2 0000106d: REVERT 0000106e: JUMPDEST 0000106f: POP 00001070: MLOAD 00001071: SWAP2 00001072: SWAP1 00001073: POP 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH1 0x20 00001078: DUP1 00001079: DUP3 0000107a: MSTORE 0000107b: DUP2 0000107c: DUP2 0000107d: ADD 0000107e: MSTORE 0000107f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000010a0: PUSH1 0x40 000010a2: DUP3 000010a3: ADD 000010a4: MSTORE 000010a5: PUSH1 0x60 000010a7: ADD 000010a8: SWAP1 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x20 000010ad: DUP1 000010ae: DUP3 000010af: MSTORE 000010b0: PUSH1 0x0e 000010b2: SWAP1 000010b3: DUP3 000010b4: ADD 000010b5: MSTORE 000010b6: PUSH14 0x18db185a5b48191a5cd8589b1959 000010c5: PUSH1 0x92 000010c7: SHL 000010c8: PUSH1 0x40 000010ca: DUP3 000010cb: ADD 000010cc: MSTORE 000010cd: PUSH1 0x60 000010cf: ADD 000010d0: SWAP1 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x00 000010d5: DUP3 000010d6: NOT 000010d7: DUP3 000010d8: GT 000010d9: ISZERO 000010da: PUSH2 0x10e5 000010dd: JUMPI 000010de: PUSH2 0x10e5 000010e1: PUSH2 0x115b 000010e4: JUMP 000010e5: JUMPDEST 000010e6: POP 000010e7: ADD 000010e8: SWAP1 000010e9: JUMP 000010ea: JUMPDEST 000010eb: PUSH1 0x00 000010ed: DUP3 000010ee: PUSH2 0x1105 000010f1: JUMPI 000010f2: PUSH4 0x4e487b71 000010f7: PUSH1 0xe0 000010f9: SHL 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH1 0x12 000010fe: PUSH1 0x04 00001100: MSTORE 00001101: PUSH1 0x24 00001103: DUP2 00001104: REVERT 00001105: JUMPDEST 00001106: POP 00001107: DIV 00001108: SWAP1 00001109: JUMP 0000110a: JUMPDEST 0000110b: PUSH1 0x00 0000110d: DUP2 0000110e: PUSH1 0x00 00001110: NOT 00001111: DIV 00001112: DUP4 00001113: GT 00001114: DUP3 00001115: ISZERO 00001116: ISZERO 00001117: AND 00001118: ISZERO 00001119: PUSH2 0x1124 0000111c: JUMPI 0000111d: PUSH2 0x1124 00001120: PUSH2 0x115b 00001123: JUMP 00001124: JUMPDEST 00001125: POP 00001126: MUL 00001127: SWAP1 00001128: JUMP 00001129: JUMPDEST 0000112a: PUSH1 0x00 0000112c: DUP3 0000112d: DUP3 0000112e: LT 0000112f: ISZERO 00001130: PUSH2 0x113b 00001133: JUMPI 00001134: PUSH2 0x113b 00001137: PUSH2 0x115b 0000113a: JUMP 0000113b: JUMPDEST 0000113c: POP 0000113d: SUB 0000113e: SWAP1 0000113f: JUMP 00001140: JUMPDEST 00001141: PUSH1 0x00 00001143: PUSH1 0x00 00001145: NOT 00001146: DUP3 00001147: EQ 00001148: ISZERO 00001149: PUSH2 0x1154 0000114c: JUMPI 0000114d: PUSH2 0x1154 00001150: PUSH2 0x115b 00001153: JUMP 00001154: JUMPDEST 00001155: POP 00001156: PUSH1 0x01 00001158: ADD 00001159: SWAP1 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH4 0x4e487b71 00001161: PUSH1 0xe0 00001163: SHL 00001164: PUSH1 0x00 00001166: MSTORE 00001167: PUSH1 0x11 00001169: PUSH1 0x04 0000116b: MSTORE 0000116c: PUSH1 0x24 0000116e: PUSH1 0x00 00001170: REVERT 00001171: JUMPDEST 00001172: PUSH1 0x01 00001174: PUSH1 0x01 00001176: PUSH1 0xa0 00001178: SHL 00001179: SUB 0000117a: DUP2 0000117b: AND 0000117c: DUP2 0000117d: EQ 0000117e: PUSH2 0x0f08 00001181: JUMPI 00001182: PUSH1 0x00 00001184: DUP1 00001185: REVERT 00001186: INVALID 00001187: LOG2 00001188: PUSH5 0x6970667358 0000118e: UNKNOWN(0x22) 0000118f: SLT 00001190: KECCAK256 00001191: ADD 00001192: UNKNOWN(0xE2) 00001193: LT 00001194: MLOAD 00001195: SHL 00001196: SWAP12 00001197: UNKNOWN(0xCE) 00001198: SWAP6 00001199: UNKNOWN(0xE4) 0000119a: UNKNOWN(0xDC) 0000119b: SWAP6 0000119c: GAS 0000119d: PUSH2 0x02f2 000011a0: UNKNOWN(0xC6) 000011a1: MSTORE 000011a2: PUSH10 0x215d74b05d7dcd22d788 000011ad: UNKNOWN(0x2E) 000011ae: UNKNOWN(0xCE) 000011af: UNKNOWN(0xD7) 000011b0: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc05c5e5f25efdb39c69df5271955ba7b598f87e01e47b96269de27231d1e14bb
call_targets:
0x9e37956b39fa75d95ea822de7311b02413496354
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc05c5e5f25efdb39c69df5271955ba7b598f87e01e47b96269de27231d1e14bb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9e37956b39fa75d95ea822de7311b02413496354"
],
"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": "0xbedcf003",
"selector": "0xbedcf003",
"calldata_variants": [
"0xbedcf003",
"0xbedcf0030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec1ebd7a",
"selector": "0xec1ebd7a",
"calldata_variants": [
"0xec1ebd7a",
"0xec1ebd7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefd32692",
"selector": "0xefd32692",
"calldata_variants": [
"0xefd32692",
"0xefd326920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a094748",
"selector": "0x7a094748",
"calldata_variants": [
"0x7a094748",
"0x7a0947480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9e7c2e5",
"selector": "0xa9e7c2e5",
"calldata_variants": [
"0xa9e7c2e5",
"0xa9e7c2e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11e632e9",
"selector": "0x11e632e9",
"calldata_variants": [
"0x11e632e9",
"0x11e632e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1858,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2313,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3373,
"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: 0xc05c5e5f25efdb39c69df5271955ba7b598f87e01e47b96269de27231d1e14bb
call_targets:
0x9e37956b39fa75d95ea822de7311b02413496354
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc05c5e5f25efdb39c69df5271955ba7b598f87e01e47b96269de27231d1e14bb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9e37956b39fa75d95ea822de7311b02413496354"
],
"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": "0xbedcf003",
"selector": "0xbedcf003",
"calldata_variants": [
"0xbedcf003",
"0xbedcf0030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec1ebd7a",
"selector": "0xec1ebd7a",
"calldata_variants": [
"0xec1ebd7a",
"0xec1ebd7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefd32692",
"selector": "0xefd32692",
"calldata_variants": [
"0xefd32692",
"0xefd326920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a094748",
"selector": "0x7a094748",
"calldata_variants": [
"0x7a094748",
"0x7a0947480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9e7c2e5",
"selector": "0xa9e7c2e5",
"calldata_variants": [
"0xa9e7c2e5",
"0xa9e7c2e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11e632e9",
"selector": "0x11e632e9",
"calldata_variants": [
"0x11e632e9",
"0x11e632e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1858,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2313,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3373,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x2beed72aed0b7c50299a914033f239209dcb4cf0eee3e6e0811a7ee4f7963081
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x2beed72aed0b7c50299a914033f239209dcb4cf0eee3e6e0811a7ee4f7963081",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xbedcf003",
"selector": "0xbedcf003",
"calldata_variants": [
"0xbedcf003",
"0xbedcf0030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec1ebd7a",
"selector": "0xec1ebd7a",
"calldata_variants": [
"0xec1ebd7a",
"0xec1ebd7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefd32692",
"selector": "0xefd32692",
"calldata_variants": [
"0xefd32692",
"0xefd326920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a094748",
"selector": "0x7a094748",
"calldata_variants": [
"0x7a094748",
"0x7a0947480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9e7c2e5",
"selector": "0xa9e7c2e5",
"calldata_variants": [
"0xa9e7c2e5",
"0xa9e7c2e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11e632e9",
"selector": "0x11e632e9",
"calldata_variants": [
"0x11e632e9",
"0x11e632e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|