019b477e-bff1-7218-85a8-6b2ccafe477a
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 |
|---|---|---|---|---|
| 24611 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24612 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102043 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 102044 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 102045 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 102046 | 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 0x00c6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x61065fdd 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc92aecc4 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc92aecc4 0000002f: EQ 00000030: PUSH2 0x0243 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcd8d69e8 0000003a: EQ 0000003b: PUSH2 0x026e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd7f79ead 00000045: EQ 00000046: PUSH2 0x0297 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfc696096 00000050: EQ 00000051: PUSH2 0x02c0 00000054: JUMPI 00000055: PUSH2 0x00cd 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x61065fdd 00000060: EQ 00000061: PUSH2 0x01c8 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xa1db9782 0000006b: EQ 0000006c: PUSH2 0x01f1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xb9346c09 00000076: EQ 00000077: PUSH2 0x021a 0000007a: JUMPI 0000007b: PUSH2 0x00cd 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x15124476 00000086: EQ 00000087: PUSH2 0x00d2 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x1bb97ab5 00000091: EQ 00000092: PUSH2 0x00fb 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x31f7e466 0000009c: EQ 0000009d: PUSH2 0x0124 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x372c12b1 000000a7: EQ 000000a8: PUSH2 0x014d 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x4782f779 000000b2: EQ 000000b3: PUSH2 0x0176 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x49c83222 000000bd: EQ 000000be: PUSH2 0x019f 000000c1: JUMPI 000000c2: PUSH2 0x00cd 000000c5: JUMP 000000c6: JUMPDEST 000000c7: CALLDATASIZE 000000c8: PUSH2 0x00cd 000000cb: JUMPI 000000cc: STOP 000000cd: JUMPDEST 000000ce: PUSH1 0x00 000000d0: DUP1 000000d1: REVERT 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: DUP1 000000d5: ISZERO 000000d6: PUSH2 0x00de 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: POP 000000e0: PUSH2 0x00f9 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: CALLDATASIZE 000000e7: SUB 000000e8: DUP2 000000e9: ADD 000000ea: SWAP1 000000eb: PUSH2 0x00f4 000000ee: SWAP2 000000ef: SWAP1 000000f0: PUSH2 0x12c8 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH2 0x02e9 000000f8: JUMP 000000f9: JUMPDEST 000000fa: STOP 000000fb: JUMPDEST 000000fc: CALLVALUE 000000fd: DUP1 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: POP 00000109: PUSH2 0x0122 0000010c: PUSH1 0x04 0000010e: DUP1 0000010f: CALLDATASIZE 00000110: SUB 00000111: DUP2 00000112: ADD 00000113: SWAP1 00000114: PUSH2 0x011d 00000117: SWAP2 00000118: SWAP1 00000119: PUSH2 0x155f 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x03f3 00000121: JUMP 00000122: JUMPDEST 00000123: STOP 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x014b 00000135: PUSH1 0x04 00000137: DUP1 00000138: CALLDATASIZE 00000139: SUB 0000013a: DUP2 0000013b: ADD 0000013c: SWAP1 0000013d: PUSH2 0x0146 00000140: SWAP2 00000141: SWAP1 00000142: PUSH2 0x141c 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH2 0x04cd 0000014a: JUMP 0000014b: JUMPDEST 0000014c: STOP 0000014d: JUMPDEST 0000014e: CALLVALUE 0000014f: DUP1 00000150: ISZERO 00000151: PUSH2 0x0159 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: POP 0000015b: PUSH2 0x0174 0000015e: PUSH1 0x04 00000160: DUP1 00000161: CALLDATASIZE 00000162: SUB 00000163: DUP2 00000164: ADD 00000165: SWAP1 00000166: PUSH2 0x016f 00000169: SWAP2 0000016a: SWAP1 0000016b: PUSH2 0x125b 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x0611 00000173: JUMP 00000174: JUMPDEST 00000175: STOP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x019d 00000187: PUSH1 0x04 00000189: DUP1 0000018a: CALLDATASIZE 0000018b: SUB 0000018c: DUP2 0000018d: ADD 0000018e: SWAP1 0000018f: PUSH2 0x0198 00000192: SWAP2 00000193: SWAP1 00000194: PUSH2 0x1288 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH2 0x06c3 0000019c: JUMP 0000019d: JUMPDEST 0000019e: STOP 0000019f: JUMPDEST 000001a0: CALLVALUE 000001a1: DUP1 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH2 0x01c6 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: CALLDATASIZE 000001b4: SUB 000001b5: DUP2 000001b6: ADD 000001b7: SWAP1 000001b8: PUSH2 0x01c1 000001bb: SWAP2 000001bc: SWAP1 000001bd: PUSH2 0x149d 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH2 0x0766 000001c5: JUMP 000001c6: JUMPDEST 000001c7: STOP 000001c8: JUMPDEST 000001c9: CALLVALUE 000001ca: DUP1 000001cb: ISZERO 000001cc: PUSH2 0x01d4 000001cf: JUMPI 000001d0: PUSH1 0x00 000001d2: DUP1 000001d3: REVERT 000001d4: JUMPDEST 000001d5: POP 000001d6: PUSH2 0x01ef 000001d9: PUSH1 0x04 000001db: DUP1 000001dc: CALLDATASIZE 000001dd: SUB 000001de: DUP2 000001df: ADD 000001e0: SWAP1 000001e1: PUSH2 0x01ea 000001e4: SWAP2 000001e5: SWAP1 000001e6: PUSH2 0x1368 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH2 0x09c5 000001ee: JUMP 000001ef: JUMPDEST 000001f0: STOP 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x0218 00000202: PUSH1 0x04 00000204: DUP1 00000205: CALLDATASIZE 00000206: SUB 00000207: DUP2 00000208: ADD 00000209: SWAP1 0000020a: PUSH2 0x0213 0000020d: SWAP2 0000020e: SWAP1 0000020f: PUSH2 0x13dc 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x0ae4 00000217: JUMP 00000218: JUMPDEST 00000219: STOP 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: PUSH2 0x0241 0000022b: PUSH1 0x04 0000022d: DUP1 0000022e: CALLDATASIZE 0000022f: SUB 00000230: DUP2 00000231: ADD 00000232: SWAP1 00000233: PUSH2 0x023c 00000236: SWAP2 00000237: SWAP1 00000238: PUSH2 0x155f 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH2 0x0bce 00000240: JUMP 00000241: JUMPDEST 00000242: STOP 00000243: JUMPDEST 00000244: CALLVALUE 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x0258 00000254: PUSH2 0x0c9e 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x40 0000025b: MLOAD 0000025c: PUSH2 0x0265 0000025f: SWAP2 00000260: SWAP1 00000261: PUSH2 0x1658 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: MLOAD 00000269: DUP1 0000026a: SWAP2 0000026b: SUB 0000026c: SWAP1 0000026d: RETURN 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x027a 00000275: JUMPI 00000276: PUSH1 0x00 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH2 0x0295 0000027f: PUSH1 0x04 00000281: DUP1 00000282: CALLDATASIZE 00000283: SUB 00000284: DUP2 00000285: ADD 00000286: SWAP1 00000287: PUSH2 0x0290 0000028a: SWAP2 0000028b: SWAP1 0000028c: PUSH2 0x1368 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH2 0x0cb0 00000294: JUMP 00000295: JUMPDEST 00000296: STOP 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH2 0x02be 000002a8: PUSH1 0x04 000002aa: DUP1 000002ab: CALLDATASIZE 000002ac: SUB 000002ad: DUP2 000002ae: ADD 000002af: SWAP1 000002b0: PUSH2 0x02b9 000002b3: SWAP2 000002b4: SWAP1 000002b5: PUSH2 0x1308 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH2 0x0ea2 000002bd: JUMP 000002be: JUMPDEST 000002bf: STOP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH2 0x02e7 000002d1: PUSH1 0x04 000002d3: DUP1 000002d4: CALLDATASIZE 000002d5: SUB 000002d6: DUP2 000002d7: ADD 000002d8: SWAP1 000002d9: PUSH2 0x02e2 000002dc: SWAP2 000002dd: SWAP1 000002de: PUSH2 0x149d 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x0f79 000002e6: JUMP 000002e7: JUMPDEST 000002e8: STOP 000002e9: JUMPDEST 000002ea: PUSH32 0x000000000000000000000000f9404708c16ec50dd563ca0bef2f07eb32d3d7c2 0000030b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000320: AND 00000321: CALLER 00000322: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000337: AND 00000338: EQ 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: DUP2 00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000358: AND 00000359: PUSH4 0x095ea7b3 0000035e: DUP3 0000035f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000380: PUSH1 0x40 00000382: MLOAD 00000383: DUP4 00000384: PUSH4 0xffffffff 00000389: AND 0000038a: PUSH1 0xe0 0000038c: SHL 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x04 00000391: ADD 00000392: PUSH2 0x039c 00000395: SWAP3 00000396: SWAP2 00000397: SWAP1 00000398: PUSH2 0x1606 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x20 0000039f: PUSH1 0x40 000003a1: MLOAD 000003a2: DUP1 000003a3: DUP4 000003a4: SUB 000003a5: DUP2 000003a6: PUSH1 0x00 000003a8: DUP8 000003a9: DUP1 000003aa: EXTCODESIZE 000003ab: ISZERO 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: GAS 000003b9: CALL 000003ba: ISZERO 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03ca 000003c0: JUMPI 000003c1: RETURNDATASIZE 000003c2: PUSH1 0x00 000003c4: DUP1 000003c5: RETURNDATACOPY 000003c6: RETURNDATASIZE 000003c7: PUSH1 0x00 000003c9: REVERT 000003ca: JUMPDEST 000003cb: POP 000003cc: POP 000003cd: POP 000003ce: POP 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: RETURNDATASIZE 000003d3: PUSH1 0x1f 000003d5: NOT 000003d6: PUSH1 0x1f 000003d8: DUP3 000003d9: ADD 000003da: AND 000003db: DUP3 000003dc: ADD 000003dd: DUP1 000003de: PUSH1 0x40 000003e0: MSTORE 000003e1: POP 000003e2: DUP2 000003e3: ADD 000003e4: SWAP1 000003e5: PUSH2 0x03ee 000003e8: SWAP2 000003e9: SWAP1 000003ea: PUSH2 0x1532 000003ed: JUMP 000003ee: JUMPDEST 000003ef: POP 000003f0: POP 000003f1: POP 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH32 0x000000000000000000000000f9404708c16ec50dd563ca0bef2f07eb32d3d7c2 00000415: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042a: AND 0000042b: CALLER 0000042c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000441: AND 00000442: EQ 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: PUSH20 0xb4fbf271143f4fbf7b91a5ded31805e42b2208d6 00000461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000476: AND 00000477: PUSH4 0x2e1a7d4d 0000047c: DUP3 0000047d: PUSH1 0x40 0000047f: MLOAD 00000480: DUP3 00000481: PUSH4 0xffffffff 00000486: AND 00000487: PUSH1 0xe0 00000489: SHL 0000048a: DUP2 0000048b: MSTORE 0000048c: PUSH1 0x04 0000048e: ADD 0000048f: PUSH2 0x0498 00000492: SWAP2 00000493: SWAP1 00000494: PUSH2 0x1673 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH1 0x00 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: DUP1 0000049f: DUP4 000004a0: SUB 000004a1: DUP2 000004a2: PUSH1 0x00 000004a4: DUP8 000004a5: DUP1 000004a6: EXTCODESIZE 000004a7: ISZERO 000004a8: DUP1 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: POP 000004b4: GAS 000004b5: CALL 000004b6: ISZERO 000004b7: DUP1 000004b8: ISZERO 000004b9: PUSH2 0x04c6 000004bc: JUMPI 000004bd: RETURNDATASIZE 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: RETURNDATACOPY 000004c2: RETURNDATASIZE 000004c3: PUSH1 0x00 000004c5: REVERT 000004c6: JUMPDEST 000004c7: POP 000004c8: POP 000004c9: POP 000004ca: POP 000004cb: POP 000004cc: JUMP 000004cd: JUMPDEST 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: CALLER 000004d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e7: AND 000004e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fd: AND 000004fe: DUP2 000004ff: MSTORE 00000500: PUSH1 0x20 00000502: ADD 00000503: SWAP1 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: PUSH1 0x00 0000050b: KECCAK256 0000050c: PUSH1 0x00 0000050e: SWAP1 0000050f: SLOAD 00000510: SWAP1 00000511: PUSH2 0x0100 00000514: EXP 00000515: SWAP1 00000516: DIV 00000517: PUSH1 0xff 00000519: AND 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: PUSH1 0x00 00000525: JUMPDEST 00000526: DUP5 00000527: DUP5 00000528: SWAP1 00000529: POP 0000052a: DUP2 0000052b: LT 0000052c: ISZERO 0000052d: PUSH2 0x060a 00000530: JUMPI 00000531: PUSH1 0x00 00000533: DUP1 00000534: DUP7 00000535: DUP7 00000536: DUP5 00000537: DUP2 00000538: DUP2 00000539: LT 0000053a: PUSH2 0x0546 0000053d: JUMPI 0000053e: PUSH2 0x0545 00000541: PUSH2 0x1957 00000544: JUMP 00000545: JUMPDEST 00000546: JUMPDEST 00000547: SWAP1 00000548: POP 00000549: PUSH1 0x20 0000054b: MUL 0000054c: ADD 0000054d: PUSH1 0x20 0000054f: DUP2 00000550: ADD 00000551: SWAP1 00000552: PUSH2 0x055b 00000555: SWAP2 00000556: SWAP1 00000557: PUSH2 0x125b 0000055a: JUMP 0000055b: JUMPDEST 0000055c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000571: AND 00000572: DUP6 00000573: DUP6 00000574: DUP6 00000575: DUP2 00000576: DUP2 00000577: LT 00000578: PUSH2 0x0584 0000057b: JUMPI 0000057c: PUSH2 0x0583 0000057f: PUSH2 0x1957 00000582: JUMP 00000583: JUMPDEST 00000584: JUMPDEST 00000585: SWAP1 00000586: POP 00000587: PUSH1 0x20 00000589: MUL 0000058a: DUP2 0000058b: ADD 0000058c: SWAP1 0000058d: PUSH2 0x0596 00000590: SWAP2 00000591: SWAP1 00000592: PUSH2 0x168e 00000595: JUMP 00000596: JUMPDEST 00000597: PUSH1 0x40 00000599: MLOAD 0000059a: PUSH2 0x05a4 0000059d: SWAP3 0000059e: SWAP2 0000059f: SWAP1 000005a0: PUSH2 0x15ed 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH1 0x00 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: DUP1 000005ab: DUP4 000005ac: SUB 000005ad: DUP2 000005ae: PUSH1 0x00 000005b0: DUP7 000005b1: GAS 000005b2: CALL 000005b3: SWAP2 000005b4: POP 000005b5: POP 000005b6: RETURNDATASIZE 000005b7: DUP1 000005b8: PUSH1 0x00 000005ba: DUP2 000005bb: EQ 000005bc: PUSH2 0x05e1 000005bf: JUMPI 000005c0: PUSH1 0x40 000005c2: MLOAD 000005c3: SWAP2 000005c4: POP 000005c5: PUSH1 0x1f 000005c7: NOT 000005c8: PUSH1 0x3f 000005ca: RETURNDATASIZE 000005cb: ADD 000005cc: AND 000005cd: DUP3 000005ce: ADD 000005cf: PUSH1 0x40 000005d1: MSTORE 000005d2: RETURNDATASIZE 000005d3: DUP3 000005d4: MSTORE 000005d5: RETURNDATASIZE 000005d6: PUSH1 0x00 000005d8: PUSH1 0x20 000005da: DUP5 000005db: ADD 000005dc: RETURNDATACOPY 000005dd: PUSH2 0x05e6 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x60 000005e4: SWAP2 000005e5: POP 000005e6: JUMPDEST 000005e7: POP 000005e8: SWAP2 000005e9: POP 000005ea: SWAP2 000005eb: POP 000005ec: DUP2 000005ed: PUSH2 0x05f5 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: POP 000005f8: DUP1 000005f9: DUP1 000005fa: PUSH2 0x0602 000005fd: SWAP1 000005fe: PUSH2 0x18b0 00000601: JUMP 00000602: JUMPDEST 00000603: SWAP2 00000604: POP 00000605: POP 00000606: PUSH2 0x0525 00000609: JUMP 0000060a: JUMPDEST 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: POP 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH32 0x000000000000000000000000f9404708c16ec50dd563ca0bef2f07eb32d3d7c2 00000633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000648: AND 00000649: CALLER 0000064a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065f: AND 00000660: EQ 00000661: PUSH2 0x0669 00000664: JUMPI 00000665: PUSH1 0x00 00000667: DUP1 00000668: REVERT 00000669: JUMPDEST 0000066a: PUSH1 0x01 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: DUP4 00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000685: AND 00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069b: AND 0000069c: DUP2 0000069d: MSTORE 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: SWAP1 000006a2: DUP2 000006a3: MSTORE 000006a4: PUSH1 0x20 000006a6: ADD 000006a7: PUSH1 0x00 000006a9: KECCAK256 000006aa: PUSH1 0x00 000006ac: PUSH2 0x0100 000006af: EXP 000006b0: DUP2 000006b1: SLOAD 000006b2: DUP2 000006b3: PUSH1 0xff 000006b5: MUL 000006b6: NOT 000006b7: AND 000006b8: SWAP1 000006b9: DUP4 000006ba: ISZERO 000006bb: ISZERO 000006bc: MUL 000006bd: OR 000006be: SWAP1 000006bf: SSTORE 000006c0: POP 000006c1: POP 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH32 0x000000000000000000000000f9404708c16ec50dd563ca0bef2f07eb32d3d7c2 000006e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fa: AND 000006fb: CALLER 000006fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000711: AND 00000712: EQ 00000713: PUSH2 0x071b 00000716: JUMPI 00000717: PUSH1 0x00 00000719: DUP1 0000071a: REVERT 0000071b: JUMPDEST 0000071c: DUP2 0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000732: AND 00000733: PUSH2 0x08fc 00000736: DUP3 00000737: SWAP1 00000738: DUP2 00000739: ISZERO 0000073a: MUL 0000073b: SWAP1 0000073c: PUSH1 0x40 0000073e: MLOAD 0000073f: PUSH1 0x00 00000741: PUSH1 0x40 00000743: MLOAD 00000744: DUP1 00000745: DUP4 00000746: SUB 00000747: DUP2 00000748: DUP6 00000749: DUP9 0000074a: DUP9 0000074b: CALL 0000074c: SWAP4 0000074d: POP 0000074e: POP 0000074f: POP 00000750: POP 00000751: ISZERO 00000752: DUP1 00000753: ISZERO 00000754: PUSH2 0x0761 00000757: JUMPI 00000758: RETURNDATASIZE 00000759: PUSH1 0x00 0000075b: DUP1 0000075c: RETURNDATACOPY 0000075d: RETURNDATASIZE 0000075e: PUSH1 0x00 00000760: REVERT 00000761: JUMPDEST 00000762: POP 00000763: POP 00000764: POP 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x00 00000769: DUP1 0000076a: CALLER 0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000780: AND 00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000796: AND 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x20 0000079b: ADD 0000079c: SWAP1 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x20 000007a1: ADD 000007a2: PUSH1 0x00 000007a4: KECCAK256 000007a5: PUSH1 0x00 000007a7: SWAP1 000007a8: SLOAD 000007a9: SWAP1 000007aa: PUSH2 0x0100 000007ad: EXP 000007ae: SWAP1 000007af: DIV 000007b0: PUSH1 0xff 000007b2: AND 000007b3: PUSH2 0x07bb 000007b6: JUMPI 000007b7: PUSH1 0x00 000007b9: DUP1 000007ba: REVERT 000007bb: JUMPDEST 000007bc: PUSH1 0x00 000007be: GAS 000007bf: SWAP1 000007c0: POP 000007c1: PUSH1 0x00 000007c3: JUMPDEST 000007c4: DUP7 000007c5: DUP7 000007c6: SWAP1 000007c7: POP 000007c8: DUP2 000007c9: LT 000007ca: ISZERO 000007cb: PUSH2 0x08a8 000007ce: JUMPI 000007cf: PUSH1 0x00 000007d1: DUP1 000007d2: DUP9 000007d3: DUP9 000007d4: DUP5 000007d5: DUP2 000007d6: DUP2 000007d7: LT 000007d8: PUSH2 0x07e4 000007db: JUMPI 000007dc: PUSH2 0x07e3 000007df: PUSH2 0x1957 000007e2: JUMP 000007e3: JUMPDEST 000007e4: JUMPDEST 000007e5: SWAP1 000007e6: POP 000007e7: PUSH1 0x20 000007e9: MUL 000007ea: ADD 000007eb: PUSH1 0x20 000007ed: DUP2 000007ee: ADD 000007ef: SWAP1 000007f0: PUSH2 0x07f9 000007f3: SWAP2 000007f4: SWAP1 000007f5: PUSH2 0x125b 000007f8: JUMP 000007f9: JUMPDEST 000007fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080f: AND 00000810: DUP8 00000811: DUP8 00000812: DUP6 00000813: DUP2 00000814: DUP2 00000815: LT 00000816: PUSH2 0x0822 00000819: JUMPI 0000081a: PUSH2 0x0821 0000081d: PUSH2 0x1957 00000820: JUMP 00000821: JUMPDEST 00000822: JUMPDEST 00000823: SWAP1 00000824: POP 00000825: PUSH1 0x20 00000827: MUL 00000828: DUP2 00000829: ADD 0000082a: SWAP1 0000082b: PUSH2 0x0834 0000082e: SWAP2 0000082f: SWAP1 00000830: PUSH2 0x168e 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x40 00000837: MLOAD 00000838: PUSH2 0x0842 0000083b: SWAP3 0000083c: SWAP2 0000083d: SWAP1 0000083e: PUSH2 0x15ed 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x00 00000845: PUSH1 0x40 00000847: MLOAD 00000848: DUP1 00000849: DUP4 0000084a: SUB 0000084b: DUP2 0000084c: PUSH1 0x00 0000084e: DUP7 0000084f: GAS 00000850: CALL 00000851: SWAP2 00000852: POP 00000853: POP 00000854: RETURNDATASIZE 00000855: DUP1 00000856: PUSH1 0x00 00000858: DUP2 00000859: EQ 0000085a: PUSH2 0x087f 0000085d: JUMPI 0000085e: PUSH1 0x40 00000860: MLOAD 00000861: SWAP2 00000862: POP 00000863: PUSH1 0x1f 00000865: NOT 00000866: PUSH1 0x3f 00000868: RETURNDATASIZE 00000869: ADD 0000086a: AND 0000086b: DUP3 0000086c: ADD 0000086d: PUSH1 0x40 0000086f: MSTORE 00000870: RETURNDATASIZE 00000871: DUP3 00000872: MSTORE 00000873: RETURNDATASIZE 00000874: PUSH1 0x00 00000876: PUSH1 0x20 00000878: DUP5 00000879: ADD 0000087a: RETURNDATACOPY 0000087b: PUSH2 0x0884 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH1 0x60 00000882: SWAP2 00000883: POP 00000884: JUMPDEST 00000885: POP 00000886: SWAP2 00000887: POP 00000888: SWAP2 00000889: POP 0000088a: DUP2 0000088b: PUSH2 0x0893 0000088e: JUMPI 0000088f: PUSH1 0x00 00000891: DUP1 00000892: REVERT 00000893: JUMPDEST 00000894: POP 00000895: POP 00000896: DUP1 00000897: DUP1 00000898: PUSH2 0x08a0 0000089b: SWAP1 0000089c: PUSH2 0x18b0 0000089f: JUMP 000008a0: JUMPDEST 000008a1: SWAP2 000008a2: POP 000008a3: POP 000008a4: PUSH2 0x07c3 000008a7: JUMP 000008a8: JUMPDEST 000008a9: POP 000008aa: COINBASE 000008ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c0: AND 000008c1: PUSH2 0x08fc 000008c4: DUP4 000008c5: SWAP1 000008c6: DUP2 000008c7: ISZERO 000008c8: MUL 000008c9: SWAP1 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: PUSH1 0x00 000008cf: PUSH1 0x40 000008d1: MLOAD 000008d2: DUP1 000008d3: DUP4 000008d4: SUB 000008d5: DUP2 000008d6: DUP6 000008d7: DUP9 000008d8: DUP9 000008d9: CALL 000008da: SWAP4 000008db: POP 000008dc: POP 000008dd: POP 000008de: POP 000008df: ISZERO 000008e0: DUP1 000008e1: ISZERO 000008e2: PUSH2 0x08ef 000008e5: JUMPI 000008e6: RETURNDATASIZE 000008e7: PUSH1 0x00 000008e9: DUP1 000008ea: RETURNDATACOPY 000008eb: RETURNDATASIZE 000008ec: PUSH1 0x00 000008ee: REVERT 000008ef: JUMPDEST 000008f0: POP 000008f1: PUSH1 0x00 000008f3: DUP1 000008f4: CALLDATASIZE 000008f5: SWAP1 000008f6: POP 000008f7: PUSH1 0x10 000008f9: PUSH2 0x0902 000008fc: SWAP2 000008fd: SWAP1 000008fe: PUSH2 0x1783 00000901: JUMP 00000902: JUMPDEST 00000903: GAS 00000904: DUP4 00000905: PUSH2 0x5208 00000908: PUSH2 0x0911 0000090b: SWAP2 0000090c: SWAP1 0000090d: PUSH2 0x16fc 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH2 0x091b 00000915: SWAP2 00000916: SWAP1 00000917: PUSH2 0x17dd 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH2 0x0925 0000091f: SWAP2 00000920: SWAP1 00000921: PUSH2 0x16fc 00000924: JUMP 00000925: JUMPDEST 00000926: SWAP1 00000927: POP 00000928: PUSH14 0x4946c0e9f43f4dee607b0ef1fa1c 00000937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094c: AND 0000094d: PUSH4 0x079d229f 00000952: CALLER 00000953: PUSH2 0xa3db 00000956: PUSH2 0x374a 00000959: DUP6 0000095a: PUSH2 0x0963 0000095d: SWAP2 0000095e: SWAP1 0000095f: PUSH2 0x16fc 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH2 0x096d 00000967: SWAP2 00000968: SWAP1 00000969: PUSH2 0x1752 0000096c: JUMP 0000096d: JUMPDEST 0000096e: PUSH1 0x40 00000970: MLOAD 00000971: DUP4 00000972: PUSH4 0xffffffff 00000977: AND 00000978: PUSH1 0xe0 0000097a: SHL 0000097b: DUP2 0000097c: MSTORE 0000097d: PUSH1 0x04 0000097f: ADD 00000980: PUSH2 0x098a 00000983: SWAP3 00000984: SWAP2 00000985: SWAP1 00000986: PUSH2 0x162f 00000989: JUMP 0000098a: JUMPDEST 0000098b: PUSH1 0x00 0000098d: PUSH1 0x40 0000098f: MLOAD 00000990: DUP1 00000991: DUP4 00000992: SUB 00000993: DUP2 00000994: PUSH1 0x00 00000996: DUP8 00000997: DUP1 00000998: EXTCODESIZE 00000999: ISZERO 0000099a: DUP1 0000099b: ISZERO 0000099c: PUSH2 0x09a4 0000099f: JUMPI 000009a0: PUSH1 0x00 000009a2: DUP1 000009a3: REVERT 000009a4: JUMPDEST 000009a5: POP 000009a6: GAS 000009a7: CALL 000009a8: ISZERO 000009a9: DUP1 000009aa: ISZERO 000009ab: PUSH2 0x09b8 000009ae: JUMPI 000009af: RETURNDATASIZE 000009b0: PUSH1 0x00 000009b2: DUP1 000009b3: RETURNDATACOPY 000009b4: RETURNDATASIZE 000009b5: PUSH1 0x00 000009b7: REVERT 000009b8: JUMPDEST 000009b9: POP 000009ba: POP 000009bb: POP 000009bc: POP 000009bd: POP 000009be: POP 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH1 0x00 000009c8: DUP1 000009c9: CALLER 000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009df: AND 000009e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f5: AND 000009f6: DUP2 000009f7: MSTORE 000009f8: PUSH1 0x20 000009fa: ADD 000009fb: SWAP1 000009fc: DUP2 000009fd: MSTORE 000009fe: PUSH1 0x20 00000a00: ADD 00000a01: PUSH1 0x00 00000a03: KECCAK256 00000a04: PUSH1 0x00 00000a06: SWAP1 00000a07: SLOAD 00000a08: SWAP1 00000a09: PUSH2 0x0100 00000a0c: EXP 00000a0d: SWAP1 00000a0e: DIV 00000a0f: PUSH1 0xff 00000a11: AND 00000a12: PUSH2 0x0a1a 00000a15: JUMPI 00000a16: PUSH1 0x00 00000a18: DUP1 00000a19: REVERT 00000a1a: JUMPDEST 00000a1b: PUSH1 0x00 00000a1d: DUP1 00000a1e: DUP6 00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a34: AND 00000a35: DUP6 00000a36: DUP6 00000a37: PUSH1 0x40 00000a39: MLOAD 00000a3a: PUSH2 0x0a44 00000a3d: SWAP3 00000a3e: SWAP2 00000a3f: SWAP1 00000a40: PUSH2 0x15ed 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x00 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: DUP1 00000a4b: DUP4 00000a4c: SUB 00000a4d: DUP2 00000a4e: PUSH1 0x00 00000a50: DUP7 00000a51: GAS 00000a52: CALL 00000a53: SWAP2 00000a54: POP 00000a55: POP 00000a56: RETURNDATASIZE 00000a57: DUP1 00000a58: PUSH1 0x00 00000a5a: DUP2 00000a5b: EQ 00000a5c: PUSH2 0x0a81 00000a5f: JUMPI 00000a60: PUSH1 0x40 00000a62: MLOAD 00000a63: SWAP2 00000a64: POP 00000a65: PUSH1 0x1f 00000a67: NOT 00000a68: PUSH1 0x3f 00000a6a: RETURNDATASIZE 00000a6b: ADD 00000a6c: AND 00000a6d: DUP3 00000a6e: ADD 00000a6f: PUSH1 0x40 00000a71: MSTORE 00000a72: RETURNDATASIZE 00000a73: DUP3 00000a74: MSTORE 00000a75: RETURNDATASIZE 00000a76: PUSH1 0x00 00000a78: PUSH1 0x20 00000a7a: DUP5 00000a7b: ADD 00000a7c: RETURNDATACOPY 00000a7d: PUSH2 0x0a86 00000a80: JUMP 00000a81: JUMPDEST 00000a82: PUSH1 0x60 00000a84: SWAP2 00000a85: POP 00000a86: JUMPDEST 00000a87: POP 00000a88: SWAP2 00000a89: POP 00000a8a: SWAP2 00000a8b: POP 00000a8c: DUP2 00000a8d: PUSH2 0x0a95 00000a90: JUMPI 00000a91: PUSH1 0x00 00000a93: DUP1 00000a94: REVERT 00000a95: JUMPDEST 00000a96: COINBASE 00000a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aac: AND 00000aad: PUSH2 0x08fc 00000ab0: DUP5 00000ab1: SWAP1 00000ab2: DUP2 00000ab3: ISZERO 00000ab4: MUL 00000ab5: SWAP1 00000ab6: PUSH1 0x40 00000ab8: MLOAD 00000ab9: PUSH1 0x00 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: DUP1 00000abf: DUP4 00000ac0: SUB 00000ac1: DUP2 00000ac2: DUP6 00000ac3: DUP9 00000ac4: DUP9 00000ac5: CALL 00000ac6: SWAP4 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: ISZERO 00000acc: DUP1 00000acd: ISZERO 00000ace: PUSH2 0x0adb 00000ad1: JUMPI 00000ad2: RETURNDATASIZE 00000ad3: PUSH1 0x00 00000ad5: DUP1 00000ad6: RETURNDATACOPY 00000ad7: RETURNDATASIZE 00000ad8: PUSH1 0x00 00000ada: REVERT 00000adb: JUMPDEST 00000adc: POP 00000add: POP 00000ade: POP 00000adf: POP 00000ae0: POP 00000ae1: POP 00000ae2: POP 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH32 0x000000000000000000000000f9404708c16ec50dd563ca0bef2f07eb32d3d7c2 00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1b: AND 00000b1c: CALLER 00000b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b32: AND 00000b33: EQ 00000b34: PUSH2 0x0b3c 00000b37: JUMPI 00000b38: PUSH1 0x00 00000b3a: DUP1 00000b3b: REVERT 00000b3c: JUMPDEST 00000b3d: DUP2 00000b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b53: AND 00000b54: PUSH4 0xa9059cbb 00000b59: CALLER 00000b5a: DUP4 00000b5b: PUSH1 0x40 00000b5d: MLOAD 00000b5e: DUP4 00000b5f: PUSH4 0xffffffff 00000b64: AND 00000b65: PUSH1 0xe0 00000b67: SHL 00000b68: DUP2 00000b69: MSTORE 00000b6a: PUSH1 0x04 00000b6c: ADD 00000b6d: PUSH2 0x0b77 00000b70: SWAP3 00000b71: SWAP2 00000b72: SWAP1 00000b73: PUSH2 0x162f 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x20 00000b7a: PUSH1 0x40 00000b7c: MLOAD 00000b7d: DUP1 00000b7e: DUP4 00000b7f: SUB 00000b80: DUP2 00000b81: PUSH1 0x00 00000b83: DUP8 00000b84: DUP1 00000b85: EXTCODESIZE 00000b86: ISZERO 00000b87: DUP1 00000b88: ISZERO 00000b89: PUSH2 0x0b91 00000b8c: JUMPI 00000b8d: PUSH1 0x00 00000b8f: DUP1 00000b90: REVERT 00000b91: JUMPDEST 00000b92: POP 00000b93: GAS 00000b94: CALL 00000b95: ISZERO 00000b96: DUP1 00000b97: ISZERO 00000b98: PUSH2 0x0ba5 00000b9b: JUMPI 00000b9c: RETURNDATASIZE 00000b9d: PUSH1 0x00 00000b9f: DUP1 00000ba0: RETURNDATACOPY 00000ba1: RETURNDATASIZE 00000ba2: PUSH1 0x00 00000ba4: REVERT 00000ba5: JUMPDEST 00000ba6: POP 00000ba7: POP 00000ba8: POP 00000ba9: POP 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: RETURNDATASIZE 00000bae: PUSH1 0x1f 00000bb0: NOT 00000bb1: PUSH1 0x1f 00000bb3: DUP3 00000bb4: ADD 00000bb5: AND 00000bb6: DUP3 00000bb7: ADD 00000bb8: DUP1 00000bb9: PUSH1 0x40 00000bbb: MSTORE 00000bbc: POP 00000bbd: DUP2 00000bbe: ADD 00000bbf: SWAP1 00000bc0: PUSH2 0x0bc9 00000bc3: SWAP2 00000bc4: SWAP1 00000bc5: PUSH2 0x1532 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: POP 00000bcb: POP 00000bcc: POP 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: PUSH32 0x000000000000000000000000f9404708c16ec50dd563ca0bef2f07eb32d3d7c2 00000bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c05: AND 00000c06: CALLER 00000c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1c: AND 00000c1d: EQ 00000c1e: PUSH2 0x0c26 00000c21: JUMPI 00000c22: PUSH1 0x00 00000c24: DUP1 00000c25: REVERT 00000c26: JUMPDEST 00000c27: PUSH20 0xb4fbf271143f4fbf7b91a5ded31805e42b2208d6 00000c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c51: AND 00000c52: PUSH4 0xd0e30db0 00000c57: DUP3 00000c58: PUSH1 0x40 00000c5a: MLOAD 00000c5b: DUP3 00000c5c: PUSH4 0xffffffff 00000c61: AND 00000c62: PUSH1 0xe0 00000c64: SHL 00000c65: DUP2 00000c66: MSTORE 00000c67: PUSH1 0x04 00000c69: ADD 00000c6a: PUSH1 0x00 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: DUP1 00000c70: DUP4 00000c71: SUB 00000c72: DUP2 00000c73: DUP6 00000c74: DUP9 00000c75: DUP1 00000c76: EXTCODESIZE 00000c77: ISZERO 00000c78: DUP1 00000c79: ISZERO 00000c7a: PUSH2 0x0c82 00000c7d: JUMPI 00000c7e: PUSH1 0x00 00000c80: DUP1 00000c81: REVERT 00000c82: JUMPDEST 00000c83: POP 00000c84: GAS 00000c85: CALL 00000c86: ISZERO 00000c87: DUP1 00000c88: ISZERO 00000c89: PUSH2 0x0c96 00000c8c: JUMPI 00000c8d: RETURNDATASIZE 00000c8e: PUSH1 0x00 00000c90: DUP1 00000c91: RETURNDATACOPY 00000c92: RETURNDATASIZE 00000c93: PUSH1 0x00 00000c95: REVERT 00000c96: JUMPDEST 00000c97: POP 00000c98: POP 00000c99: POP 00000c9a: POP 00000c9b: POP 00000c9c: POP 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH14 0x4946c0e9f43f4dee607b0ef1fa1c 00000cae: DUP2 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: DUP1 00000cb4: CALLER 00000cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cca: AND 00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce0: AND 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x20 00000ce5: ADD 00000ce6: SWAP1 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x20 00000ceb: ADD 00000cec: PUSH1 0x00 00000cee: KECCAK256 00000cef: PUSH1 0x00 00000cf1: SWAP1 00000cf2: SLOAD 00000cf3: SWAP1 00000cf4: PUSH2 0x0100 00000cf7: EXP 00000cf8: SWAP1 00000cf9: DIV 00000cfa: PUSH1 0xff 00000cfc: AND 00000cfd: PUSH2 0x0d05 00000d00: JUMPI 00000d01: PUSH1 0x00 00000d03: DUP1 00000d04: REVERT 00000d05: JUMPDEST 00000d06: PUSH1 0x00 00000d08: GAS 00000d09: SWAP1 00000d0a: POP 00000d0b: PUSH1 0x00 00000d0d: DUP1 00000d0e: DUP7 00000d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d24: AND 00000d25: DUP7 00000d26: DUP7 00000d27: PUSH1 0x40 00000d29: MLOAD 00000d2a: PUSH2 0x0d34 00000d2d: SWAP3 00000d2e: SWAP2 00000d2f: SWAP1 00000d30: PUSH2 0x15ed 00000d33: JUMP 00000d34: JUMPDEST 00000d35: PUSH1 0x00 00000d37: PUSH1 0x40 00000d39: MLOAD 00000d3a: DUP1 00000d3b: DUP4 00000d3c: SUB 00000d3d: DUP2 00000d3e: PUSH1 0x00 00000d40: DUP7 00000d41: GAS 00000d42: CALL 00000d43: SWAP2 00000d44: POP 00000d45: POP 00000d46: RETURNDATASIZE 00000d47: DUP1 00000d48: PUSH1 0x00 00000d4a: DUP2 00000d4b: EQ 00000d4c: PUSH2 0x0d71 00000d4f: JUMPI 00000d50: PUSH1 0x40 00000d52: MLOAD 00000d53: SWAP2 00000d54: POP 00000d55: PUSH1 0x1f 00000d57: NOT 00000d58: PUSH1 0x3f 00000d5a: RETURNDATASIZE 00000d5b: ADD 00000d5c: AND 00000d5d: DUP3 00000d5e: ADD 00000d5f: PUSH1 0x40 00000d61: MSTORE 00000d62: RETURNDATASIZE 00000d63: DUP3 00000d64: MSTORE 00000d65: RETURNDATASIZE 00000d66: PUSH1 0x00 00000d68: PUSH1 0x20 00000d6a: DUP5 00000d6b: ADD 00000d6c: RETURNDATACOPY 00000d6d: PUSH2 0x0d76 00000d70: JUMP 00000d71: JUMPDEST 00000d72: PUSH1 0x60 00000d74: SWAP2 00000d75: POP 00000d76: JUMPDEST 00000d77: POP 00000d78: SWAP2 00000d79: POP 00000d7a: SWAP2 00000d7b: POP 00000d7c: DUP2 00000d7d: PUSH2 0x0d85 00000d80: JUMPI 00000d81: PUSH1 0x00 00000d83: DUP1 00000d84: REVERT 00000d85: JUMPDEST 00000d86: COINBASE 00000d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9c: AND 00000d9d: PUSH2 0x08fc 00000da0: DUP6 00000da1: SWAP1 00000da2: DUP2 00000da3: ISZERO 00000da4: MUL 00000da5: SWAP1 00000da6: PUSH1 0x40 00000da8: MLOAD 00000da9: PUSH1 0x00 00000dab: PUSH1 0x40 00000dad: MLOAD 00000dae: DUP1 00000daf: DUP4 00000db0: SUB 00000db1: DUP2 00000db2: DUP6 00000db3: DUP9 00000db4: DUP9 00000db5: CALL 00000db6: SWAP4 00000db7: POP 00000db8: POP 00000db9: POP 00000dba: POP 00000dbb: ISZERO 00000dbc: DUP1 00000dbd: ISZERO 00000dbe: PUSH2 0x0dcb 00000dc1: JUMPI 00000dc2: RETURNDATASIZE 00000dc3: PUSH1 0x00 00000dc5: DUP1 00000dc6: RETURNDATACOPY 00000dc7: RETURNDATASIZE 00000dc8: PUSH1 0x00 00000dca: REVERT 00000dcb: JUMPDEST 00000dcc: POP 00000dcd: POP 00000dce: POP 00000dcf: PUSH1 0x00 00000dd1: DUP1 00000dd2: CALLDATASIZE 00000dd3: SWAP1 00000dd4: POP 00000dd5: PUSH1 0x10 00000dd7: PUSH2 0x0de0 00000dda: SWAP2 00000ddb: SWAP1 00000ddc: PUSH2 0x1783 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: GAS 00000de2: DUP4 00000de3: PUSH2 0x5208 00000de6: PUSH2 0x0def 00000de9: SWAP2 00000dea: SWAP1 00000deb: PUSH2 0x16fc 00000dee: JUMP 00000def: JUMPDEST 00000df0: PUSH2 0x0df9 00000df3: SWAP2 00000df4: SWAP1 00000df5: PUSH2 0x17dd 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH2 0x0e03 00000dfd: SWAP2 00000dfe: SWAP1 00000dff: PUSH2 0x16fc 00000e02: JUMP 00000e03: JUMPDEST 00000e04: SWAP1 00000e05: POP 00000e06: PUSH14 0x4946c0e9f43f4dee607b0ef1fa1c 00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2a: AND 00000e2b: PUSH4 0x079d229f 00000e30: CALLER 00000e31: PUSH2 0xa3db 00000e34: PUSH2 0x374a 00000e37: DUP6 00000e38: PUSH2 0x0e41 00000e3b: SWAP2 00000e3c: SWAP1 00000e3d: PUSH2 0x16fc 00000e40: JUMP 00000e41: JUMPDEST 00000e42: PUSH2 0x0e4b 00000e45: SWAP2 00000e46: SWAP1 00000e47: PUSH2 0x1752 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: PUSH1 0x40 00000e4e: MLOAD 00000e4f: DUP4 00000e50: PUSH4 0xffffffff 00000e55: AND 00000e56: PUSH1 0xe0 00000e58: SHL 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x04 00000e5d: ADD 00000e5e: PUSH2 0x0e68 00000e61: SWAP3 00000e62: SWAP2 00000e63: SWAP1 00000e64: PUSH2 0x162f 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x00 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: DUP1 00000e6f: DUP4 00000e70: SUB 00000e71: DUP2 00000e72: PUSH1 0x00 00000e74: DUP8 00000e75: DUP1 00000e76: EXTCODESIZE 00000e77: ISZERO 00000e78: DUP1 00000e79: ISZERO 00000e7a: PUSH2 0x0e82 00000e7d: JUMPI 00000e7e: PUSH1 0x00 00000e80: DUP1 00000e81: REVERT 00000e82: JUMPDEST 00000e83: POP 00000e84: GAS 00000e85: CALL 00000e86: ISZERO 00000e87: DUP1 00000e88: ISZERO 00000e89: PUSH2 0x0e96 00000e8c: JUMPI 00000e8d: RETURNDATASIZE 00000e8e: PUSH1 0x00 00000e90: DUP1 00000e91: RETURNDATACOPY 00000e92: RETURNDATASIZE 00000e93: PUSH1 0x00 00000e95: REVERT 00000e96: JUMPDEST 00000e97: POP 00000e98: POP 00000e99: POP 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: POP 00000ea0: POP 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: PUSH1 0x00 00000ea5: DUP1 00000ea6: CALLER 00000ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebc: AND 00000ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed2: AND 00000ed3: DUP2 00000ed4: MSTORE 00000ed5: PUSH1 0x20 00000ed7: ADD 00000ed8: SWAP1 00000ed9: DUP2 00000eda: MSTORE 00000edb: PUSH1 0x20 00000edd: ADD 00000ede: PUSH1 0x00 00000ee0: KECCAK256 00000ee1: PUSH1 0x00 00000ee3: SWAP1 00000ee4: SLOAD 00000ee5: SWAP1 00000ee6: PUSH2 0x0100 00000ee9: EXP 00000eea: SWAP1 00000eeb: DIV 00000eec: PUSH1 0xff 00000eee: AND 00000eef: PUSH2 0x0ef7 00000ef2: JUMPI 00000ef3: PUSH1 0x00 00000ef5: DUP1 00000ef6: REVERT 00000ef7: JUMPDEST 00000ef8: PUSH1 0x00 00000efa: DUP1 00000efb: DUP5 00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f11: AND 00000f12: DUP5 00000f13: DUP5 00000f14: PUSH1 0x40 00000f16: MLOAD 00000f17: PUSH2 0x0f21 00000f1a: SWAP3 00000f1b: SWAP2 00000f1c: SWAP1 00000f1d: PUSH2 0x15ed 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH1 0x00 00000f24: PUSH1 0x40 00000f26: MLOAD 00000f27: DUP1 00000f28: DUP4 00000f29: SUB 00000f2a: DUP2 00000f2b: PUSH1 0x00 00000f2d: DUP7 00000f2e: GAS 00000f2f: CALL 00000f30: SWAP2 00000f31: POP 00000f32: POP 00000f33: RETURNDATASIZE 00000f34: DUP1 00000f35: PUSH1 0x00 00000f37: DUP2 00000f38: EQ 00000f39: PUSH2 0x0f5e 00000f3c: JUMPI 00000f3d: PUSH1 0x40 00000f3f: MLOAD 00000f40: SWAP2 00000f41: POP 00000f42: PUSH1 0x1f 00000f44: NOT 00000f45: PUSH1 0x3f 00000f47: RETURNDATASIZE 00000f48: ADD 00000f49: AND 00000f4a: DUP3 00000f4b: ADD 00000f4c: PUSH1 0x40 00000f4e: MSTORE 00000f4f: RETURNDATASIZE 00000f50: DUP3 00000f51: MSTORE 00000f52: RETURNDATASIZE 00000f53: PUSH1 0x00 00000f55: PUSH1 0x20 00000f57: DUP5 00000f58: ADD 00000f59: RETURNDATACOPY 00000f5a: PUSH2 0x0f63 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: PUSH1 0x60 00000f61: SWAP2 00000f62: POP 00000f63: JUMPDEST 00000f64: POP 00000f65: SWAP2 00000f66: POP 00000f67: SWAP2 00000f68: POP 00000f69: DUP2 00000f6a: PUSH2 0x0f72 00000f6d: JUMPI 00000f6e: PUSH1 0x00 00000f70: DUP1 00000f71: REVERT 00000f72: JUMPDEST 00000f73: POP 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: POP 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: DUP1 00000f7d: CALLER 00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f93: AND 00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa9: AND 00000faa: DUP2 00000fab: MSTORE 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: SWAP1 00000fb0: DUP2 00000fb1: MSTORE 00000fb2: PUSH1 0x20 00000fb4: ADD 00000fb5: PUSH1 0x00 00000fb7: KECCAK256 00000fb8: PUSH1 0x00 00000fba: SWAP1 00000fbb: SLOAD 00000fbc: SWAP1 00000fbd: PUSH2 0x0100 00000fc0: EXP 00000fc1: SWAP1 00000fc2: DIV 00000fc3: PUSH1 0xff 00000fc5: AND 00000fc6: PUSH2 0x0fce 00000fc9: JUMPI 00000fca: PUSH1 0x00 00000fcc: DUP1 00000fcd: REVERT 00000fce: JUMPDEST 00000fcf: PUSH1 0x00 00000fd1: JUMPDEST 00000fd2: DUP6 00000fd3: DUP6 00000fd4: SWAP1 00000fd5: POP 00000fd6: DUP2 00000fd7: LT 00000fd8: ISZERO 00000fd9: PUSH2 0x10b6 00000fdc: JUMPI 00000fdd: PUSH1 0x00 00000fdf: DUP1 00000fe0: DUP8 00000fe1: DUP8 00000fe2: DUP5 00000fe3: DUP2 00000fe4: DUP2 00000fe5: LT 00000fe6: PUSH2 0x0ff2 00000fe9: JUMPI 00000fea: PUSH2 0x0ff1 00000fed: PUSH2 0x1957 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: JUMPDEST 00000ff3: SWAP1 00000ff4: POP 00000ff5: PUSH1 0x20 00000ff7: MUL 00000ff8: ADD 00000ff9: PUSH1 0x20 00000ffb: DUP2 00000ffc: ADD 00000ffd: SWAP1 00000ffe: PUSH2 0x1007 00001001: SWAP2 00001002: SWAP1 00001003: PUSH2 0x125b 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101d: AND 0000101e: DUP7 0000101f: DUP7 00001020: DUP6 00001021: DUP2 00001022: DUP2 00001023: LT 00001024: PUSH2 0x1030 00001027: JUMPI 00001028: PUSH2 0x102f 0000102b: PUSH2 0x1957 0000102e: JUMP 0000102f: JUMPDEST 00001030: JUMPDEST 00001031: SWAP1 00001032: POP 00001033: PUSH1 0x20 00001035: MUL 00001036: DUP2 00001037: ADD 00001038: SWAP1 00001039: PUSH2 0x1042 0000103c: SWAP2 0000103d: SWAP1 0000103e: PUSH2 0x168e 00001041: JUMP 00001042: JUMPDEST 00001043: PUSH1 0x40 00001045: MLOAD 00001046: PUSH2 0x1050 00001049: SWAP3 0000104a: SWAP2 0000104b: SWAP1 0000104c: PUSH2 0x15ed 0000104f: JUMP 00001050: JUMPDEST 00001051: PUSH1 0x00 00001053: PUSH1 0x40 00001055: MLOAD 00001056: DUP1 00001057: DUP4 00001058: SUB 00001059: DUP2 0000105a: PUSH1 0x00 0000105c: DUP7 0000105d: GAS 0000105e: CALL 0000105f: SWAP2 00001060: POP 00001061: POP 00001062: RETURNDATASIZE 00001063: DUP1 00001064: PUSH1 0x00 00001066: DUP2 00001067: EQ 00001068: PUSH2 0x108d 0000106b: JUMPI 0000106c: PUSH1 0x40 0000106e: MLOAD 0000106f: SWAP2 00001070: POP 00001071: PUSH1 0x1f 00001073: NOT 00001074: PUSH1 0x3f 00001076: RETURNDATASIZE 00001077: ADD 00001078: AND 00001079: DUP3 0000107a: ADD 0000107b: PUSH1 0x40 0000107d: MSTORE 0000107e: RETURNDATASIZE 0000107f: DUP3 00001080: MSTORE 00001081: RETURNDATASIZE 00001082: PUSH1 0x00 00001084: PUSH1 0x20 00001086: DUP5 00001087: ADD 00001088: RETURNDATACOPY 00001089: PUSH2 0x1092 0000108c: JUMP 0000108d: JUMPDEST 0000108e: PUSH1 0x60 00001090: SWAP2 00001091: POP 00001092: JUMPDEST 00001093: POP 00001094: SWAP2 00001095: POP 00001096: SWAP2 00001097: POP 00001098: DUP2 00001099: PUSH2 0x10a1 0000109c: JUMPI 0000109d: PUSH1 0x00 0000109f: DUP1 000010a0: REVERT 000010a1: JUMPDEST 000010a2: POP 000010a3: POP 000010a4: DUP1 000010a5: DUP1 000010a6: PUSH2 0x10ae 000010a9: SWAP1 000010aa: PUSH2 0x18b0 000010ad: JUMP 000010ae: JUMPDEST 000010af: SWAP2 000010b0: POP 000010b1: POP 000010b2: PUSH2 0x0fd1 000010b5: JUMP 000010b6: JUMPDEST 000010b7: POP 000010b8: COINBASE 000010b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ce: AND 000010cf: PUSH2 0x08fc 000010d2: DUP3 000010d3: SWAP1 000010d4: DUP2 000010d5: ISZERO 000010d6: MUL 000010d7: SWAP1 000010d8: PUSH1 0x40 000010da: MLOAD 000010db: PUSH1 0x00 000010dd: PUSH1 0x40 000010df: MLOAD 000010e0: DUP1 000010e1: DUP4 000010e2: SUB 000010e3: DUP2 000010e4: DUP6 000010e5: DUP9 000010e6: DUP9 000010e7: CALL 000010e8: SWAP4 000010e9: POP 000010ea: POP 000010eb: POP 000010ec: POP 000010ed: ISZERO 000010ee: DUP1 000010ef: ISZERO 000010f0: PUSH2 0x10fd 000010f3: JUMPI 000010f4: RETURNDATASIZE 000010f5: PUSH1 0x00 000010f7: DUP1 000010f8: RETURNDATACOPY 000010f9: RETURNDATASIZE 000010fa: PUSH1 0x00 000010fc: REVERT 000010fd: JUMPDEST 000010fe: POP 000010ff: POP 00001100: POP 00001101: POP 00001102: POP 00001103: POP 00001104: JUMP 00001105: JUMPDEST 00001106: PUSH1 0x00 00001108: DUP2 00001109: CALLDATALOAD 0000110a: SWAP1 0000110b: POP 0000110c: PUSH2 0x1114 0000110f: DUP2 00001110: PUSH2 0x19ae 00001113: JUMP 00001114: JUMPDEST 00001115: SWAP3 00001116: SWAP2 00001117: POP 00001118: POP 00001119: JUMP 0000111a: JUMPDEST 0000111b: PUSH1 0x00 0000111d: DUP2 0000111e: CALLDATALOAD 0000111f: SWAP1 00001120: POP 00001121: PUSH2 0x1129 00001124: DUP2 00001125: PUSH2 0x19c5 00001128: JUMP 00001129: JUMPDEST 0000112a: SWAP3 0000112b: SWAP2 0000112c: POP 0000112d: POP 0000112e: JUMP 0000112f: JUMPDEST 00001130: PUSH1 0x00 00001132: DUP1 00001133: DUP4 00001134: PUSH1 0x1f 00001136: DUP5 00001137: ADD 00001138: SLT 00001139: PUSH2 0x1145 0000113c: JUMPI 0000113d: PUSH2 0x1144 00001140: PUSH2 0x198b 00001143: JUMP 00001144: JUMPDEST 00001145: JUMPDEST 00001146: DUP3 00001147: CALLDATALOAD 00001148: SWAP1 00001149: POP 0000114a: PUSH8 0xffffffffffffffff 00001153: DUP2 00001154: GT 00001155: ISZERO 00001156: PUSH2 0x1162 00001159: JUMPI 0000115a: PUSH2 0x1161 0000115d: PUSH2 0x1986 00001160: JUMP 00001161: JUMPDEST 00001162: JUMPDEST 00001163: PUSH1 0x20 00001165: DUP4 00001166: ADD 00001167: SWAP2 00001168: POP 00001169: DUP4 0000116a: PUSH1 0x20 0000116c: DUP3 0000116d: MUL 0000116e: DUP4 0000116f: ADD 00001170: GT 00001171: ISZERO 00001172: PUSH2 0x117e 00001175: JUMPI 00001176: PUSH2 0x117d 00001179: PUSH2 0x199a 0000117c: JUMP 0000117d: JUMPDEST 0000117e: JUMPDEST 0000117f: SWAP3 00001180: POP 00001181: SWAP3 00001182: SWAP1 00001183: POP 00001184: JUMP 00001185: JUMPDEST 00001186: PUSH1 0x00 00001188: DUP1 00001189: DUP4 0000118a: PUSH1 0x1f 0000118c: DUP5 0000118d: ADD 0000118e: SLT 0000118f: PUSH2 0x119b 00001192: JUMPI 00001193: PUSH2 0x119a 00001196: PUSH2 0x198b 00001199: JUMP 0000119a: JUMPDEST 0000119b: JUMPDEST 0000119c: DUP3 0000119d: CALLDATALOAD 0000119e: SWAP1 0000119f: POP 000011a0: PUSH8 0xffffffffffffffff 000011a9: DUP2 000011aa: GT 000011ab: ISZERO 000011ac: PUSH2 0x11b8 000011af: JUMPI 000011b0: PUSH2 0x11b7 000011b3: PUSH2 0x1986 000011b6: JUMP 000011b7: JUMPDEST 000011b8: JUMPDEST 000011b9: PUSH1 0x20 000011bb: DUP4 000011bc: ADD 000011bd: SWAP2 000011be: POP 000011bf: DUP4 000011c0: PUSH1 0x20 000011c2: DUP3 000011c3: MUL 000011c4: DUP4 000011c5: ADD 000011c6: GT 000011c7: ISZERO 000011c8: PUSH2 0x11d4 000011cb: JUMPI 000011cc: PUSH2 0x11d3 000011cf: PUSH2 0x199a 000011d2: JUMP 000011d3: JUMPDEST 000011d4: JUMPDEST 000011d5: SWAP3 000011d6: POP 000011d7: SWAP3 000011d8: SWAP1 000011d9: POP 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x00 000011de: DUP2 000011df: MLOAD 000011e0: SWAP1 000011e1: POP 000011e2: PUSH2 0x11ea 000011e5: DUP2 000011e6: PUSH2 0x19dc 000011e9: JUMP 000011ea: JUMPDEST 000011eb: SWAP3 000011ec: SWAP2 000011ed: POP 000011ee: POP 000011ef: JUMP 000011f0: JUMPDEST 000011f1: PUSH1 0x00 000011f3: DUP1 000011f4: DUP4 000011f5: PUSH1 0x1f 000011f7: DUP5 000011f8: ADD 000011f9: SLT 000011fa: PUSH2 0x1206 000011fd: JUMPI 000011fe: PUSH2 0x1205 00001201: PUSH2 0x198b 00001204: JUMP 00001205: JUMPDEST 00001206: JUMPDEST 00001207: DUP3 00001208: CALLDATALOAD 00001209: SWAP1 0000120a: POP 0000120b: PUSH8 0xffffffffffffffff 00001214: DUP2 00001215: GT 00001216: ISZERO 00001217: PUSH2 0x1223 0000121a: JUMPI 0000121b: PUSH2 0x1222 0000121e: PUSH2 0x1986 00001221: JUMP 00001222: JUMPDEST 00001223: JUMPDEST 00001224: PUSH1 0x20 00001226: DUP4 00001227: ADD 00001228: SWAP2 00001229: POP 0000122a: DUP4 0000122b: PUSH1 0x01 0000122d: DUP3 0000122e: MUL 0000122f: DUP4 00001230: ADD 00001231: GT 00001232: ISZERO 00001233: PUSH2 0x123f 00001236: JUMPI 00001237: PUSH2 0x123e 0000123a: PUSH2 0x199a 0000123d: JUMP 0000123e: JUMPDEST 0000123f: JUMPDEST 00001240: SWAP3 00001241: POP 00001242: SWAP3 00001243: SWAP1 00001244: POP 00001245: JUMP 00001246: JUMPDEST 00001247: PUSH1 0x00 00001249: DUP2 0000124a: CALLDATALOAD 0000124b: SWAP1 0000124c: POP 0000124d: PUSH2 0x1255 00001250: DUP2 00001251: PUSH2 0x19f3 00001254: JUMP 00001255: JUMPDEST 00001256: SWAP3 00001257: SWAP2 00001258: POP 00001259: POP 0000125a: JUMP 0000125b: JUMPDEST 0000125c: PUSH1 0x00 0000125e: PUSH1 0x20 00001260: DUP3 00001261: DUP5 00001262: SUB 00001263: SLT 00001264: ISZERO 00001265: PUSH2 0x1271 00001268: JUMPI 00001269: PUSH2 0x1270 0000126c: PUSH2 0x19a9 0000126f: JUMP 00001270: JUMPDEST 00001271: JUMPDEST 00001272: PUSH1 0x00 00001274: PUSH2 0x127f 00001277: DUP5 00001278: DUP3 00001279: DUP6 0000127a: ADD 0000127b: PUSH2 0x1105 0000127e: JUMP 0000127f: JUMPDEST 00001280: SWAP2 00001281: POP 00001282: POP 00001283: SWAP3 00001284: SWAP2 00001285: POP 00001286: POP 00001287: JUMP 00001288: JUMPDEST 00001289: PUSH1 0x00 0000128b: DUP1 0000128c: PUSH1 0x40 0000128e: DUP4 0000128f: DUP6 00001290: SUB 00001291: SLT 00001292: ISZERO 00001293: PUSH2 0x129f 00001296: JUMPI 00001297: PUSH2 0x129e 0000129a: PUSH2 0x19a9 0000129d: JUMP 0000129e: JUMPDEST 0000129f: JUMPDEST 000012a0: PUSH1 0x00 000012a2: PUSH2 0x12ad 000012a5: DUP6 000012a6: DUP3 000012a7: DUP7 000012a8: ADD 000012a9: PUSH2 0x111a 000012ac: JUMP 000012ad: JUMPDEST 000012ae: SWAP3 000012af: POP 000012b0: POP 000012b1: PUSH1 0x20 000012b3: PUSH2 0x12be 000012b6: DUP6 000012b7: DUP3 000012b8: DUP7 000012b9: ADD 000012ba: PUSH2 0x1246 000012bd: JUMP 000012be: JUMPDEST 000012bf: SWAP2 000012c0: POP 000012c1: POP 000012c2: SWAP3 000012c3: POP 000012c4: SWAP3 000012c5: SWAP1 000012c6: POP 000012c7: JUMP 000012c8: JUMPDEST 000012c9: PUSH1 0x00 000012cb: DUP1 000012cc: PUSH1 0x40 000012ce: DUP4 000012cf: DUP6 000012d0: SUB 000012d1: SLT 000012d2: ISZERO 000012d3: PUSH2 0x12df 000012d6: JUMPI 000012d7: PUSH2 0x12de 000012da: PUSH2 0x19a9 000012dd: JUMP 000012de: JUMPDEST 000012df: JUMPDEST 000012e0: PUSH1 0x00 000012e2: PUSH2 0x12ed 000012e5: DUP6 000012e6: DUP3 000012e7: DUP7 000012e8: ADD 000012e9: PUSH2 0x1105 000012ec: JUMP 000012ed: JUMPDEST 000012ee: SWAP3 000012ef: POP 000012f0: POP 000012f1: PUSH1 0x20 000012f3: PUSH2 0x12fe 000012f6: DUP6 000012f7: DUP3 000012f8: DUP7 000012f9: ADD 000012fa: PUSH2 0x1105 000012fd: JUMP 000012fe: JUMPDEST 000012ff: SWAP2 00001300: POP 00001301: POP 00001302: SWAP3 00001303: POP 00001304: SWAP3 00001305: SWAP1 00001306: POP 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH1 0x00 0000130b: DUP1 0000130c: PUSH1 0x00 0000130e: PUSH1 0x40 00001310: DUP5 00001311: DUP7 00001312: SUB 00001313: SLT 00001314: ISZERO 00001315: PUSH2 0x1321 00001318: JUMPI 00001319: PUSH2 0x1320 0000131c: PUSH2 0x19a9 0000131f: JUMP 00001320: JUMPDEST 00001321: JUMPDEST 00001322: PUSH1 0x00 00001324: PUSH2 0x132f 00001327: DUP7 00001328: DUP3 00001329: DUP8 0000132a: ADD 0000132b: PUSH2 0x1105 0000132e: JUMP 0000132f: JUMPDEST 00001330: SWAP4 00001331: POP 00001332: POP 00001333: PUSH1 0x20 00001335: DUP5 00001336: ADD 00001337: CALLDATALOAD 00001338: PUSH8 0xffffffffffffffff 00001341: DUP2 00001342: GT 00001343: ISZERO 00001344: PUSH2 0x1350 00001347: JUMPI 00001348: PUSH2 0x134f 0000134b: PUSH2 0x19a4 0000134e: JUMP 0000134f: JUMPDEST 00001350: JUMPDEST 00001351: PUSH2 0x135c 00001354: DUP7 00001355: DUP3 00001356: DUP8 00001357: ADD 00001358: PUSH2 0x11f0 0000135b: JUMP 0000135c: JUMPDEST 0000135d: SWAP3 0000135e: POP 0000135f: SWAP3 00001360: POP 00001361: POP 00001362: SWAP3 00001363: POP 00001364: SWAP3 00001365: POP 00001366: SWAP3 00001367: JUMP 00001368: JUMPDEST 00001369: PUSH1 0x00 0000136b: DUP1 0000136c: PUSH1 0x00 0000136e: DUP1 0000136f: PUSH1 0x60 00001371: DUP6 00001372: DUP8 00001373: SUB 00001374: SLT 00001375: ISZERO 00001376: PUSH2 0x1382 00001379: JUMPI 0000137a: PUSH2 0x1381 0000137d: PUSH2 0x19a9 00001380: JUMP 00001381: JUMPDEST 00001382: JUMPDEST 00001383: PUSH1 0x00 00001385: PUSH2 0x1390 00001388: DUP8 00001389: DUP3 0000138a: DUP9 0000138b: ADD 0000138c: PUSH2 0x1105 0000138f: JUMP 00001390: JUMPDEST 00001391: SWAP5 00001392: POP 00001393: POP 00001394: PUSH1 0x20 00001396: DUP6 00001397: ADD 00001398: CALLDATALOAD 00001399: PUSH8 0xffffffffffffffff 000013a2: DUP2 000013a3: GT 000013a4: ISZERO 000013a5: PUSH2 0x13b1 000013a8: JUMPI 000013a9: PUSH2 0x13b0 000013ac: PUSH2 0x19a4 000013af: JUMP 000013b0: JUMPDEST 000013b1: JUMPDEST 000013b2: PUSH2 0x13bd 000013b5: DUP8 000013b6: DUP3 000013b7: DUP9 000013b8: ADD 000013b9: PUSH2 0x11f0 000013bc: JUMP 000013bd: JUMPDEST 000013be: SWAP4 000013bf: POP 000013c0: SWAP4 000013c1: POP 000013c2: POP 000013c3: PUSH1 0x40 000013c5: PUSH2 0x13d0 000013c8: DUP8 000013c9: DUP3 000013ca: DUP9 000013cb: ADD 000013cc: PUSH2 0x1246 000013cf: JUMP 000013d0: JUMPDEST 000013d1: SWAP2 000013d2: POP 000013d3: POP 000013d4: SWAP3 000013d5: SWAP6 000013d6: SWAP2 000013d7: SWAP5 000013d8: POP 000013d9: SWAP3 000013da: POP 000013db: JUMP 000013dc: JUMPDEST 000013dd: PUSH1 0x00 000013df: DUP1 000013e0: PUSH1 0x40 000013e2: DUP4 000013e3: DUP6 000013e4: SUB 000013e5: SLT 000013e6: ISZERO 000013e7: PUSH2 0x13f3 000013ea: JUMPI 000013eb: PUSH2 0x13f2 000013ee: PUSH2 0x19a9 000013f1: JUMP 000013f2: JUMPDEST 000013f3: JUMPDEST 000013f4: PUSH1 0x00 000013f6: PUSH2 0x1401 000013f9: DUP6 000013fa: DUP3 000013fb: DUP7 000013fc: ADD 000013fd: PUSH2 0x1105 00001400: JUMP 00001401: JUMPDEST 00001402: SWAP3 00001403: POP 00001404: POP 00001405: PUSH1 0x20 00001407: PUSH2 0x1412 0000140a: DUP6 0000140b: DUP3 0000140c: DUP7 0000140d: ADD 0000140e: PUSH2 0x1246 00001411: JUMP 00001412: JUMPDEST 00001413: SWAP2 00001414: POP 00001415: POP 00001416: SWAP3 00001417: POP 00001418: SWAP3 00001419: SWAP1 0000141a: POP 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH1 0x00 0000141f: DUP1 00001420: PUSH1 0x00 00001422: DUP1 00001423: PUSH1 0x40 00001425: DUP6 00001426: DUP8 00001427: SUB 00001428: SLT 00001429: ISZERO 0000142a: PUSH2 0x1436 0000142d: JUMPI 0000142e: PUSH2 0x1435 00001431: PUSH2 0x19a9 00001434: JUMP 00001435: JUMPDEST 00001436: JUMPDEST 00001437: PUSH1 0x00 00001439: DUP6 0000143a: ADD 0000143b: CALLDATALOAD 0000143c: PUSH8 0xffffffffffffffff 00001445: DUP2 00001446: GT 00001447: ISZERO 00001448: PUSH2 0x1454 0000144b: JUMPI 0000144c: PUSH2 0x1453 0000144f: PUSH2 0x19a4 00001452: JUMP 00001453: JUMPDEST 00001454: JUMPDEST 00001455: PUSH2 0x1460 00001458: DUP8 00001459: DUP3 0000145a: DUP9 0000145b: ADD 0000145c: PUSH2 0x112f 0000145f: JUMP 00001460: JUMPDEST 00001461: SWAP5 00001462: POP 00001463: SWAP5 00001464: POP 00001465: POP 00001466: PUSH1 0x20 00001468: DUP6 00001469: ADD 0000146a: CALLDATALOAD 0000146b: PUSH8 0xffffffffffffffff 00001474: DUP2 00001475: GT 00001476: ISZERO 00001477: PUSH2 0x1483 0000147a: JUMPI 0000147b: PUSH2 0x1482 0000147e: PUSH2 0x19a4 00001481: JUMP 00001482: JUMPDEST 00001483: JUMPDEST 00001484: PUSH2 0x148f 00001487: DUP8 00001488: DUP3 00001489: DUP9 0000148a: ADD 0000148b: PUSH2 0x1185 0000148e: JUMP 0000148f: JUMPDEST 00001490: SWAP3 00001491: POP 00001492: SWAP3 00001493: POP 00001494: POP 00001495: SWAP3 00001496: SWAP6 00001497: SWAP2 00001498: SWAP5 00001499: POP 0000149a: SWAP3 0000149b: POP 0000149c: JUMP 0000149d: JUMPDEST 0000149e: PUSH1 0x00 000014a0: DUP1 000014a1: PUSH1 0x00 000014a3: DUP1 000014a4: PUSH1 0x00 000014a6: PUSH1 0x60 000014a8: DUP7 000014a9: DUP9 000014aa: SUB 000014ab: SLT 000014ac: ISZERO 000014ad: PUSH2 0x14b9 000014b0: JUMPI 000014b1: PUSH2 0x14b8 000014b4: PUSH2 0x19a9 000014b7: JUMP 000014b8: JUMPDEST 000014b9: JUMPDEST 000014ba: PUSH1 0x00 000014bc: DUP7 000014bd: ADD 000014be: CALLDATALOAD 000014bf: PUSH8 0xffffffffffffffff 000014c8: DUP2 000014c9: GT 000014ca: ISZERO 000014cb: PUSH2 0x14d7 000014ce: JUMPI 000014cf: PUSH2 0x14d6 000014d2: PUSH2 0x19a4 000014d5: JUMP 000014d6: JUMPDEST 000014d7: JUMPDEST 000014d8: PUSH2 0x14e3 000014db: DUP9 000014dc: DUP3 000014dd: DUP10 000014de: ADD 000014df: PUSH2 0x112f 000014e2: JUMP 000014e3: JUMPDEST 000014e4: SWAP6 000014e5: POP 000014e6: SWAP6 000014e7: POP 000014e8: POP 000014e9: PUSH1 0x20 000014eb: DUP7 000014ec: ADD 000014ed: CALLDATALOAD 000014ee: PUSH8 0xffffffffffffffff 000014f7: DUP2 000014f8: GT 000014f9: ISZERO 000014fa: PUSH2 0x1506 000014fd: JUMPI 000014fe: PUSH2 0x1505 00001501: PUSH2 0x19a4 00001504: JUMP 00001505: JUMPDEST 00001506: JUMPDEST 00001507: PUSH2 0x1512 0000150a: DUP9 0000150b: DUP3 0000150c: DUP10 0000150d: ADD 0000150e: PUSH2 0x1185 00001511: JUMP 00001512: JUMPDEST 00001513: SWAP4 00001514: POP 00001515: SWAP4 00001516: POP 00001517: POP 00001518: PUSH1 0x40 0000151a: PUSH2 0x1525 0000151d: DUP9 0000151e: DUP3 0000151f: DUP10 00001520: ADD 00001521: PUSH2 0x1246 00001524: JUMP 00001525: JUMPDEST 00001526: SWAP2 00001527: POP 00001528: POP 00001529: SWAP3 0000152a: SWAP6 0000152b: POP 0000152c: SWAP3 0000152d: SWAP6 0000152e: SWAP1 0000152f: SWAP4 00001530: POP 00001531: JUMP 00001532: JUMPDEST 00001533: PUSH1 0x00 00001535: PUSH1 0x20 00001537: DUP3 00001538: DUP5 00001539: SUB 0000153a: SLT 0000153b: ISZERO 0000153c: PUSH2 0x1548 0000153f: JUMPI 00001540: PUSH2 0x1547 00001543: PUSH2 0x19a9 00001546: JUMP 00001547: JUMPDEST 00001548: JUMPDEST 00001549: PUSH1 0x00 0000154b: PUSH2 0x1556 0000154e: DUP5 0000154f: DUP3 00001550: DUP6 00001551: ADD 00001552: PUSH2 0x11db 00001555: JUMP 00001556: JUMPDEST 00001557: SWAP2 00001558: POP 00001559: POP 0000155a: SWAP3 0000155b: SWAP2 0000155c: POP 0000155d: POP 0000155e: JUMP 0000155f: JUMPDEST 00001560: PUSH1 0x00 00001562: PUSH1 0x20 00001564: DUP3 00001565: DUP5 00001566: SUB 00001567: SLT 00001568: ISZERO 00001569: PUSH2 0x1575 0000156c: JUMPI 0000156d: PUSH2 0x1574 00001570: PUSH2 0x19a9 00001573: JUMP 00001574: JUMPDEST 00001575: JUMPDEST 00001576: PUSH1 0x00 00001578: PUSH2 0x1583 0000157b: DUP5 0000157c: DUP3 0000157d: DUP6 0000157e: ADD 0000157f: PUSH2 0x1246 00001582: JUMP 00001583: JUMPDEST 00001584: SWAP2 00001585: POP 00001586: POP 00001587: SWAP3 00001588: SWAP2 00001589: POP 0000158a: POP 0000158b: JUMP 0000158c: JUMPDEST 0000158d: PUSH2 0x1595 00001590: DUP2 00001591: PUSH2 0x1811 00001594: JUMP 00001595: JUMPDEST 00001596: DUP3 00001597: MSTORE 00001598: POP 00001599: POP 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH1 0x00 0000159e: PUSH2 0x15a7 000015a1: DUP4 000015a2: DUP6 000015a3: PUSH2 0x16f1 000015a6: JUMP 000015a7: JUMPDEST 000015a8: SWAP4 000015a9: POP 000015aa: PUSH2 0x15b4 000015ad: DUP4 000015ae: DUP6 000015af: DUP5 000015b0: PUSH2 0x18a1 000015b3: JUMP 000015b4: JUMPDEST 000015b5: DUP3 000015b6: DUP5 000015b7: ADD 000015b8: SWAP1 000015b9: POP 000015ba: SWAP4 000015bb: SWAP3 000015bc: POP 000015bd: POP 000015be: POP 000015bf: JUMP 000015c0: JUMPDEST 000015c1: PUSH2 0x15c9 000015c4: DUP2 000015c5: PUSH2 0x186b 000015c8: JUMP 000015c9: JUMPDEST 000015ca: DUP3 000015cb: MSTORE 000015cc: POP 000015cd: POP 000015ce: JUMP 000015cf: JUMPDEST 000015d0: PUSH2 0x15d8 000015d3: DUP2 000015d4: PUSH2 0x188f 000015d7: JUMP 000015d8: JUMPDEST 000015d9: DUP3 000015da: MSTORE 000015db: POP 000015dc: POP 000015dd: JUMP 000015de: JUMPDEST 000015df: PUSH2 0x15e7 000015e2: DUP2 000015e3: PUSH2 0x1861 000015e6: JUMP 000015e7: JUMPDEST 000015e8: DUP3 000015e9: MSTORE 000015ea: POP 000015eb: POP 000015ec: JUMP 000015ed: JUMPDEST 000015ee: PUSH1 0x00 000015f0: PUSH2 0x15fa 000015f3: DUP3 000015f4: DUP5 000015f5: DUP7 000015f6: PUSH2 0x159b 000015f9: JUMP 000015fa: JUMPDEST 000015fb: SWAP2 000015fc: POP 000015fd: DUP2 000015fe: SWAP1 000015ff: POP 00001600: SWAP4 00001601: SWAP3 00001602: POP 00001603: POP 00001604: POP 00001605: JUMP 00001606: JUMPDEST 00001607: PUSH1 0x00 00001609: PUSH1 0x40 0000160b: DUP3 0000160c: ADD 0000160d: SWAP1 0000160e: POP 0000160f: PUSH2 0x161b 00001612: PUSH1 0x00 00001614: DUP4 00001615: ADD 00001616: DUP6 00001617: PUSH2 0x158c 0000161a: JUMP 0000161b: JUMPDEST 0000161c: PUSH2 0x1628 0000161f: PUSH1 0x20 00001621: DUP4 00001622: ADD 00001623: DUP5 00001624: PUSH2 0x15cf 00001627: JUMP 00001628: JUMPDEST 00001629: SWAP4 0000162a: SWAP3 0000162b: POP 0000162c: POP 0000162d: POP 0000162e: JUMP 0000162f: JUMPDEST 00001630: PUSH1 0x00 00001632: PUSH1 0x40 00001634: DUP3 00001635: ADD 00001636: SWAP1 00001637: POP 00001638: PUSH2 0x1644 0000163b: PUSH1 0x00 0000163d: DUP4 0000163e: ADD 0000163f: DUP6 00001640: PUSH2 0x158c 00001643: JUMP 00001644: JUMPDEST 00001645: PUSH2 0x1651 00001648: PUSH1 0x20 0000164a: DUP4 0000164b: ADD 0000164c: DUP5 0000164d: PUSH2 0x15de 00001650: JUMP 00001651: JUMPDEST 00001652: SWAP4 00001653: SWAP3 00001654: POP 00001655: POP 00001656: POP 00001657: JUMP 00001658: JUMPDEST 00001659: PUSH1 0x00 0000165b: PUSH1 0x20 0000165d: DUP3 0000165e: ADD 0000165f: SWAP1 00001660: POP 00001661: PUSH2 0x166d 00001664: PUSH1 0x00 00001666: DUP4 00001667: ADD 00001668: DUP5 00001669: PUSH2 0x15c0 0000166c: JUMP 0000166d: JUMPDEST 0000166e: SWAP3 0000166f: SWAP2 00001670: POP 00001671: POP 00001672: JUMP 00001673: JUMPDEST 00001674: PUSH1 0x00 00001676: PUSH1 0x20 00001678: DUP3 00001679: ADD 0000167a: SWAP1 0000167b: POP 0000167c: PUSH2 0x1688 0000167f: PUSH1 0x00 00001681: DUP4 00001682: ADD 00001683: DUP5 00001684: PUSH2 0x15de 00001687: JUMP 00001688: JUMPDEST 00001689: SWAP3 0000168a: SWAP2 0000168b: POP 0000168c: POP 0000168d: JUMP 0000168e: JUMPDEST 0000168f: PUSH1 0x00 00001691: DUP1 00001692: DUP4 00001693: CALLDATALOAD 00001694: PUSH1 0x01 00001696: PUSH1 0x20 00001698: SUB 00001699: DUP5 0000169a: CALLDATASIZE 0000169b: SUB 0000169c: SUB 0000169d: DUP2 0000169e: SLT 0000169f: PUSH2 0x16ab 000016a2: JUMPI 000016a3: PUSH2 0x16aa 000016a6: PUSH2 0x1995 000016a9: JUMP 000016aa: JUMPDEST 000016ab: JUMPDEST 000016ac: DUP1 000016ad: DUP5 000016ae: ADD 000016af: SWAP3 000016b0: POP 000016b1: DUP3 000016b2: CALLDATALOAD 000016b3: SWAP2 000016b4: POP 000016b5: PUSH8 0xffffffffffffffff 000016be: DUP3 000016bf: GT 000016c0: ISZERO 000016c1: PUSH2 0x16cd 000016c4: JUMPI 000016c5: PUSH2 0x16cc 000016c8: PUSH2 0x1990 000016cb: JUMP 000016cc: JUMPDEST 000016cd: JUMPDEST 000016ce: PUSH1 0x20 000016d0: DUP4 000016d1: ADD 000016d2: SWAP3 000016d3: POP 000016d4: PUSH1 0x01 000016d6: DUP3 000016d7: MUL 000016d8: CALLDATASIZE 000016d9: SUB 000016da: DUP4 000016db: SGT 000016dc: ISZERO 000016dd: PUSH2 0x16e9 000016e0: JUMPI 000016e1: PUSH2 0x16e8 000016e4: PUSH2 0x199f 000016e7: JUMP 000016e8: JUMPDEST 000016e9: JUMPDEST 000016ea: POP 000016eb: SWAP3 000016ec: POP 000016ed: SWAP3 000016ee: SWAP1 000016ef: POP 000016f0: JUMP 000016f1: JUMPDEST 000016f2: PUSH1 0x00 000016f4: DUP2 000016f5: SWAP1 000016f6: POP 000016f7: SWAP3 000016f8: SWAP2 000016f9: POP 000016fa: POP 000016fb: JUMP 000016fc: JUMPDEST 000016fd: PUSH1 0x00 000016ff: PUSH2 0x1707 00001702: DUP3 00001703: PUSH2 0x1861 00001706: JUMP 00001707: JUMPDEST 00001708: SWAP2 00001709: POP 0000170a: PUSH2 0x1712 0000170d: DUP4 0000170e: PUSH2 0x1861 00001711: JUMP 00001712: JUMPDEST 00001713: SWAP3 00001714: POP 00001715: DUP3 00001716: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001737: SUB 00001738: DUP3 00001739: GT 0000173a: ISZERO 0000173b: PUSH2 0x1747 0000173e: JUMPI 0000173f: PUSH2 0x1746 00001742: PUSH2 0x18f9 00001745: JUMP 00001746: JUMPDEST 00001747: JUMPDEST 00001748: DUP3 00001749: DUP3 0000174a: ADD 0000174b: SWAP1 0000174c: POP 0000174d: SWAP3 0000174e: SWAP2 0000174f: POP 00001750: POP 00001751: JUMP 00001752: JUMPDEST 00001753: PUSH1 0x00 00001755: PUSH2 0x175d 00001758: DUP3 00001759: PUSH2 0x1861 0000175c: JUMP 0000175d: JUMPDEST 0000175e: SWAP2 0000175f: POP 00001760: PUSH2 0x1768 00001763: DUP4 00001764: PUSH2 0x1861 00001767: JUMP 00001768: JUMPDEST 00001769: SWAP3 0000176a: POP 0000176b: DUP3 0000176c: PUSH2 0x1778 0000176f: JUMPI 00001770: PUSH2 0x1777 00001773: PUSH2 0x1928 00001776: JUMP 00001777: JUMPDEST 00001778: JUMPDEST 00001779: DUP3 0000177a: DUP3 0000177b: DIV 0000177c: SWAP1 0000177d: POP 0000177e: SWAP3 0000177f: SWAP2 00001780: POP 00001781: POP 00001782: JUMP 00001783: JUMPDEST 00001784: PUSH1 0x00 00001786: PUSH2 0x178e 00001789: DUP3 0000178a: PUSH2 0x1861 0000178d: JUMP 0000178e: JUMPDEST 0000178f: SWAP2 00001790: POP 00001791: PUSH2 0x1799 00001794: DUP4 00001795: PUSH2 0x1861 00001798: JUMP 00001799: JUMPDEST 0000179a: SWAP3 0000179b: POP 0000179c: DUP2 0000179d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000017be: DIV 000017bf: DUP4 000017c0: GT 000017c1: DUP3 000017c2: ISZERO 000017c3: ISZERO 000017c4: AND 000017c5: ISZERO 000017c6: PUSH2 0x17d2 000017c9: JUMPI 000017ca: PUSH2 0x17d1 000017cd: PUSH2 0x18f9 000017d0: JUMP 000017d1: JUMPDEST 000017d2: JUMPDEST 000017d3: DUP3 000017d4: DUP3 000017d5: MUL 000017d6: SWAP1 000017d7: POP 000017d8: SWAP3 000017d9: SWAP2 000017da: POP 000017db: POP 000017dc: JUMP 000017dd: JUMPDEST 000017de: PUSH1 0x00 000017e0: PUSH2 0x17e8 000017e3: DUP3 000017e4: PUSH2 0x1861 000017e7: JUMP 000017e8: JUMPDEST 000017e9: SWAP2 000017ea: POP 000017eb: PUSH2 0x17f3 000017ee: DUP4 000017ef: PUSH2 0x1861 000017f2: JUMP 000017f3: JUMPDEST 000017f4: SWAP3 000017f5: POP 000017f6: DUP3 000017f7: DUP3 000017f8: LT 000017f9: ISZERO 000017fa: PUSH2 0x1806 000017fd: JUMPI 000017fe: PUSH2 0x1805 00001801: PUSH2 0x18f9 00001804: JUMP 00001805: JUMPDEST 00001806: JUMPDEST 00001807: DUP3 00001808: DUP3 00001809: SUB 0000180a: SWAP1 0000180b: POP 0000180c: SWAP3 0000180d: SWAP2 0000180e: POP 0000180f: POP 00001810: JUMP 00001811: JUMPDEST 00001812: PUSH1 0x00 00001814: PUSH2 0x181c 00001817: DUP3 00001818: PUSH2 0x1841 0000181b: JUMP 0000181c: JUMPDEST 0000181d: SWAP1 0000181e: POP 0000181f: SWAP2 00001820: SWAP1 00001821: POP 00001822: JUMP 00001823: JUMPDEST 00001824: PUSH1 0x00 00001826: PUSH2 0x182e 00001829: DUP3 0000182a: PUSH2 0x1841 0000182d: JUMP 0000182e: JUMPDEST 0000182f: SWAP1 00001830: POP 00001831: SWAP2 00001832: SWAP1 00001833: POP 00001834: JUMP 00001835: JUMPDEST 00001836: PUSH1 0x00 00001838: DUP2 00001839: ISZERO 0000183a: ISZERO 0000183b: SWAP1 0000183c: POP 0000183d: SWAP2 0000183e: SWAP1 0000183f: POP 00001840: JUMP 00001841: JUMPDEST 00001842: PUSH1 0x00 00001844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001859: DUP3 0000185a: AND 0000185b: SWAP1 0000185c: POP 0000185d: SWAP2 0000185e: SWAP1 0000185f: POP 00001860: JUMP 00001861: JUMPDEST 00001862: PUSH1 0x00 00001864: DUP2 00001865: SWAP1 00001866: POP 00001867: SWAP2 00001868: SWAP1 00001869: POP 0000186a: JUMP 0000186b: JUMPDEST 0000186c: PUSH1 0x00 0000186e: PUSH2 0x1876 00001871: DUP3 00001872: PUSH2 0x187d 00001875: JUMP 00001876: JUMPDEST 00001877: SWAP1 00001878: POP 00001879: SWAP2 0000187a: SWAP1 0000187b: POP 0000187c: JUMP 0000187d: JUMPDEST 0000187e: PUSH1 0x00 00001880: PUSH2 0x1888 00001883: DUP3 00001884: PUSH2 0x1841 00001887: JUMP 00001888: JUMPDEST 00001889: SWAP1 0000188a: POP 0000188b: SWAP2 0000188c: SWAP1 0000188d: POP 0000188e: JUMP 0000188f: JUMPDEST 00001890: PUSH1 0x00 00001892: PUSH2 0x189a 00001895: DUP3 00001896: PUSH2 0x1861 00001899: JUMP 0000189a: JUMPDEST 0000189b: SWAP1 0000189c: POP 0000189d: SWAP2 0000189e: SWAP1 0000189f: POP 000018a0: JUMP 000018a1: JUMPDEST 000018a2: DUP3 000018a3: DUP2 000018a4: DUP4 000018a5: CALLDATACOPY 000018a6: PUSH1 0x00 000018a8: DUP4 000018a9: DUP4 000018aa: ADD 000018ab: MSTORE 000018ac: POP 000018ad: POP 000018ae: POP 000018af: JUMP 000018b0: JUMPDEST 000018b1: PUSH1 0x00 000018b3: PUSH2 0x18bb 000018b6: DUP3 000018b7: PUSH2 0x1861 000018ba: JUMP 000018bb: JUMPDEST 000018bc: SWAP2 000018bd: POP 000018be: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000018df: DUP3 000018e0: EQ 000018e1: ISZERO 000018e2: PUSH2 0x18ee 000018e5: JUMPI 000018e6: PUSH2 0x18ed 000018e9: PUSH2 0x18f9 000018ec: JUMP 000018ed: JUMPDEST 000018ee: JUMPDEST 000018ef: PUSH1 0x01 000018f1: DUP3 000018f2: ADD 000018f3: SWAP1 000018f4: POP 000018f5: SWAP2 000018f6: SWAP1 000018f7: POP 000018f8: JUMP 000018f9: JUMPDEST 000018fa: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000191b: PUSH1 0x00 0000191d: MSTORE 0000191e: PUSH1 0x11 00001920: PUSH1 0x04 00001922: MSTORE 00001923: PUSH1 0x24 00001925: PUSH1 0x00 00001927: REVERT 00001928: JUMPDEST 00001929: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000194a: PUSH1 0x00 0000194c: MSTORE 0000194d: PUSH1 0x12 0000194f: PUSH1 0x04 00001951: MSTORE 00001952: PUSH1 0x24 00001954: PUSH1 0x00 00001956: REVERT 00001957: JUMPDEST 00001958: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001979: PUSH1 0x00 0000197b: MSTORE 0000197c: PUSH1 0x32 0000197e: PUSH1 0x04 00001980: MSTORE 00001981: PUSH1 0x24 00001983: PUSH1 0x00 00001985: REVERT 00001986: JUMPDEST 00001987: PUSH1 0x00 00001989: DUP1 0000198a: REVERT 0000198b: JUMPDEST 0000198c: PUSH1 0x00 0000198e: DUP1 0000198f: REVERT 00001990: JUMPDEST 00001991: PUSH1 0x00 00001993: DUP1 00001994: REVERT 00001995: JUMPDEST 00001996: PUSH1 0x00 00001998: DUP1 00001999: REVERT 0000199a: JUMPDEST 0000199b: PUSH1 0x00 0000199d: DUP1 0000199e: REVERT 0000199f: JUMPDEST 000019a0: PUSH1 0x00 000019a2: DUP1 000019a3: REVERT 000019a4: JUMPDEST 000019a5: PUSH1 0x00 000019a7: DUP1 000019a8: REVERT 000019a9: JUMPDEST 000019aa: PUSH1 0x00 000019ac: DUP1 000019ad: REVERT 000019ae: JUMPDEST 000019af: PUSH2 0x19b7 000019b2: DUP2 000019b3: PUSH2 0x1811 000019b6: JUMP 000019b7: JUMPDEST 000019b8: DUP2 000019b9: EQ 000019ba: PUSH2 0x19c2 000019bd: JUMPI 000019be: PUSH1 0x00 000019c0: DUP1 000019c1: REVERT 000019c2: JUMPDEST 000019c3: POP 000019c4: JUMP 000019c5: JUMPDEST 000019c6: PUSH2 0x19ce 000019c9: DUP2 000019ca: PUSH2 0x1823 000019cd: JUMP 000019ce: JUMPDEST 000019cf: DUP2 000019d0: EQ 000019d1: PUSH2 0x19d9 000019d4: JUMPI 000019d5: PUSH1 0x00 000019d7: DUP1 000019d8: REVERT 000019d9: JUMPDEST 000019da: POP 000019db: JUMP 000019dc: JUMPDEST 000019dd: PUSH2 0x19e5 000019e0: DUP2 000019e1: PUSH2 0x1835 000019e4: JUMP 000019e5: JUMPDEST 000019e6: DUP2 000019e7: EQ 000019e8: PUSH2 0x19f0 000019eb: JUMPI 000019ec: PUSH1 0x00 000019ee: DUP1 000019ef: REVERT 000019f0: JUMPDEST 000019f1: POP 000019f2: JUMP 000019f3: JUMPDEST 000019f4: PUSH2 0x19fc 000019f7: DUP2 000019f8: PUSH2 0x1861 000019fb: JUMP 000019fc: JUMPDEST 000019fd: DUP2 000019fe: EQ 000019ff: PUSH2 0x1a07 00001a02: JUMPI 00001a03: PUSH1 0x00 00001a05: DUP1 00001a06: REVERT 00001a07: JUMPDEST 00001a08: POP 00001a09: JUMP 00001a0a: INVALID 00001a0b: LOG2 00001a0c: PUSH5 0x6970667358 00001a12: UNKNOWN(0x22) 00001a13: SLT 00001a14: KECCAK256 00001a15: CODESIZE 00001a16: UNKNOWN(0xC0) 00001a17: AND 00001a18: SWAP11 00001a19: BLOCKHASH 00001a1a: UNKNOWN(0xF9) 00001a1b: UNKNOWN(0xE1) 00001a1c: DUP8 00001a1d: UNKNOWN(0x2E) 00001a1e: SWAP14 00001a1f: PUSH32 0x97cef8c6da5affc78231455dfba361600c3deb711864736f6c63430008060033
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x33cde181283718ea7b5f508b9ac9d7280733303f56ca9c37dcf8d34669498de7
call_targets:
0x8180454af91839637181c94a56fc7650fd8a30c4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x33cde181283718ea7b5f508b9ac9d7280733303f56ca9c37dcf8d34669498de7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8180454af91839637181c94a56fc7650fd8a30c4"
],
"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": "0xc92aecc4",
"selector": "0xc92aecc4",
"calldata_variants": [
"0xc92aecc4",
"0xc92aecc40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd8d69e8",
"selector": "0xcd8d69e8",
"calldata_variants": [
"0xcd8d69e8",
"0xcd8d69e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7f79ead",
"selector": "0xd7f79ead",
"calldata_variants": [
"0xd7f79ead",
"0xd7f79ead0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc696096",
"selector": "0xfc696096",
"calldata_variants": [
"0xfc696096",
"0xfc6960960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61065fdd",
"selector": "0x61065fdd",
"calldata_variants": [
"0x61065fdd",
"0x61065fdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1db9782",
"selector": "0xa1db9782",
"calldata_variants": [
"0xa1db9782",
"0xa1db97820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9346c09",
"selector": "0xb9346c09",
"calldata_variants": [
"0xb9346c09",
"0xb9346c090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15124476",
"selector": "0x15124476",
"calldata_variants": [
"0x15124476",
"0x151244760000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 953,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1205,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1458,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 17,
"guards_detected": [
{
"pc": 801,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1067,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1609,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1787,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2844,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3078,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 17
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x33cde181283718ea7b5f508b9ac9d7280733303f56ca9c37dcf8d34669498de7
call_targets:
0x8180454af91839637181c94a56fc7650fd8a30c4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x33cde181283718ea7b5f508b9ac9d7280733303f56ca9c37dcf8d34669498de7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8180454af91839637181c94a56fc7650fd8a30c4"
],
"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": "0xc92aecc4",
"selector": "0xc92aecc4",
"calldata_variants": [
"0xc92aecc4",
"0xc92aecc40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd8d69e8",
"selector": "0xcd8d69e8",
"calldata_variants": [
"0xcd8d69e8",
"0xcd8d69e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7f79ead",
"selector": "0xd7f79ead",
"calldata_variants": [
"0xd7f79ead",
"0xd7f79ead0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc696096",
"selector": "0xfc696096",
"calldata_variants": [
"0xfc696096",
"0xfc6960960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61065fdd",
"selector": "0x61065fdd",
"calldata_variants": [
"0x61065fdd",
"0x61065fdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa1db9782",
"selector": "0xa1db9782",
"calldata_variants": [
"0xa1db9782",
"0xa1db97820000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9346c09",
"selector": "0xb9346c09",
"calldata_variants": [
"0xb9346c09",
"0xb9346c090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15124476",
"selector": "0x15124476",
"calldata_variants": [
"0x15124476",
"0x151244760000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 953,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1205,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1458,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 17,
"guards_detected": [
{
"pc": 801,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1067,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1609,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1787,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2844,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3078,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|