019b477e-d2f0-7342-8d10-ad01f43c14a4
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 |
|---|---|---|---|---|
| 28049 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28050 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103041 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 103042 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 103043 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 103044 | 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 0x008a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9d888e86 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9d888e86 00000024: EQ 00000025: PUSH2 0x0127 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xad5c4648 0000002f: EQ 00000030: PUSH2 0x0152 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb29a8140 0000003a: EQ 0000003b: PUSH2 0x017d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbe9a6555 00000045: EQ 00000046: PUSH2 0x01a6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd3335553 00000050: EQ 00000051: PUSH2 0x01bd 00000054: JUMPI 00000055: PUSH2 0x0091 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x022fc88b 00000060: EQ 00000061: PUSH2 0x0093 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x1a4231bf 0000006b: EQ 0000006c: PUSH2 0x00bc 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x362a4109 00000076: EQ 00000077: PUSH2 0x00e5 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x735de9f7 00000081: EQ 00000082: PUSH2 0x00fc 00000085: JUMPI 00000086: PUSH2 0x0091 00000089: JUMP 0000008a: JUMPDEST 0000008b: CALLDATASIZE 0000008c: PUSH2 0x0091 0000008f: JUMPI 00000090: STOP 00000091: JUMPDEST 00000092: STOP 00000093: JUMPDEST 00000094: CALLVALUE 00000095: DUP1 00000096: ISZERO 00000097: PUSH2 0x009f 0000009a: JUMPI 0000009b: PUSH1 0x00 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: POP 000000a1: PUSH2 0x00ba 000000a4: PUSH1 0x04 000000a6: DUP1 000000a7: CALLDATASIZE 000000a8: SUB 000000a9: DUP2 000000aa: ADD 000000ab: SWAP1 000000ac: PUSH2 0x00b5 000000af: SWAP2 000000b0: SWAP1 000000b1: PUSH2 0x0ede 000000b4: JUMP 000000b5: JUMPDEST 000000b6: PUSH2 0x01e6 000000b9: JUMP 000000ba: JUMPDEST 000000bb: STOP 000000bc: JUMPDEST 000000bd: CALLVALUE 000000be: DUP1 000000bf: ISZERO 000000c0: PUSH2 0x00c8 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: POP 000000ca: PUSH2 0x00e3 000000cd: PUSH1 0x04 000000cf: DUP1 000000d0: CALLDATASIZE 000000d1: SUB 000000d2: DUP2 000000d3: ADD 000000d4: SWAP1 000000d5: PUSH2 0x00de 000000d8: SWAP2 000000d9: SWAP1 000000da: PUSH2 0x1303 000000dd: JUMP 000000de: JUMPDEST 000000df: PUSH2 0x030d 000000e2: JUMP 000000e3: JUMPDEST 000000e4: STOP 000000e5: JUMPDEST 000000e6: CALLVALUE 000000e7: DUP1 000000e8: ISZERO 000000e9: PUSH2 0x00f1 000000ec: JUMPI 000000ed: PUSH1 0x00 000000ef: DUP1 000000f0: REVERT 000000f1: JUMPDEST 000000f2: POP 000000f3: PUSH2 0x00fa 000000f6: PUSH2 0x044b 000000f9: JUMP 000000fa: JUMPDEST 000000fb: STOP 000000fc: JUMPDEST 000000fd: CALLVALUE 000000fe: DUP1 000000ff: ISZERO 00000100: PUSH2 0x0108 00000103: JUMPI 00000104: PUSH1 0x00 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: POP 0000010a: PUSH2 0x0111 0000010d: PUSH2 0x0508 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH1 0x40 00000114: MLOAD 00000115: PUSH2 0x011e 00000118: SWAP2 00000119: SWAP1 0000011a: PUSH2 0x135b 0000011d: JUMP 0000011e: JUMPDEST 0000011f: PUSH1 0x40 00000121: MLOAD 00000122: DUP1 00000123: SWAP2 00000124: SUB 00000125: SWAP1 00000126: RETURN 00000127: JUMPDEST 00000128: CALLVALUE 00000129: DUP1 0000012a: ISZERO 0000012b: PUSH2 0x0133 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: POP 00000135: PUSH2 0x013c 00000138: PUSH2 0x052e 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: PUSH2 0x0149 00000143: SWAP2 00000144: SWAP1 00000145: PUSH2 0x1385 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: DUP1 0000014e: SWAP2 0000014f: SUB 00000150: SWAP1 00000151: RETURN 00000152: JUMPDEST 00000153: CALLVALUE 00000154: DUP1 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: POP 00000160: PUSH2 0x0167 00000163: PUSH2 0x0534 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x40 0000016a: MLOAD 0000016b: PUSH2 0x0174 0000016e: SWAP2 0000016f: SWAP1 00000170: PUSH2 0x135b 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH1 0x40 00000177: MLOAD 00000178: DUP1 00000179: SWAP2 0000017a: SUB 0000017b: SWAP1 0000017c: RETURN 0000017d: JUMPDEST 0000017e: CALLVALUE 0000017f: DUP1 00000180: ISZERO 00000181: PUSH2 0x0189 00000184: JUMPI 00000185: PUSH1 0x00 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: POP 0000018b: PUSH2 0x01a4 0000018e: PUSH1 0x04 00000190: DUP1 00000191: CALLDATASIZE 00000192: SUB 00000193: DUP2 00000194: ADD 00000195: SWAP1 00000196: PUSH2 0x019f 00000199: SWAP2 0000019a: SWAP1 0000019b: PUSH2 0x0ede 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x055a 000001a3: JUMP 000001a4: JUMPDEST 000001a5: STOP 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: DUP1 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: PUSH2 0x01bb 000001b7: PUSH2 0x07ac 000001ba: JUMP 000001bb: JUMPDEST 000001bc: STOP 000001bd: JUMPDEST 000001be: CALLVALUE 000001bf: DUP1 000001c0: ISZERO 000001c1: PUSH2 0x01c9 000001c4: JUMPI 000001c5: PUSH1 0x00 000001c7: DUP1 000001c8: REVERT 000001c9: JUMPDEST 000001ca: POP 000001cb: PUSH2 0x01e4 000001ce: PUSH1 0x04 000001d0: DUP1 000001d1: CALLDATASIZE 000001d2: SUB 000001d3: DUP2 000001d4: ADD 000001d5: SWAP1 000001d6: PUSH2 0x01df 000001d9: SWAP2 000001da: SWAP1 000001db: PUSH2 0x13a0 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH2 0x0923 000001e3: JUMP 000001e4: JUMPDEST 000001e5: STOP 000001e6: JUMPDEST 000001e7: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 000001fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000211: AND 00000212: CALLER 00000213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000228: AND 00000229: EQ 0000022a: PUSH2 0x0268 0000022d: JUMPI 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x04 00000256: ADD 00000257: PUSH2 0x025f 0000025a: SWAP1 0000025b: PUSH2 0x142a 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH1 0x40 00000262: MLOAD 00000263: DUP1 00000264: SWAP2 00000265: SUB 00000266: SWAP1 00000267: REVERT 00000268: JUMPDEST 00000269: DUP2 0000026a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027f: AND 00000280: PUSH4 0x095ea7b3 00000285: PUSH1 0x02 00000287: PUSH1 0x00 00000289: SWAP1 0000028a: SLOAD 0000028b: SWAP1 0000028c: PUSH2 0x0100 0000028f: EXP 00000290: SWAP1 00000291: DIV 00000292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a7: AND 000002a8: DUP4 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: DUP4 000002ad: PUSH4 0xffffffff 000002b2: AND 000002b3: PUSH1 0xe0 000002b5: SHL 000002b6: DUP2 000002b7: MSTORE 000002b8: PUSH1 0x04 000002ba: ADD 000002bb: PUSH2 0x02c5 000002be: SWAP3 000002bf: SWAP2 000002c0: SWAP1 000002c1: PUSH2 0x144a 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH1 0x20 000002c8: PUSH1 0x40 000002ca: MLOAD 000002cb: DUP1 000002cc: DUP4 000002cd: SUB 000002ce: DUP2 000002cf: PUSH1 0x00 000002d1: DUP8 000002d2: GAS 000002d3: CALL 000002d4: ISZERO 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02e4 000002da: JUMPI 000002db: RETURNDATASIZE 000002dc: PUSH1 0x00 000002de: DUP1 000002df: RETURNDATACOPY 000002e0: RETURNDATASIZE 000002e1: PUSH1 0x00 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: PUSH1 0x40 000002eb: MLOAD 000002ec: RETURNDATASIZE 000002ed: PUSH1 0x1f 000002ef: NOT 000002f0: PUSH1 0x1f 000002f2: DUP3 000002f3: ADD 000002f4: AND 000002f5: DUP3 000002f6: ADD 000002f7: DUP1 000002f8: PUSH1 0x40 000002fa: MSTORE 000002fb: POP 000002fc: DUP2 000002fd: ADD 000002fe: SWAP1 000002ff: PUSH2 0x0308 00000302: SWAP2 00000303: SWAP1 00000304: PUSH2 0x14ab 00000307: JUMP 00000308: JUMPDEST 00000309: POP 0000030a: POP 0000030b: POP 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000338: AND 00000339: CALLER 0000033a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034f: AND 00000350: EQ 00000351: PUSH2 0x038f 00000354: JUMPI 00000355: PUSH1 0x40 00000357: MLOAD 00000358: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000379: DUP2 0000037a: MSTORE 0000037b: PUSH1 0x04 0000037d: ADD 0000037e: PUSH2 0x0386 00000381: SWAP1 00000382: PUSH2 0x142a 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH1 0x40 00000389: MLOAD 0000038a: DUP1 0000038b: SWAP2 0000038c: SUB 0000038d: SWAP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: PUSH1 0x00 00000392: JUMPDEST 00000393: DUP2 00000394: MLOAD 00000395: DUP2 00000396: LT 00000397: ISZERO 00000398: PUSH2 0x0447 0000039b: JUMPI 0000039c: PUSH1 0x01 0000039e: DUP3 0000039f: DUP3 000003a0: DUP2 000003a1: MLOAD 000003a2: DUP2 000003a3: LT 000003a4: PUSH2 0x03b0 000003a7: JUMPI 000003a8: PUSH2 0x03af 000003ab: PUSH2 0x14d8 000003ae: JUMP 000003af: JUMPDEST 000003b0: JUMPDEST 000003b1: PUSH1 0x20 000003b3: MUL 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: ADD 000003b8: MLOAD 000003b9: PUSH1 0x00 000003bb: ADD 000003bc: MLOAD 000003bd: SUB 000003be: PUSH2 0x03e9 000003c1: JUMPI 000003c2: PUSH2 0x03e4 000003c5: DUP3 000003c6: DUP3 000003c7: DUP2 000003c8: MLOAD 000003c9: DUP2 000003ca: LT 000003cb: PUSH2 0x03d7 000003ce: JUMPI 000003cf: PUSH2 0x03d6 000003d2: PUSH2 0x14d8 000003d5: JUMP 000003d6: JUMPDEST 000003d7: JUMPDEST 000003d8: PUSH1 0x20 000003da: MUL 000003db: PUSH1 0x20 000003dd: ADD 000003de: ADD 000003df: MLOAD 000003e0: PUSH2 0x0a88 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH2 0x0434 000003e8: JUMP 000003e9: JUMPDEST 000003ea: PUSH1 0x02 000003ec: DUP3 000003ed: DUP3 000003ee: DUP2 000003ef: MLOAD 000003f0: DUP2 000003f1: LT 000003f2: PUSH2 0x03fe 000003f5: JUMPI 000003f6: PUSH2 0x03fd 000003f9: PUSH2 0x14d8 000003fc: JUMP 000003fd: JUMPDEST 000003fe: JUMPDEST 000003ff: PUSH1 0x20 00000401: MUL 00000402: PUSH1 0x20 00000404: ADD 00000405: ADD 00000406: MLOAD 00000407: PUSH1 0x00 00000409: ADD 0000040a: MLOAD 0000040b: SUB 0000040c: PUSH2 0x0433 0000040f: JUMPI 00000410: PUSH2 0x0432 00000413: DUP3 00000414: DUP3 00000415: DUP2 00000416: MLOAD 00000417: DUP2 00000418: LT 00000419: PUSH2 0x0425 0000041c: JUMPI 0000041d: PUSH2 0x0424 00000420: PUSH2 0x14d8 00000423: JUMP 00000424: JUMPDEST 00000425: JUMPDEST 00000426: PUSH1 0x20 00000428: MUL 00000429: PUSH1 0x20 0000042b: ADD 0000042c: ADD 0000042d: MLOAD 0000042e: PUSH2 0x0bc7 00000431: JUMP 00000432: JUMPDEST 00000433: JUMPDEST 00000434: JUMPDEST 00000435: DUP1 00000436: DUP1 00000437: PUSH2 0x043f 0000043a: SWAP1 0000043b: PUSH2 0x1536 0000043e: JUMP 0000043f: JUMPDEST 00000440: SWAP2 00000441: POP 00000442: POP 00000443: PUSH2 0x0392 00000446: JUMP 00000447: JUMPDEST 00000448: POP 00000449: POP 0000044a: JUMP 0000044b: JUMPDEST 0000044c: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000476: AND 00000477: CALLER 00000478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048d: AND 0000048e: EQ 0000048f: PUSH2 0x04cd 00000492: JUMPI 00000493: PUSH1 0x40 00000495: MLOAD 00000496: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004b7: DUP2 000004b8: MSTORE 000004b9: PUSH1 0x04 000004bb: ADD 000004bc: PUSH2 0x04c4 000004bf: SWAP1 000004c0: PUSH2 0x142a 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x40 000004c7: MLOAD 000004c8: DUP1 000004c9: SWAP2 000004ca: SUB 000004cb: SWAP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: PUSH1 0x00 000004d0: PUSH1 0x01 000004d2: SWAP1 000004d3: SLOAD 000004d4: SWAP1 000004d5: PUSH2 0x0100 000004d8: EXP 000004d9: SWAP1 000004da: DIV 000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f0: AND 000004f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000506: AND 00000507: SELFDESTRUCT 00000508: JUMPDEST 00000509: PUSH1 0x02 0000050b: PUSH1 0x00 0000050d: SWAP1 0000050e: SLOAD 0000050f: SWAP1 00000510: PUSH2 0x0100 00000513: EXP 00000514: SWAP1 00000515: DIV 00000516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052b: AND 0000052c: DUP2 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH1 0x03 00000531: SLOAD 00000532: DUP2 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH1 0x01 00000537: PUSH1 0x00 00000539: SWAP1 0000053a: SLOAD 0000053b: SWAP1 0000053c: PUSH2 0x0100 0000053f: EXP 00000540: SWAP1 00000541: DIV 00000542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000557: AND 00000558: DUP2 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000585: AND 00000586: CALLER 00000587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059c: AND 0000059d: EQ 0000059e: PUSH2 0x05dc 000005a1: JUMPI 000005a2: PUSH1 0x40 000005a4: MLOAD 000005a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x04 000005ca: ADD 000005cb: PUSH2 0x05d3 000005ce: SWAP1 000005cf: PUSH2 0x142a 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH1 0x40 000005d6: MLOAD 000005d7: DUP1 000005d8: SWAP2 000005d9: SUB 000005da: SWAP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: PUSH1 0x00 000005df: DUP2 000005e0: SUB 000005e1: PUSH2 0x0706 000005e4: JUMPI 000005e5: DUP2 000005e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fb: AND 000005fc: PUSH4 0x70a08231 00000601: ADDRESS 00000602: PUSH1 0x40 00000604: MLOAD 00000605: DUP3 00000606: PUSH4 0xffffffff 0000060b: AND 0000060c: PUSH1 0xe0 0000060e: SHL 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x04 00000613: ADD 00000614: PUSH2 0x061d 00000617: SWAP2 00000618: SWAP1 00000619: PUSH2 0x135b 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x20 00000620: PUSH1 0x40 00000622: MLOAD 00000623: DUP1 00000624: DUP4 00000625: SUB 00000626: DUP2 00000627: DUP7 00000628: GAS 00000629: STATICCALL 0000062a: ISZERO 0000062b: DUP1 0000062c: ISZERO 0000062d: PUSH2 0x063a 00000630: JUMPI 00000631: RETURNDATASIZE 00000632: PUSH1 0x00 00000634: DUP1 00000635: RETURNDATACOPY 00000636: RETURNDATASIZE 00000637: PUSH1 0x00 00000639: REVERT 0000063a: JUMPDEST 0000063b: POP 0000063c: POP 0000063d: POP 0000063e: POP 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: RETURNDATASIZE 00000643: PUSH1 0x1f 00000645: NOT 00000646: PUSH1 0x1f 00000648: DUP3 00000649: ADD 0000064a: AND 0000064b: DUP3 0000064c: ADD 0000064d: DUP1 0000064e: PUSH1 0x40 00000650: MSTORE 00000651: POP 00000652: DUP2 00000653: ADD 00000654: SWAP1 00000655: PUSH2 0x065e 00000658: SWAP2 00000659: SWAP1 0000065a: PUSH2 0x1593 0000065d: JUMP 0000065e: JUMPDEST 0000065f: SWAP1 00000660: POP 00000661: DUP2 00000662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000677: AND 00000678: PUSH4 0xa9059cbb 0000067d: PUSH1 0x00 0000067f: PUSH1 0x01 00000681: SWAP1 00000682: SLOAD 00000683: SWAP1 00000684: PUSH2 0x0100 00000687: EXP 00000688: SWAP1 00000689: DIV 0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069f: AND 000006a0: DUP4 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: DUP4 000006a5: PUSH4 0xffffffff 000006aa: AND 000006ab: PUSH1 0xe0 000006ad: SHL 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x04 000006b2: ADD 000006b3: PUSH2 0x06bd 000006b6: SWAP3 000006b7: SWAP2 000006b8: SWAP1 000006b9: PUSH2 0x144a 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH1 0x20 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: DUP1 000006c4: DUP4 000006c5: SUB 000006c6: DUP2 000006c7: PUSH1 0x00 000006c9: DUP8 000006ca: GAS 000006cb: CALL 000006cc: ISZERO 000006cd: DUP1 000006ce: ISZERO 000006cf: PUSH2 0x06dc 000006d2: JUMPI 000006d3: RETURNDATASIZE 000006d4: PUSH1 0x00 000006d6: DUP1 000006d7: RETURNDATACOPY 000006d8: RETURNDATASIZE 000006d9: PUSH1 0x00 000006db: REVERT 000006dc: JUMPDEST 000006dd: POP 000006de: POP 000006df: POP 000006e0: POP 000006e1: PUSH1 0x40 000006e3: MLOAD 000006e4: RETURNDATASIZE 000006e5: PUSH1 0x1f 000006e7: NOT 000006e8: PUSH1 0x1f 000006ea: DUP3 000006eb: ADD 000006ec: AND 000006ed: DUP3 000006ee: ADD 000006ef: DUP1 000006f0: PUSH1 0x40 000006f2: MSTORE 000006f3: POP 000006f4: DUP2 000006f5: ADD 000006f6: SWAP1 000006f7: PUSH2 0x0700 000006fa: SWAP2 000006fb: SWAP1 000006fc: PUSH2 0x14ab 000006ff: JUMP 00000700: JUMPDEST 00000701: POP 00000702: PUSH2 0x07a8 00000705: JUMP 00000706: JUMPDEST 00000707: DUP2 00000708: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071d: AND 0000071e: PUSH4 0xa9059cbb 00000723: PUSH1 0x00 00000725: PUSH1 0x01 00000727: SWAP1 00000728: SLOAD 00000729: SWAP1 0000072a: PUSH2 0x0100 0000072d: EXP 0000072e: SWAP1 0000072f: DIV 00000730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000745: AND 00000746: DUP4 00000747: PUSH1 0x40 00000749: MLOAD 0000074a: DUP4 0000074b: PUSH4 0xffffffff 00000750: AND 00000751: PUSH1 0xe0 00000753: SHL 00000754: DUP2 00000755: MSTORE 00000756: PUSH1 0x04 00000758: ADD 00000759: PUSH2 0x0763 0000075c: SWAP3 0000075d: SWAP2 0000075e: SWAP1 0000075f: PUSH2 0x144a 00000762: JUMP 00000763: JUMPDEST 00000764: PUSH1 0x20 00000766: PUSH1 0x40 00000768: MLOAD 00000769: DUP1 0000076a: DUP4 0000076b: SUB 0000076c: DUP2 0000076d: PUSH1 0x00 0000076f: DUP8 00000770: GAS 00000771: CALL 00000772: ISZERO 00000773: DUP1 00000774: ISZERO 00000775: PUSH2 0x0782 00000778: JUMPI 00000779: RETURNDATASIZE 0000077a: PUSH1 0x00 0000077c: DUP1 0000077d: RETURNDATACOPY 0000077e: RETURNDATASIZE 0000077f: PUSH1 0x00 00000781: REVERT 00000782: JUMPDEST 00000783: POP 00000784: POP 00000785: POP 00000786: POP 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: RETURNDATASIZE 0000078b: PUSH1 0x1f 0000078d: NOT 0000078e: PUSH1 0x1f 00000790: DUP3 00000791: ADD 00000792: AND 00000793: DUP3 00000794: ADD 00000795: DUP1 00000796: PUSH1 0x40 00000798: MSTORE 00000799: POP 0000079a: DUP2 0000079b: ADD 0000079c: SWAP1 0000079d: PUSH2 0x07a6 000007a0: SWAP2 000007a1: SWAP1 000007a2: PUSH2 0x14ab 000007a5: JUMP 000007a6: JUMPDEST 000007a7: POP 000007a8: JUMPDEST 000007a9: POP 000007aa: POP 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH1 0x00 000007af: ISZERO 000007b0: ISZERO 000007b1: PUSH1 0x00 000007b3: DUP1 000007b4: SLOAD 000007b5: SWAP1 000007b6: PUSH2 0x0100 000007b9: EXP 000007ba: SWAP1 000007bb: DIV 000007bc: PUSH1 0xff 000007be: AND 000007bf: ISZERO 000007c0: ISZERO 000007c1: EQ 000007c2: PUSH2 0x0800 000007c5: JUMPI 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007ea: DUP2 000007eb: MSTORE 000007ec: PUSH1 0x04 000007ee: ADD 000007ef: PUSH2 0x07f7 000007f2: SWAP1 000007f3: PUSH2 0x160c 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: DUP1 000007fc: SWAP2 000007fd: SUB 000007fe: SWAP1 000007ff: REVERT 00000800: JUMPDEST 00000801: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000816: PUSH1 0x00 00000818: PUSH1 0x01 0000081a: PUSH2 0x0100 0000081d: EXP 0000081e: DUP2 0000081f: SLOAD 00000820: DUP2 00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000836: MUL 00000837: NOT 00000838: AND 00000839: SWAP1 0000083a: DUP4 0000083b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000850: AND 00000851: MUL 00000852: OR 00000853: SWAP1 00000854: SSTORE 00000855: POP 00000856: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000086b: PUSH1 0x01 0000086d: PUSH1 0x00 0000086f: PUSH2 0x0100 00000872: EXP 00000873: DUP2 00000874: SLOAD 00000875: DUP2 00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088b: MUL 0000088c: NOT 0000088d: AND 0000088e: SWAP1 0000088f: DUP4 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: MUL 000008a7: OR 000008a8: SWAP1 000008a9: SSTORE 000008aa: POP 000008ab: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 000008c0: PUSH1 0x02 000008c2: PUSH1 0x00 000008c4: PUSH2 0x0100 000008c7: EXP 000008c8: DUP2 000008c9: SLOAD 000008ca: DUP2 000008cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e0: MUL 000008e1: NOT 000008e2: AND 000008e3: SWAP1 000008e4: DUP4 000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fa: AND 000008fb: MUL 000008fc: OR 000008fd: SWAP1 000008fe: SSTORE 000008ff: POP 00000900: PUSH1 0x16 00000902: PUSH1 0x03 00000904: DUP2 00000905: SWAP1 00000906: SSTORE 00000907: POP 00000908: PUSH1 0x01 0000090a: PUSH1 0x00 0000090c: DUP1 0000090d: PUSH2 0x0100 00000910: EXP 00000911: DUP2 00000912: SLOAD 00000913: DUP2 00000914: PUSH1 0xff 00000916: MUL 00000917: NOT 00000918: AND 00000919: SWAP1 0000091a: DUP4 0000091b: ISZERO 0000091c: ISZERO 0000091d: MUL 0000091e: OR 0000091f: SWAP1 00000920: SSTORE 00000921: POP 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094e: AND 0000094f: CALLER 00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000965: AND 00000966: EQ 00000967: PUSH2 0x09a5 0000096a: JUMPI 0000096b: PUSH1 0x40 0000096d: MLOAD 0000096e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x04 00000993: ADD 00000994: PUSH2 0x099c 00000997: SWAP1 00000998: PUSH2 0x142a 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH1 0x40 0000099f: MLOAD 000009a0: DUP1 000009a1: SWAP2 000009a2: SUB 000009a3: SWAP1 000009a4: REVERT 000009a5: JUMPDEST 000009a6: PUSH1 0x00 000009a8: DUP2 000009a9: SUB 000009aa: PUSH2 0x0a1b 000009ad: JUMPI 000009ae: PUSH1 0x00 000009b0: PUSH1 0x01 000009b2: SWAP1 000009b3: SLOAD 000009b4: SWAP1 000009b5: PUSH2 0x0100 000009b8: EXP 000009b9: SWAP1 000009ba: DIV 000009bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d0: AND 000009d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e6: AND 000009e7: PUSH2 0x08fc 000009ea: SELFBALANCE 000009eb: SWAP1 000009ec: DUP2 000009ed: ISZERO 000009ee: MUL 000009ef: SWAP1 000009f0: PUSH1 0x40 000009f2: MLOAD 000009f3: PUSH1 0x00 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: DUP1 000009f9: DUP4 000009fa: SUB 000009fb: DUP2 000009fc: DUP6 000009fd: DUP9 000009fe: DUP9 000009ff: CALL 00000a00: SWAP4 00000a01: POP 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: ISZERO 00000a06: DUP1 00000a07: ISZERO 00000a08: PUSH2 0x0a15 00000a0b: JUMPI 00000a0c: RETURNDATASIZE 00000a0d: PUSH1 0x00 00000a0f: DUP1 00000a10: RETURNDATACOPY 00000a11: RETURNDATASIZE 00000a12: PUSH1 0x00 00000a14: REVERT 00000a15: JUMPDEST 00000a16: POP 00000a17: PUSH2 0x0a85 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x00 00000a1e: PUSH1 0x01 00000a20: SWAP1 00000a21: SLOAD 00000a22: SWAP1 00000a23: PUSH2 0x0100 00000a26: EXP 00000a27: SWAP1 00000a28: DIV 00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3e: AND 00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a54: AND 00000a55: PUSH2 0x08fc 00000a58: DUP3 00000a59: SWAP1 00000a5a: DUP2 00000a5b: ISZERO 00000a5c: MUL 00000a5d: SWAP1 00000a5e: PUSH1 0x40 00000a60: MLOAD 00000a61: PUSH1 0x00 00000a63: PUSH1 0x40 00000a65: MLOAD 00000a66: DUP1 00000a67: DUP4 00000a68: SUB 00000a69: DUP2 00000a6a: DUP6 00000a6b: DUP9 00000a6c: DUP9 00000a6d: CALL 00000a6e: SWAP4 00000a6f: POP 00000a70: POP 00000a71: POP 00000a72: POP 00000a73: ISZERO 00000a74: DUP1 00000a75: ISZERO 00000a76: PUSH2 0x0a83 00000a79: JUMPI 00000a7a: RETURNDATASIZE 00000a7b: PUSH1 0x00 00000a7d: DUP1 00000a7e: RETURNDATACOPY 00000a7f: RETURNDATASIZE 00000a80: PUSH1 0x00 00000a82: REVERT 00000a83: JUMPDEST 00000a84: POP 00000a85: JUMPDEST 00000a86: POP 00000a87: JUMP 00000a88: JUMPDEST 00000a89: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab3: AND 00000ab4: CALLER 00000ab5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aca: AND 00000acb: EQ 00000acc: PUSH2 0x0b0a 00000acf: JUMPI 00000ad0: PUSH1 0x40 00000ad2: MLOAD 00000ad3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000af4: DUP2 00000af5: MSTORE 00000af6: PUSH1 0x04 00000af8: ADD 00000af9: PUSH2 0x0b01 00000afc: SWAP1 00000afd: PUSH2 0x142a 00000b00: JUMP 00000b01: JUMPDEST 00000b02: PUSH1 0x40 00000b04: MLOAD 00000b05: DUP1 00000b06: SWAP2 00000b07: SUB 00000b08: SWAP1 00000b09: REVERT 00000b0a: JUMPDEST 00000b0b: PUSH1 0x00 00000b0d: DUP1 00000b0e: DUP3 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: MLOAD 00000b13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b28: AND 00000b29: DUP4 00000b2a: PUSH1 0xa0 00000b2c: ADD 00000b2d: MLOAD 00000b2e: GAS 00000b2f: SWAP1 00000b30: DUP6 00000b31: PUSH1 0x80 00000b33: ADD 00000b34: MLOAD 00000b35: PUSH1 0x40 00000b37: MLOAD 00000b38: PUSH2 0x0b41 00000b3b: SWAP2 00000b3c: SWAP1 00000b3d: PUSH2 0x169d 00000b40: JUMP 00000b41: JUMPDEST 00000b42: PUSH1 0x00 00000b44: PUSH1 0x40 00000b46: MLOAD 00000b47: DUP1 00000b48: DUP4 00000b49: SUB 00000b4a: DUP2 00000b4b: DUP6 00000b4c: DUP9 00000b4d: DUP9 00000b4e: CALL 00000b4f: SWAP4 00000b50: POP 00000b51: POP 00000b52: POP 00000b53: POP 00000b54: RETURNDATASIZE 00000b55: DUP1 00000b56: PUSH1 0x00 00000b58: DUP2 00000b59: EQ 00000b5a: PUSH2 0x0b7f 00000b5d: JUMPI 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: SWAP2 00000b62: POP 00000b63: PUSH1 0x1f 00000b65: NOT 00000b66: PUSH1 0x3f 00000b68: RETURNDATASIZE 00000b69: ADD 00000b6a: AND 00000b6b: DUP3 00000b6c: ADD 00000b6d: PUSH1 0x40 00000b6f: MSTORE 00000b70: RETURNDATASIZE 00000b71: DUP3 00000b72: MSTORE 00000b73: RETURNDATASIZE 00000b74: PUSH1 0x00 00000b76: PUSH1 0x20 00000b78: DUP5 00000b79: ADD 00000b7a: RETURNDATACOPY 00000b7b: PUSH2 0x0b84 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: PUSH1 0x60 00000b82: SWAP2 00000b83: POP 00000b84: JUMPDEST 00000b85: POP 00000b86: SWAP2 00000b87: POP 00000b88: SWAP2 00000b89: POP 00000b8a: PUSH32 0x13848c3e38f8886f3f5d2ad9dff80d8092c2bbb8efd5b887a99c2c6cfc09ac2a 00000bab: DUP3 00000bac: DUP3 00000bad: PUSH1 0x40 00000baf: MLOAD 00000bb0: PUSH2 0x0bba 00000bb3: SWAP3 00000bb4: SWAP2 00000bb5: SWAP1 00000bb6: PUSH2 0x170d 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x40 00000bbd: MLOAD 00000bbe: DUP1 00000bbf: SWAP2 00000bc0: SUB 00000bc1: SWAP1 00000bc2: LOG1 00000bc3: POP 00000bc4: POP 00000bc5: POP 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: PUSH20 0x6f82805abd947e0de1b87648e4bb39625f739c52 00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf2: AND 00000bf3: CALLER 00000bf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c09: AND 00000c0a: EQ 00000c0b: PUSH2 0x0c49 00000c0e: JUMPI 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c33: DUP2 00000c34: MSTORE 00000c35: PUSH1 0x04 00000c37: ADD 00000c38: PUSH2 0x0c40 00000c3b: SWAP1 00000c3c: PUSH2 0x142a 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH1 0x40 00000c43: MLOAD 00000c44: DUP1 00000c45: SWAP2 00000c46: SUB 00000c47: SWAP1 00000c48: REVERT 00000c49: JUMPDEST 00000c4a: PUSH1 0x00 00000c4c: DUP2 00000c4d: PUSH1 0xa0 00000c4f: ADD 00000c50: MLOAD 00000c51: SUB 00000c52: PUSH2 0x0cf8 00000c55: JUMPI 00000c56: DUP1 00000c57: PUSH1 0x40 00000c59: ADD 00000c5a: MLOAD 00000c5b: PUSH1 0x00 00000c5d: DUP2 00000c5e: MLOAD 00000c5f: DUP2 00000c60: LT 00000c61: PUSH2 0x0c6d 00000c64: JUMPI 00000c65: PUSH2 0x0c6c 00000c68: PUSH2 0x14d8 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: JUMPDEST 00000c6e: PUSH1 0x20 00000c70: MUL 00000c71: PUSH1 0x20 00000c73: ADD 00000c74: ADD 00000c75: MLOAD 00000c76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8b: AND 00000c8c: PUSH4 0x70a08231 00000c91: ADDRESS 00000c92: PUSH1 0x40 00000c94: MLOAD 00000c95: DUP3 00000c96: PUSH4 0xffffffff 00000c9b: AND 00000c9c: PUSH1 0xe0 00000c9e: SHL 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: PUSH1 0x04 00000ca3: ADD 00000ca4: PUSH2 0x0cad 00000ca7: SWAP2 00000ca8: SWAP1 00000ca9: PUSH2 0x135b 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x20 00000cb0: PUSH1 0x40 00000cb2: MLOAD 00000cb3: DUP1 00000cb4: DUP4 00000cb5: SUB 00000cb6: DUP2 00000cb7: DUP7 00000cb8: GAS 00000cb9: STATICCALL 00000cba: ISZERO 00000cbb: DUP1 00000cbc: ISZERO 00000cbd: PUSH2 0x0cca 00000cc0: JUMPI 00000cc1: RETURNDATASIZE 00000cc2: PUSH1 0x00 00000cc4: DUP1 00000cc5: RETURNDATACOPY 00000cc6: RETURNDATASIZE 00000cc7: PUSH1 0x00 00000cc9: REVERT 00000cca: JUMPDEST 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: POP 00000ccf: PUSH1 0x40 00000cd1: MLOAD 00000cd2: RETURNDATASIZE 00000cd3: PUSH1 0x1f 00000cd5: NOT 00000cd6: PUSH1 0x1f 00000cd8: DUP3 00000cd9: ADD 00000cda: AND 00000cdb: DUP3 00000cdc: ADD 00000cdd: DUP1 00000cde: PUSH1 0x40 00000ce0: MSTORE 00000ce1: POP 00000ce2: DUP2 00000ce3: ADD 00000ce4: SWAP1 00000ce5: PUSH2 0x0cee 00000ce8: SWAP2 00000ce9: SWAP1 00000cea: PUSH2 0x1593 00000ced: JUMP 00000cee: JUMPDEST 00000cef: DUP2 00000cf0: PUSH1 0xa0 00000cf2: ADD 00000cf3: DUP2 00000cf4: DUP2 00000cf5: MSTORE 00000cf6: POP 00000cf7: POP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: DUP2 00000cfc: PUSH1 0xa0 00000cfe: ADD 00000cff: MLOAD 00000d00: GT 00000d01: ISZERO 00000d02: PUSH2 0x0e33 00000d05: JUMPI 00000d06: DUP1 00000d07: PUSH1 0x40 00000d09: ADD 00000d0a: MLOAD 00000d0b: PUSH1 0x00 00000d0d: DUP2 00000d0e: MLOAD 00000d0f: DUP2 00000d10: LT 00000d11: PUSH2 0x0d1d 00000d14: JUMPI 00000d15: PUSH2 0x0d1c 00000d18: PUSH2 0x14d8 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: JUMPDEST 00000d1e: PUSH1 0x20 00000d20: MUL 00000d21: PUSH1 0x20 00000d23: ADD 00000d24: ADD 00000d25: MLOAD 00000d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3b: AND 00000d3c: PUSH4 0x095ea7b3 00000d41: DUP3 00000d42: PUSH1 0x20 00000d44: ADD 00000d45: MLOAD 00000d46: DUP4 00000d47: PUSH1 0xa0 00000d49: ADD 00000d4a: MLOAD 00000d4b: PUSH1 0x40 00000d4d: MLOAD 00000d4e: DUP4 00000d4f: PUSH4 0xffffffff 00000d54: AND 00000d55: PUSH1 0xe0 00000d57: SHL 00000d58: DUP2 00000d59: MSTORE 00000d5a: PUSH1 0x04 00000d5c: ADD 00000d5d: PUSH2 0x0d67 00000d60: SWAP3 00000d61: SWAP2 00000d62: SWAP1 00000d63: PUSH2 0x144a 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x20 00000d6a: PUSH1 0x40 00000d6c: MLOAD 00000d6d: DUP1 00000d6e: DUP4 00000d6f: SUB 00000d70: DUP2 00000d71: PUSH1 0x00 00000d73: DUP8 00000d74: GAS 00000d75: CALL 00000d76: ISZERO 00000d77: DUP1 00000d78: ISZERO 00000d79: PUSH2 0x0d86 00000d7c: JUMPI 00000d7d: RETURNDATASIZE 00000d7e: PUSH1 0x00 00000d80: DUP1 00000d81: RETURNDATACOPY 00000d82: RETURNDATASIZE 00000d83: PUSH1 0x00 00000d85: REVERT 00000d86: JUMPDEST 00000d87: POP 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: PUSH1 0x40 00000d8d: MLOAD 00000d8e: RETURNDATASIZE 00000d8f: PUSH1 0x1f 00000d91: NOT 00000d92: PUSH1 0x1f 00000d94: DUP3 00000d95: ADD 00000d96: AND 00000d97: DUP3 00000d98: ADD 00000d99: DUP1 00000d9a: PUSH1 0x40 00000d9c: MSTORE 00000d9d: POP 00000d9e: DUP2 00000d9f: ADD 00000da0: SWAP1 00000da1: PUSH2 0x0daa 00000da4: SWAP2 00000da5: SWAP1 00000da6: PUSH2 0x14ab 00000da9: JUMP 00000daa: JUMPDEST 00000dab: POP 00000dac: DUP1 00000dad: PUSH1 0x20 00000daf: ADD 00000db0: MLOAD 00000db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc6: AND 00000dc7: PUSH4 0x791ac947 00000dcc: DUP3 00000dcd: PUSH1 0xa0 00000dcf: ADD 00000dd0: MLOAD 00000dd1: DUP4 00000dd2: PUSH1 0xc0 00000dd4: ADD 00000dd5: MLOAD 00000dd6: DUP5 00000dd7: PUSH1 0x40 00000dd9: ADD 00000dda: MLOAD 00000ddb: ADDRESS 00000ddc: DUP7 00000ddd: PUSH1 0x60 00000ddf: ADD 00000de0: MLOAD 00000de1: PUSH1 0x40 00000de3: MLOAD 00000de4: DUP7 00000de5: PUSH4 0xffffffff 00000dea: AND 00000deb: PUSH1 0xe0 00000ded: SHL 00000dee: DUP2 00000def: MSTORE 00000df0: PUSH1 0x04 00000df2: ADD 00000df3: PUSH2 0x0e00 00000df6: SWAP6 00000df7: SWAP5 00000df8: SWAP4 00000df9: SWAP3 00000dfa: SWAP2 00000dfb: SWAP1 00000dfc: PUSH2 0x17fb 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH1 0x00 00000e03: PUSH1 0x40 00000e05: MLOAD 00000e06: DUP1 00000e07: DUP4 00000e08: SUB 00000e09: DUP2 00000e0a: PUSH1 0x00 00000e0c: DUP8 00000e0d: DUP1 00000e0e: EXTCODESIZE 00000e0f: ISZERO 00000e10: DUP1 00000e11: ISZERO 00000e12: PUSH2 0x0e1a 00000e15: JUMPI 00000e16: PUSH1 0x00 00000e18: DUP1 00000e19: REVERT 00000e1a: JUMPDEST 00000e1b: POP 00000e1c: GAS 00000e1d: CALL 00000e1e: ISZERO 00000e1f: DUP1 00000e20: ISZERO 00000e21: PUSH2 0x0e2e 00000e24: JUMPI 00000e25: RETURNDATASIZE 00000e26: PUSH1 0x00 00000e28: DUP1 00000e29: RETURNDATACOPY 00000e2a: RETURNDATASIZE 00000e2b: PUSH1 0x00 00000e2d: REVERT 00000e2e: JUMPDEST 00000e2f: POP 00000e30: POP 00000e31: POP 00000e32: POP 00000e33: JUMPDEST 00000e34: POP 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0x00 00000e39: PUSH1 0x40 00000e3b: MLOAD 00000e3c: SWAP1 00000e3d: POP 00000e3e: SWAP1 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: PUSH1 0x00 00000e43: DUP1 00000e44: REVERT 00000e45: JUMPDEST 00000e46: PUSH1 0x00 00000e48: DUP1 00000e49: REVERT 00000e4a: JUMPDEST 00000e4b: PUSH1 0x00 00000e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e62: DUP3 00000e63: AND 00000e64: SWAP1 00000e65: POP 00000e66: SWAP2 00000e67: SWAP1 00000e68: POP 00000e69: JUMP 00000e6a: JUMPDEST 00000e6b: PUSH1 0x00 00000e6d: PUSH2 0x0e75 00000e70: DUP3 00000e71: PUSH2 0x0e4a 00000e74: JUMP 00000e75: JUMPDEST 00000e76: SWAP1 00000e77: POP 00000e78: SWAP2 00000e79: SWAP1 00000e7a: POP 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: PUSH2 0x0e85 00000e80: DUP2 00000e81: PUSH2 0x0e6a 00000e84: JUMP 00000e85: JUMPDEST 00000e86: DUP2 00000e87: EQ 00000e88: PUSH2 0x0e90 00000e8b: JUMPI 00000e8c: PUSH1 0x00 00000e8e: DUP1 00000e8f: REVERT 00000e90: JUMPDEST 00000e91: POP 00000e92: JUMP 00000e93: JUMPDEST 00000e94: PUSH1 0x00 00000e96: DUP2 00000e97: CALLDATALOAD 00000e98: SWAP1 00000e99: POP 00000e9a: PUSH2 0x0ea2 00000e9d: DUP2 00000e9e: PUSH2 0x0e7c 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: SWAP3 00000ea4: SWAP2 00000ea5: POP 00000ea6: POP 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH1 0x00 00000eab: DUP2 00000eac: SWAP1 00000ead: POP 00000eae: SWAP2 00000eaf: SWAP1 00000eb0: POP 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH2 0x0ebb 00000eb6: DUP2 00000eb7: PUSH2 0x0ea8 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: DUP2 00000ebd: EQ 00000ebe: PUSH2 0x0ec6 00000ec1: JUMPI 00000ec2: PUSH1 0x00 00000ec4: DUP1 00000ec5: REVERT 00000ec6: JUMPDEST 00000ec7: POP 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x00 00000ecc: DUP2 00000ecd: CALLDATALOAD 00000ece: SWAP1 00000ecf: POP 00000ed0: PUSH2 0x0ed8 00000ed3: DUP2 00000ed4: PUSH2 0x0eb2 00000ed7: JUMP 00000ed8: JUMPDEST 00000ed9: SWAP3 00000eda: SWAP2 00000edb: POP 00000edc: POP 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH1 0x00 00000ee1: DUP1 00000ee2: PUSH1 0x40 00000ee4: DUP4 00000ee5: DUP6 00000ee6: SUB 00000ee7: SLT 00000ee8: ISZERO 00000ee9: PUSH2 0x0ef5 00000eec: JUMPI 00000eed: PUSH2 0x0ef4 00000ef0: PUSH2 0x0e40 00000ef3: JUMP 00000ef4: JUMPDEST 00000ef5: JUMPDEST 00000ef6: PUSH1 0x00 00000ef8: PUSH2 0x0f03 00000efb: DUP6 00000efc: DUP3 00000efd: DUP7 00000efe: ADD 00000eff: PUSH2 0x0e93 00000f02: JUMP 00000f03: JUMPDEST 00000f04: SWAP3 00000f05: POP 00000f06: POP 00000f07: PUSH1 0x20 00000f09: PUSH2 0x0f14 00000f0c: DUP6 00000f0d: DUP3 00000f0e: DUP7 00000f0f: ADD 00000f10: PUSH2 0x0ec9 00000f13: JUMP 00000f14: JUMPDEST 00000f15: SWAP2 00000f16: POP 00000f17: POP 00000f18: SWAP3 00000f19: POP 00000f1a: SWAP3 00000f1b: SWAP1 00000f1c: POP 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x00 00000f21: DUP1 00000f22: REVERT 00000f23: JUMPDEST 00000f24: PUSH1 0x00 00000f26: PUSH1 0x1f 00000f28: NOT 00000f29: PUSH1 0x1f 00000f2b: DUP4 00000f2c: ADD 00000f2d: AND 00000f2e: SWAP1 00000f2f: POP 00000f30: SWAP2 00000f31: SWAP1 00000f32: POP 00000f33: JUMP 00000f34: JUMPDEST 00000f35: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f56: PUSH1 0x00 00000f58: MSTORE 00000f59: PUSH1 0x41 00000f5b: PUSH1 0x04 00000f5d: MSTORE 00000f5e: PUSH1 0x24 00000f60: PUSH1 0x00 00000f62: REVERT 00000f63: JUMPDEST 00000f64: PUSH2 0x0f6c 00000f67: DUP3 00000f68: PUSH2 0x0f23 00000f6b: JUMP 00000f6c: JUMPDEST 00000f6d: DUP2 00000f6e: ADD 00000f6f: DUP2 00000f70: DUP2 00000f71: LT 00000f72: PUSH8 0xffffffffffffffff 00000f7b: DUP3 00000f7c: GT 00000f7d: OR 00000f7e: ISZERO 00000f7f: PUSH2 0x0f8b 00000f82: JUMPI 00000f83: PUSH2 0x0f8a 00000f86: PUSH2 0x0f34 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: JUMPDEST 00000f8c: DUP1 00000f8d: PUSH1 0x40 00000f8f: MSTORE 00000f90: POP 00000f91: POP 00000f92: POP 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x00 00000f97: PUSH2 0x0f9e 00000f9a: PUSH2 0x0e36 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: SWAP1 00000fa0: POP 00000fa1: PUSH2 0x0faa 00000fa4: DUP3 00000fa5: DUP3 00000fa6: PUSH2 0x0f63 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: SWAP2 00000fac: SWAP1 00000fad: POP 00000fae: JUMP 00000faf: JUMPDEST 00000fb0: PUSH1 0x00 00000fb2: PUSH8 0xffffffffffffffff 00000fbb: DUP3 00000fbc: GT 00000fbd: ISZERO 00000fbe: PUSH2 0x0fca 00000fc1: JUMPI 00000fc2: PUSH2 0x0fc9 00000fc5: PUSH2 0x0f34 00000fc8: JUMP 00000fc9: JUMPDEST 00000fca: JUMPDEST 00000fcb: PUSH1 0x20 00000fcd: DUP3 00000fce: MUL 00000fcf: SWAP1 00000fd0: POP 00000fd1: PUSH1 0x20 00000fd3: DUP2 00000fd4: ADD 00000fd5: SWAP1 00000fd6: POP 00000fd7: SWAP2 00000fd8: SWAP1 00000fd9: POP 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH1 0x00 00000fde: DUP1 00000fdf: REVERT 00000fe0: JUMPDEST 00000fe1: PUSH1 0x00 00000fe3: DUP1 00000fe4: REVERT 00000fe5: JUMPDEST 00000fe6: PUSH1 0x00 00000fe8: DUP1 00000fe9: REVERT 00000fea: JUMPDEST 00000feb: PUSH1 0x00 00000fed: PUSH8 0xffffffffffffffff 00000ff6: DUP3 00000ff7: GT 00000ff8: ISZERO 00000ff9: PUSH2 0x1005 00000ffc: JUMPI 00000ffd: PUSH2 0x1004 00001000: PUSH2 0x0f34 00001003: JUMP 00001004: JUMPDEST 00001005: JUMPDEST 00001006: PUSH1 0x20 00001008: DUP3 00001009: MUL 0000100a: SWAP1 0000100b: POP 0000100c: PUSH1 0x20 0000100e: DUP2 0000100f: ADD 00001010: SWAP1 00001011: POP 00001012: SWAP2 00001013: SWAP1 00001014: POP 00001015: JUMP 00001016: JUMPDEST 00001017: PUSH1 0x00 00001019: PUSH2 0x1029 0000101c: PUSH2 0x1024 0000101f: DUP5 00001020: PUSH2 0x0fea 00001023: JUMP 00001024: JUMPDEST 00001025: PUSH2 0x0f94 00001028: JUMP 00001029: JUMPDEST 0000102a: SWAP1 0000102b: POP 0000102c: DUP1 0000102d: DUP4 0000102e: DUP3 0000102f: MSTORE 00001030: PUSH1 0x20 00001032: DUP3 00001033: ADD 00001034: SWAP1 00001035: POP 00001036: PUSH1 0x20 00001038: DUP5 00001039: MUL 0000103a: DUP4 0000103b: ADD 0000103c: DUP6 0000103d: DUP2 0000103e: GT 0000103f: ISZERO 00001040: PUSH2 0x104c 00001043: JUMPI 00001044: PUSH2 0x104b 00001047: PUSH2 0x0fdb 0000104a: JUMP 0000104b: JUMPDEST 0000104c: JUMPDEST 0000104d: DUP4 0000104e: JUMPDEST 0000104f: DUP2 00001050: DUP2 00001051: LT 00001052: ISZERO 00001053: PUSH2 0x1075 00001056: JUMPI 00001057: DUP1 00001058: PUSH2 0x1061 0000105b: DUP9 0000105c: DUP3 0000105d: PUSH2 0x0e93 00001060: JUMP 00001061: JUMPDEST 00001062: DUP5 00001063: MSTORE 00001064: PUSH1 0x20 00001066: DUP5 00001067: ADD 00001068: SWAP4 00001069: POP 0000106a: POP 0000106b: PUSH1 0x20 0000106d: DUP2 0000106e: ADD 0000106f: SWAP1 00001070: POP 00001071: PUSH2 0x104e 00001074: JUMP 00001075: JUMPDEST 00001076: POP 00001077: POP 00001078: POP 00001079: SWAP4 0000107a: SWAP3 0000107b: POP 0000107c: POP 0000107d: POP 0000107e: JUMP 0000107f: JUMPDEST 00001080: PUSH1 0x00 00001082: DUP3 00001083: PUSH1 0x1f 00001085: DUP4 00001086: ADD 00001087: SLT 00001088: PUSH2 0x1094 0000108b: JUMPI 0000108c: PUSH2 0x1093 0000108f: PUSH2 0x0f1e 00001092: JUMP 00001093: JUMPDEST 00001094: JUMPDEST 00001095: DUP2 00001096: CALLDATALOAD 00001097: PUSH2 0x10a4 0000109a: DUP5 0000109b: DUP3 0000109c: PUSH1 0x20 0000109e: DUP7 0000109f: ADD 000010a0: PUSH2 0x1016 000010a3: JUMP 000010a4: JUMPDEST 000010a5: SWAP2 000010a6: POP 000010a7: POP 000010a8: SWAP3 000010a9: SWAP2 000010aa: POP 000010ab: POP 000010ac: JUMP 000010ad: JUMPDEST 000010ae: PUSH1 0x00 000010b0: DUP1 000010b1: REVERT 000010b2: JUMPDEST 000010b3: PUSH1 0x00 000010b5: PUSH8 0xffffffffffffffff 000010be: DUP3 000010bf: GT 000010c0: ISZERO 000010c1: PUSH2 0x10cd 000010c4: JUMPI 000010c5: PUSH2 0x10cc 000010c8: PUSH2 0x0f34 000010cb: JUMP 000010cc: JUMPDEST 000010cd: JUMPDEST 000010ce: PUSH2 0x10d6 000010d1: DUP3 000010d2: PUSH2 0x0f23 000010d5: JUMP 000010d6: JUMPDEST 000010d7: SWAP1 000010d8: POP 000010d9: PUSH1 0x20 000010db: DUP2 000010dc: ADD 000010dd: SWAP1 000010de: POP 000010df: SWAP2 000010e0: SWAP1 000010e1: POP 000010e2: JUMP 000010e3: JUMPDEST 000010e4: DUP3 000010e5: DUP2 000010e6: DUP4 000010e7: CALLDATACOPY 000010e8: PUSH1 0x00 000010ea: DUP4 000010eb: DUP4 000010ec: ADD 000010ed: MSTORE 000010ee: POP 000010ef: POP 000010f0: POP 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH1 0x00 000010f5: PUSH2 0x1105 000010f8: PUSH2 0x1100 000010fb: DUP5 000010fc: PUSH2 0x10b2 000010ff: JUMP 00001100: JUMPDEST 00001101: PUSH2 0x0f94 00001104: JUMP 00001105: JUMPDEST 00001106: SWAP1 00001107: POP 00001108: DUP3 00001109: DUP2 0000110a: MSTORE 0000110b: PUSH1 0x20 0000110d: DUP2 0000110e: ADD 0000110f: DUP5 00001110: DUP5 00001111: DUP5 00001112: ADD 00001113: GT 00001114: ISZERO 00001115: PUSH2 0x1121 00001118: JUMPI 00001119: PUSH2 0x1120 0000111c: PUSH2 0x10ad 0000111f: JUMP 00001120: JUMPDEST 00001121: JUMPDEST 00001122: PUSH2 0x112c 00001125: DUP5 00001126: DUP3 00001127: DUP6 00001128: PUSH2 0x10e3 0000112b: JUMP 0000112c: JUMPDEST 0000112d: POP 0000112e: SWAP4 0000112f: SWAP3 00001130: POP 00001131: POP 00001132: POP 00001133: JUMP 00001134: JUMPDEST 00001135: PUSH1 0x00 00001137: DUP3 00001138: PUSH1 0x1f 0000113a: DUP4 0000113b: ADD 0000113c: SLT 0000113d: PUSH2 0x1149 00001140: JUMPI 00001141: PUSH2 0x1148 00001144: PUSH2 0x0f1e 00001147: JUMP 00001148: JUMPDEST 00001149: JUMPDEST 0000114a: DUP2 0000114b: CALLDATALOAD 0000114c: PUSH2 0x1159 0000114f: DUP5 00001150: DUP3 00001151: PUSH1 0x20 00001153: DUP7 00001154: ADD 00001155: PUSH2 0x10f2 00001158: JUMP 00001159: JUMPDEST 0000115a: SWAP2 0000115b: POP 0000115c: POP 0000115d: SWAP3 0000115e: SWAP2 0000115f: POP 00001160: POP 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH1 0x00 00001165: PUSH1 0xe0 00001167: DUP3 00001168: DUP5 00001169: SUB 0000116a: SLT 0000116b: ISZERO 0000116c: PUSH2 0x1178 0000116f: JUMPI 00001170: PUSH2 0x1177 00001173: PUSH2 0x0fe0 00001176: JUMP 00001177: JUMPDEST 00001178: JUMPDEST 00001179: PUSH2 0x1182 0000117c: PUSH1 0xe0 0000117e: PUSH2 0x0f94 00001181: JUMP 00001182: JUMPDEST 00001183: SWAP1 00001184: POP 00001185: PUSH1 0x00 00001187: PUSH2 0x1192 0000118a: DUP5 0000118b: DUP3 0000118c: DUP6 0000118d: ADD 0000118e: PUSH2 0x0ec9 00001191: JUMP 00001192: JUMPDEST 00001193: PUSH1 0x00 00001195: DUP4 00001196: ADD 00001197: MSTORE 00001198: POP 00001199: PUSH1 0x20 0000119b: PUSH2 0x11a6 0000119e: DUP5 0000119f: DUP3 000011a0: DUP6 000011a1: ADD 000011a2: PUSH2 0x0e93 000011a5: JUMP 000011a6: JUMPDEST 000011a7: PUSH1 0x20 000011a9: DUP4 000011aa: ADD 000011ab: MSTORE 000011ac: POP 000011ad: PUSH1 0x40 000011af: DUP3 000011b0: ADD 000011b1: CALLDATALOAD 000011b2: PUSH8 0xffffffffffffffff 000011bb: DUP2 000011bc: GT 000011bd: ISZERO 000011be: PUSH2 0x11ca 000011c1: JUMPI 000011c2: PUSH2 0x11c9 000011c5: PUSH2 0x0fe5 000011c8: JUMP 000011c9: JUMPDEST 000011ca: JUMPDEST 000011cb: PUSH2 0x11d6 000011ce: DUP5 000011cf: DUP3 000011d0: DUP6 000011d1: ADD 000011d2: PUSH2 0x107f 000011d5: JUMP 000011d6: JUMPDEST 000011d7: PUSH1 0x40 000011d9: DUP4 000011da: ADD 000011db: MSTORE 000011dc: POP 000011dd: PUSH1 0x60 000011df: PUSH2 0x11ea 000011e2: DUP5 000011e3: DUP3 000011e4: DUP6 000011e5: ADD 000011e6: PUSH2 0x0ec9 000011e9: JUMP 000011ea: JUMPDEST 000011eb: PUSH1 0x60 000011ed: DUP4 000011ee: ADD 000011ef: MSTORE 000011f0: POP 000011f1: PUSH1 0x80 000011f3: DUP3 000011f4: ADD 000011f5: CALLDATALOAD 000011f6: PUSH8 0xffffffffffffffff 000011ff: DUP2 00001200: GT 00001201: ISZERO 00001202: PUSH2 0x120e 00001205: JUMPI 00001206: PUSH2 0x120d 00001209: PUSH2 0x0fe5 0000120c: JUMP 0000120d: JUMPDEST 0000120e: JUMPDEST 0000120f: PUSH2 0x121a 00001212: DUP5 00001213: DUP3 00001214: DUP6 00001215: ADD 00001216: PUSH2 0x1134 00001219: JUMP 0000121a: JUMPDEST 0000121b: PUSH1 0x80 0000121d: DUP4 0000121e: ADD 0000121f: MSTORE 00001220: POP 00001221: PUSH1 0xa0 00001223: PUSH2 0x122e 00001226: DUP5 00001227: DUP3 00001228: DUP6 00001229: ADD 0000122a: PUSH2 0x0ec9 0000122d: JUMP 0000122e: JUMPDEST 0000122f: PUSH1 0xa0 00001231: DUP4 00001232: ADD 00001233: MSTORE 00001234: POP 00001235: PUSH1 0xc0 00001237: PUSH2 0x1242 0000123a: DUP5 0000123b: DUP3 0000123c: DUP6 0000123d: ADD 0000123e: PUSH2 0x0ec9 00001241: JUMP 00001242: JUMPDEST 00001243: PUSH1 0xc0 00001245: DUP4 00001246: ADD 00001247: MSTORE 00001248: POP 00001249: SWAP3 0000124a: SWAP2 0000124b: POP 0000124c: POP 0000124d: JUMP 0000124e: JUMPDEST 0000124f: PUSH1 0x00 00001251: PUSH2 0x1261 00001254: PUSH2 0x125c 00001257: DUP5 00001258: PUSH2 0x0faf 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH2 0x0f94 00001260: JUMP 00001261: JUMPDEST 00001262: SWAP1 00001263: POP 00001264: DUP1 00001265: DUP4 00001266: DUP3 00001267: MSTORE 00001268: PUSH1 0x20 0000126a: DUP3 0000126b: ADD 0000126c: SWAP1 0000126d: POP 0000126e: PUSH1 0x20 00001270: DUP5 00001271: MUL 00001272: DUP4 00001273: ADD 00001274: DUP6 00001275: DUP2 00001276: GT 00001277: ISZERO 00001278: PUSH2 0x1284 0000127b: JUMPI 0000127c: PUSH2 0x1283 0000127f: PUSH2 0x0fdb 00001282: JUMP 00001283: JUMPDEST 00001284: JUMPDEST 00001285: DUP4 00001286: JUMPDEST 00001287: DUP2 00001288: DUP2 00001289: LT 0000128a: ISZERO 0000128b: PUSH2 0x12cb 0000128e: JUMPI 0000128f: DUP1 00001290: CALLDATALOAD 00001291: PUSH8 0xffffffffffffffff 0000129a: DUP2 0000129b: GT 0000129c: ISZERO 0000129d: PUSH2 0x12a9 000012a0: JUMPI 000012a1: PUSH2 0x12a8 000012a4: PUSH2 0x0f1e 000012a7: JUMP 000012a8: JUMPDEST 000012a9: JUMPDEST 000012aa: DUP1 000012ab: DUP7 000012ac: ADD 000012ad: PUSH2 0x12b6 000012b0: DUP10 000012b1: DUP3 000012b2: PUSH2 0x1162 000012b5: JUMP 000012b6: JUMPDEST 000012b7: DUP6 000012b8: MSTORE 000012b9: PUSH1 0x20 000012bb: DUP6 000012bc: ADD 000012bd: SWAP5 000012be: POP 000012bf: POP 000012c0: POP 000012c1: PUSH1 0x20 000012c3: DUP2 000012c4: ADD 000012c5: SWAP1 000012c6: POP 000012c7: PUSH2 0x1286 000012ca: JUMP 000012cb: JUMPDEST 000012cc: POP 000012cd: POP 000012ce: POP 000012cf: SWAP4 000012d0: SWAP3 000012d1: POP 000012d2: POP 000012d3: POP 000012d4: JUMP 000012d5: JUMPDEST 000012d6: PUSH1 0x00 000012d8: DUP3 000012d9: PUSH1 0x1f 000012db: DUP4 000012dc: ADD 000012dd: SLT 000012de: PUSH2 0x12ea 000012e1: JUMPI 000012e2: PUSH2 0x12e9 000012e5: PUSH2 0x0f1e 000012e8: JUMP 000012e9: JUMPDEST 000012ea: JUMPDEST 000012eb: DUP2 000012ec: CALLDATALOAD 000012ed: PUSH2 0x12fa 000012f0: DUP5 000012f1: DUP3 000012f2: PUSH1 0x20 000012f4: DUP7 000012f5: ADD 000012f6: PUSH2 0x124e 000012f9: JUMP 000012fa: JUMPDEST 000012fb: SWAP2 000012fc: POP 000012fd: POP 000012fe: SWAP3 000012ff: SWAP2 00001300: POP 00001301: POP 00001302: JUMP 00001303: JUMPDEST 00001304: PUSH1 0x00 00001306: PUSH1 0x20 00001308: DUP3 00001309: DUP5 0000130a: SUB 0000130b: SLT 0000130c: ISZERO 0000130d: PUSH2 0x1319 00001310: JUMPI 00001311: PUSH2 0x1318 00001314: PUSH2 0x0e40 00001317: JUMP 00001318: JUMPDEST 00001319: JUMPDEST 0000131a: PUSH1 0x00 0000131c: DUP3 0000131d: ADD 0000131e: CALLDATALOAD 0000131f: PUSH8 0xffffffffffffffff 00001328: DUP2 00001329: GT 0000132a: ISZERO 0000132b: PUSH2 0x1337 0000132e: JUMPI 0000132f: PUSH2 0x1336 00001332: PUSH2 0x0e45 00001335: JUMP 00001336: JUMPDEST 00001337: JUMPDEST 00001338: PUSH2 0x1343 0000133b: DUP5 0000133c: DUP3 0000133d: DUP6 0000133e: ADD 0000133f: PUSH2 0x12d5 00001342: JUMP 00001343: JUMPDEST 00001344: SWAP2 00001345: POP 00001346: POP 00001347: SWAP3 00001348: SWAP2 00001349: POP 0000134a: POP 0000134b: JUMP 0000134c: JUMPDEST 0000134d: PUSH2 0x1355 00001350: DUP2 00001351: PUSH2 0x0e6a 00001354: JUMP 00001355: JUMPDEST 00001356: DUP3 00001357: MSTORE 00001358: POP 00001359: POP 0000135a: JUMP 0000135b: JUMPDEST 0000135c: PUSH1 0x00 0000135e: PUSH1 0x20 00001360: DUP3 00001361: ADD 00001362: SWAP1 00001363: POP 00001364: PUSH2 0x1370 00001367: PUSH1 0x00 00001369: DUP4 0000136a: ADD 0000136b: DUP5 0000136c: PUSH2 0x134c 0000136f: JUMP 00001370: JUMPDEST 00001371: SWAP3 00001372: SWAP2 00001373: POP 00001374: POP 00001375: JUMP 00001376: JUMPDEST 00001377: PUSH2 0x137f 0000137a: DUP2 0000137b: PUSH2 0x0ea8 0000137e: JUMP 0000137f: JUMPDEST 00001380: DUP3 00001381: MSTORE 00001382: POP 00001383: POP 00001384: JUMP 00001385: JUMPDEST 00001386: PUSH1 0x00 00001388: PUSH1 0x20 0000138a: DUP3 0000138b: ADD 0000138c: SWAP1 0000138d: POP 0000138e: PUSH2 0x139a 00001391: PUSH1 0x00 00001393: DUP4 00001394: ADD 00001395: DUP5 00001396: PUSH2 0x1376 00001399: JUMP 0000139a: JUMPDEST 0000139b: SWAP3 0000139c: SWAP2 0000139d: POP 0000139e: POP 0000139f: JUMP 000013a0: JUMPDEST 000013a1: PUSH1 0x00 000013a3: PUSH1 0x20 000013a5: DUP3 000013a6: DUP5 000013a7: SUB 000013a8: SLT 000013a9: ISZERO 000013aa: PUSH2 0x13b6 000013ad: JUMPI 000013ae: PUSH2 0x13b5 000013b1: PUSH2 0x0e40 000013b4: JUMP 000013b5: JUMPDEST 000013b6: JUMPDEST 000013b7: PUSH1 0x00 000013b9: PUSH2 0x13c4 000013bc: DUP5 000013bd: DUP3 000013be: DUP6 000013bf: ADD 000013c0: PUSH2 0x0ec9 000013c3: JUMP 000013c4: JUMPDEST 000013c5: SWAP2 000013c6: POP 000013c7: POP 000013c8: SWAP3 000013c9: SWAP2 000013ca: POP 000013cb: POP 000013cc: JUMP 000013cd: JUMPDEST 000013ce: PUSH1 0x00 000013d0: DUP3 000013d1: DUP3 000013d2: MSTORE 000013d3: PUSH1 0x20 000013d5: DUP3 000013d6: ADD 000013d7: SWAP1 000013d8: POP 000013d9: SWAP3 000013da: SWAP2 000013db: POP 000013dc: POP 000013dd: JUMP 000013de: JUMPDEST 000013df: PUSH32 0x4e6f000000000000000000000000000000000000000000000000000000000000 00001400: PUSH1 0x00 00001402: DUP3 00001403: ADD 00001404: MSTORE 00001405: POP 00001406: JUMP 00001407: JUMPDEST 00001408: PUSH1 0x00 0000140a: PUSH2 0x1414 0000140d: PUSH1 0x02 0000140f: DUP4 00001410: PUSH2 0x13cd 00001413: JUMP 00001414: JUMPDEST 00001415: SWAP2 00001416: POP 00001417: PUSH2 0x141f 0000141a: DUP3 0000141b: PUSH2 0x13de 0000141e: JUMP 0000141f: JUMPDEST 00001420: PUSH1 0x20 00001422: DUP3 00001423: ADD 00001424: SWAP1 00001425: POP 00001426: SWAP2 00001427: SWAP1 00001428: POP 00001429: JUMP 0000142a: JUMPDEST 0000142b: PUSH1 0x00 0000142d: PUSH1 0x20 0000142f: DUP3 00001430: ADD 00001431: SWAP1 00001432: POP 00001433: DUP2 00001434: DUP2 00001435: SUB 00001436: PUSH1 0x00 00001438: DUP4 00001439: ADD 0000143a: MSTORE 0000143b: PUSH2 0x1443 0000143e: DUP2 0000143f: PUSH2 0x1407 00001442: JUMP 00001443: JUMPDEST 00001444: SWAP1 00001445: POP 00001446: SWAP2 00001447: SWAP1 00001448: POP 00001449: JUMP 0000144a: JUMPDEST 0000144b: PUSH1 0x00 0000144d: PUSH1 0x40 0000144f: DUP3 00001450: ADD 00001451: SWAP1 00001452: POP 00001453: PUSH2 0x145f 00001456: PUSH1 0x00 00001458: DUP4 00001459: ADD 0000145a: DUP6 0000145b: PUSH2 0x134c 0000145e: JUMP 0000145f: JUMPDEST 00001460: PUSH2 0x146c 00001463: PUSH1 0x20 00001465: DUP4 00001466: ADD 00001467: DUP5 00001468: PUSH2 0x1376 0000146b: JUMP 0000146c: JUMPDEST 0000146d: SWAP4 0000146e: SWAP3 0000146f: POP 00001470: POP 00001471: POP 00001472: JUMP 00001473: JUMPDEST 00001474: PUSH1 0x00 00001476: DUP2 00001477: ISZERO 00001478: ISZERO 00001479: SWAP1 0000147a: POP 0000147b: SWAP2 0000147c: SWAP1 0000147d: POP 0000147e: JUMP 0000147f: JUMPDEST 00001480: PUSH2 0x1488 00001483: DUP2 00001484: PUSH2 0x1473 00001487: JUMP 00001488: JUMPDEST 00001489: DUP2 0000148a: EQ 0000148b: PUSH2 0x1493 0000148e: JUMPI 0000148f: PUSH1 0x00 00001491: DUP1 00001492: REVERT 00001493: JUMPDEST 00001494: POP 00001495: JUMP 00001496: JUMPDEST 00001497: PUSH1 0x00 00001499: DUP2 0000149a: MLOAD 0000149b: SWAP1 0000149c: POP 0000149d: PUSH2 0x14a5 000014a0: DUP2 000014a1: PUSH2 0x147f 000014a4: JUMP 000014a5: JUMPDEST 000014a6: SWAP3 000014a7: SWAP2 000014a8: POP 000014a9: POP 000014aa: JUMP 000014ab: JUMPDEST 000014ac: PUSH1 0x00 000014ae: PUSH1 0x20 000014b0: DUP3 000014b1: DUP5 000014b2: SUB 000014b3: SLT 000014b4: ISZERO 000014b5: PUSH2 0x14c1 000014b8: JUMPI 000014b9: PUSH2 0x14c0 000014bc: PUSH2 0x0e40 000014bf: JUMP 000014c0: JUMPDEST 000014c1: JUMPDEST 000014c2: PUSH1 0x00 000014c4: PUSH2 0x14cf 000014c7: DUP5 000014c8: DUP3 000014c9: DUP6 000014ca: ADD 000014cb: PUSH2 0x1496 000014ce: JUMP 000014cf: JUMPDEST 000014d0: SWAP2 000014d1: POP 000014d2: POP 000014d3: SWAP3 000014d4: SWAP2 000014d5: POP 000014d6: POP 000014d7: JUMP 000014d8: JUMPDEST 000014d9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000014fa: PUSH1 0x00 000014fc: MSTORE 000014fd: PUSH1 0x32 000014ff: PUSH1 0x04 00001501: MSTORE 00001502: PUSH1 0x24 00001504: PUSH1 0x00 00001506: REVERT 00001507: JUMPDEST 00001508: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001529: PUSH1 0x00 0000152b: MSTORE 0000152c: PUSH1 0x11 0000152e: PUSH1 0x04 00001530: MSTORE 00001531: PUSH1 0x24 00001533: PUSH1 0x00 00001535: REVERT 00001536: JUMPDEST 00001537: PUSH1 0x00 00001539: PUSH2 0x1541 0000153c: DUP3 0000153d: PUSH2 0x0ea8 00001540: JUMP 00001541: JUMPDEST 00001542: SWAP2 00001543: POP 00001544: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001565: DUP3 00001566: SUB 00001567: PUSH2 0x1573 0000156a: JUMPI 0000156b: PUSH2 0x1572 0000156e: PUSH2 0x1507 00001571: JUMP 00001572: JUMPDEST 00001573: JUMPDEST 00001574: PUSH1 0x01 00001576: DUP3 00001577: ADD 00001578: SWAP1 00001579: POP 0000157a: SWAP2 0000157b: SWAP1 0000157c: POP 0000157d: JUMP 0000157e: JUMPDEST 0000157f: PUSH1 0x00 00001581: DUP2 00001582: MLOAD 00001583: SWAP1 00001584: POP 00001585: PUSH2 0x158d 00001588: DUP2 00001589: PUSH2 0x0eb2 0000158c: JUMP 0000158d: JUMPDEST 0000158e: SWAP3 0000158f: SWAP2 00001590: POP 00001591: POP 00001592: JUMP 00001593: JUMPDEST 00001594: PUSH1 0x00 00001596: PUSH1 0x20 00001598: DUP3 00001599: DUP5 0000159a: SUB 0000159b: SLT 0000159c: ISZERO 0000159d: PUSH2 0x15a9 000015a0: JUMPI 000015a1: PUSH2 0x15a8 000015a4: PUSH2 0x0e40 000015a7: JUMP 000015a8: JUMPDEST 000015a9: JUMPDEST 000015aa: PUSH1 0x00 000015ac: PUSH2 0x15b7 000015af: DUP5 000015b0: DUP3 000015b1: DUP6 000015b2: ADD 000015b3: PUSH2 0x157e 000015b6: JUMP 000015b7: JUMPDEST 000015b8: SWAP2 000015b9: POP 000015ba: POP 000015bb: SWAP3 000015bc: SWAP2 000015bd: POP 000015be: POP 000015bf: JUMP 000015c0: JUMPDEST 000015c1: PUSH32 0x416c726561647920737461727465640000000000000000000000000000000000 000015e2: PUSH1 0x00 000015e4: DUP3 000015e5: ADD 000015e6: MSTORE 000015e7: POP 000015e8: JUMP 000015e9: JUMPDEST 000015ea: PUSH1 0x00 000015ec: PUSH2 0x15f6 000015ef: PUSH1 0x0f 000015f1: DUP4 000015f2: PUSH2 0x13cd 000015f5: JUMP 000015f6: JUMPDEST 000015f7: SWAP2 000015f8: POP 000015f9: PUSH2 0x1601 000015fc: DUP3 000015fd: PUSH2 0x15c0 00001600: JUMP 00001601: JUMPDEST 00001602: PUSH1 0x20 00001604: DUP3 00001605: ADD 00001606: SWAP1 00001607: POP 00001608: SWAP2 00001609: SWAP1 0000160a: POP 0000160b: JUMP 0000160c: JUMPDEST 0000160d: PUSH1 0x00 0000160f: PUSH1 0x20 00001611: DUP3 00001612: ADD 00001613: SWAP1 00001614: POP 00001615: DUP2 00001616: DUP2 00001617: SUB 00001618: PUSH1 0x00 0000161a: DUP4 0000161b: ADD 0000161c: MSTORE 0000161d: PUSH2 0x1625 00001620: DUP2 00001621: PUSH2 0x15e9 00001624: JUMP 00001625: JUMPDEST 00001626: SWAP1 00001627: POP 00001628: SWAP2 00001629: SWAP1 0000162a: POP 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH1 0x00 0000162f: DUP2 00001630: MLOAD 00001631: SWAP1 00001632: POP 00001633: SWAP2 00001634: SWAP1 00001635: POP 00001636: JUMP 00001637: JUMPDEST 00001638: PUSH1 0x00 0000163a: DUP2 0000163b: SWAP1 0000163c: POP 0000163d: SWAP3 0000163e: SWAP2 0000163f: POP 00001640: POP 00001641: JUMP 00001642: JUMPDEST 00001643: PUSH1 0x00 00001645: JUMPDEST 00001646: DUP4 00001647: DUP2 00001648: LT 00001649: ISZERO 0000164a: PUSH2 0x1660 0000164d: JUMPI 0000164e: DUP1 0000164f: DUP3 00001650: ADD 00001651: MLOAD 00001652: DUP2 00001653: DUP5 00001654: ADD 00001655: MSTORE 00001656: PUSH1 0x20 00001658: DUP2 00001659: ADD 0000165a: SWAP1 0000165b: POP 0000165c: PUSH2 0x1645 0000165f: JUMP 00001660: JUMPDEST 00001661: PUSH1 0x00 00001663: DUP5 00001664: DUP5 00001665: ADD 00001666: MSTORE 00001667: POP 00001668: POP 00001669: POP 0000166a: POP 0000166b: JUMP 0000166c: JUMPDEST 0000166d: PUSH1 0x00 0000166f: PUSH2 0x1677 00001672: DUP3 00001673: PUSH2 0x162c 00001676: JUMP 00001677: JUMPDEST 00001678: PUSH2 0x1681 0000167b: DUP2 0000167c: DUP6 0000167d: PUSH2 0x1637 00001680: JUMP 00001681: JUMPDEST 00001682: SWAP4 00001683: POP 00001684: PUSH2 0x1691 00001687: DUP2 00001688: DUP6 00001689: PUSH1 0x20 0000168b: DUP7 0000168c: ADD 0000168d: PUSH2 0x1642 00001690: JUMP 00001691: JUMPDEST 00001692: DUP1 00001693: DUP5 00001694: ADD 00001695: SWAP2 00001696: POP 00001697: POP 00001698: SWAP3 00001699: SWAP2 0000169a: POP 0000169b: POP 0000169c: JUMP 0000169d: JUMPDEST 0000169e: PUSH1 0x00 000016a0: PUSH2 0x16a9 000016a3: DUP3 000016a4: DUP5 000016a5: PUSH2 0x166c 000016a8: JUMP 000016a9: JUMPDEST 000016aa: SWAP2 000016ab: POP 000016ac: DUP2 000016ad: SWAP1 000016ae: POP 000016af: SWAP3 000016b0: SWAP2 000016b1: POP 000016b2: POP 000016b3: JUMP 000016b4: JUMPDEST 000016b5: PUSH2 0x16bd 000016b8: DUP2 000016b9: PUSH2 0x1473 000016bc: JUMP 000016bd: JUMPDEST 000016be: DUP3 000016bf: MSTORE 000016c0: POP 000016c1: POP 000016c2: JUMP 000016c3: JUMPDEST 000016c4: PUSH1 0x00 000016c6: DUP3 000016c7: DUP3 000016c8: MSTORE 000016c9: PUSH1 0x20 000016cb: DUP3 000016cc: ADD 000016cd: SWAP1 000016ce: POP 000016cf: SWAP3 000016d0: SWAP2 000016d1: POP 000016d2: POP 000016d3: JUMP 000016d4: JUMPDEST 000016d5: PUSH1 0x00 000016d7: PUSH2 0x16df 000016da: DUP3 000016db: PUSH2 0x162c 000016de: JUMP 000016df: JUMPDEST 000016e0: PUSH2 0x16e9 000016e3: DUP2 000016e4: DUP6 000016e5: PUSH2 0x16c3 000016e8: JUMP 000016e9: JUMPDEST 000016ea: SWAP4 000016eb: POP 000016ec: PUSH2 0x16f9 000016ef: DUP2 000016f0: DUP6 000016f1: PUSH1 0x20 000016f3: DUP7 000016f4: ADD 000016f5: PUSH2 0x1642 000016f8: JUMP 000016f9: JUMPDEST 000016fa: PUSH2 0x1702 000016fd: DUP2 000016fe: PUSH2 0x0f23 00001701: JUMP 00001702: JUMPDEST 00001703: DUP5 00001704: ADD 00001705: SWAP2 00001706: POP 00001707: POP 00001708: SWAP3 00001709: SWAP2 0000170a: POP 0000170b: POP 0000170c: JUMP 0000170d: JUMPDEST 0000170e: PUSH1 0x00 00001710: PUSH1 0x40 00001712: DUP3 00001713: ADD 00001714: SWAP1 00001715: POP 00001716: PUSH2 0x1722 00001719: PUSH1 0x00 0000171b: DUP4 0000171c: ADD 0000171d: DUP6 0000171e: PUSH2 0x16b4 00001721: JUMP 00001722: JUMPDEST 00001723: DUP2 00001724: DUP2 00001725: SUB 00001726: PUSH1 0x20 00001728: DUP4 00001729: ADD 0000172a: MSTORE 0000172b: PUSH2 0x1734 0000172e: DUP2 0000172f: DUP5 00001730: PUSH2 0x16d4 00001733: JUMP 00001734: JUMPDEST 00001735: SWAP1 00001736: POP 00001737: SWAP4 00001738: SWAP3 00001739: POP 0000173a: POP 0000173b: POP 0000173c: JUMP 0000173d: JUMPDEST 0000173e: PUSH1 0x00 00001740: DUP2 00001741: MLOAD 00001742: SWAP1 00001743: POP 00001744: SWAP2 00001745: SWAP1 00001746: POP 00001747: JUMP 00001748: JUMPDEST 00001749: PUSH1 0x00 0000174b: DUP3 0000174c: DUP3 0000174d: MSTORE 0000174e: PUSH1 0x20 00001750: DUP3 00001751: ADD 00001752: SWAP1 00001753: POP 00001754: SWAP3 00001755: SWAP2 00001756: POP 00001757: POP 00001758: JUMP 00001759: JUMPDEST 0000175a: PUSH1 0x00 0000175c: DUP2 0000175d: SWAP1 0000175e: POP 0000175f: PUSH1 0x20 00001761: DUP3 00001762: ADD 00001763: SWAP1 00001764: POP 00001765: SWAP2 00001766: SWAP1 00001767: POP 00001768: JUMP 00001769: JUMPDEST 0000176a: PUSH2 0x1772 0000176d: DUP2 0000176e: PUSH2 0x0e6a 00001771: JUMP 00001772: JUMPDEST 00001773: DUP3 00001774: MSTORE 00001775: POP 00001776: POP 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH1 0x00 0000177b: PUSH2 0x1784 0000177e: DUP4 0000177f: DUP4 00001780: PUSH2 0x1769 00001783: JUMP 00001784: JUMPDEST 00001785: PUSH1 0x20 00001787: DUP4 00001788: ADD 00001789: SWAP1 0000178a: POP 0000178b: SWAP3 0000178c: SWAP2 0000178d: POP 0000178e: POP 0000178f: JUMP 00001790: JUMPDEST 00001791: PUSH1 0x00 00001793: PUSH1 0x20 00001795: DUP3 00001796: ADD 00001797: SWAP1 00001798: POP 00001799: SWAP2 0000179a: SWAP1 0000179b: POP 0000179c: JUMP 0000179d: JUMPDEST 0000179e: PUSH1 0x00 000017a0: PUSH2 0x17a8 000017a3: DUP3 000017a4: PUSH2 0x173d 000017a7: JUMP 000017a8: JUMPDEST 000017a9: PUSH2 0x17b2 000017ac: DUP2 000017ad: DUP6 000017ae: PUSH2 0x1748 000017b1: JUMP 000017b2: JUMPDEST 000017b3: SWAP4 000017b4: POP 000017b5: PUSH2 0x17bd 000017b8: DUP4 000017b9: PUSH2 0x1759 000017bc: JUMP 000017bd: JUMPDEST 000017be: DUP1 000017bf: PUSH1 0x00 000017c1: JUMPDEST 000017c2: DUP4 000017c3: DUP2 000017c4: LT 000017c5: ISZERO 000017c6: PUSH2 0x17ee 000017c9: JUMPI 000017ca: DUP2 000017cb: MLOAD 000017cc: PUSH2 0x17d5 000017cf: DUP9 000017d0: DUP3 000017d1: PUSH2 0x1778 000017d4: JUMP 000017d5: JUMPDEST 000017d6: SWAP8 000017d7: POP 000017d8: PUSH2 0x17e0 000017db: DUP4 000017dc: PUSH2 0x1790 000017df: JUMP 000017e0: JUMPDEST 000017e1: SWAP3 000017e2: POP 000017e3: POP 000017e4: PUSH1 0x01 000017e6: DUP2 000017e7: ADD 000017e8: SWAP1 000017e9: POP 000017ea: PUSH2 0x17c1 000017ed: JUMP 000017ee: JUMPDEST 000017ef: POP 000017f0: DUP6 000017f1: SWAP4 000017f2: POP 000017f3: POP 000017f4: POP 000017f5: POP 000017f6: SWAP3 000017f7: SWAP2 000017f8: POP 000017f9: POP 000017fa: JUMP 000017fb: JUMPDEST 000017fc: PUSH1 0x00 000017fe: PUSH1 0xa0 00001800: DUP3 00001801: ADD 00001802: SWAP1 00001803: POP 00001804: PUSH2 0x1810 00001807: PUSH1 0x00 00001809: DUP4 0000180a: ADD 0000180b: DUP9 0000180c: PUSH2 0x1376 0000180f: JUMP 00001810: JUMPDEST 00001811: PUSH2 0x181d 00001814: PUSH1 0x20 00001816: DUP4 00001817: ADD 00001818: DUP8 00001819: PUSH2 0x1376 0000181c: JUMP 0000181d: JUMPDEST 0000181e: DUP2 0000181f: DUP2 00001820: SUB 00001821: PUSH1 0x40 00001823: DUP4 00001824: ADD 00001825: MSTORE 00001826: PUSH2 0x182f 00001829: DUP2 0000182a: DUP7 0000182b: PUSH2 0x179d 0000182e: JUMP 0000182f: JUMPDEST 00001830: SWAP1 00001831: POP 00001832: PUSH2 0x183e 00001835: PUSH1 0x60 00001837: DUP4 00001838: ADD 00001839: DUP6 0000183a: PUSH2 0x134c 0000183d: JUMP 0000183e: JUMPDEST 0000183f: PUSH2 0x184b 00001842: PUSH1 0x80 00001844: DUP4 00001845: ADD 00001846: DUP5 00001847: PUSH2 0x1376 0000184a: JUMP 0000184b: JUMPDEST 0000184c: SWAP7 0000184d: SWAP6 0000184e: POP 0000184f: POP 00001850: POP 00001851: POP 00001852: POP 00001853: POP 00001854: JUMP 00001855: INVALID 00001856: LOG2 00001857: PUSH5 0x6970667358 0000185d: UNKNOWN(0x22) 0000185e: SLT 0000185f: KECCAK256 00001860: UNKNOWN(0x2A) 00001861: MUL 00001862: JUMP 00001863: AND 00001864: UNKNOWN(0x0D) 00001865: SWAP3 00001866: EXTCODEHASH 00001867: INVALID 00001868: KECCAK256 00001869: PC 0000186a: UNKNOWN(0xBE) 0000186b: SELFDESTRUCT 0000186c: UNKNOWN(0xD4) 0000186d: RETURN 0000186e: MOD 0000186f: UNKNOWN(0xCE) 00001870: UNKNOWN(0xD2) 00001871: UNKNOWN(0xC3) 00001872: UNKNOWN(0xE1) 00001873: UNKNOWN(0x0D) 00001874: EXTCODEHASH 00001875: UNKNOWN(0xD5) 00001876: EXTCODEHASH 00001877: UNKNOWN(0xA8) 00001878: UNKNOWN(0xCA) 00001879: PUSH13 0x57779674735764736f6c634300 00001887: ADDMOD 00001888: GT 00001889: STOP 0000188a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf05a75f882b084447673155311ae846279dafbe51c7add81ed0cf7c137bd4507
call_targets:
0x86de0974146a0b534c362d2810c810d08046826a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf05a75f882b084447673155311ae846279dafbe51c7add81ed0cf7c137bd4507",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x86de0974146a0b534c362d2810c810d08046826a"
],
"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": "0x9d888e86",
"selector": "0x9d888e86",
"calldata_variants": [
"0x9d888e86",
"0x9d888e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb29a8140",
"selector": "0xb29a8140",
"calldata_variants": [
"0xb29a8140",
"0xb29a81400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x022fc88b",
"selector": "0x022fc88b",
"calldata_variants": [
"0x022fc88b",
"0x022fc88b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a4231bf",
"selector": "0x1a4231bf",
"calldata_variants": [
"0x1a4231bf",
"0x1a4231bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x362a4109",
"selector": "0x362a4109",
"calldata_variants": [
"0x362a4109",
"0x362a41090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1739,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1905,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [
{
"pc": 530,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 825,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1143,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1414,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2383,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2740,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3059,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 8
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf05a75f882b084447673155311ae846279dafbe51c7add81ed0cf7c137bd4507
call_targets:
0x86de0974146a0b534c362d2810c810d08046826a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf05a75f882b084447673155311ae846279dafbe51c7add81ed0cf7c137bd4507",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x86de0974146a0b534c362d2810c810d08046826a"
],
"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": "0x9d888e86",
"selector": "0x9d888e86",
"calldata_variants": [
"0x9d888e86",
"0x9d888e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb29a8140",
"selector": "0xb29a8140",
"calldata_variants": [
"0xb29a8140",
"0xb29a81400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x022fc88b",
"selector": "0x022fc88b",
"calldata_variants": [
"0x022fc88b",
"0x022fc88b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a4231bf",
"selector": "0x1a4231bf",
"calldata_variants": [
"0x1a4231bf",
"0x1a4231bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x362a4109",
"selector": "0x362a4109",
"calldata_variants": [
"0x362a4109",
"0x362a41090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1739,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1905,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": [
{
"pc": 530,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 825,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1143,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1414,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2383,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2740,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3059,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xe3313edf6d5e68c45e312f3386e09a52130a03bc66dc5e8181326e811ffb338d
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 18,
"trace_id": "0xe3313edf6d5e68c45e312f3386e09a52130a03bc66dc5e8181326e811ffb338d",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9d888e86",
"selector": "0x9d888e86",
"calldata_variants": [
"0x9d888e86",
"0x9d888e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb29a8140",
"selector": "0xb29a8140",
"calldata_variants": [
"0xb29a8140",
"0xb29a81400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x022fc88b",
"selector": "0x022fc88b",
"calldata_variants": [
"0x022fc88b",
"0x022fc88b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a4231bf",
"selector": "0x1a4231bf",
"calldata_variants": [
"0x1a4231bf",
"0x1a4231bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x362a4109",
"selector": "0x362a4109",
"calldata_variants": [
"0x362a4109",
"0x362a41090000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 530,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 825,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1143,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1414,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2383,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2740,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3059,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 2
}
|