019b477e-ab53-710c-9f4c-4a36269db352
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 |
|---|---|---|---|---|
| 20999 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21000 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64034 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64035 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64036 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64037 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0146 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH3 0x5b4487 00000039: EQ 0000003a: PUSH2 0x014a 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x06fdde03 00000044: EQ 00000045: PUSH2 0x0173 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x095ea7b3 0000004f: EQ 00000050: PUSH2 0x0202 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x17ffc320 0000005a: EQ 0000005b: PUSH2 0x025c 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x18160ddd 00000065: EQ 00000066: PUSH2 0x0295 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x23b872dd 00000070: EQ 00000071: PUSH2 0x02be 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x313ce567 0000007b: EQ 0000007c: PUSH2 0x0337 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x3f4ba83a 00000086: EQ 00000087: PUSH2 0x0366 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x40c10f19 00000091: EQ 00000092: PUSH2 0x037b 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x42966c68 0000009c: EQ 0000009d: PUSH2 0x03d5 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x4f73f1f8 000000a7: EQ 000000a8: PUSH2 0x0410 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x5c975abb 000000b2: EQ 000000b3: PUSH2 0x0452 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x6103d70b 000000bd: EQ 000000be: PUSH2 0x047f 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x66188463 000000c8: EQ 000000c9: PUSH2 0x0494 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x70a08231 000000d3: EQ 000000d4: PUSH2 0x04ee 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x7fe0518a 000000de: EQ 000000df: PUSH2 0x053b 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x83197ef0 000000e9: EQ 000000ea: PUSH2 0x057d 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x8456cb59 000000f4: EQ 000000f5: PUSH2 0x0592 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x8da5cb5b 000000ff: EQ 00000100: PUSH2 0x05a7 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0x95d89b41 0000010a: EQ 0000010b: PUSH2 0x05fc 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0xa9059cbb 00000115: EQ 00000116: PUSH2 0x068b 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0xd73dd623 00000120: EQ 00000121: PUSH2 0x06e5 00000124: JUMPI 00000125: DUP1 00000126: PUSH4 0xdd62ed3e 0000012b: EQ 0000012c: PUSH2 0x073f 0000012f: JUMPI 00000130: DUP1 00000131: PUSH4 0xe2982c21 00000136: EQ 00000137: PUSH2 0x07ab 0000013a: JUMPI 0000013b: DUP1 0000013c: PUSH4 0xf2fde38b 00000141: EQ 00000142: PUSH2 0x07f8 00000145: JUMPI 00000146: JUMPDEST 00000147: JUMPDEST 00000148: JUMPDEST 00000149: STOP 0000014a: JUMPDEST 0000014b: CALLVALUE 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: PUSH2 0x015d 00000159: PUSH2 0x0831 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: DUP3 00000163: DUP2 00000164: MSTORE 00000165: PUSH1 0x20 00000167: ADD 00000168: SWAP2 00000169: POP 0000016a: POP 0000016b: PUSH1 0x40 0000016d: MLOAD 0000016e: DUP1 0000016f: SWAP2 00000170: SUB 00000171: SWAP1 00000172: RETURN 00000173: JUMPDEST 00000174: CALLVALUE 00000175: ISZERO 00000176: PUSH2 0x017e 00000179: JUMPI 0000017a: PUSH1 0x00 0000017c: DUP1 0000017d: REVERT 0000017e: JUMPDEST 0000017f: PUSH2 0x0186 00000182: PUSH2 0x0837 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: DUP1 0000018b: DUP1 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: DUP3 00000190: DUP2 00000191: SUB 00000192: DUP3 00000193: MSTORE 00000194: DUP4 00000195: DUP2 00000196: DUP2 00000197: MLOAD 00000198: DUP2 00000199: MSTORE 0000019a: PUSH1 0x20 0000019c: ADD 0000019d: SWAP2 0000019e: POP 0000019f: DUP1 000001a0: MLOAD 000001a1: SWAP1 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: SWAP1 000001a6: DUP1 000001a7: DUP4 000001a8: DUP4 000001a9: PUSH1 0x00 000001ab: JUMPDEST 000001ac: DUP4 000001ad: DUP2 000001ae: LT 000001af: ISZERO 000001b0: PUSH2 0x01c7 000001b3: JUMPI 000001b4: DUP1 000001b5: DUP3 000001b6: ADD 000001b7: MLOAD 000001b8: DUP2 000001b9: DUP5 000001ba: ADD 000001bb: MSTORE 000001bc: JUMPDEST 000001bd: PUSH1 0x20 000001bf: DUP2 000001c0: ADD 000001c1: SWAP1 000001c2: POP 000001c3: PUSH2 0x01ab 000001c6: JUMP 000001c7: JUMPDEST 000001c8: POP 000001c9: POP 000001ca: POP 000001cb: POP 000001cc: SWAP1 000001cd: POP 000001ce: SWAP1 000001cf: DUP2 000001d0: ADD 000001d1: SWAP1 000001d2: PUSH1 0x1f 000001d4: AND 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01f4 000001da: JUMPI 000001db: DUP1 000001dc: DUP3 000001dd: SUB 000001de: DUP1 000001df: MLOAD 000001e0: PUSH1 0x01 000001e2: DUP4 000001e3: PUSH1 0x20 000001e5: SUB 000001e6: PUSH2 0x0100 000001e9: EXP 000001ea: SUB 000001eb: NOT 000001ec: AND 000001ed: DUP2 000001ee: MSTORE 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: SWAP2 000001f3: POP 000001f4: JUMPDEST 000001f5: POP 000001f6: SWAP3 000001f7: POP 000001f8: POP 000001f9: POP 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: DUP1 000001fe: SWAP2 000001ff: SUB 00000200: SWAP1 00000201: RETURN 00000202: JUMPDEST 00000203: CALLVALUE 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: PUSH2 0x0242 00000211: PUSH1 0x04 00000213: DUP1 00000214: DUP1 00000215: CALLDATALOAD 00000216: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022b: AND 0000022c: SWAP1 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP1 00000231: SWAP2 00000232: SWAP1 00000233: DUP1 00000234: CALLDATALOAD 00000235: SWAP1 00000236: PUSH1 0x20 00000238: ADD 00000239: SWAP1 0000023a: SWAP2 0000023b: SWAP1 0000023c: POP 0000023d: POP 0000023e: PUSH2 0x08d5 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: DUP3 00000248: ISZERO 00000249: ISZERO 0000024a: ISZERO 0000024b: ISZERO 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP2 00000252: POP 00000253: POP 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: SWAP2 00000259: SUB 0000025a: SWAP1 0000025b: RETURN 0000025c: JUMPDEST 0000025d: CALLVALUE 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: PUSH2 0x0293 0000026b: PUSH1 0x04 0000026d: DUP1 0000026e: DUP1 0000026f: CALLDATALOAD 00000270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000285: AND 00000286: SWAP1 00000287: PUSH1 0x20 00000289: ADD 0000028a: SWAP1 0000028b: SWAP2 0000028c: SWAP1 0000028d: POP 0000028e: POP 0000028f: PUSH2 0x0a7b 00000292: JUMP 00000293: JUMPDEST 00000294: STOP 00000295: JUMPDEST 00000296: CALLVALUE 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: PUSH2 0x02a8 000002a4: PUSH2 0x0c93 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: DUP1 000002ad: DUP3 000002ae: DUP2 000002af: MSTORE 000002b0: PUSH1 0x20 000002b2: ADD 000002b3: SWAP2 000002b4: POP 000002b5: POP 000002b6: PUSH1 0x40 000002b8: MLOAD 000002b9: DUP1 000002ba: SWAP2 000002bb: SUB 000002bc: SWAP1 000002bd: RETURN 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: ISZERO 000002c1: PUSH2 0x02c9 000002c4: JUMPI 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: PUSH2 0x031d 000002cd: PUSH1 0x04 000002cf: DUP1 000002d0: DUP1 000002d1: CALLDATALOAD 000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e7: AND 000002e8: SWAP1 000002e9: PUSH1 0x20 000002eb: ADD 000002ec: SWAP1 000002ed: SWAP2 000002ee: SWAP1 000002ef: DUP1 000002f0: CALLDATALOAD 000002f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000306: AND 00000307: SWAP1 00000308: PUSH1 0x20 0000030a: ADD 0000030b: SWAP1 0000030c: SWAP2 0000030d: SWAP1 0000030e: DUP1 0000030f: CALLDATALOAD 00000310: SWAP1 00000311: PUSH1 0x20 00000313: ADD 00000314: SWAP1 00000315: SWAP2 00000316: SWAP1 00000317: POP 00000318: POP 00000319: PUSH2 0x0c9e 0000031c: JUMP 0000031d: JUMPDEST 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: DUP1 00000322: DUP3 00000323: ISZERO 00000324: ISZERO 00000325: ISZERO 00000326: ISZERO 00000327: DUP2 00000328: MSTORE 00000329: PUSH1 0x20 0000032b: ADD 0000032c: SWAP2 0000032d: POP 0000032e: POP 0000032f: PUSH1 0x40 00000331: MLOAD 00000332: DUP1 00000333: SWAP2 00000334: SUB 00000335: SWAP1 00000336: RETURN 00000337: JUMPDEST 00000338: CALLVALUE 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: PUSH2 0x034a 00000346: PUSH2 0x0fa8 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: DUP3 00000350: PUSH1 0xff 00000352: AND 00000353: PUSH1 0xff 00000355: AND 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP2 0000035c: POP 0000035d: POP 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: DUP1 00000362: SWAP2 00000363: SUB 00000364: SWAP1 00000365: RETURN 00000366: JUMPDEST 00000367: CALLVALUE 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: PUSH2 0x0379 00000375: PUSH2 0x0fbb 00000378: JUMP 00000379: JUMPDEST 0000037a: STOP 0000037b: JUMPDEST 0000037c: CALLVALUE 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: PUSH2 0x03bb 0000038a: PUSH1 0x04 0000038c: DUP1 0000038d: DUP1 0000038e: CALLDATALOAD 0000038f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a4: AND 000003a5: SWAP1 000003a6: PUSH1 0x20 000003a8: ADD 000003a9: SWAP1 000003aa: SWAP2 000003ab: SWAP1 000003ac: DUP1 000003ad: CALLDATALOAD 000003ae: SWAP1 000003af: PUSH1 0x20 000003b1: ADD 000003b2: SWAP1 000003b3: SWAP2 000003b4: SWAP1 000003b5: POP 000003b6: POP 000003b7: PUSH2 0x107e 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: DUP1 000003c0: DUP3 000003c1: ISZERO 000003c2: ISZERO 000003c3: ISZERO 000003c4: ISZERO 000003c5: DUP2 000003c6: MSTORE 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: SWAP2 000003cb: POP 000003cc: POP 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: DUP1 000003d1: SWAP2 000003d2: SUB 000003d3: SWAP1 000003d4: RETURN 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: PUSH2 0x03f6 000003e4: PUSH1 0x04 000003e6: DUP1 000003e7: DUP1 000003e8: CALLDATALOAD 000003e9: SWAP1 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: SWAP1 000003ee: SWAP2 000003ef: SWAP1 000003f0: POP 000003f1: POP 000003f2: PUSH2 0x1236 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP1 000003fb: DUP3 000003fc: ISZERO 000003fd: ISZERO 000003fe: ISZERO 000003ff: ISZERO 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP2 00000406: POP 00000407: POP 00000408: PUSH1 0x40 0000040a: MLOAD 0000040b: DUP1 0000040c: SWAP2 0000040d: SUB 0000040e: SWAP1 0000040f: RETURN 00000410: JUMPDEST 00000411: CALLVALUE 00000412: ISZERO 00000413: PUSH2 0x041b 00000416: JUMPI 00000417: PUSH1 0x00 00000419: DUP1 0000041a: REVERT 0000041b: JUMPDEST 0000041c: PUSH2 0x0450 0000041f: PUSH1 0x04 00000421: DUP1 00000422: DUP1 00000423: CALLDATALOAD 00000424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000439: AND 0000043a: SWAP1 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: SWAP1 0000043f: SWAP2 00000440: SWAP1 00000441: DUP1 00000442: CALLDATALOAD 00000443: SWAP1 00000444: PUSH1 0x20 00000446: ADD 00000447: SWAP1 00000448: SWAP2 00000449: SWAP1 0000044a: POP 0000044b: POP 0000044c: PUSH2 0x134a 0000044f: JUMP 00000450: JUMPDEST 00000451: STOP 00000452: JUMPDEST 00000453: CALLVALUE 00000454: ISZERO 00000455: PUSH2 0x045d 00000458: JUMPI 00000459: PUSH1 0x00 0000045b: DUP1 0000045c: REVERT 0000045d: JUMPDEST 0000045e: PUSH2 0x0465 00000461: PUSH2 0x144e 00000464: JUMP 00000465: JUMPDEST 00000466: PUSH1 0x40 00000468: MLOAD 00000469: DUP1 0000046a: DUP3 0000046b: ISZERO 0000046c: ISZERO 0000046d: ISZERO 0000046e: ISZERO 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x20 00000473: ADD 00000474: SWAP2 00000475: POP 00000476: POP 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: SWAP2 0000047c: SUB 0000047d: SWAP1 0000047e: RETURN 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: ISZERO 00000482: PUSH2 0x048a 00000485: JUMPI 00000486: PUSH1 0x00 00000488: DUP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: PUSH2 0x0492 0000048e: PUSH2 0x1461 00000491: JUMP 00000492: JUMPDEST 00000493: STOP 00000494: JUMPDEST 00000495: CALLVALUE 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: PUSH2 0x04d4 000004a3: PUSH1 0x04 000004a5: DUP1 000004a6: DUP1 000004a7: CALLDATALOAD 000004a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bd: AND 000004be: SWAP1 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: SWAP1 000004c3: SWAP2 000004c4: SWAP1 000004c5: DUP1 000004c6: CALLDATALOAD 000004c7: SWAP1 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: SWAP1 000004cc: SWAP2 000004cd: SWAP1 000004ce: POP 000004cf: POP 000004d0: PUSH2 0x15d2 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x40 000004d7: MLOAD 000004d8: DUP1 000004d9: DUP3 000004da: ISZERO 000004db: ISZERO 000004dc: ISZERO 000004dd: ISZERO 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: SWAP2 000004e4: POP 000004e5: POP 000004e6: PUSH1 0x40 000004e8: MLOAD 000004e9: DUP1 000004ea: SWAP2 000004eb: SUB 000004ec: SWAP1 000004ed: RETURN 000004ee: JUMPDEST 000004ef: CALLVALUE 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: PUSH2 0x0525 000004fd: PUSH1 0x04 000004ff: DUP1 00000500: DUP1 00000501: CALLDATALOAD 00000502: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000517: AND 00000518: SWAP1 00000519: PUSH1 0x20 0000051b: ADD 0000051c: SWAP1 0000051d: SWAP2 0000051e: SWAP1 0000051f: POP 00000520: POP 00000521: PUSH2 0x1881 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH1 0x40 00000528: MLOAD 00000529: DUP1 0000052a: DUP3 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x20 0000052f: ADD 00000530: SWAP2 00000531: POP 00000532: POP 00000533: PUSH1 0x40 00000535: MLOAD 00000536: DUP1 00000537: SWAP2 00000538: SUB 00000539: SWAP1 0000053a: RETURN 0000053b: JUMPDEST 0000053c: CALLVALUE 0000053d: ISZERO 0000053e: PUSH2 0x0546 00000541: JUMPI 00000542: PUSH1 0x00 00000544: DUP1 00000545: REVERT 00000546: JUMPDEST 00000547: PUSH2 0x057b 0000054a: PUSH1 0x04 0000054c: DUP1 0000054d: DUP1 0000054e: CALLDATALOAD 0000054f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000564: AND 00000565: SWAP1 00000566: PUSH1 0x20 00000568: ADD 00000569: SWAP1 0000056a: SWAP2 0000056b: SWAP1 0000056c: DUP1 0000056d: CALLDATALOAD 0000056e: SWAP1 0000056f: PUSH1 0x20 00000571: ADD 00000572: SWAP1 00000573: SWAP2 00000574: SWAP1 00000575: POP 00000576: POP 00000577: PUSH2 0x18cb 0000057a: JUMP 0000057b: JUMPDEST 0000057c: STOP 0000057d: JUMPDEST 0000057e: CALLVALUE 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: PUSH2 0x0590 0000058c: PUSH2 0x1a2b 0000058f: JUMP 00000590: JUMPDEST 00000591: STOP 00000592: JUMPDEST 00000593: CALLVALUE 00000594: ISZERO 00000595: PUSH2 0x059d 00000598: JUMPI 00000599: PUSH1 0x00 0000059b: DUP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: PUSH2 0x05a5 000005a1: PUSH2 0x1ac5 000005a4: JUMP 000005a5: JUMPDEST 000005a6: STOP 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: PUSH2 0x05ba 000005b6: PUSH2 0x1b89 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP3 000005c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d5: AND 000005d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005eb: AND 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: ADD 000005f1: SWAP2 000005f2: POP 000005f3: POP 000005f4: PUSH1 0x40 000005f6: MLOAD 000005f7: DUP1 000005f8: SWAP2 000005f9: SUB 000005fa: SWAP1 000005fb: RETURN 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: ISZERO 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: PUSH2 0x060f 0000060b: PUSH2 0x1baf 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x40 00000612: MLOAD 00000613: DUP1 00000614: DUP1 00000615: PUSH1 0x20 00000617: ADD 00000618: DUP3 00000619: DUP2 0000061a: SUB 0000061b: DUP3 0000061c: MSTORE 0000061d: DUP4 0000061e: DUP2 0000061f: DUP2 00000620: MLOAD 00000621: DUP2 00000622: MSTORE 00000623: PUSH1 0x20 00000625: ADD 00000626: SWAP2 00000627: POP 00000628: DUP1 00000629: MLOAD 0000062a: SWAP1 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: SWAP1 0000062f: DUP1 00000630: DUP4 00000631: DUP4 00000632: PUSH1 0x00 00000634: JUMPDEST 00000635: DUP4 00000636: DUP2 00000637: LT 00000638: ISZERO 00000639: PUSH2 0x0650 0000063c: JUMPI 0000063d: DUP1 0000063e: DUP3 0000063f: ADD 00000640: MLOAD 00000641: DUP2 00000642: DUP5 00000643: ADD 00000644: MSTORE 00000645: JUMPDEST 00000646: PUSH1 0x20 00000648: DUP2 00000649: ADD 0000064a: SWAP1 0000064b: POP 0000064c: PUSH2 0x0634 0000064f: JUMP 00000650: JUMPDEST 00000651: POP 00000652: POP 00000653: POP 00000654: POP 00000655: SWAP1 00000656: POP 00000657: SWAP1 00000658: DUP2 00000659: ADD 0000065a: SWAP1 0000065b: PUSH1 0x1f 0000065d: AND 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x067d 00000663: JUMPI 00000664: DUP1 00000665: DUP3 00000666: SUB 00000667: DUP1 00000668: MLOAD 00000669: PUSH1 0x01 0000066b: DUP4 0000066c: PUSH1 0x20 0000066e: SUB 0000066f: PUSH2 0x0100 00000672: EXP 00000673: SUB 00000674: NOT 00000675: AND 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x20 0000067a: ADD 0000067b: SWAP2 0000067c: POP 0000067d: JUMPDEST 0000067e: POP 0000067f: SWAP3 00000680: POP 00000681: POP 00000682: POP 00000683: PUSH1 0x40 00000685: MLOAD 00000686: DUP1 00000687: SWAP2 00000688: SUB 00000689: SWAP1 0000068a: RETURN 0000068b: JUMPDEST 0000068c: CALLVALUE 0000068d: ISZERO 0000068e: PUSH2 0x0696 00000691: JUMPI 00000692: PUSH1 0x00 00000694: DUP1 00000695: REVERT 00000696: JUMPDEST 00000697: PUSH2 0x06cb 0000069a: PUSH1 0x04 0000069c: DUP1 0000069d: DUP1 0000069e: CALLDATALOAD 0000069f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b4: AND 000006b5: SWAP1 000006b6: PUSH1 0x20 000006b8: ADD 000006b9: SWAP1 000006ba: SWAP2 000006bb: SWAP1 000006bc: DUP1 000006bd: CALLDATALOAD 000006be: SWAP1 000006bf: PUSH1 0x20 000006c1: ADD 000006c2: SWAP1 000006c3: SWAP2 000006c4: SWAP1 000006c5: POP 000006c6: POP 000006c7: PUSH2 0x1c4d 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH1 0x40 000006ce: MLOAD 000006cf: DUP1 000006d0: DUP3 000006d1: ISZERO 000006d2: ISZERO 000006d3: ISZERO 000006d4: ISZERO 000006d5: DUP2 000006d6: MSTORE 000006d7: PUSH1 0x20 000006d9: ADD 000006da: SWAP2 000006db: POP 000006dc: POP 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: SWAP2 000006e2: SUB 000006e3: SWAP1 000006e4: RETURN 000006e5: JUMPDEST 000006e6: CALLVALUE 000006e7: ISZERO 000006e8: PUSH2 0x06f0 000006eb: JUMPI 000006ec: PUSH1 0x00 000006ee: DUP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: PUSH2 0x0725 000006f4: PUSH1 0x04 000006f6: DUP1 000006f7: DUP1 000006f8: CALLDATALOAD 000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070e: AND 0000070f: SWAP1 00000710: PUSH1 0x20 00000712: ADD 00000713: SWAP1 00000714: SWAP2 00000715: SWAP1 00000716: DUP1 00000717: CALLDATALOAD 00000718: SWAP1 00000719: PUSH1 0x20 0000071b: ADD 0000071c: SWAP1 0000071d: SWAP2 0000071e: SWAP1 0000071f: POP 00000720: POP 00000721: PUSH2 0x1e42 00000724: JUMP 00000725: JUMPDEST 00000726: PUSH1 0x40 00000728: MLOAD 00000729: DUP1 0000072a: DUP3 0000072b: ISZERO 0000072c: ISZERO 0000072d: ISZERO 0000072e: ISZERO 0000072f: DUP2 00000730: MSTORE 00000731: PUSH1 0x20 00000733: ADD 00000734: SWAP2 00000735: POP 00000736: POP 00000737: PUSH1 0x40 00000739: MLOAD 0000073a: DUP1 0000073b: SWAP2 0000073c: SUB 0000073d: SWAP1 0000073e: RETURN 0000073f: JUMPDEST 00000740: CALLVALUE 00000741: ISZERO 00000742: PUSH2 0x074a 00000745: JUMPI 00000746: PUSH1 0x00 00000748: DUP1 00000749: REVERT 0000074a: JUMPDEST 0000074b: PUSH2 0x0795 0000074e: PUSH1 0x04 00000750: DUP1 00000751: DUP1 00000752: CALLDATALOAD 00000753: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000768: AND 00000769: SWAP1 0000076a: PUSH1 0x20 0000076c: ADD 0000076d: SWAP1 0000076e: SWAP2 0000076f: SWAP1 00000770: DUP1 00000771: CALLDATALOAD 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: AND 00000788: SWAP1 00000789: PUSH1 0x20 0000078b: ADD 0000078c: SWAP1 0000078d: SWAP2 0000078e: SWAP1 0000078f: POP 00000790: POP 00000791: PUSH2 0x205c 00000794: JUMP 00000795: JUMPDEST 00000796: PUSH1 0x40 00000798: MLOAD 00000799: DUP1 0000079a: DUP3 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x20 0000079f: ADD 000007a0: SWAP2 000007a1: POP 000007a2: POP 000007a3: PUSH1 0x40 000007a5: MLOAD 000007a6: DUP1 000007a7: SWAP2 000007a8: SUB 000007a9: SWAP1 000007aa: RETURN 000007ab: JUMPDEST 000007ac: CALLVALUE 000007ad: ISZERO 000007ae: PUSH2 0x07b6 000007b1: JUMPI 000007b2: PUSH1 0x00 000007b4: DUP1 000007b5: REVERT 000007b6: JUMPDEST 000007b7: PUSH2 0x07e2 000007ba: PUSH1 0x04 000007bc: DUP1 000007bd: DUP1 000007be: CALLDATALOAD 000007bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d4: AND 000007d5: SWAP1 000007d6: PUSH1 0x20 000007d8: ADD 000007d9: SWAP1 000007da: SWAP2 000007db: SWAP1 000007dc: POP 000007dd: POP 000007de: PUSH2 0x20e4 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: DUP1 000007e7: DUP3 000007e8: DUP2 000007e9: MSTORE 000007ea: PUSH1 0x20 000007ec: ADD 000007ed: SWAP2 000007ee: POP 000007ef: POP 000007f0: PUSH1 0x40 000007f2: MLOAD 000007f3: DUP1 000007f4: SWAP2 000007f5: SUB 000007f6: SWAP1 000007f7: RETURN 000007f8: JUMPDEST 000007f9: CALLVALUE 000007fa: ISZERO 000007fb: PUSH2 0x0803 000007fe: JUMPI 000007ff: PUSH1 0x00 00000801: DUP1 00000802: REVERT 00000803: JUMPDEST 00000804: PUSH2 0x082f 00000807: PUSH1 0x04 00000809: DUP1 0000080a: DUP1 0000080b: CALLDATALOAD 0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000821: AND 00000822: SWAP1 00000823: PUSH1 0x20 00000825: ADD 00000826: SWAP1 00000827: SWAP2 00000828: SWAP1 00000829: POP 0000082a: POP 0000082b: PUSH2 0x20fc 0000082e: JUMP 0000082f: JUMPDEST 00000830: STOP 00000831: JUMPDEST 00000832: PUSH1 0x06 00000834: SLOAD 00000835: DUP2 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: SLOAD 0000083c: PUSH1 0x01 0000083e: DUP2 0000083f: PUSH1 0x01 00000841: AND 00000842: ISZERO 00000843: PUSH2 0x0100 00000846: MUL 00000847: SUB 00000848: AND 00000849: PUSH1 0x02 0000084b: SWAP1 0000084c: DIV 0000084d: DUP1 0000084e: PUSH1 0x1f 00000850: ADD 00000851: PUSH1 0x20 00000853: DUP1 00000854: SWAP2 00000855: DIV 00000856: MUL 00000857: PUSH1 0x20 00000859: ADD 0000085a: PUSH1 0x40 0000085c: MLOAD 0000085d: SWAP1 0000085e: DUP2 0000085f: ADD 00000860: PUSH1 0x40 00000862: MSTORE 00000863: DUP1 00000864: SWAP3 00000865: SWAP2 00000866: SWAP1 00000867: DUP2 00000868: DUP2 00000869: MSTORE 0000086a: PUSH1 0x20 0000086c: ADD 0000086d: DUP3 0000086e: DUP1 0000086f: SLOAD 00000870: PUSH1 0x01 00000872: DUP2 00000873: PUSH1 0x01 00000875: AND 00000876: ISZERO 00000877: PUSH2 0x0100 0000087a: MUL 0000087b: SUB 0000087c: AND 0000087d: PUSH1 0x02 0000087f: SWAP1 00000880: DIV 00000881: DUP1 00000882: ISZERO 00000883: PUSH2 0x08cd 00000886: JUMPI 00000887: DUP1 00000888: PUSH1 0x1f 0000088a: LT 0000088b: PUSH2 0x08a2 0000088e: JUMPI 0000088f: PUSH2 0x0100 00000892: DUP1 00000893: DUP4 00000894: SLOAD 00000895: DIV 00000896: MUL 00000897: DUP4 00000898: MSTORE 00000899: SWAP2 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: SWAP2 0000089e: PUSH2 0x08cd 000008a1: JUMP 000008a2: JUMPDEST 000008a3: DUP3 000008a4: ADD 000008a5: SWAP2 000008a6: SWAP1 000008a7: PUSH1 0x00 000008a9: MSTORE 000008aa: PUSH1 0x20 000008ac: PUSH1 0x00 000008ae: KECCAK256 000008af: SWAP1 000008b0: JUMPDEST 000008b1: DUP2 000008b2: SLOAD 000008b3: DUP2 000008b4: MSTORE 000008b5: SWAP1 000008b6: PUSH1 0x01 000008b8: ADD 000008b9: SWAP1 000008ba: PUSH1 0x20 000008bc: ADD 000008bd: DUP1 000008be: DUP4 000008bf: GT 000008c0: PUSH2 0x08b0 000008c3: JUMPI 000008c4: DUP3 000008c5: SWAP1 000008c6: SUB 000008c7: PUSH1 0x1f 000008c9: AND 000008ca: DUP3 000008cb: ADD 000008cc: SWAP2 000008cd: JUMPDEST 000008ce: POP 000008cf: POP 000008d0: POP 000008d1: POP 000008d2: POP 000008d3: DUP2 000008d4: JUMP 000008d5: JUMPDEST 000008d6: PUSH1 0x00 000008d8: PUSH1 0x08 000008da: PUSH1 0x00 000008dc: SWAP1 000008dd: SLOAD 000008de: SWAP1 000008df: PUSH2 0x0100 000008e2: EXP 000008e3: SWAP1 000008e4: DIV 000008e5: PUSH1 0xff 000008e7: AND 000008e8: ISZERO 000008e9: ISZERO 000008ea: ISZERO 000008eb: PUSH2 0x08f3 000008ee: JUMPI 000008ef: PUSH1 0x00 000008f1: DUP1 000008f2: REVERT 000008f3: JUMPDEST 000008f4: PUSH1 0x00 000008f6: DUP3 000008f7: EQ 000008f8: DUP1 000008f9: PUSH2 0x097e 000008fc: JUMPI 000008fd: POP 000008fe: PUSH1 0x00 00000900: PUSH1 0x05 00000902: PUSH1 0x00 00000904: CALLER 00000905: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091a: AND 0000091b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000930: AND 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x20 00000935: ADD 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x20 0000093b: ADD 0000093c: PUSH1 0x00 0000093e: KECCAK256 0000093f: PUSH1 0x00 00000941: DUP6 00000942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000957: AND 00000958: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096d: AND 0000096e: DUP2 0000096f: MSTORE 00000970: PUSH1 0x20 00000972: ADD 00000973: SWAP1 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x20 00000978: ADD 00000979: PUSH1 0x00 0000097b: KECCAK256 0000097c: SLOAD 0000097d: EQ 0000097e: JUMPDEST 0000097f: ISZERO 00000980: ISZERO 00000981: PUSH2 0x0989 00000984: JUMPI 00000985: PUSH1 0x00 00000987: DUP1 00000988: REVERT 00000989: JUMPDEST 0000098a: DUP2 0000098b: PUSH1 0x05 0000098d: PUSH1 0x00 0000098f: CALLER 00000990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a5: AND 000009a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bb: AND 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: ADD 000009c1: SWAP1 000009c2: DUP2 000009c3: MSTORE 000009c4: PUSH1 0x20 000009c6: ADD 000009c7: PUSH1 0x00 000009c9: KECCAK256 000009ca: PUSH1 0x00 000009cc: DUP6 000009cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e2: AND 000009e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f8: AND 000009f9: DUP2 000009fa: MSTORE 000009fb: PUSH1 0x20 000009fd: ADD 000009fe: SWAP1 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x20 00000a03: ADD 00000a04: PUSH1 0x00 00000a06: KECCAK256 00000a07: DUP2 00000a08: SWAP1 00000a09: SSTORE 00000a0a: POP 00000a0b: DUP3 00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a21: AND 00000a22: CALLER 00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a38: AND 00000a39: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a5a: DUP5 00000a5b: PUSH1 0x40 00000a5d: MLOAD 00000a5e: DUP1 00000a5f: DUP3 00000a60: DUP2 00000a61: MSTORE 00000a62: PUSH1 0x20 00000a64: ADD 00000a65: SWAP2 00000a66: POP 00000a67: POP 00000a68: PUSH1 0x40 00000a6a: MLOAD 00000a6b: DUP1 00000a6c: SWAP2 00000a6d: SUB 00000a6e: SWAP1 00000a6f: LOG3 00000a70: PUSH1 0x01 00000a72: SWAP1 00000a73: POP 00000a74: JUMPDEST 00000a75: JUMPDEST 00000a76: SWAP3 00000a77: SWAP2 00000a78: POP 00000a79: POP 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH1 0x03 00000a7e: PUSH1 0x01 00000a80: SWAP1 00000a81: SLOAD 00000a82: SWAP1 00000a83: PUSH2 0x0100 00000a86: EXP 00000a87: SWAP1 00000a88: DIV 00000a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9e: AND 00000a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab4: AND 00000ab5: CALLER 00000ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acb: AND 00000acc: EQ 00000acd: ISZERO 00000ace: ISZERO 00000acf: PUSH2 0x0ad7 00000ad2: JUMPI 00000ad3: PUSH1 0x00 00000ad5: DUP1 00000ad6: REVERT 00000ad7: JUMPDEST 00000ad8: DUP1 00000ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aee: AND 00000aef: PUSH4 0x70a08231 00000af4: ADDRESS 00000af5: PUSH1 0x00 00000af7: PUSH1 0x40 00000af9: MLOAD 00000afa: PUSH1 0x20 00000afc: ADD 00000afd: MSTORE 00000afe: PUSH1 0x40 00000b00: MLOAD 00000b01: DUP3 00000b02: PUSH4 0xffffffff 00000b07: AND 00000b08: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b26: MUL 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x04 00000b2b: ADD 00000b2c: DUP1 00000b2d: DUP3 00000b2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b43: AND 00000b44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b59: AND 00000b5a: DUP2 00000b5b: MSTORE 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: SWAP2 00000b60: POP 00000b61: POP 00000b62: PUSH1 0x20 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: DUP1 00000b68: DUP4 00000b69: SUB 00000b6a: DUP2 00000b6b: PUSH1 0x00 00000b6d: DUP8 00000b6e: DUP1 00000b6f: EXTCODESIZE 00000b70: ISZERO 00000b71: ISZERO 00000b72: PUSH2 0x0b7a 00000b75: JUMPI 00000b76: PUSH1 0x00 00000b78: DUP1 00000b79: REVERT 00000b7a: JUMPDEST 00000b7b: PUSH2 0x02c6 00000b7e: GAS 00000b7f: SUB 00000b80: CALL 00000b81: ISZERO 00000b82: ISZERO 00000b83: PUSH2 0x0b8b 00000b86: JUMPI 00000b87: PUSH1 0x00 00000b89: DUP1 00000b8a: REVERT 00000b8b: JUMPDEST 00000b8c: POP 00000b8d: POP 00000b8e: POP 00000b8f: PUSH1 0x40 00000b91: MLOAD 00000b92: DUP1 00000b93: MLOAD 00000b94: SWAP1 00000b95: POP 00000b96: PUSH1 0x09 00000b98: DUP2 00000b99: SWAP1 00000b9a: SSTORE 00000b9b: POP 00000b9c: DUP1 00000b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb2: AND 00000bb3: PUSH4 0xa9059cbb 00000bb8: PUSH1 0x03 00000bba: PUSH1 0x01 00000bbc: SWAP1 00000bbd: SLOAD 00000bbe: SWAP1 00000bbf: PUSH2 0x0100 00000bc2: EXP 00000bc3: SWAP1 00000bc4: DIV 00000bc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bda: AND 00000bdb: PUSH1 0x09 00000bdd: SLOAD 00000bde: PUSH1 0x00 00000be0: PUSH1 0x40 00000be2: MLOAD 00000be3: PUSH1 0x20 00000be5: ADD 00000be6: MSTORE 00000be7: PUSH1 0x40 00000be9: MLOAD 00000bea: DUP4 00000beb: PUSH4 0xffffffff 00000bf0: AND 00000bf1: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000c0f: MUL 00000c10: DUP2 00000c11: MSTORE 00000c12: PUSH1 0x04 00000c14: ADD 00000c15: DUP1 00000c16: DUP4 00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2c: AND 00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c42: AND 00000c43: DUP2 00000c44: MSTORE 00000c45: PUSH1 0x20 00000c47: ADD 00000c48: DUP3 00000c49: DUP2 00000c4a: MSTORE 00000c4b: PUSH1 0x20 00000c4d: ADD 00000c4e: SWAP3 00000c4f: POP 00000c50: POP 00000c51: POP 00000c52: PUSH1 0x20 00000c54: PUSH1 0x40 00000c56: MLOAD 00000c57: DUP1 00000c58: DUP4 00000c59: SUB 00000c5a: DUP2 00000c5b: PUSH1 0x00 00000c5d: DUP8 00000c5e: DUP1 00000c5f: EXTCODESIZE 00000c60: ISZERO 00000c61: ISZERO 00000c62: PUSH2 0x0c6a 00000c65: JUMPI 00000c66: PUSH1 0x00 00000c68: DUP1 00000c69: REVERT 00000c6a: JUMPDEST 00000c6b: PUSH2 0x02c6 00000c6e: GAS 00000c6f: SUB 00000c70: CALL 00000c71: ISZERO 00000c72: ISZERO 00000c73: PUSH2 0x0c7b 00000c76: JUMPI 00000c77: PUSH1 0x00 00000c79: DUP1 00000c7a: REVERT 00000c7b: JUMPDEST 00000c7c: POP 00000c7d: POP 00000c7e: POP 00000c7f: PUSH1 0x40 00000c81: MLOAD 00000c82: DUP1 00000c83: MLOAD 00000c84: SWAP1 00000c85: POP 00000c86: POP 00000c87: PUSH1 0x00 00000c89: PUSH1 0x09 00000c8b: DUP2 00000c8c: SWAP1 00000c8d: SSTORE 00000c8e: POP 00000c8f: JUMPDEST 00000c90: JUMPDEST 00000c91: POP 00000c92: JUMP 00000c93: JUMPDEST 00000c94: PUSH1 0x00 00000c96: PUSH1 0x02 00000c98: SLOAD 00000c99: SWAP1 00000c9a: POP 00000c9b: JUMPDEST 00000c9c: SWAP1 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH1 0x00 00000ca1: DUP1 00000ca2: PUSH1 0x08 00000ca4: PUSH1 0x00 00000ca6: SWAP1 00000ca7: SLOAD 00000ca8: SWAP1 00000ca9: PUSH2 0x0100 00000cac: EXP 00000cad: SWAP1 00000cae: DIV 00000caf: PUSH1 0xff 00000cb1: AND 00000cb2: ISZERO 00000cb3: ISZERO 00000cb4: ISZERO 00000cb5: PUSH2 0x0cbd 00000cb8: JUMPI 00000cb9: PUSH1 0x00 00000cbb: DUP1 00000cbc: REVERT 00000cbd: JUMPDEST 00000cbe: PUSH1 0x00 00000cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd5: AND 00000cd6: DUP5 00000cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cec: AND 00000ced: EQ 00000cee: ISZERO 00000cef: ISZERO 00000cf0: ISZERO 00000cf1: PUSH2 0x0cf9 00000cf4: JUMPI 00000cf5: PUSH1 0x00 00000cf7: DUP1 00000cf8: REVERT 00000cf9: JUMPDEST 00000cfa: PUSH1 0x05 00000cfc: PUSH1 0x00 00000cfe: DUP7 00000cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d14: AND 00000d15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2a: AND 00000d2b: DUP2 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: ADD 00000d30: SWAP1 00000d31: DUP2 00000d32: MSTORE 00000d33: PUSH1 0x20 00000d35: ADD 00000d36: PUSH1 0x00 00000d38: KECCAK256 00000d39: PUSH1 0x00 00000d3b: CALLER 00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d51: AND 00000d52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d67: AND 00000d68: DUP2 00000d69: MSTORE 00000d6a: PUSH1 0x20 00000d6c: ADD 00000d6d: SWAP1 00000d6e: DUP2 00000d6f: MSTORE 00000d70: PUSH1 0x20 00000d72: ADD 00000d73: PUSH1 0x00 00000d75: KECCAK256 00000d76: SLOAD 00000d77: SWAP1 00000d78: POP 00000d79: PUSH2 0x0dca 00000d7c: DUP4 00000d7d: PUSH1 0x04 00000d7f: PUSH1 0x00 00000d81: DUP9 00000d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d97: AND 00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dad: AND 00000dae: DUP2 00000daf: MSTORE 00000db0: PUSH1 0x20 00000db2: ADD 00000db3: SWAP1 00000db4: DUP2 00000db5: MSTORE 00000db6: PUSH1 0x20 00000db8: ADD 00000db9: PUSH1 0x00 00000dbb: KECCAK256 00000dbc: SLOAD 00000dbd: PUSH2 0x2256 00000dc0: SWAP1 00000dc1: SWAP2 00000dc2: SWAP1 00000dc3: PUSH4 0xffffffff 00000dc8: AND 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: PUSH1 0x04 00000dcd: PUSH1 0x00 00000dcf: DUP8 00000dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de5: AND 00000de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfb: AND 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x20 00000e00: ADD 00000e01: SWAP1 00000e02: DUP2 00000e03: MSTORE 00000e04: PUSH1 0x20 00000e06: ADD 00000e07: PUSH1 0x00 00000e09: KECCAK256 00000e0a: DUP2 00000e0b: SWAP1 00000e0c: SSTORE 00000e0d: POP 00000e0e: PUSH2 0x0e5f 00000e11: DUP4 00000e12: PUSH1 0x04 00000e14: PUSH1 0x00 00000e16: DUP8 00000e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2c: AND 00000e2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e42: AND 00000e43: DUP2 00000e44: MSTORE 00000e45: PUSH1 0x20 00000e47: ADD 00000e48: SWAP1 00000e49: DUP2 00000e4a: MSTORE 00000e4b: PUSH1 0x20 00000e4d: ADD 00000e4e: PUSH1 0x00 00000e50: KECCAK256 00000e51: SLOAD 00000e52: PUSH2 0x2270 00000e55: SWAP1 00000e56: SWAP2 00000e57: SWAP1 00000e58: PUSH4 0xffffffff 00000e5d: AND 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x04 00000e62: PUSH1 0x00 00000e64: DUP7 00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7a: AND 00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e90: AND 00000e91: DUP2 00000e92: MSTORE 00000e93: PUSH1 0x20 00000e95: ADD 00000e96: SWAP1 00000e97: DUP2 00000e98: MSTORE 00000e99: PUSH1 0x20 00000e9b: ADD 00000e9c: PUSH1 0x00 00000e9e: KECCAK256 00000e9f: DUP2 00000ea0: SWAP1 00000ea1: SSTORE 00000ea2: POP 00000ea3: PUSH2 0x0eb5 00000ea6: DUP4 00000ea7: DUP3 00000ea8: PUSH2 0x2256 00000eab: SWAP1 00000eac: SWAP2 00000ead: SWAP1 00000eae: PUSH4 0xffffffff 00000eb3: AND 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH1 0x05 00000eb8: PUSH1 0x00 00000eba: DUP8 00000ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed0: AND 00000ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee6: AND 00000ee7: DUP2 00000ee8: MSTORE 00000ee9: PUSH1 0x20 00000eeb: ADD 00000eec: SWAP1 00000eed: DUP2 00000eee: MSTORE 00000eef: PUSH1 0x20 00000ef1: ADD 00000ef2: PUSH1 0x00 00000ef4: KECCAK256 00000ef5: PUSH1 0x00 00000ef7: CALLER 00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0d: AND 00000f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f23: AND 00000f24: DUP2 00000f25: MSTORE 00000f26: PUSH1 0x20 00000f28: ADD 00000f29: SWAP1 00000f2a: DUP2 00000f2b: MSTORE 00000f2c: PUSH1 0x20 00000f2e: ADD 00000f2f: PUSH1 0x00 00000f31: KECCAK256 00000f32: DUP2 00000f33: SWAP1 00000f34: SSTORE 00000f35: POP 00000f36: DUP4 00000f37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4c: AND 00000f4d: DUP6 00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f63: AND 00000f64: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f85: DUP6 00000f86: PUSH1 0x40 00000f88: MLOAD 00000f89: DUP1 00000f8a: DUP3 00000f8b: DUP2 00000f8c: MSTORE 00000f8d: PUSH1 0x20 00000f8f: ADD 00000f90: SWAP2 00000f91: POP 00000f92: POP 00000f93: PUSH1 0x40 00000f95: MLOAD 00000f96: DUP1 00000f97: SWAP2 00000f98: SUB 00000f99: SWAP1 00000f9a: LOG3 00000f9b: PUSH1 0x01 00000f9d: SWAP2 00000f9e: POP 00000f9f: JUMPDEST 00000fa0: JUMPDEST 00000fa1: POP 00000fa2: SWAP4 00000fa3: SWAP3 00000fa4: POP 00000fa5: POP 00000fa6: POP 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x03 00000fab: PUSH1 0x00 00000fad: SWAP1 00000fae: SLOAD 00000faf: SWAP1 00000fb0: PUSH2 0x0100 00000fb3: EXP 00000fb4: SWAP1 00000fb5: DIV 00000fb6: PUSH1 0xff 00000fb8: AND 00000fb9: DUP2 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: PUSH1 0x03 00000fbe: PUSH1 0x01 00000fc0: SWAP1 00000fc1: SLOAD 00000fc2: SWAP1 00000fc3: PUSH2 0x0100 00000fc6: EXP 00000fc7: SWAP1 00000fc8: DIV 00000fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fde: AND 00000fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff4: AND 00000ff5: CALLER 00000ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100b: AND 0000100c: EQ 0000100d: ISZERO 0000100e: ISZERO 0000100f: PUSH2 0x1017 00001012: JUMPI 00001013: PUSH1 0x00 00001015: DUP1 00001016: REVERT 00001017: JUMPDEST 00001018: PUSH1 0x08 0000101a: PUSH1 0x00 0000101c: SWAP1 0000101d: SLOAD 0000101e: SWAP1 0000101f: PUSH2 0x0100 00001022: EXP 00001023: SWAP1 00001024: DIV 00001025: PUSH1 0xff 00001027: AND 00001028: ISZERO 00001029: ISZERO 0000102a: PUSH2 0x1032 0000102d: JUMPI 0000102e: PUSH1 0x00 00001030: DUP1 00001031: REVERT 00001032: JUMPDEST 00001033: PUSH1 0x00 00001035: PUSH1 0x08 00001037: PUSH1 0x00 00001039: PUSH2 0x0100 0000103c: EXP 0000103d: DUP2 0000103e: SLOAD 0000103f: DUP2 00001040: PUSH1 0xff 00001042: MUL 00001043: NOT 00001044: AND 00001045: SWAP1 00001046: DUP4 00001047: ISZERO 00001048: ISZERO 00001049: MUL 0000104a: OR 0000104b: SWAP1 0000104c: SSTORE 0000104d: POP 0000104e: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 0000106f: PUSH1 0x40 00001071: MLOAD 00001072: PUSH1 0x40 00001074: MLOAD 00001075: DUP1 00001076: SWAP2 00001077: SUB 00001078: SWAP1 00001079: LOG1 0000107a: JUMPDEST 0000107b: JUMPDEST 0000107c: JUMPDEST 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH1 0x00 00001081: PUSH1 0x03 00001083: PUSH1 0x01 00001085: SWAP1 00001086: SLOAD 00001087: SWAP1 00001088: PUSH2 0x0100 0000108b: EXP 0000108c: SWAP1 0000108d: DIV 0000108e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a3: AND 000010a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b9: AND 000010ba: CALLER 000010bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d0: AND 000010d1: EQ 000010d2: ISZERO 000010d3: ISZERO 000010d4: PUSH2 0x10dc 000010d7: JUMPI 000010d8: PUSH1 0x00 000010da: DUP1 000010db: REVERT 000010dc: JUMPDEST 000010dd: PUSH2 0x10f1 000010e0: DUP3 000010e1: PUSH1 0x02 000010e3: SLOAD 000010e4: PUSH2 0x2270 000010e7: SWAP1 000010e8: SWAP2 000010e9: SWAP1 000010ea: PUSH4 0xffffffff 000010ef: AND 000010f0: JUMP 000010f1: JUMPDEST 000010f2: PUSH1 0x02 000010f4: DUP2 000010f5: SWAP1 000010f6: SSTORE 000010f7: POP 000010f8: PUSH2 0x1149 000010fb: DUP3 000010fc: PUSH1 0x04 000010fe: PUSH1 0x00 00001100: DUP7 00001101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001116: AND 00001117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112c: AND 0000112d: DUP2 0000112e: MSTORE 0000112f: PUSH1 0x20 00001131: ADD 00001132: SWAP1 00001133: DUP2 00001134: MSTORE 00001135: PUSH1 0x20 00001137: ADD 00001138: PUSH1 0x00 0000113a: KECCAK256 0000113b: SLOAD 0000113c: PUSH2 0x2270 0000113f: SWAP1 00001140: SWAP2 00001141: SWAP1 00001142: PUSH4 0xffffffff 00001147: AND 00001148: JUMP 00001149: JUMPDEST 0000114a: PUSH1 0x04 0000114c: PUSH1 0x00 0000114e: DUP6 0000114f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001164: AND 00001165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117a: AND 0000117b: DUP2 0000117c: MSTORE 0000117d: PUSH1 0x20 0000117f: ADD 00001180: SWAP1 00001181: DUP2 00001182: MSTORE 00001183: PUSH1 0x20 00001185: ADD 00001186: PUSH1 0x00 00001188: KECCAK256 00001189: DUP2 0000118a: SWAP1 0000118b: SSTORE 0000118c: POP 0000118d: DUP3 0000118e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a3: AND 000011a4: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885 000011c5: DUP4 000011c6: PUSH1 0x40 000011c8: MLOAD 000011c9: DUP1 000011ca: DUP3 000011cb: DUP2 000011cc: MSTORE 000011cd: PUSH1 0x20 000011cf: ADD 000011d0: SWAP2 000011d1: POP 000011d2: POP 000011d3: PUSH1 0x40 000011d5: MLOAD 000011d6: DUP1 000011d7: SWAP2 000011d8: SUB 000011d9: SWAP1 000011da: LOG2 000011db: DUP3 000011dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f1: AND 000011f2: PUSH1 0x00 000011f4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001215: DUP5 00001216: PUSH1 0x40 00001218: MLOAD 00001219: DUP1 0000121a: DUP3 0000121b: DUP2 0000121c: MSTORE 0000121d: PUSH1 0x20 0000121f: ADD 00001220: SWAP2 00001221: POP 00001222: POP 00001223: PUSH1 0x40 00001225: MLOAD 00001226: DUP1 00001227: SWAP2 00001228: SUB 00001229: SWAP1 0000122a: LOG3 0000122b: PUSH1 0x01 0000122d: SWAP1 0000122e: POP 0000122f: JUMPDEST 00001230: JUMPDEST 00001231: SWAP3 00001232: SWAP2 00001233: POP 00001234: POP 00001235: JUMP 00001236: JUMPDEST 00001237: PUSH1 0x00 00001239: DUP1 0000123a: PUSH1 0x00 0000123c: DUP4 0000123d: GT 0000123e: ISZERO 0000123f: ISZERO 00001240: PUSH2 0x1248 00001243: JUMPI 00001244: PUSH1 0x00 00001246: DUP1 00001247: REVERT 00001248: JUMPDEST 00001249: CALLER 0000124a: SWAP1 0000124b: POP 0000124c: PUSH2 0x129d 0000124f: DUP4 00001250: PUSH1 0x04 00001252: PUSH1 0x00 00001254: DUP5 00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126a: AND 0000126b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001280: AND 00001281: DUP2 00001282: MSTORE 00001283: PUSH1 0x20 00001285: ADD 00001286: SWAP1 00001287: DUP2 00001288: MSTORE 00001289: PUSH1 0x20 0000128b: ADD 0000128c: PUSH1 0x00 0000128e: KECCAK256 0000128f: SLOAD 00001290: PUSH2 0x2256 00001293: SWAP1 00001294: SWAP2 00001295: SWAP1 00001296: PUSH4 0xffffffff 0000129b: AND 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH1 0x04 000012a0: PUSH1 0x00 000012a2: DUP4 000012a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b8: AND 000012b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ce: AND 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: ADD 000012d4: SWAP1 000012d5: DUP2 000012d6: MSTORE 000012d7: PUSH1 0x20 000012d9: ADD 000012da: PUSH1 0x00 000012dc: KECCAK256 000012dd: DUP2 000012de: SWAP1 000012df: SSTORE 000012e0: POP 000012e1: PUSH2 0x12f5 000012e4: DUP4 000012e5: PUSH1 0x02 000012e7: SLOAD 000012e8: PUSH2 0x2256 000012eb: SWAP1 000012ec: SWAP2 000012ed: SWAP1 000012ee: PUSH4 0xffffffff 000012f3: AND 000012f4: JUMP 000012f5: JUMPDEST 000012f6: PUSH1 0x02 000012f8: DUP2 000012f9: SWAP1 000012fa: SSTORE 000012fb: POP 000012fc: DUP3 000012fd: DUP2 000012fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001313: AND 00001314: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 00001335: PUSH1 0x40 00001337: MLOAD 00001338: PUSH1 0x40 0000133a: MLOAD 0000133b: DUP1 0000133c: SWAP2 0000133d: SUB 0000133e: SWAP1 0000133f: LOG3 00001340: PUSH1 0x01 00001342: SWAP2 00001343: POP 00001344: JUMPDEST 00001345: POP 00001346: SWAP2 00001347: SWAP1 00001348: POP 00001349: JUMP 0000134a: JUMPDEST 0000134b: PUSH1 0x03 0000134d: PUSH1 0x01 0000134f: SWAP1 00001350: SLOAD 00001351: SWAP1 00001352: PUSH2 0x0100 00001355: EXP 00001356: SWAP1 00001357: DIV 00001358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136d: AND 0000136e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001383: AND 00001384: CALLER 00001385: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139a: AND 0000139b: EQ 0000139c: ISZERO 0000139d: ISZERO 0000139e: PUSH2 0x13a6 000013a1: JUMPI 000013a2: PUSH1 0x00 000013a4: DUP1 000013a5: REVERT 000013a6: JUMPDEST 000013a7: PUSH1 0x00 000013a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013be: AND 000013bf: DUP3 000013c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d5: AND 000013d6: EQ 000013d7: ISZERO 000013d8: ISZERO 000013d9: ISZERO 000013da: PUSH2 0x13e2 000013dd: JUMPI 000013de: PUSH1 0x00 000013e0: DUP1 000013e1: REVERT 000013e2: JUMPDEST 000013e3: DUP1 000013e4: ADDRESS 000013e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fa: AND 000013fb: BALANCE 000013fc: LT 000013fd: ISZERO 000013fe: ISZERO 000013ff: ISZERO 00001400: PUSH2 0x1408 00001403: JUMPI 00001404: PUSH1 0x00 00001406: DUP1 00001407: REVERT 00001408: JUMPDEST 00001409: DUP2 0000140a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141f: AND 00001420: PUSH2 0x08fc 00001423: DUP3 00001424: SWAP1 00001425: DUP2 00001426: ISZERO 00001427: MUL 00001428: SWAP1 00001429: PUSH1 0x40 0000142b: MLOAD 0000142c: PUSH1 0x00 0000142e: PUSH1 0x40 00001430: MLOAD 00001431: DUP1 00001432: DUP4 00001433: SUB 00001434: DUP2 00001435: DUP6 00001436: DUP9 00001437: DUP9 00001438: CALL 00001439: SWAP4 0000143a: POP 0000143b: POP 0000143c: POP 0000143d: POP 0000143e: ISZERO 0000143f: ISZERO 00001440: PUSH2 0x1448 00001443: JUMPI 00001444: PUSH1 0x00 00001446: DUP1 00001447: REVERT 00001448: JUMPDEST 00001449: JUMPDEST 0000144a: JUMPDEST 0000144b: POP 0000144c: POP 0000144d: JUMP 0000144e: JUMPDEST 0000144f: PUSH1 0x08 00001451: PUSH1 0x00 00001453: SWAP1 00001454: SLOAD 00001455: SWAP1 00001456: PUSH2 0x0100 00001459: EXP 0000145a: SWAP1 0000145b: DIV 0000145c: PUSH1 0xff 0000145e: AND 0000145f: DUP2 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH1 0x00 00001464: DUP1 00001465: CALLER 00001466: SWAP2 00001467: POP 00001468: PUSH1 0x07 0000146a: PUSH1 0x00 0000146c: DUP4 0000146d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001482: AND 00001483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001498: AND 00001499: DUP2 0000149a: MSTORE 0000149b: PUSH1 0x20 0000149d: ADD 0000149e: SWAP1 0000149f: DUP2 000014a0: MSTORE 000014a1: PUSH1 0x20 000014a3: ADD 000014a4: PUSH1 0x00 000014a6: KECCAK256 000014a7: SLOAD 000014a8: SWAP1 000014a9: POP 000014aa: PUSH1 0x00 000014ac: DUP2 000014ad: EQ 000014ae: ISZERO 000014af: ISZERO 000014b0: ISZERO 000014b1: PUSH2 0x14b9 000014b4: JUMPI 000014b5: PUSH1 0x00 000014b7: DUP1 000014b8: REVERT 000014b9: JUMPDEST 000014ba: DUP1 000014bb: ADDRESS 000014bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d1: AND 000014d2: BALANCE 000014d3: LT 000014d4: ISZERO 000014d5: ISZERO 000014d6: ISZERO 000014d7: PUSH2 0x14df 000014da: JUMPI 000014db: PUSH1 0x00 000014dd: DUP1 000014de: REVERT 000014df: JUMPDEST 000014e0: PUSH2 0x14f4 000014e3: DUP2 000014e4: PUSH1 0x06 000014e6: SLOAD 000014e7: PUSH2 0x2256 000014ea: SWAP1 000014eb: SWAP2 000014ec: SWAP1 000014ed: PUSH4 0xffffffff 000014f2: AND 000014f3: JUMP 000014f4: JUMPDEST 000014f5: PUSH1 0x06 000014f7: DUP2 000014f8: SWAP1 000014f9: SSTORE 000014fa: POP 000014fb: PUSH1 0x00 000014fd: PUSH1 0x07 000014ff: PUSH1 0x00 00001501: DUP5 00001502: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001517: AND 00001518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152d: AND 0000152e: DUP2 0000152f: MSTORE 00001530: PUSH1 0x20 00001532: ADD 00001533: SWAP1 00001534: DUP2 00001535: MSTORE 00001536: PUSH1 0x20 00001538: ADD 00001539: PUSH1 0x00 0000153b: KECCAK256 0000153c: DUP2 0000153d: SWAP1 0000153e: SSTORE 0000153f: POP 00001540: DUP2 00001541: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001556: AND 00001557: PUSH2 0x08fc 0000155a: DUP3 0000155b: SWAP1 0000155c: DUP2 0000155d: ISZERO 0000155e: MUL 0000155f: SWAP1 00001560: PUSH1 0x40 00001562: MLOAD 00001563: PUSH1 0x00 00001565: PUSH1 0x40 00001567: MLOAD 00001568: DUP1 00001569: DUP4 0000156a: SUB 0000156b: DUP2 0000156c: DUP6 0000156d: DUP9 0000156e: DUP9 0000156f: CALL 00001570: SWAP4 00001571: POP 00001572: POP 00001573: POP 00001574: POP 00001575: ISZERO 00001576: ISZERO 00001577: PUSH2 0x157f 0000157a: JUMPI 0000157b: PUSH1 0x00 0000157d: DUP1 0000157e: REVERT 0000157f: JUMPDEST 00001580: CALLER 00001581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001596: AND 00001597: PUSH32 0x6a6e79bbe9b6fe25ed6111a10119cbffd3a473fcc7b89a85fa3497956048c432 000015b8: DUP3 000015b9: PUSH1 0x40 000015bb: MLOAD 000015bc: DUP1 000015bd: DUP3 000015be: DUP2 000015bf: MSTORE 000015c0: PUSH1 0x20 000015c2: ADD 000015c3: SWAP2 000015c4: POP 000015c5: POP 000015c6: PUSH1 0x40 000015c8: MLOAD 000015c9: DUP1 000015ca: SWAP2 000015cb: SUB 000015cc: SWAP1 000015cd: LOG2 000015ce: JUMPDEST 000015cf: POP 000015d0: POP 000015d1: JUMP 000015d2: JUMPDEST 000015d3: PUSH1 0x00 000015d5: DUP1 000015d6: PUSH1 0x08 000015d8: PUSH1 0x00 000015da: SWAP1 000015db: SLOAD 000015dc: SWAP1 000015dd: PUSH2 0x0100 000015e0: EXP 000015e1: SWAP1 000015e2: DIV 000015e3: PUSH1 0xff 000015e5: AND 000015e6: ISZERO 000015e7: ISZERO 000015e8: ISZERO 000015e9: PUSH2 0x15f1 000015ec: JUMPI 000015ed: PUSH1 0x00 000015ef: DUP1 000015f0: REVERT 000015f1: JUMPDEST 000015f2: PUSH1 0x05 000015f4: PUSH1 0x00 000015f6: CALLER 000015f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000160c: AND 0000160d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001622: AND 00001623: DUP2 00001624: MSTORE 00001625: PUSH1 0x20 00001627: ADD 00001628: SWAP1 00001629: DUP2 0000162a: MSTORE 0000162b: PUSH1 0x20 0000162d: ADD 0000162e: PUSH1 0x00 00001630: KECCAK256 00001631: PUSH1 0x00 00001633: DUP6 00001634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001649: AND 0000164a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165f: AND 00001660: DUP2 00001661: MSTORE 00001662: PUSH1 0x20 00001664: ADD 00001665: SWAP1 00001666: DUP2 00001667: MSTORE 00001668: PUSH1 0x20 0000166a: ADD 0000166b: PUSH1 0x00 0000166d: KECCAK256 0000166e: SLOAD 0000166f: SWAP1 00001670: POP 00001671: DUP1 00001672: DUP4 00001673: GT 00001674: ISZERO 00001675: PUSH2 0x16ff 00001678: JUMPI 00001679: PUSH1 0x00 0000167b: PUSH1 0x05 0000167d: PUSH1 0x00 0000167f: CALLER 00001680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001695: AND 00001696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ab: AND 000016ac: DUP2 000016ad: MSTORE 000016ae: PUSH1 0x20 000016b0: ADD 000016b1: SWAP1 000016b2: DUP2 000016b3: MSTORE 000016b4: PUSH1 0x20 000016b6: ADD 000016b7: PUSH1 0x00 000016b9: KECCAK256 000016ba: PUSH1 0x00 000016bc: DUP7 000016bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d2: AND 000016d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e8: AND 000016e9: DUP2 000016ea: MSTORE 000016eb: PUSH1 0x20 000016ed: ADD 000016ee: SWAP1 000016ef: DUP2 000016f0: MSTORE 000016f1: PUSH1 0x20 000016f3: ADD 000016f4: PUSH1 0x00 000016f6: KECCAK256 000016f7: DUP2 000016f8: SWAP1 000016f9: SSTORE 000016fa: POP 000016fb: PUSH2 0x1793 000016fe: JUMP 000016ff: JUMPDEST 00001700: PUSH2 0x1712 00001703: DUP4 00001704: DUP3 00001705: PUSH2 0x2256 00001708: SWAP1 00001709: SWAP2 0000170a: SWAP1 0000170b: PUSH4 0xffffffff 00001710: AND 00001711: JUMP 00001712: JUMPDEST 00001713: PUSH1 0x05 00001715: PUSH1 0x00 00001717: CALLER 00001718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172d: AND 0000172e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001743: AND 00001744: DUP2 00001745: MSTORE 00001746: PUSH1 0x20 00001748: ADD 00001749: SWAP1 0000174a: DUP2 0000174b: MSTORE 0000174c: PUSH1 0x20 0000174e: ADD 0000174f: PUSH1 0x00 00001751: KECCAK256 00001752: PUSH1 0x00 00001754: DUP7 00001755: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176a: AND 0000176b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001780: AND 00001781: DUP2 00001782: MSTORE 00001783: PUSH1 0x20 00001785: ADD 00001786: SWAP1 00001787: DUP2 00001788: MSTORE 00001789: PUSH1 0x20 0000178b: ADD 0000178c: PUSH1 0x00 0000178e: KECCAK256 0000178f: DUP2 00001790: SWAP1 00001791: SSTORE 00001792: POP 00001793: JUMPDEST 00001794: DUP4 00001795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017aa: AND 000017ab: CALLER 000017ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c1: AND 000017c2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000017e3: PUSH1 0x05 000017e5: PUSH1 0x00 000017e7: CALLER 000017e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017fd: AND 000017fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001813: AND 00001814: DUP2 00001815: MSTORE 00001816: PUSH1 0x20 00001818: ADD 00001819: SWAP1 0000181a: DUP2 0000181b: MSTORE 0000181c: PUSH1 0x20 0000181e: ADD 0000181f: PUSH1 0x00 00001821: KECCAK256 00001822: PUSH1 0x00 00001824: DUP9 00001825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183a: AND 0000183b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001850: AND 00001851: DUP2 00001852: MSTORE 00001853: PUSH1 0x20 00001855: ADD 00001856: SWAP1 00001857: DUP2 00001858: MSTORE 00001859: PUSH1 0x20 0000185b: ADD 0000185c: PUSH1 0x00 0000185e: KECCAK256 0000185f: SLOAD 00001860: PUSH1 0x40 00001862: MLOAD 00001863: DUP1 00001864: DUP3 00001865: DUP2 00001866: MSTORE 00001867: PUSH1 0x20 00001869: ADD 0000186a: SWAP2 0000186b: POP 0000186c: POP 0000186d: PUSH1 0x40 0000186f: MLOAD 00001870: DUP1 00001871: SWAP2 00001872: SUB 00001873: SWAP1 00001874: LOG3 00001875: PUSH1 0x01 00001877: SWAP2 00001878: POP 00001879: JUMPDEST 0000187a: JUMPDEST 0000187b: POP 0000187c: SWAP3 0000187d: SWAP2 0000187e: POP 0000187f: POP 00001880: JUMP 00001881: JUMPDEST 00001882: PUSH1 0x00 00001884: PUSH1 0x04 00001886: PUSH1 0x00 00001888: DUP4 00001889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000189e: AND 0000189f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b4: AND 000018b5: DUP2 000018b6: MSTORE 000018b7: PUSH1 0x20 000018b9: ADD 000018ba: SWAP1 000018bb: DUP2 000018bc: MSTORE 000018bd: PUSH1 0x20 000018bf: ADD 000018c0: PUSH1 0x00 000018c2: KECCAK256 000018c3: SLOAD 000018c4: SWAP1 000018c5: POP 000018c6: JUMPDEST 000018c7: SWAP2 000018c8: SWAP1 000018c9: POP 000018ca: JUMP 000018cb: JUMPDEST 000018cc: PUSH1 0x03 000018ce: PUSH1 0x01 000018d0: SWAP1 000018d1: SLOAD 000018d2: SWAP1 000018d3: PUSH2 0x0100 000018d6: EXP 000018d7: SWAP1 000018d8: DIV 000018d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ee: AND 000018ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001904: AND 00001905: CALLER 00001906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000191b: AND 0000191c: EQ 0000191d: ISZERO 0000191e: ISZERO 0000191f: PUSH2 0x1927 00001922: JUMPI 00001923: PUSH1 0x00 00001925: DUP1 00001926: REVERT 00001927: JUMPDEST 00001928: PUSH2 0x1979 0000192b: DUP2 0000192c: PUSH1 0x07 0000192e: PUSH1 0x00 00001930: DUP6 00001931: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001946: AND 00001947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000195c: AND 0000195d: DUP2 0000195e: MSTORE 0000195f: PUSH1 0x20 00001961: ADD 00001962: SWAP1 00001963: DUP2 00001964: MSTORE 00001965: PUSH1 0x20 00001967: ADD 00001968: PUSH1 0x00 0000196a: KECCAK256 0000196b: SLOAD 0000196c: PUSH2 0x2270 0000196f: SWAP1 00001970: SWAP2 00001971: SWAP1 00001972: PUSH4 0xffffffff 00001977: AND 00001978: JUMP 00001979: JUMPDEST 0000197a: PUSH1 0x07 0000197c: PUSH1 0x00 0000197e: DUP5 0000197f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001994: AND 00001995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019aa: AND 000019ab: DUP2 000019ac: MSTORE 000019ad: PUSH1 0x20 000019af: ADD 000019b0: SWAP1 000019b1: DUP2 000019b2: MSTORE 000019b3: PUSH1 0x20 000019b5: ADD 000019b6: PUSH1 0x00 000019b8: KECCAK256 000019b9: DUP2 000019ba: SWAP1 000019bb: SSTORE 000019bc: POP 000019bd: PUSH2 0x19d1 000019c0: DUP2 000019c1: PUSH1 0x06 000019c3: SLOAD 000019c4: PUSH2 0x2270 000019c7: SWAP1 000019c8: SWAP2 000019c9: SWAP1 000019ca: PUSH4 0xffffffff 000019cf: AND 000019d0: JUMP 000019d1: JUMPDEST 000019d2: PUSH1 0x06 000019d4: DUP2 000019d5: SWAP1 000019d6: SSTORE 000019d7: POP 000019d8: DUP2 000019d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ee: AND 000019ef: PUSH32 0xaf8af7080b5073fc04fbcb7a404023bb066cc778532691cffc7ef8099fb41438 00001a10: DUP3 00001a11: PUSH1 0x40 00001a13: MLOAD 00001a14: DUP1 00001a15: DUP3 00001a16: DUP2 00001a17: MSTORE 00001a18: PUSH1 0x20 00001a1a: ADD 00001a1b: SWAP2 00001a1c: POP 00001a1d: POP 00001a1e: PUSH1 0x40 00001a20: MLOAD 00001a21: DUP1 00001a22: SWAP2 00001a23: SUB 00001a24: SWAP1 00001a25: LOG2 00001a26: JUMPDEST 00001a27: JUMPDEST 00001a28: POP 00001a29: POP 00001a2a: JUMP 00001a2b: JUMPDEST 00001a2c: PUSH1 0x03 00001a2e: PUSH1 0x01 00001a30: SWAP1 00001a31: SLOAD 00001a32: SWAP1 00001a33: PUSH2 0x0100 00001a36: EXP 00001a37: SWAP1 00001a38: DIV 00001a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4e: AND 00001a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a64: AND 00001a65: CALLER 00001a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7b: AND 00001a7c: EQ 00001a7d: ISZERO 00001a7e: ISZERO 00001a7f: PUSH2 0x1a87 00001a82: JUMPI 00001a83: PUSH1 0x00 00001a85: DUP1 00001a86: REVERT 00001a87: JUMPDEST 00001a88: PUSH1 0x03 00001a8a: PUSH1 0x01 00001a8c: SWAP1 00001a8d: SLOAD 00001a8e: SWAP1 00001a8f: PUSH2 0x0100 00001a92: EXP 00001a93: SWAP1 00001a94: DIV 00001a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aaa: AND 00001aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac0: AND 00001ac1: SELFDESTRUCT 00001ac2: JUMPDEST 00001ac3: JUMPDEST 00001ac4: JUMP 00001ac5: JUMPDEST 00001ac6: PUSH1 0x03 00001ac8: PUSH1 0x01 00001aca: SWAP1 00001acb: SLOAD 00001acc: SWAP1 00001acd: PUSH2 0x0100 00001ad0: EXP 00001ad1: SWAP1 00001ad2: DIV 00001ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae8: AND 00001ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001afe: AND 00001aff: CALLER 00001b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b15: AND 00001b16: EQ 00001b17: ISZERO 00001b18: ISZERO 00001b19: PUSH2 0x1b21 00001b1c: JUMPI 00001b1d: PUSH1 0x00 00001b1f: DUP1 00001b20: REVERT 00001b21: JUMPDEST 00001b22: PUSH1 0x08 00001b24: PUSH1 0x00 00001b26: SWAP1 00001b27: SLOAD 00001b28: SWAP1 00001b29: PUSH2 0x0100 00001b2c: EXP 00001b2d: SWAP1 00001b2e: DIV 00001b2f: PUSH1 0xff 00001b31: AND 00001b32: ISZERO 00001b33: ISZERO 00001b34: ISZERO 00001b35: PUSH2 0x1b3d 00001b38: JUMPI 00001b39: PUSH1 0x00 00001b3b: DUP1 00001b3c: REVERT 00001b3d: JUMPDEST 00001b3e: PUSH1 0x01 00001b40: PUSH1 0x08 00001b42: PUSH1 0x00 00001b44: PUSH2 0x0100 00001b47: EXP 00001b48: DUP2 00001b49: SLOAD 00001b4a: DUP2 00001b4b: PUSH1 0xff 00001b4d: MUL 00001b4e: NOT 00001b4f: AND 00001b50: SWAP1 00001b51: DUP4 00001b52: ISZERO 00001b53: ISZERO 00001b54: MUL 00001b55: OR 00001b56: SWAP1 00001b57: SSTORE 00001b58: POP 00001b59: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00001b7a: PUSH1 0x40 00001b7c: MLOAD 00001b7d: PUSH1 0x40 00001b7f: MLOAD 00001b80: DUP1 00001b81: SWAP2 00001b82: SUB 00001b83: SWAP1 00001b84: LOG1 00001b85: JUMPDEST 00001b86: JUMPDEST 00001b87: JUMPDEST 00001b88: JUMP 00001b89: JUMPDEST 00001b8a: PUSH1 0x03 00001b8c: PUSH1 0x01 00001b8e: SWAP1 00001b8f: SLOAD 00001b90: SWAP1 00001b91: PUSH2 0x0100 00001b94: EXP 00001b95: SWAP1 00001b96: DIV 00001b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bac: AND 00001bad: DUP2 00001bae: JUMP 00001baf: JUMPDEST 00001bb0: PUSH1 0x01 00001bb2: DUP1 00001bb3: SLOAD 00001bb4: PUSH1 0x01 00001bb6: DUP2 00001bb7: PUSH1 0x01 00001bb9: AND 00001bba: ISZERO 00001bbb: PUSH2 0x0100 00001bbe: MUL 00001bbf: SUB 00001bc0: AND 00001bc1: PUSH1 0x02 00001bc3: SWAP1 00001bc4: DIV 00001bc5: DUP1 00001bc6: PUSH1 0x1f 00001bc8: ADD 00001bc9: PUSH1 0x20 00001bcb: DUP1 00001bcc: SWAP2 00001bcd: DIV 00001bce: MUL 00001bcf: PUSH1 0x20 00001bd1: ADD 00001bd2: PUSH1 0x40 00001bd4: MLOAD 00001bd5: SWAP1 00001bd6: DUP2 00001bd7: ADD 00001bd8: PUSH1 0x40 00001bda: MSTORE 00001bdb: DUP1 00001bdc: SWAP3 00001bdd: SWAP2 00001bde: SWAP1 00001bdf: DUP2 00001be0: DUP2 00001be1: MSTORE 00001be2: PUSH1 0x20 00001be4: ADD 00001be5: DUP3 00001be6: DUP1 00001be7: SLOAD 00001be8: PUSH1 0x01 00001bea: DUP2 00001beb: PUSH1 0x01 00001bed: AND 00001bee: ISZERO 00001bef: PUSH2 0x0100 00001bf2: MUL 00001bf3: SUB 00001bf4: AND 00001bf5: PUSH1 0x02 00001bf7: SWAP1 00001bf8: DIV 00001bf9: DUP1 00001bfa: ISZERO 00001bfb: PUSH2 0x1c45 00001bfe: JUMPI 00001bff: DUP1 00001c00: PUSH1 0x1f 00001c02: LT 00001c03: PUSH2 0x1c1a 00001c06: JUMPI 00001c07: PUSH2 0x0100 00001c0a: DUP1 00001c0b: DUP4 00001c0c: SLOAD 00001c0d: DIV 00001c0e: MUL 00001c0f: DUP4 00001c10: MSTORE 00001c11: SWAP2 00001c12: PUSH1 0x20 00001c14: ADD 00001c15: SWAP2 00001c16: PUSH2 0x1c45 00001c19: JUMP 00001c1a: JUMPDEST 00001c1b: DUP3 00001c1c: ADD 00001c1d: SWAP2 00001c1e: SWAP1 00001c1f: PUSH1 0x00 00001c21: MSTORE 00001c22: PUSH1 0x20 00001c24: PUSH1 0x00 00001c26: KECCAK256 00001c27: SWAP1 00001c28: JUMPDEST 00001c29: DUP2 00001c2a: SLOAD 00001c2b: DUP2 00001c2c: MSTORE 00001c2d: SWAP1 00001c2e: PUSH1 0x01 00001c30: ADD 00001c31: SWAP1 00001c32: PUSH1 0x20 00001c34: ADD 00001c35: DUP1 00001c36: DUP4 00001c37: GT 00001c38: PUSH2 0x1c28 00001c3b: JUMPI 00001c3c: DUP3 00001c3d: SWAP1 00001c3e: SUB 00001c3f: PUSH1 0x1f 00001c41: AND 00001c42: DUP3 00001c43: ADD 00001c44: SWAP2 00001c45: JUMPDEST 00001c46: POP 00001c47: POP 00001c48: POP 00001c49: POP 00001c4a: POP 00001c4b: DUP2 00001c4c: JUMP 00001c4d: JUMPDEST 00001c4e: PUSH1 0x00 00001c50: PUSH1 0x08 00001c52: PUSH1 0x00 00001c54: SWAP1 00001c55: SLOAD 00001c56: SWAP1 00001c57: PUSH2 0x0100 00001c5a: EXP 00001c5b: SWAP1 00001c5c: DIV 00001c5d: PUSH1 0xff 00001c5f: AND 00001c60: ISZERO 00001c61: ISZERO 00001c62: ISZERO 00001c63: PUSH2 0x1c6b 00001c66: JUMPI 00001c67: PUSH1 0x00 00001c69: DUP1 00001c6a: REVERT 00001c6b: JUMPDEST 00001c6c: PUSH1 0x00 00001c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c83: AND 00001c84: DUP4 00001c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9a: AND 00001c9b: EQ 00001c9c: ISZERO 00001c9d: ISZERO 00001c9e: ISZERO 00001c9f: PUSH2 0x1ca7 00001ca2: JUMPI 00001ca3: PUSH1 0x00 00001ca5: DUP1 00001ca6: REVERT 00001ca7: JUMPDEST 00001ca8: PUSH2 0x1cf9 00001cab: DUP3 00001cac: PUSH1 0x04 00001cae: PUSH1 0x00 00001cb0: CALLER 00001cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc6: AND 00001cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cdc: AND 00001cdd: DUP2 00001cde: MSTORE 00001cdf: PUSH1 0x20 00001ce1: ADD 00001ce2: SWAP1 00001ce3: DUP2 00001ce4: MSTORE 00001ce5: PUSH1 0x20 00001ce7: ADD 00001ce8: PUSH1 0x00 00001cea: KECCAK256 00001ceb: SLOAD 00001cec: PUSH2 0x2256 00001cef: SWAP1 00001cf0: SWAP2 00001cf1: SWAP1 00001cf2: PUSH4 0xffffffff 00001cf7: AND 00001cf8: JUMP 00001cf9: JUMPDEST 00001cfa: PUSH1 0x04 00001cfc: PUSH1 0x00 00001cfe: CALLER 00001cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d14: AND 00001d15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d2a: AND 00001d2b: DUP2 00001d2c: MSTORE 00001d2d: PUSH1 0x20 00001d2f: ADD 00001d30: SWAP1 00001d31: DUP2 00001d32: MSTORE 00001d33: PUSH1 0x20 00001d35: ADD 00001d36: PUSH1 0x00 00001d38: KECCAK256 00001d39: DUP2 00001d3a: SWAP1 00001d3b: SSTORE 00001d3c: POP 00001d3d: PUSH2 0x1d8e 00001d40: DUP3 00001d41: PUSH1 0x04 00001d43: PUSH1 0x00 00001d45: DUP7 00001d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d5b: AND 00001d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d71: AND 00001d72: DUP2 00001d73: MSTORE 00001d74: PUSH1 0x20 00001d76: ADD 00001d77: SWAP1 00001d78: DUP2 00001d79: MSTORE 00001d7a: PUSH1 0x20 00001d7c: ADD 00001d7d: PUSH1 0x00 00001d7f: KECCAK256 00001d80: SLOAD 00001d81: PUSH2 0x2270 00001d84: SWAP1 00001d85: SWAP2 00001d86: SWAP1 00001d87: PUSH4 0xffffffff 00001d8c: AND 00001d8d: JUMP 00001d8e: JUMPDEST 00001d8f: PUSH1 0x04 00001d91: PUSH1 0x00 00001d93: DUP6 00001d94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001da9: AND 00001daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dbf: AND 00001dc0: DUP2 00001dc1: MSTORE 00001dc2: PUSH1 0x20 00001dc4: ADD 00001dc5: SWAP1 00001dc6: DUP2 00001dc7: MSTORE 00001dc8: PUSH1 0x20 00001dca: ADD 00001dcb: PUSH1 0x00 00001dcd: KECCAK256 00001dce: DUP2 00001dcf: SWAP1 00001dd0: SSTORE 00001dd1: POP 00001dd2: DUP3 00001dd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de8: AND 00001de9: CALLER 00001dea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dff: AND 00001e00: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001e21: DUP5 00001e22: PUSH1 0x40 00001e24: MLOAD 00001e25: DUP1 00001e26: DUP3 00001e27: DUP2 00001e28: MSTORE 00001e29: PUSH1 0x20 00001e2b: ADD 00001e2c: SWAP2 00001e2d: POP 00001e2e: POP 00001e2f: PUSH1 0x40 00001e31: MLOAD 00001e32: DUP1 00001e33: SWAP2 00001e34: SUB 00001e35: SWAP1 00001e36: LOG3 00001e37: PUSH1 0x01 00001e39: SWAP1 00001e3a: POP 00001e3b: JUMPDEST 00001e3c: JUMPDEST 00001e3d: SWAP3 00001e3e: SWAP2 00001e3f: POP 00001e40: POP 00001e41: JUMP 00001e42: JUMPDEST 00001e43: PUSH1 0x00 00001e45: PUSH1 0x08 00001e47: PUSH1 0x00 00001e49: SWAP1 00001e4a: SLOAD 00001e4b: SWAP1 00001e4c: PUSH2 0x0100 00001e4f: EXP 00001e50: SWAP1 00001e51: DIV 00001e52: PUSH1 0xff 00001e54: AND 00001e55: ISZERO 00001e56: ISZERO 00001e57: ISZERO 00001e58: PUSH2 0x1e60 00001e5b: JUMPI 00001e5c: PUSH1 0x00 00001e5e: DUP1 00001e5f: REVERT 00001e60: JUMPDEST 00001e61: PUSH2 0x1eef 00001e64: DUP3 00001e65: PUSH1 0x05 00001e67: PUSH1 0x00 00001e69: CALLER 00001e6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e7f: AND 00001e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e95: AND 00001e96: DUP2 00001e97: MSTORE 00001e98: PUSH1 0x20 00001e9a: ADD 00001e9b: SWAP1 00001e9c: DUP2 00001e9d: MSTORE 00001e9e: PUSH1 0x20 00001ea0: ADD 00001ea1: PUSH1 0x00 00001ea3: KECCAK256 00001ea4: PUSH1 0x00 00001ea6: DUP7 00001ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ebc: AND 00001ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ed2: AND 00001ed3: DUP2 00001ed4: MSTORE 00001ed5: PUSH1 0x20 00001ed7: ADD 00001ed8: SWAP1 00001ed9: DUP2 00001eda: MSTORE 00001edb: PUSH1 0x20 00001edd: ADD 00001ede: PUSH1 0x00 00001ee0: KECCAK256 00001ee1: SLOAD 00001ee2: PUSH2 0x2270 00001ee5: SWAP1 00001ee6: SWAP2 00001ee7: SWAP1 00001ee8: PUSH4 0xffffffff 00001eed: AND 00001eee: JUMP 00001eef: JUMPDEST 00001ef0: PUSH1 0x05 00001ef2: PUSH1 0x00 00001ef4: CALLER 00001ef5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f0a: AND 00001f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f20: AND 00001f21: DUP2 00001f22: MSTORE 00001f23: PUSH1 0x20 00001f25: ADD 00001f26: SWAP1 00001f27: DUP2 00001f28: MSTORE 00001f29: PUSH1 0x20 00001f2b: ADD 00001f2c: PUSH1 0x00 00001f2e: KECCAK256 00001f2f: PUSH1 0x00 00001f31: DUP6 00001f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f47: AND 00001f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f5d: AND 00001f5e: DUP2 00001f5f: MSTORE 00001f60: PUSH1 0x20 00001f62: ADD 00001f63: SWAP1 00001f64: DUP2 00001f65: MSTORE 00001f66: PUSH1 0x20 00001f68: ADD 00001f69: PUSH1 0x00 00001f6b: KECCAK256 00001f6c: DUP2 00001f6d: SWAP1 00001f6e: SSTORE 00001f6f: POP 00001f70: DUP3 00001f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f86: AND 00001f87: CALLER 00001f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9d: AND 00001f9e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001fbf: PUSH1 0x05 00001fc1: PUSH1 0x00 00001fc3: CALLER 00001fc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd9: AND 00001fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fef: AND 00001ff0: DUP2 00001ff1: MSTORE 00001ff2: PUSH1 0x20 00001ff4: ADD 00001ff5: SWAP1 00001ff6: DUP2 00001ff7: MSTORE 00001ff8: PUSH1 0x20 00001ffa: ADD 00001ffb: PUSH1 0x00 00001ffd: KECCAK256 00001ffe: PUSH1 0x00 00002000: DUP8 00002001: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002016: AND 00002017: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000202c: AND 0000202d: DUP2 0000202e: MSTORE 0000202f: PUSH1 0x20 00002031: ADD 00002032: SWAP1 00002033: DUP2 00002034: MSTORE 00002035: PUSH1 0x20 00002037: ADD 00002038: PUSH1 0x00 0000203a: KECCAK256 0000203b: SLOAD 0000203c: PUSH1 0x40 0000203e: MLOAD 0000203f: DUP1 00002040: DUP3 00002041: DUP2 00002042: MSTORE 00002043: PUSH1 0x20 00002045: ADD 00002046: SWAP2 00002047: POP 00002048: POP 00002049: PUSH1 0x40 0000204b: MLOAD 0000204c: DUP1 0000204d: SWAP2 0000204e: SUB 0000204f: SWAP1 00002050: LOG3 00002051: PUSH1 0x01 00002053: SWAP1 00002054: POP 00002055: JUMPDEST 00002056: JUMPDEST 00002057: SWAP3 00002058: SWAP2 00002059: POP 0000205a: POP 0000205b: JUMP 0000205c: JUMPDEST 0000205d: PUSH1 0x00 0000205f: PUSH1 0x05 00002061: PUSH1 0x00 00002063: DUP5 00002064: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002079: AND 0000207a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208f: AND 00002090: DUP2 00002091: MSTORE 00002092: PUSH1 0x20 00002094: ADD 00002095: SWAP1 00002096: DUP2 00002097: MSTORE 00002098: PUSH1 0x20 0000209a: ADD 0000209b: PUSH1 0x00 0000209d: KECCAK256 0000209e: PUSH1 0x00 000020a0: DUP4 000020a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020b6: AND 000020b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020cc: AND 000020cd: DUP2 000020ce: MSTORE 000020cf: PUSH1 0x20 000020d1: ADD 000020d2: SWAP1 000020d3: DUP2 000020d4: MSTORE 000020d5: PUSH1 0x20 000020d7: ADD 000020d8: PUSH1 0x00 000020da: KECCAK256 000020db: SLOAD 000020dc: SWAP1 000020dd: POP 000020de: JUMPDEST 000020df: SWAP3 000020e0: SWAP2 000020e1: POP 000020e2: POP 000020e3: JUMP 000020e4: JUMPDEST 000020e5: PUSH1 0x07 000020e7: PUSH1 0x20 000020e9: MSTORE 000020ea: DUP1 000020eb: PUSH1 0x00 000020ed: MSTORE 000020ee: PUSH1 0x40 000020f0: PUSH1 0x00 000020f2: KECCAK256 000020f3: PUSH1 0x00 000020f5: SWAP2 000020f6: POP 000020f7: SWAP1 000020f8: POP 000020f9: SLOAD 000020fa: DUP2 000020fb: JUMP 000020fc: JUMPDEST 000020fd: PUSH1 0x03 000020ff: PUSH1 0x01 00002101: SWAP1 00002102: SLOAD 00002103: SWAP1 00002104: PUSH2 0x0100 00002107: EXP 00002108: SWAP1 00002109: DIV 0000210a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000211f: AND 00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002135: AND 00002136: CALLER 00002137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000214c: AND 0000214d: EQ 0000214e: ISZERO 0000214f: ISZERO 00002150: PUSH2 0x2158 00002153: JUMPI 00002154: PUSH1 0x00 00002156: DUP1 00002157: REVERT 00002158: JUMPDEST 00002159: PUSH1 0x00 0000215b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002170: AND 00002171: DUP2 00002172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002187: AND 00002188: EQ 00002189: ISZERO 0000218a: ISZERO 0000218b: ISZERO 0000218c: PUSH2 0x2194 0000218f: JUMPI 00002190: PUSH1 0x00 00002192: DUP1 00002193: REVERT 00002194: JUMPDEST 00002195: DUP1 00002196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ab: AND 000021ac: PUSH1 0x03 000021ae: PUSH1 0x01 000021b0: SWAP1 000021b1: SLOAD 000021b2: SWAP1 000021b3: PUSH2 0x0100 000021b6: EXP 000021b7: SWAP1 000021b8: DIV 000021b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ce: AND 000021cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021e4: AND 000021e5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002206: PUSH1 0x40 00002208: MLOAD 00002209: PUSH1 0x40 0000220b: MLOAD 0000220c: DUP1 0000220d: SWAP2 0000220e: SUB 0000220f: SWAP1 00002210: LOG3 00002211: DUP1 00002212: PUSH1 0x03 00002214: PUSH1 0x01 00002216: PUSH2 0x0100 00002219: EXP 0000221a: DUP2 0000221b: SLOAD 0000221c: DUP2 0000221d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002232: MUL 00002233: NOT 00002234: AND 00002235: SWAP1 00002236: DUP4 00002237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000224c: AND 0000224d: MUL 0000224e: OR 0000224f: SWAP1 00002250: SSTORE 00002251: POP 00002252: JUMPDEST 00002253: JUMPDEST 00002254: POP 00002255: JUMP 00002256: JUMPDEST 00002257: PUSH1 0x00 00002259: DUP3 0000225a: DUP3 0000225b: GT 0000225c: ISZERO 0000225d: ISZERO 0000225e: ISZERO 0000225f: PUSH2 0x2264 00002262: JUMPI 00002263: INVALID 00002264: JUMPDEST 00002265: DUP2 00002266: DUP4 00002267: SUB 00002268: SWAP1 00002269: POP 0000226a: JUMPDEST 0000226b: SWAP3 0000226c: SWAP2 0000226d: POP 0000226e: POP 0000226f: JUMP 00002270: JUMPDEST 00002271: PUSH1 0x00 00002273: DUP1 00002274: DUP3 00002275: DUP5 00002276: ADD 00002277: SWAP1 00002278: POP 00002279: DUP4 0000227a: DUP2 0000227b: LT 0000227c: ISZERO 0000227d: ISZERO 0000227e: ISZERO 0000227f: PUSH2 0x2284 00002282: JUMPI 00002283: INVALID 00002284: JUMPDEST 00002285: DUP1 00002286: SWAP2 00002287: POP 00002288: JUMPDEST 00002289: POP 0000228a: SWAP3 0000228b: SWAP2 0000228c: POP 0000228d: POP 0000228e: JUMP 0000228f: STOP 00002290: LOG1 00002291: PUSH6 0x627a7a723058 00002298: KECCAK256 00002299: PUSH15 0x31d2161e938a85d5b6fc96b251fd42 000022a9: UNKNOWN(0xE8) 000022aa: DELEGATECALL 000022ab: UNKNOWN(0xDE) 000022ac: XOR 000022ad: SWAP6 000022ae: COINBASE 000022af: PUSH4 0x7931c314 000022b4: UNKNOWN(0xA8) 000022b5: UNKNOWN(0xC6) 000022b6: PUSH18
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x32664a303a92e1464d4eecac82ebaca4849717af9112e901891c2f3492762a80
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x32664a303a92e1464d4eecac82ebaca4849717af9112e901891c2f3492762a80",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 8874,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 2741,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4085,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4282,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4996,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6757,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6911,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x58d20fba6ddf6b33bf808a34994cb2db663ee7d39ab88e59ffcaf043c3406dbd
call_targets:
0x0ebb614204e47c09b6c3feb9aaecad8ee060e23e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x58d20fba6ddf6b33bf808a34994cb2db663ee7d39ab88e59ffcaf043c3406dbd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0ebb614204e47c09b6c3feb9aaecad8ee060e23e"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2944,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3184,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5176,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2741,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4085,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4282,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4996,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6757,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6911,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x58d20fba6ddf6b33bf808a34994cb2db663ee7d39ab88e59ffcaf043c3406dbd
call_targets:
0x0ebb614204e47c09b6c3feb9aaecad8ee060e23e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x58d20fba6ddf6b33bf808a34994cb2db663ee7d39ab88e59ffcaf043c3406dbd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0ebb614204e47c09b6c3feb9aaecad8ee060e23e"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2944,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3184,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5176,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2741,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4085,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4282,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4996,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6757,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6911,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xbac26998077471c676ac06a416cb7072a39fb8baa72eece621147422f05d95a2
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xbac26998077471c676ac06a416cb7072a39fb8baa72eece621147422f05d95a2",
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2741,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4085,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4282,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4996,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6757,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6911,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|