019b3844-a5f2-70af-898c-52ba25587846
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 |
|---|---|---|---|---|
| 16285 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 16286 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 59645 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 59646 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 59647 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 59648 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00e1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc3b35a7e 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc3b35a7e 0000002f: EQ 00000030: PUSH2 0x0225 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe44289eb 0000003a: EQ 0000003b: PUSH2 0x0245 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0265 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf3fef3a3 00000050: EQ 00000051: PUSH2 0x0285 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x715018a6 00000060: EQ 00000061: PUSH2 0x01b7 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x72b0d90c 0000006b: EQ 0000006c: PUSH2 0x01cc 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x01ec 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x3ccfd60b 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x3ccfd60b 00000091: EQ 00000092: PUSH2 0x0142 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x51cff8d9 0000009c: EQ 0000009d: PUSH2 0x0157 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x6c19e783 000000a7: EQ 000000a8: PUSH2 0x0177 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6dce4ab0 000000b2: EQ 000000b3: PUSH2 0x0197 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x09dc0c9d 000000c2: EQ 000000c3: PUSH2 0x00ed 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x205c2878 000000cd: EQ 000000ce: PUSH2 0x0102 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x2e1a7d4d 000000d8: EQ 000000d9: PUSH2 0x0122 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: CALLDATASIZE 000000e3: PUSH2 0x00e8 000000e6: JUMPI 000000e7: STOP 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: PUSH2 0x0100 000000f1: PUSH2 0x00fb 000000f4: CALLDATASIZE 000000f5: PUSH1 0x04 000000f7: PUSH2 0x1543 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH2 0x02a5 000000ff: JUMP 00000100: JUMPDEST 00000101: STOP 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0100 00000113: PUSH2 0x011d 00000116: CALLDATASIZE 00000117: PUSH1 0x04 00000119: PUSH2 0x15af 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x0499 00000121: JUMP 00000122: JUMPDEST 00000123: CALLVALUE 00000124: DUP1 00000125: ISZERO 00000126: PUSH2 0x012e 00000129: JUMPI 0000012a: PUSH1 0x00 0000012c: DUP1 0000012d: REVERT 0000012e: JUMPDEST 0000012f: POP 00000130: PUSH2 0x0100 00000133: PUSH2 0x013d 00000136: CALLDATASIZE 00000137: PUSH1 0x04 00000139: PUSH2 0x15d9 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH2 0x04b2 00000141: JUMP 00000142: JUMPDEST 00000143: CALLVALUE 00000144: DUP1 00000145: ISZERO 00000146: PUSH2 0x014e 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: POP 00000150: PUSH2 0x0100 00000153: PUSH2 0x04ca 00000156: JUMP 00000157: JUMPDEST 00000158: CALLVALUE 00000159: DUP1 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: PUSH2 0x0100 00000168: PUSH2 0x0172 0000016b: CALLDATASIZE 0000016c: PUSH1 0x04 0000016e: PUSH2 0x15f2 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH2 0x04d6 00000176: JUMP 00000177: JUMPDEST 00000178: CALLVALUE 00000179: DUP1 0000017a: ISZERO 0000017b: PUSH2 0x0183 0000017e: JUMPI 0000017f: PUSH1 0x00 00000181: DUP1 00000182: REVERT 00000183: JUMPDEST 00000184: POP 00000185: PUSH2 0x0100 00000188: PUSH2 0x0192 0000018b: CALLDATASIZE 0000018c: PUSH1 0x04 0000018e: PUSH2 0x15f2 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH2 0x0570 00000196: JUMP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH2 0x0100 000001a8: PUSH2 0x01b2 000001ab: CALLDATASIZE 000001ac: PUSH1 0x04 000001ae: PUSH2 0x160d 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH2 0x05bf 000001b6: JUMP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x0100 000001c8: PUSH2 0x0659 000001cb: JUMP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x01d8 000001d3: JUMPI 000001d4: PUSH1 0x00 000001d6: DUP1 000001d7: REVERT 000001d8: JUMPDEST 000001d9: POP 000001da: PUSH2 0x0100 000001dd: PUSH2 0x01e7 000001e0: CALLDATASIZE 000001e1: PUSH1 0x04 000001e3: PUSH2 0x15f2 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH2 0x066b 000001eb: JUMP 000001ec: JUMPDEST 000001ed: CALLVALUE 000001ee: DUP1 000001ef: ISZERO 000001f0: PUSH2 0x01f8 000001f3: JUMPI 000001f4: PUSH1 0x00 000001f6: DUP1 000001f7: REVERT 000001f8: JUMPDEST 000001f9: POP 000001fa: PUSH1 0x00 000001fc: SLOAD 000001fd: PUSH1 0x40 000001ff: DUP1 00000200: MLOAD 00000201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000216: SWAP1 00000217: SWAP3 00000218: AND 00000219: DUP3 0000021a: MSTORE 0000021b: MLOAD 0000021c: SWAP1 0000021d: DUP2 0000021e: SWAP1 0000021f: SUB 00000220: PUSH1 0x20 00000222: ADD 00000223: SWAP1 00000224: RETURN 00000225: JUMPDEST 00000226: CALLVALUE 00000227: DUP1 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: POP 00000233: PUSH2 0x0100 00000236: PUSH2 0x0240 00000239: CALLDATASIZE 0000023a: PUSH1 0x04 0000023c: PUSH2 0x1640 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH2 0x0675 00000244: JUMP 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x0100 00000256: PUSH2 0x0260 00000259: CALLDATASIZE 0000025a: PUSH1 0x04 0000025c: PUSH2 0x15f2 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x0731 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x0100 00000276: PUSH2 0x0280 00000279: CALLDATASIZE 0000027a: PUSH1 0x04 0000027c: PUSH2 0x15f2 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH2 0x0780 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x0100 00000296: PUSH2 0x02a0 00000299: CALLDATASIZE 0000029a: PUSH1 0x04 0000029c: PUSH2 0x15af 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH2 0x0839 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH1 0x00 000002a8: PUSH2 0x02b4 000002ab: PUSH1 0x20 000002ad: DUP4 000002ae: ADD 000002af: DUP4 000002b0: PUSH2 0x15f2 000002b3: JUMP 000002b4: JUMPDEST 000002b5: SWAP1 000002b6: POP 000002b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002cc: DUP2 000002cd: AND 000002ce: PUSH2 0x02d8 000002d1: JUMPI 000002d2: POP 000002d3: CALLER 000002d4: PUSH2 0x0329 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x02 000002db: SLOAD 000002dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f1: AND 000002f2: CALLER 000002f3: EQ 000002f4: PUSH2 0x0329 000002f7: JUMPI 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: PUSH32 0x4ca8886700000000000000000000000000000000000000000000000000000000 0000031c: DUP2 0000031d: MSTORE 0000031e: PUSH1 0x04 00000320: ADD 00000321: PUSH1 0x40 00000323: MLOAD 00000324: DUP1 00000325: SWAP2 00000326: SUB 00000327: SWAP1 00000328: REVERT 00000329: JUMPDEST 0000032a: PUSH1 0x03 0000032c: PUSH2 0x0338 0000032f: PUSH1 0x60 00000331: DUP5 00000332: ADD 00000333: DUP5 00000334: PUSH2 0x167c 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x40 0000033b: MLOAD 0000033c: PUSH2 0x0346 0000033f: SWAP3 00000340: SWAP2 00000341: SWAP1 00000342: PUSH2 0x16e8 00000345: JUMP 00000346: JUMPDEST 00000347: SWAP1 00000348: DUP2 00000349: MSTORE 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: SWAP1 0000034e: DUP2 0000034f: SWAP1 00000350: SUB 00000351: PUSH1 0x20 00000353: ADD 00000354: SWAP1 00000355: KECCAK256 00000356: SLOAD 00000357: PUSH1 0xff 00000359: AND 0000035a: ISZERO 0000035b: PUSH2 0x0390 0000035e: JUMPI 0000035f: PUSH1 0x40 00000361: MLOAD 00000362: PUSH32 0x6dd3e8dd00000000000000000000000000000000000000000000000000000000 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x04 00000387: ADD 00000388: PUSH1 0x40 0000038a: MLOAD 0000038b: DUP1 0000038c: SWAP2 0000038d: SUB 0000038e: SWAP1 0000038f: REVERT 00000390: JUMPDEST 00000391: PUSH2 0x0399 00000394: DUP3 00000395: PUSH2 0x08ef 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH1 0x01 0000039c: PUSH1 0x03 0000039e: PUSH2 0x03aa 000003a1: PUSH1 0x60 000003a3: DUP6 000003a4: ADD 000003a5: DUP6 000003a6: PUSH2 0x167c 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: PUSH2 0x03b8 000003b1: SWAP3 000003b2: SWAP2 000003b3: SWAP1 000003b4: PUSH2 0x16e8 000003b7: JUMP 000003b8: JUMPDEST 000003b9: SWAP1 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x40 000003be: DUP1 000003bf: MLOAD 000003c0: PUSH1 0x20 000003c2: SWAP3 000003c3: DUP2 000003c4: SWAP1 000003c5: SUB 000003c6: DUP4 000003c7: ADD 000003c8: SWAP1 000003c9: KECCAK256 000003ca: DUP1 000003cb: SLOAD 000003cc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000003ed: AND 000003ee: SWAP4 000003ef: ISZERO 000003f0: ISZERO 000003f1: SWAP4 000003f2: SWAP1 000003f3: SWAP4 000003f4: OR 000003f5: SWAP1 000003f6: SWAP3 000003f7: SSTORE 000003f8: PUSH1 0x00 000003fa: SWAP2 000003fb: DUP3 000003fc: SWAP2 000003fd: PUSH2 0x040a 00000400: SWAP2 00000401: DUP7 00000402: ADD 00000403: SWAP1 00000404: DUP7 00000405: ADD 00000406: PUSH2 0x15f2 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000420: AND 00000421: EQ 00000422: PUSH2 0x0434 00000425: JUMPI 00000426: PUSH2 0x042f 00000429: DUP3 0000042a: DUP5 0000042b: PUSH2 0x0a73 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x043d 00000433: JUMP 00000434: JUMPDEST 00000435: PUSH2 0x043d 00000438: DUP4 00000439: PUSH2 0x0d8a 0000043c: JUMP 0000043d: JUMPDEST 0000043e: SWAP1 0000043f: POP 00000440: PUSH2 0x044c 00000443: PUSH1 0x60 00000445: DUP5 00000446: ADD 00000447: DUP5 00000448: PUSH2 0x167c 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: PUSH2 0x045a 00000453: SWAP3 00000454: SWAP2 00000455: SWAP1 00000456: PUSH2 0x16e8 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: SWAP1 0000045f: DUP2 00000460: SWAP1 00000461: SUB 00000462: DUP2 00000463: KECCAK256 00000464: DUP3 00000465: DUP3 00000466: MSTORE 00000467: SWAP1 00000468: PUSH32 0xce3281d5d90ebcde67ad5ce7e7a3e962efb181f365d3ee7121394a22a983ed6b 00000489: SWAP1 0000048a: PUSH1 0x20 0000048c: ADD 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: DUP1 00000491: SWAP2 00000492: SUB 00000493: SWAP1 00000494: LOG2 00000495: POP 00000496: POP 00000497: POP 00000498: JUMP 00000499: JUMPDEST 0000049a: SELFBALANCE 0000049b: DUP2 0000049c: GT 0000049d: ISZERO 0000049e: PUSH2 0x04a4 000004a1: JUMPI 000004a2: POP 000004a3: SELFBALANCE 000004a4: JUMPDEST 000004a5: PUSH2 0x04ae 000004a8: DUP2 000004a9: DUP4 000004aa: PUSH2 0x0f8e 000004ad: JUMP 000004ae: JUMPDEST 000004af: POP 000004b0: POP 000004b1: JUMP 000004b2: JUMPDEST 000004b3: SELFBALANCE 000004b4: DUP2 000004b5: GT 000004b6: ISZERO 000004b7: PUSH2 0x04bd 000004ba: JUMPI 000004bb: POP 000004bc: SELFBALANCE 000004bd: JUMPDEST 000004be: PUSH2 0x04c7 000004c1: DUP2 000004c2: CALLER 000004c3: PUSH2 0x0f8e 000004c6: JUMP 000004c7: JUMPDEST 000004c8: POP 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH2 0x04d4 000004ce: SELFBALANCE 000004cf: CALLER 000004d0: PUSH2 0x0f8e 000004d3: JUMP 000004d4: JUMPDEST 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000004fb: DUP2 000004fc: MSTORE 000004fd: ADDRESS 000004fe: PUSH1 0x04 00000500: DUP3 00000501: ADD 00000502: MSTORE 00000503: PUSH2 0x04c7 00000506: SWAP1 00000507: DUP3 00000508: SWAP1 00000509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051e: DUP3 0000051f: AND 00000520: SWAP1 00000521: PUSH4 0x70a08231 00000526: SWAP1 00000527: PUSH1 0x24 00000529: ADD 0000052a: PUSH1 0x20 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: DUP4 00000531: SUB 00000532: DUP2 00000533: DUP7 00000534: GAS 00000535: STATICCALL 00000536: ISZERO 00000537: DUP1 00000538: ISZERO 00000539: PUSH2 0x0546 0000053c: JUMPI 0000053d: RETURNDATASIZE 0000053e: PUSH1 0x00 00000540: DUP1 00000541: RETURNDATACOPY 00000542: RETURNDATASIZE 00000543: PUSH1 0x00 00000545: REVERT 00000546: JUMPDEST 00000547: POP 00000548: POP 00000549: POP 0000054a: POP 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: RETURNDATASIZE 0000054f: PUSH1 0x1f 00000551: NOT 00000552: PUSH1 0x1f 00000554: DUP3 00000555: ADD 00000556: AND 00000557: DUP3 00000558: ADD 00000559: DUP1 0000055a: PUSH1 0x40 0000055c: MSTORE 0000055d: POP 0000055e: DUP2 0000055f: ADD 00000560: SWAP1 00000561: PUSH2 0x056a 00000564: SWAP2 00000565: SWAP1 00000566: PUSH2 0x16f8 00000569: JUMP 0000056a: JUMPDEST 0000056b: CALLER 0000056c: PUSH2 0x1039 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH2 0x0578 00000574: PUSH2 0x1126 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH1 0x01 0000057b: DUP1 0000057c: SLOAD 0000057d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000059e: AND 0000059f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b4: SWAP3 000005b5: SWAP1 000005b6: SWAP3 000005b7: AND 000005b8: SWAP2 000005b9: SWAP1 000005ba: SWAP2 000005bb: OR 000005bc: SWAP1 000005bd: SSTORE 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH1 0x40 000005c2: MLOAD 000005c3: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000005e4: DUP2 000005e5: MSTORE 000005e6: ADDRESS 000005e7: PUSH1 0x04 000005e9: DUP3 000005ea: ADD 000005eb: MSTORE 000005ec: PUSH2 0x04ae 000005ef: SWAP1 000005f0: DUP4 000005f1: SWAP1 000005f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000607: DUP3 00000608: AND 00000609: SWAP1 0000060a: PUSH4 0x70a08231 0000060f: SWAP1 00000610: PUSH1 0x24 00000612: ADD 00000613: PUSH1 0x20 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: DUP4 0000061a: SUB 0000061b: DUP2 0000061c: DUP7 0000061d: GAS 0000061e: STATICCALL 0000061f: ISZERO 00000620: DUP1 00000621: ISZERO 00000622: PUSH2 0x062f 00000625: JUMPI 00000626: RETURNDATASIZE 00000627: PUSH1 0x00 00000629: DUP1 0000062a: RETURNDATACOPY 0000062b: RETURNDATASIZE 0000062c: PUSH1 0x00 0000062e: REVERT 0000062f: JUMPDEST 00000630: POP 00000631: POP 00000632: POP 00000633: POP 00000634: PUSH1 0x40 00000636: MLOAD 00000637: RETURNDATASIZE 00000638: PUSH1 0x1f 0000063a: NOT 0000063b: PUSH1 0x1f 0000063d: DUP3 0000063e: ADD 0000063f: AND 00000640: DUP3 00000641: ADD 00000642: DUP1 00000643: PUSH1 0x40 00000645: MSTORE 00000646: POP 00000647: DUP2 00000648: ADD 00000649: SWAP1 0000064a: PUSH2 0x0653 0000064d: SWAP2 0000064e: SWAP1 0000064f: PUSH2 0x16f8 00000652: JUMP 00000653: JUMPDEST 00000654: DUP4 00000655: PUSH2 0x1039 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH2 0x0661 0000065d: PUSH2 0x1126 00000660: JUMP 00000661: JUMPDEST 00000662: PUSH2 0x04d4 00000665: PUSH1 0x00 00000667: PUSH2 0x11a7 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH2 0x04c7 0000066f: SELFBALANCE 00000670: DUP3 00000671: PUSH2 0x0f8e 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x40 00000678: MLOAD 00000679: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000069a: DUP2 0000069b: MSTORE 0000069c: ADDRESS 0000069d: PUSH1 0x04 0000069f: DUP3 000006a0: ADD 000006a1: MSTORE 000006a2: PUSH1 0x00 000006a4: SWAP1 000006a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ba: DUP6 000006bb: AND 000006bc: SWAP1 000006bd: PUSH4 0x70a08231 000006c2: SWAP1 000006c3: PUSH1 0x24 000006c5: ADD 000006c6: PUSH1 0x20 000006c8: PUSH1 0x40 000006ca: MLOAD 000006cb: DUP1 000006cc: DUP4 000006cd: SUB 000006ce: DUP2 000006cf: DUP7 000006d0: GAS 000006d1: STATICCALL 000006d2: ISZERO 000006d3: DUP1 000006d4: ISZERO 000006d5: PUSH2 0x06e2 000006d8: JUMPI 000006d9: RETURNDATASIZE 000006da: PUSH1 0x00 000006dc: DUP1 000006dd: RETURNDATACOPY 000006de: RETURNDATASIZE 000006df: PUSH1 0x00 000006e1: REVERT 000006e2: JUMPDEST 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: POP 000006e7: PUSH1 0x40 000006e9: MLOAD 000006ea: RETURNDATASIZE 000006eb: PUSH1 0x1f 000006ed: NOT 000006ee: PUSH1 0x1f 000006f0: DUP3 000006f1: ADD 000006f2: AND 000006f3: DUP3 000006f4: ADD 000006f5: DUP1 000006f6: PUSH1 0x40 000006f8: MSTORE 000006f9: POP 000006fa: DUP2 000006fb: ADD 000006fc: SWAP1 000006fd: PUSH2 0x0706 00000700: SWAP2 00000701: SWAP1 00000702: PUSH2 0x16f8 00000705: JUMP 00000706: JUMPDEST 00000707: SWAP1 00000708: POP 00000709: DUP1 0000070a: DUP3 0000070b: GT 0000070c: ISZERO 0000070d: PUSH2 0x0720 00000710: JUMPI 00000711: PUSH2 0x071b 00000714: DUP5 00000715: DUP3 00000716: DUP6 00000717: PUSH2 0x1039 0000071a: JUMP 0000071b: JUMPDEST 0000071c: PUSH2 0x072b 0000071f: JUMP 00000720: JUMPDEST 00000721: PUSH2 0x072b 00000724: DUP5 00000725: DUP4 00000726: DUP6 00000727: PUSH2 0x1039 0000072a: JUMP 0000072b: JUMPDEST 0000072c: POP 0000072d: POP 0000072e: POP 0000072f: POP 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH2 0x0739 00000735: PUSH2 0x1126 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH1 0x02 0000073c: DUP1 0000073d: SLOAD 0000073e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000075f: AND 00000760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000775: SWAP3 00000776: SWAP1 00000777: SWAP3 00000778: AND 00000779: SWAP2 0000077a: SWAP1 0000077b: SWAP2 0000077c: OR 0000077d: SWAP1 0000077e: SSTORE 0000077f: JUMP 00000780: JUMPDEST 00000781: PUSH2 0x0788 00000784: PUSH2 0x1126 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079e: DUP2 0000079f: AND 000007a0: PUSH2 0x0830 000007a3: JUMPI 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007c8: DUP2 000007c9: MSTORE 000007ca: PUSH1 0x20 000007cc: PUSH1 0x04 000007ce: DUP3 000007cf: ADD 000007d0: MSTORE 000007d1: PUSH1 0x26 000007d3: PUSH1 0x24 000007d5: DUP3 000007d6: ADD 000007d7: MSTORE 000007d8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000007f9: PUSH1 0x44 000007fb: DUP3 000007fc: ADD 000007fd: MSTORE 000007fe: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000081f: PUSH1 0x64 00000821: DUP3 00000822: ADD 00000823: MSTORE 00000824: PUSH1 0x84 00000826: ADD 00000827: JUMPDEST 00000828: PUSH1 0x40 0000082a: MLOAD 0000082b: DUP1 0000082c: SWAP2 0000082d: SUB 0000082e: SWAP1 0000082f: REVERT 00000830: JUMPDEST 00000831: PUSH2 0x04c7 00000834: DUP2 00000835: PUSH2 0x11a7 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x40 0000083c: MLOAD 0000083d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000085e: DUP2 0000085f: MSTORE 00000860: ADDRESS 00000861: PUSH1 0x04 00000863: DUP3 00000864: ADD 00000865: MSTORE 00000866: PUSH1 0x00 00000868: SWAP1 00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087e: DUP5 0000087f: AND 00000880: SWAP1 00000881: PUSH4 0x70a08231 00000886: SWAP1 00000887: PUSH1 0x24 00000889: ADD 0000088a: PUSH1 0x20 0000088c: PUSH1 0x40 0000088e: MLOAD 0000088f: DUP1 00000890: DUP4 00000891: SUB 00000892: DUP2 00000893: DUP7 00000894: GAS 00000895: STATICCALL 00000896: ISZERO 00000897: DUP1 00000898: ISZERO 00000899: PUSH2 0x08a6 0000089c: JUMPI 0000089d: RETURNDATASIZE 0000089e: PUSH1 0x00 000008a0: DUP1 000008a1: RETURNDATACOPY 000008a2: RETURNDATASIZE 000008a3: PUSH1 0x00 000008a5: REVERT 000008a6: JUMPDEST 000008a7: POP 000008a8: POP 000008a9: POP 000008aa: POP 000008ab: PUSH1 0x40 000008ad: MLOAD 000008ae: RETURNDATASIZE 000008af: PUSH1 0x1f 000008b1: NOT 000008b2: PUSH1 0x1f 000008b4: DUP3 000008b5: ADD 000008b6: AND 000008b7: DUP3 000008b8: ADD 000008b9: DUP1 000008ba: PUSH1 0x40 000008bc: MSTORE 000008bd: POP 000008be: DUP2 000008bf: ADD 000008c0: SWAP1 000008c1: PUSH2 0x08ca 000008c4: SWAP2 000008c5: SWAP1 000008c6: PUSH2 0x16f8 000008c9: JUMP 000008ca: JUMPDEST 000008cb: SWAP1 000008cc: POP 000008cd: DUP1 000008ce: DUP3 000008cf: GT 000008d0: ISZERO 000008d1: PUSH2 0x08e4 000008d4: JUMPI 000008d5: PUSH2 0x08df 000008d8: DUP4 000008d9: DUP3 000008da: CALLER 000008db: PUSH2 0x1039 000008de: JUMP 000008df: JUMPDEST 000008e0: POP 000008e1: POP 000008e2: POP 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH2 0x08df 000008e8: DUP4 000008e9: DUP4 000008ea: CALLER 000008eb: PUSH2 0x1039 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x01 000008f2: SLOAD 000008f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000908: AND 00000909: PUSH2 0x0a26 0000090c: PUSH2 0x091c 0000090f: PUSH2 0x0100 00000912: DUP5 00000913: ADD 00000914: PUSH1 0xe0 00000916: DUP6 00000917: ADD 00000918: PUSH2 0x1711 0000091b: JUMP 0000091c: JUMPDEST 0000091d: PUSH2 0x0100 00000920: DUP5 00000921: ADD 00000922: CALLDATALOAD 00000923: PUSH2 0x0120 00000926: DUP6 00000927: ADD 00000928: CALLDATALOAD 00000929: PUSH2 0x0a1e 0000092c: PUSH2 0x0938 0000092f: PUSH1 0x20 00000931: DUP9 00000932: ADD 00000933: DUP9 00000934: PUSH2 0x15f2 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH2 0x0948 0000093c: PUSH1 0x40 0000093e: DUP10 0000093f: ADD 00000940: PUSH1 0x20 00000942: DUP11 00000943: ADD 00000944: PUSH2 0x15f2 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x40 0000094b: DUP10 0000094c: ADD 0000094d: CALLDATALOAD 0000094e: PUSH2 0x095a 00000951: PUSH1 0x60 00000953: DUP12 00000954: ADD 00000955: DUP12 00000956: PUSH2 0x167c 00000959: JUMP 0000095a: JUMPDEST 0000095b: PUSH2 0x096a 0000095e: PUSH1 0xa0 00000960: DUP14 00000961: ADD 00000962: PUSH1 0x80 00000964: DUP15 00000965: ADD 00000966: PUSH2 0x1748 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH2 0x0977 0000096e: PUSH1 0xa0 00000970: DUP15 00000971: ADD 00000972: DUP15 00000973: PUSH2 0x1763 00000976: JUMP 00000977: JUMPDEST 00000978: DUP15 00000979: DUP1 0000097a: PUSH1 0xc0 0000097c: ADD 0000097d: SWAP1 0000097e: PUSH2 0x0987 00000981: SWAP2 00000982: SWAP1 00000983: PUSH2 0x1763 00000986: JUMP 00000987: JUMPDEST 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: PUSH1 0x20 0000098d: ADD 0000098e: PUSH2 0x09a0 00000991: SWAP11 00000992: SWAP10 00000993: SWAP9 00000994: SWAP8 00000995: SWAP7 00000996: SWAP6 00000997: SWAP5 00000998: SWAP4 00000999: SWAP3 0000099a: SWAP2 0000099b: SWAP1 0000099c: PUSH2 0x17cb 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x40 000009a3: DUP1 000009a4: MLOAD 000009a5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000009c6: DUP2 000009c7: DUP5 000009c8: SUB 000009c9: ADD 000009ca: DUP2 000009cb: MSTORE 000009cc: DUP3 000009cd: DUP3 000009ce: MSTORE 000009cf: DUP1 000009d0: MLOAD 000009d1: PUSH1 0x20 000009d3: SWAP2 000009d4: DUP3 000009d5: ADD 000009d6: KECCAK256 000009d7: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000009f8: DUP5 000009f9: DUP4 000009fa: ADD 000009fb: MSTORE 000009fc: PUSH1 0x3c 000009fe: DUP1 000009ff: DUP6 00000a00: ADD 00000a01: SWAP2 00000a02: SWAP1 00000a03: SWAP2 00000a04: MSTORE 00000a05: DUP3 00000a06: MLOAD 00000a07: DUP1 00000a08: DUP6 00000a09: SUB 00000a0a: SWAP1 00000a0b: SWAP2 00000a0c: ADD 00000a0d: DUP2 00000a0e: MSTORE 00000a0f: PUSH1 0x5c 00000a11: SWAP1 00000a12: SWAP4 00000a13: ADD 00000a14: SWAP1 00000a15: SWAP2 00000a16: MSTORE 00000a17: DUP2 00000a18: MLOAD 00000a19: SWAP2 00000a1a: ADD 00000a1b: KECCAK256 00000a1c: SWAP1 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: SWAP3 00000a20: SWAP2 00000a21: SWAP1 00000a22: PUSH2 0x121c 00000a25: JUMP 00000a26: JUMPDEST 00000a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3c: AND 00000a3d: EQ 00000a3e: PUSH2 0x04c7 00000a41: JUMPI 00000a42: PUSH1 0x40 00000a44: MLOAD 00000a45: PUSH32 0x73a8ee1800000000000000000000000000000000000000000000000000000000 00000a66: DUP2 00000a67: MSTORE 00000a68: PUSH1 0x04 00000a6a: ADD 00000a6b: PUSH1 0x40 00000a6d: MLOAD 00000a6e: DUP1 00000a6f: SWAP2 00000a70: SUB 00000a71: SWAP1 00000a72: REVERT 00000a73: JUMPDEST 00000a74: PUSH1 0x00 00000a76: PUSH1 0x40 00000a78: DUP3 00000a79: ADD 00000a7a: DUP1 00000a7b: CALLDATALOAD 00000a7c: SWAP1 00000a7d: DUP3 00000a7e: SWAP1 00000a7f: PUSH2 0x0a8b 00000a82: SWAP1 00000a83: PUSH1 0x20 00000a85: DUP7 00000a86: ADD 00000a87: PUSH2 0x15f2 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: SWAP1 00000a8d: POP 00000a8e: PUSH1 0x00 00000a90: JUMPDEST 00000a91: PUSH2 0x0a9d 00000a94: PUSH1 0xa0 00000a96: DUP7 00000a97: ADD 00000a98: DUP7 00000a99: PUSH2 0x1763 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: SWAP1 00000a9f: POP 00000aa0: DUP2 00000aa1: PUSH1 0xff 00000aa3: AND 00000aa4: LT 00000aa5: ISZERO 00000aa6: PUSH2 0x0ca1 00000aa9: JUMPI 00000aaa: PUSH1 0x00 00000aac: PUSH2 0x0ab8 00000aaf: PUSH1 0xc0 00000ab1: DUP8 00000ab2: ADD 00000ab3: DUP8 00000ab4: PUSH2 0x1763 00000ab7: JUMP 00000ab8: JUMPDEST 00000ab9: DUP4 00000aba: PUSH1 0xff 00000abc: AND 00000abd: DUP2 00000abe: DUP2 00000abf: LT 00000ac0: PUSH2 0x0acb 00000ac3: JUMPI 00000ac4: PUSH2 0x0acb 00000ac7: PUSH2 0x18c8 00000aca: JUMP 00000acb: JUMPDEST 00000acc: SWAP1 00000acd: POP 00000ace: PUSH1 0x20 00000ad0: MUL 00000ad1: ADD 00000ad2: PUSH1 0x20 00000ad4: DUP2 00000ad5: ADD 00000ad6: SWAP1 00000ad7: PUSH2 0x0ae0 00000ada: SWAP2 00000adb: SWAP1 00000adc: PUSH2 0x1748 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH4 0xffffffff 00000ae6: AND 00000ae7: PUSH2 0x0af6 00000aea: PUSH1 0xa0 00000aec: DUP9 00000aed: ADD 00000aee: PUSH1 0x80 00000af0: DUP10 00000af1: ADD 00000af2: PUSH2 0x1748 00000af5: JUMP 00000af6: JUMPDEST 00000af7: PUSH2 0x0b0a 00000afa: SWAP1 00000afb: PUSH4 0xffffffff 00000b00: AND 00000b01: PUSH1 0x40 00000b03: DUP10 00000b04: ADD 00000b05: CALLDATALOAD 00000b06: PUSH2 0x1926 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: PUSH2 0x0b14 00000b0e: SWAP2 00000b0f: SWAP1 00000b10: PUSH2 0x1961 00000b13: JUMP 00000b14: JUMPDEST 00000b15: SWAP1 00000b16: POP 00000b17: DUP1 00000b18: ISZERO 00000b19: PUSH2 0x0c8e 00000b1c: JUMPI 00000b1d: DUP4 00000b1e: DUP2 00000b1f: GT 00000b20: ISZERO 00000b21: PUSH2 0x0b56 00000b24: JUMPI 00000b25: PUSH1 0x40 00000b27: MLOAD 00000b28: PUSH32 0xdcc30e6300000000000000000000000000000000000000000000000000000000 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x04 00000b4d: ADD 00000b4e: PUSH1 0x40 00000b50: MLOAD 00000b51: DUP1 00000b52: SWAP2 00000b53: SUB 00000b54: SWAP1 00000b55: REVERT 00000b56: JUMPDEST 00000b57: PUSH2 0x0b60 00000b5a: DUP2 00000b5b: DUP6 00000b5c: PUSH2 0x1978 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: SWAP4 00000b62: POP 00000b63: PUSH1 0x00 00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7a: DUP5 00000b7b: AND 00000b7c: PUSH4 0x23b872dd 00000b81: DUP10 00000b82: PUSH2 0x0b8e 00000b85: PUSH1 0xa0 00000b87: DUP12 00000b88: ADD 00000b89: DUP12 00000b8a: PUSH2 0x1763 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: DUP8 00000b90: PUSH1 0xff 00000b92: AND 00000b93: DUP2 00000b94: DUP2 00000b95: LT 00000b96: PUSH2 0x0ba1 00000b99: JUMPI 00000b9a: PUSH2 0x0ba1 00000b9d: PUSH2 0x18c8 00000ba0: JUMP 00000ba1: JUMPDEST 00000ba2: SWAP1 00000ba3: POP 00000ba4: PUSH1 0x20 00000ba6: MUL 00000ba7: ADD 00000ba8: PUSH1 0x20 00000baa: DUP2 00000bab: ADD 00000bac: SWAP1 00000bad: PUSH2 0x0bb6 00000bb0: SWAP2 00000bb1: SWAP1 00000bb2: PUSH2 0x15f2 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH1 0x40 00000bb9: MLOAD 00000bba: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000bdb: PUSH1 0xe0 00000bdd: DUP6 00000bde: SWAP1 00000bdf: SHL 00000be0: AND 00000be1: DUP2 00000be2: MSTORE 00000be3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf8: SWAP3 00000bf9: DUP4 00000bfa: AND 00000bfb: PUSH1 0x04 00000bfd: DUP3 00000bfe: ADD 00000bff: MSTORE 00000c00: SWAP2 00000c01: AND 00000c02: PUSH1 0x24 00000c04: DUP3 00000c05: ADD 00000c06: MSTORE 00000c07: PUSH1 0x44 00000c09: DUP2 00000c0a: ADD 00000c0b: DUP6 00000c0c: SWAP1 00000c0d: MSTORE 00000c0e: PUSH1 0x64 00000c10: ADD 00000c11: PUSH1 0x20 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: DUP1 00000c17: DUP4 00000c18: SUB 00000c19: DUP2 00000c1a: PUSH1 0x00 00000c1c: DUP8 00000c1d: GAS 00000c1e: CALL 00000c1f: ISZERO 00000c20: DUP1 00000c21: ISZERO 00000c22: PUSH2 0x0c2f 00000c25: JUMPI 00000c26: RETURNDATASIZE 00000c27: PUSH1 0x00 00000c29: DUP1 00000c2a: RETURNDATACOPY 00000c2b: RETURNDATASIZE 00000c2c: PUSH1 0x00 00000c2e: REVERT 00000c2f: JUMPDEST 00000c30: POP 00000c31: POP 00000c32: POP 00000c33: POP 00000c34: PUSH1 0x40 00000c36: MLOAD 00000c37: RETURNDATASIZE 00000c38: PUSH1 0x1f 00000c3a: NOT 00000c3b: PUSH1 0x1f 00000c3d: DUP3 00000c3e: ADD 00000c3f: AND 00000c40: DUP3 00000c41: ADD 00000c42: DUP1 00000c43: PUSH1 0x40 00000c45: MSTORE 00000c46: POP 00000c47: DUP2 00000c48: ADD 00000c49: SWAP1 00000c4a: PUSH2 0x0c53 00000c4d: SWAP2 00000c4e: SWAP1 00000c4f: PUSH2 0x198b 00000c52: JUMP 00000c53: JUMPDEST 00000c54: SWAP1 00000c55: POP 00000c56: DUP1 00000c57: PUSH2 0x0c8c 00000c5a: JUMPI 00000c5b: PUSH1 0x40 00000c5d: MLOAD 00000c5e: PUSH32 0xf499da2000000000000000000000000000000000000000000000000000000000 00000c7f: DUP2 00000c80: MSTORE 00000c81: PUSH1 0x04 00000c83: ADD 00000c84: PUSH1 0x40 00000c86: MLOAD 00000c87: DUP1 00000c88: SWAP2 00000c89: SUB 00000c8a: SWAP1 00000c8b: REVERT 00000c8c: JUMPDEST 00000c8d: POP 00000c8e: JUMPDEST 00000c8f: POP 00000c90: DUP1 00000c91: PUSH2 0x0c99 00000c94: DUP2 00000c95: PUSH2 0x19ad 00000c98: JUMP 00000c99: JUMPDEST 00000c9a: SWAP2 00000c9b: POP 00000c9c: POP 00000c9d: PUSH2 0x0a90 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: POP 00000ca3: PUSH1 0x40 00000ca5: MLOAD 00000ca6: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000cc7: DUP2 00000cc8: MSTORE 00000cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cde: DUP7 00000cdf: DUP2 00000ce0: AND 00000ce1: PUSH1 0x04 00000ce3: DUP4 00000ce4: ADD 00000ce5: MSTORE 00000ce6: ADDRESS 00000ce7: PUSH1 0x24 00000ce9: DUP4 00000cea: ADD 00000ceb: MSTORE 00000cec: PUSH1 0x44 00000cee: DUP3 00000cef: ADD 00000cf0: DUP5 00000cf1: SWAP1 00000cf2: MSTORE 00000cf3: PUSH1 0x00 00000cf5: SWAP2 00000cf6: SWAP1 00000cf7: DUP4 00000cf8: AND 00000cf9: SWAP1 00000cfa: PUSH4 0x23b872dd 00000cff: SWAP1 00000d00: PUSH1 0x64 00000d02: ADD 00000d03: PUSH1 0x20 00000d05: PUSH1 0x40 00000d07: MLOAD 00000d08: DUP1 00000d09: DUP4 00000d0a: SUB 00000d0b: DUP2 00000d0c: PUSH1 0x00 00000d0e: DUP8 00000d0f: GAS 00000d10: CALL 00000d11: ISZERO 00000d12: DUP1 00000d13: ISZERO 00000d14: PUSH2 0x0d21 00000d17: JUMPI 00000d18: RETURNDATASIZE 00000d19: PUSH1 0x00 00000d1b: DUP1 00000d1c: RETURNDATACOPY 00000d1d: RETURNDATASIZE 00000d1e: PUSH1 0x00 00000d20: REVERT 00000d21: JUMPDEST 00000d22: POP 00000d23: POP 00000d24: POP 00000d25: POP 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: RETURNDATASIZE 00000d2a: PUSH1 0x1f 00000d2c: NOT 00000d2d: PUSH1 0x1f 00000d2f: DUP3 00000d30: ADD 00000d31: AND 00000d32: DUP3 00000d33: ADD 00000d34: DUP1 00000d35: PUSH1 0x40 00000d37: MSTORE 00000d38: POP 00000d39: DUP2 00000d3a: ADD 00000d3b: SWAP1 00000d3c: PUSH2 0x0d45 00000d3f: SWAP2 00000d40: SWAP1 00000d41: PUSH2 0x198b 00000d44: JUMP 00000d45: JUMPDEST 00000d46: SWAP1 00000d47: POP 00000d48: DUP1 00000d49: PUSH2 0x0d7e 00000d4c: JUMPI 00000d4d: PUSH1 0x40 00000d4f: MLOAD 00000d50: PUSH32 0xf499da2000000000000000000000000000000000000000000000000000000000 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x04 00000d75: ADD 00000d76: PUSH1 0x40 00000d78: MLOAD 00000d79: DUP1 00000d7a: SWAP2 00000d7b: SUB 00000d7c: SWAP1 00000d7d: REVERT 00000d7e: JUMPDEST 00000d7f: POP 00000d80: SWAP1 00000d81: SWAP2 00000d82: POP 00000d83: POP 00000d84: JUMPDEST 00000d85: SWAP3 00000d86: SWAP2 00000d87: POP 00000d88: POP 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: PUSH1 0x00 00000d8d: CALLVALUE 00000d8e: DUP3 00000d8f: PUSH1 0x40 00000d91: ADD 00000d92: CALLDATALOAD 00000d93: GT 00000d94: ISZERO 00000d95: PUSH2 0x0dca 00000d98: JUMPI 00000d99: PUSH1 0x40 00000d9b: MLOAD 00000d9c: PUSH32 0x356680b700000000000000000000000000000000000000000000000000000000 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: PUSH1 0x04 00000dc1: ADD 00000dc2: PUSH1 0x40 00000dc4: MLOAD 00000dc5: DUP1 00000dc6: SWAP2 00000dc7: SUB 00000dc8: SWAP1 00000dc9: REVERT 00000dca: JUMPDEST 00000dcb: PUSH1 0x40 00000dcd: DUP3 00000dce: ADD 00000dcf: CALLDATALOAD 00000dd0: PUSH1 0x00 00000dd2: JUMPDEST 00000dd3: PUSH2 0x0ddf 00000dd6: PUSH1 0xa0 00000dd8: DUP6 00000dd9: ADD 00000dda: DUP6 00000ddb: PUSH2 0x1763 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: SWAP1 00000de1: POP 00000de2: DUP2 00000de3: PUSH1 0xff 00000de5: AND 00000de6: LT 00000de7: ISZERO 00000de8: PUSH2 0x0f87 00000deb: JUMPI 00000dec: PUSH1 0x00 00000dee: PUSH2 0x0dfa 00000df1: PUSH1 0xc0 00000df3: DUP7 00000df4: ADD 00000df5: DUP7 00000df6: PUSH2 0x1763 00000df9: JUMP 00000dfa: JUMPDEST 00000dfb: DUP4 00000dfc: PUSH1 0xff 00000dfe: AND 00000dff: DUP2 00000e00: DUP2 00000e01: LT 00000e02: PUSH2 0x0e0d 00000e05: JUMPI 00000e06: PUSH2 0x0e0d 00000e09: PUSH2 0x18c8 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: SWAP1 00000e0f: POP 00000e10: PUSH1 0x20 00000e12: MUL 00000e13: ADD 00000e14: PUSH1 0x20 00000e16: DUP2 00000e17: ADD 00000e18: SWAP1 00000e19: PUSH2 0x0e22 00000e1c: SWAP2 00000e1d: SWAP1 00000e1e: PUSH2 0x1748 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH4 0xffffffff 00000e28: AND 00000e29: PUSH2 0x0e38 00000e2c: PUSH1 0xa0 00000e2e: DUP8 00000e2f: ADD 00000e30: PUSH1 0x80 00000e32: DUP9 00000e33: ADD 00000e34: PUSH2 0x1748 00000e37: JUMP 00000e38: JUMPDEST 00000e39: PUSH2 0x0e4c 00000e3c: SWAP1 00000e3d: PUSH4 0xffffffff 00000e42: AND 00000e43: PUSH1 0x40 00000e45: DUP9 00000e46: ADD 00000e47: CALLDATALOAD 00000e48: PUSH2 0x1926 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH2 0x0e56 00000e50: SWAP2 00000e51: SWAP1 00000e52: PUSH2 0x1961 00000e55: JUMP 00000e56: JUMPDEST 00000e57: SWAP1 00000e58: POP 00000e59: DUP1 00000e5a: ISZERO 00000e5b: PUSH2 0x0f74 00000e5e: JUMPI 00000e5f: DUP3 00000e60: DUP2 00000e61: GT 00000e62: ISZERO 00000e63: PUSH2 0x0e98 00000e66: JUMPI 00000e67: PUSH1 0x40 00000e69: MLOAD 00000e6a: PUSH32 0xdcc30e6300000000000000000000000000000000000000000000000000000000 00000e8b: DUP2 00000e8c: MSTORE 00000e8d: PUSH1 0x04 00000e8f: ADD 00000e90: PUSH1 0x40 00000e92: MLOAD 00000e93: DUP1 00000e94: SWAP2 00000e95: SUB 00000e96: SWAP1 00000e97: REVERT 00000e98: JUMPDEST 00000e99: PUSH2 0x0ea2 00000e9c: DUP2 00000e9d: DUP5 00000e9e: PUSH2 0x1978 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: SWAP3 00000ea4: POP 00000ea5: PUSH1 0x00 00000ea7: PUSH2 0x0eb3 00000eaa: PUSH1 0xa0 00000eac: DUP8 00000ead: ADD 00000eae: DUP8 00000eaf: PUSH2 0x1763 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: DUP5 00000eb5: PUSH1 0xff 00000eb7: AND 00000eb8: DUP2 00000eb9: DUP2 00000eba: LT 00000ebb: PUSH2 0x0ec6 00000ebe: JUMPI 00000ebf: PUSH2 0x0ec6 00000ec2: PUSH2 0x18c8 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: SWAP1 00000ec8: POP 00000ec9: PUSH1 0x20 00000ecb: MUL 00000ecc: ADD 00000ecd: PUSH1 0x20 00000ecf: DUP2 00000ed0: ADD 00000ed1: SWAP1 00000ed2: PUSH2 0x0edb 00000ed5: SWAP2 00000ed6: SWAP1 00000ed7: PUSH2 0x15f2 00000eda: JUMP 00000edb: JUMPDEST 00000edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef1: AND 00000ef2: DUP3 00000ef3: PUSH1 0x40 00000ef5: MLOAD 00000ef6: PUSH1 0x00 00000ef8: PUSH1 0x40 00000efa: MLOAD 00000efb: DUP1 00000efc: DUP4 00000efd: SUB 00000efe: DUP2 00000eff: DUP6 00000f00: DUP8 00000f01: GAS 00000f02: CALL 00000f03: SWAP3 00000f04: POP 00000f05: POP 00000f06: POP 00000f07: RETURNDATASIZE 00000f08: DUP1 00000f09: PUSH1 0x00 00000f0b: DUP2 00000f0c: EQ 00000f0d: PUSH2 0x0f32 00000f10: JUMPI 00000f11: PUSH1 0x40 00000f13: MLOAD 00000f14: SWAP2 00000f15: POP 00000f16: PUSH1 0x1f 00000f18: NOT 00000f19: PUSH1 0x3f 00000f1b: RETURNDATASIZE 00000f1c: ADD 00000f1d: AND 00000f1e: DUP3 00000f1f: ADD 00000f20: PUSH1 0x40 00000f22: MSTORE 00000f23: RETURNDATASIZE 00000f24: DUP3 00000f25: MSTORE 00000f26: RETURNDATASIZE 00000f27: PUSH1 0x00 00000f29: PUSH1 0x20 00000f2b: DUP5 00000f2c: ADD 00000f2d: RETURNDATACOPY 00000f2e: PUSH2 0x0f37 00000f31: JUMP 00000f32: JUMPDEST 00000f33: PUSH1 0x60 00000f35: SWAP2 00000f36: POP 00000f37: JUMPDEST 00000f38: POP 00000f39: POP 00000f3a: SWAP1 00000f3b: POP 00000f3c: DUP1 00000f3d: PUSH2 0x0f72 00000f40: JUMPI 00000f41: PUSH1 0x40 00000f43: MLOAD 00000f44: PUSH32 0xf499da2000000000000000000000000000000000000000000000000000000000 00000f65: DUP2 00000f66: MSTORE 00000f67: PUSH1 0x04 00000f69: ADD 00000f6a: PUSH1 0x40 00000f6c: MLOAD 00000f6d: DUP1 00000f6e: SWAP2 00000f6f: SUB 00000f70: SWAP1 00000f71: REVERT 00000f72: JUMPDEST 00000f73: POP 00000f74: JUMPDEST 00000f75: POP 00000f76: DUP1 00000f77: PUSH2 0x0f7f 00000f7a: DUP2 00000f7b: PUSH2 0x19ad 00000f7e: JUMP 00000f7f: JUMPDEST 00000f80: SWAP2 00000f81: POP 00000f82: POP 00000f83: PUSH2 0x0dd2 00000f86: JUMP 00000f87: JUMPDEST 00000f88: POP 00000f89: SWAP3 00000f8a: SWAP2 00000f8b: POP 00000f8c: POP 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH1 0x00 00000f91: PUSH2 0x0f9d 00000f94: CALLER 00000f95: DUP4 00000f96: PUSH1 0x00 00000f98: DUP7 00000f99: PUSH2 0x1244 00000f9c: JUMP 00000f9d: JUMPDEST 00000f9e: SWAP1 00000f9f: POP 00000fa0: PUSH1 0x00 00000fa2: DUP3 00000fa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb8: AND 00000fb9: DUP3 00000fba: PUSH1 0x40 00000fbc: MLOAD 00000fbd: PUSH1 0x00 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: DUP1 00000fc3: DUP4 00000fc4: SUB 00000fc5: DUP2 00000fc6: DUP6 00000fc7: DUP8 00000fc8: GAS 00000fc9: CALL 00000fca: SWAP3 00000fcb: POP 00000fcc: POP 00000fcd: POP 00000fce: RETURNDATASIZE 00000fcf: DUP1 00000fd0: PUSH1 0x00 00000fd2: DUP2 00000fd3: EQ 00000fd4: PUSH2 0x0ff9 00000fd7: JUMPI 00000fd8: PUSH1 0x40 00000fda: MLOAD 00000fdb: SWAP2 00000fdc: POP 00000fdd: PUSH1 0x1f 00000fdf: NOT 00000fe0: PUSH1 0x3f 00000fe2: RETURNDATASIZE 00000fe3: ADD 00000fe4: AND 00000fe5: DUP3 00000fe6: ADD 00000fe7: PUSH1 0x40 00000fe9: MSTORE 00000fea: RETURNDATASIZE 00000feb: DUP3 00000fec: MSTORE 00000fed: RETURNDATASIZE 00000fee: PUSH1 0x00 00000ff0: PUSH1 0x20 00000ff2: DUP5 00000ff3: ADD 00000ff4: RETURNDATACOPY 00000ff5: PUSH2 0x0ffe 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: PUSH1 0x60 00000ffc: SWAP2 00000ffd: POP 00000ffe: JUMPDEST 00000fff: POP 00001000: POP 00001001: SWAP1 00001002: POP 00001003: DUP1 00001004: PUSH2 0x072b 00001007: JUMPI 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: PUSH32 0x90b8ec1800000000000000000000000000000000000000000000000000000000 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x04 00001030: ADD 00001031: PUSH1 0x40 00001033: MLOAD 00001034: DUP1 00001035: SWAP2 00001036: SUB 00001037: SWAP1 00001038: REVERT 00001039: JUMPDEST 0000103a: PUSH1 0x00 0000103c: PUSH2 0x1047 0000103f: CALLER 00001040: DUP4 00001041: DUP7 00001042: DUP7 00001043: PUSH2 0x1244 00001046: JUMP 00001047: JUMPDEST 00001048: PUSH1 0x40 0000104a: MLOAD 0000104b: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000106c: DUP2 0000106d: MSTORE 0000106e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001083: DUP5 00001084: DUP2 00001085: AND 00001086: PUSH1 0x04 00001088: DUP4 00001089: ADD 0000108a: MSTORE 0000108b: PUSH1 0x24 0000108d: DUP3 0000108e: ADD 0000108f: DUP4 00001090: SWAP1 00001091: MSTORE 00001092: SWAP2 00001093: SWAP3 00001094: POP 00001095: PUSH1 0x00 00001097: SWAP2 00001098: DUP7 00001099: AND 0000109a: SWAP1 0000109b: PUSH4 0xa9059cbb 000010a0: SWAP1 000010a1: PUSH1 0x44 000010a3: ADD 000010a4: PUSH1 0x20 000010a6: PUSH1 0x40 000010a8: MLOAD 000010a9: DUP1 000010aa: DUP4 000010ab: SUB 000010ac: DUP2 000010ad: PUSH1 0x00 000010af: DUP8 000010b0: GAS 000010b1: CALL 000010b2: ISZERO 000010b3: DUP1 000010b4: ISZERO 000010b5: PUSH2 0x10c2 000010b8: JUMPI 000010b9: RETURNDATASIZE 000010ba: PUSH1 0x00 000010bc: DUP1 000010bd: RETURNDATACOPY 000010be: RETURNDATASIZE 000010bf: PUSH1 0x00 000010c1: REVERT 000010c2: JUMPDEST 000010c3: POP 000010c4: POP 000010c5: POP 000010c6: POP 000010c7: PUSH1 0x40 000010c9: MLOAD 000010ca: RETURNDATASIZE 000010cb: PUSH1 0x1f 000010cd: NOT 000010ce: PUSH1 0x1f 000010d0: DUP3 000010d1: ADD 000010d2: AND 000010d3: DUP3 000010d4: ADD 000010d5: DUP1 000010d6: PUSH1 0x40 000010d8: MSTORE 000010d9: POP 000010da: DUP2 000010db: ADD 000010dc: SWAP1 000010dd: PUSH2 0x10e6 000010e0: SWAP2 000010e1: SWAP1 000010e2: PUSH2 0x198b 000010e5: JUMP 000010e6: JUMPDEST 000010e7: SWAP1 000010e8: POP 000010e9: DUP1 000010ea: PUSH2 0x111f 000010ed: JUMPI 000010ee: PUSH1 0x40 000010f0: MLOAD 000010f1: PUSH32 0x90b8ec1800000000000000000000000000000000000000000000000000000000 00001112: DUP2 00001113: MSTORE 00001114: PUSH1 0x04 00001116: ADD 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: DUP1 0000111b: SWAP2 0000111c: SUB 0000111d: SWAP1 0000111e: REVERT 0000111f: JUMPDEST 00001120: POP 00001121: POP 00001122: POP 00001123: POP 00001124: POP 00001125: JUMP 00001126: JUMPDEST 00001127: PUSH1 0x00 00001129: SLOAD 0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113f: AND 00001140: CALLER 00001141: EQ 00001142: PUSH2 0x04d4 00001145: JUMPI 00001146: PUSH1 0x40 00001148: MLOAD 00001149: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000116a: DUP2 0000116b: MSTORE 0000116c: PUSH1 0x20 0000116e: PUSH1 0x04 00001170: DUP3 00001171: ADD 00001172: DUP2 00001173: SWAP1 00001174: MSTORE 00001175: PUSH1 0x24 00001177: DUP3 00001178: ADD 00001179: MSTORE 0000117a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000119b: PUSH1 0x44 0000119d: DUP3 0000119e: ADD 0000119f: MSTORE 000011a0: PUSH1 0x64 000011a2: ADD 000011a3: PUSH2 0x0827 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH1 0x00 000011aa: DUP1 000011ab: SLOAD 000011ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c1: DUP4 000011c2: DUP2 000011c3: AND 000011c4: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000011e5: DUP4 000011e6: AND 000011e7: DUP2 000011e8: OR 000011e9: DUP5 000011ea: SSTORE 000011eb: PUSH1 0x40 000011ed: MLOAD 000011ee: SWAP2 000011ef: SWAP1 000011f0: SWAP3 000011f1: AND 000011f2: SWAP3 000011f3: DUP4 000011f4: SWAP2 000011f5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001216: SWAP2 00001217: SWAP1 00001218: LOG3 00001219: POP 0000121a: POP 0000121b: JUMP 0000121c: JUMPDEST 0000121d: PUSH1 0x00 0000121f: DUP1 00001220: PUSH1 0x00 00001222: PUSH2 0x122d 00001225: DUP8 00001226: DUP8 00001227: DUP8 00001228: DUP8 00001229: PUSH2 0x12a1 0000122c: JUMP 0000122d: JUMPDEST 0000122e: SWAP2 0000122f: POP 00001230: SWAP2 00001231: POP 00001232: PUSH2 0x123a 00001235: DUP2 00001236: PUSH2 0x1390 00001239: JUMP 0000123a: JUMPDEST 0000123b: POP 0000123c: SWAP6 0000123d: SWAP5 0000123e: POP 0000123f: POP 00001240: POP 00001241: POP 00001242: POP 00001243: JUMP 00001244: JUMPDEST 00001245: PUSH1 0x00 00001247: DUP1 00001248: SLOAD 00001249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125e: DUP7 0000125f: DUP2 00001260: AND 00001261: SWAP2 00001262: AND 00001263: EQ 00001264: PUSH2 0x1299 00001267: JUMPI 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x04 00001290: ADD 00001291: PUSH1 0x40 00001293: MLOAD 00001294: DUP1 00001295: SWAP2 00001296: SUB 00001297: SWAP1 00001298: REVERT 00001299: JUMPDEST 0000129a: POP 0000129b: SWAP4 0000129c: SWAP3 0000129d: POP 0000129e: POP 0000129f: POP 000012a0: JUMP 000012a1: JUMPDEST 000012a2: PUSH1 0x00 000012a4: DUP1 000012a5: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 000012c6: DUP4 000012c7: GT 000012c8: ISZERO 000012c9: PUSH2 0x12d8 000012cc: JUMPI 000012cd: POP 000012ce: PUSH1 0x00 000012d0: SWAP1 000012d1: POP 000012d2: PUSH1 0x03 000012d4: PUSH2 0x1387 000012d7: JUMP 000012d8: JUMPDEST 000012d9: PUSH1 0x40 000012db: DUP1 000012dc: MLOAD 000012dd: PUSH1 0x00 000012df: DUP1 000012e0: DUP3 000012e1: MSTORE 000012e2: PUSH1 0x20 000012e4: DUP3 000012e5: ADD 000012e6: DUP1 000012e7: DUP5 000012e8: MSTORE 000012e9: DUP10 000012ea: SWAP1 000012eb: MSTORE 000012ec: PUSH1 0xff 000012ee: DUP9 000012ef: AND 000012f0: SWAP3 000012f1: DUP3 000012f2: ADD 000012f3: SWAP3 000012f4: SWAP1 000012f5: SWAP3 000012f6: MSTORE 000012f7: PUSH1 0x60 000012f9: DUP2 000012fa: ADD 000012fb: DUP7 000012fc: SWAP1 000012fd: MSTORE 000012fe: PUSH1 0x80 00001300: DUP2 00001301: ADD 00001302: DUP6 00001303: SWAP1 00001304: MSTORE 00001305: PUSH1 0x01 00001307: SWAP1 00001308: PUSH1 0xa0 0000130a: ADD 0000130b: PUSH1 0x20 0000130d: PUSH1 0x40 0000130f: MLOAD 00001310: PUSH1 0x20 00001312: DUP2 00001313: SUB 00001314: SWAP1 00001315: DUP1 00001316: DUP5 00001317: SUB 00001318: SWAP1 00001319: DUP6 0000131a: GAS 0000131b: STATICCALL 0000131c: ISZERO 0000131d: DUP1 0000131e: ISZERO 0000131f: PUSH2 0x132c 00001322: JUMPI 00001323: RETURNDATASIZE 00001324: PUSH1 0x00 00001326: DUP1 00001327: RETURNDATACOPY 00001328: RETURNDATASIZE 00001329: PUSH1 0x00 0000132b: REVERT 0000132c: JUMPDEST 0000132d: POP 0000132e: POP 0000132f: PUSH1 0x40 00001331: MLOAD 00001332: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001353: ADD 00001354: MLOAD 00001355: SWAP2 00001356: POP 00001357: POP 00001358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136d: DUP2 0000136e: AND 0000136f: PUSH2 0x1380 00001372: JUMPI 00001373: PUSH1 0x00 00001375: PUSH1 0x01 00001377: SWAP3 00001378: POP 00001379: SWAP3 0000137a: POP 0000137b: POP 0000137c: PUSH2 0x1387 0000137f: JUMP 00001380: JUMPDEST 00001381: SWAP2 00001382: POP 00001383: PUSH1 0x00 00001385: SWAP1 00001386: POP 00001387: JUMPDEST 00001388: SWAP5 00001389: POP 0000138a: SWAP5 0000138b: SWAP3 0000138c: POP 0000138d: POP 0000138e: POP 0000138f: JUMP 00001390: JUMPDEST 00001391: PUSH1 0x00 00001393: DUP2 00001394: PUSH1 0x04 00001396: DUP2 00001397: GT 00001398: ISZERO 00001399: PUSH2 0x13a4 0000139c: JUMPI 0000139d: PUSH2 0x13a4 000013a0: PUSH2 0x19cc 000013a3: JUMP 000013a4: JUMPDEST 000013a5: SUB 000013a6: PUSH2 0x13ac 000013a9: JUMPI 000013aa: POP 000013ab: JUMP 000013ac: JUMPDEST 000013ad: PUSH1 0x01 000013af: DUP2 000013b0: PUSH1 0x04 000013b2: DUP2 000013b3: GT 000013b4: ISZERO 000013b5: PUSH2 0x13c0 000013b8: JUMPI 000013b9: PUSH2 0x13c0 000013bc: PUSH2 0x19cc 000013bf: JUMP 000013c0: JUMPDEST 000013c1: SUB 000013c2: PUSH2 0x1427 000013c5: JUMPI 000013c6: PUSH1 0x40 000013c8: MLOAD 000013c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013ea: DUP2 000013eb: MSTORE 000013ec: PUSH1 0x20 000013ee: PUSH1 0x04 000013f0: DUP3 000013f1: ADD 000013f2: MSTORE 000013f3: PUSH1 0x18 000013f5: PUSH1 0x24 000013f7: DUP3 000013f8: ADD 000013f9: MSTORE 000013fa: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 0000141b: PUSH1 0x44 0000141d: DUP3 0000141e: ADD 0000141f: MSTORE 00001420: PUSH1 0x64 00001422: ADD 00001423: PUSH2 0x0827 00001426: JUMP 00001427: JUMPDEST 00001428: PUSH1 0x02 0000142a: DUP2 0000142b: PUSH1 0x04 0000142d: DUP2 0000142e: GT 0000142f: ISZERO 00001430: PUSH2 0x143b 00001433: JUMPI 00001434: PUSH2 0x143b 00001437: PUSH2 0x19cc 0000143a: JUMP 0000143b: JUMPDEST 0000143c: SUB 0000143d: PUSH2 0x14a2 00001440: JUMPI 00001441: PUSH1 0x40 00001443: MLOAD 00001444: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001465: DUP2 00001466: MSTORE 00001467: PUSH1 0x20 00001469: PUSH1 0x04 0000146b: DUP3 0000146c: ADD 0000146d: MSTORE 0000146e: PUSH1 0x1f 00001470: PUSH1 0x24 00001472: DUP3 00001473: ADD 00001474: MSTORE 00001475: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00001496: PUSH1 0x44 00001498: DUP3 00001499: ADD 0000149a: MSTORE 0000149b: PUSH1 0x64 0000149d: ADD 0000149e: PUSH2 0x0827 000014a1: JUMP 000014a2: JUMPDEST 000014a3: PUSH1 0x03 000014a5: DUP2 000014a6: PUSH1 0x04 000014a8: DUP2 000014a9: GT 000014aa: ISZERO 000014ab: PUSH2 0x14b6 000014ae: JUMPI 000014af: PUSH2 0x14b6 000014b2: PUSH2 0x19cc 000014b5: JUMP 000014b6: JUMPDEST 000014b7: SUB 000014b8: PUSH2 0x04c7 000014bb: JUMPI 000014bc: PUSH1 0x40 000014be: MLOAD 000014bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014e0: DUP2 000014e1: MSTORE 000014e2: PUSH1 0x20 000014e4: PUSH1 0x04 000014e6: DUP3 000014e7: ADD 000014e8: MSTORE 000014e9: PUSH1 0x22 000014eb: PUSH1 0x24 000014ed: DUP3 000014ee: ADD 000014ef: MSTORE 000014f0: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 00001511: PUSH1 0x44 00001513: DUP3 00001514: ADD 00001515: MSTORE 00001516: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00001537: PUSH1 0x64 00001539: DUP3 0000153a: ADD 0000153b: MSTORE 0000153c: PUSH1 0x84 0000153e: ADD 0000153f: PUSH2 0x0827 00001542: JUMP 00001543: JUMPDEST 00001544: PUSH1 0x00 00001546: PUSH1 0x20 00001548: DUP3 00001549: DUP5 0000154a: SUB 0000154b: SLT 0000154c: ISZERO 0000154d: PUSH2 0x1555 00001550: JUMPI 00001551: PUSH1 0x00 00001553: DUP1 00001554: REVERT 00001555: JUMPDEST 00001556: DUP2 00001557: CALLDATALOAD 00001558: PUSH8 0xffffffffffffffff 00001561: DUP2 00001562: GT 00001563: ISZERO 00001564: PUSH2 0x156c 00001567: JUMPI 00001568: PUSH1 0x00 0000156a: DUP1 0000156b: REVERT 0000156c: JUMPDEST 0000156d: DUP3 0000156e: ADD 0000156f: PUSH2 0x0140 00001572: DUP2 00001573: DUP6 00001574: SUB 00001575: SLT 00001576: ISZERO 00001577: PUSH2 0x157f 0000157a: JUMPI 0000157b: PUSH1 0x00 0000157d: DUP1 0000157e: REVERT 0000157f: JUMPDEST 00001580: SWAP4 00001581: SWAP3 00001582: POP 00001583: POP 00001584: POP 00001585: JUMP 00001586: JUMPDEST 00001587: DUP1 00001588: CALLDATALOAD 00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159e: DUP2 0000159f: AND 000015a0: DUP2 000015a1: EQ 000015a2: PUSH2 0x15aa 000015a5: JUMPI 000015a6: PUSH1 0x00 000015a8: DUP1 000015a9: REVERT 000015aa: JUMPDEST 000015ab: SWAP2 000015ac: SWAP1 000015ad: POP 000015ae: JUMP 000015af: JUMPDEST 000015b0: PUSH1 0x00 000015b2: DUP1 000015b3: PUSH1 0x40 000015b5: DUP4 000015b6: DUP6 000015b7: SUB 000015b8: SLT 000015b9: ISZERO 000015ba: PUSH2 0x15c2 000015bd: JUMPI 000015be: PUSH1 0x00 000015c0: DUP1 000015c1: REVERT 000015c2: JUMPDEST 000015c3: PUSH2 0x15cb 000015c6: DUP4 000015c7: PUSH2 0x1586 000015ca: JUMP 000015cb: JUMPDEST 000015cc: SWAP5 000015cd: PUSH1 0x20 000015cf: SWAP4 000015d0: SWAP1 000015d1: SWAP4 000015d2: ADD 000015d3: CALLDATALOAD 000015d4: SWAP4 000015d5: POP 000015d6: POP 000015d7: POP 000015d8: JUMP 000015d9: JUMPDEST 000015da: PUSH1 0x00 000015dc: PUSH1 0x20 000015de: DUP3 000015df: DUP5 000015e0: SUB 000015e1: SLT 000015e2: ISZERO 000015e3: PUSH2 0x15eb 000015e6: JUMPI 000015e7: PUSH1 0x00 000015e9: DUP1 000015ea: REVERT 000015eb: JUMPDEST 000015ec: POP 000015ed: CALLDATALOAD 000015ee: SWAP2 000015ef: SWAP1 000015f0: POP 000015f1: JUMP 000015f2: JUMPDEST 000015f3: PUSH1 0x00 000015f5: PUSH1 0x20 000015f7: DUP3 000015f8: DUP5 000015f9: SUB 000015fa: SLT 000015fb: ISZERO 000015fc: PUSH2 0x1604 000015ff: JUMPI 00001600: PUSH1 0x00 00001602: DUP1 00001603: REVERT 00001604: JUMPDEST 00001605: PUSH2 0x157f 00001608: DUP3 00001609: PUSH2 0x1586 0000160c: JUMP 0000160d: JUMPDEST 0000160e: PUSH1 0x00 00001610: DUP1 00001611: PUSH1 0x40 00001613: DUP4 00001614: DUP6 00001615: SUB 00001616: SLT 00001617: ISZERO 00001618: PUSH2 0x1620 0000161b: JUMPI 0000161c: PUSH1 0x00 0000161e: DUP1 0000161f: REVERT 00001620: JUMPDEST 00001621: PUSH2 0x1629 00001624: DUP4 00001625: PUSH2 0x1586 00001628: JUMP 00001629: JUMPDEST 0000162a: SWAP2 0000162b: POP 0000162c: PUSH2 0x1637 0000162f: PUSH1 0x20 00001631: DUP5 00001632: ADD 00001633: PUSH2 0x1586 00001636: JUMP 00001637: JUMPDEST 00001638: SWAP1 00001639: POP 0000163a: SWAP3 0000163b: POP 0000163c: SWAP3 0000163d: SWAP1 0000163e: POP 0000163f: JUMP 00001640: JUMPDEST 00001641: PUSH1 0x00 00001643: DUP1 00001644: PUSH1 0x00 00001646: PUSH1 0x60 00001648: DUP5 00001649: DUP7 0000164a: SUB 0000164b: SLT 0000164c: ISZERO 0000164d: PUSH2 0x1655 00001650: JUMPI 00001651: PUSH1 0x00 00001653: DUP1 00001654: REVERT 00001655: JUMPDEST 00001656: PUSH2 0x165e 00001659: DUP5 0000165a: PUSH2 0x1586 0000165d: JUMP 0000165e: JUMPDEST 0000165f: SWAP3 00001660: POP 00001661: PUSH2 0x166c 00001664: PUSH1 0x20 00001666: DUP6 00001667: ADD 00001668: PUSH2 0x1586 0000166b: JUMP 0000166c: JUMPDEST 0000166d: SWAP2 0000166e: POP 0000166f: PUSH1 0x40 00001671: DUP5 00001672: ADD 00001673: CALLDATALOAD 00001674: SWAP1 00001675: POP 00001676: SWAP3 00001677: POP 00001678: SWAP3 00001679: POP 0000167a: SWAP3 0000167b: JUMP 0000167c: JUMPDEST 0000167d: PUSH1 0x00 0000167f: DUP1 00001680: DUP4 00001681: CALLDATALOAD 00001682: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 000016a3: DUP5 000016a4: CALLDATASIZE 000016a5: SUB 000016a6: ADD 000016a7: DUP2 000016a8: SLT 000016a9: PUSH2 0x16b1 000016ac: JUMPI 000016ad: PUSH1 0x00 000016af: DUP1 000016b0: REVERT 000016b1: JUMPDEST 000016b2: DUP4 000016b3: ADD 000016b4: DUP1 000016b5: CALLDATALOAD 000016b6: SWAP2 000016b7: POP 000016b8: PUSH8 0xffffffffffffffff 000016c1: DUP3 000016c2: GT 000016c3: ISZERO 000016c4: PUSH2 0x16cc 000016c7: JUMPI 000016c8: PUSH1 0x00 000016ca: DUP1 000016cb: REVERT 000016cc: JUMPDEST 000016cd: PUSH1 0x20 000016cf: ADD 000016d0: SWAP2 000016d1: POP 000016d2: CALLDATASIZE 000016d3: DUP2 000016d4: SWAP1 000016d5: SUB 000016d6: DUP3 000016d7: SGT 000016d8: ISZERO 000016d9: PUSH2 0x16e1 000016dc: JUMPI 000016dd: PUSH1 0x00 000016df: DUP1 000016e0: REVERT 000016e1: JUMPDEST 000016e2: SWAP3 000016e3: POP 000016e4: SWAP3 000016e5: SWAP1 000016e6: POP 000016e7: JUMP 000016e8: JUMPDEST 000016e9: DUP2 000016ea: DUP4 000016eb: DUP3 000016ec: CALLDATACOPY 000016ed: PUSH1 0x00 000016ef: SWAP2 000016f0: ADD 000016f1: SWAP1 000016f2: DUP2 000016f3: MSTORE 000016f4: SWAP2 000016f5: SWAP1 000016f6: POP 000016f7: JUMP 000016f8: JUMPDEST 000016f9: PUSH1 0x00 000016fb: PUSH1 0x20 000016fd: DUP3 000016fe: DUP5 000016ff: SUB 00001700: SLT 00001701: ISZERO 00001702: PUSH2 0x170a 00001705: JUMPI 00001706: PUSH1 0x00 00001708: DUP1 00001709: REVERT 0000170a: JUMPDEST 0000170b: POP 0000170c: MLOAD 0000170d: SWAP2 0000170e: SWAP1 0000170f: POP 00001710: JUMP 00001711: JUMPDEST 00001712: PUSH1 0x00 00001714: PUSH1 0x20 00001716: DUP3 00001717: DUP5 00001718: SUB 00001719: SLT 0000171a: ISZERO 0000171b: PUSH2 0x1723 0000171e: JUMPI 0000171f: PUSH1 0x00 00001721: DUP1 00001722: REVERT 00001723: JUMPDEST 00001724: DUP2 00001725: CALLDATALOAD 00001726: PUSH1 0xff 00001728: DUP2 00001729: AND 0000172a: DUP2 0000172b: EQ 0000172c: PUSH2 0x157f 0000172f: JUMPI 00001730: PUSH1 0x00 00001732: DUP1 00001733: REVERT 00001734: JUMPDEST 00001735: DUP1 00001736: CALLDATALOAD 00001737: PUSH4 0xffffffff 0000173c: DUP2 0000173d: AND 0000173e: DUP2 0000173f: EQ 00001740: PUSH2 0x15aa 00001743: JUMPI 00001744: PUSH1 0x00 00001746: DUP1 00001747: REVERT 00001748: JUMPDEST 00001749: PUSH1 0x00 0000174b: PUSH1 0x20 0000174d: DUP3 0000174e: DUP5 0000174f: SUB 00001750: SLT 00001751: ISZERO 00001752: PUSH2 0x175a 00001755: JUMPI 00001756: PUSH1 0x00 00001758: DUP1 00001759: REVERT 0000175a: JUMPDEST 0000175b: PUSH2 0x157f 0000175e: DUP3 0000175f: PUSH2 0x1734 00001762: JUMP 00001763: JUMPDEST 00001764: PUSH1 0x00 00001766: DUP1 00001767: DUP4 00001768: CALLDATALOAD 00001769: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 0000178a: DUP5 0000178b: CALLDATASIZE 0000178c: SUB 0000178d: ADD 0000178e: DUP2 0000178f: SLT 00001790: PUSH2 0x1798 00001793: JUMPI 00001794: PUSH1 0x00 00001796: DUP1 00001797: REVERT 00001798: JUMPDEST 00001799: DUP4 0000179a: ADD 0000179b: DUP1 0000179c: CALLDATALOAD 0000179d: SWAP2 0000179e: POP 0000179f: PUSH8 0xffffffffffffffff 000017a8: DUP3 000017a9: GT 000017aa: ISZERO 000017ab: PUSH2 0x17b3 000017ae: JUMPI 000017af: PUSH1 0x00 000017b1: DUP1 000017b2: REVERT 000017b3: JUMPDEST 000017b4: PUSH1 0x20 000017b6: ADD 000017b7: SWAP2 000017b8: POP 000017b9: PUSH1 0x05 000017bb: DUP2 000017bc: SWAP1 000017bd: SHL 000017be: CALLDATASIZE 000017bf: SUB 000017c0: DUP3 000017c1: SGT 000017c2: ISZERO 000017c3: PUSH2 0x16e1 000017c6: JUMPI 000017c7: PUSH1 0x00 000017c9: DUP1 000017ca: REVERT 000017cb: JUMPDEST 000017cc: PUSH1 0x00 000017ce: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 000017ef: DUP1 000017f0: DUP14 000017f1: PUSH1 0x60 000017f3: SHL 000017f4: AND 000017f5: DUP4 000017f6: MSTORE 000017f7: DUP1 000017f8: DUP13 000017f9: PUSH1 0x60 000017fb: SHL 000017fc: AND 000017fd: PUSH1 0x14 000017ff: DUP5 00001800: ADD 00001801: MSTORE 00001802: POP 00001803: DUP10 00001804: PUSH1 0x28 00001806: DUP4 00001807: ADD 00001808: MSTORE 00001809: DUP8 0000180a: DUP10 0000180b: PUSH1 0x48 0000180d: DUP5 0000180e: ADD 0000180f: CALLDATACOPY 00001810: DUP8 00001811: DUP3 00001812: ADD 00001813: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001834: DUP9 00001835: PUSH1 0xe0 00001837: SHL 00001838: AND 00001839: PUSH1 0x48 0000183b: DUP3 0000183c: ADD 0000183d: MSTORE 0000183e: PUSH1 0x4c 00001840: DUP2 00001841: ADD 00001842: SWAP1 00001843: POP 00001844: DUP7 00001845: PUSH1 0x00 00001847: JUMPDEST 00001848: DUP8 00001849: DUP2 0000184a: LT 0000184b: ISZERO 0000184c: PUSH2 0x1883 0000184f: JUMPI 00001850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001865: PUSH2 0x186d 00001868: DUP4 00001869: PUSH2 0x1586 0000186c: JUMP 0000186d: JUMPDEST 0000186e: AND 0000186f: DUP4 00001870: MSTORE 00001871: PUSH1 0x20 00001873: SWAP3 00001874: DUP4 00001875: ADD 00001876: SWAP3 00001877: SWAP2 00001878: SWAP1 00001879: SWAP2 0000187a: ADD 0000187b: SWAP1 0000187c: PUSH1 0x01 0000187e: ADD 0000187f: PUSH2 0x1847 00001882: JUMP 00001883: JUMPDEST 00001884: POP 00001885: DUP6 00001886: SWAP2 00001887: SWAP1 00001888: POP 00001889: PUSH1 0x00 0000188b: JUMPDEST 0000188c: DUP6 0000188d: DUP2 0000188e: LT 0000188f: ISZERO 00001890: PUSH2 0x18b6 00001893: JUMPI 00001894: PUSH4 0xffffffff 00001899: PUSH2 0x18a1 0000189c: DUP5 0000189d: PUSH2 0x1734 000018a0: JUMP 000018a1: JUMPDEST 000018a2: AND 000018a3: DUP3 000018a4: MSTORE 000018a5: PUSH1 0x20 000018a7: SWAP3 000018a8: DUP4 000018a9: ADD 000018aa: SWAP3 000018ab: SWAP1 000018ac: SWAP2 000018ad: ADD 000018ae: SWAP1 000018af: PUSH1 0x01 000018b1: ADD 000018b2: PUSH2 0x188b 000018b5: JUMP 000018b6: JUMPDEST 000018b7: POP 000018b8: SWAP14 000018b9: SWAP13 000018ba: POP 000018bb: POP 000018bc: POP 000018bd: POP 000018be: POP 000018bf: POP 000018c0: POP 000018c1: POP 000018c2: POP 000018c3: POP 000018c4: POP 000018c5: POP 000018c6: POP 000018c7: JUMP 000018c8: JUMPDEST 000018c9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000018ea: PUSH1 0x00 000018ec: MSTORE 000018ed: PUSH1 0x32 000018ef: PUSH1 0x04 000018f1: MSTORE 000018f2: PUSH1 0x24 000018f4: PUSH1 0x00 000018f6: REVERT 000018f7: JUMPDEST 000018f8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001919: PUSH1 0x00 0000191b: MSTORE 0000191c: PUSH1 0x11 0000191e: PUSH1 0x04 00001920: MSTORE 00001921: PUSH1 0x24 00001923: PUSH1 0x00 00001925: REVERT 00001926: JUMPDEST 00001927: PUSH1 0x00 00001929: DUP3 0000192a: PUSH2 0x195c 0000192d: JUMPI 0000192e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000194f: PUSH1 0x00 00001951: MSTORE 00001952: PUSH1 0x12 00001954: PUSH1 0x04 00001956: MSTORE 00001957: PUSH1 0x24 00001959: PUSH1 0x00 0000195b: REVERT 0000195c: JUMPDEST 0000195d: POP 0000195e: DIV 0000195f: SWAP1 00001960: JUMP 00001961: JUMPDEST 00001962: DUP1 00001963: DUP3 00001964: MUL 00001965: DUP2 00001966: ISZERO 00001967: DUP3 00001968: DUP3 00001969: DIV 0000196a: DUP5 0000196b: EQ 0000196c: OR 0000196d: PUSH2 0x0d84 00001970: JUMPI 00001971: PUSH2 0x0d84 00001974: PUSH2 0x18f7 00001977: JUMP 00001978: JUMPDEST 00001979: DUP2 0000197a: DUP2 0000197b: SUB 0000197c: DUP2 0000197d: DUP2 0000197e: GT 0000197f: ISZERO 00001980: PUSH2 0x0d84 00001983: JUMPI 00001984: PUSH2 0x0d84 00001987: PUSH2 0x18f7 0000198a: JUMP 0000198b: JUMPDEST 0000198c: PUSH1 0x00 0000198e: PUSH1 0x20 00001990: DUP3 00001991: DUP5 00001992: SUB 00001993: SLT 00001994: ISZERO 00001995: PUSH2 0x199d 00001998: JUMPI 00001999: PUSH1 0x00 0000199b: DUP1 0000199c: REVERT 0000199d: JUMPDEST 0000199e: DUP2 0000199f: MLOAD 000019a0: DUP1 000019a1: ISZERO 000019a2: ISZERO 000019a3: DUP2 000019a4: EQ 000019a5: PUSH2 0x157f 000019a8: JUMPI 000019a9: PUSH1 0x00 000019ab: DUP1 000019ac: REVERT 000019ad: JUMPDEST 000019ae: PUSH1 0x00 000019b0: PUSH1 0xff 000019b2: DUP3 000019b3: AND 000019b4: PUSH1 0xff 000019b6: DUP2 000019b7: SUB 000019b8: PUSH2 0x19c3 000019bb: JUMPI 000019bc: PUSH2 0x19c3 000019bf: PUSH2 0x18f7 000019c2: JUMP 000019c3: JUMPDEST 000019c4: PUSH1 0x01 000019c6: ADD 000019c7: SWAP3 000019c8: SWAP2 000019c9: POP 000019ca: POP 000019cb: JUMP 000019cc: JUMPDEST 000019cd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000019ee: PUSH1 0x00 000019f0: MSTORE 000019f1: PUSH1 0x21 000019f3: PUSH1 0x04 000019f5: MSTORE 000019f6: PUSH1 0x24 000019f8: PUSH1 0x00 000019fa: REVERT 000019fb: INVALID 000019fc: LOG2 000019fd: PUSH5 0x6970667358 00001a03: UNKNOWN(0x22) 00001a04: SLT 00001a05: KECCAK256 00001a06: SIGNEXTEND 00001a07: SWAP16 00001a08: NOT 00001a09: UNKNOWN(0xB8) 00001a0a: DUP9 00001a0b: UNKNOWN(0xE6) 00001a0c: UNKNOWN(0xBC) 00001a0d: PUSH25 0x5dc79037d6545b7e3f8e81ef21bf8de684d1aa75faad88b464 00001a27: 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: 0xbcc8a72242e9f7db820f2f45c963930a2336b646be2da716b089ec76a084a48d
call_targets:
0x72ca32879941a51b089f6ace3dd8f13dd8bf6c14
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbcc8a72242e9f7db820f2f45c963930a2336b646be2da716b089ec76a084a48d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x72ca32879941a51b089f6ace3dd8f13dd8bf6c14"
],
"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": "0xc3b35a7e",
"selector": "0xc3b35a7e",
"calldata_variants": [
"0xc3b35a7e",
"0xc3b35a7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe44289eb",
"selector": "0xe44289eb",
"calldata_variants": [
"0xe44289eb",
"0xe44289eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72b0d90c",
"selector": "0x72b0d90c",
"calldata_variants": [
"0x72b0d90c",
"0x72b0d90c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3102,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3842,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xbcc8a72242e9f7db820f2f45c963930a2336b646be2da716b089ec76a084a48d
call_targets:
0x72ca32879941a51b089f6ace3dd8f13dd8bf6c14
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbcc8a72242e9f7db820f2f45c963930a2336b646be2da716b089ec76a084a48d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x72ca32879941a51b089f6ace3dd8f13dd8bf6c14"
],
"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": "0xc3b35a7e",
"selector": "0xc3b35a7e",
"calldata_variants": [
"0xc3b35a7e",
"0xc3b35a7e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe44289eb",
"selector": "0xe44289eb",
"calldata_variants": [
"0xe44289eb",
"0xe44289eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72b0d90c",
"selector": "0x72b0d90c",
"calldata_variants": [
"0x72b0d90c",
"0x72b0d90c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3102,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3842,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|