019ba92a-2e3c-7297-afde-df2d9a880211
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 |
|---|---|---|---|---|
| 35424 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35425 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35426 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35427 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35428 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35429 | detector.run | complete | 1 / 3 | 3 months ago |
| 35430 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00cf 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x70a08231 00000026: GT 00000027: PUSH2 0x008c 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa9059cbb 00000031: GT 00000032: PUSH2 0x0066 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xa9059cbb 0000003c: EQ 0000003d: PUSH2 0x0216 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xd5abeb01 00000047: EQ 00000048: PUSH2 0x0246 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xdb006a75 00000052: EQ 00000053: PUSH2 0x0264 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xdd62ed3e 0000005d: EQ 0000005e: PUSH2 0x0280 00000061: JUMPI 00000062: PUSH2 0x00cf 00000065: JUMP 00000066: JUMPDEST 00000067: DUP1 00000068: PUSH4 0x70a08231 0000006d: EQ 0000006e: PUSH2 0x01ac 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x95d89b41 00000078: EQ 00000079: PUSH2 0x01dc 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xa0712d68 00000083: EQ 00000084: PUSH2 0x01fa 00000087: JUMPI 00000088: PUSH2 0x00cf 0000008b: JUMP 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0x06fdde03 00000093: EQ 00000094: PUSH2 0x00d4 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x095ea7b3 0000009e: EQ 0000009f: PUSH2 0x00f2 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x18160ddd 000000a9: EQ 000000aa: PUSH2 0x0122 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x23b872dd 000000b4: EQ 000000b5: PUSH2 0x0140 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x313ce567 000000bf: EQ 000000c0: PUSH2 0x0170 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x3e413bee 000000ca: EQ 000000cb: PUSH2 0x018e 000000ce: JUMPI 000000cf: JUMPDEST 000000d0: PUSH1 0x00 000000d2: DUP1 000000d3: REVERT 000000d4: JUMPDEST 000000d5: PUSH2 0x00dc 000000d8: PUSH2 0x02b0 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH1 0x40 000000df: MLOAD 000000e0: PUSH2 0x00e9 000000e3: SWAP2 000000e4: SWAP1 000000e5: PUSH2 0x0f61 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH1 0x40 000000ec: MLOAD 000000ed: DUP1 000000ee: SWAP2 000000ef: SUB 000000f0: SWAP1 000000f1: RETURN 000000f2: JUMPDEST 000000f3: PUSH2 0x010c 000000f6: PUSH1 0x04 000000f8: DUP1 000000f9: CALLDATASIZE 000000fa: SUB 000000fb: DUP2 000000fc: ADD 000000fd: SWAP1 000000fe: PUSH2 0x0107 00000101: SWAP2 00000102: SWAP1 00000103: PUSH2 0x101c 00000106: JUMP 00000107: JUMPDEST 00000108: PUSH2 0x0342 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH1 0x40 0000010f: MLOAD 00000110: PUSH2 0x0119 00000113: SWAP2 00000114: SWAP1 00000115: PUSH2 0x1077 00000118: JUMP 00000119: JUMPDEST 0000011a: PUSH1 0x40 0000011c: MLOAD 0000011d: DUP1 0000011e: SWAP2 0000011f: SUB 00000120: SWAP1 00000121: RETURN 00000122: JUMPDEST 00000123: PUSH2 0x012a 00000126: PUSH2 0x0365 00000129: JUMP 0000012a: JUMPDEST 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: PUSH2 0x0137 00000131: SWAP2 00000132: SWAP1 00000133: PUSH2 0x10a1 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH1 0x40 0000013a: MLOAD 0000013b: DUP1 0000013c: SWAP2 0000013d: SUB 0000013e: SWAP1 0000013f: RETURN 00000140: JUMPDEST 00000141: PUSH2 0x015a 00000144: PUSH1 0x04 00000146: DUP1 00000147: CALLDATASIZE 00000148: SUB 00000149: DUP2 0000014a: ADD 0000014b: SWAP1 0000014c: PUSH2 0x0155 0000014f: SWAP2 00000150: SWAP1 00000151: PUSH2 0x10bc 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH2 0x036f 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH1 0x40 0000015d: MLOAD 0000015e: PUSH2 0x0167 00000161: SWAP2 00000162: SWAP1 00000163: PUSH2 0x1077 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x40 0000016a: MLOAD 0000016b: DUP1 0000016c: SWAP2 0000016d: SUB 0000016e: SWAP1 0000016f: RETURN 00000170: JUMPDEST 00000171: PUSH2 0x0178 00000174: PUSH2 0x039e 00000177: JUMP 00000178: JUMPDEST 00000179: PUSH1 0x40 0000017b: MLOAD 0000017c: PUSH2 0x0185 0000017f: SWAP2 00000180: SWAP1 00000181: PUSH2 0x112b 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH1 0x40 00000188: MLOAD 00000189: DUP1 0000018a: SWAP2 0000018b: SUB 0000018c: SWAP1 0000018d: RETURN 0000018e: JUMPDEST 0000018f: PUSH2 0x0196 00000192: PUSH2 0x03a7 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: PUSH2 0x01a3 0000019d: SWAP2 0000019e: SWAP1 0000019f: PUSH2 0x11a5 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: DUP1 000001a8: SWAP2 000001a9: SUB 000001aa: SWAP1 000001ab: RETURN 000001ac: JUMPDEST 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 0x11c0 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH2 0x03cb 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: PUSH2 0x01d3 000001cd: SWAP2 000001ce: SWAP1 000001cf: PUSH2 0x10a1 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: SWAP2 000001d9: SUB 000001da: SWAP1 000001db: RETURN 000001dc: JUMPDEST 000001dd: PUSH2 0x01e4 000001e0: PUSH2 0x0413 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x40 000001e7: MLOAD 000001e8: PUSH2 0x01f1 000001eb: SWAP2 000001ec: SWAP1 000001ed: PUSH2 0x0f61 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH1 0x40 000001f4: MLOAD 000001f5: DUP1 000001f6: SWAP2 000001f7: SUB 000001f8: SWAP1 000001f9: RETURN 000001fa: JUMPDEST 000001fb: PUSH2 0x0214 000001fe: PUSH1 0x04 00000200: DUP1 00000201: CALLDATASIZE 00000202: SUB 00000203: DUP2 00000204: ADD 00000205: SWAP1 00000206: PUSH2 0x020f 00000209: SWAP2 0000020a: SWAP1 0000020b: PUSH2 0x11ed 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH2 0x04a5 00000213: JUMP 00000214: JUMPDEST 00000215: STOP 00000216: JUMPDEST 00000217: PUSH2 0x0230 0000021a: PUSH1 0x04 0000021c: DUP1 0000021d: CALLDATASIZE 0000021e: SUB 0000021f: DUP2 00000220: ADD 00000221: SWAP1 00000222: PUSH2 0x022b 00000225: SWAP2 00000226: SWAP1 00000227: PUSH2 0x101c 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH2 0x0616 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH1 0x40 00000233: MLOAD 00000234: PUSH2 0x023d 00000237: SWAP2 00000238: SWAP1 00000239: PUSH2 0x1077 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: DUP1 00000242: SWAP2 00000243: SUB 00000244: SWAP1 00000245: RETURN 00000246: JUMPDEST 00000247: PUSH2 0x024e 0000024a: PUSH2 0x0639 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x40 00000251: MLOAD 00000252: PUSH2 0x025b 00000255: SWAP2 00000256: SWAP1 00000257: PUSH2 0x10a1 0000025a: JUMP 0000025b: JUMPDEST 0000025c: PUSH1 0x40 0000025e: MLOAD 0000025f: DUP1 00000260: SWAP2 00000261: SUB 00000262: SWAP1 00000263: RETURN 00000264: JUMPDEST 00000265: PUSH2 0x027e 00000268: PUSH1 0x04 0000026a: DUP1 0000026b: CALLDATASIZE 0000026c: SUB 0000026d: DUP2 0000026e: ADD 0000026f: SWAP1 00000270: PUSH2 0x0279 00000273: SWAP2 00000274: SWAP1 00000275: PUSH2 0x11ed 00000278: JUMP 00000279: JUMPDEST 0000027a: PUSH2 0x065d 0000027d: JUMP 0000027e: JUMPDEST 0000027f: STOP 00000280: JUMPDEST 00000281: PUSH2 0x029a 00000284: PUSH1 0x04 00000286: DUP1 00000287: CALLDATASIZE 00000288: SUB 00000289: DUP2 0000028a: ADD 0000028b: SWAP1 0000028c: PUSH2 0x0295 0000028f: SWAP2 00000290: SWAP1 00000291: PUSH2 0x121a 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH2 0x0757 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: PUSH2 0x02a7 000002a1: SWAP2 000002a2: SWAP1 000002a3: PUSH2 0x10a1 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: SWAP2 000002ad: SUB 000002ae: SWAP1 000002af: RETURN 000002b0: JUMPDEST 000002b1: PUSH1 0x60 000002b3: PUSH1 0x03 000002b5: DUP1 000002b6: SLOAD 000002b7: PUSH2 0x02bf 000002ba: SWAP1 000002bb: PUSH2 0x1289 000002be: JUMP 000002bf: JUMPDEST 000002c0: DUP1 000002c1: PUSH1 0x1f 000002c3: ADD 000002c4: PUSH1 0x20 000002c6: DUP1 000002c7: SWAP2 000002c8: DIV 000002c9: MUL 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: PUSH1 0x40 000002cf: MLOAD 000002d0: SWAP1 000002d1: DUP2 000002d2: ADD 000002d3: PUSH1 0x40 000002d5: MSTORE 000002d6: DUP1 000002d7: SWAP3 000002d8: SWAP2 000002d9: SWAP1 000002da: DUP2 000002db: DUP2 000002dc: MSTORE 000002dd: PUSH1 0x20 000002df: ADD 000002e0: DUP3 000002e1: DUP1 000002e2: SLOAD 000002e3: PUSH2 0x02eb 000002e6: SWAP1 000002e7: PUSH2 0x1289 000002ea: JUMP 000002eb: JUMPDEST 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x0338 000002f1: JUMPI 000002f2: DUP1 000002f3: PUSH1 0x1f 000002f5: LT 000002f6: PUSH2 0x030d 000002f9: JUMPI 000002fa: PUSH2 0x0100 000002fd: DUP1 000002fe: DUP4 000002ff: SLOAD 00000300: DIV 00000301: MUL 00000302: DUP4 00000303: MSTORE 00000304: SWAP2 00000305: PUSH1 0x20 00000307: ADD 00000308: SWAP2 00000309: PUSH2 0x0338 0000030c: JUMP 0000030d: JUMPDEST 0000030e: DUP3 0000030f: ADD 00000310: SWAP2 00000311: SWAP1 00000312: PUSH1 0x00 00000314: MSTORE 00000315: PUSH1 0x20 00000317: PUSH1 0x00 00000319: KECCAK256 0000031a: SWAP1 0000031b: JUMPDEST 0000031c: DUP2 0000031d: SLOAD 0000031e: DUP2 0000031f: MSTORE 00000320: SWAP1 00000321: PUSH1 0x01 00000323: ADD 00000324: SWAP1 00000325: PUSH1 0x20 00000327: ADD 00000328: DUP1 00000329: DUP4 0000032a: GT 0000032b: PUSH2 0x031b 0000032e: JUMPI 0000032f: DUP3 00000330: SWAP1 00000331: SUB 00000332: PUSH1 0x1f 00000334: AND 00000335: DUP3 00000336: ADD 00000337: SWAP2 00000338: JUMPDEST 00000339: POP 0000033a: POP 0000033b: POP 0000033c: POP 0000033d: POP 0000033e: SWAP1 0000033f: POP 00000340: SWAP1 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x00 00000345: DUP1 00000346: PUSH2 0x034d 00000349: PUSH2 0x07de 0000034c: JUMP 0000034d: JUMPDEST 0000034e: SWAP1 0000034f: POP 00000350: PUSH2 0x035a 00000353: DUP2 00000354: DUP6 00000355: DUP6 00000356: PUSH2 0x07e6 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH1 0x01 0000035d: SWAP2 0000035e: POP 0000035f: POP 00000360: SWAP3 00000361: SWAP2 00000362: POP 00000363: POP 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH1 0x00 00000368: PUSH1 0x02 0000036a: SLOAD 0000036b: SWAP1 0000036c: POP 0000036d: SWAP1 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH1 0x00 00000372: DUP1 00000373: PUSH2 0x037a 00000376: PUSH2 0x07de 00000379: JUMP 0000037a: JUMPDEST 0000037b: SWAP1 0000037c: POP 0000037d: PUSH2 0x0387 00000380: DUP6 00000381: DUP3 00000382: DUP6 00000383: PUSH2 0x07f8 00000386: JUMP 00000387: JUMPDEST 00000388: PUSH2 0x0392 0000038b: DUP6 0000038c: DUP6 0000038d: DUP6 0000038e: PUSH2 0x088d 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH1 0x01 00000395: SWAP2 00000396: POP 00000397: POP 00000398: SWAP4 00000399: SWAP3 0000039a: POP 0000039b: POP 0000039c: POP 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH1 0x00 000003a1: PUSH1 0x06 000003a3: SWAP1 000003a4: POP 000003a5: SWAP1 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000003c9: DUP2 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: PUSH1 0x00 000003d1: DUP4 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fd: AND 000003fe: DUP2 000003ff: MSTORE 00000400: PUSH1 0x20 00000402: ADD 00000403: SWAP1 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x20 00000408: ADD 00000409: PUSH1 0x00 0000040b: KECCAK256 0000040c: SLOAD 0000040d: SWAP1 0000040e: POP 0000040f: SWAP2 00000410: SWAP1 00000411: POP 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x60 00000416: PUSH1 0x04 00000418: DUP1 00000419: SLOAD 0000041a: PUSH2 0x0422 0000041d: SWAP1 0000041e: PUSH2 0x1289 00000421: JUMP 00000422: JUMPDEST 00000423: DUP1 00000424: PUSH1 0x1f 00000426: ADD 00000427: PUSH1 0x20 00000429: DUP1 0000042a: SWAP2 0000042b: DIV 0000042c: MUL 0000042d: PUSH1 0x20 0000042f: ADD 00000430: PUSH1 0x40 00000432: MLOAD 00000433: SWAP1 00000434: DUP2 00000435: ADD 00000436: PUSH1 0x40 00000438: MSTORE 00000439: DUP1 0000043a: SWAP3 0000043b: SWAP2 0000043c: SWAP1 0000043d: DUP2 0000043e: DUP2 0000043f: MSTORE 00000440: PUSH1 0x20 00000442: ADD 00000443: DUP3 00000444: DUP1 00000445: SLOAD 00000446: PUSH2 0x044e 00000449: SWAP1 0000044a: PUSH2 0x1289 0000044d: JUMP 0000044e: JUMPDEST 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x049b 00000454: JUMPI 00000455: DUP1 00000456: PUSH1 0x1f 00000458: LT 00000459: PUSH2 0x0470 0000045c: JUMPI 0000045d: PUSH2 0x0100 00000460: DUP1 00000461: DUP4 00000462: SLOAD 00000463: DIV 00000464: MUL 00000465: DUP4 00000466: MSTORE 00000467: SWAP2 00000468: PUSH1 0x20 0000046a: ADD 0000046b: SWAP2 0000046c: PUSH2 0x049b 0000046f: JUMP 00000470: JUMPDEST 00000471: DUP3 00000472: ADD 00000473: SWAP2 00000474: SWAP1 00000475: PUSH1 0x00 00000477: MSTORE 00000478: PUSH1 0x20 0000047a: PUSH1 0x00 0000047c: KECCAK256 0000047d: SWAP1 0000047e: JUMPDEST 0000047f: DUP2 00000480: SLOAD 00000481: DUP2 00000482: MSTORE 00000483: SWAP1 00000484: PUSH1 0x01 00000486: ADD 00000487: SWAP1 00000488: PUSH1 0x20 0000048a: ADD 0000048b: DUP1 0000048c: DUP4 0000048d: GT 0000048e: PUSH2 0x047e 00000491: JUMPI 00000492: DUP3 00000493: SWAP1 00000494: SUB 00000495: PUSH1 0x1f 00000497: AND 00000498: DUP3 00000499: ADD 0000049a: SWAP2 0000049b: JUMPDEST 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: POP 000004a0: POP 000004a1: SWAP1 000004a2: POP 000004a3: SWAP1 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH2 0x04ad 000004a9: PUSH2 0x0981 000004ac: JUMP 000004ad: JUMPDEST 000004ae: PUSH32 0x00000000000000000000000000000000000000000000000000000061c9f36800 000004cf: DUP2 000004d0: PUSH2 0x04d7 000004d3: PUSH2 0x0365 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH2 0x04e1 000004db: SWAP2 000004dc: SWAP1 000004dd: PUSH2 0x12e9 000004e0: JUMP 000004e1: JUMPDEST 000004e2: GT 000004e3: ISZERO 000004e4: PUSH2 0x0522 000004e7: JUMPI 000004e8: PUSH1 0x40 000004ea: MLOAD 000004eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000050c: DUP2 0000050d: MSTORE 0000050e: PUSH1 0x04 00000510: ADD 00000511: PUSH2 0x0519 00000514: SWAP1 00000515: PUSH2 0x1369 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x40 0000051c: MLOAD 0000051d: DUP1 0000051e: SWAP2 0000051f: SUB 00000520: SWAP1 00000521: REVERT 00000522: JUMPDEST 00000523: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000559: AND 0000055a: PUSH4 0x23b872dd 0000055f: CALLER 00000560: ADDRESS 00000561: DUP5 00000562: PUSH1 0x40 00000564: MLOAD 00000565: DUP5 00000566: PUSH4 0xffffffff 0000056b: AND 0000056c: PUSH1 0xe0 0000056e: SHL 0000056f: DUP2 00000570: MSTORE 00000571: PUSH1 0x04 00000573: ADD 00000574: PUSH2 0x057f 00000577: SWAP4 00000578: SWAP3 00000579: SWAP2 0000057a: SWAP1 0000057b: PUSH2 0x1398 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x20 00000582: PUSH1 0x40 00000584: MLOAD 00000585: DUP1 00000586: DUP4 00000587: SUB 00000588: DUP2 00000589: PUSH1 0x00 0000058b: DUP8 0000058c: GAS 0000058d: CALL 0000058e: ISZERO 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x059e 00000594: JUMPI 00000595: RETURNDATASIZE 00000596: PUSH1 0x00 00000598: DUP1 00000599: RETURNDATACOPY 0000059a: RETURNDATASIZE 0000059b: PUSH1 0x00 0000059d: REVERT 0000059e: JUMPDEST 0000059f: POP 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: RETURNDATASIZE 000005a7: PUSH1 0x1f 000005a9: NOT 000005aa: PUSH1 0x1f 000005ac: DUP3 000005ad: ADD 000005ae: AND 000005af: DUP3 000005b0: ADD 000005b1: DUP1 000005b2: PUSH1 0x40 000005b4: MSTORE 000005b5: POP 000005b6: DUP2 000005b7: ADD 000005b8: SWAP1 000005b9: PUSH2 0x05c2 000005bc: SWAP2 000005bd: SWAP1 000005be: PUSH2 0x13fb 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH2 0x0601 000005c6: JUMPI 000005c7: PUSH1 0x40 000005c9: MLOAD 000005ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005eb: DUP2 000005ec: MSTORE 000005ed: PUSH1 0x04 000005ef: ADD 000005f0: PUSH2 0x05f8 000005f3: SWAP1 000005f4: PUSH2 0x1474 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH1 0x40 000005fb: MLOAD 000005fc: DUP1 000005fd: SWAP2 000005fe: SUB 000005ff: SWAP1 00000600: REVERT 00000601: JUMPDEST 00000602: PUSH2 0x060b 00000605: CALLER 00000606: DUP3 00000607: PUSH2 0x09c7 0000060a: JUMP 0000060b: JUMPDEST 0000060c: PUSH2 0x0613 0000060f: PUSH2 0x0a49 00000612: JUMP 00000613: JUMPDEST 00000614: POP 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH1 0x00 00000619: DUP1 0000061a: PUSH2 0x0621 0000061d: PUSH2 0x07de 00000620: JUMP 00000621: JUMPDEST 00000622: SWAP1 00000623: POP 00000624: PUSH2 0x062e 00000627: DUP2 00000628: DUP6 00000629: DUP6 0000062a: PUSH2 0x088d 0000062d: JUMP 0000062e: JUMPDEST 0000062f: PUSH1 0x01 00000631: SWAP2 00000632: POP 00000633: POP 00000634: SWAP3 00000635: SWAP2 00000636: POP 00000637: POP 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH32 0x00000000000000000000000000000000000000000000000000000061c9f36800 0000065b: DUP2 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH2 0x0665 00000661: PUSH2 0x0981 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH2 0x066f 00000669: CALLER 0000066a: DUP3 0000066b: PUSH2 0x0a53 0000066e: JUMP 0000066f: JUMPDEST 00000670: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000691: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a6: AND 000006a7: PUSH4 0xa9059cbb 000006ac: CALLER 000006ad: DUP4 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: DUP4 000006b2: PUSH4 0xffffffff 000006b7: AND 000006b8: PUSH1 0xe0 000006ba: SHL 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x04 000006bf: ADD 000006c0: PUSH2 0x06ca 000006c3: SWAP3 000006c4: SWAP2 000006c5: SWAP1 000006c6: PUSH2 0x1494 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x20 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: DUP1 000006d1: DUP4 000006d2: SUB 000006d3: DUP2 000006d4: PUSH1 0x00 000006d6: DUP8 000006d7: GAS 000006d8: CALL 000006d9: ISZERO 000006da: DUP1 000006db: ISZERO 000006dc: PUSH2 0x06e9 000006df: JUMPI 000006e0: RETURNDATASIZE 000006e1: PUSH1 0x00 000006e3: DUP1 000006e4: RETURNDATACOPY 000006e5: RETURNDATASIZE 000006e6: PUSH1 0x00 000006e8: REVERT 000006e9: JUMPDEST 000006ea: POP 000006eb: POP 000006ec: POP 000006ed: POP 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: RETURNDATASIZE 000006f2: PUSH1 0x1f 000006f4: NOT 000006f5: PUSH1 0x1f 000006f7: DUP3 000006f8: ADD 000006f9: AND 000006fa: DUP3 000006fb: ADD 000006fc: DUP1 000006fd: PUSH1 0x40 000006ff: MSTORE 00000700: POP 00000701: DUP2 00000702: ADD 00000703: SWAP1 00000704: PUSH2 0x070d 00000707: SWAP2 00000708: SWAP1 00000709: PUSH2 0x13fb 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH2 0x074c 00000711: JUMPI 00000712: PUSH1 0x40 00000714: MLOAD 00000715: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x04 0000073a: ADD 0000073b: PUSH2 0x0743 0000073e: SWAP1 0000073f: PUSH2 0x1509 00000742: JUMP 00000743: JUMPDEST 00000744: PUSH1 0x40 00000746: MLOAD 00000747: DUP1 00000748: SWAP2 00000749: SUB 0000074a: SWAP1 0000074b: REVERT 0000074c: JUMPDEST 0000074d: PUSH2 0x0754 00000750: PUSH2 0x0a49 00000753: JUMP 00000754: JUMPDEST 00000755: POP 00000756: JUMP 00000757: JUMPDEST 00000758: PUSH1 0x00 0000075a: PUSH1 0x01 0000075c: PUSH1 0x00 0000075e: DUP5 0000075f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000774: AND 00000775: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078a: AND 0000078b: DUP2 0000078c: MSTORE 0000078d: PUSH1 0x20 0000078f: ADD 00000790: SWAP1 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: PUSH1 0x00 00000798: KECCAK256 00000799: PUSH1 0x00 0000079b: DUP4 0000079c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b1: AND 000007b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c7: AND 000007c8: DUP2 000007c9: MSTORE 000007ca: PUSH1 0x20 000007cc: ADD 000007cd: SWAP1 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: ADD 000007d3: PUSH1 0x00 000007d5: KECCAK256 000007d6: SLOAD 000007d7: SWAP1 000007d8: POP 000007d9: SWAP3 000007da: SWAP2 000007db: POP 000007dc: POP 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x00 000007e1: CALLER 000007e2: SWAP1 000007e3: POP 000007e4: SWAP1 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH2 0x07f3 000007ea: DUP4 000007eb: DUP4 000007ec: DUP4 000007ed: PUSH1 0x01 000007ef: PUSH2 0x0ad5 000007f2: JUMP 000007f3: JUMPDEST 000007f4: POP 000007f5: POP 000007f6: POP 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x00 000007fb: PUSH2 0x0804 000007fe: DUP5 000007ff: DUP5 00000800: PUSH2 0x0757 00000803: JUMP 00000804: JUMPDEST 00000805: SWAP1 00000806: POP 00000807: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000828: DUP2 00000829: LT 0000082a: ISZERO 0000082b: PUSH2 0x0887 0000082e: JUMPI 0000082f: DUP2 00000830: DUP2 00000831: LT 00000832: ISZERO 00000833: PUSH2 0x0877 00000836: JUMPI 00000837: DUP3 00000838: DUP2 00000839: DUP4 0000083a: PUSH1 0x40 0000083c: MLOAD 0000083d: PUSH32 0xfb8f41b200000000000000000000000000000000000000000000000000000000 0000085e: DUP2 0000085f: MSTORE 00000860: PUSH1 0x04 00000862: ADD 00000863: PUSH2 0x086e 00000866: SWAP4 00000867: SWAP3 00000868: SWAP2 00000869: SWAP1 0000086a: PUSH2 0x1529 0000086d: JUMP 0000086e: JUMPDEST 0000086f: PUSH1 0x40 00000871: MLOAD 00000872: DUP1 00000873: SWAP2 00000874: SUB 00000875: SWAP1 00000876: REVERT 00000877: JUMPDEST 00000878: PUSH2 0x0886 0000087b: DUP5 0000087c: DUP5 0000087d: DUP5 0000087e: DUP5 0000087f: SUB 00000880: PUSH1 0x00 00000882: PUSH2 0x0ad5 00000885: JUMP 00000886: JUMPDEST 00000887: JUMPDEST 00000888: POP 00000889: POP 0000088a: POP 0000088b: POP 0000088c: JUMP 0000088d: JUMPDEST 0000088e: PUSH1 0x00 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: DUP4 000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bc: AND 000008bd: SUB 000008be: PUSH2 0x08ff 000008c1: JUMPI 000008c2: PUSH1 0x00 000008c4: PUSH1 0x40 000008c6: MLOAD 000008c7: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000 000008e8: DUP2 000008e9: MSTORE 000008ea: PUSH1 0x04 000008ec: ADD 000008ed: PUSH2 0x08f6 000008f0: SWAP2 000008f1: SWAP1 000008f2: PUSH2 0x1560 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: DUP1 000008fb: SWAP2 000008fc: SUB 000008fd: SWAP1 000008fe: REVERT 000008ff: JUMPDEST 00000900: PUSH1 0x00 00000902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000917: AND 00000918: DUP3 00000919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092e: AND 0000092f: SUB 00000930: PUSH2 0x0971 00000933: JUMPI 00000934: PUSH1 0x00 00000936: PUSH1 0x40 00000938: MLOAD 00000939: PUSH32 0xec442f0500000000000000000000000000000000000000000000000000000000 0000095a: DUP2 0000095b: MSTORE 0000095c: PUSH1 0x04 0000095e: ADD 0000095f: PUSH2 0x0968 00000962: SWAP2 00000963: SWAP1 00000964: PUSH2 0x1560 00000967: JUMP 00000968: JUMPDEST 00000969: PUSH1 0x40 0000096b: MLOAD 0000096c: DUP1 0000096d: SWAP2 0000096e: SUB 0000096f: SWAP1 00000970: REVERT 00000971: JUMPDEST 00000972: PUSH2 0x097c 00000975: DUP4 00000976: DUP4 00000977: DUP4 00000978: PUSH2 0x0cac 0000097b: JUMP 0000097c: JUMPDEST 0000097d: POP 0000097e: POP 0000097f: POP 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x02 00000984: PUSH1 0x05 00000986: SLOAD 00000987: SUB 00000988: PUSH2 0x09bd 0000098b: JUMPI 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x04 000009b4: ADD 000009b5: PUSH1 0x40 000009b7: MLOAD 000009b8: DUP1 000009b9: SWAP2 000009ba: SUB 000009bb: SWAP1 000009bc: REVERT 000009bd: JUMPDEST 000009be: PUSH1 0x02 000009c0: PUSH1 0x05 000009c2: DUP2 000009c3: SWAP1 000009c4: SSTORE 000009c5: POP 000009c6: JUMP 000009c7: JUMPDEST 000009c8: PUSH1 0x00 000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009df: AND 000009e0: DUP3 000009e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f6: AND 000009f7: SUB 000009f8: PUSH2 0x0a39 000009fb: JUMPI 000009fc: PUSH1 0x00 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: PUSH32 0xec442f0500000000000000000000000000000000000000000000000000000000 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x04 00000a26: ADD 00000a27: PUSH2 0x0a30 00000a2a: SWAP2 00000a2b: SWAP1 00000a2c: PUSH2 0x1560 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x40 00000a33: MLOAD 00000a34: DUP1 00000a35: SWAP2 00000a36: SUB 00000a37: SWAP1 00000a38: REVERT 00000a39: JUMPDEST 00000a3a: PUSH2 0x0a45 00000a3d: PUSH1 0x00 00000a3f: DUP4 00000a40: DUP4 00000a41: PUSH2 0x0cac 00000a44: JUMP 00000a45: JUMPDEST 00000a46: POP 00000a47: POP 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0x05 00000a4e: DUP2 00000a4f: SWAP1 00000a50: SSTORE 00000a51: POP 00000a52: JUMP 00000a53: JUMPDEST 00000a54: PUSH1 0x00 00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6b: AND 00000a6c: DUP3 00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a82: AND 00000a83: SUB 00000a84: PUSH2 0x0ac5 00000a87: JUMPI 00000a88: PUSH1 0x00 00000a8a: PUSH1 0x40 00000a8c: MLOAD 00000a8d: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x04 00000ab2: ADD 00000ab3: PUSH2 0x0abc 00000ab6: SWAP2 00000ab7: SWAP1 00000ab8: PUSH2 0x1560 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH1 0x40 00000abf: MLOAD 00000ac0: DUP1 00000ac1: SWAP2 00000ac2: SUB 00000ac3: SWAP1 00000ac4: REVERT 00000ac5: JUMPDEST 00000ac6: PUSH2 0x0ad1 00000ac9: DUP3 00000aca: PUSH1 0x00 00000acc: DUP4 00000acd: PUSH2 0x0cac 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: POP 00000ad3: POP 00000ad4: JUMP 00000ad5: JUMPDEST 00000ad6: PUSH1 0x00 00000ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aed: AND 00000aee: DUP5 00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b04: AND 00000b05: SUB 00000b06: PUSH2 0x0b47 00000b09: JUMPI 00000b0a: PUSH1 0x00 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: PUSH32 0xe602df0500000000000000000000000000000000000000000000000000000000 00000b30: DUP2 00000b31: MSTORE 00000b32: PUSH1 0x04 00000b34: ADD 00000b35: PUSH2 0x0b3e 00000b38: SWAP2 00000b39: SWAP1 00000b3a: PUSH2 0x1560 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: PUSH1 0x40 00000b41: MLOAD 00000b42: DUP1 00000b43: SWAP2 00000b44: SUB 00000b45: SWAP1 00000b46: REVERT 00000b47: JUMPDEST 00000b48: PUSH1 0x00 00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5f: AND 00000b60: DUP4 00000b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b76: AND 00000b77: SUB 00000b78: PUSH2 0x0bb9 00000b7b: JUMPI 00000b7c: PUSH1 0x00 00000b7e: PUSH1 0x40 00000b80: MLOAD 00000b81: PUSH32 0x94280d6200000000000000000000000000000000000000000000000000000000 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x04 00000ba6: ADD 00000ba7: PUSH2 0x0bb0 00000baa: SWAP2 00000bab: SWAP1 00000bac: PUSH2 0x1560 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH1 0x40 00000bb3: MLOAD 00000bb4: DUP1 00000bb5: SWAP2 00000bb6: SUB 00000bb7: SWAP1 00000bb8: REVERT 00000bb9: JUMPDEST 00000bba: DUP2 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0x00 00000bbf: DUP7 00000bc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd5: AND 00000bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000beb: AND 00000bec: DUP2 00000bed: MSTORE 00000bee: PUSH1 0x20 00000bf0: ADD 00000bf1: SWAP1 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x20 00000bf6: ADD 00000bf7: PUSH1 0x00 00000bf9: KECCAK256 00000bfa: PUSH1 0x00 00000bfc: DUP6 00000bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c12: AND 00000c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c28: AND 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x20 00000c2d: ADD 00000c2e: SWAP1 00000c2f: DUP2 00000c30: MSTORE 00000c31: PUSH1 0x20 00000c33: ADD 00000c34: PUSH1 0x00 00000c36: KECCAK256 00000c37: DUP2 00000c38: SWAP1 00000c39: SSTORE 00000c3a: POP 00000c3b: DUP1 00000c3c: ISZERO 00000c3d: PUSH2 0x0ca6 00000c40: JUMPI 00000c41: DUP3 00000c42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c57: AND 00000c58: DUP5 00000c59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6e: AND 00000c6f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c90: DUP5 00000c91: PUSH1 0x40 00000c93: MLOAD 00000c94: PUSH2 0x0c9d 00000c97: SWAP2 00000c98: SWAP1 00000c99: PUSH2 0x10a1 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: DUP1 00000ca2: SWAP2 00000ca3: SUB 00000ca4: SWAP1 00000ca5: LOG3 00000ca6: JUMPDEST 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc4: AND 00000cc5: DUP4 00000cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdb: AND 00000cdc: SUB 00000cdd: PUSH2 0x0cfe 00000ce0: JUMPI 00000ce1: DUP1 00000ce2: PUSH1 0x02 00000ce4: PUSH1 0x00 00000ce6: DUP3 00000ce7: DUP3 00000ce8: SLOAD 00000ce9: PUSH2 0x0cf2 00000cec: SWAP2 00000ced: SWAP1 00000cee: PUSH2 0x12e9 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: SWAP3 00000cf4: POP 00000cf5: POP 00000cf6: DUP2 00000cf7: SWAP1 00000cf8: SSTORE 00000cf9: POP 00000cfa: PUSH2 0x0dd1 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: PUSH1 0x00 00000d01: DUP1 00000d02: PUSH1 0x00 00000d04: DUP6 00000d05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1a: AND 00000d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d30: AND 00000d31: DUP2 00000d32: MSTORE 00000d33: PUSH1 0x20 00000d35: ADD 00000d36: SWAP1 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: PUSH1 0x00 00000d3e: KECCAK256 00000d3f: SLOAD 00000d40: SWAP1 00000d41: POP 00000d42: DUP2 00000d43: DUP2 00000d44: LT 00000d45: ISZERO 00000d46: PUSH2 0x0d8a 00000d49: JUMPI 00000d4a: DUP4 00000d4b: DUP2 00000d4c: DUP4 00000d4d: PUSH1 0x40 00000d4f: MLOAD 00000d50: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x04 00000d75: ADD 00000d76: PUSH2 0x0d81 00000d79: SWAP4 00000d7a: SWAP3 00000d7b: SWAP2 00000d7c: SWAP1 00000d7d: PUSH2 0x1529 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH1 0x40 00000d84: MLOAD 00000d85: DUP1 00000d86: SWAP2 00000d87: SUB 00000d88: SWAP1 00000d89: REVERT 00000d8a: JUMPDEST 00000d8b: DUP2 00000d8c: DUP2 00000d8d: SUB 00000d8e: PUSH1 0x00 00000d90: DUP1 00000d91: DUP7 00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da7: AND 00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dbd: AND 00000dbe: DUP2 00000dbf: MSTORE 00000dc0: PUSH1 0x20 00000dc2: ADD 00000dc3: SWAP1 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: PUSH1 0x00 00000dcb: KECCAK256 00000dcc: DUP2 00000dcd: SWAP1 00000dce: SSTORE 00000dcf: POP 00000dd0: POP 00000dd1: JUMPDEST 00000dd2: PUSH1 0x00 00000dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de9: AND 00000dea: DUP3 00000deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e00: AND 00000e01: SUB 00000e02: PUSH2 0x0e1a 00000e05: JUMPI 00000e06: DUP1 00000e07: PUSH1 0x02 00000e09: PUSH1 0x00 00000e0b: DUP3 00000e0c: DUP3 00000e0d: SLOAD 00000e0e: SUB 00000e0f: SWAP3 00000e10: POP 00000e11: POP 00000e12: DUP2 00000e13: SWAP1 00000e14: SSTORE 00000e15: POP 00000e16: PUSH2 0x0e67 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: DUP1 00000e1c: PUSH1 0x00 00000e1e: DUP1 00000e1f: DUP5 00000e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e35: AND 00000e36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e4b: AND 00000e4c: DUP2 00000e4d: MSTORE 00000e4e: PUSH1 0x20 00000e50: ADD 00000e51: SWAP1 00000e52: DUP2 00000e53: MSTORE 00000e54: PUSH1 0x20 00000e56: ADD 00000e57: PUSH1 0x00 00000e59: KECCAK256 00000e5a: PUSH1 0x00 00000e5c: DUP3 00000e5d: DUP3 00000e5e: SLOAD 00000e5f: ADD 00000e60: SWAP3 00000e61: POP 00000e62: POP 00000e63: DUP2 00000e64: SWAP1 00000e65: SSTORE 00000e66: POP 00000e67: JUMPDEST 00000e68: DUP2 00000e69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7e: AND 00000e7f: DUP4 00000e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e95: AND 00000e96: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000eb7: DUP4 00000eb8: PUSH1 0x40 00000eba: MLOAD 00000ebb: PUSH2 0x0ec4 00000ebe: SWAP2 00000ebf: SWAP1 00000ec0: PUSH2 0x10a1 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: PUSH1 0x40 00000ec7: MLOAD 00000ec8: DUP1 00000ec9: SWAP2 00000eca: SUB 00000ecb: SWAP1 00000ecc: LOG3 00000ecd: POP 00000ece: POP 00000ecf: POP 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: PUSH1 0x00 00000ed4: DUP2 00000ed5: MLOAD 00000ed6: SWAP1 00000ed7: POP 00000ed8: SWAP2 00000ed9: SWAP1 00000eda: POP 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH1 0x00 00000edf: DUP3 00000ee0: DUP3 00000ee1: MSTORE 00000ee2: PUSH1 0x20 00000ee4: DUP3 00000ee5: ADD 00000ee6: SWAP1 00000ee7: POP 00000ee8: SWAP3 00000ee9: SWAP2 00000eea: POP 00000eeb: POP 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0x00 00000ef0: JUMPDEST 00000ef1: DUP4 00000ef2: DUP2 00000ef3: LT 00000ef4: ISZERO 00000ef5: PUSH2 0x0f0b 00000ef8: JUMPI 00000ef9: DUP1 00000efa: DUP3 00000efb: ADD 00000efc: MLOAD 00000efd: DUP2 00000efe: DUP5 00000eff: ADD 00000f00: MSTORE 00000f01: PUSH1 0x20 00000f03: DUP2 00000f04: ADD 00000f05: SWAP1 00000f06: POP 00000f07: PUSH2 0x0ef0 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH1 0x00 00000f0e: DUP5 00000f0f: DUP5 00000f10: ADD 00000f11: MSTORE 00000f12: POP 00000f13: POP 00000f14: POP 00000f15: POP 00000f16: JUMP 00000f17: JUMPDEST 00000f18: PUSH1 0x00 00000f1a: PUSH1 0x1f 00000f1c: NOT 00000f1d: PUSH1 0x1f 00000f1f: DUP4 00000f20: ADD 00000f21: AND 00000f22: SWAP1 00000f23: POP 00000f24: SWAP2 00000f25: SWAP1 00000f26: POP 00000f27: JUMP 00000f28: JUMPDEST 00000f29: PUSH1 0x00 00000f2b: PUSH2 0x0f33 00000f2e: DUP3 00000f2f: PUSH2 0x0ed1 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH2 0x0f3d 00000f37: DUP2 00000f38: DUP6 00000f39: PUSH2 0x0edc 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: SWAP4 00000f3f: POP 00000f40: PUSH2 0x0f4d 00000f43: DUP2 00000f44: DUP6 00000f45: PUSH1 0x20 00000f47: DUP7 00000f48: ADD 00000f49: PUSH2 0x0eed 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: PUSH2 0x0f56 00000f51: DUP2 00000f52: PUSH2 0x0f17 00000f55: JUMP 00000f56: JUMPDEST 00000f57: DUP5 00000f58: ADD 00000f59: SWAP2 00000f5a: POP 00000f5b: POP 00000f5c: SWAP3 00000f5d: SWAP2 00000f5e: POP 00000f5f: POP 00000f60: JUMP 00000f61: JUMPDEST 00000f62: PUSH1 0x00 00000f64: PUSH1 0x20 00000f66: DUP3 00000f67: ADD 00000f68: SWAP1 00000f69: POP 00000f6a: DUP2 00000f6b: DUP2 00000f6c: SUB 00000f6d: PUSH1 0x00 00000f6f: DUP4 00000f70: ADD 00000f71: MSTORE 00000f72: PUSH2 0x0f7b 00000f75: DUP2 00000f76: DUP5 00000f77: PUSH2 0x0f28 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: SWAP1 00000f7d: POP 00000f7e: SWAP3 00000f7f: SWAP2 00000f80: POP 00000f81: POP 00000f82: JUMP 00000f83: JUMPDEST 00000f84: PUSH1 0x00 00000f86: DUP1 00000f87: REVERT 00000f88: JUMPDEST 00000f89: PUSH1 0x00 00000f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa0: DUP3 00000fa1: AND 00000fa2: SWAP1 00000fa3: POP 00000fa4: SWAP2 00000fa5: SWAP1 00000fa6: POP 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x00 00000fab: PUSH2 0x0fb3 00000fae: DUP3 00000faf: PUSH2 0x0f88 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: SWAP1 00000fb5: POP 00000fb6: SWAP2 00000fb7: SWAP1 00000fb8: POP 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: PUSH2 0x0fc3 00000fbe: DUP2 00000fbf: PUSH2 0x0fa8 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: DUP2 00000fc5: EQ 00000fc6: PUSH2 0x0fce 00000fc9: JUMPI 00000fca: PUSH1 0x00 00000fcc: DUP1 00000fcd: REVERT 00000fce: JUMPDEST 00000fcf: POP 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x00 00000fd4: DUP2 00000fd5: CALLDATALOAD 00000fd6: SWAP1 00000fd7: POP 00000fd8: PUSH2 0x0fe0 00000fdb: DUP2 00000fdc: PUSH2 0x0fba 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: SWAP3 00000fe2: SWAP2 00000fe3: POP 00000fe4: POP 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: PUSH1 0x00 00000fe9: DUP2 00000fea: SWAP1 00000feb: POP 00000fec: SWAP2 00000fed: SWAP1 00000fee: POP 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH2 0x0ff9 00000ff4: DUP2 00000ff5: PUSH2 0x0fe6 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: DUP2 00000ffb: EQ 00000ffc: PUSH2 0x1004 00000fff: JUMPI 00001000: PUSH1 0x00 00001002: DUP1 00001003: REVERT 00001004: JUMPDEST 00001005: POP 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x00 0000100a: DUP2 0000100b: CALLDATALOAD 0000100c: SWAP1 0000100d: POP 0000100e: PUSH2 0x1016 00001011: DUP2 00001012: PUSH2 0x0ff0 00001015: JUMP 00001016: JUMPDEST 00001017: SWAP3 00001018: SWAP2 00001019: POP 0000101a: POP 0000101b: JUMP 0000101c: JUMPDEST 0000101d: PUSH1 0x00 0000101f: DUP1 00001020: PUSH1 0x40 00001022: DUP4 00001023: DUP6 00001024: SUB 00001025: SLT 00001026: ISZERO 00001027: PUSH2 0x1033 0000102a: JUMPI 0000102b: PUSH2 0x1032 0000102e: PUSH2 0x0f83 00001031: JUMP 00001032: JUMPDEST 00001033: JUMPDEST 00001034: PUSH1 0x00 00001036: PUSH2 0x1041 00001039: DUP6 0000103a: DUP3 0000103b: DUP7 0000103c: ADD 0000103d: PUSH2 0x0fd1 00001040: JUMP 00001041: JUMPDEST 00001042: SWAP3 00001043: POP 00001044: POP 00001045: PUSH1 0x20 00001047: PUSH2 0x1052 0000104a: DUP6 0000104b: DUP3 0000104c: DUP7 0000104d: ADD 0000104e: PUSH2 0x1007 00001051: JUMP 00001052: JUMPDEST 00001053: SWAP2 00001054: POP 00001055: POP 00001056: SWAP3 00001057: POP 00001058: SWAP3 00001059: SWAP1 0000105a: POP 0000105b: JUMP 0000105c: JUMPDEST 0000105d: PUSH1 0x00 0000105f: DUP2 00001060: ISZERO 00001061: ISZERO 00001062: SWAP1 00001063: POP 00001064: SWAP2 00001065: SWAP1 00001066: POP 00001067: JUMP 00001068: JUMPDEST 00001069: PUSH2 0x1071 0000106c: DUP2 0000106d: PUSH2 0x105c 00001070: JUMP 00001071: JUMPDEST 00001072: DUP3 00001073: MSTORE 00001074: POP 00001075: POP 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH1 0x00 0000107a: PUSH1 0x20 0000107c: DUP3 0000107d: ADD 0000107e: SWAP1 0000107f: POP 00001080: PUSH2 0x108c 00001083: PUSH1 0x00 00001085: DUP4 00001086: ADD 00001087: DUP5 00001088: PUSH2 0x1068 0000108b: JUMP 0000108c: JUMPDEST 0000108d: SWAP3 0000108e: SWAP2 0000108f: POP 00001090: POP 00001091: JUMP 00001092: JUMPDEST 00001093: PUSH2 0x109b 00001096: DUP2 00001097: PUSH2 0x0fe6 0000109a: JUMP 0000109b: JUMPDEST 0000109c: DUP3 0000109d: MSTORE 0000109e: POP 0000109f: POP 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH1 0x00 000010a4: PUSH1 0x20 000010a6: DUP3 000010a7: ADD 000010a8: SWAP1 000010a9: POP 000010aa: PUSH2 0x10b6 000010ad: PUSH1 0x00 000010af: DUP4 000010b0: ADD 000010b1: DUP5 000010b2: PUSH2 0x1092 000010b5: JUMP 000010b6: JUMPDEST 000010b7: SWAP3 000010b8: SWAP2 000010b9: POP 000010ba: POP 000010bb: JUMP 000010bc: JUMPDEST 000010bd: PUSH1 0x00 000010bf: DUP1 000010c0: PUSH1 0x00 000010c2: PUSH1 0x60 000010c4: DUP5 000010c5: DUP7 000010c6: SUB 000010c7: SLT 000010c8: ISZERO 000010c9: PUSH2 0x10d5 000010cc: JUMPI 000010cd: PUSH2 0x10d4 000010d0: PUSH2 0x0f83 000010d3: JUMP 000010d4: JUMPDEST 000010d5: JUMPDEST 000010d6: PUSH1 0x00 000010d8: PUSH2 0x10e3 000010db: DUP7 000010dc: DUP3 000010dd: DUP8 000010de: ADD 000010df: PUSH2 0x0fd1 000010e2: JUMP 000010e3: JUMPDEST 000010e4: SWAP4 000010e5: POP 000010e6: POP 000010e7: PUSH1 0x20 000010e9: PUSH2 0x10f4 000010ec: DUP7 000010ed: DUP3 000010ee: DUP8 000010ef: ADD 000010f0: PUSH2 0x0fd1 000010f3: JUMP 000010f4: JUMPDEST 000010f5: SWAP3 000010f6: POP 000010f7: POP 000010f8: PUSH1 0x40 000010fa: PUSH2 0x1105 000010fd: DUP7 000010fe: DUP3 000010ff: DUP8 00001100: ADD 00001101: PUSH2 0x1007 00001104: JUMP 00001105: JUMPDEST 00001106: SWAP2 00001107: POP 00001108: POP 00001109: SWAP3 0000110a: POP 0000110b: SWAP3 0000110c: POP 0000110d: SWAP3 0000110e: JUMP 0000110f: JUMPDEST 00001110: PUSH1 0x00 00001112: PUSH1 0xff 00001114: DUP3 00001115: AND 00001116: SWAP1 00001117: POP 00001118: SWAP2 00001119: SWAP1 0000111a: POP 0000111b: JUMP 0000111c: JUMPDEST 0000111d: PUSH2 0x1125 00001120: DUP2 00001121: PUSH2 0x110f 00001124: JUMP 00001125: JUMPDEST 00001126: DUP3 00001127: MSTORE 00001128: POP 00001129: POP 0000112a: JUMP 0000112b: JUMPDEST 0000112c: PUSH1 0x00 0000112e: PUSH1 0x20 00001130: DUP3 00001131: ADD 00001132: SWAP1 00001133: POP 00001134: PUSH2 0x1140 00001137: PUSH1 0x00 00001139: DUP4 0000113a: ADD 0000113b: DUP5 0000113c: PUSH2 0x111c 0000113f: JUMP 00001140: JUMPDEST 00001141: SWAP3 00001142: SWAP2 00001143: POP 00001144: POP 00001145: JUMP 00001146: JUMPDEST 00001147: PUSH1 0x00 00001149: DUP2 0000114a: SWAP1 0000114b: POP 0000114c: SWAP2 0000114d: SWAP1 0000114e: POP 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: PUSH2 0x116b 00001156: PUSH2 0x1166 00001159: PUSH2 0x1161 0000115c: DUP5 0000115d: PUSH2 0x0f88 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH2 0x1146 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH2 0x0f88 0000116a: JUMP 0000116b: JUMPDEST 0000116c: SWAP1 0000116d: POP 0000116e: SWAP2 0000116f: SWAP1 00001170: POP 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH1 0x00 00001175: PUSH2 0x117d 00001178: DUP3 00001179: PUSH2 0x1150 0000117c: JUMP 0000117d: JUMPDEST 0000117e: SWAP1 0000117f: POP 00001180: SWAP2 00001181: SWAP1 00001182: POP 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x00 00001187: PUSH2 0x118f 0000118a: DUP3 0000118b: PUSH2 0x1172 0000118e: JUMP 0000118f: JUMPDEST 00001190: SWAP1 00001191: POP 00001192: SWAP2 00001193: SWAP1 00001194: POP 00001195: JUMP 00001196: JUMPDEST 00001197: PUSH2 0x119f 0000119a: DUP2 0000119b: PUSH2 0x1184 0000119e: JUMP 0000119f: JUMPDEST 000011a0: DUP3 000011a1: MSTORE 000011a2: POP 000011a3: POP 000011a4: JUMP 000011a5: JUMPDEST 000011a6: PUSH1 0x00 000011a8: PUSH1 0x20 000011aa: DUP3 000011ab: ADD 000011ac: SWAP1 000011ad: POP 000011ae: PUSH2 0x11ba 000011b1: PUSH1 0x00 000011b3: DUP4 000011b4: ADD 000011b5: DUP5 000011b6: PUSH2 0x1196 000011b9: JUMP 000011ba: JUMPDEST 000011bb: SWAP3 000011bc: SWAP2 000011bd: POP 000011be: POP 000011bf: JUMP 000011c0: JUMPDEST 000011c1: PUSH1 0x00 000011c3: PUSH1 0x20 000011c5: DUP3 000011c6: DUP5 000011c7: SUB 000011c8: SLT 000011c9: ISZERO 000011ca: PUSH2 0x11d6 000011cd: JUMPI 000011ce: PUSH2 0x11d5 000011d1: PUSH2 0x0f83 000011d4: JUMP 000011d5: JUMPDEST 000011d6: JUMPDEST 000011d7: PUSH1 0x00 000011d9: PUSH2 0x11e4 000011dc: DUP5 000011dd: DUP3 000011de: DUP6 000011df: ADD 000011e0: PUSH2 0x0fd1 000011e3: JUMP 000011e4: JUMPDEST 000011e5: SWAP2 000011e6: POP 000011e7: POP 000011e8: SWAP3 000011e9: SWAP2 000011ea: POP 000011eb: POP 000011ec: JUMP 000011ed: JUMPDEST 000011ee: PUSH1 0x00 000011f0: PUSH1 0x20 000011f2: DUP3 000011f3: DUP5 000011f4: SUB 000011f5: SLT 000011f6: ISZERO 000011f7: PUSH2 0x1203 000011fa: JUMPI 000011fb: PUSH2 0x1202 000011fe: PUSH2 0x0f83 00001201: JUMP 00001202: JUMPDEST 00001203: JUMPDEST 00001204: PUSH1 0x00 00001206: PUSH2 0x1211 00001209: DUP5 0000120a: DUP3 0000120b: DUP6 0000120c: ADD 0000120d: PUSH2 0x1007 00001210: JUMP 00001211: JUMPDEST 00001212: SWAP2 00001213: POP 00001214: POP 00001215: SWAP3 00001216: SWAP2 00001217: POP 00001218: POP 00001219: JUMP 0000121a: JUMPDEST 0000121b: PUSH1 0x00 0000121d: DUP1 0000121e: PUSH1 0x40 00001220: DUP4 00001221: DUP6 00001222: SUB 00001223: SLT 00001224: ISZERO 00001225: PUSH2 0x1231 00001228: JUMPI 00001229: PUSH2 0x1230 0000122c: PUSH2 0x0f83 0000122f: JUMP 00001230: JUMPDEST 00001231: JUMPDEST 00001232: PUSH1 0x00 00001234: PUSH2 0x123f 00001237: DUP6 00001238: DUP3 00001239: DUP7 0000123a: ADD 0000123b: PUSH2 0x0fd1 0000123e: JUMP 0000123f: JUMPDEST 00001240: SWAP3 00001241: POP 00001242: POP 00001243: PUSH1 0x20 00001245: PUSH2 0x1250 00001248: DUP6 00001249: DUP3 0000124a: DUP7 0000124b: ADD 0000124c: PUSH2 0x0fd1 0000124f: JUMP 00001250: JUMPDEST 00001251: SWAP2 00001252: POP 00001253: POP 00001254: SWAP3 00001255: POP 00001256: SWAP3 00001257: SWAP1 00001258: POP 00001259: JUMP 0000125a: JUMPDEST 0000125b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000127c: PUSH1 0x00 0000127e: MSTORE 0000127f: PUSH1 0x22 00001281: PUSH1 0x04 00001283: MSTORE 00001284: PUSH1 0x24 00001286: PUSH1 0x00 00001288: REVERT 00001289: JUMPDEST 0000128a: PUSH1 0x00 0000128c: PUSH1 0x02 0000128e: DUP3 0000128f: DIV 00001290: SWAP1 00001291: POP 00001292: PUSH1 0x01 00001294: DUP3 00001295: AND 00001296: DUP1 00001297: PUSH2 0x12a1 0000129a: JUMPI 0000129b: PUSH1 0x7f 0000129d: DUP3 0000129e: AND 0000129f: SWAP2 000012a0: POP 000012a1: JUMPDEST 000012a2: PUSH1 0x20 000012a4: DUP3 000012a5: LT 000012a6: DUP2 000012a7: SUB 000012a8: PUSH2 0x12b4 000012ab: JUMPI 000012ac: PUSH2 0x12b3 000012af: PUSH2 0x125a 000012b2: JUMP 000012b3: JUMPDEST 000012b4: JUMPDEST 000012b5: POP 000012b6: SWAP2 000012b7: SWAP1 000012b8: POP 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000012dc: PUSH1 0x00 000012de: MSTORE 000012df: PUSH1 0x11 000012e1: PUSH1 0x04 000012e3: MSTORE 000012e4: PUSH1 0x24 000012e6: PUSH1 0x00 000012e8: REVERT 000012e9: JUMPDEST 000012ea: PUSH1 0x00 000012ec: PUSH2 0x12f4 000012ef: DUP3 000012f0: PUSH2 0x0fe6 000012f3: JUMP 000012f4: JUMPDEST 000012f5: SWAP2 000012f6: POP 000012f7: PUSH2 0x12ff 000012fa: DUP4 000012fb: PUSH2 0x0fe6 000012fe: JUMP 000012ff: JUMPDEST 00001300: SWAP3 00001301: POP 00001302: DUP3 00001303: DUP3 00001304: ADD 00001305: SWAP1 00001306: POP 00001307: DUP1 00001308: DUP3 00001309: GT 0000130a: ISZERO 0000130b: PUSH2 0x1317 0000130e: JUMPI 0000130f: PUSH2 0x1316 00001312: PUSH2 0x12ba 00001315: JUMP 00001316: JUMPDEST 00001317: JUMPDEST 00001318: SWAP3 00001319: SWAP2 0000131a: POP 0000131b: POP 0000131c: JUMP 0000131d: JUMPDEST 0000131e: PUSH32 0x5065706555534420636170207265616368656400000000000000000000000000 0000133f: PUSH1 0x00 00001341: DUP3 00001342: ADD 00001343: MSTORE 00001344: POP 00001345: JUMP 00001346: JUMPDEST 00001347: PUSH1 0x00 00001349: PUSH2 0x1353 0000134c: PUSH1 0x13 0000134e: DUP4 0000134f: PUSH2 0x0edc 00001352: JUMP 00001353: JUMPDEST 00001354: SWAP2 00001355: POP 00001356: PUSH2 0x135e 00001359: DUP3 0000135a: PUSH2 0x131d 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH1 0x20 00001361: DUP3 00001362: ADD 00001363: SWAP1 00001364: POP 00001365: SWAP2 00001366: SWAP1 00001367: POP 00001368: JUMP 00001369: JUMPDEST 0000136a: PUSH1 0x00 0000136c: PUSH1 0x20 0000136e: DUP3 0000136f: ADD 00001370: SWAP1 00001371: POP 00001372: DUP2 00001373: DUP2 00001374: SUB 00001375: PUSH1 0x00 00001377: DUP4 00001378: ADD 00001379: MSTORE 0000137a: PUSH2 0x1382 0000137d: DUP2 0000137e: PUSH2 0x1346 00001381: JUMP 00001382: JUMPDEST 00001383: SWAP1 00001384: POP 00001385: SWAP2 00001386: SWAP1 00001387: POP 00001388: JUMP 00001389: JUMPDEST 0000138a: PUSH2 0x1392 0000138d: DUP2 0000138e: PUSH2 0x0fa8 00001391: JUMP 00001392: JUMPDEST 00001393: DUP3 00001394: MSTORE 00001395: POP 00001396: POP 00001397: JUMP 00001398: JUMPDEST 00001399: PUSH1 0x00 0000139b: PUSH1 0x60 0000139d: DUP3 0000139e: ADD 0000139f: SWAP1 000013a0: POP 000013a1: PUSH2 0x13ad 000013a4: PUSH1 0x00 000013a6: DUP4 000013a7: ADD 000013a8: DUP7 000013a9: PUSH2 0x1389 000013ac: JUMP 000013ad: JUMPDEST 000013ae: PUSH2 0x13ba 000013b1: PUSH1 0x20 000013b3: DUP4 000013b4: ADD 000013b5: DUP6 000013b6: PUSH2 0x1389 000013b9: JUMP 000013ba: JUMPDEST 000013bb: PUSH2 0x13c7 000013be: PUSH1 0x40 000013c0: DUP4 000013c1: ADD 000013c2: DUP5 000013c3: PUSH2 0x1092 000013c6: JUMP 000013c7: JUMPDEST 000013c8: SWAP5 000013c9: SWAP4 000013ca: POP 000013cb: POP 000013cc: POP 000013cd: POP 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH2 0x13d8 000013d3: DUP2 000013d4: PUSH2 0x105c 000013d7: JUMP 000013d8: JUMPDEST 000013d9: DUP2 000013da: EQ 000013db: PUSH2 0x13e3 000013de: JUMPI 000013df: PUSH1 0x00 000013e1: DUP1 000013e2: REVERT 000013e3: JUMPDEST 000013e4: POP 000013e5: JUMP 000013e6: JUMPDEST 000013e7: PUSH1 0x00 000013e9: DUP2 000013ea: MLOAD 000013eb: SWAP1 000013ec: POP 000013ed: PUSH2 0x13f5 000013f0: DUP2 000013f1: PUSH2 0x13cf 000013f4: JUMP 000013f5: JUMPDEST 000013f6: SWAP3 000013f7: SWAP2 000013f8: POP 000013f9: POP 000013fa: JUMP 000013fb: JUMPDEST 000013fc: PUSH1 0x00 000013fe: PUSH1 0x20 00001400: DUP3 00001401: DUP5 00001402: SUB 00001403: SLT 00001404: ISZERO 00001405: PUSH2 0x1411 00001408: JUMPI 00001409: PUSH2 0x1410 0000140c: PUSH2 0x0f83 0000140f: JUMP 00001410: JUMPDEST 00001411: JUMPDEST 00001412: PUSH1 0x00 00001414: PUSH2 0x141f 00001417: DUP5 00001418: DUP3 00001419: DUP6 0000141a: ADD 0000141b: PUSH2 0x13e6 0000141e: JUMP 0000141f: JUMPDEST 00001420: SWAP2 00001421: POP 00001422: POP 00001423: SWAP3 00001424: SWAP2 00001425: POP 00001426: POP 00001427: JUMP 00001428: JUMPDEST 00001429: PUSH32 0x55534443207472616e73666572206661696c6564000000000000000000000000 0000144a: PUSH1 0x00 0000144c: DUP3 0000144d: ADD 0000144e: MSTORE 0000144f: POP 00001450: JUMP 00001451: JUMPDEST 00001452: PUSH1 0x00 00001454: PUSH2 0x145e 00001457: PUSH1 0x14 00001459: DUP4 0000145a: PUSH2 0x0edc 0000145d: JUMP 0000145e: JUMPDEST 0000145f: SWAP2 00001460: POP 00001461: PUSH2 0x1469 00001464: DUP3 00001465: PUSH2 0x1428 00001468: JUMP 00001469: JUMPDEST 0000146a: PUSH1 0x20 0000146c: DUP3 0000146d: ADD 0000146e: SWAP1 0000146f: POP 00001470: SWAP2 00001471: SWAP1 00001472: POP 00001473: JUMP 00001474: JUMPDEST 00001475: PUSH1 0x00 00001477: PUSH1 0x20 00001479: DUP3 0000147a: ADD 0000147b: SWAP1 0000147c: POP 0000147d: DUP2 0000147e: DUP2 0000147f: SUB 00001480: PUSH1 0x00 00001482: DUP4 00001483: ADD 00001484: MSTORE 00001485: PUSH2 0x148d 00001488: DUP2 00001489: PUSH2 0x1451 0000148c: JUMP 0000148d: JUMPDEST 0000148e: SWAP1 0000148f: POP 00001490: SWAP2 00001491: SWAP1 00001492: POP 00001493: JUMP 00001494: JUMPDEST 00001495: PUSH1 0x00 00001497: PUSH1 0x40 00001499: DUP3 0000149a: ADD 0000149b: SWAP1 0000149c: POP 0000149d: PUSH2 0x14a9 000014a0: PUSH1 0x00 000014a2: DUP4 000014a3: ADD 000014a4: DUP6 000014a5: PUSH2 0x1389 000014a8: JUMP 000014a9: JUMPDEST 000014aa: PUSH2 0x14b6 000014ad: PUSH1 0x20 000014af: DUP4 000014b0: ADD 000014b1: DUP5 000014b2: PUSH2 0x1092 000014b5: JUMP 000014b6: JUMPDEST 000014b7: SWAP4 000014b8: SWAP3 000014b9: POP 000014ba: POP 000014bb: POP 000014bc: JUMP 000014bd: JUMPDEST 000014be: PUSH32 0x5553444320726564656d7074696f6e206661696c656400000000000000000000 000014df: PUSH1 0x00 000014e1: DUP3 000014e2: ADD 000014e3: MSTORE 000014e4: POP 000014e5: JUMP 000014e6: JUMPDEST 000014e7: PUSH1 0x00 000014e9: PUSH2 0x14f3 000014ec: PUSH1 0x16 000014ee: DUP4 000014ef: PUSH2 0x0edc 000014f2: JUMP 000014f3: JUMPDEST 000014f4: SWAP2 000014f5: POP 000014f6: PUSH2 0x14fe 000014f9: DUP3 000014fa: PUSH2 0x14bd 000014fd: JUMP 000014fe: JUMPDEST 000014ff: PUSH1 0x20 00001501: DUP3 00001502: ADD 00001503: SWAP1 00001504: POP 00001505: SWAP2 00001506: SWAP1 00001507: POP 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH1 0x00 0000150c: PUSH1 0x20 0000150e: DUP3 0000150f: ADD 00001510: SWAP1 00001511: POP 00001512: DUP2 00001513: DUP2 00001514: SUB 00001515: PUSH1 0x00 00001517: DUP4 00001518: ADD 00001519: MSTORE 0000151a: PUSH2 0x1522 0000151d: DUP2 0000151e: PUSH2 0x14e6 00001521: JUMP 00001522: JUMPDEST 00001523: SWAP1 00001524: POP 00001525: SWAP2 00001526: SWAP1 00001527: POP 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH1 0x00 0000152c: PUSH1 0x60 0000152e: DUP3 0000152f: ADD 00001530: SWAP1 00001531: POP 00001532: PUSH2 0x153e 00001535: PUSH1 0x00 00001537: DUP4 00001538: ADD 00001539: DUP7 0000153a: PUSH2 0x1389 0000153d: JUMP 0000153e: JUMPDEST 0000153f: PUSH2 0x154b 00001542: PUSH1 0x20 00001544: DUP4 00001545: ADD 00001546: DUP6 00001547: PUSH2 0x1092 0000154a: JUMP 0000154b: JUMPDEST 0000154c: PUSH2 0x1558 0000154f: PUSH1 0x40 00001551: DUP4 00001552: ADD 00001553: DUP5 00001554: PUSH2 0x1092 00001557: JUMP 00001558: JUMPDEST 00001559: SWAP5 0000155a: SWAP4 0000155b: POP 0000155c: POP 0000155d: POP 0000155e: POP 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x00 00001563: PUSH1 0x20 00001565: DUP3 00001566: ADD 00001567: SWAP1 00001568: POP 00001569: PUSH2 0x1575 0000156c: PUSH1 0x00 0000156e: DUP4 0000156f: ADD 00001570: DUP5 00001571: PUSH2 0x1389 00001574: JUMP 00001575: JUMPDEST 00001576: SWAP3 00001577: SWAP2 00001578: POP 00001579: POP 0000157a: JUMP 0000157b: INVALID 0000157c: LOG2 0000157d: PUSH5 0x6970667358 00001583: UNKNOWN(0x22) 00001584: SLT 00001585: KECCAK256 00001586: LOG2 00001587: UNKNOWN(0xDB) 00001588: UNKNOWN(0xD9) 00001589: DUP14 0000158a: UNKNOWN(0xF7) 0000158b: UNKNOWN(0x4D) 0000158c: UNKNOWN(0x26) 0000158d: UNKNOWN(0xE0) 0000158e: UNKNOWN(0xB0) 0000158f: UNKNOWN(0x1F) 00001590: UNKNOWN(0x27) 00001591: PUSH0 00001592: LOG0 00001593: UNKNOWN(0xC4) 00001594: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2e5f6104e8663135e7c401e732da9109da9520cfb3af14afc1ffe151269c1928
call_targets:
0xed7fd16423bc19b9143313ac5e4b7f731d714e97
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e5f6104e8663135e7c401e732da9109da9520cfb3af14afc1ffe151269c1928",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xed7fd16423bc19b9143313ac5e4b7f731d714e97"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1421,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1752,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2e5f6104e8663135e7c401e732da9109da9520cfb3af14afc1ffe151269c1928
call_targets:
0xed7fd16423bc19b9143313ac5e4b7f731d714e97
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e5f6104e8663135e7c401e732da9109da9520cfb3af14afc1ffe151269c1928",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xed7fd16423bc19b9143313ac5e4b7f731d714e97"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1421,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1752,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|