019b477e-d33e-72e3-9f0e-80e0a94c0837
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 |
|---|---|---|---|---|
| 28111 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28112 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103157 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 103158 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 103159 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 103160 | 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 0x004e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x89476069 00000019: EQ 0000001a: PUSH2 0x005a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x0083 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbfd33103 0000002f: EQ 00000030: PUSH2 0x00ae 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdc8e516f 0000003a: EQ 0000003b: PUSH2 0x00eb 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf4e91b23 00000045: EQ 00000046: PUSH2 0x0102 00000049: JUMPI 0000004a: PUSH2 0x0055 0000004d: JUMP 0000004e: JUMPDEST 0000004f: CALLDATASIZE 00000050: PUSH2 0x0055 00000053: JUMPI 00000054: STOP 00000055: JUMPDEST 00000056: PUSH1 0x00 00000058: DUP1 00000059: REVERT 0000005a: JUMPDEST 0000005b: CALLVALUE 0000005c: DUP1 0000005d: ISZERO 0000005e: PUSH2 0x0066 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: POP 00000068: PUSH2 0x0081 0000006b: PUSH1 0x04 0000006d: DUP1 0000006e: CALLDATASIZE 0000006f: SUB 00000070: DUP2 00000071: ADD 00000072: SWAP1 00000073: PUSH2 0x007c 00000076: SWAP2 00000077: SWAP1 00000078: PUSH2 0x0bca 0000007b: JUMP 0000007c: JUMPDEST 0000007d: PUSH2 0x013f 00000080: JUMP 00000081: JUMPDEST 00000082: STOP 00000083: JUMPDEST 00000084: CALLVALUE 00000085: DUP1 00000086: ISZERO 00000087: PUSH2 0x008f 0000008a: JUMPI 0000008b: PUSH1 0x00 0000008d: DUP1 0000008e: REVERT 0000008f: JUMPDEST 00000090: POP 00000091: PUSH2 0x0098 00000094: PUSH2 0x0350 00000097: JUMP 00000098: JUMPDEST 00000099: PUSH1 0x40 0000009b: MLOAD 0000009c: PUSH2 0x00a5 0000009f: SWAP2 000000a0: SWAP1 000000a1: PUSH2 0x0fbe 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH1 0x40 000000a8: MLOAD 000000a9: DUP1 000000aa: SWAP2 000000ab: SUB 000000ac: SWAP1 000000ad: RETURN 000000ae: JUMPDEST 000000af: CALLVALUE 000000b0: DUP1 000000b1: ISZERO 000000b2: PUSH2 0x00ba 000000b5: JUMPI 000000b6: PUSH1 0x00 000000b8: DUP1 000000b9: REVERT 000000ba: JUMPDEST 000000bb: POP 000000bc: PUSH2 0x00d5 000000bf: PUSH1 0x04 000000c1: DUP1 000000c2: CALLDATASIZE 000000c3: SUB 000000c4: DUP2 000000c5: ADD 000000c6: SWAP1 000000c7: PUSH2 0x00d0 000000ca: SWAP2 000000cb: SWAP1 000000cc: PUSH2 0x0c8a 000000cf: JUMP 000000d0: JUMPDEST 000000d1: PUSH2 0x0374 000000d4: JUMP 000000d5: JUMPDEST 000000d6: PUSH1 0x40 000000d8: MLOAD 000000d9: PUSH2 0x00e2 000000dc: SWAP2 000000dd: SWAP1 000000de: PUSH2 0x101d 000000e1: JUMP 000000e2: JUMPDEST 000000e3: PUSH1 0x40 000000e5: MLOAD 000000e6: DUP1 000000e7: SWAP2 000000e8: SUB 000000e9: SWAP1 000000ea: RETURN 000000eb: JUMPDEST 000000ec: CALLVALUE 000000ed: DUP1 000000ee: ISZERO 000000ef: PUSH2 0x00f7 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: POP 000000f9: PUSH2 0x0100 000000fc: PUSH2 0x0610 000000ff: JUMP 00000100: JUMPDEST 00000101: STOP 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0129 00000113: PUSH1 0x04 00000115: DUP1 00000116: CALLDATASIZE 00000117: SUB 00000118: DUP2 00000119: ADD 0000011a: SWAP1 0000011b: PUSH2 0x0124 0000011e: SWAP2 0000011f: SWAP1 00000120: PUSH2 0x0bf3 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH2 0x0707 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH1 0x40 0000012c: MLOAD 0000012d: PUSH2 0x0136 00000130: SWAP2 00000131: SWAP1 00000132: PUSH2 0x101d 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: SWAP2 0000013c: SUB 0000013d: SWAP1 0000013e: RETURN 0000013f: JUMPDEST 00000140: PUSH1 0x00 00000142: DUP1 00000143: SLOAD 00000144: SWAP1 00000145: PUSH2 0x0100 00000148: EXP 00000149: SWAP1 0000014a: DIV 0000014b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000160: AND 00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000176: AND 00000177: CALLER 00000178: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018d: AND 0000018e: EQ 0000018f: PUSH2 0x01cd 00000192: JUMPI 00000193: PUSH1 0x40 00000195: MLOAD 00000196: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001b7: DUP2 000001b8: MSTORE 000001b9: PUSH1 0x04 000001bb: ADD 000001bc: PUSH2 0x01c4 000001bf: SWAP1 000001c0: PUSH2 0x103f 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH1 0x40 000001c7: MLOAD 000001c8: DUP1 000001c9: SWAP2 000001ca: SUB 000001cb: SWAP1 000001cc: REVERT 000001cd: JUMPDEST 000001ce: PUSH1 0x00 000001d0: DUP2 000001d1: SWAP1 000001d2: POP 000001d3: PUSH1 0x00 000001d5: DUP2 000001d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001eb: AND 000001ec: PUSH4 0x70a08231 000001f1: ADDRESS 000001f2: PUSH1 0x40 000001f4: MLOAD 000001f5: DUP3 000001f6: PUSH4 0xffffffff 000001fb: AND 000001fc: PUSH1 0xe0 000001fe: SHL 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x04 00000203: ADD 00000204: PUSH2 0x020d 00000207: SWAP2 00000208: SWAP1 00000209: PUSH2 0x0fd9 0000020c: JUMP 0000020d: JUMPDEST 0000020e: PUSH1 0x20 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: DUP4 00000215: SUB 00000216: DUP2 00000217: DUP7 00000218: DUP1 00000219: EXTCODESIZE 0000021a: ISZERO 0000021b: DUP1 0000021c: ISZERO 0000021d: PUSH2 0x0225 00000220: JUMPI 00000221: PUSH1 0x00 00000223: DUP1 00000224: REVERT 00000225: JUMPDEST 00000226: POP 00000227: GAS 00000228: STATICCALL 00000229: ISZERO 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0239 0000022f: JUMPI 00000230: RETURNDATASIZE 00000231: PUSH1 0x00 00000233: DUP1 00000234: RETURNDATACOPY 00000235: RETURNDATASIZE 00000236: PUSH1 0x00 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: POP 0000023c: POP 0000023d: POP 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: RETURNDATASIZE 00000242: PUSH1 0x1f 00000244: NOT 00000245: PUSH1 0x1f 00000247: DUP3 00000248: ADD 00000249: AND 0000024a: DUP3 0000024b: ADD 0000024c: DUP1 0000024d: PUSH1 0x40 0000024f: MSTORE 00000250: POP 00000251: DUP2 00000252: ADD 00000253: SWAP1 00000254: PUSH2 0x025d 00000257: SWAP2 00000258: SWAP1 00000259: PUSH2 0x0d5e 0000025c: JUMP 0000025d: JUMPDEST 0000025e: SWAP1 0000025f: POP 00000260: DUP2 00000261: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000276: AND 00000277: PUSH4 0xa9059cbb 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: SLOAD 00000280: SWAP1 00000281: PUSH2 0x0100 00000284: EXP 00000285: SWAP1 00000286: DIV 00000287: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029c: AND 0000029d: DUP4 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: DUP4 000002a2: PUSH4 0xffffffff 000002a7: AND 000002a8: PUSH1 0xe0 000002aa: SHL 000002ab: DUP2 000002ac: MSTORE 000002ad: PUSH1 0x04 000002af: ADD 000002b0: PUSH2 0x02ba 000002b3: SWAP3 000002b4: SWAP2 000002b5: SWAP1 000002b6: PUSH2 0x0ff4 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH1 0x20 000002bd: PUSH1 0x40 000002bf: MLOAD 000002c0: DUP1 000002c1: DUP4 000002c2: SUB 000002c3: DUP2 000002c4: PUSH1 0x00 000002c6: DUP8 000002c7: DUP1 000002c8: EXTCODESIZE 000002c9: ISZERO 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: GAS 000002d7: CALL 000002d8: ISZERO 000002d9: DUP1 000002da: ISZERO 000002db: PUSH2 0x02e8 000002de: JUMPI 000002df: RETURNDATASIZE 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: RETURNDATACOPY 000002e4: RETURNDATASIZE 000002e5: PUSH1 0x00 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: PUSH1 0x40 000002ef: MLOAD 000002f0: RETURNDATASIZE 000002f1: PUSH1 0x1f 000002f3: NOT 000002f4: PUSH1 0x1f 000002f6: DUP3 000002f7: ADD 000002f8: AND 000002f9: DUP3 000002fa: ADD 000002fb: DUP1 000002fc: PUSH1 0x40 000002fe: MSTORE 000002ff: POP 00000300: DUP2 00000301: ADD 00000302: SWAP1 00000303: PUSH2 0x030c 00000306: SWAP2 00000307: SWAP1 00000308: PUSH2 0x0d35 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH2 0x034b 00000310: JUMPI 00000311: PUSH1 0x40 00000313: MLOAD 00000314: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000335: DUP2 00000336: MSTORE 00000337: PUSH1 0x04 00000339: ADD 0000033a: PUSH2 0x0342 0000033d: SWAP1 0000033e: PUSH2 0x105f 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x40 00000345: MLOAD 00000346: DUP1 00000347: SWAP2 00000348: SUB 00000349: SWAP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: POP 0000034e: POP 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH1 0x00 00000353: DUP1 00000354: SLOAD 00000355: SWAP1 00000356: PUSH2 0x0100 00000359: EXP 0000035a: SWAP1 0000035b: DIV 0000035c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000371: AND 00000372: DUP2 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH1 0x60 00000377: PUSH1 0x00 00000379: DUP1 0000037a: SLOAD 0000037b: SWAP1 0000037c: PUSH2 0x0100 0000037f: EXP 00000380: SWAP1 00000381: DIV 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: AND 00000398: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ad: AND 000003ae: CALLER 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: EQ 000003c6: PUSH2 0x0404 000003c9: JUMPI 000003ca: PUSH1 0x40 000003cc: MLOAD 000003cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x04 000003f2: ADD 000003f3: PUSH2 0x03fb 000003f6: SWAP1 000003f7: PUSH2 0x103f 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH1 0x40 000003fe: MLOAD 000003ff: DUP1 00000400: SWAP2 00000401: SUB 00000402: SWAP1 00000403: REVERT 00000404: JUMPDEST 00000405: DUP4 00000406: MLOAD 00000407: DUP6 00000408: MLOAD 00000409: EQ 0000040a: DUP1 0000040b: ISZERO 0000040c: PUSH2 0x0416 0000040f: JUMPI 00000410: POP 00000411: DUP3 00000412: MLOAD 00000413: DUP6 00000414: MLOAD 00000415: EQ 00000416: JUMPDEST 00000417: PUSH2 0x0455 0000041a: JUMPI 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000043f: DUP2 00000440: MSTORE 00000441: PUSH1 0x04 00000443: ADD 00000444: PUSH2 0x044c 00000447: SWAP1 00000448: PUSH2 0x107f 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: DUP1 00000451: SWAP2 00000452: SUB 00000453: SWAP1 00000454: REVERT 00000455: JUMPDEST 00000456: DUP4 00000457: MLOAD 00000458: PUSH8 0xffffffffffffffff 00000461: DUP2 00000462: GT 00000463: DUP1 00000464: ISZERO 00000465: PUSH2 0x046d 00000468: JUMPI 00000469: PUSH1 0x00 0000046b: DUP1 0000046c: REVERT 0000046d: JUMPDEST 0000046e: POP 0000046f: PUSH1 0x40 00000471: MLOAD 00000472: SWAP1 00000473: DUP1 00000474: DUP3 00000475: MSTORE 00000476: DUP1 00000477: PUSH1 0x20 00000479: MUL 0000047a: PUSH1 0x20 0000047c: ADD 0000047d: DUP3 0000047e: ADD 0000047f: PUSH1 0x40 00000481: MSTORE 00000482: DUP1 00000483: ISZERO 00000484: PUSH2 0x04a1 00000487: JUMPI 00000488: DUP2 00000489: PUSH1 0x20 0000048b: ADD 0000048c: JUMPDEST 0000048d: PUSH1 0x60 0000048f: DUP2 00000490: MSTORE 00000491: PUSH1 0x20 00000493: ADD 00000494: SWAP1 00000495: PUSH1 0x01 00000497: SWAP1 00000498: SUB 00000499: SWAP1 0000049a: DUP2 0000049b: PUSH2 0x048c 0000049e: JUMPI 0000049f: SWAP1 000004a0: POP 000004a1: JUMPDEST 000004a2: POP 000004a3: SWAP1 000004a4: POP 000004a5: PUSH1 0x00 000004a7: JUMPDEST 000004a8: DUP5 000004a9: MLOAD 000004aa: DUP2 000004ab: LT 000004ac: ISZERO 000004ad: PUSH2 0x05c0 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: DUP8 000004b5: DUP4 000004b6: DUP2 000004b7: MLOAD 000004b8: DUP2 000004b9: LT 000004ba: PUSH2 0x04bf 000004bd: JUMPI 000004be: INVALID 000004bf: JUMPDEST 000004c0: PUSH1 0x20 000004c2: MUL 000004c3: PUSH1 0x20 000004c5: ADD 000004c6: ADD 000004c7: MLOAD 000004c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dd: AND 000004de: DUP7 000004df: DUP5 000004e0: DUP2 000004e1: MLOAD 000004e2: DUP2 000004e3: LT 000004e4: PUSH2 0x04e9 000004e7: JUMPI 000004e8: INVALID 000004e9: JUMPDEST 000004ea: PUSH1 0x20 000004ec: MUL 000004ed: PUSH1 0x20 000004ef: ADD 000004f0: ADD 000004f1: MLOAD 000004f2: DUP9 000004f3: DUP6 000004f4: DUP2 000004f5: MLOAD 000004f6: DUP2 000004f7: LT 000004f8: PUSH2 0x04fd 000004fb: JUMPI 000004fc: INVALID 000004fd: JUMPDEST 000004fe: PUSH1 0x20 00000500: MUL 00000501: PUSH1 0x20 00000503: ADD 00000504: ADD 00000505: MLOAD 00000506: PUSH1 0x40 00000508: MLOAD 00000509: PUSH2 0x0512 0000050c: SWAP2 0000050d: SWAP1 0000050e: PUSH2 0x0fa7 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x00 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: DUP4 0000051a: SUB 0000051b: DUP2 0000051c: DUP6 0000051d: DUP8 0000051e: GAS 0000051f: CALL 00000520: SWAP3 00000521: POP 00000522: POP 00000523: POP 00000524: RETURNDATASIZE 00000525: DUP1 00000526: PUSH1 0x00 00000528: DUP2 00000529: EQ 0000052a: PUSH2 0x054f 0000052d: JUMPI 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: SWAP2 00000532: POP 00000533: PUSH1 0x1f 00000535: NOT 00000536: PUSH1 0x3f 00000538: RETURNDATASIZE 00000539: ADD 0000053a: AND 0000053b: DUP3 0000053c: ADD 0000053d: PUSH1 0x40 0000053f: MSTORE 00000540: RETURNDATASIZE 00000541: DUP3 00000542: MSTORE 00000543: RETURNDATASIZE 00000544: PUSH1 0x00 00000546: PUSH1 0x20 00000548: DUP5 00000549: ADD 0000054a: RETURNDATACOPY 0000054b: PUSH2 0x0554 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH1 0x60 00000552: SWAP2 00000553: POP 00000554: JUMPDEST 00000555: POP 00000556: SWAP2 00000557: POP 00000558: SWAP2 00000559: POP 0000055a: DUP2 0000055b: PUSH2 0x0599 0000055e: JUMPI 0000055f: PUSH1 0x40 00000561: MLOAD 00000562: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000583: DUP2 00000584: MSTORE 00000585: PUSH1 0x04 00000587: ADD 00000588: PUSH2 0x0590 0000058b: SWAP1 0000058c: PUSH2 0x109f 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH1 0x40 00000593: MLOAD 00000594: DUP1 00000595: SWAP2 00000596: SUB 00000597: SWAP1 00000598: REVERT 00000599: JUMPDEST 0000059a: DUP1 0000059b: DUP5 0000059c: DUP5 0000059d: DUP2 0000059e: MLOAD 0000059f: DUP2 000005a0: LT 000005a1: PUSH2 0x05a6 000005a4: JUMPI 000005a5: INVALID 000005a6: JUMPDEST 000005a7: PUSH1 0x20 000005a9: MUL 000005aa: PUSH1 0x20 000005ac: ADD 000005ad: ADD 000005ae: DUP2 000005af: SWAP1 000005b0: MSTORE 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: DUP1 000005b5: DUP1 000005b6: PUSH1 0x01 000005b8: ADD 000005b9: SWAP2 000005ba: POP 000005bb: POP 000005bc: PUSH2 0x04a7 000005bf: JUMP 000005c0: JUMPDEST 000005c1: POP 000005c2: COINBASE 000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d8: AND 000005d9: PUSH2 0x08fc 000005dc: DUP4 000005dd: SWAP1 000005de: DUP2 000005df: ISZERO 000005e0: MUL 000005e1: SWAP1 000005e2: PUSH1 0x40 000005e4: MLOAD 000005e5: PUSH1 0x00 000005e7: PUSH1 0x40 000005e9: MLOAD 000005ea: DUP1 000005eb: DUP4 000005ec: SUB 000005ed: DUP2 000005ee: DUP6 000005ef: DUP9 000005f0: DUP9 000005f1: CALL 000005f2: SWAP4 000005f3: POP 000005f4: POP 000005f5: POP 000005f6: POP 000005f7: ISZERO 000005f8: DUP1 000005f9: ISZERO 000005fa: PUSH2 0x0607 000005fd: JUMPI 000005fe: RETURNDATASIZE 000005ff: PUSH1 0x00 00000601: DUP1 00000602: RETURNDATACOPY 00000603: RETURNDATASIZE 00000604: PUSH1 0x00 00000606: REVERT 00000607: JUMPDEST 00000608: POP 00000609: SWAP5 0000060a: SWAP4 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x00 00000613: DUP1 00000614: SLOAD 00000615: SWAP1 00000616: PUSH2 0x0100 00000619: EXP 0000061a: SWAP1 0000061b: DIV 0000061c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000631: AND 00000632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000647: AND 00000648: CALLER 00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065e: AND 0000065f: EQ 00000660: PUSH2 0x069e 00000663: JUMPI 00000664: PUSH1 0x40 00000666: MLOAD 00000667: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000688: DUP2 00000689: MSTORE 0000068a: PUSH1 0x04 0000068c: ADD 0000068d: PUSH2 0x0695 00000690: SWAP1 00000691: PUSH2 0x103f 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x40 00000698: MLOAD 00000699: DUP1 0000069a: SWAP2 0000069b: SUB 0000069c: SWAP1 0000069d: REVERT 0000069e: JUMPDEST 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: SLOAD 000006a3: SWAP1 000006a4: PUSH2 0x0100 000006a7: EXP 000006a8: SWAP1 000006a9: DIV 000006aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006bf: AND 000006c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d5: AND 000006d6: PUSH2 0x08fc 000006d9: SELFBALANCE 000006da: SWAP1 000006db: DUP2 000006dc: ISZERO 000006dd: MUL 000006de: SWAP1 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: PUSH1 0x00 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: DUP1 000006e8: DUP4 000006e9: SUB 000006ea: DUP2 000006eb: DUP6 000006ec: DUP9 000006ed: DUP9 000006ee: CALL 000006ef: SWAP4 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: POP 000006f4: ISZERO 000006f5: DUP1 000006f6: ISZERO 000006f7: PUSH2 0x0704 000006fa: JUMPI 000006fb: RETURNDATASIZE 000006fc: PUSH1 0x00 000006fe: DUP1 000006ff: RETURNDATACOPY 00000700: RETURNDATASIZE 00000701: PUSH1 0x00 00000703: REVERT 00000704: JUMPDEST 00000705: POP 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x60 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: SLOAD 0000070e: SWAP1 0000070f: PUSH2 0x0100 00000712: EXP 00000713: SWAP1 00000714: DIV 00000715: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072a: AND 0000072b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000740: AND 00000741: CALLER 00000742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000757: AND 00000758: EQ 00000759: PUSH2 0x0797 0000075c: JUMPI 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000781: DUP2 00000782: MSTORE 00000783: PUSH1 0x04 00000785: ADD 00000786: PUSH2 0x078e 00000789: SWAP1 0000078a: PUSH2 0x103f 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: SWAP2 00000794: SUB 00000795: SWAP1 00000796: REVERT 00000797: JUMPDEST 00000798: DUP3 00000799: MLOAD 0000079a: DUP5 0000079b: MLOAD 0000079c: EQ 0000079d: DUP1 0000079e: ISZERO 0000079f: PUSH2 0x07a9 000007a2: JUMPI 000007a3: POP 000007a4: DUP2 000007a5: MLOAD 000007a6: DUP5 000007a7: MLOAD 000007a8: EQ 000007a9: JUMPDEST 000007aa: PUSH2 0x07e8 000007ad: JUMPI 000007ae: PUSH1 0x40 000007b0: MLOAD 000007b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x04 000007d6: ADD 000007d7: PUSH2 0x07df 000007da: SWAP1 000007db: PUSH2 0x107f 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: DUP1 000007e4: SWAP2 000007e5: SUB 000007e6: SWAP1 000007e7: REVERT 000007e8: JUMPDEST 000007e9: DUP3 000007ea: MLOAD 000007eb: PUSH8 0xffffffffffffffff 000007f4: DUP2 000007f5: GT 000007f6: DUP1 000007f7: ISZERO 000007f8: PUSH2 0x0800 000007fb: JUMPI 000007fc: PUSH1 0x00 000007fe: DUP1 000007ff: REVERT 00000800: JUMPDEST 00000801: POP 00000802: PUSH1 0x40 00000804: MLOAD 00000805: SWAP1 00000806: DUP1 00000807: DUP3 00000808: MSTORE 00000809: DUP1 0000080a: PUSH1 0x20 0000080c: MUL 0000080d: PUSH1 0x20 0000080f: ADD 00000810: DUP3 00000811: ADD 00000812: PUSH1 0x40 00000814: MSTORE 00000815: DUP1 00000816: ISZERO 00000817: PUSH2 0x0834 0000081a: JUMPI 0000081b: DUP2 0000081c: PUSH1 0x20 0000081e: ADD 0000081f: JUMPDEST 00000820: PUSH1 0x60 00000822: DUP2 00000823: MSTORE 00000824: PUSH1 0x20 00000826: ADD 00000827: SWAP1 00000828: PUSH1 0x01 0000082a: SWAP1 0000082b: SUB 0000082c: SWAP1 0000082d: DUP2 0000082e: PUSH2 0x081f 00000831: JUMPI 00000832: SWAP1 00000833: POP 00000834: JUMPDEST 00000835: POP 00000836: SWAP1 00000837: POP 00000838: PUSH1 0x00 0000083a: JUMPDEST 0000083b: DUP4 0000083c: MLOAD 0000083d: DUP2 0000083e: LT 0000083f: ISZERO 00000840: PUSH2 0x0953 00000843: JUMPI 00000844: PUSH1 0x00 00000846: DUP1 00000847: DUP7 00000848: DUP4 00000849: DUP2 0000084a: MLOAD 0000084b: DUP2 0000084c: LT 0000084d: PUSH2 0x0852 00000850: JUMPI 00000851: INVALID 00000852: JUMPDEST 00000853: PUSH1 0x20 00000855: MUL 00000856: PUSH1 0x20 00000858: ADD 00000859: ADD 0000085a: MLOAD 0000085b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000870: AND 00000871: DUP6 00000872: DUP5 00000873: DUP2 00000874: MLOAD 00000875: DUP2 00000876: LT 00000877: PUSH2 0x087c 0000087a: JUMPI 0000087b: INVALID 0000087c: JUMPDEST 0000087d: PUSH1 0x20 0000087f: MUL 00000880: PUSH1 0x20 00000882: ADD 00000883: ADD 00000884: MLOAD 00000885: DUP8 00000886: DUP6 00000887: DUP2 00000888: MLOAD 00000889: DUP2 0000088a: LT 0000088b: PUSH2 0x0890 0000088e: JUMPI 0000088f: INVALID 00000890: JUMPDEST 00000891: PUSH1 0x20 00000893: MUL 00000894: PUSH1 0x20 00000896: ADD 00000897: ADD 00000898: MLOAD 00000899: PUSH1 0x40 0000089b: MLOAD 0000089c: PUSH2 0x08a5 0000089f: SWAP2 000008a0: SWAP1 000008a1: PUSH2 0x0fa7 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x00 000008a8: PUSH1 0x40 000008aa: MLOAD 000008ab: DUP1 000008ac: DUP4 000008ad: SUB 000008ae: DUP2 000008af: DUP6 000008b0: DUP8 000008b1: GAS 000008b2: CALL 000008b3: SWAP3 000008b4: POP 000008b5: POP 000008b6: POP 000008b7: RETURNDATASIZE 000008b8: DUP1 000008b9: PUSH1 0x00 000008bb: DUP2 000008bc: EQ 000008bd: PUSH2 0x08e2 000008c0: JUMPI 000008c1: PUSH1 0x40 000008c3: MLOAD 000008c4: SWAP2 000008c5: POP 000008c6: PUSH1 0x1f 000008c8: NOT 000008c9: PUSH1 0x3f 000008cb: RETURNDATASIZE 000008cc: ADD 000008cd: AND 000008ce: DUP3 000008cf: ADD 000008d0: PUSH1 0x40 000008d2: MSTORE 000008d3: RETURNDATASIZE 000008d4: DUP3 000008d5: MSTORE 000008d6: RETURNDATASIZE 000008d7: PUSH1 0x00 000008d9: PUSH1 0x20 000008db: DUP5 000008dc: ADD 000008dd: RETURNDATACOPY 000008de: PUSH2 0x08e7 000008e1: JUMP 000008e2: JUMPDEST 000008e3: PUSH1 0x60 000008e5: SWAP2 000008e6: POP 000008e7: JUMPDEST 000008e8: POP 000008e9: SWAP2 000008ea: POP 000008eb: SWAP2 000008ec: POP 000008ed: DUP2 000008ee: PUSH2 0x092c 000008f1: JUMPI 000008f2: PUSH1 0x40 000008f4: MLOAD 000008f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000916: DUP2 00000917: MSTORE 00000918: PUSH1 0x04 0000091a: ADD 0000091b: PUSH2 0x0923 0000091e: SWAP1 0000091f: PUSH2 0x109f 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH1 0x40 00000926: MLOAD 00000927: DUP1 00000928: SWAP2 00000929: SUB 0000092a: SWAP1 0000092b: REVERT 0000092c: JUMPDEST 0000092d: DUP1 0000092e: DUP5 0000092f: DUP5 00000930: DUP2 00000931: MLOAD 00000932: DUP2 00000933: LT 00000934: PUSH2 0x0939 00000937: JUMPI 00000938: INVALID 00000939: JUMPDEST 0000093a: PUSH1 0x20 0000093c: MUL 0000093d: PUSH1 0x20 0000093f: ADD 00000940: ADD 00000941: DUP2 00000942: SWAP1 00000943: MSTORE 00000944: POP 00000945: POP 00000946: POP 00000947: DUP1 00000948: DUP1 00000949: PUSH1 0x01 0000094b: ADD 0000094c: SWAP2 0000094d: POP 0000094e: POP 0000094f: PUSH2 0x083a 00000952: JUMP 00000953: JUMPDEST 00000954: POP 00000955: SWAP4 00000956: SWAP3 00000957: POP 00000958: POP 00000959: POP 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH1 0x00 0000095e: PUSH2 0x096e 00000961: PUSH2 0x0969 00000964: DUP5 00000965: PUSH2 0x10f0 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH2 0x10bf 0000096d: JUMP 0000096e: JUMPDEST 0000096f: SWAP1 00000970: POP 00000971: DUP1 00000972: DUP4 00000973: DUP3 00000974: MSTORE 00000975: PUSH1 0x20 00000977: DUP3 00000978: ADD 00000979: SWAP1 0000097a: POP 0000097b: DUP3 0000097c: DUP6 0000097d: PUSH1 0x20 0000097f: DUP7 00000980: MUL 00000981: DUP3 00000982: ADD 00000983: GT 00000984: ISZERO 00000985: PUSH2 0x098d 00000988: JUMPI 00000989: PUSH1 0x00 0000098b: DUP1 0000098c: REVERT 0000098d: JUMPDEST 0000098e: PUSH1 0x00 00000990: JUMPDEST 00000991: DUP6 00000992: DUP2 00000993: LT 00000994: ISZERO 00000995: PUSH2 0x09bd 00000998: JUMPI 00000999: DUP2 0000099a: PUSH2 0x09a3 0000099d: DUP9 0000099e: DUP3 0000099f: PUSH2 0x0ace 000009a2: JUMP 000009a3: JUMPDEST 000009a4: DUP5 000009a5: MSTORE 000009a6: PUSH1 0x20 000009a8: DUP5 000009a9: ADD 000009aa: SWAP4 000009ab: POP 000009ac: PUSH1 0x20 000009ae: DUP4 000009af: ADD 000009b0: SWAP3 000009b1: POP 000009b2: POP 000009b3: PUSH1 0x01 000009b5: DUP2 000009b6: ADD 000009b7: SWAP1 000009b8: POP 000009b9: PUSH2 0x0990 000009bc: JUMP 000009bd: JUMPDEST 000009be: POP 000009bf: POP 000009c0: POP 000009c1: SWAP4 000009c2: SWAP3 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: JUMP 000009c7: JUMPDEST 000009c8: PUSH1 0x00 000009ca: PUSH2 0x09da 000009cd: PUSH2 0x09d5 000009d0: DUP5 000009d1: PUSH2 0x111c 000009d4: JUMP 000009d5: JUMPDEST 000009d6: PUSH2 0x10bf 000009d9: JUMP 000009da: JUMPDEST 000009db: SWAP1 000009dc: POP 000009dd: DUP1 000009de: DUP4 000009df: DUP3 000009e0: MSTORE 000009e1: PUSH1 0x20 000009e3: DUP3 000009e4: ADD 000009e5: SWAP1 000009e6: POP 000009e7: DUP3 000009e8: PUSH1 0x00 000009ea: JUMPDEST 000009eb: DUP6 000009ec: DUP2 000009ed: LT 000009ee: ISZERO 000009ef: PUSH2 0x0a1a 000009f2: JUMPI 000009f3: DUP2 000009f4: CALLDATALOAD 000009f5: DUP6 000009f6: ADD 000009f7: PUSH2 0x0a00 000009fa: DUP9 000009fb: DUP3 000009fc: PUSH2 0x0b76 000009ff: JUMP 00000a00: JUMPDEST 00000a01: DUP5 00000a02: MSTORE 00000a03: PUSH1 0x20 00000a05: DUP5 00000a06: ADD 00000a07: SWAP4 00000a08: POP 00000a09: PUSH1 0x20 00000a0b: DUP4 00000a0c: ADD 00000a0d: SWAP3 00000a0e: POP 00000a0f: POP 00000a10: PUSH1 0x01 00000a12: DUP2 00000a13: ADD 00000a14: SWAP1 00000a15: POP 00000a16: PUSH2 0x09ea 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: POP 00000a1c: POP 00000a1d: POP 00000a1e: SWAP4 00000a1f: SWAP3 00000a20: POP 00000a21: POP 00000a22: POP 00000a23: JUMP 00000a24: JUMPDEST 00000a25: PUSH1 0x00 00000a27: PUSH2 0x0a37 00000a2a: PUSH2 0x0a32 00000a2d: DUP5 00000a2e: PUSH2 0x1148 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH2 0x10bf 00000a36: JUMP 00000a37: JUMPDEST 00000a38: SWAP1 00000a39: POP 00000a3a: DUP1 00000a3b: DUP4 00000a3c: DUP3 00000a3d: MSTORE 00000a3e: PUSH1 0x20 00000a40: DUP3 00000a41: ADD 00000a42: SWAP1 00000a43: POP 00000a44: DUP3 00000a45: DUP6 00000a46: PUSH1 0x20 00000a48: DUP7 00000a49: MUL 00000a4a: DUP3 00000a4b: ADD 00000a4c: GT 00000a4d: ISZERO 00000a4e: PUSH2 0x0a56 00000a51: JUMPI 00000a52: PUSH1 0x00 00000a54: DUP1 00000a55: REVERT 00000a56: JUMPDEST 00000a57: PUSH1 0x00 00000a59: JUMPDEST 00000a5a: DUP6 00000a5b: DUP2 00000a5c: LT 00000a5d: ISZERO 00000a5e: PUSH2 0x0a86 00000a61: JUMPI 00000a62: DUP2 00000a63: PUSH2 0x0a6c 00000a66: DUP9 00000a67: DUP3 00000a68: PUSH2 0x0ba0 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: DUP5 00000a6e: MSTORE 00000a6f: PUSH1 0x20 00000a71: DUP5 00000a72: ADD 00000a73: SWAP4 00000a74: POP 00000a75: PUSH1 0x20 00000a77: DUP4 00000a78: ADD 00000a79: SWAP3 00000a7a: POP 00000a7b: POP 00000a7c: PUSH1 0x01 00000a7e: DUP2 00000a7f: ADD 00000a80: SWAP1 00000a81: POP 00000a82: PUSH2 0x0a59 00000a85: JUMP 00000a86: JUMPDEST 00000a87: POP 00000a88: POP 00000a89: POP 00000a8a: SWAP4 00000a8b: SWAP3 00000a8c: POP 00000a8d: POP 00000a8e: POP 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: PUSH1 0x00 00000a93: PUSH2 0x0aa3 00000a96: PUSH2 0x0a9e 00000a99: DUP5 00000a9a: PUSH2 0x1174 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH2 0x10bf 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: SWAP1 00000aa5: POP 00000aa6: DUP3 00000aa7: DUP2 00000aa8: MSTORE 00000aa9: PUSH1 0x20 00000aab: DUP2 00000aac: ADD 00000aad: DUP5 00000aae: DUP5 00000aaf: DUP5 00000ab0: ADD 00000ab1: GT 00000ab2: ISZERO 00000ab3: PUSH2 0x0abb 00000ab6: JUMPI 00000ab7: PUSH1 0x00 00000ab9: DUP1 00000aba: REVERT 00000abb: JUMPDEST 00000abc: PUSH2 0x0ac6 00000abf: DUP5 00000ac0: DUP3 00000ac1: DUP6 00000ac2: PUSH2 0x1293 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: SWAP4 00000ac9: SWAP3 00000aca: POP 00000acb: POP 00000acc: POP 00000acd: JUMP 00000ace: JUMPDEST 00000acf: PUSH1 0x00 00000ad1: DUP2 00000ad2: CALLDATALOAD 00000ad3: SWAP1 00000ad4: POP 00000ad5: PUSH2 0x0add 00000ad8: DUP2 00000ad9: PUSH2 0x12e8 00000adc: JUMP 00000add: JUMPDEST 00000ade: SWAP3 00000adf: SWAP2 00000ae0: POP 00000ae1: POP 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH1 0x00 00000ae6: DUP3 00000ae7: PUSH1 0x1f 00000ae9: DUP4 00000aea: ADD 00000aeb: SLT 00000aec: PUSH2 0x0af4 00000aef: JUMPI 00000af0: PUSH1 0x00 00000af2: DUP1 00000af3: REVERT 00000af4: JUMPDEST 00000af5: DUP2 00000af6: CALLDATALOAD 00000af7: PUSH2 0x0b04 00000afa: DUP5 00000afb: DUP3 00000afc: PUSH1 0x20 00000afe: DUP7 00000aff: ADD 00000b00: PUSH2 0x095b 00000b03: JUMP 00000b04: JUMPDEST 00000b05: SWAP2 00000b06: POP 00000b07: POP 00000b08: SWAP3 00000b09: SWAP2 00000b0a: POP 00000b0b: POP 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: PUSH1 0x00 00000b10: DUP3 00000b11: PUSH1 0x1f 00000b13: DUP4 00000b14: ADD 00000b15: SLT 00000b16: PUSH2 0x0b1e 00000b19: JUMPI 00000b1a: PUSH1 0x00 00000b1c: DUP1 00000b1d: REVERT 00000b1e: JUMPDEST 00000b1f: DUP2 00000b20: CALLDATALOAD 00000b21: PUSH2 0x0b2e 00000b24: DUP5 00000b25: DUP3 00000b26: PUSH1 0x20 00000b28: DUP7 00000b29: ADD 00000b2a: PUSH2 0x09c7 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: SWAP2 00000b30: POP 00000b31: POP 00000b32: SWAP3 00000b33: SWAP2 00000b34: POP 00000b35: POP 00000b36: JUMP 00000b37: JUMPDEST 00000b38: PUSH1 0x00 00000b3a: DUP3 00000b3b: PUSH1 0x1f 00000b3d: DUP4 00000b3e: ADD 00000b3f: SLT 00000b40: PUSH2 0x0b48 00000b43: JUMPI 00000b44: PUSH1 0x00 00000b46: DUP1 00000b47: REVERT 00000b48: JUMPDEST 00000b49: DUP2 00000b4a: CALLDATALOAD 00000b4b: PUSH2 0x0b58 00000b4e: DUP5 00000b4f: DUP3 00000b50: PUSH1 0x20 00000b52: DUP7 00000b53: ADD 00000b54: PUSH2 0x0a24 00000b57: JUMP 00000b58: JUMPDEST 00000b59: SWAP2 00000b5a: POP 00000b5b: POP 00000b5c: SWAP3 00000b5d: SWAP2 00000b5e: POP 00000b5f: POP 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH1 0x00 00000b64: DUP2 00000b65: MLOAD 00000b66: SWAP1 00000b67: POP 00000b68: PUSH2 0x0b70 00000b6b: DUP2 00000b6c: PUSH2 0x12ff 00000b6f: JUMP 00000b70: JUMPDEST 00000b71: SWAP3 00000b72: SWAP2 00000b73: POP 00000b74: POP 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH1 0x00 00000b79: DUP3 00000b7a: PUSH1 0x1f 00000b7c: DUP4 00000b7d: ADD 00000b7e: SLT 00000b7f: PUSH2 0x0b87 00000b82: JUMPI 00000b83: PUSH1 0x00 00000b85: DUP1 00000b86: REVERT 00000b87: JUMPDEST 00000b88: DUP2 00000b89: CALLDATALOAD 00000b8a: PUSH2 0x0b97 00000b8d: DUP5 00000b8e: DUP3 00000b8f: PUSH1 0x20 00000b91: DUP7 00000b92: ADD 00000b93: PUSH2 0x0a90 00000b96: JUMP 00000b97: JUMPDEST 00000b98: SWAP2 00000b99: POP 00000b9a: POP 00000b9b: SWAP3 00000b9c: SWAP2 00000b9d: POP 00000b9e: POP 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: PUSH1 0x00 00000ba3: DUP2 00000ba4: CALLDATALOAD 00000ba5: SWAP1 00000ba6: POP 00000ba7: PUSH2 0x0baf 00000baa: DUP2 00000bab: PUSH2 0x1316 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: SWAP3 00000bb1: SWAP2 00000bb2: POP 00000bb3: POP 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: DUP2 00000bb9: MLOAD 00000bba: SWAP1 00000bbb: POP 00000bbc: PUSH2 0x0bc4 00000bbf: DUP2 00000bc0: PUSH2 0x1316 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: SWAP3 00000bc6: SWAP2 00000bc7: POP 00000bc8: POP 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x00 00000bcd: PUSH1 0x20 00000bcf: DUP3 00000bd0: DUP5 00000bd1: SUB 00000bd2: SLT 00000bd3: ISZERO 00000bd4: PUSH2 0x0bdc 00000bd7: JUMPI 00000bd8: PUSH1 0x00 00000bda: DUP1 00000bdb: REVERT 00000bdc: JUMPDEST 00000bdd: PUSH1 0x00 00000bdf: PUSH2 0x0bea 00000be2: DUP5 00000be3: DUP3 00000be4: DUP6 00000be5: ADD 00000be6: PUSH2 0x0ace 00000be9: JUMP 00000bea: JUMPDEST 00000beb: SWAP2 00000bec: POP 00000bed: POP 00000bee: SWAP3 00000bef: SWAP2 00000bf0: POP 00000bf1: POP 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x00 00000bf6: DUP1 00000bf7: PUSH1 0x00 00000bf9: PUSH1 0x60 00000bfb: DUP5 00000bfc: DUP7 00000bfd: SUB 00000bfe: SLT 00000bff: ISZERO 00000c00: PUSH2 0x0c08 00000c03: JUMPI 00000c04: PUSH1 0x00 00000c06: DUP1 00000c07: REVERT 00000c08: JUMPDEST 00000c09: PUSH1 0x00 00000c0b: DUP5 00000c0c: ADD 00000c0d: CALLDATALOAD 00000c0e: PUSH8 0xffffffffffffffff 00000c17: DUP2 00000c18: GT 00000c19: ISZERO 00000c1a: PUSH2 0x0c22 00000c1d: JUMPI 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: REVERT 00000c22: JUMPDEST 00000c23: PUSH2 0x0c2e 00000c26: DUP7 00000c27: DUP3 00000c28: DUP8 00000c29: ADD 00000c2a: PUSH2 0x0ae3 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: SWAP4 00000c30: POP 00000c31: POP 00000c32: PUSH1 0x20 00000c34: DUP5 00000c35: ADD 00000c36: CALLDATALOAD 00000c37: PUSH8 0xffffffffffffffff 00000c40: DUP2 00000c41: GT 00000c42: ISZERO 00000c43: PUSH2 0x0c4b 00000c46: JUMPI 00000c47: PUSH1 0x00 00000c49: DUP1 00000c4a: REVERT 00000c4b: JUMPDEST 00000c4c: PUSH2 0x0c57 00000c4f: DUP7 00000c50: DUP3 00000c51: DUP8 00000c52: ADD 00000c53: PUSH2 0x0b0d 00000c56: JUMP 00000c57: JUMPDEST 00000c58: SWAP3 00000c59: POP 00000c5a: POP 00000c5b: PUSH1 0x40 00000c5d: DUP5 00000c5e: ADD 00000c5f: CALLDATALOAD 00000c60: PUSH8 0xffffffffffffffff 00000c69: DUP2 00000c6a: GT 00000c6b: ISZERO 00000c6c: PUSH2 0x0c74 00000c6f: JUMPI 00000c70: PUSH1 0x00 00000c72: DUP1 00000c73: REVERT 00000c74: JUMPDEST 00000c75: PUSH2 0x0c80 00000c78: DUP7 00000c79: DUP3 00000c7a: DUP8 00000c7b: ADD 00000c7c: PUSH2 0x0b37 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: SWAP2 00000c82: POP 00000c83: POP 00000c84: SWAP3 00000c85: POP 00000c86: SWAP3 00000c87: POP 00000c88: SWAP3 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: PUSH1 0x00 00000c90: DUP1 00000c91: PUSH1 0x80 00000c93: DUP6 00000c94: DUP8 00000c95: SUB 00000c96: SLT 00000c97: ISZERO 00000c98: PUSH2 0x0ca0 00000c9b: JUMPI 00000c9c: PUSH1 0x00 00000c9e: DUP1 00000c9f: REVERT 00000ca0: JUMPDEST 00000ca1: PUSH1 0x00 00000ca3: DUP6 00000ca4: ADD 00000ca5: CALLDATALOAD 00000ca6: PUSH8 0xffffffffffffffff 00000caf: DUP2 00000cb0: GT 00000cb1: ISZERO 00000cb2: PUSH2 0x0cba 00000cb5: JUMPI 00000cb6: PUSH1 0x00 00000cb8: DUP1 00000cb9: REVERT 00000cba: JUMPDEST 00000cbb: PUSH2 0x0cc6 00000cbe: DUP8 00000cbf: DUP3 00000cc0: DUP9 00000cc1: ADD 00000cc2: PUSH2 0x0ae3 00000cc5: JUMP 00000cc6: JUMPDEST 00000cc7: SWAP5 00000cc8: POP 00000cc9: POP 00000cca: PUSH1 0x20 00000ccc: DUP6 00000ccd: ADD 00000cce: CALLDATALOAD 00000ccf: PUSH8 0xffffffffffffffff 00000cd8: DUP2 00000cd9: GT 00000cda: ISZERO 00000cdb: PUSH2 0x0ce3 00000cde: JUMPI 00000cdf: PUSH1 0x00 00000ce1: DUP1 00000ce2: REVERT 00000ce3: JUMPDEST 00000ce4: PUSH2 0x0cef 00000ce7: DUP8 00000ce8: DUP3 00000ce9: DUP9 00000cea: ADD 00000ceb: PUSH2 0x0b0d 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: SWAP4 00000cf1: POP 00000cf2: POP 00000cf3: PUSH1 0x40 00000cf5: DUP6 00000cf6: ADD 00000cf7: CALLDATALOAD 00000cf8: PUSH8 0xffffffffffffffff 00000d01: DUP2 00000d02: GT 00000d03: ISZERO 00000d04: PUSH2 0x0d0c 00000d07: JUMPI 00000d08: PUSH1 0x00 00000d0a: DUP1 00000d0b: REVERT 00000d0c: JUMPDEST 00000d0d: PUSH2 0x0d18 00000d10: DUP8 00000d11: DUP3 00000d12: DUP9 00000d13: ADD 00000d14: PUSH2 0x0b37 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP3 00000d1a: POP 00000d1b: POP 00000d1c: PUSH1 0x60 00000d1e: PUSH2 0x0d29 00000d21: DUP8 00000d22: DUP3 00000d23: DUP9 00000d24: ADD 00000d25: PUSH2 0x0ba0 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: SWAP2 00000d2b: POP 00000d2c: POP 00000d2d: SWAP3 00000d2e: SWAP6 00000d2f: SWAP2 00000d30: SWAP5 00000d31: POP 00000d32: SWAP3 00000d33: POP 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x00 00000d38: PUSH1 0x20 00000d3a: DUP3 00000d3b: DUP5 00000d3c: SUB 00000d3d: SLT 00000d3e: ISZERO 00000d3f: PUSH2 0x0d47 00000d42: JUMPI 00000d43: PUSH1 0x00 00000d45: DUP1 00000d46: REVERT 00000d47: JUMPDEST 00000d48: PUSH1 0x00 00000d4a: PUSH2 0x0d55 00000d4d: DUP5 00000d4e: DUP3 00000d4f: DUP6 00000d50: ADD 00000d51: PUSH2 0x0b61 00000d54: JUMP 00000d55: JUMPDEST 00000d56: SWAP2 00000d57: POP 00000d58: POP 00000d59: SWAP3 00000d5a: SWAP2 00000d5b: POP 00000d5c: POP 00000d5d: JUMP 00000d5e: JUMPDEST 00000d5f: PUSH1 0x00 00000d61: PUSH1 0x20 00000d63: DUP3 00000d64: DUP5 00000d65: SUB 00000d66: SLT 00000d67: ISZERO 00000d68: PUSH2 0x0d70 00000d6b: JUMPI 00000d6c: PUSH1 0x00 00000d6e: DUP1 00000d6f: REVERT 00000d70: JUMPDEST 00000d71: PUSH1 0x00 00000d73: PUSH2 0x0d7e 00000d76: DUP5 00000d77: DUP3 00000d78: DUP6 00000d79: ADD 00000d7a: PUSH2 0x0bb5 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: SWAP2 00000d80: POP 00000d81: POP 00000d82: SWAP3 00000d83: SWAP2 00000d84: POP 00000d85: POP 00000d86: JUMP 00000d87: JUMPDEST 00000d88: PUSH1 0x00 00000d8a: PUSH2 0x0d93 00000d8d: DUP4 00000d8e: DUP4 00000d8f: PUSH2 0x0e2e 00000d92: JUMP 00000d93: JUMPDEST 00000d94: SWAP1 00000d95: POP 00000d96: SWAP3 00000d97: SWAP2 00000d98: POP 00000d99: POP 00000d9a: JUMP 00000d9b: JUMPDEST 00000d9c: PUSH2 0x0da4 00000d9f: DUP2 00000da0: PUSH2 0x125d 00000da3: JUMP 00000da4: JUMPDEST 00000da5: DUP3 00000da6: MSTORE 00000da7: POP 00000da8: POP 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH2 0x0db3 00000dae: DUP2 00000daf: PUSH2 0x1215 00000db2: JUMP 00000db3: JUMPDEST 00000db4: DUP3 00000db5: MSTORE 00000db6: POP 00000db7: POP 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x00 00000dbc: PUSH2 0x0dc4 00000dbf: DUP3 00000dc0: PUSH2 0x11b4 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: PUSH2 0x0dce 00000dc8: DUP2 00000dc9: DUP6 00000dca: PUSH2 0x11d7 00000dcd: JUMP 00000dce: JUMPDEST 00000dcf: SWAP4 00000dd0: POP 00000dd1: DUP4 00000dd2: PUSH1 0x20 00000dd4: DUP3 00000dd5: MUL 00000dd6: DUP6 00000dd7: ADD 00000dd8: PUSH2 0x0de0 00000ddb: DUP6 00000ddc: PUSH2 0x11a4 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: DUP1 00000de2: PUSH1 0x00 00000de4: JUMPDEST 00000de5: DUP6 00000de6: DUP2 00000de7: LT 00000de8: ISZERO 00000de9: PUSH2 0x0e1c 00000dec: JUMPI 00000ded: DUP5 00000dee: DUP5 00000def: SUB 00000df0: DUP10 00000df1: MSTORE 00000df2: DUP2 00000df3: MLOAD 00000df4: PUSH2 0x0dfd 00000df7: DUP6 00000df8: DUP3 00000df9: PUSH2 0x0d87 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: SWAP5 00000dff: POP 00000e00: PUSH2 0x0e08 00000e03: DUP4 00000e04: PUSH2 0x11ca 00000e07: JUMP 00000e08: JUMPDEST 00000e09: SWAP3 00000e0a: POP 00000e0b: PUSH1 0x20 00000e0d: DUP11 00000e0e: ADD 00000e0f: SWAP10 00000e10: POP 00000e11: POP 00000e12: PUSH1 0x01 00000e14: DUP2 00000e15: ADD 00000e16: SWAP1 00000e17: POP 00000e18: PUSH2 0x0de4 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: POP 00000e1e: DUP3 00000e1f: SWAP8 00000e20: POP 00000e21: DUP8 00000e22: SWAP6 00000e23: POP 00000e24: POP 00000e25: POP 00000e26: POP 00000e27: POP 00000e28: POP 00000e29: SWAP3 00000e2a: SWAP2 00000e2b: POP 00000e2c: POP 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: PUSH1 0x00 00000e31: PUSH2 0x0e39 00000e34: DUP3 00000e35: PUSH2 0x11bf 00000e38: JUMP 00000e39: JUMPDEST 00000e3a: PUSH2 0x0e43 00000e3d: DUP2 00000e3e: DUP6 00000e3f: PUSH2 0x11e8 00000e42: JUMP 00000e43: JUMPDEST 00000e44: SWAP4 00000e45: POP 00000e46: PUSH2 0x0e53 00000e49: DUP2 00000e4a: DUP6 00000e4b: PUSH1 0x20 00000e4d: DUP7 00000e4e: ADD 00000e4f: PUSH2 0x12a2 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH2 0x0e5c 00000e57: DUP2 00000e58: PUSH2 0x12d7 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: DUP5 00000e5e: ADD 00000e5f: SWAP2 00000e60: POP 00000e61: POP 00000e62: SWAP3 00000e63: SWAP2 00000e64: POP 00000e65: POP 00000e66: JUMP 00000e67: JUMPDEST 00000e68: PUSH1 0x00 00000e6a: PUSH2 0x0e72 00000e6d: DUP3 00000e6e: PUSH2 0x11bf 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH2 0x0e7c 00000e76: DUP2 00000e77: DUP6 00000e78: PUSH2 0x11f9 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: SWAP4 00000e7e: POP 00000e7f: PUSH2 0x0e8c 00000e82: DUP2 00000e83: DUP6 00000e84: PUSH1 0x20 00000e86: DUP7 00000e87: ADD 00000e88: PUSH2 0x12a2 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: DUP1 00000e8e: DUP5 00000e8f: ADD 00000e90: SWAP2 00000e91: POP 00000e92: POP 00000e93: SWAP3 00000e94: SWAP2 00000e95: POP 00000e96: POP 00000e97: JUMP 00000e98: JUMPDEST 00000e99: PUSH1 0x00 00000e9b: PUSH2 0x0ea5 00000e9e: PUSH1 0x04 00000ea0: DUP4 00000ea1: PUSH2 0x1204 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: SWAP2 00000ea7: POP 00000ea8: PUSH32 0x4e6f637400000000000000000000000000000000000000000000000000000000 00000ec9: PUSH1 0x00 00000ecb: DUP4 00000ecc: ADD 00000ecd: MSTORE 00000ece: PUSH1 0x20 00000ed0: DUP3 00000ed1: ADD 00000ed2: SWAP1 00000ed3: POP 00000ed4: SWAP2 00000ed5: SWAP1 00000ed6: POP 00000ed7: JUMP 00000ed8: JUMPDEST 00000ed9: PUSH1 0x00 00000edb: PUSH2 0x0ee5 00000ede: PUSH1 0x03 00000ee0: DUP4 00000ee1: PUSH2 0x1204 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: SWAP2 00000ee7: POP 00000ee8: PUSH32 0x5465640000000000000000000000000000000000000000000000000000000000 00000f09: PUSH1 0x00 00000f0b: DUP4 00000f0c: ADD 00000f0d: MSTORE 00000f0e: PUSH1 0x20 00000f10: DUP3 00000f11: ADD 00000f12: SWAP1 00000f13: POP 00000f14: SWAP2 00000f15: SWAP1 00000f16: POP 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH1 0x00 00000f1b: PUSH2 0x0f25 00000f1e: PUSH1 0x02 00000f20: DUP4 00000f21: PUSH2 0x1204 00000f24: JUMP 00000f25: JUMPDEST 00000f26: SWAP2 00000f27: POP 00000f28: PUSH32 0x7272000000000000000000000000000000000000000000000000000000000000 00000f49: PUSH1 0x00 00000f4b: DUP4 00000f4c: ADD 00000f4d: MSTORE 00000f4e: PUSH1 0x20 00000f50: DUP3 00000f51: ADD 00000f52: SWAP1 00000f53: POP 00000f54: SWAP2 00000f55: SWAP1 00000f56: POP 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH1 0x00 00000f5b: PUSH2 0x0f65 00000f5e: PUSH1 0x03 00000f60: DUP4 00000f61: PUSH2 0x1204 00000f64: JUMP 00000f65: JUMPDEST 00000f66: SWAP2 00000f67: POP 00000f68: PUSH32 0x4365640000000000000000000000000000000000000000000000000000000000 00000f89: PUSH1 0x00 00000f8b: DUP4 00000f8c: ADD 00000f8d: MSTORE 00000f8e: PUSH1 0x20 00000f90: DUP3 00000f91: ADD 00000f92: SWAP1 00000f93: POP 00000f94: SWAP2 00000f95: SWAP1 00000f96: POP 00000f97: JUMP 00000f98: JUMPDEST 00000f99: PUSH2 0x0fa1 00000f9c: DUP2 00000f9d: PUSH2 0x1253 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: DUP3 00000fa3: MSTORE 00000fa4: POP 00000fa5: POP 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x00 00000faa: PUSH2 0x0fb3 00000fad: DUP3 00000fae: DUP5 00000faf: PUSH2 0x0e67 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: SWAP2 00000fb5: POP 00000fb6: DUP2 00000fb7: SWAP1 00000fb8: POP 00000fb9: SWAP3 00000fba: SWAP2 00000fbb: POP 00000fbc: POP 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x00 00000fc1: PUSH1 0x20 00000fc3: DUP3 00000fc4: ADD 00000fc5: SWAP1 00000fc6: POP 00000fc7: PUSH2 0x0fd3 00000fca: PUSH1 0x00 00000fcc: DUP4 00000fcd: ADD 00000fce: DUP5 00000fcf: PUSH2 0x0daa 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: SWAP3 00000fd5: SWAP2 00000fd6: POP 00000fd7: POP 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: PUSH1 0x00 00000fdc: PUSH1 0x20 00000fde: DUP3 00000fdf: ADD 00000fe0: SWAP1 00000fe1: POP 00000fe2: PUSH2 0x0fee 00000fe5: PUSH1 0x00 00000fe7: DUP4 00000fe8: ADD 00000fe9: DUP5 00000fea: PUSH2 0x0d9b 00000fed: JUMP 00000fee: JUMPDEST 00000fef: SWAP3 00000ff0: SWAP2 00000ff1: POP 00000ff2: POP 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: PUSH1 0x00 00000ff7: PUSH1 0x40 00000ff9: DUP3 00000ffa: ADD 00000ffb: SWAP1 00000ffc: POP 00000ffd: PUSH2 0x1009 00001000: PUSH1 0x00 00001002: DUP4 00001003: ADD 00001004: DUP6 00001005: PUSH2 0x0daa 00001008: JUMP 00001009: JUMPDEST 0000100a: PUSH2 0x1016 0000100d: PUSH1 0x20 0000100f: DUP4 00001010: ADD 00001011: DUP5 00001012: PUSH2 0x0f98 00001015: JUMP 00001016: JUMPDEST 00001017: SWAP4 00001018: SWAP3 00001019: POP 0000101a: POP 0000101b: POP 0000101c: JUMP 0000101d: JUMPDEST 0000101e: PUSH1 0x00 00001020: PUSH1 0x20 00001022: DUP3 00001023: ADD 00001024: SWAP1 00001025: POP 00001026: DUP2 00001027: DUP2 00001028: SUB 00001029: PUSH1 0x00 0000102b: DUP4 0000102c: ADD 0000102d: MSTORE 0000102e: PUSH2 0x1037 00001031: DUP2 00001032: DUP5 00001033: PUSH2 0x0db9 00001036: JUMP 00001037: JUMPDEST 00001038: SWAP1 00001039: POP 0000103a: SWAP3 0000103b: SWAP2 0000103c: POP 0000103d: POP 0000103e: JUMP 0000103f: JUMPDEST 00001040: PUSH1 0x00 00001042: PUSH1 0x20 00001044: DUP3 00001045: ADD 00001046: SWAP1 00001047: POP 00001048: DUP2 00001049: DUP2 0000104a: SUB 0000104b: PUSH1 0x00 0000104d: DUP4 0000104e: ADD 0000104f: MSTORE 00001050: PUSH2 0x1058 00001053: DUP2 00001054: PUSH2 0x0e98 00001057: JUMP 00001058: JUMPDEST 00001059: SWAP1 0000105a: POP 0000105b: SWAP2 0000105c: SWAP1 0000105d: POP 0000105e: JUMP 0000105f: JUMPDEST 00001060: PUSH1 0x00 00001062: PUSH1 0x20 00001064: DUP3 00001065: ADD 00001066: SWAP1 00001067: POP 00001068: DUP2 00001069: DUP2 0000106a: SUB 0000106b: PUSH1 0x00 0000106d: DUP4 0000106e: ADD 0000106f: MSTORE 00001070: PUSH2 0x1078 00001073: DUP2 00001074: PUSH2 0x0ed8 00001077: JUMP 00001078: JUMPDEST 00001079: SWAP1 0000107a: POP 0000107b: SWAP2 0000107c: SWAP1 0000107d: POP 0000107e: JUMP 0000107f: JUMPDEST 00001080: PUSH1 0x00 00001082: PUSH1 0x20 00001084: DUP3 00001085: ADD 00001086: SWAP1 00001087: POP 00001088: DUP2 00001089: DUP2 0000108a: SUB 0000108b: PUSH1 0x00 0000108d: DUP4 0000108e: ADD 0000108f: MSTORE 00001090: PUSH2 0x1098 00001093: DUP2 00001094: PUSH2 0x0f18 00001097: JUMP 00001098: JUMPDEST 00001099: SWAP1 0000109a: POP 0000109b: SWAP2 0000109c: SWAP1 0000109d: POP 0000109e: JUMP 0000109f: JUMPDEST 000010a0: PUSH1 0x00 000010a2: PUSH1 0x20 000010a4: DUP3 000010a5: ADD 000010a6: SWAP1 000010a7: POP 000010a8: DUP2 000010a9: DUP2 000010aa: SUB 000010ab: PUSH1 0x00 000010ad: DUP4 000010ae: ADD 000010af: MSTORE 000010b0: PUSH2 0x10b8 000010b3: DUP2 000010b4: PUSH2 0x0f58 000010b7: JUMP 000010b8: JUMPDEST 000010b9: SWAP1 000010ba: POP 000010bb: SWAP2 000010bc: SWAP1 000010bd: POP 000010be: JUMP 000010bf: JUMPDEST 000010c0: PUSH1 0x00 000010c2: PUSH1 0x40 000010c4: MLOAD 000010c5: SWAP1 000010c6: POP 000010c7: DUP2 000010c8: DUP2 000010c9: ADD 000010ca: DUP2 000010cb: DUP2 000010cc: LT 000010cd: PUSH8 0xffffffffffffffff 000010d6: DUP3 000010d7: GT 000010d8: OR 000010d9: ISZERO 000010da: PUSH2 0x10e6 000010dd: JUMPI 000010de: PUSH2 0x10e5 000010e1: PUSH2 0x12d5 000010e4: JUMP 000010e5: JUMPDEST 000010e6: JUMPDEST 000010e7: DUP1 000010e8: PUSH1 0x40 000010ea: MSTORE 000010eb: POP 000010ec: SWAP2 000010ed: SWAP1 000010ee: POP 000010ef: JUMP 000010f0: JUMPDEST 000010f1: PUSH1 0x00 000010f3: PUSH8 0xffffffffffffffff 000010fc: DUP3 000010fd: GT 000010fe: ISZERO 000010ff: PUSH2 0x110b 00001102: JUMPI 00001103: PUSH2 0x110a 00001106: PUSH2 0x12d5 00001109: JUMP 0000110a: JUMPDEST 0000110b: JUMPDEST 0000110c: PUSH1 0x20 0000110e: DUP3 0000110f: MUL 00001110: SWAP1 00001111: POP 00001112: PUSH1 0x20 00001114: DUP2 00001115: ADD 00001116: SWAP1 00001117: POP 00001118: SWAP2 00001119: SWAP1 0000111a: POP 0000111b: JUMP 0000111c: JUMPDEST 0000111d: PUSH1 0x00 0000111f: PUSH8 0xffffffffffffffff 00001128: DUP3 00001129: GT 0000112a: ISZERO 0000112b: PUSH2 0x1137 0000112e: JUMPI 0000112f: PUSH2 0x1136 00001132: PUSH2 0x12d5 00001135: JUMP 00001136: JUMPDEST 00001137: JUMPDEST 00001138: PUSH1 0x20 0000113a: DUP3 0000113b: MUL 0000113c: SWAP1 0000113d: POP 0000113e: PUSH1 0x20 00001140: DUP2 00001141: ADD 00001142: SWAP1 00001143: POP 00001144: SWAP2 00001145: SWAP1 00001146: POP 00001147: JUMP 00001148: JUMPDEST 00001149: PUSH1 0x00 0000114b: PUSH8 0xffffffffffffffff 00001154: DUP3 00001155: GT 00001156: ISZERO 00001157: PUSH2 0x1163 0000115a: JUMPI 0000115b: PUSH2 0x1162 0000115e: PUSH2 0x12d5 00001161: JUMP 00001162: JUMPDEST 00001163: JUMPDEST 00001164: PUSH1 0x20 00001166: DUP3 00001167: MUL 00001168: SWAP1 00001169: POP 0000116a: PUSH1 0x20 0000116c: DUP2 0000116d: ADD 0000116e: SWAP1 0000116f: POP 00001170: SWAP2 00001171: SWAP1 00001172: POP 00001173: JUMP 00001174: JUMPDEST 00001175: PUSH1 0x00 00001177: PUSH8 0xffffffffffffffff 00001180: DUP3 00001181: GT 00001182: ISZERO 00001183: PUSH2 0x118f 00001186: JUMPI 00001187: PUSH2 0x118e 0000118a: PUSH2 0x12d5 0000118d: JUMP 0000118e: JUMPDEST 0000118f: JUMPDEST 00001190: PUSH1 0x1f 00001192: NOT 00001193: PUSH1 0x1f 00001195: DUP4 00001196: ADD 00001197: AND 00001198: SWAP1 00001199: POP 0000119a: PUSH1 0x20 0000119c: DUP2 0000119d: ADD 0000119e: SWAP1 0000119f: POP 000011a0: SWAP2 000011a1: SWAP1 000011a2: POP 000011a3: JUMP 000011a4: JUMPDEST 000011a5: PUSH1 0x00 000011a7: DUP2 000011a8: SWAP1 000011a9: POP 000011aa: PUSH1 0x20 000011ac: DUP3 000011ad: ADD 000011ae: SWAP1 000011af: POP 000011b0: SWAP2 000011b1: SWAP1 000011b2: POP 000011b3: JUMP 000011b4: JUMPDEST 000011b5: PUSH1 0x00 000011b7: DUP2 000011b8: MLOAD 000011b9: SWAP1 000011ba: POP 000011bb: SWAP2 000011bc: SWAP1 000011bd: POP 000011be: JUMP 000011bf: JUMPDEST 000011c0: PUSH1 0x00 000011c2: DUP2 000011c3: MLOAD 000011c4: SWAP1 000011c5: POP 000011c6: SWAP2 000011c7: SWAP1 000011c8: POP 000011c9: JUMP 000011ca: JUMPDEST 000011cb: PUSH1 0x00 000011cd: PUSH1 0x20 000011cf: DUP3 000011d0: ADD 000011d1: SWAP1 000011d2: POP 000011d3: SWAP2 000011d4: SWAP1 000011d5: POP 000011d6: JUMP 000011d7: JUMPDEST 000011d8: PUSH1 0x00 000011da: DUP3 000011db: DUP3 000011dc: MSTORE 000011dd: PUSH1 0x20 000011df: DUP3 000011e0: ADD 000011e1: SWAP1 000011e2: POP 000011e3: SWAP3 000011e4: SWAP2 000011e5: POP 000011e6: POP 000011e7: JUMP 000011e8: JUMPDEST 000011e9: PUSH1 0x00 000011eb: DUP3 000011ec: DUP3 000011ed: MSTORE 000011ee: PUSH1 0x20 000011f0: DUP3 000011f1: ADD 000011f2: SWAP1 000011f3: POP 000011f4: SWAP3 000011f5: SWAP2 000011f6: POP 000011f7: POP 000011f8: JUMP 000011f9: JUMPDEST 000011fa: PUSH1 0x00 000011fc: DUP2 000011fd: SWAP1 000011fe: POP 000011ff: SWAP3 00001200: SWAP2 00001201: POP 00001202: POP 00001203: JUMP 00001204: JUMPDEST 00001205: PUSH1 0x00 00001207: DUP3 00001208: DUP3 00001209: MSTORE 0000120a: PUSH1 0x20 0000120c: DUP3 0000120d: ADD 0000120e: SWAP1 0000120f: POP 00001210: SWAP3 00001211: SWAP2 00001212: POP 00001213: POP 00001214: JUMP 00001215: JUMPDEST 00001216: PUSH1 0x00 00001218: PUSH2 0x1220 0000121b: DUP3 0000121c: PUSH2 0x1233 0000121f: JUMP 00001220: JUMPDEST 00001221: SWAP1 00001222: POP 00001223: SWAP2 00001224: SWAP1 00001225: POP 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH1 0x00 0000122a: DUP2 0000122b: ISZERO 0000122c: ISZERO 0000122d: SWAP1 0000122e: POP 0000122f: SWAP2 00001230: SWAP1 00001231: POP 00001232: JUMP 00001233: JUMPDEST 00001234: PUSH1 0x00 00001236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124b: DUP3 0000124c: AND 0000124d: SWAP1 0000124e: POP 0000124f: SWAP2 00001250: SWAP1 00001251: POP 00001252: JUMP 00001253: JUMPDEST 00001254: PUSH1 0x00 00001256: DUP2 00001257: SWAP1 00001258: POP 00001259: SWAP2 0000125a: SWAP1 0000125b: POP 0000125c: JUMP 0000125d: JUMPDEST 0000125e: PUSH1 0x00 00001260: PUSH2 0x1268 00001263: DUP3 00001264: PUSH2 0x126f 00001267: JUMP 00001268: JUMPDEST 00001269: SWAP1 0000126a: POP 0000126b: SWAP2 0000126c: SWAP1 0000126d: POP 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x00 00001272: PUSH2 0x127a 00001275: DUP3 00001276: PUSH2 0x1281 00001279: JUMP 0000127a: JUMPDEST 0000127b: SWAP1 0000127c: POP 0000127d: SWAP2 0000127e: SWAP1 0000127f: POP 00001280: JUMP 00001281: JUMPDEST 00001282: PUSH1 0x00 00001284: PUSH2 0x128c 00001287: DUP3 00001288: PUSH2 0x1233 0000128b: JUMP 0000128c: JUMPDEST 0000128d: SWAP1 0000128e: POP 0000128f: SWAP2 00001290: SWAP1 00001291: POP 00001292: JUMP 00001293: JUMPDEST 00001294: DUP3 00001295: DUP2 00001296: DUP4 00001297: CALLDATACOPY 00001298: PUSH1 0x00 0000129a: DUP4 0000129b: DUP4 0000129c: ADD 0000129d: MSTORE 0000129e: POP 0000129f: POP 000012a0: POP 000012a1: JUMP 000012a2: JUMPDEST 000012a3: PUSH1 0x00 000012a5: JUMPDEST 000012a6: DUP4 000012a7: DUP2 000012a8: LT 000012a9: ISZERO 000012aa: PUSH2 0x12c0 000012ad: JUMPI 000012ae: DUP1 000012af: DUP3 000012b0: ADD 000012b1: MLOAD 000012b2: DUP2 000012b3: DUP5 000012b4: ADD 000012b5: MSTORE 000012b6: PUSH1 0x20 000012b8: DUP2 000012b9: ADD 000012ba: SWAP1 000012bb: POP 000012bc: PUSH2 0x12a5 000012bf: JUMP 000012c0: JUMPDEST 000012c1: DUP4 000012c2: DUP2 000012c3: GT 000012c4: ISZERO 000012c5: PUSH2 0x12cf 000012c8: JUMPI 000012c9: PUSH1 0x00 000012cb: DUP5 000012cc: DUP5 000012cd: ADD 000012ce: MSTORE 000012cf: JUMPDEST 000012d0: POP 000012d1: POP 000012d2: POP 000012d3: POP 000012d4: JUMP 000012d5: JUMPDEST 000012d6: INVALID 000012d7: JUMPDEST 000012d8: PUSH1 0x00 000012da: PUSH1 0x1f 000012dc: NOT 000012dd: PUSH1 0x1f 000012df: DUP4 000012e0: ADD 000012e1: AND 000012e2: SWAP1 000012e3: POP 000012e4: SWAP2 000012e5: SWAP1 000012e6: POP 000012e7: JUMP 000012e8: JUMPDEST 000012e9: PUSH2 0x12f1 000012ec: DUP2 000012ed: PUSH2 0x1215 000012f0: JUMP 000012f1: JUMPDEST 000012f2: DUP2 000012f3: EQ 000012f4: PUSH2 0x12fc 000012f7: JUMPI 000012f8: PUSH1 0x00 000012fa: DUP1 000012fb: REVERT 000012fc: JUMPDEST 000012fd: POP 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH2 0x1308 00001303: DUP2 00001304: PUSH2 0x1227 00001307: JUMP 00001308: JUMPDEST 00001309: DUP2 0000130a: EQ 0000130b: PUSH2 0x1313 0000130e: JUMPI 0000130f: PUSH1 0x00 00001311: DUP1 00001312: REVERT 00001313: JUMPDEST 00001314: POP 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH2 0x131f 0000131a: DUP2 0000131b: PUSH2 0x1253 0000131e: JUMP 0000131f: JUMPDEST 00001320: DUP2 00001321: EQ 00001322: PUSH2 0x132a 00001325: JUMPI 00001326: PUSH1 0x00 00001328: DUP1 00001329: REVERT 0000132a: JUMPDEST 0000132b: POP 0000132c: JUMP 0000132d: INVALID 0000132e: LOG2 0000132f: PUSH5 0x6970667358 00001335: UNKNOWN(0x22) 00001336: SLT 00001337: KECCAK256 00001338: UNKNOWN(0x25) 00001339: CALL 0000133a: UNKNOWN(0x2C) 0000133b: PUSH29 0x1c0f0bd18d83e0a704bfb85da9ce2e7ffb4757f03ff9860f6359883164 00001359: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x8ff0170fa10bc454a3040a1a20c36cccd852eec0887181d0a714f0b0d4b4bb59
call_targets:
0xc66d027687300a995fe77d0d23c3b94049b28d13
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8ff0170fa10bc454a3040a1a20c36cccd852eec0887181d0a714f0b0d4b4bb59",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc66d027687300a995fe77d0d23c3b94049b28d13"
],
"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": "0x89476069",
"selector": "0x89476069",
"calldata_variants": [
"0x89476069",
"0x894760690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd33103",
"selector": "0xbfd33103",
"calldata_variants": [
"0xbfd33103",
"0xbfd331030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc8e516f",
"selector": "0xdc8e516f",
"calldata_variants": [
"0xdc8e516f",
"0xdc8e516f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4e91b23",
"selector": "0xf4e91b23",
"calldata_variants": [
"0xf4e91b23",
"0xf4e91b230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1311,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1521,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 375,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 942,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1608,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x8ff0170fa10bc454a3040a1a20c36cccd852eec0887181d0a714f0b0d4b4bb59
call_targets:
0xc66d027687300a995fe77d0d23c3b94049b28d13
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8ff0170fa10bc454a3040a1a20c36cccd852eec0887181d0a714f0b0d4b4bb59",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc66d027687300a995fe77d0d23c3b94049b28d13"
],
"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": "0x89476069",
"selector": "0x89476069",
"calldata_variants": [
"0x89476069",
"0x894760690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd33103",
"selector": "0xbfd33103",
"calldata_variants": [
"0xbfd33103",
"0xbfd331030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc8e516f",
"selector": "0xdc8e516f",
"calldata_variants": [
"0xdc8e516f",
"0xdc8e516f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4e91b23",
"selector": "0xf4e91b23",
"calldata_variants": [
"0xf4e91b23",
"0xf4e91b230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1311,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1521,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 375,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 942,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1608,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|