019ba92a-3017-7120-b8d8-ba968c903ec1
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 |
|---|---|---|---|---|
| 35914 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35915 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35916 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35917 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35918 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35919 | detector.run | complete | 1 / 3 | 3 months ago |
| 35920 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x3f4ba83a 0000003c: EQ 0000003d: PUSH2 0x0122 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x41c0e1b5 00000047: EQ 00000048: PUSH2 0x0139 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x46fbf68e 00000052: EQ 00000053: PUSH2 0x0150 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4a8f8570 0000005d: EQ 0000005e: PUSH2 0x01b9 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x5c975abb 00000068: EQ 00000069: PUSH2 0x01e4 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x662fa38f 00000073: EQ 00000074: PUSH2 0x0213 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x6ef8d66d 0000007e: EQ 0000007f: PUSH2 0x025a 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x715018a6 00000089: EQ 0000008a: PUSH2 0x0271 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x7362377b 00000094: EQ 00000095: PUSH2 0x0288 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x76393f91 0000009f: EQ 000000a0: PUSH2 0x029f 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x811e539c 000000aa: EQ 000000ab: PUSH2 0x02da 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x82dc1ec4 000000b5: EQ 000000b6: PUSH2 0x0319 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x8456cb59 000000c0: EQ 000000c1: PUSH2 0x036a 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x89476069 000000cb: EQ 000000cc: PUSH2 0x0381 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x89702850 000000d6: EQ 000000d7: PUSH2 0x03d2 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x8da5cb5b 000000e1: EQ 000000e2: PUSH2 0x0425 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x8f32d59b 000000ec: EQ 000000ed: PUSH2 0x047c 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xb8253b42 000000f7: EQ 000000f8: PUSH2 0x04ab 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xca2b8b14 00000102: EQ 00000103: PUSH2 0x04fd 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xe2914b87 0000010d: EQ 0000010e: PUSH2 0x0559 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xf2fde38b 00000118: EQ 00000119: PUSH2 0x05ae 0000011c: JUMPI 0000011d: JUMPDEST 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: CALLVALUE 00000124: DUP1 00000125: ISZERO 00000126: PUSH2 0x012e 00000129: JUMPI 0000012a: PUSH1 0x00 0000012c: DUP1 0000012d: REVERT 0000012e: JUMPDEST 0000012f: POP 00000130: PUSH2 0x0137 00000133: PUSH2 0x05ff 00000136: JUMP 00000137: JUMPDEST 00000138: STOP 00000139: JUMPDEST 0000013a: CALLVALUE 0000013b: DUP1 0000013c: ISZERO 0000013d: PUSH2 0x0145 00000140: JUMPI 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: POP 00000147: PUSH2 0x014e 0000014a: PUSH2 0x06ae 0000014d: JUMP 0000014e: JUMPDEST 0000014f: STOP 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x019f 00000161: PUSH1 0x04 00000163: DUP1 00000164: CALLDATASIZE 00000165: SUB 00000166: PUSH1 0x20 00000168: DUP2 00000169: LT 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: DUP2 00000175: ADD 00000176: SWAP1 00000177: DUP1 00000178: DUP1 00000179: CALLDATALOAD 0000017a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018f: AND 00000190: SWAP1 00000191: PUSH1 0x20 00000193: ADD 00000194: SWAP1 00000195: SWAP3 00000196: SWAP2 00000197: SWAP1 00000198: POP 00000199: POP 0000019a: POP 0000019b: PUSH2 0x06da 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: DUP1 000001a4: DUP3 000001a5: ISZERO 000001a6: ISZERO 000001a7: ISZERO 000001a8: ISZERO 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: SWAP2 000001af: POP 000001b0: POP 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: RETURN 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: DUP1 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x01ce 000001ca: PUSH2 0x06f7 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: DUP1 000001d3: DUP3 000001d4: DUP2 000001d5: MSTORE 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: SWAP2 000001da: POP 000001db: POP 000001dc: PUSH1 0x40 000001de: MLOAD 000001df: DUP1 000001e0: SWAP2 000001e1: SUB 000001e2: SWAP1 000001e3: RETURN 000001e4: JUMPDEST 000001e5: CALLVALUE 000001e6: DUP1 000001e7: ISZERO 000001e8: PUSH2 0x01f0 000001eb: JUMPI 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: POP 000001f2: PUSH2 0x01f9 000001f5: PUSH2 0x06fd 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: DUP1 000001fe: DUP3 000001ff: ISZERO 00000200: ISZERO 00000201: ISZERO 00000202: ISZERO 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: DUP1 0000020f: SWAP2 00000210: SUB 00000211: SWAP1 00000212: RETURN 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x0258 00000224: PUSH1 0x04 00000226: DUP1 00000227: CALLDATASIZE 00000228: SUB 00000229: PUSH1 0x40 0000022b: DUP2 0000022c: LT 0000022d: ISZERO 0000022e: PUSH2 0x0236 00000231: JUMPI 00000232: PUSH1 0x00 00000234: DUP1 00000235: REVERT 00000236: JUMPDEST 00000237: DUP2 00000238: ADD 00000239: SWAP1 0000023a: DUP1 0000023b: DUP1 0000023c: CALLDATALOAD 0000023d: SWAP1 0000023e: PUSH1 0x20 00000240: ADD 00000241: SWAP1 00000242: SWAP3 00000243: SWAP2 00000244: SWAP1 00000245: DUP1 00000246: CALLDATALOAD 00000247: ISZERO 00000248: ISZERO 00000249: SWAP1 0000024a: PUSH1 0x20 0000024c: ADD 0000024d: SWAP1 0000024e: SWAP3 0000024f: SWAP2 00000250: SWAP1 00000251: POP 00000252: POP 00000253: POP 00000254: PUSH2 0x0714 00000257: JUMP 00000258: JUMPDEST 00000259: STOP 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: DUP1 0000025d: ISZERO 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x026f 0000026b: PUSH2 0x0756 0000026e: JUMP 0000026f: JUMPDEST 00000270: STOP 00000271: JUMPDEST 00000272: CALLVALUE 00000273: DUP1 00000274: ISZERO 00000275: PUSH2 0x027d 00000278: JUMPI 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x0286 00000282: PUSH2 0x0761 00000285: JUMP 00000286: JUMPDEST 00000287: STOP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: PUSH2 0x029d 00000299: PUSH2 0x0833 0000029c: JUMP 0000029d: JUMPDEST 0000029e: STOP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x02d8 000002b0: PUSH1 0x04 000002b2: DUP1 000002b3: CALLDATASIZE 000002b4: SUB 000002b5: PUSH1 0x20 000002b7: DUP2 000002b8: LT 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: DUP2 000002c4: ADD 000002c5: SWAP1 000002c6: DUP1 000002c7: DUP1 000002c8: CALLDATALOAD 000002c9: SWAP1 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP1 000002ce: SWAP3 000002cf: SWAP2 000002d0: SWAP1 000002d1: POP 000002d2: POP 000002d3: POP 000002d4: PUSH2 0x08a6 000002d7: JUMP 000002d8: JUMPDEST 000002d9: STOP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x02ef 000002eb: PUSH2 0x08fc 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: DUP1 000002f4: DUP5 000002f5: DUP2 000002f6: MSTORE 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: DUP4 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x20 000002ff: ADD 00000300: DUP3 00000301: PUSH1 0xff 00000303: AND 00000304: PUSH1 0xff 00000306: AND 00000307: DUP2 00000308: MSTORE 00000309: PUSH1 0x20 0000030b: ADD 0000030c: SWAP4 0000030d: POP 0000030e: POP 0000030f: POP 00000310: POP 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: SWAP2 00000316: SUB 00000317: SWAP1 00000318: RETURN 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x0368 0000032a: PUSH1 0x04 0000032c: DUP1 0000032d: CALLDATASIZE 0000032e: SUB 0000032f: PUSH1 0x20 00000331: DUP2 00000332: LT 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: DUP2 0000033e: ADD 0000033f: SWAP1 00000340: DUP1 00000341: DUP1 00000342: CALLDATALOAD 00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000358: AND 00000359: SWAP1 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: SWAP1 0000035e: SWAP3 0000035f: SWAP2 00000360: SWAP1 00000361: POP 00000362: POP 00000363: POP 00000364: PUSH2 0x0921 00000367: JUMP 00000368: JUMPDEST 00000369: STOP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x037f 0000037b: PUSH2 0x0941 0000037e: JUMP 0000037f: JUMPDEST 00000380: STOP 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: PUSH2 0x03d0 00000392: PUSH1 0x04 00000394: DUP1 00000395: CALLDATASIZE 00000396: SUB 00000397: PUSH1 0x20 00000399: DUP2 0000039a: LT 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: DUP2 000003a6: ADD 000003a7: SWAP1 000003a8: DUP1 000003a9: DUP1 000003aa: CALLDATALOAD 000003ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c0: AND 000003c1: SWAP1 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: SWAP1 000003c6: SWAP3 000003c7: SWAP2 000003c8: SWAP1 000003c9: POP 000003ca: POP 000003cb: POP 000003cc: PUSH2 0x09f1 000003cf: JUMP 000003d0: JUMPDEST 000003d1: STOP 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x040b 000003e3: PUSH1 0x04 000003e5: DUP1 000003e6: CALLDATASIZE 000003e7: SUB 000003e8: PUSH1 0x20 000003ea: DUP2 000003eb: LT 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: DUP2 000003f7: ADD 000003f8: SWAP1 000003f9: DUP1 000003fa: DUP1 000003fb: CALLDATALOAD 000003fc: SWAP1 000003fd: PUSH1 0x20 000003ff: ADD 00000400: SWAP1 00000401: SWAP3 00000402: SWAP2 00000403: SWAP1 00000404: POP 00000405: POP 00000406: POP 00000407: PUSH2 0x0bc3 0000040a: JUMP 0000040b: JUMPDEST 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: DUP3 00000411: ISZERO 00000412: ISZERO 00000413: ISZERO 00000414: ISZERO 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x20 00000419: ADD 0000041a: SWAP2 0000041b: POP 0000041c: POP 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: DUP1 00000421: SWAP2 00000422: SUB 00000423: SWAP1 00000424: RETURN 00000425: JUMPDEST 00000426: CALLVALUE 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x0431 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: PUSH2 0x043a 00000436: PUSH2 0x0be3 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH1 0x40 0000043d: MLOAD 0000043e: DUP1 0000043f: DUP3 00000440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000455: AND 00000456: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046b: AND 0000046c: DUP2 0000046d: MSTORE 0000046e: PUSH1 0x20 00000470: ADD 00000471: SWAP2 00000472: POP 00000473: POP 00000474: PUSH1 0x40 00000476: MLOAD 00000477: DUP1 00000478: SWAP2 00000479: SUB 0000047a: SWAP1 0000047b: RETURN 0000047c: JUMPDEST 0000047d: CALLVALUE 0000047e: DUP1 0000047f: ISZERO 00000480: PUSH2 0x0488 00000483: JUMPI 00000484: PUSH1 0x00 00000486: DUP1 00000487: REVERT 00000488: JUMPDEST 00000489: POP 0000048a: PUSH2 0x0491 0000048d: PUSH2 0x0c0c 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH1 0x40 00000494: MLOAD 00000495: DUP1 00000496: DUP3 00000497: ISZERO 00000498: ISZERO 00000499: ISZERO 0000049a: ISZERO 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x20 0000049f: ADD 000004a0: SWAP2 000004a1: POP 000004a2: POP 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: DUP1 000004a7: SWAP2 000004a8: SUB 000004a9: SWAP1 000004aa: RETURN 000004ab: JUMPDEST 000004ac: CALLVALUE 000004ad: DUP1 000004ae: ISZERO 000004af: PUSH2 0x04b7 000004b2: JUMPI 000004b3: PUSH1 0x00 000004b5: DUP1 000004b6: REVERT 000004b7: JUMPDEST 000004b8: POP 000004b9: PUSH2 0x04fb 000004bc: PUSH1 0x04 000004be: DUP1 000004bf: CALLDATASIZE 000004c0: SUB 000004c1: PUSH1 0x60 000004c3: DUP2 000004c4: LT 000004c5: ISZERO 000004c6: PUSH2 0x04ce 000004c9: JUMPI 000004ca: PUSH1 0x00 000004cc: DUP1 000004cd: REVERT 000004ce: JUMPDEST 000004cf: DUP2 000004d0: ADD 000004d1: SWAP1 000004d2: DUP1 000004d3: DUP1 000004d4: CALLDATALOAD 000004d5: SWAP1 000004d6: PUSH1 0x20 000004d8: ADD 000004d9: SWAP1 000004da: SWAP3 000004db: SWAP2 000004dc: SWAP1 000004dd: DUP1 000004de: CALLDATALOAD 000004df: SWAP1 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: SWAP1 000004e4: SWAP3 000004e5: SWAP2 000004e6: SWAP1 000004e7: DUP1 000004e8: CALLDATALOAD 000004e9: PUSH1 0xff 000004eb: AND 000004ec: SWAP1 000004ed: PUSH1 0x20 000004ef: ADD 000004f0: SWAP1 000004f1: SWAP3 000004f2: SWAP2 000004f3: SWAP1 000004f4: POP 000004f5: POP 000004f6: POP 000004f7: PUSH2 0x0c63 000004fa: JUMP 000004fb: JUMPDEST 000004fc: STOP 000004fd: JUMPDEST 000004fe: PUSH2 0x0557 00000501: PUSH1 0x04 00000503: DUP1 00000504: CALLDATASIZE 00000505: SUB 00000506: PUSH1 0x60 00000508: DUP2 00000509: LT 0000050a: ISZERO 0000050b: PUSH2 0x0513 0000050e: JUMPI 0000050f: PUSH1 0x00 00000511: DUP1 00000512: REVERT 00000513: JUMPDEST 00000514: DUP2 00000515: ADD 00000516: SWAP1 00000517: DUP1 00000518: DUP1 00000519: CALLDATALOAD 0000051a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052f: AND 00000530: SWAP1 00000531: PUSH1 0x20 00000533: ADD 00000534: SWAP1 00000535: SWAP3 00000536: SWAP2 00000537: SWAP1 00000538: DUP1 00000539: CALLDATALOAD 0000053a: SWAP1 0000053b: PUSH1 0x20 0000053d: ADD 0000053e: SWAP1 0000053f: SWAP3 00000540: SWAP2 00000541: SWAP1 00000542: DUP1 00000543: CALLDATALOAD 00000544: PUSH2 0xffff 00000547: AND 00000548: SWAP1 00000549: PUSH1 0x20 0000054b: ADD 0000054c: SWAP1 0000054d: SWAP3 0000054e: SWAP2 0000054f: SWAP1 00000550: POP 00000551: POP 00000552: POP 00000553: PUSH2 0x0d21 00000556: JUMP 00000557: JUMPDEST 00000558: STOP 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x0565 00000560: JUMPI 00000561: PUSH1 0x00 00000563: DUP1 00000564: REVERT 00000565: JUMPDEST 00000566: POP 00000567: PUSH2 0x0592 0000056a: PUSH1 0x04 0000056c: DUP1 0000056d: CALLDATASIZE 0000056e: SUB 0000056f: PUSH1 0x20 00000571: DUP2 00000572: LT 00000573: ISZERO 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: DUP2 0000057e: ADD 0000057f: SWAP1 00000580: DUP1 00000581: DUP1 00000582: CALLDATALOAD 00000583: SWAP1 00000584: PUSH1 0x20 00000586: ADD 00000587: SWAP1 00000588: SWAP3 00000589: SWAP2 0000058a: SWAP1 0000058b: POP 0000058c: POP 0000058d: POP 0000058e: PUSH2 0x0f2b 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH1 0x40 00000595: MLOAD 00000596: DUP1 00000597: DUP3 00000598: PUSH1 0xff 0000059a: AND 0000059b: PUSH1 0xff 0000059d: AND 0000059e: DUP2 0000059f: MSTORE 000005a0: PUSH1 0x20 000005a2: ADD 000005a3: SWAP2 000005a4: POP 000005a5: POP 000005a6: PUSH1 0x40 000005a8: MLOAD 000005a9: DUP1 000005aa: SWAP2 000005ab: SUB 000005ac: SWAP1 000005ad: RETURN 000005ae: JUMPDEST 000005af: CALLVALUE 000005b0: DUP1 000005b1: ISZERO 000005b2: PUSH2 0x05ba 000005b5: JUMPI 000005b6: PUSH1 0x00 000005b8: DUP1 000005b9: REVERT 000005ba: JUMPDEST 000005bb: POP 000005bc: PUSH2 0x05fd 000005bf: PUSH1 0x04 000005c1: DUP1 000005c2: CALLDATASIZE 000005c3: SUB 000005c4: PUSH1 0x20 000005c6: DUP2 000005c7: LT 000005c8: ISZERO 000005c9: PUSH2 0x05d1 000005cc: JUMPI 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: REVERT 000005d1: JUMPDEST 000005d2: DUP2 000005d3: ADD 000005d4: SWAP1 000005d5: DUP1 000005d6: DUP1 000005d7: CALLDATALOAD 000005d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ed: AND 000005ee: SWAP1 000005ef: PUSH1 0x20 000005f1: ADD 000005f2: SWAP1 000005f3: SWAP3 000005f4: SWAP2 000005f5: SWAP1 000005f6: POP 000005f7: POP 000005f8: POP 000005f9: PUSH2 0x0f74 000005fc: JUMP 000005fd: JUMPDEST 000005fe: STOP 000005ff: JUMPDEST 00000600: PUSH2 0x0608 00000603: CALLER 00000604: PUSH2 0x06da 00000607: JUMP 00000608: JUMPDEST 00000609: ISZERO 0000060a: ISZERO 0000060b: PUSH2 0x0613 0000060e: JUMPI 0000060f: PUSH1 0x00 00000611: DUP1 00000612: REVERT 00000613: JUMPDEST 00000614: PUSH1 0x02 00000616: PUSH1 0x00 00000618: SWAP1 00000619: SLOAD 0000061a: SWAP1 0000061b: PUSH2 0x0100 0000061e: EXP 0000061f: SWAP1 00000620: DIV 00000621: PUSH1 0xff 00000623: AND 00000624: ISZERO 00000625: ISZERO 00000626: PUSH2 0x062e 00000629: JUMPI 0000062a: PUSH1 0x00 0000062c: DUP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH1 0x00 00000631: PUSH1 0x02 00000633: PUSH1 0x00 00000635: PUSH2 0x0100 00000638: EXP 00000639: DUP2 0000063a: SLOAD 0000063b: DUP2 0000063c: PUSH1 0xff 0000063e: MUL 0000063f: NOT 00000640: AND 00000641: SWAP1 00000642: DUP4 00000643: ISZERO 00000644: ISZERO 00000645: MUL 00000646: OR 00000647: SWAP1 00000648: SSTORE 00000649: POP 0000064a: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000066b: CALLER 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: DUP1 00000670: DUP3 00000671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000686: AND 00000687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069c: AND 0000069d: DUP2 0000069e: MSTORE 0000069f: PUSH1 0x20 000006a1: ADD 000006a2: SWAP2 000006a3: POP 000006a4: POP 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: DUP1 000006a9: SWAP2 000006aa: SUB 000006ab: SWAP1 000006ac: LOG1 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH2 0x06b6 000006b2: PUSH2 0x0c0c 000006b5: JUMP 000006b6: JUMPDEST 000006b7: ISZERO 000006b8: ISZERO 000006b9: PUSH2 0x06c1 000006bc: JUMPI 000006bd: PUSH1 0x00 000006bf: DUP1 000006c0: REVERT 000006c1: JUMPDEST 000006c2: CALLER 000006c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d8: AND 000006d9: SELFDESTRUCT 000006da: JUMPDEST 000006db: PUSH1 0x00 000006dd: PUSH2 0x06f0 000006e0: DUP3 000006e1: PUSH1 0x01 000006e3: PUSH2 0x0f93 000006e6: SWAP1 000006e7: SWAP2 000006e8: SWAP1 000006e9: PUSH4 0xffffffff 000006ee: AND 000006ef: JUMP 000006f0: JUMPDEST 000006f1: SWAP1 000006f2: POP 000006f3: SWAP2 000006f4: SWAP1 000006f5: POP 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH1 0x08 000006fa: SLOAD 000006fb: DUP2 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH1 0x00 00000700: PUSH1 0x02 00000702: PUSH1 0x00 00000704: SWAP1 00000705: SLOAD 00000706: SWAP1 00000707: PUSH2 0x0100 0000070a: EXP 0000070b: SWAP1 0000070c: DIV 0000070d: PUSH1 0xff 0000070f: AND 00000710: SWAP1 00000711: POP 00000712: SWAP1 00000713: JUMP 00000714: JUMPDEST 00000715: PUSH2 0x071c 00000718: PUSH2 0x0c0c 0000071b: JUMP 0000071c: JUMPDEST 0000071d: ISZERO 0000071e: ISZERO 0000071f: PUSH2 0x0727 00000722: JUMPI 00000723: PUSH1 0x00 00000725: DUP1 00000726: REVERT 00000727: JUMPDEST 00000728: DUP1 00000729: PUSH1 0x07 0000072b: PUSH1 0x00 0000072d: DUP5 0000072e: DUP2 0000072f: MSTORE 00000730: PUSH1 0x20 00000732: ADD 00000733: SWAP1 00000734: DUP2 00000735: MSTORE 00000736: PUSH1 0x20 00000738: ADD 00000739: PUSH1 0x00 0000073b: KECCAK256 0000073c: PUSH1 0x00 0000073e: PUSH2 0x0100 00000741: EXP 00000742: DUP2 00000743: SLOAD 00000744: DUP2 00000745: PUSH1 0xff 00000747: MUL 00000748: NOT 00000749: AND 0000074a: SWAP1 0000074b: DUP4 0000074c: ISZERO 0000074d: ISZERO 0000074e: MUL 0000074f: OR 00000750: SWAP1 00000751: SSTORE 00000752: POP 00000753: POP 00000754: POP 00000755: JUMP 00000756: JUMPDEST 00000757: PUSH2 0x075f 0000075a: CALLER 0000075b: PUSH2 0x1027 0000075e: JUMP 0000075f: JUMPDEST 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH2 0x0769 00000765: PUSH2 0x0c0c 00000768: JUMP 00000769: JUMPDEST 0000076a: ISZERO 0000076b: ISZERO 0000076c: PUSH2 0x0774 0000076f: JUMPI 00000770: PUSH1 0x00 00000772: DUP1 00000773: REVERT 00000774: JUMPDEST 00000775: PUSH1 0x00 00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078c: AND 0000078d: PUSH1 0x00 0000078f: DUP1 00000790: SWAP1 00000791: SLOAD 00000792: SWAP1 00000793: PUSH2 0x0100 00000796: EXP 00000797: SWAP1 00000798: DIV 00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ae: AND 000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c4: AND 000007c5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007e6: PUSH1 0x40 000007e8: MLOAD 000007e9: PUSH1 0x40 000007eb: MLOAD 000007ec: DUP1 000007ed: SWAP2 000007ee: SUB 000007ef: SWAP1 000007f0: LOG3 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: PUSH1 0x00 000007f6: PUSH2 0x0100 000007f9: EXP 000007fa: DUP2 000007fb: SLOAD 000007fc: DUP2 000007fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000812: MUL 00000813: NOT 00000814: AND 00000815: SWAP1 00000816: DUP4 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: MUL 0000082e: OR 0000082f: SWAP1 00000830: SSTORE 00000831: POP 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH2 0x083b 00000837: PUSH2 0x0c0c 0000083a: JUMP 0000083b: JUMPDEST 0000083c: ISZERO 0000083d: ISZERO 0000083e: PUSH2 0x0846 00000841: JUMPI 00000842: PUSH1 0x00 00000844: DUP1 00000845: REVERT 00000846: JUMPDEST 00000847: CALLER 00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085d: AND 0000085e: PUSH2 0x08fc 00000861: ADDRESS 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: BALANCE 00000879: SWAP1 0000087a: DUP2 0000087b: ISZERO 0000087c: MUL 0000087d: SWAP1 0000087e: PUSH1 0x40 00000880: MLOAD 00000881: PUSH1 0x00 00000883: PUSH1 0x40 00000885: MLOAD 00000886: DUP1 00000887: DUP4 00000888: SUB 00000889: DUP2 0000088a: DUP6 0000088b: DUP9 0000088c: DUP9 0000088d: CALL 0000088e: SWAP4 0000088f: POP 00000890: POP 00000891: POP 00000892: POP 00000893: ISZERO 00000894: DUP1 00000895: ISZERO 00000896: PUSH2 0x08a3 00000899: JUMPI 0000089a: RETURNDATASIZE 0000089b: PUSH1 0x00 0000089d: DUP1 0000089e: RETURNDATACOPY 0000089f: RETURNDATASIZE 000008a0: PUSH1 0x00 000008a2: REVERT 000008a3: JUMPDEST 000008a4: POP 000008a5: JUMP 000008a6: JUMPDEST 000008a7: PUSH2 0x08ae 000008aa: PUSH2 0x0c0c 000008ad: JUMP 000008ae: JUMPDEST 000008af: ISZERO 000008b0: ISZERO 000008b1: PUSH2 0x08b9 000008b4: JUMPI 000008b5: PUSH1 0x00 000008b7: DUP1 000008b8: REVERT 000008b9: JUMPDEST 000008ba: DUP1 000008bb: PUSH1 0x08 000008bd: DUP2 000008be: SWAP1 000008bf: SSTORE 000008c0: POP 000008c1: PUSH32 0x91b44a7a4ce6e4f9b48fdbde6dac3ab5a404e28ba7b2c91414156c5f7c8e62ed 000008e2: PUSH1 0x08 000008e4: SLOAD 000008e5: PUSH1 0x40 000008e7: MLOAD 000008e8: DUP1 000008e9: DUP3 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x20 000008ee: ADD 000008ef: SWAP2 000008f0: POP 000008f1: POP 000008f2: PUSH1 0x40 000008f4: MLOAD 000008f5: DUP1 000008f6: SWAP2 000008f7: SUB 000008f8: SWAP1 000008f9: LOG1 000008fa: POP 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH1 0x04 000008ff: DUP1 00000900: PUSH1 0x00 00000902: ADD 00000903: SLOAD 00000904: SWAP1 00000905: DUP1 00000906: PUSH1 0x01 00000908: ADD 00000909: SLOAD 0000090a: SWAP1 0000090b: DUP1 0000090c: PUSH1 0x02 0000090e: ADD 0000090f: PUSH1 0x00 00000911: SWAP1 00000912: SLOAD 00000913: SWAP1 00000914: PUSH2 0x0100 00000917: EXP 00000918: SWAP1 00000919: DIV 0000091a: PUSH1 0xff 0000091c: AND 0000091d: SWAP1 0000091e: POP 0000091f: DUP4 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH2 0x092a 00000925: CALLER 00000926: PUSH2 0x06da 00000929: JUMP 0000092a: JUMPDEST 0000092b: ISZERO 0000092c: ISZERO 0000092d: PUSH2 0x0935 00000930: JUMPI 00000931: PUSH1 0x00 00000933: DUP1 00000934: REVERT 00000935: JUMPDEST 00000936: PUSH2 0x093e 00000939: DUP2 0000093a: PUSH2 0x1081 0000093d: JUMP 0000093e: JUMPDEST 0000093f: POP 00000940: JUMP 00000941: JUMPDEST 00000942: PUSH2 0x094a 00000945: CALLER 00000946: PUSH2 0x06da 00000949: JUMP 0000094a: JUMPDEST 0000094b: ISZERO 0000094c: ISZERO 0000094d: PUSH2 0x0955 00000950: JUMPI 00000951: PUSH1 0x00 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: PUSH1 0x02 00000958: PUSH1 0x00 0000095a: SWAP1 0000095b: SLOAD 0000095c: SWAP1 0000095d: PUSH2 0x0100 00000960: EXP 00000961: SWAP1 00000962: DIV 00000963: PUSH1 0xff 00000965: AND 00000966: ISZERO 00000967: ISZERO 00000968: ISZERO 00000969: PUSH2 0x0971 0000096c: JUMPI 0000096d: PUSH1 0x00 0000096f: DUP1 00000970: REVERT 00000971: JUMPDEST 00000972: PUSH1 0x01 00000974: PUSH1 0x02 00000976: PUSH1 0x00 00000978: PUSH2 0x0100 0000097b: EXP 0000097c: DUP2 0000097d: SLOAD 0000097e: DUP2 0000097f: PUSH1 0xff 00000981: MUL 00000982: NOT 00000983: AND 00000984: SWAP1 00000985: DUP4 00000986: ISZERO 00000987: ISZERO 00000988: MUL 00000989: OR 0000098a: SWAP1 0000098b: SSTORE 0000098c: POP 0000098d: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000009ae: CALLER 000009af: PUSH1 0x40 000009b1: MLOAD 000009b2: DUP1 000009b3: DUP3 000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c9: AND 000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009df: AND 000009e0: DUP2 000009e1: MSTORE 000009e2: PUSH1 0x20 000009e4: ADD 000009e5: SWAP2 000009e6: POP 000009e7: POP 000009e8: PUSH1 0x40 000009ea: MLOAD 000009eb: DUP1 000009ec: SWAP2 000009ed: SUB 000009ee: SWAP1 000009ef: LOG1 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH2 0x09f9 000009f5: PUSH2 0x0c0c 000009f8: JUMP 000009f9: JUMPDEST 000009fa: ISZERO 000009fb: ISZERO 000009fc: PUSH2 0x0a04 000009ff: JUMPI 00000a00: PUSH1 0x00 00000a02: DUP1 00000a03: REVERT 00000a04: JUMPDEST 00000a05: DUP1 00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1b: AND 00000a1c: PUSH4 0xa9059cbb 00000a21: CALLER 00000a22: DUP4 00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a38: AND 00000a39: PUSH4 0x70a08231 00000a3e: ADDRESS 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: DUP3 00000a43: PUSH4 0xffffffff 00000a48: AND 00000a49: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a67: MUL 00000a68: DUP2 00000a69: MSTORE 00000a6a: PUSH1 0x04 00000a6c: ADD 00000a6d: DUP1 00000a6e: DUP3 00000a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a84: AND 00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9a: AND 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x20 00000a9f: ADD 00000aa0: SWAP2 00000aa1: POP 00000aa2: POP 00000aa3: PUSH1 0x20 00000aa5: PUSH1 0x40 00000aa7: MLOAD 00000aa8: DUP1 00000aa9: DUP4 00000aaa: SUB 00000aab: DUP2 00000aac: DUP7 00000aad: DUP1 00000aae: EXTCODESIZE 00000aaf: ISZERO 00000ab0: DUP1 00000ab1: ISZERO 00000ab2: PUSH2 0x0aba 00000ab5: JUMPI 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: POP 00000abc: GAS 00000abd: STATICCALL 00000abe: ISZERO 00000abf: DUP1 00000ac0: ISZERO 00000ac1: PUSH2 0x0ace 00000ac4: JUMPI 00000ac5: RETURNDATASIZE 00000ac6: PUSH1 0x00 00000ac8: DUP1 00000ac9: RETURNDATACOPY 00000aca: RETURNDATASIZE 00000acb: PUSH1 0x00 00000acd: REVERT 00000ace: JUMPDEST 00000acf: POP 00000ad0: POP 00000ad1: POP 00000ad2: POP 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: RETURNDATASIZE 00000ad7: PUSH1 0x20 00000ad9: DUP2 00000ada: LT 00000adb: ISZERO 00000adc: PUSH2 0x0ae4 00000adf: JUMPI 00000ae0: PUSH1 0x00 00000ae2: DUP1 00000ae3: REVERT 00000ae4: JUMPDEST 00000ae5: DUP2 00000ae6: ADD 00000ae7: SWAP1 00000ae8: DUP1 00000ae9: DUP1 00000aea: MLOAD 00000aeb: SWAP1 00000aec: PUSH1 0x20 00000aee: ADD 00000aef: SWAP1 00000af0: SWAP3 00000af1: SWAP2 00000af2: SWAP1 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: DUP4 00000afa: PUSH4 0xffffffff 00000aff: AND 00000b00: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b1e: MUL 00000b1f: DUP2 00000b20: MSTORE 00000b21: PUSH1 0x04 00000b23: ADD 00000b24: DUP1 00000b25: DUP4 00000b26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3b: AND 00000b3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b51: AND 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x20 00000b56: ADD 00000b57: DUP3 00000b58: DUP2 00000b59: MSTORE 00000b5a: PUSH1 0x20 00000b5c: ADD 00000b5d: SWAP3 00000b5e: POP 00000b5f: POP 00000b60: POP 00000b61: PUSH1 0x20 00000b63: PUSH1 0x40 00000b65: MLOAD 00000b66: DUP1 00000b67: DUP4 00000b68: SUB 00000b69: DUP2 00000b6a: PUSH1 0x00 00000b6c: DUP8 00000b6d: DUP1 00000b6e: EXTCODESIZE 00000b6f: ISZERO 00000b70: DUP1 00000b71: ISZERO 00000b72: PUSH2 0x0b7a 00000b75: JUMPI 00000b76: PUSH1 0x00 00000b78: DUP1 00000b79: REVERT 00000b7a: JUMPDEST 00000b7b: POP 00000b7c: GAS 00000b7d: CALL 00000b7e: ISZERO 00000b7f: DUP1 00000b80: ISZERO 00000b81: PUSH2 0x0b8e 00000b84: JUMPI 00000b85: RETURNDATASIZE 00000b86: PUSH1 0x00 00000b88: DUP1 00000b89: RETURNDATACOPY 00000b8a: RETURNDATASIZE 00000b8b: PUSH1 0x00 00000b8d: REVERT 00000b8e: JUMPDEST 00000b8f: POP 00000b90: POP 00000b91: POP 00000b92: POP 00000b93: PUSH1 0x40 00000b95: MLOAD 00000b96: RETURNDATASIZE 00000b97: PUSH1 0x20 00000b99: DUP2 00000b9a: LT 00000b9b: ISZERO 00000b9c: PUSH2 0x0ba4 00000b9f: JUMPI 00000ba0: PUSH1 0x00 00000ba2: DUP1 00000ba3: REVERT 00000ba4: JUMPDEST 00000ba5: DUP2 00000ba6: ADD 00000ba7: SWAP1 00000ba8: DUP1 00000ba9: DUP1 00000baa: MLOAD 00000bab: SWAP1 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: SWAP1 00000bb0: SWAP3 00000bb1: SWAP2 00000bb2: SWAP1 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: ISZERO 00000bb7: ISZERO 00000bb8: PUSH2 0x0bc0 00000bbb: JUMPI 00000bbc: PUSH1 0x00 00000bbe: DUP1 00000bbf: REVERT 00000bc0: JUMPDEST 00000bc1: POP 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x07 00000bc6: PUSH1 0x20 00000bc8: MSTORE 00000bc9: DUP1 00000bca: PUSH1 0x00 00000bcc: MSTORE 00000bcd: PUSH1 0x40 00000bcf: PUSH1 0x00 00000bd1: KECCAK256 00000bd2: PUSH1 0x00 00000bd4: SWAP2 00000bd5: POP 00000bd6: SLOAD 00000bd7: SWAP1 00000bd8: PUSH2 0x0100 00000bdb: EXP 00000bdc: SWAP1 00000bdd: DIV 00000bde: PUSH1 0xff 00000be0: AND 00000be1: DUP2 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: PUSH1 0x00 00000be9: SWAP1 00000bea: SLOAD 00000beb: SWAP1 00000bec: PUSH2 0x0100 00000bef: EXP 00000bf0: SWAP1 00000bf1: DIV 00000bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c07: AND 00000c08: SWAP1 00000c09: POP 00000c0a: SWAP1 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: PUSH1 0x00 00000c0f: DUP1 00000c10: PUSH1 0x00 00000c12: SWAP1 00000c13: SLOAD 00000c14: SWAP1 00000c15: PUSH2 0x0100 00000c18: EXP 00000c19: SWAP1 00000c1a: DIV 00000c1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c30: AND 00000c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c46: AND 00000c47: CALLER 00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5d: AND 00000c5e: EQ 00000c5f: SWAP1 00000c60: POP 00000c61: SWAP1 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH2 0x0c6b 00000c67: PUSH2 0x0c0c 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: ISZERO 00000c6d: ISZERO 00000c6e: PUSH2 0x0c76 00000c71: JUMPI 00000c72: PUSH1 0x00 00000c74: DUP1 00000c75: REVERT 00000c76: JUMPDEST 00000c77: PUSH1 0x60 00000c79: PUSH1 0x40 00000c7b: MLOAD 00000c7c: SWAP1 00000c7d: DUP2 00000c7e: ADD 00000c7f: PUSH1 0x40 00000c81: MSTORE 00000c82: DUP1 00000c83: DUP5 00000c84: DUP2 00000c85: MSTORE 00000c86: PUSH1 0x20 00000c88: ADD 00000c89: DUP4 00000c8a: DUP2 00000c8b: MSTORE 00000c8c: PUSH1 0x20 00000c8e: ADD 00000c8f: DUP3 00000c90: PUSH1 0xff 00000c92: AND 00000c93: DUP2 00000c94: MSTORE 00000c95: POP 00000c96: PUSH1 0x04 00000c98: PUSH1 0x00 00000c9a: DUP3 00000c9b: ADD 00000c9c: MLOAD 00000c9d: DUP2 00000c9e: PUSH1 0x00 00000ca0: ADD 00000ca1: SSTORE 00000ca2: PUSH1 0x20 00000ca4: DUP3 00000ca5: ADD 00000ca6: MLOAD 00000ca7: DUP2 00000ca8: PUSH1 0x01 00000caa: ADD 00000cab: SSTORE 00000cac: PUSH1 0x40 00000cae: DUP3 00000caf: ADD 00000cb0: MLOAD 00000cb1: DUP2 00000cb2: PUSH1 0x02 00000cb4: ADD 00000cb5: PUSH1 0x00 00000cb7: PUSH2 0x0100 00000cba: EXP 00000cbb: DUP2 00000cbc: SLOAD 00000cbd: DUP2 00000cbe: PUSH1 0xff 00000cc0: MUL 00000cc1: NOT 00000cc2: AND 00000cc3: SWAP1 00000cc4: DUP4 00000cc5: PUSH1 0xff 00000cc7: AND 00000cc8: MUL 00000cc9: OR 00000cca: SWAP1 00000ccb: SSTORE 00000ccc: POP 00000ccd: SWAP1 00000cce: POP 00000ccf: POP 00000cd0: PUSH32 0xeb839054d741027646991567a20472652cff958f8cd4dc24603baebff20c9d6f 00000cf1: DUP4 00000cf2: DUP4 00000cf3: DUP4 00000cf4: PUSH1 0x40 00000cf6: MLOAD 00000cf7: DUP1 00000cf8: DUP5 00000cf9: DUP2 00000cfa: MSTORE 00000cfb: PUSH1 0x20 00000cfd: ADD 00000cfe: DUP4 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x20 00000d03: ADD 00000d04: DUP3 00000d05: PUSH1 0xff 00000d07: AND 00000d08: PUSH1 0xff 00000d0a: AND 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x20 00000d0f: ADD 00000d10: SWAP4 00000d11: POP 00000d12: POP 00000d13: POP 00000d14: POP 00000d15: PUSH1 0x40 00000d17: MLOAD 00000d18: DUP1 00000d19: SWAP2 00000d1a: SUB 00000d1b: SWAP1 00000d1c: LOG1 00000d1d: POP 00000d1e: POP 00000d1f: POP 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x02 00000d24: PUSH1 0x00 00000d26: SWAP1 00000d27: SLOAD 00000d28: SWAP1 00000d29: PUSH2 0x0100 00000d2c: EXP 00000d2d: SWAP1 00000d2e: DIV 00000d2f: PUSH1 0xff 00000d31: AND 00000d32: ISZERO 00000d33: ISZERO 00000d34: ISZERO 00000d35: PUSH2 0x0d3d 00000d38: JUMPI 00000d39: PUSH1 0x00 00000d3b: DUP1 00000d3c: REVERT 00000d3d: JUMPDEST 00000d3e: PUSH1 0x64 00000d40: PUSH1 0x08 00000d42: SLOAD 00000d43: DUP4 00000d44: ADD 00000d45: GT 00000d46: ISZERO 00000d47: ISZERO 00000d48: ISZERO 00000d49: PUSH2 0x0dba 00000d4c: JUMPI 00000d4d: PUSH1 0x40 00000d4f: MLOAD 00000d50: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x04 00000d75: ADD 00000d76: DUP1 00000d77: DUP1 00000d78: PUSH1 0x20 00000d7a: ADD 00000d7b: DUP3 00000d7c: DUP2 00000d7d: SUB 00000d7e: DUP3 00000d7f: MSTORE 00000d80: PUSH1 0x13 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: DUP1 00000d88: PUSH32 0x496e76616c69642070657263656e746167657300000000000000000000000000 00000da9: DUP2 00000daa: MSTORE 00000dab: POP 00000dac: PUSH1 0x20 00000dae: ADD 00000daf: SWAP2 00000db0: POP 00000db1: POP 00000db2: PUSH1 0x40 00000db4: MLOAD 00000db5: DUP1 00000db6: SWAP2 00000db7: SUB 00000db8: SWAP1 00000db9: REVERT 00000dba: JUMPDEST 00000dbb: PUSH1 0x07 00000dbd: PUSH1 0x00 00000dbf: CALLVALUE 00000dc0: DUP2 00000dc1: MSTORE 00000dc2: PUSH1 0x20 00000dc4: ADD 00000dc5: SWAP1 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x20 00000dca: ADD 00000dcb: PUSH1 0x00 00000dcd: KECCAK256 00000dce: PUSH1 0x00 00000dd0: SWAP1 00000dd1: SLOAD 00000dd2: SWAP1 00000dd3: PUSH2 0x0100 00000dd6: EXP 00000dd7: SWAP1 00000dd8: DIV 00000dd9: PUSH1 0xff 00000ddb: AND 00000ddc: ISZERO 00000ddd: ISZERO 00000dde: PUSH2 0x0e4f 00000de1: JUMPI 00000de2: PUSH1 0x40 00000de4: MLOAD 00000de5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e06: DUP2 00000e07: MSTORE 00000e08: PUSH1 0x04 00000e0a: ADD 00000e0b: DUP1 00000e0c: DUP1 00000e0d: PUSH1 0x20 00000e0f: ADD 00000e10: DUP3 00000e11: DUP2 00000e12: SUB 00000e13: DUP3 00000e14: MSTORE 00000e15: PUSH1 0x11 00000e17: DUP2 00000e18: MSTORE 00000e19: PUSH1 0x20 00000e1b: ADD 00000e1c: DUP1 00000e1d: PUSH32 0x496e76616c6964206d73672e76616c7565000000000000000000000000000000 00000e3e: DUP2 00000e3f: MSTORE 00000e40: POP 00000e41: PUSH1 0x20 00000e43: ADD 00000e44: SWAP2 00000e45: POP 00000e46: POP 00000e47: PUSH1 0x40 00000e49: MLOAD 00000e4a: DUP1 00000e4b: SWAP2 00000e4c: SUB 00000e4d: SWAP1 00000e4e: REVERT 00000e4f: JUMPDEST 00000e50: PUSH1 0x00 00000e52: PUSH2 0x0e5b 00000e55: DUP5 00000e56: DUP5 00000e57: PUSH2 0x10db 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: SWAP1 00000e5d: POP 00000e5e: PUSH1 0x00 00000e60: DUP1 00000e61: SWAP1 00000e62: POP 00000e63: PUSH1 0x00 00000e65: PUSH2 0x0e89 00000e68: DUP3 00000e69: PUSH2 0x0e7b 00000e6c: DUP6 00000e6d: CALLVALUE 00000e6e: PUSH2 0x11cc 00000e71: SWAP1 00000e72: SWAP2 00000e73: SWAP1 00000e74: PUSH4 0xffffffff 00000e79: AND 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH2 0x11cc 00000e7f: SWAP1 00000e80: SWAP2 00000e81: SWAP1 00000e82: PUSH4 0xffffffff 00000e87: AND 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: SWAP1 00000e8b: POP 00000e8c: DUP4 00000e8d: PUSH2 0xffff 00000e90: AND 00000e91: DUP7 00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea7: AND 00000ea8: CALLER 00000ea9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebe: AND 00000ebf: PUSH32 0xef8be8195589a8a6990d8ec940c79dd6a43c0ac18064d5682feeb99c599dd3e5 00000ee0: PUSH2 0x0ee8 00000ee3: NUMBER 00000ee4: PUSH2 0x0f2b 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: CALLVALUE 00000eea: DUP9 00000eeb: DUP9 00000eec: DUP9 00000eed: PUSH1 0x40 00000eef: MLOAD 00000ef0: DUP1 00000ef1: DUP7 00000ef2: PUSH1 0xff 00000ef4: AND 00000ef5: PUSH1 0xff 00000ef7: AND 00000ef8: DUP2 00000ef9: MSTORE 00000efa: PUSH1 0x20 00000efc: ADD 00000efd: DUP6 00000efe: DUP2 00000eff: MSTORE 00000f00: PUSH1 0x20 00000f02: ADD 00000f03: DUP5 00000f04: DUP2 00000f05: MSTORE 00000f06: PUSH1 0x20 00000f08: ADD 00000f09: DUP4 00000f0a: DUP2 00000f0b: MSTORE 00000f0c: PUSH1 0x20 00000f0e: ADD 00000f0f: DUP3 00000f10: DUP2 00000f11: MSTORE 00000f12: PUSH1 0x20 00000f14: ADD 00000f15: SWAP6 00000f16: POP 00000f17: POP 00000f18: POP 00000f19: POP 00000f1a: POP 00000f1b: POP 00000f1c: PUSH1 0x40 00000f1e: MLOAD 00000f1f: DUP1 00000f20: SWAP2 00000f21: SUB 00000f22: SWAP1 00000f23: LOG4 00000f24: POP 00000f25: POP 00000f26: POP 00000f27: POP 00000f28: POP 00000f29: POP 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH1 0x00 00000f2e: DUP2 00000f2f: PUSH1 0x04 00000f31: PUSH1 0x01 00000f33: ADD 00000f34: SLOAD 00000f35: LT 00000f36: ISZERO 00000f37: PUSH2 0x0f43 00000f3a: JUMPI 00000f3b: PUSH1 0x00 00000f3d: SWAP1 00000f3e: POP 00000f3f: PUSH2 0x0f6f 00000f42: JUMP 00000f43: JUMPDEST 00000f44: DUP2 00000f45: PUSH1 0x04 00000f47: PUSH1 0x00 00000f49: ADD 00000f4a: SLOAD 00000f4b: GT 00000f4c: ISZERO 00000f4d: PUSH2 0x0f59 00000f50: JUMPI 00000f51: PUSH1 0x00 00000f53: SWAP1 00000f54: POP 00000f55: PUSH2 0x0f6f 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH1 0x04 00000f5c: PUSH1 0x02 00000f5e: ADD 00000f5f: PUSH1 0x00 00000f61: SWAP1 00000f62: SLOAD 00000f63: SWAP1 00000f64: PUSH2 0x0100 00000f67: EXP 00000f68: SWAP1 00000f69: DIV 00000f6a: PUSH1 0xff 00000f6c: AND 00000f6d: SWAP1 00000f6e: POP 00000f6f: JUMPDEST 00000f70: SWAP2 00000f71: SWAP1 00000f72: POP 00000f73: JUMP 00000f74: JUMPDEST 00000f75: PUSH2 0x0f7c 00000f78: PUSH2 0x0c0c 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: ISZERO 00000f7e: ISZERO 00000f7f: PUSH2 0x0f87 00000f82: JUMPI 00000f83: PUSH1 0x00 00000f85: DUP1 00000f86: REVERT 00000f87: JUMPDEST 00000f88: PUSH2 0x0f90 00000f8b: DUP2 00000f8c: PUSH2 0x11ee 00000f8f: JUMP 00000f90: JUMPDEST 00000f91: POP 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH1 0x00 00000f96: DUP1 00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fac: AND 00000fad: DUP3 00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc3: AND 00000fc4: EQ 00000fc5: ISZERO 00000fc6: ISZERO 00000fc7: ISZERO 00000fc8: PUSH2 0x0fd0 00000fcb: JUMPI 00000fcc: PUSH1 0x00 00000fce: DUP1 00000fcf: REVERT 00000fd0: JUMPDEST 00000fd1: DUP3 00000fd2: PUSH1 0x00 00000fd4: ADD 00000fd5: PUSH1 0x00 00000fd7: DUP4 00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fed: AND 00000fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001003: AND 00001004: DUP2 00001005: MSTORE 00001006: PUSH1 0x20 00001008: ADD 00001009: SWAP1 0000100a: DUP2 0000100b: MSTORE 0000100c: PUSH1 0x20 0000100e: ADD 0000100f: PUSH1 0x00 00001011: KECCAK256 00001012: PUSH1 0x00 00001014: SWAP1 00001015: SLOAD 00001016: SWAP1 00001017: PUSH2 0x0100 0000101a: EXP 0000101b: SWAP1 0000101c: DIV 0000101d: PUSH1 0xff 0000101f: AND 00001020: SWAP1 00001021: POP 00001022: SWAP3 00001023: SWAP2 00001024: POP 00001025: POP 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH2 0x103b 0000102b: DUP2 0000102c: PUSH1 0x01 0000102e: PUSH2 0x12e8 00001031: SWAP1 00001032: SWAP2 00001033: SWAP1 00001034: PUSH4 0xffffffff 00001039: AND 0000103a: JUMP 0000103b: JUMPDEST 0000103c: DUP1 0000103d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001052: AND 00001053: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e 00001074: PUSH1 0x40 00001076: MLOAD 00001077: PUSH1 0x40 00001079: MLOAD 0000107a: DUP1 0000107b: SWAP2 0000107c: SUB 0000107d: SWAP1 0000107e: LOG2 0000107f: POP 00001080: JUMP 00001081: JUMPDEST 00001082: PUSH2 0x1095 00001085: DUP2 00001086: PUSH1 0x01 00001088: PUSH2 0x1397 0000108b: SWAP1 0000108c: SWAP2 0000108d: SWAP1 0000108e: PUSH4 0xffffffff 00001093: AND 00001094: JUMP 00001095: JUMPDEST 00001096: DUP1 00001097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ac: AND 000010ad: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8 000010ce: PUSH1 0x40 000010d0: MLOAD 000010d1: PUSH1 0x40 000010d3: MLOAD 000010d4: DUP1 000010d5: SWAP2 000010d6: SUB 000010d7: SWAP1 000010d8: LOG2 000010d9: POP 000010da: JUMP 000010db: JUMPDEST 000010dc: PUSH1 0x00 000010de: DUP1 000010df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f4: AND 000010f5: DUP4 000010f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110b: AND 0000110c: EQ 0000110d: DUP1 0000110e: PUSH2 0x1142 00001111: JUMPI 00001112: POP 00001113: CALLER 00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001129: AND 0000112a: DUP4 0000112b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001140: AND 00001141: EQ 00001142: JUMPDEST 00001143: ISZERO 00001144: PUSH2 0x1150 00001147: JUMPI 00001148: PUSH1 0x00 0000114a: SWAP1 0000114b: POP 0000114c: PUSH2 0x11c6 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: PUSH2 0x1178 00001156: PUSH1 0x64 00001158: PUSH2 0x116a 0000115b: DUP6 0000115c: CALLVALUE 0000115d: PUSH2 0x1447 00001160: SWAP1 00001161: SWAP2 00001162: SWAP1 00001163: PUSH4 0xffffffff 00001168: AND 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH2 0x1485 0000116e: SWAP1 0000116f: SWAP2 00001170: SWAP1 00001171: PUSH4 0xffffffff 00001176: AND 00001177: JUMP 00001178: JUMPDEST 00001179: SWAP1 0000117a: POP 0000117b: DUP4 0000117c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001191: AND 00001192: PUSH2 0x08fc 00001195: DUP3 00001196: SWAP1 00001197: DUP2 00001198: ISZERO 00001199: MUL 0000119a: SWAP1 0000119b: PUSH1 0x40 0000119d: MLOAD 0000119e: PUSH1 0x00 000011a0: PUSH1 0x40 000011a2: MLOAD 000011a3: DUP1 000011a4: DUP4 000011a5: SUB 000011a6: DUP2 000011a7: DUP6 000011a8: DUP9 000011a9: DUP9 000011aa: CALL 000011ab: SWAP4 000011ac: POP 000011ad: POP 000011ae: POP 000011af: POP 000011b0: ISZERO 000011b1: DUP1 000011b2: ISZERO 000011b3: PUSH2 0x11c0 000011b6: JUMPI 000011b7: RETURNDATASIZE 000011b8: PUSH1 0x00 000011ba: DUP1 000011bb: RETURNDATACOPY 000011bc: RETURNDATASIZE 000011bd: PUSH1 0x00 000011bf: REVERT 000011c0: JUMPDEST 000011c1: POP 000011c2: DUP1 000011c3: SWAP2 000011c4: POP 000011c5: POP 000011c6: JUMPDEST 000011c7: SWAP3 000011c8: SWAP2 000011c9: POP 000011ca: POP 000011cb: JUMP 000011cc: JUMPDEST 000011cd: PUSH1 0x00 000011cf: DUP3 000011d0: DUP3 000011d1: GT 000011d2: ISZERO 000011d3: ISZERO 000011d4: ISZERO 000011d5: PUSH2 0x11dd 000011d8: JUMPI 000011d9: PUSH1 0x00 000011db: DUP1 000011dc: REVERT 000011dd: JUMPDEST 000011de: PUSH1 0x00 000011e0: DUP3 000011e1: DUP5 000011e2: SUB 000011e3: SWAP1 000011e4: POP 000011e5: DUP1 000011e6: SWAP2 000011e7: POP 000011e8: POP 000011e9: SWAP3 000011ea: SWAP2 000011eb: POP 000011ec: POP 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x00 000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001206: AND 00001207: DUP2 00001208: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121d: AND 0000121e: EQ 0000121f: ISZERO 00001220: ISZERO 00001221: ISZERO 00001222: PUSH2 0x122a 00001225: JUMPI 00001226: PUSH1 0x00 00001228: DUP1 00001229: REVERT 0000122a: JUMPDEST 0000122b: DUP1 0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001241: AND 00001242: PUSH1 0x00 00001244: DUP1 00001245: SWAP1 00001246: SLOAD 00001247: SWAP1 00001248: PUSH2 0x0100 0000124b: EXP 0000124c: SWAP1 0000124d: DIV 0000124e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001263: AND 00001264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001279: AND 0000127a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000129b: PUSH1 0x40 0000129d: MLOAD 0000129e: PUSH1 0x40 000012a0: MLOAD 000012a1: DUP1 000012a2: SWAP2 000012a3: SUB 000012a4: SWAP1 000012a5: LOG3 000012a6: DUP1 000012a7: PUSH1 0x00 000012a9: DUP1 000012aa: PUSH2 0x0100 000012ad: EXP 000012ae: DUP2 000012af: SLOAD 000012b0: DUP2 000012b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c6: MUL 000012c7: NOT 000012c8: AND 000012c9: SWAP1 000012ca: DUP4 000012cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e0: AND 000012e1: MUL 000012e2: OR 000012e3: SWAP1 000012e4: SSTORE 000012e5: POP 000012e6: POP 000012e7: JUMP 000012e8: JUMPDEST 000012e9: PUSH1 0x00 000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001300: AND 00001301: DUP2 00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001317: AND 00001318: EQ 00001319: ISZERO 0000131a: ISZERO 0000131b: ISZERO 0000131c: PUSH2 0x1324 0000131f: JUMPI 00001320: PUSH1 0x00 00001322: DUP1 00001323: REVERT 00001324: JUMPDEST 00001325: PUSH2 0x132e 00001328: DUP3 00001329: DUP3 0000132a: PUSH2 0x0f93 0000132d: JUMP 0000132e: JUMPDEST 0000132f: ISZERO 00001330: ISZERO 00001331: PUSH2 0x1339 00001334: JUMPI 00001335: PUSH1 0x00 00001337: DUP1 00001338: REVERT 00001339: JUMPDEST 0000133a: PUSH1 0x00 0000133c: DUP3 0000133d: PUSH1 0x00 0000133f: ADD 00001340: PUSH1 0x00 00001342: DUP4 00001343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001358: AND 00001359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136e: AND 0000136f: DUP2 00001370: MSTORE 00001371: PUSH1 0x20 00001373: ADD 00001374: SWAP1 00001375: DUP2 00001376: MSTORE 00001377: PUSH1 0x20 00001379: ADD 0000137a: PUSH1 0x00 0000137c: KECCAK256 0000137d: PUSH1 0x00 0000137f: PUSH2 0x0100 00001382: EXP 00001383: DUP2 00001384: SLOAD 00001385: DUP2 00001386: PUSH1 0xff 00001388: MUL 00001389: NOT 0000138a: AND 0000138b: SWAP1 0000138c: DUP4 0000138d: ISZERO 0000138e: ISZERO 0000138f: MUL 00001390: OR 00001391: SWAP1 00001392: SSTORE 00001393: POP 00001394: POP 00001395: POP 00001396: JUMP 00001397: JUMPDEST 00001398: PUSH1 0x00 0000139a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013af: AND 000013b0: DUP2 000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c6: AND 000013c7: EQ 000013c8: ISZERO 000013c9: ISZERO 000013ca: ISZERO 000013cb: PUSH2 0x13d3 000013ce: JUMPI 000013cf: PUSH1 0x00 000013d1: DUP1 000013d2: REVERT 000013d3: JUMPDEST 000013d4: PUSH2 0x13dd 000013d7: DUP3 000013d8: DUP3 000013d9: PUSH2 0x0f93 000013dc: JUMP 000013dd: JUMPDEST 000013de: ISZERO 000013df: ISZERO 000013e0: ISZERO 000013e1: PUSH2 0x13e9 000013e4: JUMPI 000013e5: PUSH1 0x00 000013e7: DUP1 000013e8: REVERT 000013e9: JUMPDEST 000013ea: PUSH1 0x01 000013ec: DUP3 000013ed: PUSH1 0x00 000013ef: ADD 000013f0: PUSH1 0x00 000013f2: DUP4 000013f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001408: AND 00001409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141e: AND 0000141f: DUP2 00001420: MSTORE 00001421: PUSH1 0x20 00001423: ADD 00001424: SWAP1 00001425: DUP2 00001426: MSTORE 00001427: PUSH1 0x20 00001429: ADD 0000142a: PUSH1 0x00 0000142c: KECCAK256 0000142d: PUSH1 0x00 0000142f: PUSH2 0x0100 00001432: EXP 00001433: DUP2 00001434: SLOAD 00001435: DUP2 00001436: PUSH1 0xff 00001438: MUL 00001439: NOT 0000143a: AND 0000143b: SWAP1 0000143c: DUP4 0000143d: ISZERO 0000143e: ISZERO 0000143f: MUL 00001440: OR 00001441: SWAP1 00001442: SSTORE 00001443: POP 00001444: POP 00001445: POP 00001446: JUMP 00001447: JUMPDEST 00001448: PUSH1 0x00 0000144a: DUP1 0000144b: DUP4 0000144c: EQ 0000144d: ISZERO 0000144e: PUSH2 0x145a 00001451: JUMPI 00001452: PUSH1 0x00 00001454: SWAP1 00001455: POP 00001456: PUSH2 0x147f 00001459: JUMP 0000145a: JUMPDEST 0000145b: PUSH1 0x00 0000145d: DUP3 0000145e: DUP5 0000145f: MUL 00001460: SWAP1 00001461: POP 00001462: DUP3 00001463: DUP5 00001464: DUP3 00001465: DUP2 00001466: ISZERO 00001467: ISZERO 00001468: PUSH2 0x146d 0000146b: JUMPI 0000146c: INVALID 0000146d: JUMPDEST 0000146e: DIV 0000146f: EQ 00001470: ISZERO 00001471: ISZERO 00001472: PUSH2 0x147a 00001475: JUMPI 00001476: PUSH1 0x00 00001478: DUP1 00001479: REVERT 0000147a: JUMPDEST 0000147b: DUP1 0000147c: SWAP2 0000147d: POP 0000147e: POP 0000147f: JUMPDEST 00001480: SWAP3 00001481: SWAP2 00001482: POP 00001483: POP 00001484: JUMP 00001485: JUMPDEST 00001486: PUSH1 0x00 00001488: DUP1 00001489: DUP3 0000148a: GT 0000148b: ISZERO 0000148c: ISZERO 0000148d: PUSH2 0x1495 00001490: JUMPI 00001491: PUSH1 0x00 00001493: DUP1 00001494: REVERT 00001495: JUMPDEST 00001496: PUSH1 0x00 00001498: DUP3 00001499: DUP5 0000149a: DUP2 0000149b: ISZERO 0000149c: ISZERO 0000149d: PUSH2 0x14a2 000014a0: JUMPI 000014a1: INVALID 000014a2: JUMPDEST 000014a3: DIV 000014a4: SWAP1 000014a5: POP 000014a6: DUP1 000014a7: SWAP2 000014a8: POP 000014a9: POP 000014aa: SWAP3 000014ab: SWAP2 000014ac: POP 000014ad: POP 000014ae: JUMP 000014af: INVALID 000014b0: LOG1 000014b1: PUSH6 0x627a7a723058 000014b8: KECCAK256 000014b9: UNKNOWN(0x4F) 000014ba: UNKNOWN(0xCF) 000014bb: LOG1 000014bc: UNKNOWN(0x0D) 000014bd: UNKNOWN(0xE9) 000014be: UNKNOWN(0xDC) 000014bf: UNKNOWN(0x22) 000014c0: UNKNOWN(0xBF) 000014c1: UNKNOWN(0xC5) 000014c2: UNKNOWN(0xAD) 000014c3: SLOAD 000014c4: LOG0 000014c5: PUSH10 0x2c155cfde5f4de261dfe 000014d0: SWAP7 000014d1: MULMOD 000014d2: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884
call_targets:
0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46fbf68e",
"selector": "0x46fbf68e",
"calldata_variants": [
"0x46fbf68e",
"0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a8f8570",
"selector": "0x4a8f8570",
"calldata_variants": [
"0x4a8f8570",
"0x4a8f85700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x662fa38f",
"selector": "0x662fa38f",
"calldata_variants": [
"0x662fa38f",
"0x662fa38f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ef8d66d",
"selector": "0x6ef8d66d",
"calldata_variants": [
"0x6ef8d66d",
"0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2941,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3143,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884
call_targets:
0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46fbf68e",
"selector": "0x46fbf68e",
"calldata_variants": [
"0x46fbf68e",
"0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a8f8570",
"selector": "0x4a8f8570",
"calldata_variants": [
"0x4a8f8570",
"0x4a8f85700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x662fa38f",
"selector": "0x662fa38f",
"calldata_variants": [
"0x662fa38f",
"0x662fa38f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ef8d66d",
"selector": "0x6ef8d66d",
"calldata_variants": [
"0x6ef8d66d",
"0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2941,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3143,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xccca3e23b9457b71b31954f7b589293678c90479eb7c382e8c4f4004b369d8af
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xccca3e23b9457b71b31954f7b589293678c90479eb7c382e8c4f4004b369d8af",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46fbf68e",
"selector": "0x46fbf68e",
"calldata_variants": [
"0x46fbf68e",
"0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a8f8570",
"selector": "0x4a8f8570",
"calldata_variants": [
"0x4a8f8570",
"0x4a8f85700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x662fa38f",
"selector": "0x662fa38f",
"calldata_variants": [
"0x662fa38f",
"0x662fa38f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ef8d66d",
"selector": "0x6ef8d66d",
"calldata_variants": [
"0x6ef8d66d",
"0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3143,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|