019b3844-a3ee-7100-a97a-41a9741c260e
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 |
|---|---|---|---|---|
| 15923 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15924 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 59269 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 59270 | capability.graph | complete | 1 / 3 | 1 week ago |
| 59271 | detector.run | complete | 1 / 3 | 1 week ago |
| 59272 | 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 0x00d6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x82f11491 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc50d8f41 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc50d8f41 0000002f: EQ 00000030: PUSH2 0x02aa 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc5f4127a 0000003a: EQ 0000003b: PUSH2 0x02ca 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc8743864 00000045: EQ 00000046: PUSH2 0x02ea 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd65890b4 00000050: EQ 00000051: PUSH2 0x02fd 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x82f11491 00000060: EQ 00000061: PUSH2 0x023f 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x0252 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x90b8fc6a 00000076: EQ 00000077: PUSH2 0x028a 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x51cbd036 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x51cbd036 00000091: EQ 00000092: PUSH2 0x01ea 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x729a60c0 0000009c: EQ 0000009d: PUSH2 0x01fd 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x82e7486d 000000a7: EQ 000000a8: PUSH2 0x021f 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x11b5779e 000000b7: EQ 000000b8: PUSH2 0x011a 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x150b7a02 000000c2: EQ 000000c3: PUSH2 0x012f 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x429b62e5 000000cd: EQ 000000ce: PUSH2 0x01aa 000000d1: JUMPI 000000d2: PUSH1 0x00 000000d4: DUP1 000000d5: REVERT 000000d6: JUMPDEST 000000d7: CALLDATASIZE 000000d8: PUSH2 0x0115 000000db: JUMPI 000000dc: PUSH1 0x40 000000de: DUP1 000000df: MLOAD 000000e0: CALLER 000000e1: DUP2 000000e2: MSTORE 000000e3: CALLVALUE 000000e4: PUSH1 0x20 000000e6: DUP3 000000e7: ADD 000000e8: MSTORE 000000e9: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 0000010a: SWAP2 0000010b: ADD 0000010c: PUSH1 0x40 0000010e: MLOAD 0000010f: DUP1 00000110: SWAP2 00000111: SUB 00000112: SWAP1 00000113: LOG1 00000114: STOP 00000115: JUMPDEST 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: PUSH2 0x012d 0000011e: PUSH2 0x0128 00000121: CALLDATASIZE 00000122: PUSH1 0x04 00000124: PUSH2 0x0c67 00000127: JUMP 00000128: JUMPDEST 00000129: PUSH2 0x031d 0000012c: JUMP 0000012d: JUMPDEST 0000012e: STOP 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x0174 00000140: PUSH2 0x014a 00000143: CALLDATASIZE 00000144: PUSH1 0x04 00000146: PUSH2 0x0d3d 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 0000016c: SWAP6 0000016d: SWAP5 0000016e: POP 0000016f: POP 00000170: POP 00000171: POP 00000172: POP 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH1 0x40 00000177: MLOAD 00000178: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000199: SWAP1 0000019a: SWAP2 0000019b: AND 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: JUMPDEST 000001a2: PUSH1 0x40 000001a4: MLOAD 000001a5: DUP1 000001a6: SWAP2 000001a7: SUB 000001a8: SWAP1 000001a9: RETURN 000001aa: JUMPDEST 000001ab: CALLVALUE 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: PUSH2 0x01da 000001bb: PUSH2 0x01c5 000001be: CALLDATASIZE 000001bf: PUSH1 0x04 000001c1: PUSH2 0x0db0 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH1 0x01 000001c8: PUSH1 0x20 000001ca: MSTORE 000001cb: PUSH1 0x00 000001cd: SWAP1 000001ce: DUP2 000001cf: MSTORE 000001d0: PUSH1 0x40 000001d2: SWAP1 000001d3: KECCAK256 000001d4: SLOAD 000001d5: PUSH1 0xff 000001d7: AND 000001d8: DUP2 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH1 0x40 000001dd: MLOAD 000001de: SWAP1 000001df: ISZERO 000001e0: ISZERO 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH1 0x20 000001e5: ADD 000001e6: PUSH2 0x01a1 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH2 0x012d 000001ee: PUSH2 0x01f8 000001f1: CALLDATASIZE 000001f2: PUSH1 0x04 000001f4: PUSH2 0x0dd4 000001f7: JUMP 000001f8: JUMPDEST 000001f9: PUSH2 0x0432 000001fc: JUMP 000001fd: JUMPDEST 000001fe: CALLVALUE 000001ff: DUP1 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: POP 0000020b: PUSH2 0x0212 0000020e: PUSH2 0x05a0 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH1 0x40 00000215: MLOAD 00000216: PUSH2 0x01a1 00000219: SWAP2 0000021a: SWAP1 0000021b: PUSH2 0x0e3b 0000021e: JUMP 0000021f: JUMPDEST 00000220: CALLVALUE 00000221: DUP1 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: PUSH2 0x012d 00000230: PUSH2 0x023a 00000233: CALLDATASIZE 00000234: PUSH1 0x04 00000236: PUSH2 0x0e88 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH2 0x062f 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH2 0x01da 00000243: PUSH2 0x024d 00000246: CALLDATASIZE 00000247: PUSH1 0x04 00000249: PUSH2 0x0ec9 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x06f4 00000251: JUMP 00000252: JUMPDEST 00000253: CALLVALUE 00000254: DUP1 00000255: ISZERO 00000256: PUSH2 0x025e 00000259: JUMPI 0000025a: PUSH1 0x00 0000025c: DUP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: POP 00000260: PUSH1 0x00 00000262: SLOAD 00000263: PUSH2 0x0272 00000266: SWAP1 00000267: PUSH1 0x01 00000269: PUSH1 0x01 0000026b: PUSH1 0xa0 0000026d: SHL 0000026e: SUB 0000026f: AND 00000270: DUP2 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: MLOAD 00000276: PUSH1 0x01 00000278: PUSH1 0x01 0000027a: PUSH1 0xa0 0000027c: SHL 0000027d: SUB 0000027e: SWAP1 0000027f: SWAP2 00000280: AND 00000281: DUP2 00000282: MSTORE 00000283: PUSH1 0x20 00000285: ADD 00000286: PUSH2 0x01a1 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x0296 00000291: JUMPI 00000292: PUSH1 0x00 00000294: DUP1 00000295: REVERT 00000296: JUMPDEST 00000297: POP 00000298: PUSH2 0x012d 0000029b: PUSH2 0x02a5 0000029e: CALLDATASIZE 0000029f: PUSH1 0x04 000002a1: PUSH2 0x0db0 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x07a2 000002a9: JUMP 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: DUP1 000002ad: ISZERO 000002ae: PUSH2 0x02b6 000002b1: JUMPI 000002b2: PUSH1 0x00 000002b4: DUP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: POP 000002b8: PUSH2 0x012d 000002bb: PUSH2 0x02c5 000002be: CALLDATASIZE 000002bf: PUSH1 0x04 000002c1: PUSH2 0x0db0 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH2 0x0808 000002c9: JUMP 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x012d 000002db: PUSH2 0x02e5 000002de: CALLDATASIZE 000002df: PUSH1 0x04 000002e1: PUSH2 0x0f25 000002e4: JUMP 000002e5: JUMPDEST 000002e6: PUSH2 0x089e 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH2 0x012d 000002ee: PUSH2 0x02f8 000002f1: CALLDATASIZE 000002f2: PUSH1 0x04 000002f4: PUSH2 0x0dd4 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH2 0x0a10 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH2 0x0212 0000030e: PUSH2 0x0318 00000311: CALLDATASIZE 00000312: PUSH1 0x04 00000314: PUSH2 0x0f6b 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH2 0x0b82 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLER 0000031f: PUSH1 0x00 00000321: SWAP1 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x01 00000326: PUSH1 0x20 00000328: DUP2 00000329: SWAP1 0000032a: MSTORE 0000032b: PUSH1 0x40 0000032d: SWAP1 0000032e: SWAP2 0000032f: KECCAK256 00000330: SLOAD 00000331: PUSH1 0xff 00000333: AND 00000334: ISZERO 00000335: ISZERO 00000336: EQ 00000337: PUSH2 0x036b 0000033a: JUMPI 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: PUSH3 0x461bcd 00000342: PUSH1 0xe5 00000344: SHL 00000345: DUP2 00000346: MSTORE 00000347: PUSH1 0x20 00000349: PUSH1 0x04 0000034b: DUP3 0000034c: ADD 0000034d: MSTORE 0000034e: PUSH1 0x01 00000350: PUSH1 0x24 00000352: DUP3 00000353: ADD 00000354: MSTORE 00000355: PUSH1 0x37 00000357: PUSH1 0xf9 00000359: SHL 0000035a: PUSH1 0x44 0000035c: DUP3 0000035d: ADD 0000035e: MSTORE 0000035f: PUSH1 0x64 00000361: ADD 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: MLOAD 00000366: DUP1 00000367: SWAP2 00000368: SUB 00000369: SWAP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: PUSH1 0x00 0000036e: JUMPDEST 0000036f: PUSH2 0x0379 00000372: PUSH1 0x01 00000374: DUP4 00000375: PUSH2 0x0f9a 00000378: JUMP 00000379: JUMPDEST 0000037a: DUP2 0000037b: GT 0000037c: PUSH2 0x042d 0000037f: JUMPI 00000380: DUP3 00000381: DUP3 00000382: DUP3 00000383: DUP2 00000384: DUP2 00000385: LT 00000386: PUSH2 0x0391 00000389: JUMPI 0000038a: PUSH2 0x0391 0000038d: PUSH2 0x0fb3 00000390: JUMP 00000391: JUMPDEST 00000392: SWAP1 00000393: POP 00000394: PUSH1 0x20 00000396: MUL 00000397: ADD 00000398: PUSH1 0x20 0000039a: DUP2 0000039b: ADD 0000039c: SWAP1 0000039d: PUSH2 0x03a6 000003a0: SWAP2 000003a1: SWAP1 000003a2: PUSH2 0x0db0 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: PUSH32 0xc50d8f4100000000000000000000000000000000000000000000000000000000 000003cb: DUP2 000003cc: MSTORE 000003cd: CALLER 000003ce: PUSH1 0x04 000003d0: DUP3 000003d1: ADD 000003d2: MSTORE 000003d3: PUSH1 0x01 000003d5: PUSH1 0x01 000003d7: PUSH1 0xa0 000003d9: SHL 000003da: SUB 000003db: SWAP2 000003dc: SWAP1 000003dd: SWAP2 000003de: AND 000003df: SWAP1 000003e0: PUSH4 0xc50d8f41 000003e5: SWAP1 000003e6: PUSH1 0x24 000003e8: ADD 000003e9: PUSH1 0x00 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: DUP4 000003f0: SUB 000003f1: DUP2 000003f2: PUSH1 0x00 000003f4: DUP8 000003f5: DUP1 000003f6: EXTCODESIZE 000003f7: ISZERO 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: POP 00000404: GAS 00000405: CALL 00000406: ISZERO 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0416 0000040c: JUMPI 0000040d: RETURNDATASIZE 0000040e: PUSH1 0x00 00000410: DUP1 00000411: RETURNDATACOPY 00000412: RETURNDATASIZE 00000413: PUSH1 0x00 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: POP 00000419: POP 0000041a: POP 0000041b: DUP1 0000041c: DUP1 0000041d: PUSH2 0x0425 00000420: SWAP1 00000421: PUSH2 0x0fc9 00000424: JUMP 00000425: JUMPDEST 00000426: SWAP2 00000427: POP 00000428: POP 00000429: PUSH2 0x036e 0000042c: JUMP 0000042d: JUMPDEST 0000042e: POP 0000042f: POP 00000430: POP 00000431: JUMP 00000432: JUMPDEST 00000433: CALLER 00000434: PUSH1 0x00 00000436: SWAP1 00000437: DUP2 00000438: MSTORE 00000439: PUSH1 0x01 0000043b: PUSH1 0x20 0000043d: DUP2 0000043e: SWAP1 0000043f: MSTORE 00000440: PUSH1 0x40 00000442: SWAP1 00000443: SWAP2 00000444: KECCAK256 00000445: SLOAD 00000446: PUSH1 0xff 00000448: AND 00000449: ISZERO 0000044a: ISZERO 0000044b: EQ 0000044c: PUSH2 0x047b 0000044f: JUMPI 00000450: PUSH1 0x40 00000452: MLOAD 00000453: PUSH3 0x461bcd 00000457: PUSH1 0xe5 00000459: SHL 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x20 0000045e: PUSH1 0x04 00000460: DUP3 00000461: ADD 00000462: MSTORE 00000463: PUSH1 0x01 00000465: PUSH1 0x24 00000467: DUP3 00000468: ADD 00000469: MSTORE 0000046a: PUSH1 0x37 0000046c: PUSH1 0xf9 0000046e: SHL 0000046f: PUSH1 0x44 00000471: DUP3 00000472: ADD 00000473: MSTORE 00000474: PUSH1 0x64 00000476: ADD 00000477: PUSH2 0x0362 0000047a: JUMP 0000047b: JUMPDEST 0000047c: DUP2 0000047d: JUMPDEST 0000047e: PUSH2 0x0488 00000481: PUSH1 0x01 00000483: DUP4 00000484: PUSH2 0x0f9a 00000487: JUMP 00000488: JUMPDEST 00000489: DUP2 0000048a: GT 0000048b: PUSH2 0x0598 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: SLOAD 00000493: PUSH1 0x40 00000495: MLOAD 00000496: PUSH4 0x0d4c43fd 0000049b: PUSH1 0xe4 0000049d: SHL 0000049e: DUP2 0000049f: MSTORE 000004a0: PUSH1 0x04 000004a2: DUP2 000004a3: ADD 000004a4: DUP5 000004a5: SWAP1 000004a6: MSTORE 000004a7: PUSH1 0x01 000004a9: PUSH1 0x01 000004ab: PUSH1 0xa0 000004ad: SHL 000004ae: SUB 000004af: SWAP1 000004b0: SWAP2 000004b1: AND 000004b2: SWAP1 000004b3: PUSH4 0xd4c43fd0 000004b8: SWAP1 000004b9: PUSH1 0x24 000004bb: ADD 000004bc: PUSH1 0x20 000004be: PUSH1 0x40 000004c0: MLOAD 000004c1: DUP1 000004c2: DUP4 000004c3: SUB 000004c4: DUP2 000004c5: DUP7 000004c6: GAS 000004c7: STATICCALL 000004c8: ISZERO 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d8 000004ce: JUMPI 000004cf: RETURNDATASIZE 000004d0: PUSH1 0x00 000004d2: DUP1 000004d3: RETURNDATACOPY 000004d4: RETURNDATASIZE 000004d5: PUSH1 0x00 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: POP 000004db: POP 000004dc: POP 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: RETURNDATASIZE 000004e1: PUSH1 0x1f 000004e3: NOT 000004e4: PUSH1 0x1f 000004e6: DUP3 000004e7: ADD 000004e8: AND 000004e9: DUP3 000004ea: ADD 000004eb: DUP1 000004ec: PUSH1 0x40 000004ee: MSTORE 000004ef: POP 000004f0: DUP2 000004f1: ADD 000004f2: SWAP1 000004f3: PUSH2 0x04fc 000004f6: SWAP2 000004f7: SWAP1 000004f8: PUSH2 0x0ff2 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH1 0x01 000004ff: PUSH1 0x01 00000501: PUSH1 0xa0 00000503: SHL 00000504: SUB 00000505: AND 00000506: PUSH4 0x82f11491 0000050b: PUSH1 0x00 0000050d: DUP10 0000050e: DUP10 0000050f: DUP10 00000510: PUSH1 0x00 00000512: PUSH1 0x40 00000514: MLOAD 00000515: DUP7 00000516: PUSH4 0xffffffff 0000051b: AND 0000051c: PUSH1 0xe0 0000051e: SHL 0000051f: DUP2 00000520: MSTORE 00000521: PUSH1 0x04 00000523: ADD 00000524: PUSH2 0x0530 00000527: SWAP5 00000528: SWAP4 00000529: SWAP3 0000052a: SWAP2 0000052b: SWAP1 0000052c: PUSH2 0x1038 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x20 00000533: PUSH1 0x40 00000535: MLOAD 00000536: DUP1 00000537: DUP4 00000538: SUB 00000539: DUP2 0000053a: DUP6 0000053b: DUP9 0000053c: GAS 0000053d: CALL 0000053e: ISZERO 0000053f: DUP1 00000540: ISZERO 00000541: PUSH2 0x054e 00000544: JUMPI 00000545: RETURNDATASIZE 00000546: PUSH1 0x00 00000548: DUP1 00000549: RETURNDATACOPY 0000054a: RETURNDATASIZE 0000054b: PUSH1 0x00 0000054d: REVERT 0000054e: JUMPDEST 0000054f: POP 00000550: POP 00000551: POP 00000552: POP 00000553: POP 00000554: PUSH1 0x40 00000556: MLOAD 00000557: RETURNDATASIZE 00000558: PUSH1 0x1f 0000055a: NOT 0000055b: PUSH1 0x1f 0000055d: DUP3 0000055e: ADD 0000055f: AND 00000560: DUP3 00000561: ADD 00000562: DUP1 00000563: PUSH1 0x40 00000565: MSTORE 00000566: POP 00000567: DUP2 00000568: ADD 00000569: SWAP1 0000056a: PUSH2 0x0573 0000056d: SWAP2 0000056e: SWAP1 0000056f: PUSH2 0x106c 00000572: JUMP 00000573: JUMPDEST 00000574: SWAP1 00000575: POP 00000576: DUP1 00000577: ISZERO 00000578: PUSH2 0x0581 0000057b: JUMPI 0000057c: POP 0000057d: PUSH2 0x0586 00000580: JUMP 00000581: JUMPDEST 00000582: DUP3 00000583: SWAP2 00000584: POP 00000585: POP 00000586: JUMPDEST 00000587: DUP1 00000588: PUSH2 0x0590 0000058b: DUP2 0000058c: PUSH2 0x0fc9 0000058f: JUMP 00000590: JUMPDEST 00000591: SWAP2 00000592: POP 00000593: POP 00000594: PUSH2 0x047d 00000597: JUMP 00000598: JUMPDEST 00000599: POP 0000059a: POP 0000059b: POP 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: SLOAD 000005a5: PUSH1 0x40 000005a7: DUP1 000005a8: MLOAD 000005a9: PUSH32 0x729a60c000000000000000000000000000000000000000000000000000000000 000005ca: DUP2 000005cb: MSTORE 000005cc: SWAP1 000005cd: MLOAD 000005ce: PUSH1 0x60 000005d0: SWAP4 000005d1: PUSH1 0x01 000005d3: PUSH1 0x01 000005d5: PUSH1 0xa0 000005d7: SHL 000005d8: SUB 000005d9: SWAP1 000005da: SWAP4 000005db: AND 000005dc: SWAP3 000005dd: PUSH4 0x729a60c0 000005e2: SWAP3 000005e3: PUSH1 0x04 000005e5: DUP1 000005e6: DUP3 000005e7: ADD 000005e8: SWAP4 000005e9: SWAP2 000005ea: DUP3 000005eb: SWAP1 000005ec: SUB 000005ed: ADD 000005ee: DUP2 000005ef: DUP7 000005f0: GAS 000005f1: STATICCALL 000005f2: ISZERO 000005f3: DUP1 000005f4: ISZERO 000005f5: PUSH2 0x0602 000005f8: JUMPI 000005f9: RETURNDATASIZE 000005fa: PUSH1 0x00 000005fc: DUP1 000005fd: RETURNDATACOPY 000005fe: RETURNDATASIZE 000005ff: PUSH1 0x00 00000601: REVERT 00000602: JUMPDEST 00000603: POP 00000604: POP 00000605: POP 00000606: POP 00000607: PUSH1 0x40 00000609: MLOAD 0000060a: RETURNDATASIZE 0000060b: PUSH1 0x00 0000060d: DUP3 0000060e: RETURNDATACOPY 0000060f: PUSH1 0x1f 00000611: RETURNDATASIZE 00000612: SWAP1 00000613: DUP2 00000614: ADD 00000615: PUSH1 0x1f 00000617: NOT 00000618: AND 00000619: DUP3 0000061a: ADD 0000061b: PUSH1 0x40 0000061d: MSTORE 0000061e: PUSH2 0x062a 00000621: SWAP2 00000622: SWAP1 00000623: DUP2 00000624: ADD 00000625: SWAP1 00000626: PUSH2 0x10a4 00000629: JUMP 0000062a: JUMPDEST 0000062b: SWAP1 0000062c: POP 0000062d: SWAP1 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x00 00000632: SLOAD 00000633: PUSH1 0x01 00000635: PUSH1 0x01 00000637: PUSH1 0xa0 00000639: SHL 0000063a: SUB 0000063b: AND 0000063c: CALLER 0000063d: EQ 0000063e: PUSH2 0x066e 00000641: JUMPI 00000642: PUSH1 0x40 00000644: MLOAD 00000645: PUSH3 0x461bcd 00000649: PUSH1 0xe5 0000064b: SHL 0000064c: DUP2 0000064d: MSTORE 0000064e: PUSH1 0x20 00000650: PUSH1 0x04 00000652: DUP3 00000653: ADD 00000654: MSTORE 00000655: PUSH1 0x02 00000657: PUSH1 0x24 00000659: DUP3 0000065a: ADD 0000065b: MSTORE 0000065c: PUSH2 0x39b7 0000065f: PUSH1 0xf1 00000661: SHL 00000662: PUSH1 0x44 00000664: DUP3 00000665: ADD 00000666: MSTORE 00000667: PUSH1 0x64 00000669: ADD 0000066a: PUSH2 0x0362 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH1 0x40 00000671: MLOAD 00000672: PUSH32 0x42842e0e00000000000000000000000000000000000000000000000000000000 00000693: DUP2 00000694: MSTORE 00000695: ADDRESS 00000696: PUSH1 0x04 00000698: DUP3 00000699: ADD 0000069a: MSTORE 0000069b: PUSH1 0x01 0000069d: PUSH1 0x01 0000069f: PUSH1 0xa0 000006a1: SHL 000006a2: SUB 000006a3: DUP4 000006a4: DUP2 000006a5: AND 000006a6: PUSH1 0x24 000006a8: DUP4 000006a9: ADD 000006aa: MSTORE 000006ab: PUSH1 0x44 000006ad: DUP3 000006ae: ADD 000006af: DUP4 000006b0: SWAP1 000006b1: MSTORE 000006b2: DUP5 000006b3: AND 000006b4: SWAP1 000006b5: PUSH4 0x42842e0e 000006ba: SWAP1 000006bb: PUSH1 0x64 000006bd: ADD 000006be: PUSH1 0x00 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: DUP1 000006c4: DUP4 000006c5: SUB 000006c6: DUP2 000006c7: PUSH1 0x00 000006c9: DUP8 000006ca: DUP1 000006cb: EXTCODESIZE 000006cc: ISZERO 000006cd: DUP1 000006ce: ISZERO 000006cf: PUSH2 0x06d7 000006d2: JUMPI 000006d3: PUSH1 0x00 000006d5: DUP1 000006d6: REVERT 000006d7: JUMPDEST 000006d8: POP 000006d9: GAS 000006da: CALL 000006db: ISZERO 000006dc: DUP1 000006dd: ISZERO 000006de: PUSH2 0x06eb 000006e1: JUMPI 000006e2: RETURNDATASIZE 000006e3: PUSH1 0x00 000006e5: DUP1 000006e6: RETURNDATACOPY 000006e7: RETURNDATASIZE 000006e8: PUSH1 0x00 000006ea: REVERT 000006eb: JUMPDEST 000006ec: POP 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x00 000006f7: DUP1 000006f8: SLOAD 000006f9: PUSH1 0x01 000006fb: PUSH1 0x01 000006fd: PUSH1 0xa0 000006ff: SHL 00000700: SUB 00000701: AND 00000702: CALLER 00000703: EQ 00000704: PUSH2 0x0734 00000707: JUMPI 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: PUSH3 0x461bcd 0000070f: PUSH1 0xe5 00000711: SHL 00000712: DUP2 00000713: MSTORE 00000714: PUSH1 0x20 00000716: PUSH1 0x04 00000718: DUP3 00000719: ADD 0000071a: MSTORE 0000071b: PUSH1 0x02 0000071d: PUSH1 0x24 0000071f: DUP3 00000720: ADD 00000721: MSTORE 00000722: PUSH2 0x39b7 00000725: PUSH1 0xf1 00000727: SHL 00000728: PUSH1 0x44 0000072a: DUP3 0000072b: ADD 0000072c: MSTORE 0000072d: PUSH1 0x64 0000072f: ADD 00000730: PUSH2 0x0362 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH1 0x00 00000737: DUP1 00000738: DUP7 00000739: PUSH1 0x01 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: SHL 00000740: SUB 00000741: AND 00000742: DUP5 00000743: DUP8 00000744: DUP8 00000745: PUSH1 0x40 00000747: MLOAD 00000748: PUSH2 0x0752 0000074b: SWAP3 0000074c: SWAP2 0000074d: SWAP1 0000074e: PUSH2 0x1169 00000751: JUMP 00000752: JUMPDEST 00000753: PUSH1 0x00 00000755: PUSH1 0x40 00000757: MLOAD 00000758: DUP1 00000759: DUP4 0000075a: SUB 0000075b: DUP2 0000075c: DUP6 0000075d: DUP8 0000075e: GAS 0000075f: CALL 00000760: SWAP3 00000761: POP 00000762: POP 00000763: POP 00000764: RETURNDATASIZE 00000765: DUP1 00000766: PUSH1 0x00 00000768: DUP2 00000769: EQ 0000076a: PUSH2 0x078f 0000076d: JUMPI 0000076e: PUSH1 0x40 00000770: MLOAD 00000771: SWAP2 00000772: POP 00000773: PUSH1 0x1f 00000775: NOT 00000776: PUSH1 0x3f 00000778: RETURNDATASIZE 00000779: ADD 0000077a: AND 0000077b: DUP3 0000077c: ADD 0000077d: PUSH1 0x40 0000077f: MSTORE 00000780: RETURNDATASIZE 00000781: DUP3 00000782: MSTORE 00000783: RETURNDATASIZE 00000784: PUSH1 0x00 00000786: PUSH1 0x20 00000788: DUP5 00000789: ADD 0000078a: RETURNDATACOPY 0000078b: PUSH2 0x0794 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x60 00000792: SWAP2 00000793: POP 00000794: JUMPDEST 00000795: POP 00000796: SWAP1 00000797: SWAP9 00000798: SWAP8 00000799: POP 0000079a: POP 0000079b: POP 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x00 000007a5: SLOAD 000007a6: PUSH1 0x01 000007a8: PUSH1 0x01 000007aa: PUSH1 0xa0 000007ac: SHL 000007ad: SUB 000007ae: AND 000007af: CALLER 000007b0: EQ 000007b1: PUSH2 0x07e1 000007b4: JUMPI 000007b5: PUSH1 0x40 000007b7: MLOAD 000007b8: PUSH3 0x461bcd 000007bc: PUSH1 0xe5 000007be: SHL 000007bf: DUP2 000007c0: MSTORE 000007c1: PUSH1 0x20 000007c3: PUSH1 0x04 000007c5: DUP3 000007c6: ADD 000007c7: MSTORE 000007c8: PUSH1 0x02 000007ca: PUSH1 0x24 000007cc: DUP3 000007cd: ADD 000007ce: MSTORE 000007cf: PUSH2 0x39b7 000007d2: PUSH1 0xf1 000007d4: SHL 000007d5: PUSH1 0x44 000007d7: DUP3 000007d8: ADD 000007d9: MSTORE 000007da: PUSH1 0x64 000007dc: ADD 000007dd: PUSH2 0x0362 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH1 0x01 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: SHL 000007e9: SUB 000007ea: AND 000007eb: PUSH1 0x00 000007ed: SWAP1 000007ee: DUP2 000007ef: MSTORE 000007f0: PUSH1 0x01 000007f2: PUSH1 0x20 000007f4: DUP2 000007f5: SWAP1 000007f6: MSTORE 000007f7: PUSH1 0x40 000007f9: SWAP1 000007fa: SWAP2 000007fb: KECCAK256 000007fc: DUP1 000007fd: SLOAD 000007fe: PUSH1 0xff 00000800: NOT 00000801: AND 00000802: SWAP1 00000803: SWAP2 00000804: OR 00000805: SWAP1 00000806: SSTORE 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH1 0x00 0000080b: SLOAD 0000080c: PUSH1 0x01 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: SHL 00000813: SUB 00000814: AND 00000815: CALLER 00000816: EQ 00000817: PUSH2 0x0847 0000081a: JUMPI 0000081b: PUSH1 0x40 0000081d: MLOAD 0000081e: PUSH3 0x461bcd 00000822: PUSH1 0xe5 00000824: SHL 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x20 00000829: PUSH1 0x04 0000082b: DUP3 0000082c: ADD 0000082d: MSTORE 0000082e: PUSH1 0x02 00000830: PUSH1 0x24 00000832: DUP3 00000833: ADD 00000834: MSTORE 00000835: PUSH2 0x39b7 00000838: PUSH1 0xf1 0000083a: SHL 0000083b: PUSH1 0x44 0000083d: DUP3 0000083e: ADD 0000083f: MSTORE 00000840: PUSH1 0x64 00000842: ADD 00000843: PUSH2 0x0362 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x40 0000084a: MLOAD 0000084b: SELFBALANCE 0000084c: SWAP1 0000084d: PUSH1 0x01 0000084f: PUSH1 0x01 00000851: PUSH1 0xa0 00000853: SHL 00000854: SUB 00000855: DUP4 00000856: AND 00000857: SWAP1 00000858: DUP3 00000859: SWAP1 0000085a: PUSH1 0x00 0000085c: DUP2 0000085d: DUP2 0000085e: DUP2 0000085f: DUP6 00000860: DUP8 00000861: GAS 00000862: CALL 00000863: SWAP3 00000864: POP 00000865: POP 00000866: POP 00000867: RETURNDATASIZE 00000868: DUP1 00000869: PUSH1 0x00 0000086b: DUP2 0000086c: EQ 0000086d: PUSH2 0x0892 00000870: JUMPI 00000871: PUSH1 0x40 00000873: MLOAD 00000874: SWAP2 00000875: POP 00000876: PUSH1 0x1f 00000878: NOT 00000879: PUSH1 0x3f 0000087b: RETURNDATASIZE 0000087c: ADD 0000087d: AND 0000087e: DUP3 0000087f: ADD 00000880: PUSH1 0x40 00000882: MSTORE 00000883: RETURNDATASIZE 00000884: DUP3 00000885: MSTORE 00000886: RETURNDATASIZE 00000887: PUSH1 0x00 00000889: PUSH1 0x20 0000088b: DUP5 0000088c: ADD 0000088d: RETURNDATACOPY 0000088e: PUSH2 0x0897 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH1 0x60 00000895: SWAP2 00000896: POP 00000897: JUMPDEST 00000898: POP 00000899: POP 0000089a: POP 0000089b: POP 0000089c: POP 0000089d: JUMP 0000089e: JUMPDEST 0000089f: CALLER 000008a0: PUSH1 0x00 000008a2: SWAP1 000008a3: DUP2 000008a4: MSTORE 000008a5: PUSH1 0x01 000008a7: PUSH1 0x20 000008a9: DUP2 000008aa: SWAP1 000008ab: MSTORE 000008ac: PUSH1 0x40 000008ae: SWAP1 000008af: SWAP2 000008b0: KECCAK256 000008b1: SLOAD 000008b2: PUSH1 0xff 000008b4: AND 000008b5: ISZERO 000008b6: ISZERO 000008b7: EQ 000008b8: PUSH2 0x08e7 000008bb: JUMPI 000008bc: PUSH1 0x40 000008be: MLOAD 000008bf: PUSH3 0x461bcd 000008c3: PUSH1 0xe5 000008c5: SHL 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: PUSH1 0x04 000008cc: DUP3 000008cd: ADD 000008ce: MSTORE 000008cf: PUSH1 0x01 000008d1: PUSH1 0x24 000008d3: DUP3 000008d4: ADD 000008d5: MSTORE 000008d6: PUSH1 0x37 000008d8: PUSH1 0xf9 000008da: SHL 000008db: PUSH1 0x44 000008dd: DUP3 000008de: ADD 000008df: MSTORE 000008e0: PUSH1 0x64 000008e2: ADD 000008e3: PUSH2 0x0362 000008e6: JUMP 000008e7: JUMPDEST 000008e8: DUP2 000008e9: JUMPDEST 000008ea: DUP2 000008eb: DUP2 000008ec: GT 000008ed: PUSH2 0x0897 000008f0: JUMPI 000008f1: PUSH1 0x40 000008f3: MLOAD 000008f4: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x04 00000919: DUP2 0000091a: ADD 0000091b: DUP3 0000091c: SWAP1 0000091d: MSTORE 0000091e: PUSH1 0x00 00000920: SWAP1 00000921: PUSH1 0x01 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: SHL 00000928: SUB 00000929: DUP8 0000092a: AND 0000092b: SWAP1 0000092c: PUSH4 0x6352211e 00000931: SWAP1 00000932: PUSH1 0x24 00000934: ADD 00000935: PUSH1 0x20 00000937: PUSH1 0x40 00000939: MLOAD 0000093a: DUP1 0000093b: DUP4 0000093c: SUB 0000093d: DUP2 0000093e: DUP7 0000093f: GAS 00000940: STATICCALL 00000941: ISZERO 00000942: DUP1 00000943: ISZERO 00000944: PUSH2 0x0951 00000947: JUMPI 00000948: RETURNDATASIZE 00000949: PUSH1 0x00 0000094b: DUP1 0000094c: RETURNDATACOPY 0000094d: RETURNDATASIZE 0000094e: PUSH1 0x00 00000950: REVERT 00000951: JUMPDEST 00000952: POP 00000953: POP 00000954: POP 00000955: POP 00000956: PUSH1 0x40 00000958: MLOAD 00000959: RETURNDATASIZE 0000095a: PUSH1 0x1f 0000095c: NOT 0000095d: PUSH1 0x1f 0000095f: DUP3 00000960: ADD 00000961: AND 00000962: DUP3 00000963: ADD 00000964: DUP1 00000965: PUSH1 0x40 00000967: MSTORE 00000968: POP 00000969: DUP2 0000096a: ADD 0000096b: SWAP1 0000096c: PUSH2 0x0975 0000096f: SWAP2 00000970: SWAP1 00000971: PUSH2 0x0ff2 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x40 00000978: MLOAD 00000979: PUSH32 0x82e7486d00000000000000000000000000000000000000000000000000000000 0000099a: DUP2 0000099b: MSTORE 0000099c: PUSH1 0x01 0000099e: PUSH1 0x01 000009a0: PUSH1 0xa0 000009a2: SHL 000009a3: SUB 000009a4: DUP9 000009a5: DUP2 000009a6: AND 000009a7: PUSH1 0x04 000009a9: DUP4 000009aa: ADD 000009ab: MSTORE 000009ac: DUP8 000009ad: DUP2 000009ae: AND 000009af: PUSH1 0x24 000009b1: DUP4 000009b2: ADD 000009b3: MSTORE 000009b4: PUSH1 0x44 000009b6: DUP3 000009b7: ADD 000009b8: DUP6 000009b9: SWAP1 000009ba: MSTORE 000009bb: SWAP2 000009bc: SWAP3 000009bd: POP 000009be: SWAP1 000009bf: DUP3 000009c0: AND 000009c1: SWAP1 000009c2: PUSH4 0x82e7486d 000009c7: SWAP1 000009c8: PUSH1 0x64 000009ca: ADD 000009cb: PUSH1 0x00 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: DUP1 000009d1: DUP4 000009d2: SUB 000009d3: DUP2 000009d4: PUSH1 0x00 000009d6: DUP8 000009d7: DUP1 000009d8: EXTCODESIZE 000009d9: ISZERO 000009da: DUP1 000009db: ISZERO 000009dc: PUSH2 0x09e4 000009df: JUMPI 000009e0: PUSH1 0x00 000009e2: DUP1 000009e3: REVERT 000009e4: JUMPDEST 000009e5: POP 000009e6: GAS 000009e7: CALL 000009e8: ISZERO 000009e9: DUP1 000009ea: ISZERO 000009eb: PUSH2 0x09f8 000009ee: JUMPI 000009ef: RETURNDATASIZE 000009f0: PUSH1 0x00 000009f2: DUP1 000009f3: RETURNDATACOPY 000009f4: RETURNDATASIZE 000009f5: PUSH1 0x00 000009f7: REVERT 000009f8: JUMPDEST 000009f9: POP 000009fa: POP 000009fb: POP 000009fc: POP 000009fd: POP 000009fe: DUP1 000009ff: DUP1 00000a00: PUSH2 0x0a08 00000a03: SWAP1 00000a04: PUSH2 0x0fc9 00000a07: JUMP 00000a08: JUMPDEST 00000a09: SWAP2 00000a0a: POP 00000a0b: POP 00000a0c: PUSH2 0x08e9 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: CALLER 00000a12: PUSH1 0x00 00000a14: SWAP1 00000a15: DUP2 00000a16: MSTORE 00000a17: PUSH1 0x01 00000a19: PUSH1 0x20 00000a1b: DUP2 00000a1c: SWAP1 00000a1d: MSTORE 00000a1e: PUSH1 0x40 00000a20: SWAP1 00000a21: SWAP2 00000a22: KECCAK256 00000a23: SLOAD 00000a24: PUSH1 0xff 00000a26: AND 00000a27: ISZERO 00000a28: ISZERO 00000a29: EQ 00000a2a: PUSH2 0x0a59 00000a2d: JUMPI 00000a2e: PUSH1 0x40 00000a30: MLOAD 00000a31: PUSH3 0x461bcd 00000a35: PUSH1 0xe5 00000a37: SHL 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: PUSH1 0x04 00000a3e: DUP3 00000a3f: ADD 00000a40: MSTORE 00000a41: PUSH1 0x01 00000a43: PUSH1 0x24 00000a45: DUP3 00000a46: ADD 00000a47: MSTORE 00000a48: PUSH1 0x37 00000a4a: PUSH1 0xf9 00000a4c: SHL 00000a4d: PUSH1 0x44 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: PUSH1 0x64 00000a54: ADD 00000a55: PUSH2 0x0362 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: PUSH2 0x0a65 00000a5f: DUP3 00000a60: CALLVALUE 00000a61: PUSH2 0x1179 00000a64: JUMP 00000a65: JUMPDEST 00000a66: SWAP1 00000a67: POP 00000a68: DUP3 00000a69: JUMPDEST 00000a6a: PUSH2 0x0a74 00000a6d: PUSH1 0x01 00000a6f: DUP5 00000a70: PUSH2 0x0f9a 00000a73: JUMP 00000a74: JUMPDEST 00000a75: DUP2 00000a76: GT 00000a77: PUSH2 0x06eb 00000a7a: JUMPI 00000a7b: PUSH1 0x00 00000a7d: DUP1 00000a7e: SLOAD 00000a7f: PUSH1 0x40 00000a81: MLOAD 00000a82: PUSH4 0x0d4c43fd 00000a87: PUSH1 0xe4 00000a89: SHL 00000a8a: DUP2 00000a8b: MSTORE 00000a8c: PUSH1 0x04 00000a8e: DUP2 00000a8f: ADD 00000a90: DUP5 00000a91: SWAP1 00000a92: MSTORE 00000a93: PUSH1 0x01 00000a95: PUSH1 0x01 00000a97: PUSH1 0xa0 00000a99: SHL 00000a9a: SUB 00000a9b: SWAP1 00000a9c: SWAP2 00000a9d: AND 00000a9e: SWAP1 00000a9f: PUSH4 0xd4c43fd0 00000aa4: SWAP1 00000aa5: PUSH1 0x24 00000aa7: ADD 00000aa8: PUSH1 0x20 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: DUP1 00000aae: DUP4 00000aaf: SUB 00000ab0: DUP2 00000ab1: DUP7 00000ab2: GAS 00000ab3: STATICCALL 00000ab4: ISZERO 00000ab5: DUP1 00000ab6: ISZERO 00000ab7: PUSH2 0x0ac4 00000aba: JUMPI 00000abb: RETURNDATASIZE 00000abc: PUSH1 0x00 00000abe: DUP1 00000abf: RETURNDATACOPY 00000ac0: RETURNDATASIZE 00000ac1: PUSH1 0x00 00000ac3: REVERT 00000ac4: JUMPDEST 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: PUSH1 0x40 00000acb: MLOAD 00000acc: RETURNDATASIZE 00000acd: PUSH1 0x1f 00000acf: NOT 00000ad0: PUSH1 0x1f 00000ad2: DUP3 00000ad3: ADD 00000ad4: AND 00000ad5: DUP3 00000ad6: ADD 00000ad7: DUP1 00000ad8: PUSH1 0x40 00000ada: MSTORE 00000adb: POP 00000adc: DUP2 00000add: ADD 00000ade: SWAP1 00000adf: PUSH2 0x0ae8 00000ae2: SWAP2 00000ae3: SWAP1 00000ae4: PUSH2 0x0ff2 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH1 0x01 00000aeb: PUSH1 0x01 00000aed: PUSH1 0xa0 00000aef: SHL 00000af0: SUB 00000af1: AND 00000af2: PUSH4 0x82f11491 00000af7: DUP5 00000af8: DUP11 00000af9: DUP11 00000afa: DUP11 00000afb: DUP9 00000afc: PUSH1 0x40 00000afe: MLOAD 00000aff: DUP7 00000b00: PUSH4 0xffffffff 00000b05: AND 00000b06: PUSH1 0xe0 00000b08: SHL 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x04 00000b0d: ADD 00000b0e: PUSH2 0x0b1a 00000b11: SWAP5 00000b12: SWAP4 00000b13: SWAP3 00000b14: SWAP2 00000b15: SWAP1 00000b16: PUSH2 0x1038 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: PUSH1 0x20 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: DUP1 00000b21: DUP4 00000b22: SUB 00000b23: DUP2 00000b24: DUP6 00000b25: DUP9 00000b26: GAS 00000b27: CALL 00000b28: ISZERO 00000b29: DUP1 00000b2a: ISZERO 00000b2b: PUSH2 0x0b38 00000b2e: JUMPI 00000b2f: RETURNDATASIZE 00000b30: PUSH1 0x00 00000b32: DUP1 00000b33: RETURNDATACOPY 00000b34: RETURNDATASIZE 00000b35: PUSH1 0x00 00000b37: REVERT 00000b38: JUMPDEST 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: POP 00000b3d: POP 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: RETURNDATASIZE 00000b42: PUSH1 0x1f 00000b44: NOT 00000b45: PUSH1 0x1f 00000b47: DUP3 00000b48: ADD 00000b49: AND 00000b4a: DUP3 00000b4b: ADD 00000b4c: DUP1 00000b4d: PUSH1 0x40 00000b4f: MSTORE 00000b50: POP 00000b51: DUP2 00000b52: ADD 00000b53: SWAP1 00000b54: PUSH2 0x0b5d 00000b57: SWAP2 00000b58: SWAP1 00000b59: PUSH2 0x106c 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: SWAP1 00000b5f: POP 00000b60: DUP1 00000b61: ISZERO 00000b62: PUSH2 0x0b6b 00000b65: JUMPI 00000b66: POP 00000b67: PUSH2 0x0b70 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: DUP4 00000b6d: SWAP2 00000b6e: POP 00000b6f: POP 00000b70: JUMPDEST 00000b71: DUP1 00000b72: PUSH2 0x0b7a 00000b75: DUP2 00000b76: PUSH2 0x0fc9 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: SWAP2 00000b7c: POP 00000b7d: POP 00000b7e: PUSH2 0x0a69 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x60 00000b85: DUP1 00000b86: PUSH1 0x00 00000b88: JUMPDEST 00000b89: PUSH2 0x0b93 00000b8c: PUSH1 0x01 00000b8e: DUP6 00000b8f: PUSH2 0x0f9a 00000b92: JUMP 00000b93: JUMPDEST 00000b94: DUP2 00000b95: GT 00000b96: PUSH2 0x0c60 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: SLOAD 00000b9e: PUSH1 0x40 00000ba0: MLOAD 00000ba1: PUSH4 0x0d4c43fd 00000ba6: PUSH1 0xe4 00000ba8: SHL 00000ba9: DUP2 00000baa: MSTORE 00000bab: PUSH1 0x04 00000bad: DUP2 00000bae: ADD 00000baf: DUP5 00000bb0: SWAP1 00000bb1: MSTORE 00000bb2: PUSH1 0x01 00000bb4: PUSH1 0x01 00000bb6: PUSH1 0xa0 00000bb8: SHL 00000bb9: SUB 00000bba: SWAP1 00000bbb: SWAP2 00000bbc: AND 00000bbd: SWAP1 00000bbe: PUSH4 0xd4c43fd0 00000bc3: SWAP1 00000bc4: PUSH1 0x24 00000bc6: ADD 00000bc7: PUSH1 0x20 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: DUP1 00000bcd: DUP4 00000bce: SUB 00000bcf: DUP2 00000bd0: DUP7 00000bd1: GAS 00000bd2: STATICCALL 00000bd3: ISZERO 00000bd4: DUP1 00000bd5: ISZERO 00000bd6: PUSH2 0x0be3 00000bd9: JUMPI 00000bda: RETURNDATASIZE 00000bdb: PUSH1 0x00 00000bdd: DUP1 00000bde: RETURNDATACOPY 00000bdf: RETURNDATASIZE 00000be0: PUSH1 0x00 00000be2: REVERT 00000be3: JUMPDEST 00000be4: POP 00000be5: POP 00000be6: POP 00000be7: POP 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: RETURNDATASIZE 00000bec: PUSH1 0x1f 00000bee: NOT 00000bef: PUSH1 0x1f 00000bf1: DUP3 00000bf2: ADD 00000bf3: AND 00000bf4: DUP3 00000bf5: ADD 00000bf6: DUP1 00000bf7: PUSH1 0x40 00000bf9: MSTORE 00000bfa: POP 00000bfb: DUP2 00000bfc: ADD 00000bfd: SWAP1 00000bfe: PUSH2 0x0c07 00000c01: SWAP2 00000c02: SWAP1 00000c03: PUSH2 0x0ff2 00000c06: JUMP 00000c07: JUMPDEST 00000c08: SWAP1 00000c09: POP 00000c0a: PUSH1 0x01 00000c0c: PUSH1 0x01 00000c0e: PUSH1 0xa0 00000c10: SHL 00000c11: SUB 00000c12: DUP2 00000c13: AND 00000c14: BALANCE 00000c15: ISZERO 00000c16: PUSH2 0x0c4d 00000c19: JUMPI 00000c1a: DUP1 00000c1b: DUP4 00000c1c: DUP4 00000c1d: DUP2 00000c1e: MLOAD 00000c1f: DUP2 00000c20: LT 00000c21: PUSH2 0x0c2c 00000c24: JUMPI 00000c25: PUSH2 0x0c2c 00000c28: PUSH2 0x0fb3 00000c2b: JUMP 00000c2c: JUMPDEST 00000c2d: PUSH1 0x20 00000c2f: MUL 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: ADD 00000c34: SWAP1 00000c35: PUSH1 0x01 00000c37: PUSH1 0x01 00000c39: PUSH1 0xa0 00000c3b: SHL 00000c3c: SUB 00000c3d: AND 00000c3e: SWAP1 00000c3f: DUP2 00000c40: PUSH1 0x01 00000c42: PUSH1 0x01 00000c44: PUSH1 0xa0 00000c46: SHL 00000c47: SUB 00000c48: AND 00000c49: DUP2 00000c4a: MSTORE 00000c4b: POP 00000c4c: POP 00000c4d: JUMPDEST 00000c4e: POP 00000c4f: DUP1 00000c50: PUSH2 0x0c58 00000c53: DUP2 00000c54: PUSH2 0x0fc9 00000c57: JUMP 00000c58: JUMPDEST 00000c59: SWAP2 00000c5a: POP 00000c5b: POP 00000c5c: PUSH2 0x0b88 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: POP 00000c62: SWAP3 00000c63: SWAP2 00000c64: POP 00000c65: POP 00000c66: JUMP 00000c67: JUMPDEST 00000c68: PUSH1 0x00 00000c6a: DUP1 00000c6b: PUSH1 0x20 00000c6d: DUP4 00000c6e: DUP6 00000c6f: SUB 00000c70: SLT 00000c71: ISZERO 00000c72: PUSH2 0x0c7a 00000c75: JUMPI 00000c76: PUSH1 0x00 00000c78: DUP1 00000c79: REVERT 00000c7a: JUMPDEST 00000c7b: DUP3 00000c7c: CALLDATALOAD 00000c7d: PUSH8 0xffffffffffffffff 00000c86: DUP1 00000c87: DUP3 00000c88: GT 00000c89: ISZERO 00000c8a: PUSH2 0x0c92 00000c8d: JUMPI 00000c8e: PUSH1 0x00 00000c90: DUP1 00000c91: REVERT 00000c92: JUMPDEST 00000c93: DUP2 00000c94: DUP6 00000c95: ADD 00000c96: SWAP2 00000c97: POP 00000c98: DUP6 00000c99: PUSH1 0x1f 00000c9b: DUP4 00000c9c: ADD 00000c9d: SLT 00000c9e: PUSH2 0x0ca6 00000ca1: JUMPI 00000ca2: PUSH1 0x00 00000ca4: DUP1 00000ca5: REVERT 00000ca6: JUMPDEST 00000ca7: DUP2 00000ca8: CALLDATALOAD 00000ca9: DUP2 00000caa: DUP2 00000cab: GT 00000cac: ISZERO 00000cad: PUSH2 0x0cb5 00000cb0: JUMPI 00000cb1: PUSH1 0x00 00000cb3: DUP1 00000cb4: REVERT 00000cb5: JUMPDEST 00000cb6: DUP7 00000cb7: PUSH1 0x20 00000cb9: DUP3 00000cba: PUSH1 0x05 00000cbc: SHL 00000cbd: DUP6 00000cbe: ADD 00000cbf: ADD 00000cc0: GT 00000cc1: ISZERO 00000cc2: PUSH2 0x0cca 00000cc5: JUMPI 00000cc6: PUSH1 0x00 00000cc8: DUP1 00000cc9: REVERT 00000cca: JUMPDEST 00000ccb: PUSH1 0x20 00000ccd: SWAP3 00000cce: SWAP1 00000ccf: SWAP3 00000cd0: ADD 00000cd1: SWAP7 00000cd2: SWAP2 00000cd3: SWAP6 00000cd4: POP 00000cd5: SWAP1 00000cd6: SWAP4 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: POP 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0x01 00000ce1: PUSH1 0xa0 00000ce3: SHL 00000ce4: SUB 00000ce5: DUP2 00000ce6: AND 00000ce7: DUP2 00000ce8: EQ 00000ce9: PUSH2 0x0cf1 00000cec: JUMPI 00000ced: PUSH1 0x00 00000cef: DUP1 00000cf0: REVERT 00000cf1: JUMPDEST 00000cf2: POP 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH1 0x00 00000cf7: DUP1 00000cf8: DUP4 00000cf9: PUSH1 0x1f 00000cfb: DUP5 00000cfc: ADD 00000cfd: SLT 00000cfe: PUSH2 0x0d06 00000d01: JUMPI 00000d02: PUSH1 0x00 00000d04: DUP1 00000d05: REVERT 00000d06: JUMPDEST 00000d07: POP 00000d08: DUP2 00000d09: CALLDATALOAD 00000d0a: PUSH8 0xffffffffffffffff 00000d13: DUP2 00000d14: GT 00000d15: ISZERO 00000d16: PUSH2 0x0d1e 00000d19: JUMPI 00000d1a: PUSH1 0x00 00000d1c: DUP1 00000d1d: REVERT 00000d1e: JUMPDEST 00000d1f: PUSH1 0x20 00000d21: DUP4 00000d22: ADD 00000d23: SWAP2 00000d24: POP 00000d25: DUP4 00000d26: PUSH1 0x20 00000d28: DUP3 00000d29: DUP6 00000d2a: ADD 00000d2b: ADD 00000d2c: GT 00000d2d: ISZERO 00000d2e: PUSH2 0x0d36 00000d31: JUMPI 00000d32: PUSH1 0x00 00000d34: DUP1 00000d35: REVERT 00000d36: JUMPDEST 00000d37: SWAP3 00000d38: POP 00000d39: SWAP3 00000d3a: SWAP1 00000d3b: POP 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH1 0x00 00000d40: DUP1 00000d41: PUSH1 0x00 00000d43: DUP1 00000d44: PUSH1 0x00 00000d46: PUSH1 0x80 00000d48: DUP7 00000d49: DUP9 00000d4a: SUB 00000d4b: SLT 00000d4c: ISZERO 00000d4d: PUSH2 0x0d55 00000d50: JUMPI 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: REVERT 00000d55: JUMPDEST 00000d56: DUP6 00000d57: CALLDATALOAD 00000d58: PUSH2 0x0d60 00000d5b: DUP2 00000d5c: PUSH2 0x0cdc 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: SWAP5 00000d62: POP 00000d63: PUSH1 0x20 00000d65: DUP7 00000d66: ADD 00000d67: CALLDATALOAD 00000d68: PUSH2 0x0d70 00000d6b: DUP2 00000d6c: PUSH2 0x0cdc 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: SWAP4 00000d72: POP 00000d73: PUSH1 0x40 00000d75: DUP7 00000d76: ADD 00000d77: CALLDATALOAD 00000d78: SWAP3 00000d79: POP 00000d7a: PUSH1 0x60 00000d7c: DUP7 00000d7d: ADD 00000d7e: CALLDATALOAD 00000d7f: PUSH8 0xffffffffffffffff 00000d88: DUP2 00000d89: GT 00000d8a: ISZERO 00000d8b: PUSH2 0x0d93 00000d8e: JUMPI 00000d8f: PUSH1 0x00 00000d91: DUP1 00000d92: REVERT 00000d93: JUMPDEST 00000d94: PUSH2 0x0d9f 00000d97: DUP9 00000d98: DUP3 00000d99: DUP10 00000d9a: ADD 00000d9b: PUSH2 0x0cf4 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: SWAP7 00000da1: SWAP10 00000da2: SWAP6 00000da3: SWAP9 00000da4: POP 00000da5: SWAP4 00000da6: SWAP7 00000da7: POP 00000da8: SWAP3 00000da9: SWAP5 00000daa: SWAP4 00000dab: SWAP3 00000dac: POP 00000dad: POP 00000dae: POP 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH1 0x00 00000db3: PUSH1 0x20 00000db5: DUP3 00000db6: DUP5 00000db7: SUB 00000db8: SLT 00000db9: ISZERO 00000dba: PUSH2 0x0dc2 00000dbd: JUMPI 00000dbe: PUSH1 0x00 00000dc0: DUP1 00000dc1: REVERT 00000dc2: JUMPDEST 00000dc3: DUP2 00000dc4: CALLDATALOAD 00000dc5: PUSH2 0x0dcd 00000dc8: DUP2 00000dc9: PUSH2 0x0cdc 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: SWAP4 00000dcf: SWAP3 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: DUP1 00000dd8: PUSH1 0x00 00000dda: DUP1 00000ddb: PUSH1 0x00 00000ddd: PUSH1 0x80 00000ddf: DUP7 00000de0: DUP9 00000de1: SUB 00000de2: SLT 00000de3: ISZERO 00000de4: PUSH2 0x0dec 00000de7: JUMPI 00000de8: PUSH1 0x00 00000dea: DUP1 00000deb: REVERT 00000dec: JUMPDEST 00000ded: DUP6 00000dee: CALLDATALOAD 00000def: PUSH2 0x0df7 00000df2: DUP2 00000df3: PUSH2 0x0cdc 00000df6: JUMP 00000df7: JUMPDEST 00000df8: SWAP5 00000df9: POP 00000dfa: PUSH1 0x20 00000dfc: DUP7 00000dfd: ADD 00000dfe: CALLDATALOAD 00000dff: PUSH8 0xffffffffffffffff 00000e08: DUP2 00000e09: GT 00000e0a: ISZERO 00000e0b: PUSH2 0x0e13 00000e0e: JUMPI 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: PUSH2 0x0e1f 00000e17: DUP9 00000e18: DUP3 00000e19: DUP10 00000e1a: ADD 00000e1b: PUSH2 0x0cf4 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: SWAP7 00000e21: SWAP10 00000e22: SWAP1 00000e23: SWAP9 00000e24: POP 00000e25: SWAP6 00000e26: SWAP7 00000e27: PUSH1 0x40 00000e29: DUP2 00000e2a: ADD 00000e2b: CALLDATALOAD 00000e2c: SWAP7 00000e2d: PUSH1 0x60 00000e2f: SWAP1 00000e30: SWAP2 00000e31: ADD 00000e32: CALLDATALOAD 00000e33: SWAP6 00000e34: POP 00000e35: SWAP4 00000e36: POP 00000e37: POP 00000e38: POP 00000e39: POP 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: PUSH1 0x20 00000e3e: DUP1 00000e3f: DUP3 00000e40: MSTORE 00000e41: DUP3 00000e42: MLOAD 00000e43: DUP3 00000e44: DUP3 00000e45: ADD 00000e46: DUP2 00000e47: SWAP1 00000e48: MSTORE 00000e49: PUSH1 0x00 00000e4b: SWAP2 00000e4c: SWAP1 00000e4d: DUP5 00000e4e: DUP3 00000e4f: ADD 00000e50: SWAP1 00000e51: PUSH1 0x40 00000e53: DUP6 00000e54: ADD 00000e55: SWAP1 00000e56: DUP5 00000e57: JUMPDEST 00000e58: DUP2 00000e59: DUP2 00000e5a: LT 00000e5b: ISZERO 00000e5c: PUSH2 0x0e7c 00000e5f: JUMPI 00000e60: DUP4 00000e61: MLOAD 00000e62: PUSH1 0x01 00000e64: PUSH1 0x01 00000e66: PUSH1 0xa0 00000e68: SHL 00000e69: SUB 00000e6a: AND 00000e6b: DUP4 00000e6c: MSTORE 00000e6d: SWAP3 00000e6e: DUP5 00000e6f: ADD 00000e70: SWAP3 00000e71: SWAP2 00000e72: DUP5 00000e73: ADD 00000e74: SWAP2 00000e75: PUSH1 0x01 00000e77: ADD 00000e78: PUSH2 0x0e57 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: POP 00000e7e: SWAP1 00000e7f: SWAP7 00000e80: SWAP6 00000e81: POP 00000e82: POP 00000e83: POP 00000e84: POP 00000e85: POP 00000e86: POP 00000e87: JUMP 00000e88: JUMPDEST 00000e89: PUSH1 0x00 00000e8b: DUP1 00000e8c: PUSH1 0x00 00000e8e: PUSH1 0x60 00000e90: DUP5 00000e91: DUP7 00000e92: SUB 00000e93: SLT 00000e94: ISZERO 00000e95: PUSH2 0x0e9d 00000e98: JUMPI 00000e99: PUSH1 0x00 00000e9b: DUP1 00000e9c: REVERT 00000e9d: JUMPDEST 00000e9e: DUP4 00000e9f: CALLDATALOAD 00000ea0: PUSH2 0x0ea8 00000ea3: DUP2 00000ea4: PUSH2 0x0cdc 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: SWAP3 00000eaa: POP 00000eab: PUSH1 0x20 00000ead: DUP5 00000eae: ADD 00000eaf: CALLDATALOAD 00000eb0: PUSH2 0x0eb8 00000eb3: DUP2 00000eb4: PUSH2 0x0cdc 00000eb7: JUMP 00000eb8: JUMPDEST 00000eb9: SWAP3 00000eba: SWAP6 00000ebb: SWAP3 00000ebc: SWAP5 00000ebd: POP 00000ebe: POP 00000ebf: POP 00000ec0: PUSH1 0x40 00000ec2: SWAP2 00000ec3: SWAP1 00000ec4: SWAP2 00000ec5: ADD 00000ec6: CALLDATALOAD 00000ec7: SWAP1 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x00 00000ecc: DUP1 00000ecd: PUSH1 0x00 00000ecf: DUP1 00000ed0: PUSH1 0x60 00000ed2: DUP6 00000ed3: DUP8 00000ed4: SUB 00000ed5: SLT 00000ed6: ISZERO 00000ed7: PUSH2 0x0edf 00000eda: JUMPI 00000edb: PUSH1 0x00 00000edd: DUP1 00000ede: REVERT 00000edf: JUMPDEST 00000ee0: DUP5 00000ee1: CALLDATALOAD 00000ee2: PUSH2 0x0eea 00000ee5: DUP2 00000ee6: PUSH2 0x0cdc 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: SWAP4 00000eec: POP 00000eed: PUSH1 0x20 00000eef: DUP6 00000ef0: ADD 00000ef1: CALLDATALOAD 00000ef2: PUSH8 0xffffffffffffffff 00000efb: DUP2 00000efc: GT 00000efd: ISZERO 00000efe: PUSH2 0x0f06 00000f01: JUMPI 00000f02: PUSH1 0x00 00000f04: DUP1 00000f05: REVERT 00000f06: JUMPDEST 00000f07: PUSH2 0x0f12 00000f0a: DUP8 00000f0b: DUP3 00000f0c: DUP9 00000f0d: ADD 00000f0e: PUSH2 0x0cf4 00000f11: JUMP 00000f12: JUMPDEST 00000f13: SWAP6 00000f14: SWAP9 00000f15: SWAP1 00000f16: SWAP8 00000f17: POP 00000f18: SWAP5 00000f19: SWAP6 00000f1a: PUSH1 0x40 00000f1c: ADD 00000f1d: CALLDATALOAD 00000f1e: SWAP5 00000f1f: SWAP4 00000f20: POP 00000f21: POP 00000f22: POP 00000f23: POP 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH1 0x00 00000f28: DUP1 00000f29: PUSH1 0x00 00000f2b: DUP1 00000f2c: PUSH1 0x80 00000f2e: DUP6 00000f2f: DUP8 00000f30: SUB 00000f31: SLT 00000f32: ISZERO 00000f33: PUSH2 0x0f3b 00000f36: JUMPI 00000f37: PUSH1 0x00 00000f39: DUP1 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: DUP5 00000f3d: CALLDATALOAD 00000f3e: PUSH2 0x0f46 00000f41: DUP2 00000f42: PUSH2 0x0cdc 00000f45: JUMP 00000f46: JUMPDEST 00000f47: SWAP4 00000f48: POP 00000f49: PUSH1 0x20 00000f4b: DUP6 00000f4c: ADD 00000f4d: CALLDATALOAD 00000f4e: PUSH2 0x0f56 00000f51: DUP2 00000f52: PUSH2 0x0cdc 00000f55: JUMP 00000f56: JUMPDEST 00000f57: SWAP4 00000f58: SWAP7 00000f59: SWAP4 00000f5a: SWAP6 00000f5b: POP 00000f5c: POP 00000f5d: POP 00000f5e: POP 00000f5f: PUSH1 0x40 00000f61: DUP3 00000f62: ADD 00000f63: CALLDATALOAD 00000f64: SWAP2 00000f65: PUSH1 0x60 00000f67: ADD 00000f68: CALLDATALOAD 00000f69: SWAP1 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: PUSH1 0x00 00000f6e: PUSH1 0x20 00000f70: DUP3 00000f71: DUP5 00000f72: SUB 00000f73: SLT 00000f74: ISZERO 00000f75: PUSH2 0x0f7d 00000f78: JUMPI 00000f79: PUSH1 0x00 00000f7b: DUP1 00000f7c: REVERT 00000f7d: JUMPDEST 00000f7e: POP 00000f7f: CALLDATALOAD 00000f80: SWAP2 00000f81: SWAP1 00000f82: POP 00000f83: JUMP 00000f84: JUMPDEST 00000f85: PUSH4 0x4e487b71 00000f8a: PUSH1 0xe0 00000f8c: SHL 00000f8d: PUSH1 0x00 00000f8f: MSTORE 00000f90: PUSH1 0x11 00000f92: PUSH1 0x04 00000f94: MSTORE 00000f95: PUSH1 0x24 00000f97: PUSH1 0x00 00000f99: REVERT 00000f9a: JUMPDEST 00000f9b: DUP2 00000f9c: DUP2 00000f9d: SUB 00000f9e: DUP2 00000f9f: DUP2 00000fa0: GT 00000fa1: ISZERO 00000fa2: PUSH2 0x0fad 00000fa5: JUMPI 00000fa6: PUSH2 0x0fad 00000fa9: PUSH2 0x0f84 00000fac: JUMP 00000fad: JUMPDEST 00000fae: SWAP3 00000faf: SWAP2 00000fb0: POP 00000fb1: POP 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: PUSH4 0x4e487b71 00000fb9: PUSH1 0xe0 00000fbb: SHL 00000fbc: PUSH1 0x00 00000fbe: MSTORE 00000fbf: PUSH1 0x32 00000fc1: PUSH1 0x04 00000fc3: MSTORE 00000fc4: PUSH1 0x24 00000fc6: PUSH1 0x00 00000fc8: REVERT 00000fc9: JUMPDEST 00000fca: PUSH1 0x00 00000fcc: PUSH1 0x01 00000fce: DUP3 00000fcf: ADD 00000fd0: PUSH2 0x0fdb 00000fd3: JUMPI 00000fd4: PUSH2 0x0fdb 00000fd7: PUSH2 0x0f84 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: POP 00000fdd: PUSH1 0x01 00000fdf: ADD 00000fe0: SWAP1 00000fe1: JUMP 00000fe2: JUMPDEST 00000fe3: DUP1 00000fe4: MLOAD 00000fe5: PUSH2 0x0fed 00000fe8: DUP2 00000fe9: PUSH2 0x0cdc 00000fec: JUMP 00000fed: JUMPDEST 00000fee: SWAP2 00000fef: SWAP1 00000ff0: POP 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH1 0x00 00000ff5: PUSH1 0x20 00000ff7: DUP3 00000ff8: DUP5 00000ff9: SUB 00000ffa: SLT 00000ffb: ISZERO 00000ffc: PUSH2 0x1004 00000fff: JUMPI 00001000: PUSH1 0x00 00001002: DUP1 00001003: REVERT 00001004: JUMPDEST 00001005: DUP2 00001006: MLOAD 00001007: PUSH2 0x0dcd 0000100a: DUP2 0000100b: PUSH2 0x0cdc 0000100e: JUMP 0000100f: JUMPDEST 00001010: DUP2 00001011: DUP4 00001012: MSTORE 00001013: DUP2 00001014: DUP2 00001015: PUSH1 0x20 00001017: DUP6 00001018: ADD 00001019: CALLDATACOPY 0000101a: POP 0000101b: PUSH1 0x00 0000101d: DUP3 0000101e: DUP3 0000101f: ADD 00001020: PUSH1 0x20 00001022: SWAP1 00001023: DUP2 00001024: ADD 00001025: SWAP2 00001026: SWAP1 00001027: SWAP2 00001028: MSTORE 00001029: PUSH1 0x1f 0000102b: SWAP1 0000102c: SWAP2 0000102d: ADD 0000102e: PUSH1 0x1f 00001030: NOT 00001031: AND 00001032: SWAP1 00001033: SWAP2 00001034: ADD 00001035: ADD 00001036: SWAP1 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH1 0x01 0000103b: PUSH1 0x01 0000103d: PUSH1 0xa0 0000103f: SHL 00001040: SUB 00001041: DUP6 00001042: AND 00001043: DUP2 00001044: MSTORE 00001045: PUSH1 0x60 00001047: PUSH1 0x20 00001049: DUP3 0000104a: ADD 0000104b: MSTORE 0000104c: PUSH1 0x00 0000104e: PUSH2 0x105b 00001051: PUSH1 0x60 00001053: DUP4 00001054: ADD 00001055: DUP6 00001056: DUP8 00001057: PUSH2 0x100f 0000105a: JUMP 0000105b: JUMPDEST 0000105c: SWAP1 0000105d: POP 0000105e: DUP3 0000105f: PUSH1 0x40 00001061: DUP4 00001062: ADD 00001063: MSTORE 00001064: SWAP6 00001065: SWAP5 00001066: POP 00001067: POP 00001068: POP 00001069: POP 0000106a: POP 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x00 0000106f: PUSH1 0x20 00001071: DUP3 00001072: DUP5 00001073: SUB 00001074: SLT 00001075: ISZERO 00001076: PUSH2 0x107e 00001079: JUMPI 0000107a: PUSH1 0x00 0000107c: DUP1 0000107d: REVERT 0000107e: JUMPDEST 0000107f: DUP2 00001080: MLOAD 00001081: DUP1 00001082: ISZERO 00001083: ISZERO 00001084: DUP2 00001085: EQ 00001086: PUSH2 0x0dcd 00001089: JUMPI 0000108a: PUSH1 0x00 0000108c: DUP1 0000108d: REVERT 0000108e: JUMPDEST 0000108f: PUSH4 0x4e487b71 00001094: PUSH1 0xe0 00001096: SHL 00001097: PUSH1 0x00 00001099: MSTORE 0000109a: PUSH1 0x41 0000109c: PUSH1 0x04 0000109e: MSTORE 0000109f: PUSH1 0x24 000010a1: PUSH1 0x00 000010a3: REVERT 000010a4: JUMPDEST 000010a5: PUSH1 0x00 000010a7: PUSH1 0x20 000010a9: DUP1 000010aa: DUP4 000010ab: DUP6 000010ac: SUB 000010ad: SLT 000010ae: ISZERO 000010af: PUSH2 0x10b7 000010b2: JUMPI 000010b3: PUSH1 0x00 000010b5: DUP1 000010b6: REVERT 000010b7: JUMPDEST 000010b8: DUP3 000010b9: MLOAD 000010ba: PUSH8 0xffffffffffffffff 000010c3: DUP1 000010c4: DUP3 000010c5: GT 000010c6: ISZERO 000010c7: PUSH2 0x10cf 000010ca: JUMPI 000010cb: PUSH1 0x00 000010cd: DUP1 000010ce: REVERT 000010cf: JUMPDEST 000010d0: DUP2 000010d1: DUP6 000010d2: ADD 000010d3: SWAP2 000010d4: POP 000010d5: DUP6 000010d6: PUSH1 0x1f 000010d8: DUP4 000010d9: ADD 000010da: SLT 000010db: PUSH2 0x10e3 000010de: JUMPI 000010df: PUSH1 0x00 000010e1: DUP1 000010e2: REVERT 000010e3: JUMPDEST 000010e4: DUP2 000010e5: MLOAD 000010e6: DUP2 000010e7: DUP2 000010e8: GT 000010e9: ISZERO 000010ea: PUSH2 0x10f5 000010ed: JUMPI 000010ee: PUSH2 0x10f5 000010f1: PUSH2 0x108e 000010f4: JUMP 000010f5: JUMPDEST 000010f6: DUP1 000010f7: PUSH1 0x05 000010f9: SHL 000010fa: PUSH1 0x40 000010fc: MLOAD 000010fd: PUSH1 0x1f 000010ff: NOT 00001100: PUSH1 0x3f 00001102: DUP4 00001103: ADD 00001104: AND 00001105: DUP2 00001106: ADD 00001107: DUP2 00001108: DUP2 00001109: LT 0000110a: DUP6 0000110b: DUP3 0000110c: GT 0000110d: OR 0000110e: ISZERO 0000110f: PUSH2 0x111a 00001112: JUMPI 00001113: PUSH2 0x111a 00001116: PUSH2 0x108e 00001119: JUMP 0000111a: JUMPDEST 0000111b: PUSH1 0x40 0000111d: MSTORE 0000111e: SWAP2 0000111f: DUP3 00001120: MSTORE 00001121: DUP5 00001122: DUP3 00001123: ADD 00001124: SWAP3 00001125: POP 00001126: DUP4 00001127: DUP2 00001128: ADD 00001129: DUP6 0000112a: ADD 0000112b: SWAP2 0000112c: DUP9 0000112d: DUP4 0000112e: GT 0000112f: ISZERO 00001130: PUSH2 0x1138 00001133: JUMPI 00001134: PUSH1 0x00 00001136: DUP1 00001137: REVERT 00001138: JUMPDEST 00001139: SWAP4 0000113a: DUP6 0000113b: ADD 0000113c: SWAP4 0000113d: JUMPDEST 0000113e: DUP3 0000113f: DUP6 00001140: LT 00001141: ISZERO 00001142: PUSH2 0x115d 00001145: JUMPI 00001146: PUSH2 0x114e 00001149: DUP6 0000114a: PUSH2 0x0fe2 0000114d: JUMP 0000114e: JUMPDEST 0000114f: DUP5 00001150: MSTORE 00001151: SWAP4 00001152: DUP6 00001153: ADD 00001154: SWAP4 00001155: SWAP3 00001156: DUP6 00001157: ADD 00001158: SWAP3 00001159: PUSH2 0x113d 0000115c: JUMP 0000115d: JUMPDEST 0000115e: SWAP9 0000115f: SWAP8 00001160: POP 00001161: POP 00001162: POP 00001163: POP 00001164: POP 00001165: POP 00001166: POP 00001167: POP 00001168: JUMP 00001169: JUMPDEST 0000116a: DUP2 0000116b: DUP4 0000116c: DUP3 0000116d: CALLDATACOPY 0000116e: PUSH1 0x00 00001170: SWAP2 00001171: ADD 00001172: SWAP1 00001173: DUP2 00001174: MSTORE 00001175: SWAP2 00001176: SWAP1 00001177: POP 00001178: JUMP 00001179: JUMPDEST 0000117a: PUSH1 0x00 0000117c: DUP3 0000117d: PUSH2 0x1196 00001180: JUMPI 00001181: PUSH4 0x4e487b71 00001186: PUSH1 0xe0 00001188: SHL 00001189: PUSH1 0x00 0000118b: MSTORE 0000118c: PUSH1 0x12 0000118e: PUSH1 0x04 00001190: MSTORE 00001191: PUSH1 0x24 00001193: PUSH1 0x00 00001195: REVERT 00001196: JUMPDEST 00001197: POP 00001198: DIV 00001199: SWAP1 0000119a: JUMP 0000119b: INVALID 0000119c: LOG2 0000119d: PUSH5 0x6970667358 000011a3: UNKNOWN(0x22) 000011a4: SLT 000011a5: KECCAK256 000011a6: UNKNOWN(0xB1) 000011a7: UNKNOWN(0x4F) 000011a8: UNKNOWN(0xBB) 000011a9: UNKNOWN(0xB5) 000011aa: ADDMOD 000011ab: SWAP15 000011ac: DUP9 000011ad: PUSH18 0xb4dafbabff1bdd2332a2173d3eb4e69520fa 000011c0: INVALID 000011c1: PC 000011c2: PUSH4 0x9e624864 000011c7: PUSH20
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: 0x0420d58e099bd8c38154055b6f9fccf20cba92d51f4924780956fd6091944361
call_targets:
0xc8d2509dee0335ad8dd45667a60cb73e2cc3a7c7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0420d58e099bd8c38154055b6f9fccf20cba92d51f4924780956fd6091944361",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc8d2509dee0335ad8dd45667a60cb73e2cc3a7c7"
],
"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": "0xc50d8f41",
"selector": "0xc50d8f41",
"calldata_variants": [
"0xc50d8f41",
"0xc50d8f410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5f4127a",
"selector": "0xc5f4127a",
"calldata_variants": [
"0xc5f4127a",
"0xc5f4127a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8743864",
"selector": "0xc8743864",
"calldata_variants": [
"0xc8743864",
"0xc87438640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd65890b4",
"selector": "0xd65890b4",
"calldata_variants": [
"0xd65890b4",
"0xd65890b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82f11491",
"selector": "0x82f11491",
"calldata_variants": [
"0x82f11491",
"0x82f114910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x90b8fc6a",
"selector": "0x90b8fc6a",
"calldata_variants": [
"0x90b8fc6a",
"0x90b8fc6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cbd036",
"selector": "0x51cbd036",
"calldata_variants": [
"0x51cbd036",
"0x51cbd0360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1029,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1341,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1754,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0420d58e099bd8c38154055b6f9fccf20cba92d51f4924780956fd6091944361
call_targets:
0xc8d2509dee0335ad8dd45667a60cb73e2cc3a7c7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0420d58e099bd8c38154055b6f9fccf20cba92d51f4924780956fd6091944361",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc8d2509dee0335ad8dd45667a60cb73e2cc3a7c7"
],
"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": "0xc50d8f41",
"selector": "0xc50d8f41",
"calldata_variants": [
"0xc50d8f41",
"0xc50d8f410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5f4127a",
"selector": "0xc5f4127a",
"calldata_variants": [
"0xc5f4127a",
"0xc5f4127a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8743864",
"selector": "0xc8743864",
"calldata_variants": [
"0xc8743864",
"0xc87438640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd65890b4",
"selector": "0xd65890b4",
"calldata_variants": [
"0xd65890b4",
"0xd65890b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82f11491",
"selector": "0x82f11491",
"calldata_variants": [
"0x82f11491",
"0x82f114910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x90b8fc6a",
"selector": "0x90b8fc6a",
"calldata_variants": [
"0x90b8fc6a",
"0x90b8fc6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cbd036",
"selector": "0x51cbd036",
"calldata_variants": [
"0x51cbd036",
"0x51cbd0360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1029,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1341,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1754,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|