019b477e-cd37-70ff-beac-55de341152fa
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 |
|---|---|---|---|---|
| 27001 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27002 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92029 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92030 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92031 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92032 | 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 0x0069 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9e53aa58 00000019: GT 0000001a: PUSH2 0x0043 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9e53aa58 00000024: EQ 00000025: PUSH2 0x00dd 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xad5c4648 0000002f: EQ 00000030: PUSH2 0x00fd 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe871fdb3 0000003a: EQ 0000003b: PUSH2 0x014f 0000003e: JUMPI 0000003f: PUSH1 0x00 00000041: DUP1 00000042: REVERT 00000043: JUMPDEST 00000044: DUP1 00000045: PUSH4 0x21938f75 0000004a: EQ 0000004b: PUSH2 0x0075 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x3111c54f 00000055: EQ 00000056: PUSH2 0x0097 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x4cfd87ae 00000060: EQ 00000061: PUSH2 0x00aa 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: CALLDATASIZE 0000006b: PUSH2 0x0070 0000006e: JUMPI 0000006f: STOP 00000070: JUMPDEST 00000071: PUSH1 0x00 00000073: DUP1 00000074: REVERT 00000075: JUMPDEST 00000076: CALLVALUE 00000077: DUP1 00000078: ISZERO 00000079: PUSH2 0x0081 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: POP 00000083: PUSH2 0x0095 00000086: PUSH2 0x0090 00000089: CALLDATASIZE 0000008a: PUSH1 0x04 0000008c: PUSH2 0x1441 0000008f: JUMP 00000090: JUMPDEST 00000091: PUSH2 0x016f 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: PUSH2 0x0095 0000009b: PUSH2 0x00a5 0000009e: CALLDATASIZE 0000009f: PUSH1 0x04 000000a1: PUSH2 0x14d8 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH2 0x03c4 000000a9: JUMP 000000aa: JUMPDEST 000000ab: CALLVALUE 000000ac: DUP1 000000ad: ISZERO 000000ae: PUSH2 0x00b6 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: POP 000000b8: PUSH2 0x00ca 000000bb: PUSH2 0x00c5 000000be: CALLDATASIZE 000000bf: PUSH1 0x04 000000c1: PUSH2 0x167a 000000c4: JUMP 000000c5: JUMPDEST 000000c6: PUSH2 0x05f3 000000c9: JUMP 000000ca: JUMPDEST 000000cb: PUSH1 0x40 000000cd: MLOAD 000000ce: SWAP1 000000cf: DUP2 000000d0: MSTORE 000000d1: PUSH1 0x20 000000d3: ADD 000000d4: JUMPDEST 000000d5: PUSH1 0x40 000000d7: MLOAD 000000d8: DUP1 000000d9: SWAP2 000000da: SUB 000000db: SWAP1 000000dc: RETURN 000000dd: JUMPDEST 000000de: CALLVALUE 000000df: DUP1 000000e0: ISZERO 000000e1: PUSH2 0x00e9 000000e4: JUMPI 000000e5: PUSH1 0x00 000000e7: DUP1 000000e8: REVERT 000000e9: JUMPDEST 000000ea: POP 000000eb: PUSH2 0x0095 000000ee: PUSH2 0x00f8 000000f1: CALLDATASIZE 000000f2: PUSH1 0x04 000000f4: PUSH2 0x1441 000000f7: JUMP 000000f8: JUMPDEST 000000f9: PUSH2 0x07a3 000000fc: JUMP 000000fd: JUMPDEST 000000fe: CALLVALUE 000000ff: DUP1 00000100: ISZERO 00000101: PUSH2 0x0109 00000104: JUMPI 00000105: PUSH1 0x00 00000107: DUP1 00000108: REVERT 00000109: JUMPDEST 0000010a: POP 0000010b: PUSH1 0x00 0000010d: SLOAD 0000010e: PUSH2 0x012a 00000111: SWAP1 00000112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000127: AND 00000128: DUP2 00000129: JUMP 0000012a: JUMPDEST 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000143: SWAP1 00000144: SWAP2 00000145: AND 00000146: DUP2 00000147: MSTORE 00000148: PUSH1 0x20 0000014a: ADD 0000014b: PUSH2 0x00d4 0000014e: JUMP 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x00ca 00000160: PUSH2 0x016a 00000163: CALLDATASIZE 00000164: PUSH1 0x04 00000166: PUSH2 0x167a 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x07c8 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH1 0x00 00000172: SLOAD 00000173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000188: AND 00000189: DUP6 0000018a: DUP6 0000018b: PUSH2 0x0195 0000018e: PUSH1 0x01 00000190: DUP3 00000191: PUSH2 0x1776 00000194: JUMP 00000195: JUMPDEST 00000196: DUP2 00000197: DUP2 00000198: LT 00000199: PUSH2 0x01a4 0000019c: JUMPI 0000019d: PUSH2 0x01a4 000001a0: PUSH2 0x178f 000001a3: JUMP 000001a4: JUMPDEST 000001a5: SWAP1 000001a6: POP 000001a7: PUSH1 0x20 000001a9: MUL 000001aa: ADD 000001ab: PUSH1 0x20 000001ad: DUP2 000001ae: ADD 000001af: SWAP1 000001b0: PUSH2 0x01b9 000001b3: SWAP2 000001b4: SWAP1 000001b5: PUSH2 0x17be 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cf: AND 000001d0: EQ 000001d1: PUSH2 0x023b 000001d4: JUMPI 000001d5: PUSH1 0x40 000001d7: MLOAD 000001d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001f9: DUP2 000001fa: MSTORE 000001fb: PUSH1 0x20 000001fd: PUSH1 0x04 000001ff: DUP3 00000200: ADD 00000201: MSTORE 00000202: PUSH1 0x1d 00000204: PUSH1 0x24 00000206: DUP3 00000207: ADD 00000208: MSTORE 00000209: PUSH32 0x50696e6b526f757465723a20494e56414c49445f574554485f50415448000000 0000022a: PUSH1 0x44 0000022c: DUP3 0000022d: ADD 0000022e: MSTORE 0000022f: PUSH1 0x64 00000231: ADD 00000232: JUMPDEST 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: PUSH2 0x0394 0000023f: DUP6 00000240: DUP6 00000241: PUSH1 0x00 00000243: DUP2 00000244: DUP2 00000245: LT 00000246: PUSH2 0x0251 00000249: JUMPI 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x178f 00000250: JUMP 00000251: JUMPDEST 00000252: SWAP1 00000253: POP 00000254: PUSH1 0x20 00000256: MUL 00000257: ADD 00000258: PUSH1 0x20 0000025a: DUP2 0000025b: ADD 0000025c: SWAP1 0000025d: PUSH2 0x0266 00000260: SWAP2 00000261: SWAP1 00000262: PUSH2 0x17be 00000265: JUMP 00000266: JUMPDEST 00000267: CALLER 00000268: DUP6 00000269: DUP6 0000026a: PUSH1 0x00 0000026c: DUP2 0000026d: DUP2 0000026e: LT 0000026f: PUSH2 0x027a 00000272: JUMPI 00000273: PUSH2 0x027a 00000276: PUSH2 0x178f 00000279: JUMP 0000027a: JUMPDEST 0000027b: SWAP1 0000027c: POP 0000027d: PUSH1 0x20 0000027f: MUL 00000280: ADD 00000281: PUSH1 0x20 00000283: DUP2 00000284: ADD 00000285: SWAP1 00000286: PUSH2 0x028f 00000289: SWAP2 0000028a: SWAP1 0000028b: PUSH2 0x17be 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: PUSH4 0xe98a5b85 000002ab: DUP10 000002ac: DUP10 000002ad: PUSH1 0x00 000002af: DUP2 000002b0: DUP2 000002b1: LT 000002b2: PUSH2 0x02bd 000002b5: JUMPI 000002b6: PUSH2 0x02bd 000002b9: PUSH2 0x178f 000002bc: JUMP 000002bd: JUMPDEST 000002be: SWAP1 000002bf: POP 000002c0: PUSH1 0x20 000002c2: MUL 000002c3: ADD 000002c4: PUSH1 0x20 000002c6: DUP2 000002c7: ADD 000002c8: SWAP1 000002c9: PUSH2 0x02d2 000002cc: SWAP2 000002cd: SWAP1 000002ce: PUSH2 0x17be 000002d1: JUMP 000002d2: JUMPDEST 000002d3: DUP11 000002d4: DUP11 000002d5: PUSH1 0x01 000002d7: DUP2 000002d8: DUP2 000002d9: LT 000002da: PUSH2 0x02e5 000002dd: JUMPI 000002de: PUSH2 0x02e5 000002e1: PUSH2 0x178f 000002e4: JUMP 000002e5: JUMPDEST 000002e6: SWAP1 000002e7: POP 000002e8: PUSH1 0x20 000002ea: MUL 000002eb: ADD 000002ec: PUSH1 0x20 000002ee: DUP2 000002ef: ADD 000002f0: SWAP1 000002f1: PUSH2 0x02fa 000002f4: SWAP2 000002f5: SWAP1 000002f6: PUSH2 0x17be 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000031f: PUSH1 0xe0 00000321: DUP6 00000322: SWAP1 00000323: SHL 00000324: AND 00000325: DUP2 00000326: MSTORE 00000327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033c: SWAP3 0000033d: DUP4 0000033e: AND 0000033f: PUSH1 0x04 00000341: DUP3 00000342: ADD 00000343: MSTORE 00000344: SWAP2 00000345: AND 00000346: PUSH1 0x24 00000348: DUP3 00000349: ADD 0000034a: MSTORE 0000034b: PUSH1 0x44 0000034d: ADD 0000034e: PUSH1 0x20 00000350: PUSH1 0x40 00000352: MLOAD 00000353: DUP1 00000354: DUP4 00000355: SUB 00000356: DUP2 00000357: DUP7 00000358: GAS 00000359: STATICCALL 0000035a: ISZERO 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x036a 00000360: JUMPI 00000361: RETURNDATASIZE 00000362: PUSH1 0x00 00000364: DUP1 00000365: RETURNDATACOPY 00000366: RETURNDATASIZE 00000367: PUSH1 0x00 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: POP 0000036d: POP 0000036e: POP 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: RETURNDATASIZE 00000373: PUSH1 0x1f 00000375: NOT 00000376: PUSH1 0x1f 00000378: DUP3 00000379: ADD 0000037a: AND 0000037b: DUP3 0000037c: ADD 0000037d: DUP1 0000037e: PUSH1 0x40 00000380: MSTORE 00000381: POP 00000382: DUP2 00000383: ADD 00000384: SWAP1 00000385: PUSH2 0x038e 00000388: SWAP2 00000389: SWAP1 0000038a: PUSH2 0x17e2 0000038d: JUMP 0000038e: JUMPDEST 0000038f: DUP11 00000390: PUSH2 0x096a 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH1 0x00 00000397: PUSH2 0x03a5 0000039a: DUP9 0000039b: DUP9 0000039c: DUP9 0000039d: DUP9 0000039e: DUP9 0000039f: DUP9 000003a0: ADDRESS 000003a1: PUSH2 0x0b09 000003a4: JUMP 000003a5: JUMPDEST 000003a6: SWAP1 000003a7: POP 000003a8: PUSH2 0x03b0 000003ab: DUP2 000003ac: PUSH2 0x0d8f 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH2 0x03ba 000003b4: DUP3 000003b5: DUP3 000003b6: PUSH2 0x0e16 000003b9: JUMP 000003ba: JUMPDEST 000003bb: POP 000003bc: POP 000003bd: POP 000003be: POP 000003bf: POP 000003c0: POP 000003c1: POP 000003c2: POP 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x00 000003c7: DUP1 000003c8: SLOAD 000003c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003de: AND 000003df: SWAP1 000003e0: DUP7 000003e1: SWAP1 000003e2: DUP7 000003e3: SWAP1 000003e4: DUP2 000003e5: PUSH2 0x03f0 000003e8: JUMPI 000003e9: PUSH2 0x03f0 000003ec: PUSH2 0x178f 000003ef: JUMP 000003f0: JUMPDEST 000003f1: SWAP1 000003f2: POP 000003f3: PUSH1 0x20 000003f5: MUL 000003f6: ADD 000003f7: PUSH1 0x20 000003f9: DUP2 000003fa: ADD 000003fb: SWAP1 000003fc: PUSH2 0x0405 000003ff: SWAP2 00000400: SWAP1 00000401: PUSH2 0x17be 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041b: AND 0000041c: EQ 0000041d: PUSH2 0x0482 00000420: JUMPI 00000421: PUSH1 0x40 00000423: MLOAD 00000424: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x20 00000449: PUSH1 0x04 0000044b: DUP3 0000044c: ADD 0000044d: MSTORE 0000044e: PUSH1 0x1d 00000450: PUSH1 0x24 00000452: DUP3 00000453: ADD 00000454: MSTORE 00000455: PUSH32 0x50696e6b526f757465723a20494e56414c49445f574554485f50415448000000 00000476: PUSH1 0x44 00000478: DUP3 00000479: ADD 0000047a: MSTORE 0000047b: PUSH1 0x64 0000047d: ADD 0000047e: PUSH2 0x0232 00000481: JUMP 00000482: JUMPDEST 00000483: CALLVALUE 00000484: PUSH2 0x048c 00000487: DUP2 00000488: PUSH2 0x0f25 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH2 0x05e4 00000490: DUP7 00000491: DUP7 00000492: PUSH1 0x00 00000494: DUP2 00000495: DUP2 00000496: LT 00000497: PUSH2 0x04a2 0000049a: JUMPI 0000049b: PUSH2 0x04a2 0000049e: PUSH2 0x178f 000004a1: JUMP 000004a2: JUMPDEST 000004a3: SWAP1 000004a4: POP 000004a5: PUSH1 0x20 000004a7: MUL 000004a8: ADD 000004a9: PUSH1 0x20 000004ab: DUP2 000004ac: ADD 000004ad: SWAP1 000004ae: PUSH2 0x04b7 000004b1: SWAP2 000004b2: SWAP1 000004b3: PUSH2 0x17be 000004b6: JUMP 000004b7: JUMPDEST 000004b8: DUP6 000004b9: DUP6 000004ba: PUSH1 0x00 000004bc: DUP2 000004bd: DUP2 000004be: LT 000004bf: PUSH2 0x04ca 000004c2: JUMPI 000004c3: PUSH2 0x04ca 000004c6: PUSH2 0x178f 000004c9: JUMP 000004ca: JUMPDEST 000004cb: SWAP1 000004cc: POP 000004cd: PUSH1 0x20 000004cf: MUL 000004d0: ADD 000004d1: PUSH1 0x20 000004d3: DUP2 000004d4: ADD 000004d5: SWAP1 000004d6: PUSH2 0x04df 000004d9: SWAP2 000004da: SWAP1 000004db: PUSH2 0x17be 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f5: AND 000004f6: PUSH4 0xe98a5b85 000004fb: DUP10 000004fc: DUP10 000004fd: PUSH1 0x00 000004ff: DUP2 00000500: DUP2 00000501: LT 00000502: PUSH2 0x050d 00000505: JUMPI 00000506: PUSH2 0x050d 00000509: PUSH2 0x178f 0000050c: JUMP 0000050d: JUMPDEST 0000050e: SWAP1 0000050f: POP 00000510: PUSH1 0x20 00000512: MUL 00000513: ADD 00000514: PUSH1 0x20 00000516: DUP2 00000517: ADD 00000518: SWAP1 00000519: PUSH2 0x0522 0000051c: SWAP2 0000051d: SWAP1 0000051e: PUSH2 0x17be 00000521: JUMP 00000522: JUMPDEST 00000523: DUP11 00000524: DUP11 00000525: PUSH1 0x01 00000527: DUP2 00000528: DUP2 00000529: LT 0000052a: PUSH2 0x0535 0000052d: JUMPI 0000052e: PUSH2 0x0535 00000531: PUSH2 0x178f 00000534: JUMP 00000535: JUMPDEST 00000536: SWAP1 00000537: POP 00000538: PUSH1 0x20 0000053a: MUL 0000053b: ADD 0000053c: PUSH1 0x20 0000053e: DUP2 0000053f: ADD 00000540: SWAP1 00000541: PUSH2 0x054a 00000544: SWAP2 00000545: SWAP1 00000546: PUSH2 0x17be 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000056f: PUSH1 0xe0 00000571: DUP6 00000572: SWAP1 00000573: SHL 00000574: AND 00000575: DUP2 00000576: MSTORE 00000577: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058c: SWAP3 0000058d: DUP4 0000058e: AND 0000058f: PUSH1 0x04 00000591: DUP3 00000592: ADD 00000593: MSTORE 00000594: SWAP2 00000595: AND 00000596: PUSH1 0x24 00000598: DUP3 00000599: ADD 0000059a: MSTORE 0000059b: PUSH1 0x44 0000059d: ADD 0000059e: PUSH1 0x20 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: DUP1 000005a4: DUP4 000005a5: SUB 000005a6: DUP2 000005a7: DUP7 000005a8: GAS 000005a9: STATICCALL 000005aa: ISZERO 000005ab: DUP1 000005ac: ISZERO 000005ad: PUSH2 0x05ba 000005b0: JUMPI 000005b1: RETURNDATASIZE 000005b2: PUSH1 0x00 000005b4: DUP1 000005b5: RETURNDATACOPY 000005b6: RETURNDATASIZE 000005b7: PUSH1 0x00 000005b9: REVERT 000005ba: JUMPDEST 000005bb: POP 000005bc: POP 000005bd: POP 000005be: POP 000005bf: PUSH1 0x40 000005c1: MLOAD 000005c2: RETURNDATASIZE 000005c3: PUSH1 0x1f 000005c5: NOT 000005c6: PUSH1 0x1f 000005c8: DUP3 000005c9: ADD 000005ca: AND 000005cb: DUP3 000005cc: ADD 000005cd: DUP1 000005ce: PUSH1 0x40 000005d0: MSTORE 000005d1: POP 000005d2: DUP2 000005d3: ADD 000005d4: SWAP1 000005d5: PUSH2 0x05de 000005d8: SWAP2 000005d9: SWAP1 000005da: PUSH2 0x17e2 000005dd: JUMP 000005de: JUMPDEST 000005df: DUP4 000005e0: PUSH2 0x0fa1 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH2 0x03ba 000005e8: DUP2 000005e9: DUP9 000005ea: DUP9 000005eb: DUP9 000005ec: DUP9 000005ed: DUP9 000005ee: DUP9 000005ef: PUSH2 0x0b09 000005f2: JUMP 000005f3: JUMPDEST 000005f4: PUSH1 0x00 000005f6: DUP3 000005f7: DUP3 000005f8: PUSH1 0x02 000005fa: DUP3 000005fb: MLOAD 000005fc: LT 000005fd: ISZERO 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0616 00000603: JUMPI 00000604: POP 00000605: PUSH1 0x01 00000607: DUP3 00000608: MLOAD 00000609: PUSH2 0x0612 0000060c: SWAP2 0000060d: SWAP1 0000060e: PUSH2 0x1776 00000611: JUMP 00000612: JUMPDEST 00000613: DUP2 00000614: MLOAD 00000615: EQ 00000616: JUMPDEST 00000617: PUSH2 0x067c 0000061a: JUMPI 0000061b: PUSH1 0x40 0000061d: MLOAD 0000061e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x20 00000643: PUSH1 0x04 00000645: DUP3 00000646: ADD 00000647: MSTORE 00000648: PUSH1 0x1a 0000064a: PUSH1 0x24 0000064c: DUP3 0000064d: ADD 0000064e: MSTORE 0000064f: PUSH32 0x50696e6b526f757465723a20494e56414c49445f4c454e475448000000000000 00000670: PUSH1 0x44 00000672: DUP3 00000673: ADD 00000674: MSTORE 00000675: PUSH1 0x64 00000677: ADD 00000678: PUSH2 0x0232 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH1 0x00 0000067f: JUMPDEST 00000680: DUP5 00000681: MLOAD 00000682: DUP2 00000683: LT 00000684: ISZERO 00000685: PUSH2 0x0798 00000688: JUMPI 00000689: DUP5 0000068a: DUP2 0000068b: DUP2 0000068c: MLOAD 0000068d: DUP2 0000068e: LT 0000068f: PUSH2 0x069a 00000692: JUMPI 00000693: PUSH2 0x069a 00000696: PUSH2 0x178f 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x20 0000069d: MUL 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: ADD 000006a2: MLOAD 000006a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b8: AND 000006b9: PUSH4 0x5e1e6325 000006be: DUP9 000006bf: DUP9 000006c0: DUP5 000006c1: DUP2 000006c2: MLOAD 000006c3: DUP2 000006c4: LT 000006c5: PUSH2 0x06d0 000006c8: JUMPI 000006c9: PUSH2 0x06d0 000006cc: PUSH2 0x178f 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH1 0x20 000006d3: MUL 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: ADD 000006d8: MLOAD 000006d9: DUP10 000006da: DUP6 000006db: PUSH1 0x01 000006dd: PUSH2 0x06e6 000006e0: SWAP2 000006e1: SWAP1 000006e2: PUSH2 0x17ff 000006e5: JUMP 000006e6: JUMPDEST 000006e7: DUP2 000006e8: MLOAD 000006e9: DUP2 000006ea: LT 000006eb: PUSH2 0x06f6 000006ee: JUMPI 000006ef: PUSH2 0x06f6 000006f2: PUSH2 0x178f 000006f5: JUMP 000006f6: JUMPDEST 000006f7: PUSH1 0x20 000006f9: MUL 000006fa: PUSH1 0x20 000006fc: ADD 000006fd: ADD 000006fe: MLOAD 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: DUP5 00000703: PUSH4 0xffffffff 00000708: AND 00000709: PUSH1 0xe0 0000070b: SHL 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x04 00000710: ADD 00000711: PUSH2 0x0743 00000714: SWAP4 00000715: SWAP3 00000716: SWAP2 00000717: SWAP1 00000718: SWAP3 00000719: DUP4 0000071a: MSTORE 0000071b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000730: SWAP2 00000731: DUP3 00000732: AND 00000733: PUSH1 0x20 00000735: DUP5 00000736: ADD 00000737: MSTORE 00000738: AND 00000739: PUSH1 0x40 0000073b: DUP3 0000073c: ADD 0000073d: MSTORE 0000073e: PUSH1 0x60 00000740: ADD 00000741: SWAP1 00000742: JUMP 00000743: JUMPDEST 00000744: PUSH1 0x20 00000746: PUSH1 0x40 00000748: MLOAD 00000749: DUP1 0000074a: DUP4 0000074b: SUB 0000074c: DUP2 0000074d: DUP7 0000074e: GAS 0000074f: STATICCALL 00000750: ISZERO 00000751: DUP1 00000752: ISZERO 00000753: PUSH2 0x0760 00000756: JUMPI 00000757: RETURNDATASIZE 00000758: PUSH1 0x00 0000075a: DUP1 0000075b: RETURNDATACOPY 0000075c: RETURNDATASIZE 0000075d: PUSH1 0x00 0000075f: REVERT 00000760: JUMPDEST 00000761: POP 00000762: POP 00000763: POP 00000764: POP 00000765: PUSH1 0x40 00000767: MLOAD 00000768: RETURNDATASIZE 00000769: PUSH1 0x1f 0000076b: NOT 0000076c: PUSH1 0x1f 0000076e: DUP3 0000076f: ADD 00000770: AND 00000771: DUP3 00000772: ADD 00000773: DUP1 00000774: PUSH1 0x40 00000776: MSTORE 00000777: POP 00000778: DUP2 00000779: ADD 0000077a: SWAP1 0000077b: PUSH2 0x0784 0000077e: SWAP2 0000077f: SWAP1 00000780: PUSH2 0x1812 00000783: JUMP 00000784: JUMPDEST 00000785: SWAP7 00000786: POP 00000787: DUP1 00000788: PUSH2 0x0790 0000078b: DUP2 0000078c: PUSH2 0x182b 0000078f: JUMP 00000790: JUMPDEST 00000791: SWAP2 00000792: POP 00000793: POP 00000794: PUSH2 0x067f 00000797: JUMP 00000798: JUMPDEST 00000799: POP 0000079a: SWAP5 0000079b: SWAP6 0000079c: SWAP5 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH2 0x07b9 000007a7: DUP6 000007a8: DUP6 000007a9: PUSH1 0x00 000007ab: DUP2 000007ac: DUP2 000007ad: LT 000007ae: PUSH2 0x0251 000007b1: JUMPI 000007b2: PUSH2 0x0251 000007b5: PUSH2 0x178f 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH2 0x03ba 000007bd: DUP8 000007be: DUP8 000007bf: DUP8 000007c0: DUP8 000007c1: DUP8 000007c2: DUP8 000007c3: DUP8 000007c4: PUSH2 0x0b09 000007c7: JUMP 000007c8: JUMPDEST 000007c9: PUSH1 0x00 000007cb: DUP3 000007cc: DUP3 000007cd: PUSH1 0x02 000007cf: DUP3 000007d0: MLOAD 000007d1: LT 000007d2: ISZERO 000007d3: DUP1 000007d4: ISZERO 000007d5: PUSH2 0x07eb 000007d8: JUMPI 000007d9: POP 000007da: PUSH1 0x01 000007dc: DUP3 000007dd: MLOAD 000007de: PUSH2 0x07e7 000007e1: SWAP2 000007e2: SWAP1 000007e3: PUSH2 0x1776 000007e6: JUMP 000007e7: JUMPDEST 000007e8: DUP2 000007e9: MLOAD 000007ea: EQ 000007eb: JUMPDEST 000007ec: PUSH2 0x0851 000007ef: JUMPI 000007f0: PUSH1 0x40 000007f2: MLOAD 000007f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: PUSH1 0x04 0000081a: DUP3 0000081b: ADD 0000081c: MSTORE 0000081d: PUSH1 0x1a 0000081f: PUSH1 0x24 00000821: DUP3 00000822: ADD 00000823: MSTORE 00000824: PUSH32 0x50696e6b526f757465723a20494e56414c49445f4c454e475448000000000000 00000845: PUSH1 0x44 00000847: DUP3 00000848: ADD 00000849: MSTORE 0000084a: PUSH1 0x64 0000084c: ADD 0000084d: PUSH2 0x0232 00000850: JUMP 00000851: JUMPDEST 00000852: DUP4 00000853: MLOAD 00000854: JUMPDEST 00000855: DUP1 00000856: ISZERO 00000857: PUSH2 0x0798 0000085a: JUMPI 0000085b: DUP5 0000085c: DUP2 0000085d: DUP2 0000085e: MLOAD 0000085f: DUP2 00000860: LT 00000861: PUSH2 0x086c 00000864: JUMPI 00000865: PUSH2 0x086c 00000868: PUSH2 0x178f 0000086b: JUMP 0000086c: JUMPDEST 0000086d: PUSH1 0x20 0000086f: MUL 00000870: PUSH1 0x20 00000872: ADD 00000873: ADD 00000874: MLOAD 00000875: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088a: AND 0000088b: PUSH4 0x0a9a2b72 00000890: DUP9 00000891: DUP9 00000892: PUSH1 0x01 00000894: DUP6 00000895: PUSH2 0x089e 00000898: SWAP2 00000899: SWAP1 0000089a: PUSH2 0x1776 0000089d: JUMP 0000089e: JUMPDEST 0000089f: DUP2 000008a0: MLOAD 000008a1: DUP2 000008a2: LT 000008a3: PUSH2 0x08ae 000008a6: JUMPI 000008a7: PUSH2 0x08ae 000008aa: PUSH2 0x178f 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH1 0x20 000008b1: MUL 000008b2: PUSH1 0x20 000008b4: ADD 000008b5: ADD 000008b6: MLOAD 000008b7: DUP10 000008b8: DUP6 000008b9: DUP2 000008ba: MLOAD 000008bb: DUP2 000008bc: LT 000008bd: PUSH2 0x08c8 000008c0: JUMPI 000008c1: PUSH2 0x08c8 000008c4: PUSH2 0x178f 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x20 000008cb: MUL 000008cc: PUSH1 0x20 000008ce: ADD 000008cf: ADD 000008d0: MLOAD 000008d1: PUSH1 0x40 000008d3: MLOAD 000008d4: DUP5 000008d5: PUSH4 0xffffffff 000008da: AND 000008db: PUSH1 0xe0 000008dd: SHL 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x04 000008e2: ADD 000008e3: PUSH2 0x0915 000008e6: SWAP4 000008e7: SWAP3 000008e8: SWAP2 000008e9: SWAP1 000008ea: SWAP3 000008eb: DUP4 000008ec: MSTORE 000008ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000902: SWAP2 00000903: DUP3 00000904: AND 00000905: PUSH1 0x20 00000907: DUP5 00000908: ADD 00000909: MSTORE 0000090a: AND 0000090b: PUSH1 0x40 0000090d: DUP3 0000090e: ADD 0000090f: MSTORE 00000910: PUSH1 0x60 00000912: ADD 00000913: SWAP1 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH1 0x20 00000918: PUSH1 0x40 0000091a: MLOAD 0000091b: DUP1 0000091c: DUP4 0000091d: SUB 0000091e: DUP2 0000091f: DUP7 00000920: GAS 00000921: STATICCALL 00000922: ISZERO 00000923: DUP1 00000924: ISZERO 00000925: PUSH2 0x0932 00000928: JUMPI 00000929: RETURNDATASIZE 0000092a: PUSH1 0x00 0000092c: DUP1 0000092d: RETURNDATACOPY 0000092e: RETURNDATASIZE 0000092f: PUSH1 0x00 00000931: REVERT 00000932: JUMPDEST 00000933: POP 00000934: POP 00000935: POP 00000936: POP 00000937: PUSH1 0x40 00000939: MLOAD 0000093a: RETURNDATASIZE 0000093b: PUSH1 0x1f 0000093d: NOT 0000093e: PUSH1 0x1f 00000940: DUP3 00000941: ADD 00000942: AND 00000943: DUP3 00000944: ADD 00000945: DUP1 00000946: PUSH1 0x40 00000948: MSTORE 00000949: POP 0000094a: DUP2 0000094b: ADD 0000094c: SWAP1 0000094d: PUSH2 0x0956 00000950: SWAP2 00000951: SWAP1 00000952: PUSH2 0x1812 00000955: JUMP 00000956: JUMPDEST 00000957: SWAP7 00000958: POP 00000959: DUP1 0000095a: PUSH2 0x0962 0000095d: DUP2 0000095e: PUSH2 0x1863 00000961: JUMP 00000962: JUMPDEST 00000963: SWAP2 00000964: POP 00000965: POP 00000966: PUSH2 0x0854 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x40 0000096d: DUP1 0000096e: MLOAD 0000096f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000984: DUP6 00000985: DUP2 00000986: AND 00000987: PUSH1 0x24 00000989: DUP4 0000098a: ADD 0000098b: MSTORE 0000098c: DUP5 0000098d: DUP2 0000098e: AND 0000098f: PUSH1 0x44 00000991: DUP4 00000992: ADD 00000993: MSTORE 00000994: PUSH1 0x64 00000996: DUP1 00000997: DUP4 00000998: ADD 00000999: DUP6 0000099a: SWAP1 0000099b: MSTORE 0000099c: DUP4 0000099d: MLOAD 0000099e: DUP1 0000099f: DUP5 000009a0: SUB 000009a1: SWAP1 000009a2: SWAP2 000009a3: ADD 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x84 000009a8: SWAP1 000009a9: SWAP3 000009aa: ADD 000009ab: DUP4 000009ac: MSTORE 000009ad: PUSH1 0x20 000009af: DUP3 000009b0: ADD 000009b1: DUP1 000009b2: MLOAD 000009b3: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000009d0: AND 000009d1: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 000009f2: OR 000009f3: SWAP1 000009f4: MSTORE 000009f5: SWAP2 000009f6: MLOAD 000009f7: PUSH1 0x00 000009f9: SWAP3 000009fa: DUP4 000009fb: SWAP3 000009fc: SWAP1 000009fd: DUP9 000009fe: AND 000009ff: SWAP2 00000a00: PUSH2 0x0a09 00000a03: SWAP2 00000a04: SWAP1 00000a05: PUSH2 0x1898 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH1 0x00 00000a0c: PUSH1 0x40 00000a0e: MLOAD 00000a0f: DUP1 00000a10: DUP4 00000a11: SUB 00000a12: DUP2 00000a13: PUSH1 0x00 00000a15: DUP7 00000a16: GAS 00000a17: CALL 00000a18: SWAP2 00000a19: POP 00000a1a: POP 00000a1b: RETURNDATASIZE 00000a1c: DUP1 00000a1d: PUSH1 0x00 00000a1f: DUP2 00000a20: EQ 00000a21: PUSH2 0x0a46 00000a24: JUMPI 00000a25: PUSH1 0x40 00000a27: MLOAD 00000a28: SWAP2 00000a29: POP 00000a2a: PUSH1 0x1f 00000a2c: NOT 00000a2d: PUSH1 0x3f 00000a2f: RETURNDATASIZE 00000a30: ADD 00000a31: AND 00000a32: DUP3 00000a33: ADD 00000a34: PUSH1 0x40 00000a36: MSTORE 00000a37: RETURNDATASIZE 00000a38: DUP3 00000a39: MSTORE 00000a3a: RETURNDATASIZE 00000a3b: PUSH1 0x00 00000a3d: PUSH1 0x20 00000a3f: DUP5 00000a40: ADD 00000a41: RETURNDATACOPY 00000a42: PUSH2 0x0a4b 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x60 00000a49: SWAP2 00000a4a: POP 00000a4b: JUMPDEST 00000a4c: POP 00000a4d: SWAP2 00000a4e: POP 00000a4f: SWAP2 00000a50: POP 00000a51: DUP2 00000a52: DUP1 00000a53: ISZERO 00000a54: PUSH2 0x0a75 00000a57: JUMPI 00000a58: POP 00000a59: DUP1 00000a5a: MLOAD 00000a5b: ISZERO 00000a5c: DUP1 00000a5d: PUSH2 0x0a75 00000a60: JUMPI 00000a61: POP 00000a62: DUP1 00000a63: DUP1 00000a64: PUSH1 0x20 00000a66: ADD 00000a67: SWAP1 00000a68: MLOAD 00000a69: DUP2 00000a6a: ADD 00000a6b: SWAP1 00000a6c: PUSH2 0x0a75 00000a6f: SWAP2 00000a70: SWAP1 00000a71: PUSH2 0x18c7 00000a74: JUMP 00000a75: JUMPDEST 00000a76: PUSH2 0x0b01 00000a79: JUMPI 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a9e: DUP2 00000a9f: MSTORE 00000aa0: PUSH1 0x20 00000aa2: PUSH1 0x04 00000aa4: DUP3 00000aa5: ADD 00000aa6: MSTORE 00000aa7: PUSH1 0x31 00000aa9: PUSH1 0x24 00000aab: DUP3 00000aac: ADD 00000aad: MSTORE 00000aae: PUSH32 0x5472616e7366657248656c7065723a3a7472616e7366657246726f6d3a207472 00000acf: PUSH1 0x44 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH32 0x616e7366657246726f6d206661696c6564000000000000000000000000000000 00000af5: PUSH1 0x64 00000af7: DUP3 00000af8: ADD 00000af9: MSTORE 00000afa: PUSH1 0x84 00000afc: ADD 00000afd: PUSH2 0x0232 00000b00: JUMP 00000b01: JUMPDEST 00000b02: POP 00000b03: POP 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x00 00000b0c: DUP1 00000b0d: DUP7 00000b0e: DUP7 00000b0f: PUSH2 0x0b19 00000b12: PUSH1 0x01 00000b14: DUP3 00000b15: PUSH2 0x1776 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: DUP2 00000b1b: DUP2 00000b1c: LT 00000b1d: PUSH2 0x0b28 00000b20: JUMPI 00000b21: PUSH2 0x0b28 00000b24: PUSH2 0x178f 00000b27: JUMP 00000b28: JUMPDEST 00000b29: SWAP1 00000b2a: POP 00000b2b: PUSH1 0x20 00000b2d: MUL 00000b2e: ADD 00000b2f: PUSH1 0x20 00000b31: DUP2 00000b32: ADD 00000b33: SWAP1 00000b34: PUSH2 0x0b3d 00000b37: SWAP2 00000b38: SWAP1 00000b39: PUSH2 0x17be 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000b62: DUP2 00000b63: MSTORE 00000b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b79: DUP6 00000b7a: DUP2 00000b7b: AND 00000b7c: PUSH1 0x04 00000b7e: DUP4 00000b7f: ADD 00000b80: MSTORE 00000b81: SWAP2 00000b82: SWAP1 00000b83: SWAP2 00000b84: AND 00000b85: SWAP1 00000b86: PUSH4 0x70a08231 00000b8b: SWAP1 00000b8c: PUSH1 0x24 00000b8e: ADD 00000b8f: PUSH1 0x20 00000b91: PUSH1 0x40 00000b93: MLOAD 00000b94: DUP1 00000b95: DUP4 00000b96: SUB 00000b97: DUP2 00000b98: DUP7 00000b99: GAS 00000b9a: STATICCALL 00000b9b: ISZERO 00000b9c: DUP1 00000b9d: ISZERO 00000b9e: PUSH2 0x0bab 00000ba1: JUMPI 00000ba2: RETURNDATASIZE 00000ba3: PUSH1 0x00 00000ba5: DUP1 00000ba6: RETURNDATACOPY 00000ba7: RETURNDATASIZE 00000ba8: PUSH1 0x00 00000baa: REVERT 00000bab: JUMPDEST 00000bac: POP 00000bad: POP 00000bae: POP 00000baf: POP 00000bb0: PUSH1 0x40 00000bb2: MLOAD 00000bb3: RETURNDATASIZE 00000bb4: PUSH1 0x1f 00000bb6: NOT 00000bb7: PUSH1 0x1f 00000bb9: DUP3 00000bba: ADD 00000bbb: AND 00000bbc: DUP3 00000bbd: ADD 00000bbe: DUP1 00000bbf: PUSH1 0x40 00000bc1: MSTORE 00000bc2: POP 00000bc3: DUP2 00000bc4: ADD 00000bc5: SWAP1 00000bc6: PUSH2 0x0bcf 00000bc9: SWAP2 00000bca: SWAP1 00000bcb: PUSH2 0x1812 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: SWAP1 00000bd1: POP 00000bd2: PUSH2 0x0bde 00000bd5: DUP8 00000bd6: DUP8 00000bd7: DUP8 00000bd8: DUP8 00000bd9: DUP8 00000bda: PUSH2 0x1130 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x00 00000be1: DUP8 00000be2: DUP8 00000be3: PUSH2 0x0bed 00000be6: PUSH1 0x01 00000be8: DUP3 00000be9: PUSH2 0x1776 00000bec: JUMP 00000bed: JUMPDEST 00000bee: DUP2 00000bef: DUP2 00000bf0: LT 00000bf1: PUSH2 0x0bfc 00000bf4: JUMPI 00000bf5: PUSH2 0x0bfc 00000bf8: PUSH2 0x178f 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: SWAP1 00000bfe: POP 00000bff: PUSH1 0x20 00000c01: MUL 00000c02: ADD 00000c03: PUSH1 0x20 00000c05: DUP2 00000c06: ADD 00000c07: SWAP1 00000c08: PUSH2 0x0c11 00000c0b: SWAP2 00000c0c: SWAP1 00000c0d: PUSH2 0x17be 00000c10: JUMP 00000c11: JUMPDEST 00000c12: PUSH1 0x40 00000c14: MLOAD 00000c15: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000c36: DUP2 00000c37: MSTORE 00000c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4d: DUP7 00000c4e: DUP2 00000c4f: AND 00000c50: PUSH1 0x04 00000c52: DUP4 00000c53: ADD 00000c54: MSTORE 00000c55: SWAP2 00000c56: SWAP1 00000c57: SWAP2 00000c58: AND 00000c59: SWAP1 00000c5a: PUSH4 0x70a08231 00000c5f: SWAP1 00000c60: PUSH1 0x24 00000c62: ADD 00000c63: PUSH1 0x20 00000c65: PUSH1 0x40 00000c67: MLOAD 00000c68: DUP1 00000c69: DUP4 00000c6a: SUB 00000c6b: DUP2 00000c6c: DUP7 00000c6d: GAS 00000c6e: STATICCALL 00000c6f: ISZERO 00000c70: DUP1 00000c71: ISZERO 00000c72: PUSH2 0x0c7f 00000c75: JUMPI 00000c76: RETURNDATASIZE 00000c77: PUSH1 0x00 00000c79: DUP1 00000c7a: RETURNDATACOPY 00000c7b: RETURNDATASIZE 00000c7c: PUSH1 0x00 00000c7e: REVERT 00000c7f: JUMPDEST 00000c80: POP 00000c81: POP 00000c82: POP 00000c83: POP 00000c84: PUSH1 0x40 00000c86: MLOAD 00000c87: RETURNDATASIZE 00000c88: PUSH1 0x1f 00000c8a: NOT 00000c8b: PUSH1 0x1f 00000c8d: DUP3 00000c8e: ADD 00000c8f: AND 00000c90: DUP3 00000c91: ADD 00000c92: DUP1 00000c93: PUSH1 0x40 00000c95: MSTORE 00000c96: POP 00000c97: DUP2 00000c98: ADD 00000c99: SWAP1 00000c9a: PUSH2 0x0ca3 00000c9d: SWAP2 00000c9e: SWAP1 00000c9f: PUSH2 0x1812 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: SWAP1 00000ca5: POP 00000ca6: PUSH2 0x0caf 00000ca9: DUP3 00000caa: DUP3 00000cab: PUSH2 0x1776 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: SWAP3 00000cb1: POP 00000cb2: DUP9 00000cb3: DUP4 00000cb4: LT 00000cb5: ISZERO 00000cb6: PUSH2 0x0d41 00000cb9: JUMPI 00000cba: PUSH1 0x40 00000cbc: MLOAD 00000cbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cde: DUP2 00000cdf: MSTORE 00000ce0: PUSH1 0x20 00000ce2: PUSH1 0x04 00000ce4: DUP3 00000ce5: ADD 00000ce6: MSTORE 00000ce7: PUSH1 0x26 00000ce9: PUSH1 0x24 00000ceb: DUP3 00000cec: ADD 00000ced: MSTORE 00000cee: PUSH32 0x50696e6b526f757465723a20494e53554646494349454e545f4f55545055545f 00000d0f: PUSH1 0x44 00000d11: DUP3 00000d12: ADD 00000d13: MSTORE 00000d14: PUSH32 0x414d4f554e540000000000000000000000000000000000000000000000000000 00000d35: PUSH1 0x64 00000d37: DUP3 00000d38: ADD 00000d39: MSTORE 00000d3a: PUSH1 0x84 00000d3c: ADD 00000d3d: PUSH2 0x0232 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x40 00000d44: DUP1 00000d45: MLOAD 00000d46: DUP12 00000d47: DUP2 00000d48: MSTORE 00000d49: PUSH1 0x20 00000d4b: DUP2 00000d4c: ADD 00000d4d: DUP12 00000d4e: SWAP1 00000d4f: MSTORE 00000d50: SWAP1 00000d51: DUP2 00000d52: ADD 00000d53: DUP5 00000d54: SWAP1 00000d55: MSTORE 00000d56: PUSH32 0x75579d79b5f47d9948c4ef1a2ca6debf5b1305937f0eff4fc71cd7fb3053428e 00000d77: SWAP1 00000d78: PUSH1 0x60 00000d7a: ADD 00000d7b: PUSH1 0x40 00000d7d: MLOAD 00000d7e: DUP1 00000d7f: SWAP2 00000d80: SUB 00000d81: SWAP1 00000d82: LOG1 00000d83: POP 00000d84: POP 00000d85: SWAP8 00000d86: SWAP7 00000d87: POP 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: POP 00000d8c: POP 00000d8d: POP 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH1 0x00 00000d92: SLOAD 00000d93: PUSH1 0x40 00000d95: MLOAD 00000d96: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000 00000db7: DUP2 00000db8: MSTORE 00000db9: PUSH1 0x04 00000dbb: DUP2 00000dbc: ADD 00000dbd: DUP4 00000dbe: SWAP1 00000dbf: MSTORE 00000dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd5: SWAP1 00000dd6: SWAP2 00000dd7: AND 00000dd8: SWAP1 00000dd9: PUSH4 0x2e1a7d4d 00000dde: SWAP1 00000ddf: PUSH1 0x24 00000de1: ADD 00000de2: PUSH1 0x00 00000de4: PUSH1 0x40 00000de6: MLOAD 00000de7: DUP1 00000de8: DUP4 00000de9: SUB 00000dea: DUP2 00000deb: PUSH1 0x00 00000ded: DUP8 00000dee: DUP1 00000def: EXTCODESIZE 00000df0: ISZERO 00000df1: DUP1 00000df2: ISZERO 00000df3: PUSH2 0x0dfb 00000df6: JUMPI 00000df7: PUSH1 0x00 00000df9: DUP1 00000dfa: REVERT 00000dfb: JUMPDEST 00000dfc: POP 00000dfd: GAS 00000dfe: CALL 00000dff: ISZERO 00000e00: DUP1 00000e01: ISZERO 00000e02: PUSH2 0x0e0f 00000e05: JUMPI 00000e06: RETURNDATASIZE 00000e07: PUSH1 0x00 00000e09: DUP1 00000e0a: RETURNDATACOPY 00000e0b: RETURNDATASIZE 00000e0c: PUSH1 0x00 00000e0e: REVERT 00000e0f: JUMPDEST 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: POP 00000e14: POP 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH1 0x40 00000e19: DUP1 00000e1a: MLOAD 00000e1b: PUSH1 0x00 00000e1d: DUP1 00000e1e: DUP3 00000e1f: MSTORE 00000e20: PUSH1 0x20 00000e22: DUP3 00000e23: ADD 00000e24: SWAP1 00000e25: SWAP3 00000e26: MSTORE 00000e27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3c: DUP5 00000e3d: AND 00000e3e: SWAP1 00000e3f: DUP4 00000e40: SWAP1 00000e41: PUSH1 0x40 00000e43: MLOAD 00000e44: PUSH2 0x0e4d 00000e47: SWAP2 00000e48: SWAP1 00000e49: PUSH2 0x1898 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: PUSH1 0x00 00000e50: PUSH1 0x40 00000e52: MLOAD 00000e53: DUP1 00000e54: DUP4 00000e55: SUB 00000e56: DUP2 00000e57: DUP6 00000e58: DUP8 00000e59: GAS 00000e5a: CALL 00000e5b: SWAP3 00000e5c: POP 00000e5d: POP 00000e5e: POP 00000e5f: RETURNDATASIZE 00000e60: DUP1 00000e61: PUSH1 0x00 00000e63: DUP2 00000e64: EQ 00000e65: PUSH2 0x0e8a 00000e68: JUMPI 00000e69: PUSH1 0x40 00000e6b: MLOAD 00000e6c: SWAP2 00000e6d: POP 00000e6e: PUSH1 0x1f 00000e70: NOT 00000e71: PUSH1 0x3f 00000e73: RETURNDATASIZE 00000e74: ADD 00000e75: AND 00000e76: DUP3 00000e77: ADD 00000e78: PUSH1 0x40 00000e7a: MSTORE 00000e7b: RETURNDATASIZE 00000e7c: DUP3 00000e7d: MSTORE 00000e7e: RETURNDATASIZE 00000e7f: PUSH1 0x00 00000e81: PUSH1 0x20 00000e83: DUP5 00000e84: ADD 00000e85: RETURNDATACOPY 00000e86: PUSH2 0x0e8f 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x60 00000e8d: SWAP2 00000e8e: POP 00000e8f: JUMPDEST 00000e90: POP 00000e91: POP 00000e92: SWAP1 00000e93: POP 00000e94: DUP1 00000e95: PUSH2 0x0f20 00000e98: JUMPI 00000e99: PUSH1 0x40 00000e9b: MLOAD 00000e9c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ebd: DUP2 00000ebe: MSTORE 00000ebf: PUSH1 0x20 00000ec1: PUSH1 0x04 00000ec3: DUP3 00000ec4: ADD 00000ec5: MSTORE 00000ec6: PUSH1 0x34 00000ec8: PUSH1 0x24 00000eca: DUP3 00000ecb: ADD 00000ecc: MSTORE 00000ecd: PUSH32 0x5472616e7366657248656c7065723a3a736166655472616e736665724554483a 00000eee: PUSH1 0x44 00000ef0: DUP3 00000ef1: ADD 00000ef2: MSTORE 00000ef3: PUSH32 0x20455448207472616e73666572206661696c6564000000000000000000000000 00000f14: PUSH1 0x64 00000f16: DUP3 00000f17: ADD 00000f18: MSTORE 00000f19: PUSH1 0x84 00000f1b: ADD 00000f1c: PUSH2 0x0232 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: POP 00000f22: POP 00000f23: POP 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH1 0x00 00000f28: DUP1 00000f29: SLOAD 00000f2a: SWAP1 00000f2b: PUSH2 0x0100 00000f2e: EXP 00000f2f: SWAP1 00000f30: DIV 00000f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f46: AND 00000f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5c: AND 00000f5d: PUSH4 0xd0e30db0 00000f62: DUP3 00000f63: PUSH1 0x40 00000f65: MLOAD 00000f66: DUP3 00000f67: PUSH4 0xffffffff 00000f6c: AND 00000f6d: PUSH1 0xe0 00000f6f: SHL 00000f70: DUP2 00000f71: MSTORE 00000f72: PUSH1 0x04 00000f74: ADD 00000f75: PUSH1 0x00 00000f77: PUSH1 0x40 00000f79: MLOAD 00000f7a: DUP1 00000f7b: DUP4 00000f7c: SUB 00000f7d: DUP2 00000f7e: DUP6 00000f7f: DUP9 00000f80: DUP1 00000f81: EXTCODESIZE 00000f82: ISZERO 00000f83: DUP1 00000f84: ISZERO 00000f85: PUSH2 0x0f8d 00000f88: JUMPI 00000f89: PUSH1 0x00 00000f8b: DUP1 00000f8c: REVERT 00000f8d: JUMPDEST 00000f8e: POP 00000f8f: GAS 00000f90: CALL 00000f91: ISZERO 00000f92: DUP1 00000f93: ISZERO 00000f94: PUSH2 0x0b01 00000f97: JUMPI 00000f98: RETURNDATASIZE 00000f99: PUSH1 0x00 00000f9b: DUP1 00000f9c: RETURNDATACOPY 00000f9d: RETURNDATASIZE 00000f9e: PUSH1 0x00 00000fa0: REVERT 00000fa1: JUMPDEST 00000fa2: PUSH1 0x40 00000fa4: DUP1 00000fa5: MLOAD 00000fa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbb: DUP5 00000fbc: DUP2 00000fbd: AND 00000fbe: PUSH1 0x24 00000fc0: DUP4 00000fc1: ADD 00000fc2: MSTORE 00000fc3: PUSH1 0x44 00000fc5: DUP1 00000fc6: DUP4 00000fc7: ADD 00000fc8: DUP6 00000fc9: SWAP1 00000fca: MSTORE 00000fcb: DUP4 00000fcc: MLOAD 00000fcd: DUP1 00000fce: DUP5 00000fcf: SUB 00000fd0: SWAP1 00000fd1: SWAP2 00000fd2: ADD 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH1 0x64 00000fd7: SWAP1 00000fd8: SWAP3 00000fd9: ADD 00000fda: DUP4 00000fdb: MSTORE 00000fdc: PUSH1 0x20 00000fde: DUP3 00000fdf: ADD 00000fe0: DUP1 00000fe1: MLOAD 00000fe2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000fff: AND 00001000: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001021: OR 00001022: SWAP1 00001023: MSTORE 00001024: SWAP2 00001025: MLOAD 00001026: PUSH1 0x00 00001028: SWAP3 00001029: DUP4 0000102a: SWAP3 0000102b: SWAP1 0000102c: DUP8 0000102d: AND 0000102e: SWAP2 0000102f: PUSH2 0x1038 00001032: SWAP2 00001033: SWAP1 00001034: PUSH2 0x1898 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH1 0x00 0000103b: PUSH1 0x40 0000103d: MLOAD 0000103e: DUP1 0000103f: DUP4 00001040: SUB 00001041: DUP2 00001042: PUSH1 0x00 00001044: DUP7 00001045: GAS 00001046: CALL 00001047: SWAP2 00001048: POP 00001049: POP 0000104a: RETURNDATASIZE 0000104b: DUP1 0000104c: PUSH1 0x00 0000104e: DUP2 0000104f: EQ 00001050: PUSH2 0x1075 00001053: JUMPI 00001054: PUSH1 0x40 00001056: MLOAD 00001057: SWAP2 00001058: POP 00001059: PUSH1 0x1f 0000105b: NOT 0000105c: PUSH1 0x3f 0000105e: RETURNDATASIZE 0000105f: ADD 00001060: AND 00001061: DUP3 00001062: ADD 00001063: PUSH1 0x40 00001065: MSTORE 00001066: RETURNDATASIZE 00001067: DUP3 00001068: MSTORE 00001069: RETURNDATASIZE 0000106a: PUSH1 0x00 0000106c: PUSH1 0x20 0000106e: DUP5 0000106f: ADD 00001070: RETURNDATACOPY 00001071: PUSH2 0x107a 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH1 0x60 00001078: SWAP2 00001079: POP 0000107a: JUMPDEST 0000107b: POP 0000107c: SWAP2 0000107d: POP 0000107e: SWAP2 0000107f: POP 00001080: DUP2 00001081: DUP1 00001082: ISZERO 00001083: PUSH2 0x10a4 00001086: JUMPI 00001087: POP 00001088: DUP1 00001089: MLOAD 0000108a: ISZERO 0000108b: DUP1 0000108c: PUSH2 0x10a4 0000108f: JUMPI 00001090: POP 00001091: DUP1 00001092: DUP1 00001093: PUSH1 0x20 00001095: ADD 00001096: SWAP1 00001097: MLOAD 00001098: DUP2 00001099: ADD 0000109a: SWAP1 0000109b: PUSH2 0x10a4 0000109e: SWAP2 0000109f: SWAP1 000010a0: PUSH2 0x18c7 000010a3: JUMP 000010a4: JUMPDEST 000010a5: PUSH2 0x0e0f 000010a8: JUMPI 000010a9: PUSH1 0x40 000010ab: MLOAD 000010ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010cd: DUP2 000010ce: MSTORE 000010cf: PUSH1 0x20 000010d1: PUSH1 0x04 000010d3: DUP3 000010d4: ADD 000010d5: MSTORE 000010d6: PUSH1 0x2d 000010d8: PUSH1 0x24 000010da: DUP3 000010db: ADD 000010dc: MSTORE 000010dd: PUSH32 0x5472616e7366657248656c7065723a3a736166655472616e736665723a207472 000010fe: PUSH1 0x44 00001100: DUP3 00001101: ADD 00001102: MSTORE 00001103: PUSH32 0x616e73666572206661696c656400000000000000000000000000000000000000 00001124: PUSH1 0x64 00001126: DUP3 00001127: ADD 00001128: MSTORE 00001129: PUSH1 0x84 0000112b: ADD 0000112c: PUSH2 0x0232 0000112f: JUMP 00001130: JUMPDEST 00001131: PUSH1 0x00 00001133: JUMPDEST 00001134: DUP3 00001135: DUP2 00001136: LT 00001137: ISZERO 00001138: PUSH2 0x0b01 0000113b: JUMPI 0000113c: DUP4 0000113d: DUP4 0000113e: DUP3 0000113f: DUP2 00001140: DUP2 00001141: LT 00001142: PUSH2 0x114d 00001145: JUMPI 00001146: PUSH2 0x114d 00001149: PUSH2 0x178f 0000114c: JUMP 0000114d: JUMPDEST 0000114e: SWAP1 0000114f: POP 00001150: PUSH1 0x20 00001152: MUL 00001153: ADD 00001154: PUSH1 0x20 00001156: DUP2 00001157: ADD 00001158: SWAP1 00001159: PUSH2 0x1162 0000115c: SWAP2 0000115d: SWAP1 0000115e: PUSH2 0x17be 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001178: AND 00001179: PUSH4 0x93316212 0000117e: DUP8 0000117f: DUP8 00001180: DUP5 00001181: DUP2 00001182: DUP2 00001183: LT 00001184: PUSH2 0x118f 00001187: JUMPI 00001188: PUSH2 0x118f 0000118b: PUSH2 0x178f 0000118e: JUMP 0000118f: JUMPDEST 00001190: SWAP1 00001191: POP 00001192: PUSH1 0x20 00001194: MUL 00001195: ADD 00001196: PUSH1 0x20 00001198: DUP2 00001199: ADD 0000119a: SWAP1 0000119b: PUSH2 0x11a4 0000119e: SWAP2 0000119f: SWAP1 000011a0: PUSH2 0x17be 000011a3: JUMP 000011a4: JUMPDEST 000011a5: DUP9 000011a6: DUP9 000011a7: PUSH2 0x11b1 000011aa: DUP7 000011ab: PUSH1 0x01 000011ad: PUSH2 0x17ff 000011b0: JUMP 000011b1: JUMPDEST 000011b2: DUP2 000011b3: DUP2 000011b4: LT 000011b5: PUSH2 0x11c0 000011b8: JUMPI 000011b9: PUSH2 0x11c0 000011bc: PUSH2 0x178f 000011bf: JUMP 000011c0: JUMPDEST 000011c1: SWAP1 000011c2: POP 000011c3: PUSH1 0x20 000011c5: MUL 000011c6: ADD 000011c7: PUSH1 0x20 000011c9: DUP2 000011ca: ADD 000011cb: SWAP1 000011cc: PUSH2 0x11d5 000011cf: SWAP2 000011d0: SWAP1 000011d1: PUSH2 0x17be 000011d4: JUMP 000011d5: JUMPDEST 000011d6: PUSH2 0x11e0 000011d9: PUSH1 0x01 000011db: DUP9 000011dc: PUSH2 0x1776 000011df: JUMP 000011e0: JUMPDEST 000011e1: DUP6 000011e2: EQ 000011e3: PUSH2 0x132d 000011e6: JUMPI 000011e7: DUP8 000011e8: DUP8 000011e9: PUSH2 0x11f3 000011ec: DUP8 000011ed: PUSH1 0x01 000011ef: PUSH2 0x17ff 000011f2: JUMP 000011f3: JUMPDEST 000011f4: DUP2 000011f5: DUP2 000011f6: LT 000011f7: PUSH2 0x1202 000011fa: JUMPI 000011fb: PUSH2 0x1202 000011fe: PUSH2 0x178f 00001201: JUMP 00001202: JUMPDEST 00001203: SWAP1 00001204: POP 00001205: PUSH1 0x20 00001207: MUL 00001208: ADD 00001209: PUSH1 0x20 0000120b: DUP2 0000120c: ADD 0000120d: SWAP1 0000120e: PUSH2 0x1217 00001211: SWAP2 00001212: SWAP1 00001213: PUSH2 0x17be 00001216: JUMP 00001217: JUMPDEST 00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122d: AND 0000122e: PUSH4 0xe98a5b85 00001233: DUP12 00001234: DUP12 00001235: PUSH2 0x123f 00001238: DUP10 00001239: PUSH1 0x01 0000123b: PUSH2 0x17ff 0000123e: JUMP 0000123f: JUMPDEST 00001240: DUP2 00001241: DUP2 00001242: LT 00001243: PUSH2 0x124e 00001246: JUMPI 00001247: PUSH2 0x124e 0000124a: PUSH2 0x178f 0000124d: JUMP 0000124e: JUMPDEST 0000124f: SWAP1 00001250: POP 00001251: PUSH1 0x20 00001253: MUL 00001254: ADD 00001255: PUSH1 0x20 00001257: DUP2 00001258: ADD 00001259: SWAP1 0000125a: PUSH2 0x1263 0000125d: SWAP2 0000125e: SWAP1 0000125f: PUSH2 0x17be 00001262: JUMP 00001263: JUMPDEST 00001264: DUP13 00001265: DUP13 00001266: PUSH2 0x1270 00001269: DUP11 0000126a: PUSH1 0x02 0000126c: PUSH2 0x17ff 0000126f: JUMP 00001270: JUMPDEST 00001271: DUP2 00001272: DUP2 00001273: LT 00001274: PUSH2 0x127f 00001277: JUMPI 00001278: PUSH2 0x127f 0000127b: PUSH2 0x178f 0000127e: JUMP 0000127f: JUMPDEST 00001280: SWAP1 00001281: POP 00001282: PUSH1 0x20 00001284: MUL 00001285: ADD 00001286: PUSH1 0x20 00001288: DUP2 00001289: ADD 0000128a: SWAP1 0000128b: PUSH2 0x1294 0000128e: SWAP2 0000128f: SWAP1 00001290: PUSH2 0x17be 00001293: JUMP 00001294: JUMPDEST 00001295: PUSH1 0x40 00001297: MLOAD 00001298: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000012b9: PUSH1 0xe0 000012bb: DUP6 000012bc: SWAP1 000012bd: SHL 000012be: AND 000012bf: DUP2 000012c0: MSTORE 000012c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d6: SWAP3 000012d7: DUP4 000012d8: AND 000012d9: PUSH1 0x04 000012db: DUP3 000012dc: ADD 000012dd: MSTORE 000012de: SWAP2 000012df: AND 000012e0: PUSH1 0x24 000012e2: DUP3 000012e3: ADD 000012e4: MSTORE 000012e5: PUSH1 0x44 000012e7: ADD 000012e8: PUSH1 0x20 000012ea: PUSH1 0x40 000012ec: MLOAD 000012ed: DUP1 000012ee: DUP4 000012ef: SUB 000012f0: DUP2 000012f1: DUP7 000012f2: GAS 000012f3: STATICCALL 000012f4: ISZERO 000012f5: DUP1 000012f6: ISZERO 000012f7: PUSH2 0x1304 000012fa: JUMPI 000012fb: RETURNDATASIZE 000012fc: PUSH1 0x00 000012fe: DUP1 000012ff: RETURNDATACOPY 00001300: RETURNDATASIZE 00001301: PUSH1 0x00 00001303: REVERT 00001304: JUMPDEST 00001305: POP 00001306: POP 00001307: POP 00001308: POP 00001309: PUSH1 0x40 0000130b: MLOAD 0000130c: RETURNDATASIZE 0000130d: PUSH1 0x1f 0000130f: NOT 00001310: PUSH1 0x1f 00001312: DUP3 00001313: ADD 00001314: AND 00001315: DUP3 00001316: ADD 00001317: DUP1 00001318: PUSH1 0x40 0000131a: MSTORE 0000131b: POP 0000131c: DUP2 0000131d: ADD 0000131e: SWAP1 0000131f: PUSH2 0x1328 00001322: SWAP2 00001323: SWAP1 00001324: PUSH2 0x17e2 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH2 0x132f 0000132c: JUMP 0000132d: JUMPDEST 0000132e: DUP6 0000132f: JUMPDEST 00001330: PUSH1 0x40 00001332: MLOAD 00001333: PUSH1 0xe0 00001335: DUP6 00001336: SWAP1 00001337: SHL 00001338: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001359: AND 0000135a: DUP2 0000135b: MSTORE 0000135c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001371: SWAP4 00001372: DUP5 00001373: AND 00001374: PUSH1 0x04 00001376: DUP3 00001377: ADD 00001378: MSTORE 00001379: SWAP2 0000137a: DUP4 0000137b: AND 0000137c: PUSH1 0x24 0000137e: DUP4 0000137f: ADD 00001380: MSTORE 00001381: SWAP1 00001382: SWAP2 00001383: AND 00001384: PUSH1 0x44 00001386: DUP3 00001387: ADD 00001388: MSTORE 00001389: PUSH1 0x64 0000138b: ADD 0000138c: PUSH1 0x00 0000138e: PUSH1 0x40 00001390: MLOAD 00001391: DUP1 00001392: DUP4 00001393: SUB 00001394: DUP2 00001395: PUSH1 0x00 00001397: DUP8 00001398: DUP1 00001399: EXTCODESIZE 0000139a: ISZERO 0000139b: DUP1 0000139c: ISZERO 0000139d: PUSH2 0x13a5 000013a0: JUMPI 000013a1: PUSH1 0x00 000013a3: DUP1 000013a4: REVERT 000013a5: JUMPDEST 000013a6: POP 000013a7: GAS 000013a8: CALL 000013a9: ISZERO 000013aa: DUP1 000013ab: ISZERO 000013ac: PUSH2 0x13b9 000013af: JUMPI 000013b0: RETURNDATASIZE 000013b1: PUSH1 0x00 000013b3: DUP1 000013b4: RETURNDATACOPY 000013b5: RETURNDATASIZE 000013b6: PUSH1 0x00 000013b8: REVERT 000013b9: JUMPDEST 000013ba: POP 000013bb: POP 000013bc: POP 000013bd: POP 000013be: DUP1 000013bf: DUP1 000013c0: PUSH2 0x13c8 000013c3: SWAP1 000013c4: PUSH2 0x182b 000013c7: JUMP 000013c8: JUMPDEST 000013c9: SWAP2 000013ca: POP 000013cb: POP 000013cc: PUSH2 0x1133 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: DUP1 000013d4: DUP4 000013d5: PUSH1 0x1f 000013d7: DUP5 000013d8: ADD 000013d9: SLT 000013da: PUSH2 0x13e2 000013dd: JUMPI 000013de: PUSH1 0x00 000013e0: DUP1 000013e1: REVERT 000013e2: JUMPDEST 000013e3: POP 000013e4: DUP2 000013e5: CALLDATALOAD 000013e6: PUSH8 0xffffffffffffffff 000013ef: DUP2 000013f0: GT 000013f1: ISZERO 000013f2: PUSH2 0x13fa 000013f5: JUMPI 000013f6: PUSH1 0x00 000013f8: DUP1 000013f9: REVERT 000013fa: JUMPDEST 000013fb: PUSH1 0x20 000013fd: DUP4 000013fe: ADD 000013ff: SWAP2 00001400: POP 00001401: DUP4 00001402: PUSH1 0x20 00001404: DUP3 00001405: PUSH1 0x05 00001407: SHL 00001408: DUP6 00001409: ADD 0000140a: ADD 0000140b: GT 0000140c: ISZERO 0000140d: PUSH2 0x1415 00001410: JUMPI 00001411: PUSH1 0x00 00001413: DUP1 00001414: REVERT 00001415: JUMPDEST 00001416: SWAP3 00001417: POP 00001418: SWAP3 00001419: SWAP1 0000141a: POP 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001432: DUP2 00001433: AND 00001434: DUP2 00001435: EQ 00001436: PUSH2 0x143e 00001439: JUMPI 0000143a: PUSH1 0x00 0000143c: DUP1 0000143d: REVERT 0000143e: JUMPDEST 0000143f: POP 00001440: JUMP 00001441: JUMPDEST 00001442: PUSH1 0x00 00001444: DUP1 00001445: PUSH1 0x00 00001447: DUP1 00001448: PUSH1 0x00 0000144a: DUP1 0000144b: PUSH1 0x00 0000144d: PUSH1 0xa0 0000144f: DUP9 00001450: DUP11 00001451: SUB 00001452: SLT 00001453: ISZERO 00001454: PUSH2 0x145c 00001457: JUMPI 00001458: PUSH1 0x00 0000145a: DUP1 0000145b: REVERT 0000145c: JUMPDEST 0000145d: DUP8 0000145e: CALLDATALOAD 0000145f: SWAP7 00001460: POP 00001461: PUSH1 0x20 00001463: DUP9 00001464: ADD 00001465: CALLDATALOAD 00001466: SWAP6 00001467: POP 00001468: PUSH1 0x40 0000146a: DUP9 0000146b: ADD 0000146c: CALLDATALOAD 0000146d: PUSH8 0xffffffffffffffff 00001476: DUP1 00001477: DUP3 00001478: GT 00001479: ISZERO 0000147a: PUSH2 0x1482 0000147d: JUMPI 0000147e: PUSH1 0x00 00001480: DUP1 00001481: REVERT 00001482: JUMPDEST 00001483: PUSH2 0x148e 00001486: DUP12 00001487: DUP4 00001488: DUP13 00001489: ADD 0000148a: PUSH2 0x13d0 0000148d: JUMP 0000148e: JUMPDEST 0000148f: SWAP1 00001490: SWAP8 00001491: POP 00001492: SWAP6 00001493: POP 00001494: PUSH1 0x60 00001496: DUP11 00001497: ADD 00001498: CALLDATALOAD 00001499: SWAP2 0000149a: POP 0000149b: DUP1 0000149c: DUP3 0000149d: GT 0000149e: ISZERO 0000149f: PUSH2 0x14a7 000014a2: JUMPI 000014a3: PUSH1 0x00 000014a5: DUP1 000014a6: REVERT 000014a7: JUMPDEST 000014a8: POP 000014a9: PUSH2 0x14b4 000014ac: DUP11 000014ad: DUP3 000014ae: DUP12 000014af: ADD 000014b0: PUSH2 0x13d0 000014b3: JUMP 000014b4: JUMPDEST 000014b5: SWAP1 000014b6: SWAP5 000014b7: POP 000014b8: SWAP3 000014b9: POP 000014ba: POP 000014bb: PUSH1 0x80 000014bd: DUP9 000014be: ADD 000014bf: CALLDATALOAD 000014c0: PUSH2 0x14c8 000014c3: DUP2 000014c4: PUSH2 0x141c 000014c7: JUMP 000014c8: JUMPDEST 000014c9: DUP1 000014ca: SWAP2 000014cb: POP 000014cc: POP 000014cd: SWAP3 000014ce: SWAP6 000014cf: SWAP9 000014d0: SWAP2 000014d1: SWAP5 000014d2: SWAP8 000014d3: POP 000014d4: SWAP3 000014d5: SWAP6 000014d6: POP 000014d7: JUMP 000014d8: JUMPDEST 000014d9: PUSH1 0x00 000014db: DUP1 000014dc: PUSH1 0x00 000014de: DUP1 000014df: PUSH1 0x00 000014e1: DUP1 000014e2: PUSH1 0x80 000014e4: DUP8 000014e5: DUP10 000014e6: SUB 000014e7: SLT 000014e8: ISZERO 000014e9: PUSH2 0x14f1 000014ec: JUMPI 000014ed: PUSH1 0x00 000014ef: DUP1 000014f0: REVERT 000014f1: JUMPDEST 000014f2: DUP7 000014f3: CALLDATALOAD 000014f4: SWAP6 000014f5: POP 000014f6: PUSH1 0x20 000014f8: DUP8 000014f9: ADD 000014fa: CALLDATALOAD 000014fb: PUSH8 0xffffffffffffffff 00001504: DUP1 00001505: DUP3 00001506: GT 00001507: ISZERO 00001508: PUSH2 0x1510 0000150b: JUMPI 0000150c: PUSH1 0x00 0000150e: DUP1 0000150f: REVERT 00001510: JUMPDEST 00001511: PUSH2 0x151c 00001514: DUP11 00001515: DUP4 00001516: DUP12 00001517: ADD 00001518: PUSH2 0x13d0 0000151b: JUMP 0000151c: JUMPDEST 0000151d: SWAP1 0000151e: SWAP8 0000151f: POP 00001520: SWAP6 00001521: POP 00001522: PUSH1 0x40 00001524: DUP10 00001525: ADD 00001526: CALLDATALOAD 00001527: SWAP2 00001528: POP 00001529: DUP1 0000152a: DUP3 0000152b: GT 0000152c: ISZERO 0000152d: PUSH2 0x1535 00001530: JUMPI 00001531: PUSH1 0x00 00001533: DUP1 00001534: REVERT 00001535: JUMPDEST 00001536: POP 00001537: PUSH2 0x1542 0000153a: DUP10 0000153b: DUP3 0000153c: DUP11 0000153d: ADD 0000153e: PUSH2 0x13d0 00001541: JUMP 00001542: JUMPDEST 00001543: SWAP1 00001544: SWAP5 00001545: POP 00001546: SWAP3 00001547: POP 00001548: POP 00001549: PUSH1 0x60 0000154b: DUP8 0000154c: ADD 0000154d: CALLDATALOAD 0000154e: PUSH2 0x1556 00001551: DUP2 00001552: PUSH2 0x141c 00001555: JUMP 00001556: JUMPDEST 00001557: DUP1 00001558: SWAP2 00001559: POP 0000155a: POP 0000155b: SWAP3 0000155c: SWAP6 0000155d: POP 0000155e: SWAP3 0000155f: SWAP6 00001560: POP 00001561: SWAP3 00001562: SWAP6 00001563: JUMP 00001564: JUMPDEST 00001565: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001586: PUSH1 0x00 00001588: MSTORE 00001589: PUSH1 0x41 0000158b: PUSH1 0x04 0000158d: MSTORE 0000158e: PUSH1 0x24 00001590: PUSH1 0x00 00001592: REVERT 00001593: JUMPDEST 00001594: PUSH1 0x40 00001596: MLOAD 00001597: PUSH1 0x1f 00001599: DUP3 0000159a: ADD 0000159b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000015bc: AND 000015bd: DUP2 000015be: ADD 000015bf: PUSH8 0xffffffffffffffff 000015c8: DUP2 000015c9: GT 000015ca: DUP3 000015cb: DUP3 000015cc: LT 000015cd: OR 000015ce: ISZERO 000015cf: PUSH2 0x15da 000015d2: JUMPI 000015d3: PUSH2 0x15da 000015d6: PUSH2 0x1564 000015d9: JUMP 000015da: JUMPDEST 000015db: PUSH1 0x40 000015dd: MSTORE 000015de: SWAP2 000015df: SWAP1 000015e0: POP 000015e1: JUMP 000015e2: JUMPDEST 000015e3: PUSH1 0x00 000015e5: PUSH8 0xffffffffffffffff 000015ee: DUP3 000015ef: GT 000015f0: ISZERO 000015f1: PUSH2 0x15fc 000015f4: JUMPI 000015f5: PUSH2 0x15fc 000015f8: PUSH2 0x1564 000015fb: JUMP 000015fc: JUMPDEST 000015fd: POP 000015fe: PUSH1 0x05 00001600: SHL 00001601: PUSH1 0x20 00001603: ADD 00001604: SWAP1 00001605: JUMP 00001606: JUMPDEST 00001607: PUSH1 0x00 00001609: DUP3 0000160a: PUSH1 0x1f 0000160c: DUP4 0000160d: ADD 0000160e: SLT 0000160f: PUSH2 0x1617 00001612: JUMPI 00001613: PUSH1 0x00 00001615: DUP1 00001616: REVERT 00001617: JUMPDEST 00001618: DUP2 00001619: CALLDATALOAD 0000161a: PUSH1 0x20 0000161c: PUSH2 0x162c 0000161f: PUSH2 0x1627 00001622: DUP4 00001623: PUSH2 0x15e2 00001626: JUMP 00001627: JUMPDEST 00001628: PUSH2 0x1593 0000162b: JUMP 0000162c: JUMPDEST 0000162d: DUP3 0000162e: DUP2 0000162f: MSTORE 00001630: PUSH1 0x05 00001632: SWAP3 00001633: SWAP1 00001634: SWAP3 00001635: SHL 00001636: DUP5 00001637: ADD 00001638: DUP2 00001639: ADD 0000163a: SWAP2 0000163b: DUP2 0000163c: DUP2 0000163d: ADD 0000163e: SWAP1 0000163f: DUP7 00001640: DUP5 00001641: GT 00001642: ISZERO 00001643: PUSH2 0x164b 00001646: JUMPI 00001647: PUSH1 0x00 00001649: DUP1 0000164a: REVERT 0000164b: JUMPDEST 0000164c: DUP3 0000164d: DUP7 0000164e: ADD 0000164f: JUMPDEST 00001650: DUP5 00001651: DUP2 00001652: LT 00001653: ISZERO 00001654: PUSH2 0x166f 00001657: JUMPI 00001658: DUP1 00001659: CALLDATALOAD 0000165a: PUSH2 0x1662 0000165d: DUP2 0000165e: PUSH2 0x141c 00001661: JUMP 00001662: JUMPDEST 00001663: DUP4 00001664: MSTORE 00001665: SWAP2 00001666: DUP4 00001667: ADD 00001668: SWAP2 00001669: DUP4 0000166a: ADD 0000166b: PUSH2 0x164f 0000166e: JUMP 0000166f: JUMPDEST 00001670: POP 00001671: SWAP7 00001672: SWAP6 00001673: POP 00001674: POP 00001675: POP 00001676: POP 00001677: POP 00001678: POP 00001679: JUMP 0000167a: JUMPDEST 0000167b: PUSH1 0x00 0000167d: DUP1 0000167e: PUSH1 0x00 00001680: PUSH1 0x60 00001682: DUP5 00001683: DUP7 00001684: SUB 00001685: SLT 00001686: ISZERO 00001687: PUSH2 0x168f 0000168a: JUMPI 0000168b: PUSH1 0x00 0000168d: DUP1 0000168e: REVERT 0000168f: JUMPDEST 00001690: DUP4 00001691: CALLDATALOAD 00001692: SWAP3 00001693: POP 00001694: PUSH1 0x20 00001696: DUP1 00001697: DUP6 00001698: ADD 00001699: CALLDATALOAD 0000169a: PUSH8 0xffffffffffffffff 000016a3: DUP1 000016a4: DUP3 000016a5: GT 000016a6: ISZERO 000016a7: PUSH2 0x16af 000016aa: JUMPI 000016ab: PUSH1 0x00 000016ad: DUP1 000016ae: REVERT 000016af: JUMPDEST 000016b0: DUP2 000016b1: DUP8 000016b2: ADD 000016b3: SWAP2 000016b4: POP 000016b5: DUP8 000016b6: PUSH1 0x1f 000016b8: DUP4 000016b9: ADD 000016ba: SLT 000016bb: PUSH2 0x16c3 000016be: JUMPI 000016bf: PUSH1 0x00 000016c1: DUP1 000016c2: REVERT 000016c3: JUMPDEST 000016c4: DUP2 000016c5: CALLDATALOAD 000016c6: PUSH2 0x16d1 000016c9: PUSH2 0x1627 000016cc: DUP3 000016cd: PUSH2 0x15e2 000016d0: JUMP 000016d1: JUMPDEST 000016d2: DUP2 000016d3: DUP2 000016d4: MSTORE 000016d5: PUSH1 0x05 000016d7: SWAP2 000016d8: SWAP1 000016d9: SWAP2 000016da: SHL 000016db: DUP4 000016dc: ADD 000016dd: DUP5 000016de: ADD 000016df: SWAP1 000016e0: DUP5 000016e1: DUP2 000016e2: ADD 000016e3: SWAP1 000016e4: DUP11 000016e5: DUP4 000016e6: GT 000016e7: ISZERO 000016e8: PUSH2 0x16f0 000016eb: JUMPI 000016ec: PUSH1 0x00 000016ee: DUP1 000016ef: REVERT 000016f0: JUMPDEST 000016f1: SWAP4 000016f2: DUP6 000016f3: ADD 000016f4: SWAP4 000016f5: JUMPDEST 000016f6: DUP3 000016f7: DUP6 000016f8: LT 000016f9: ISZERO 000016fa: PUSH2 0x1717 000016fd: JUMPI 000016fe: DUP5 000016ff: CALLDATALOAD 00001700: PUSH2 0x1708 00001703: DUP2 00001704: PUSH2 0x141c 00001707: JUMP 00001708: JUMPDEST 00001709: DUP3 0000170a: MSTORE 0000170b: SWAP4 0000170c: DUP6 0000170d: ADD 0000170e: SWAP4 0000170f: SWAP1 00001710: DUP6 00001711: ADD 00001712: SWAP1 00001713: PUSH2 0x16f5 00001716: JUMP 00001717: JUMPDEST 00001718: SWAP7 00001719: POP 0000171a: POP 0000171b: POP 0000171c: PUSH1 0x40 0000171e: DUP8 0000171f: ADD 00001720: CALLDATALOAD 00001721: SWAP3 00001722: POP 00001723: DUP1 00001724: DUP4 00001725: GT 00001726: ISZERO 00001727: PUSH2 0x172f 0000172a: JUMPI 0000172b: PUSH1 0x00 0000172d: DUP1 0000172e: REVERT 0000172f: JUMPDEST 00001730: POP 00001731: POP 00001732: PUSH2 0x173d 00001735: DUP7 00001736: DUP3 00001737: DUP8 00001738: ADD 00001739: PUSH2 0x1606 0000173c: JUMP 0000173d: JUMPDEST 0000173e: SWAP2 0000173f: POP 00001740: POP 00001741: SWAP3 00001742: POP 00001743: SWAP3 00001744: POP 00001745: SWAP3 00001746: JUMP 00001747: JUMPDEST 00001748: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001769: PUSH1 0x00 0000176b: MSTORE 0000176c: PUSH1 0x11 0000176e: PUSH1 0x04 00001770: MSTORE 00001771: PUSH1 0x24 00001773: PUSH1 0x00 00001775: REVERT 00001776: JUMPDEST 00001777: DUP2 00001778: DUP2 00001779: SUB 0000177a: DUP2 0000177b: DUP2 0000177c: GT 0000177d: ISZERO 0000177e: PUSH2 0x1789 00001781: JUMPI 00001782: PUSH2 0x1789 00001785: PUSH2 0x1747 00001788: JUMP 00001789: JUMPDEST 0000178a: SWAP3 0000178b: SWAP2 0000178c: POP 0000178d: POP 0000178e: JUMP 0000178f: JUMPDEST 00001790: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000017b1: PUSH1 0x00 000017b3: MSTORE 000017b4: PUSH1 0x32 000017b6: PUSH1 0x04 000017b8: MSTORE 000017b9: PUSH1 0x24 000017bb: PUSH1 0x00 000017bd: REVERT 000017be: JUMPDEST 000017bf: PUSH1 0x00 000017c1: PUSH1 0x20 000017c3: DUP3 000017c4: DUP5 000017c5: SUB 000017c6: SLT 000017c7: ISZERO 000017c8: PUSH2 0x17d0 000017cb: JUMPI 000017cc: PUSH1 0x00 000017ce: DUP1 000017cf: REVERT 000017d0: JUMPDEST 000017d1: DUP2 000017d2: CALLDATALOAD 000017d3: PUSH2 0x17db 000017d6: DUP2 000017d7: PUSH2 0x141c 000017da: JUMP 000017db: JUMPDEST 000017dc: SWAP4 000017dd: SWAP3 000017de: POP 000017df: POP 000017e0: POP 000017e1: JUMP 000017e2: JUMPDEST 000017e3: PUSH1 0x00 000017e5: PUSH1 0x20 000017e7: DUP3 000017e8: DUP5 000017e9: SUB 000017ea: SLT 000017eb: ISZERO 000017ec: PUSH2 0x17f4 000017ef: JUMPI 000017f0: PUSH1 0x00 000017f2: DUP1 000017f3: REVERT 000017f4: JUMPDEST 000017f5: DUP2 000017f6: MLOAD 000017f7: PUSH2 0x17db 000017fa: DUP2 000017fb: PUSH2 0x141c 000017fe: JUMP 000017ff: JUMPDEST 00001800: DUP1 00001801: DUP3 00001802: ADD 00001803: DUP1 00001804: DUP3 00001805: GT 00001806: ISZERO 00001807: PUSH2 0x1789 0000180a: JUMPI 0000180b: PUSH2 0x1789 0000180e: PUSH2 0x1747 00001811: JUMP 00001812: JUMPDEST 00001813: PUSH1 0x00 00001815: PUSH1 0x20 00001817: DUP3 00001818: DUP5 00001819: SUB 0000181a: SLT 0000181b: ISZERO 0000181c: PUSH2 0x1824 0000181f: JUMPI 00001820: PUSH1 0x00 00001822: DUP1 00001823: REVERT 00001824: JUMPDEST 00001825: POP 00001826: MLOAD 00001827: SWAP2 00001828: SWAP1 00001829: POP 0000182a: JUMP 0000182b: JUMPDEST 0000182c: PUSH1 0x00 0000182e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000184f: DUP3 00001850: SUB 00001851: PUSH2 0x185c 00001854: JUMPI 00001855: PUSH2 0x185c 00001858: PUSH2 0x1747 0000185b: JUMP 0000185c: JUMPDEST 0000185d: POP 0000185e: PUSH1 0x01 00001860: ADD 00001861: SWAP1 00001862: JUMP 00001863: JUMPDEST 00001864: PUSH1 0x00 00001866: DUP2 00001867: PUSH2 0x1872 0000186a: JUMPI 0000186b: PUSH2 0x1872 0000186e: PUSH2 0x1747 00001871: JUMP 00001872: JUMPDEST 00001873: POP 00001874: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001895: ADD 00001896: SWAP1 00001897: JUMP 00001898: JUMPDEST 00001899: PUSH1 0x00 0000189b: DUP3 0000189c: MLOAD 0000189d: PUSH1 0x00 0000189f: JUMPDEST 000018a0: DUP2 000018a1: DUP2 000018a2: LT 000018a3: ISZERO 000018a4: PUSH2 0x18b9 000018a7: JUMPI 000018a8: PUSH1 0x20 000018aa: DUP2 000018ab: DUP7 000018ac: ADD 000018ad: DUP2 000018ae: ADD 000018af: MLOAD 000018b0: DUP6 000018b1: DUP4 000018b2: ADD 000018b3: MSTORE 000018b4: ADD 000018b5: PUSH2 0x189f 000018b8: JUMP 000018b9: JUMPDEST 000018ba: POP 000018bb: PUSH1 0x00 000018bd: SWAP3 000018be: ADD 000018bf: SWAP2 000018c0: DUP3 000018c1: MSTORE 000018c2: POP 000018c3: SWAP2 000018c4: SWAP1 000018c5: POP 000018c6: JUMP 000018c7: JUMPDEST 000018c8: PUSH1 0x00 000018ca: PUSH1 0x20 000018cc: DUP3 000018cd: DUP5 000018ce: SUB 000018cf: SLT 000018d0: ISZERO 000018d1: PUSH2 0x18d9 000018d4: JUMPI 000018d5: PUSH1 0x00 000018d7: DUP1 000018d8: REVERT 000018d9: JUMPDEST 000018da: DUP2 000018db: MLOAD 000018dc: DUP1 000018dd: ISZERO 000018de: ISZERO 000018df: DUP2 000018e0: EQ 000018e1: PUSH2 0x17db 000018e4: JUMPI 000018e5: PUSH1 0x00 000018e7: DUP1 000018e8: REVERT 000018e9: INVALID 000018ea: LOG2 000018eb: PUSH5 0x6970667358 000018f1: UNKNOWN(0x22) 000018f2: SLT 000018f3: KECCAK256 000018f4: UNKNOWN(0xFC) 000018f5: LOG3 000018f6: UNKNOWN(0xEE) 000018f7: UNKNOWN(0xB6) 000018f8: UNKNOWN(0xE7) 000018f9: PUSH22 0x3b7f893576ec381ed75d08898e2ea1ae23363b8c7f9e 00001910: UNKNOWN(0xEA) 00001911: UNKNOWN(0x25) 00001912: UNKNOWN(0xDD) 00001913: UNKNOWN(0x24) 00001914: PUSH5 0x736f6c6343 0000191a: STOP 0000191b: ADDMOD 0000191c: GT 0000191d: STOP 0000191e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4eb125c7de095afb1b2bbfd0c38316c7eef4c3f1831a1db4806124011f424a98
call_targets:
0x8967ba97f39334c9e6f8e34b8a3d7556306af568
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4eb125c7de095afb1b2bbfd0c38316c7eef4c3f1831a1db4806124011f424a98",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8967ba97f39334c9e6f8e34b8a3d7556306af568"
],
"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": "0x9e53aa58",
"selector": "0x9e53aa58",
"calldata_variants": [
"0x9e53aa58",
"0x9e53aa580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe871fdb3",
"selector": "0xe871fdb3",
"calldata_variants": [
"0xe871fdb3",
"0xe871fdb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21938f75",
"selector": "0x21938f75",
"calldata_variants": [
"0x21938f75",
"0x21938f750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3111c54f",
"selector": "0x3111c54f",
"calldata_variants": [
"0x3111c54f",
"0x3111c54f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cfd87ae",
"selector": "0x4cfd87ae",
"calldata_variants": [
"0x4cfd87ae",
"0x4cfd87ae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2583,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3582,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3674,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4eb125c7de095afb1b2bbfd0c38316c7eef4c3f1831a1db4806124011f424a98
call_targets:
0x8967ba97f39334c9e6f8e34b8a3d7556306af568
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4eb125c7de095afb1b2bbfd0c38316c7eef4c3f1831a1db4806124011f424a98",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8967ba97f39334c9e6f8e34b8a3d7556306af568"
],
"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": "0x9e53aa58",
"selector": "0x9e53aa58",
"calldata_variants": [
"0x9e53aa58",
"0x9e53aa580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe871fdb3",
"selector": "0xe871fdb3",
"calldata_variants": [
"0xe871fdb3",
"0xe871fdb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21938f75",
"selector": "0x21938f75",
"calldata_variants": [
"0x21938f75",
"0x21938f750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3111c54f",
"selector": "0x3111c54f",
"calldata_variants": [
"0x3111c54f",
"0x3111c54f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cfd87ae",
"selector": "0x4cfd87ae",
"calldata_variants": [
"0x4cfd87ae",
"0x4cfd87ae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2583,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3582,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3674,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|