019b477e-a8db-71f5-ac35-ea5894d2c040
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 |
|---|---|---|---|---|
| 20507 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20508 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88561 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 88562 | capability.graph | complete | 1 / 3 | 1 week ago |
| 88563 | detector.run | complete | 1 / 3 | 1 week ago |
| 88564 | validation.fork | complete | 1 / 3 | 1 week 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 0x0103 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x173825d9 00000034: EQ 00000035: PUSH2 0x0120 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x2f54bf6e 0000003f: EQ 00000040: PUSH2 0x0138 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x4123cb6b 0000004a: EQ 0000004b: PUSH2 0x0166 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x52375093 00000055: EQ 00000056: PUSH2 0x0189 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x54fd4d50 00000060: EQ 00000061: PUSH2 0x01ac 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5c52c2f5 0000006b: EQ 0000006c: PUSH2 0x01cf 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x659010e7 00000076: EQ 00000077: PUSH2 0x01de 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x7065cb48 00000081: EQ 00000082: PUSH2 0x0201 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x746c9171 0000008c: EQ 0000008d: PUSH2 0x0219 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x797af627 00000097: EQ 00000098: PUSH2 0x023c 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xb20d30a9 000000a2: EQ 000000a3: PUSH2 0x026a 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xb61d27f6 000000ad: EQ 000000ae: PUSH2 0x0282 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0xb75c7dc6 000000b8: EQ 000000b9: PUSH2 0x02cf 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0xba51a6df 000000c3: EQ 000000c4: PUSH2 0x02e7 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0xc2cf7326 000000ce: EQ 000000cf: PUSH2 0x02ff 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0xcbf0b0c0 000000d9: EQ 000000da: PUSH2 0x0336 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0xe1fffcc4 000000e4: EQ 000000e5: PUSH2 0x034e 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0xf00d4b5d 000000ef: EQ 000000f0: PUSH2 0x036f 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xf1736d86 000000fa: EQ 000000fb: PUSH2 0x0390 000000fe: JUMPI 000000ff: PUSH2 0x0103 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH2 0x011e 00000107: JUMPDEST 00000108: PUSH1 0x00 0000010a: CALLVALUE 0000010b: GT 0000010c: ISZERO 0000010d: PUSH2 0x011b 00000110: JUMPI 00000111: PUSH2 0x011a 00000114: CALLER 00000115: CALLVALUE 00000116: PUSH2 0x03b3 00000119: JUMP 0000011a: JUMPDEST 0000011b: JUMPDEST 0000011c: JUMPDEST 0000011d: JUMP 0000011e: JUMPDEST 0000011f: STOP 00000120: JUMPDEST 00000121: PUSH2 0x0136 00000124: PUSH1 0x04 00000126: DUP1 00000127: DUP1 00000128: CALLDATALOAD 00000129: SWAP1 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: SWAP1 0000012e: SWAP2 0000012f: SWAP1 00000130: POP 00000131: POP 00000132: PUSH2 0x045c 00000135: JUMP 00000136: JUMPDEST 00000137: STOP 00000138: JUMPDEST 00000139: PUSH2 0x014e 0000013c: PUSH1 0x04 0000013e: DUP1 0000013f: DUP1 00000140: CALLDATALOAD 00000141: SWAP1 00000142: PUSH1 0x20 00000144: ADD 00000145: SWAP1 00000146: SWAP2 00000147: SWAP1 00000148: POP 00000149: POP 0000014a: PUSH2 0x05a7 0000014d: JUMP 0000014e: JUMPDEST 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: DUP1 00000153: DUP3 00000154: ISZERO 00000155: ISZERO 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP2 0000015c: POP 0000015d: POP 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: SWAP2 00000163: SUB 00000164: SWAP1 00000165: RETURN 00000166: JUMPDEST 00000167: PUSH2 0x0173 0000016a: PUSH1 0x04 0000016c: DUP1 0000016d: POP 0000016e: POP 0000016f: PUSH2 0x05e9 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: DUP3 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x20 0000017d: ADD 0000017e: SWAP2 0000017f: POP 00000180: POP 00000181: PUSH1 0x40 00000183: MLOAD 00000184: DUP1 00000185: SWAP2 00000186: SUB 00000187: SWAP1 00000188: RETURN 00000189: JUMPDEST 0000018a: PUSH2 0x0196 0000018d: PUSH1 0x04 0000018f: DUP1 00000190: POP 00000191: POP 00000192: PUSH2 0x05f2 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: DUP3 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: SWAP2 000001a2: POP 000001a3: POP 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: DUP1 000001a8: SWAP2 000001a9: SUB 000001aa: SWAP1 000001ab: RETURN 000001ac: JUMPDEST 000001ad: PUSH2 0x01b9 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: POP 000001b4: POP 000001b5: PUSH2 0x05fc 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: DUP1 000001be: DUP3 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: SWAP2 000001c5: POP 000001c6: POP 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: PUSH2 0x01dc 000001d3: PUSH1 0x04 000001d5: DUP1 000001d6: POP 000001d7: POP 000001d8: PUSH2 0x0606 000001db: JUMP 000001dc: JUMPDEST 000001dd: STOP 000001de: JUMPDEST 000001df: PUSH2 0x01eb 000001e2: PUSH1 0x04 000001e4: DUP1 000001e5: POP 000001e6: POP 000001e7: PUSH2 0x064b 000001ea: JUMP 000001eb: JUMPDEST 000001ec: PUSH1 0x40 000001ee: MLOAD 000001ef: DUP1 000001f0: DUP3 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: SWAP2 000001f7: POP 000001f8: POP 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: DUP1 000001fd: SWAP2 000001fe: SUB 000001ff: SWAP1 00000200: RETURN 00000201: JUMPDEST 00000202: PUSH2 0x0217 00000205: PUSH1 0x04 00000207: DUP1 00000208: DUP1 00000209: CALLDATALOAD 0000020a: SWAP1 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: SWAP1 0000020f: SWAP2 00000210: SWAP1 00000211: POP 00000212: POP 00000213: PUSH2 0x0655 00000216: JUMP 00000217: JUMPDEST 00000218: STOP 00000219: JUMPDEST 0000021a: PUSH2 0x0226 0000021d: PUSH1 0x04 0000021f: DUP1 00000220: POP 00000221: POP 00000222: PUSH2 0x07ab 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH1 0x40 00000229: MLOAD 0000022a: DUP1 0000022b: DUP3 0000022c: DUP2 0000022d: MSTORE 0000022e: PUSH1 0x20 00000230: ADD 00000231: SWAP2 00000232: POP 00000233: POP 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: SWAP2 00000239: SUB 0000023a: SWAP1 0000023b: RETURN 0000023c: JUMPDEST 0000023d: PUSH2 0x0252 00000240: PUSH1 0x04 00000242: DUP1 00000243: DUP1 00000244: CALLDATALOAD 00000245: SWAP1 00000246: PUSH1 0x20 00000248: ADD 00000249: SWAP1 0000024a: SWAP2 0000024b: SWAP1 0000024c: POP 0000024d: POP 0000024e: PUSH2 0x07b4 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH1 0x40 00000255: MLOAD 00000256: DUP1 00000257: DUP3 00000258: ISZERO 00000259: ISZERO 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: SWAP2 00000260: POP 00000261: POP 00000262: PUSH1 0x40 00000264: MLOAD 00000265: DUP1 00000266: SWAP2 00000267: SUB 00000268: SWAP1 00000269: RETURN 0000026a: JUMPDEST 0000026b: PUSH2 0x0280 0000026e: PUSH1 0x04 00000270: DUP1 00000271: DUP1 00000272: CALLDATALOAD 00000273: SWAP1 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP1 00000278: SWAP2 00000279: SWAP1 0000027a: POP 0000027b: POP 0000027c: PUSH2 0x0ba5 0000027f: JUMP 00000280: JUMPDEST 00000281: STOP 00000282: JUMPDEST 00000283: PUSH2 0x02b5 00000286: PUSH1 0x04 00000288: DUP1 00000289: DUP1 0000028a: CALLDATALOAD 0000028b: SWAP1 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: SWAP1 00000290: SWAP2 00000291: SWAP1 00000292: DUP1 00000293: CALLDATALOAD 00000294: SWAP1 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP1 00000299: SWAP2 0000029a: SWAP1 0000029b: DUP1 0000029c: CALLDATALOAD 0000029d: SWAP1 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: SWAP1 000002a2: DUP3 000002a3: ADD 000002a4: DUP1 000002a5: CALLDATALOAD 000002a6: SWAP1 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP2 000002ab: SWAP1 000002ac: SWAP2 000002ad: SWAP3 000002ae: SWAP1 000002af: POP 000002b0: POP 000002b1: PUSH2 0x0bea 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH1 0x40 000002b8: MLOAD 000002b9: DUP1 000002ba: DUP3 000002bb: PUSH1 0x00 000002bd: NOT 000002be: AND 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x20 000002c3: ADD 000002c4: SWAP2 000002c5: POP 000002c6: POP 000002c7: PUSH1 0x40 000002c9: MLOAD 000002ca: DUP1 000002cb: SWAP2 000002cc: SUB 000002cd: SWAP1 000002ce: RETURN 000002cf: JUMPDEST 000002d0: PUSH2 0x02e5 000002d3: PUSH1 0x04 000002d5: DUP1 000002d6: DUP1 000002d7: CALLDATALOAD 000002d8: SWAP1 000002d9: PUSH1 0x20 000002db: ADD 000002dc: SWAP1 000002dd: SWAP2 000002de: SWAP1 000002df: POP 000002e0: POP 000002e1: PUSH2 0x0f6e 000002e4: JUMP 000002e5: JUMPDEST 000002e6: STOP 000002e7: JUMPDEST 000002e8: PUSH2 0x02fd 000002eb: PUSH1 0x04 000002ed: DUP1 000002ee: DUP1 000002ef: CALLDATALOAD 000002f0: SWAP1 000002f1: PUSH1 0x20 000002f3: ADD 000002f4: SWAP1 000002f5: SWAP2 000002f6: SWAP1 000002f7: POP 000002f8: POP 000002f9: PUSH2 0x1078 000002fc: JUMP 000002fd: JUMPDEST 000002fe: STOP 000002ff: JUMPDEST 00000300: PUSH2 0x031e 00000303: PUSH1 0x04 00000305: DUP1 00000306: DUP1 00000307: CALLDATALOAD 00000308: SWAP1 00000309: PUSH1 0x20 0000030b: ADD 0000030c: SWAP1 0000030d: SWAP2 0000030e: SWAP1 0000030f: DUP1 00000310: CALLDATALOAD 00000311: SWAP1 00000312: PUSH1 0x20 00000314: ADD 00000315: SWAP1 00000316: SWAP2 00000317: SWAP1 00000318: POP 00000319: POP 0000031a: PUSH2 0x110e 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: DUP1 00000323: DUP3 00000324: ISZERO 00000325: ISZERO 00000326: DUP2 00000327: MSTORE 00000328: PUSH1 0x20 0000032a: ADD 0000032b: SWAP2 0000032c: POP 0000032d: POP 0000032e: PUSH1 0x40 00000330: MLOAD 00000331: DUP1 00000332: SWAP2 00000333: SUB 00000334: SWAP1 00000335: RETURN 00000336: JUMPDEST 00000337: PUSH2 0x034c 0000033a: PUSH1 0x04 0000033c: DUP1 0000033d: DUP1 0000033e: CALLDATALOAD 0000033f: SWAP1 00000340: PUSH1 0x20 00000342: ADD 00000343: SWAP1 00000344: SWAP2 00000345: SWAP1 00000346: POP 00000347: POP 00000348: PUSH2 0x11b3 0000034b: JUMP 0000034c: JUMPDEST 0000034d: STOP 0000034e: JUMPDEST 0000034f: PUSH2 0x036d 00000352: PUSH1 0x04 00000354: DUP1 00000355: DUP1 00000356: CALLDATALOAD 00000357: SWAP1 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP1 0000035c: SWAP2 0000035d: SWAP1 0000035e: DUP1 0000035f: CALLDATALOAD 00000360: SWAP1 00000361: PUSH1 0x20 00000363: ADD 00000364: SWAP1 00000365: SWAP2 00000366: SWAP1 00000367: POP 00000368: POP 00000369: PUSH2 0x03b3 0000036c: JUMP 0000036d: JUMPDEST 0000036e: STOP 0000036f: JUMPDEST 00000370: PUSH2 0x038e 00000373: PUSH1 0x04 00000375: DUP1 00000376: DUP1 00000377: CALLDATALOAD 00000378: SWAP1 00000379: PUSH1 0x20 0000037b: ADD 0000037c: SWAP1 0000037d: SWAP2 0000037e: SWAP1 0000037f: DUP1 00000380: CALLDATALOAD 00000381: SWAP1 00000382: PUSH1 0x20 00000384: ADD 00000385: SWAP1 00000386: SWAP2 00000387: SWAP1 00000388: POP 00000389: POP 0000038a: PUSH2 0x1205 0000038d: JUMP 0000038e: JUMPDEST 0000038f: STOP 00000390: JUMPDEST 00000391: PUSH2 0x039d 00000394: PUSH1 0x04 00000396: DUP1 00000397: POP 00000398: POP 00000399: PUSH2 0x13a9 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x40 000003a0: MLOAD 000003a1: DUP1 000003a2: DUP3 000003a3: DUP2 000003a4: MSTORE 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: SWAP2 000003a9: POP 000003aa: POP 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: DUP1 000003af: SWAP2 000003b0: SUB 000003b1: SWAP1 000003b2: RETURN 000003b3: JUMPDEST 000003b4: DUP2 000003b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ca: AND 000003cb: PUSH1 0x02 000003cd: PUSH1 0x00 000003cf: POP 000003d0: PUSH1 0x01 000003d2: PUSH2 0x0100 000003d5: DUP2 000003d6: LT 000003d7: ISZERO 000003d8: PUSH2 0x0002 000003db: JUMPI 000003dc: SWAP1 000003dd: SWAP1 000003de: ADD 000003df: PUSH1 0x00 000003e1: JUMPDEST 000003e2: POP 000003e3: SLOAD 000003e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f9: AND 000003fa: EQ 000003fb: ISZERO 000003fc: ISZERO 000003fd: PUSH2 0x0457 00000400: JUMPI 00000401: PUSH1 0x02 00000403: PUSH1 0x00 00000405: POP 00000406: PUSH1 0x01 00000408: PUSH2 0x0100 0000040b: DUP2 0000040c: LT 0000040d: ISZERO 0000040e: PUSH2 0x0002 00000411: JUMPI 00000412: SWAP1 00000413: SWAP1 00000414: ADD 00000415: PUSH1 0x00 00000417: JUMPDEST 00000418: POP 00000419: SLOAD 0000041a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042f: AND 00000430: PUSH1 0x40 00000432: MLOAD 00000433: DUP1 00000434: SWAP1 00000435: POP 00000436: PUSH1 0x20 00000438: PUSH1 0x40 0000043a: MLOAD 0000043b: DUP1 0000043c: DUP4 0000043d: SUB 0000043e: DUP2 0000043f: DUP6 00000440: PUSH1 0x32 00000442: GAS 00000443: SUB 00000444: DELEGATECALL 00000445: ISZERO 00000446: PUSH2 0x0002 00000449: JUMPI 0000044a: POP 0000044b: POP 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: DUP1 00000450: MLOAD 00000451: SWAP1 00000452: PUSH1 0x20 00000454: ADD 00000455: POP 00000456: POP 00000457: JUMPDEST 00000458: JUMPDEST 00000459: POP 0000045a: POP 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH1 0x00 0000045f: PUSH1 0x00 00000461: CALLDATASIZE 00000462: NUMBER 00000463: PUSH1 0x40 00000465: MLOAD 00000466: DUP1 00000467: DUP5 00000468: DUP5 00000469: DUP1 0000046a: DUP3 0000046b: DUP5 0000046c: CALLDATACOPY 0000046d: DUP3 0000046e: ADD 0000046f: SWAP2 00000470: POP 00000471: POP 00000472: DUP3 00000473: DUP2 00000474: MSTORE 00000475: PUSH1 0x20 00000477: ADD 00000478: SWAP4 00000479: POP 0000047a: POP 0000047b: POP 0000047c: POP 0000047d: PUSH1 0x40 0000047f: MLOAD 00000480: DUP1 00000481: SWAP2 00000482: SUB 00000483: SWAP1 00000484: KECCAK256 00000485: PUSH2 0x048d 00000488: DUP2 00000489: PUSH2 0x13b3 0000048c: JUMP 0000048d: JUMPDEST 0000048e: ISZERO 0000048f: PUSH2 0x05a1 00000492: JUMPI 00000493: PUSH2 0x0102 00000496: PUSH1 0x00 00000498: POP 00000499: PUSH1 0x00 0000049b: DUP5 0000049c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b1: AND 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x20 000004b6: ADD 000004b7: SWAP1 000004b8: DUP2 000004b9: MSTORE 000004ba: PUSH1 0x20 000004bc: ADD 000004bd: PUSH1 0x00 000004bf: KECCAK256 000004c0: PUSH1 0x00 000004c2: POP 000004c3: SLOAD 000004c4: SWAP2 000004c5: POP 000004c6: PUSH1 0x00 000004c8: DUP3 000004c9: EQ 000004ca: ISZERO 000004cb: PUSH2 0x04d4 000004ce: JUMPI 000004cf: POP 000004d0: PUSH2 0x05a3 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x01 000004d7: PUSH1 0x01 000004d9: PUSH1 0x00 000004db: POP 000004dc: SLOAD 000004dd: SUB 000004de: PUSH1 0x00 000004e0: PUSH1 0x00 000004e2: POP 000004e3: SLOAD 000004e4: GT 000004e5: ISZERO 000004e6: PUSH2 0x04ef 000004e9: JUMPI 000004ea: POP 000004eb: PUSH2 0x05a3 000004ee: JUMP 000004ef: JUMPDEST 000004f0: PUSH1 0x00 000004f2: PUSH1 0x02 000004f4: PUSH1 0x00 000004f6: POP 000004f7: DUP4 000004f8: PUSH2 0x0100 000004fb: DUP2 000004fc: LT 000004fd: ISZERO 000004fe: PUSH2 0x0002 00000501: JUMPI 00000502: SWAP1 00000503: SWAP1 00000504: ADD 00000505: PUSH1 0x00 00000507: JUMPDEST 00000508: POP 00000509: DUP2 0000050a: SWAP1 0000050b: SSTORE 0000050c: POP 0000050d: PUSH1 0x00 0000050f: PUSH2 0x0102 00000512: PUSH1 0x00 00000514: POP 00000515: PUSH1 0x00 00000517: DUP6 00000518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052d: AND 0000052e: DUP2 0000052f: MSTORE 00000530: PUSH1 0x20 00000532: ADD 00000533: SWAP1 00000534: DUP2 00000535: MSTORE 00000536: PUSH1 0x20 00000538: ADD 00000539: PUSH1 0x00 0000053b: KECCAK256 0000053c: PUSH1 0x00 0000053e: POP 0000053f: DUP2 00000540: SWAP1 00000541: SSTORE 00000542: POP 00000543: PUSH2 0x054a 00000546: PUSH2 0x1625 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x0552 0000054e: PUSH2 0x1737 00000551: JUMP 00000552: JUMPDEST 00000553: POP 00000554: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 00000575: DUP4 00000576: PUSH1 0x40 00000578: MLOAD 00000579: DUP1 0000057a: DUP3 0000057b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000590: AND 00000591: DUP2 00000592: MSTORE 00000593: PUSH1 0x20 00000595: ADD 00000596: SWAP2 00000597: POP 00000598: POP 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: DUP1 0000059d: SWAP2 0000059e: SUB 0000059f: SWAP1 000005a0: LOG1 000005a1: JUMPDEST 000005a2: POP 000005a3: JUMPDEST 000005a4: POP 000005a5: POP 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x00 000005aa: PUSH1 0x00 000005ac: PUSH2 0x0102 000005af: PUSH1 0x00 000005b1: POP 000005b2: PUSH1 0x00 000005b4: DUP5 000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ca: AND 000005cb: DUP2 000005cc: MSTORE 000005cd: PUSH1 0x20 000005cf: ADD 000005d0: SWAP1 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: PUSH1 0x00 000005d8: KECCAK256 000005d9: PUSH1 0x00 000005db: POP 000005dc: SLOAD 000005dd: GT 000005de: SWAP1 000005df: POP 000005e0: PUSH2 0x05e4 000005e3: JUMP 000005e4: JUMPDEST 000005e5: SWAP2 000005e6: SWAP1 000005e7: POP 000005e8: JUMP 000005e9: JUMPDEST 000005ea: PUSH1 0x01 000005ec: PUSH1 0x00 000005ee: POP 000005ef: SLOAD 000005f0: DUP2 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH2 0x0107 000005f6: PUSH1 0x00 000005f8: POP 000005f9: SLOAD 000005fa: DUP2 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH2 0x0108 00000600: PUSH1 0x00 00000602: POP 00000603: SLOAD 00000604: DUP2 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH1 0x00 00000609: CALLDATASIZE 0000060a: NUMBER 0000060b: PUSH1 0x40 0000060d: MLOAD 0000060e: DUP1 0000060f: DUP5 00000610: DUP5 00000611: DUP1 00000612: DUP3 00000613: DUP5 00000614: CALLDATACOPY 00000615: DUP3 00000616: ADD 00000617: SWAP2 00000618: POP 00000619: POP 0000061a: DUP3 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x20 0000061f: ADD 00000620: SWAP4 00000621: POP 00000622: POP 00000623: POP 00000624: POP 00000625: PUSH1 0x40 00000627: MLOAD 00000628: DUP1 00000629: SWAP2 0000062a: SUB 0000062b: SWAP1 0000062c: KECCAK256 0000062d: PUSH2 0x0635 00000630: DUP2 00000631: PUSH2 0x13b3 00000634: JUMP 00000635: JUMPDEST 00000636: ISZERO 00000637: PUSH2 0x0647 0000063a: JUMPI 0000063b: PUSH1 0x00 0000063d: PUSH2 0x0106 00000640: PUSH1 0x00 00000642: POP 00000643: DUP2 00000644: SWAP1 00000645: SSTORE 00000646: POP 00000647: JUMPDEST 00000648: POP 00000649: JUMPDEST 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH2 0x0106 0000064f: PUSH1 0x00 00000651: POP 00000652: SLOAD 00000653: DUP2 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x00 00000658: CALLDATASIZE 00000659: NUMBER 0000065a: PUSH1 0x40 0000065c: MLOAD 0000065d: DUP1 0000065e: DUP5 0000065f: DUP5 00000660: DUP1 00000661: DUP3 00000662: DUP5 00000663: CALLDATACOPY 00000664: DUP3 00000665: ADD 00000666: SWAP2 00000667: POP 00000668: POP 00000669: DUP3 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: SWAP4 00000670: POP 00000671: POP 00000672: POP 00000673: POP 00000674: PUSH1 0x40 00000676: MLOAD 00000677: DUP1 00000678: SWAP2 00000679: SUB 0000067a: SWAP1 0000067b: KECCAK256 0000067c: PUSH2 0x0684 0000067f: DUP2 00000680: PUSH2 0x13b3 00000683: JUMP 00000684: JUMPDEST 00000685: ISZERO 00000686: PUSH2 0x07a6 00000689: JUMPI 0000068a: PUSH2 0x0692 0000068d: DUP3 0000068e: PUSH2 0x05a7 00000691: JUMP 00000692: JUMPDEST 00000693: ISZERO 00000694: PUSH2 0x069d 00000697: JUMPI 00000698: POP 00000699: PUSH2 0x07a8 0000069c: JUMP 0000069d: JUMPDEST 0000069e: PUSH2 0x06a5 000006a1: PUSH2 0x1625 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0xfa 000006a8: PUSH1 0x01 000006aa: PUSH1 0x00 000006ac: POP 000006ad: SLOAD 000006ae: LT 000006af: ISZERO 000006b0: ISZERO 000006b1: PUSH2 0x06be 000006b4: JUMPI 000006b5: PUSH2 0x06bc 000006b8: PUSH2 0x1737 000006bb: JUMP 000006bc: JUMPDEST 000006bd: POP 000006be: JUMPDEST 000006bf: PUSH1 0xfa 000006c1: PUSH1 0x01 000006c3: PUSH1 0x00 000006c5: POP 000006c6: SLOAD 000006c7: LT 000006c8: ISZERO 000006c9: ISZERO 000006ca: PUSH2 0x06d3 000006cd: JUMPI 000006ce: POP 000006cf: PUSH2 0x07a8 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x01 000006d6: PUSH1 0x00 000006d8: DUP2 000006d9: DUP2 000006da: POP 000006db: SLOAD 000006dc: DUP1 000006dd: SWAP3 000006de: SWAP2 000006df: SWAP1 000006e0: PUSH1 0x01 000006e2: ADD 000006e3: SWAP2 000006e4: SWAP1 000006e5: POP 000006e6: SSTORE 000006e7: POP 000006e8: DUP2 000006e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fe: AND 000006ff: PUSH1 0x02 00000701: PUSH1 0x00 00000703: POP 00000704: PUSH1 0x01 00000706: PUSH1 0x00 00000708: POP 00000709: SLOAD 0000070a: PUSH2 0x0100 0000070d: DUP2 0000070e: LT 0000070f: ISZERO 00000710: PUSH2 0x0002 00000713: JUMPI 00000714: SWAP1 00000715: SWAP1 00000716: ADD 00000717: PUSH1 0x00 00000719: JUMPDEST 0000071a: POP 0000071b: DUP2 0000071c: SWAP1 0000071d: SSTORE 0000071e: POP 0000071f: PUSH1 0x01 00000721: PUSH1 0x00 00000723: POP 00000724: SLOAD 00000725: PUSH2 0x0102 00000728: PUSH1 0x00 0000072a: POP 0000072b: PUSH1 0x00 0000072d: DUP5 0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000743: AND 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x20 00000748: ADD 00000749: SWAP1 0000074a: DUP2 0000074b: MSTORE 0000074c: PUSH1 0x20 0000074e: ADD 0000074f: PUSH1 0x00 00000751: KECCAK256 00000752: PUSH1 0x00 00000754: POP 00000755: DUP2 00000756: SWAP1 00000757: SSTORE 00000758: POP 00000759: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 0000077a: DUP3 0000077b: PUSH1 0x40 0000077d: MLOAD 0000077e: DUP1 0000077f: DUP3 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x20 0000079a: ADD 0000079b: SWAP2 0000079c: POP 0000079d: POP 0000079e: PUSH1 0x40 000007a0: MLOAD 000007a1: DUP1 000007a2: SWAP2 000007a3: SUB 000007a4: SWAP1 000007a5: LOG1 000007a6: JUMPDEST 000007a7: POP 000007a8: JUMPDEST 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x00 000007ae: PUSH1 0x00 000007b0: POP 000007b1: SLOAD 000007b2: DUP2 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH1 0x00 000007b7: DUP2 000007b8: PUSH2 0x07c0 000007bb: DUP2 000007bc: PUSH2 0x13b3 000007bf: JUMP 000007c0: JUMPDEST 000007c1: ISZERO 000007c2: PUSH2 0x0b9e 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: PUSH2 0x0109 000007cb: PUSH1 0x00 000007cd: POP 000007ce: PUSH1 0x00 000007d0: DUP6 000007d1: PUSH1 0x00 000007d3: NOT 000007d4: AND 000007d5: DUP2 000007d6: MSTORE 000007d7: PUSH1 0x20 000007d9: ADD 000007da: SWAP1 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x20 000007df: ADD 000007e0: PUSH1 0x00 000007e2: KECCAK256 000007e3: PUSH1 0x00 000007e5: POP 000007e6: PUSH1 0x00 000007e8: ADD 000007e9: PUSH1 0x00 000007eb: SWAP1 000007ec: SLOAD 000007ed: SWAP1 000007ee: PUSH2 0x0100 000007f1: EXP 000007f2: SWAP1 000007f3: DIV 000007f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000809: AND 0000080a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081f: AND 00000820: EQ 00000821: ISZERO 00000822: ISZERO 00000823: PUSH2 0x0b9d 00000826: JUMPI 00000827: PUSH2 0x0109 0000082a: PUSH1 0x00 0000082c: POP 0000082d: PUSH1 0x00 0000082f: DUP5 00000830: PUSH1 0x00 00000832: NOT 00000833: AND 00000834: DUP2 00000835: MSTORE 00000836: PUSH1 0x20 00000838: ADD 00000839: SWAP1 0000083a: DUP2 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: ADD 0000083f: PUSH1 0x00 00000841: KECCAK256 00000842: PUSH1 0x00 00000844: POP 00000845: PUSH1 0x00 00000847: ADD 00000848: PUSH1 0x00 0000084a: SWAP1 0000084b: SLOAD 0000084c: SWAP1 0000084d: PUSH2 0x0100 00000850: EXP 00000851: SWAP1 00000852: DIV 00000853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000868: AND 00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087e: AND 0000087f: PUSH2 0x0109 00000882: PUSH1 0x00 00000884: POP 00000885: PUSH1 0x00 00000887: DUP6 00000888: PUSH1 0x00 0000088a: NOT 0000088b: AND 0000088c: DUP2 0000088d: MSTORE 0000088e: PUSH1 0x20 00000890: ADD 00000891: SWAP1 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: PUSH1 0x00 00000899: KECCAK256 0000089a: PUSH1 0x00 0000089c: POP 0000089d: PUSH1 0x01 0000089f: ADD 000008a0: PUSH1 0x00 000008a2: POP 000008a3: SLOAD 000008a4: PUSH2 0x0109 000008a7: PUSH1 0x00 000008a9: POP 000008aa: PUSH1 0x00 000008ac: DUP7 000008ad: PUSH1 0x00 000008af: NOT 000008b0: AND 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x20 000008b5: ADD 000008b6: SWAP1 000008b7: DUP2 000008b8: MSTORE 000008b9: PUSH1 0x20 000008bb: ADD 000008bc: PUSH1 0x00 000008be: KECCAK256 000008bf: PUSH1 0x00 000008c1: POP 000008c2: PUSH1 0x02 000008c4: ADD 000008c5: PUSH1 0x00 000008c7: POP 000008c8: PUSH1 0x40 000008ca: MLOAD 000008cb: DUP1 000008cc: DUP3 000008cd: DUP1 000008ce: SLOAD 000008cf: PUSH1 0x01 000008d1: DUP2 000008d2: PUSH1 0x01 000008d4: AND 000008d5: ISZERO 000008d6: PUSH2 0x0100 000008d9: MUL 000008da: SUB 000008db: AND 000008dc: PUSH1 0x02 000008de: SWAP1 000008df: DIV 000008e0: DUP1 000008e1: ISZERO 000008e2: PUSH2 0x092c 000008e5: JUMPI 000008e6: DUP1 000008e7: PUSH1 0x1f 000008e9: LT 000008ea: PUSH2 0x0901 000008ed: JUMPI 000008ee: PUSH2 0x0100 000008f1: DUP1 000008f2: DUP4 000008f3: SLOAD 000008f4: DIV 000008f5: MUL 000008f6: DUP4 000008f7: MSTORE 000008f8: SWAP2 000008f9: PUSH1 0x20 000008fb: ADD 000008fc: SWAP2 000008fd: PUSH2 0x092c 00000900: JUMP 00000901: JUMPDEST 00000902: DUP3 00000903: ADD 00000904: SWAP2 00000905: SWAP1 00000906: PUSH1 0x00 00000908: MSTORE 00000909: PUSH1 0x20 0000090b: PUSH1 0x00 0000090d: KECCAK256 0000090e: SWAP1 0000090f: JUMPDEST 00000910: DUP2 00000911: SLOAD 00000912: DUP2 00000913: MSTORE 00000914: SWAP1 00000915: PUSH1 0x01 00000917: ADD 00000918: SWAP1 00000919: PUSH1 0x20 0000091b: ADD 0000091c: DUP1 0000091d: DUP4 0000091e: GT 0000091f: PUSH2 0x090f 00000922: JUMPI 00000923: DUP3 00000924: SWAP1 00000925: SUB 00000926: PUSH1 0x1f 00000928: AND 00000929: DUP3 0000092a: ADD 0000092b: SWAP2 0000092c: JUMPDEST 0000092d: POP 0000092e: POP 0000092f: SWAP2 00000930: POP 00000931: POP 00000932: PUSH1 0x00 00000934: PUSH1 0x40 00000936: MLOAD 00000937: DUP1 00000938: DUP4 00000939: SUB 0000093a: DUP2 0000093b: DUP6 0000093c: DUP8 0000093d: PUSH2 0x8502 00000940: GAS 00000941: SUB 00000942: CALL 00000943: SWAP3 00000944: POP 00000945: POP 00000946: POP 00000947: POP 00000948: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 00000969: CALLER 0000096a: DUP5 0000096b: PUSH2 0x0109 0000096e: PUSH1 0x00 00000970: POP 00000971: PUSH1 0x00 00000973: DUP8 00000974: PUSH1 0x00 00000976: NOT 00000977: AND 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: SWAP1 0000097e: DUP2 0000097f: MSTORE 00000980: PUSH1 0x20 00000982: ADD 00000983: PUSH1 0x00 00000985: KECCAK256 00000986: PUSH1 0x00 00000988: POP 00000989: PUSH1 0x01 0000098b: ADD 0000098c: PUSH1 0x00 0000098e: POP 0000098f: SLOAD 00000990: PUSH2 0x0109 00000993: PUSH1 0x00 00000995: POP 00000996: PUSH1 0x00 00000998: DUP9 00000999: PUSH1 0x00 0000099b: NOT 0000099c: AND 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x20 000009a1: ADD 000009a2: SWAP1 000009a3: DUP2 000009a4: MSTORE 000009a5: PUSH1 0x20 000009a7: ADD 000009a8: PUSH1 0x00 000009aa: KECCAK256 000009ab: PUSH1 0x00 000009ad: POP 000009ae: PUSH1 0x00 000009b0: ADD 000009b1: PUSH1 0x00 000009b3: SWAP1 000009b4: SLOAD 000009b5: SWAP1 000009b6: PUSH2 0x0100 000009b9: EXP 000009ba: SWAP1 000009bb: DIV 000009bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d1: AND 000009d2: PUSH2 0x0109 000009d5: PUSH1 0x00 000009d7: POP 000009d8: PUSH1 0x00 000009da: DUP10 000009db: PUSH1 0x00 000009dd: NOT 000009de: AND 000009df: DUP2 000009e0: MSTORE 000009e1: PUSH1 0x20 000009e3: ADD 000009e4: SWAP1 000009e5: DUP2 000009e6: MSTORE 000009e7: PUSH1 0x20 000009e9: ADD 000009ea: PUSH1 0x00 000009ec: KECCAK256 000009ed: PUSH1 0x00 000009ef: POP 000009f0: PUSH1 0x02 000009f2: ADD 000009f3: PUSH1 0x00 000009f5: POP 000009f6: PUSH1 0x40 000009f8: MLOAD 000009f9: DUP1 000009fa: DUP7 000009fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a10: AND 00000a11: DUP2 00000a12: MSTORE 00000a13: PUSH1 0x20 00000a15: ADD 00000a16: DUP6 00000a17: PUSH1 0x00 00000a19: NOT 00000a1a: AND 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x20 00000a1f: ADD 00000a20: DUP5 00000a21: DUP2 00000a22: MSTORE 00000a23: PUSH1 0x20 00000a25: ADD 00000a26: DUP4 00000a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3c: AND 00000a3d: DUP2 00000a3e: MSTORE 00000a3f: PUSH1 0x20 00000a41: ADD 00000a42: DUP1 00000a43: PUSH1 0x20 00000a45: ADD 00000a46: DUP3 00000a47: DUP2 00000a48: SUB 00000a49: DUP3 00000a4a: MSTORE 00000a4b: DUP4 00000a4c: DUP2 00000a4d: DUP2 00000a4e: SLOAD 00000a4f: PUSH1 0x01 00000a51: DUP2 00000a52: PUSH1 0x01 00000a54: AND 00000a55: ISZERO 00000a56: PUSH2 0x0100 00000a59: MUL 00000a5a: SUB 00000a5b: AND 00000a5c: PUSH1 0x02 00000a5e: SWAP1 00000a5f: DIV 00000a60: DUP2 00000a61: MSTORE 00000a62: PUSH1 0x20 00000a64: ADD 00000a65: SWAP2 00000a66: POP 00000a67: DUP1 00000a68: SLOAD 00000a69: PUSH1 0x01 00000a6b: DUP2 00000a6c: PUSH1 0x01 00000a6e: AND 00000a6f: ISZERO 00000a70: PUSH2 0x0100 00000a73: MUL 00000a74: SUB 00000a75: AND 00000a76: PUSH1 0x02 00000a78: SWAP1 00000a79: DIV 00000a7a: DUP1 00000a7b: ISZERO 00000a7c: PUSH2 0x0ac6 00000a7f: JUMPI 00000a80: DUP1 00000a81: PUSH1 0x1f 00000a83: LT 00000a84: PUSH2 0x0a9b 00000a87: JUMPI 00000a88: PUSH2 0x0100 00000a8b: DUP1 00000a8c: DUP4 00000a8d: SLOAD 00000a8e: DIV 00000a8f: MUL 00000a90: DUP4 00000a91: MSTORE 00000a92: SWAP2 00000a93: PUSH1 0x20 00000a95: ADD 00000a96: SWAP2 00000a97: PUSH2 0x0ac6 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: DUP3 00000a9d: ADD 00000a9e: SWAP2 00000a9f: SWAP1 00000aa0: PUSH1 0x00 00000aa2: MSTORE 00000aa3: PUSH1 0x20 00000aa5: PUSH1 0x00 00000aa7: KECCAK256 00000aa8: SWAP1 00000aa9: JUMPDEST 00000aaa: DUP2 00000aab: SLOAD 00000aac: DUP2 00000aad: MSTORE 00000aae: SWAP1 00000aaf: PUSH1 0x01 00000ab1: ADD 00000ab2: SWAP1 00000ab3: PUSH1 0x20 00000ab5: ADD 00000ab6: DUP1 00000ab7: DUP4 00000ab8: GT 00000ab9: PUSH2 0x0aa9 00000abc: JUMPI 00000abd: DUP3 00000abe: SWAP1 00000abf: SUB 00000ac0: PUSH1 0x1f 00000ac2: AND 00000ac3: DUP3 00000ac4: ADD 00000ac5: SWAP2 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: POP 00000ac9: SWAP7 00000aca: POP 00000acb: POP 00000acc: POP 00000acd: POP 00000ace: POP 00000acf: POP 00000ad0: POP 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: DUP1 00000ad5: SWAP2 00000ad6: SUB 00000ad7: SWAP1 00000ad8: LOG1 00000ad9: PUSH2 0x0109 00000adc: PUSH1 0x00 00000ade: POP 00000adf: PUSH1 0x00 00000ae1: DUP5 00000ae2: PUSH1 0x00 00000ae4: NOT 00000ae5: AND 00000ae6: DUP2 00000ae7: MSTORE 00000ae8: PUSH1 0x20 00000aea: ADD 00000aeb: SWAP1 00000aec: DUP2 00000aed: MSTORE 00000aee: PUSH1 0x20 00000af0: ADD 00000af1: PUSH1 0x00 00000af3: KECCAK256 00000af4: PUSH1 0x00 00000af6: PUSH1 0x00 00000af8: DUP3 00000af9: ADD 00000afa: PUSH1 0x00 00000afc: PUSH2 0x0100 00000aff: EXP 00000b00: DUP2 00000b01: SLOAD 00000b02: SWAP1 00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b18: MUL 00000b19: NOT 00000b1a: AND 00000b1b: SWAP1 00000b1c: SSTORE 00000b1d: PUSH1 0x01 00000b1f: DUP3 00000b20: ADD 00000b21: PUSH1 0x00 00000b23: POP 00000b24: PUSH1 0x00 00000b26: SWAP1 00000b27: SSTORE 00000b28: PUSH1 0x02 00000b2a: DUP3 00000b2b: ADD 00000b2c: PUSH1 0x00 00000b2e: POP 00000b2f: DUP1 00000b30: SLOAD 00000b31: PUSH1 0x01 00000b33: DUP2 00000b34: PUSH1 0x01 00000b36: AND 00000b37: ISZERO 00000b38: PUSH2 0x0100 00000b3b: MUL 00000b3c: SUB 00000b3d: AND 00000b3e: PUSH1 0x02 00000b40: SWAP1 00000b41: DIV 00000b42: PUSH1 0x00 00000b44: DUP3 00000b45: SSTORE 00000b46: DUP1 00000b47: PUSH1 0x1f 00000b49: LT 00000b4a: PUSH2 0x0b53 00000b4d: JUMPI 00000b4e: POP 00000b4f: PUSH2 0x0b90 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x1f 00000b56: ADD 00000b57: PUSH1 0x20 00000b59: SWAP1 00000b5a: DIV 00000b5b: SWAP1 00000b5c: PUSH1 0x00 00000b5e: MSTORE 00000b5f: PUSH1 0x20 00000b61: PUSH1 0x00 00000b63: KECCAK256 00000b64: SWAP1 00000b65: DUP2 00000b66: ADD 00000b67: SWAP1 00000b68: PUSH2 0x0b8f 00000b6b: SWAP2 00000b6c: SWAP1 00000b6d: PUSH2 0x0b71 00000b70: JUMP 00000b71: JUMPDEST 00000b72: DUP1 00000b73: DUP3 00000b74: GT 00000b75: ISZERO 00000b76: PUSH2 0x0b8b 00000b79: JUMPI 00000b7a: PUSH1 0x00 00000b7c: DUP2 00000b7d: DUP2 00000b7e: POP 00000b7f: PUSH1 0x00 00000b81: SWAP1 00000b82: SSTORE 00000b83: POP 00000b84: PUSH1 0x01 00000b86: ADD 00000b87: PUSH2 0x0b71 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: POP 00000b8d: SWAP1 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: JUMPDEST 00000b91: POP 00000b92: POP 00000b93: POP 00000b94: PUSH1 0x01 00000b96: SWAP2 00000b97: POP 00000b98: POP 00000b99: PUSH2 0x0ba0 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: JUMPDEST 00000b9f: POP 00000ba0: JUMPDEST 00000ba1: SWAP2 00000ba2: SWAP1 00000ba3: POP 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH1 0x00 00000ba8: CALLDATASIZE 00000ba9: NUMBER 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: DUP1 00000bae: DUP5 00000baf: DUP5 00000bb0: DUP1 00000bb1: DUP3 00000bb2: DUP5 00000bb3: CALLDATACOPY 00000bb4: DUP3 00000bb5: ADD 00000bb6: SWAP2 00000bb7: POP 00000bb8: POP 00000bb9: DUP3 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: SWAP4 00000bc0: POP 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: PUSH1 0x40 00000bc6: MLOAD 00000bc7: DUP1 00000bc8: SWAP2 00000bc9: SUB 00000bca: SWAP1 00000bcb: KECCAK256 00000bcc: PUSH2 0x0bd4 00000bcf: DUP2 00000bd0: PUSH2 0x13b3 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: ISZERO 00000bd6: PUSH2 0x0be5 00000bd9: JUMPI 00000bda: DUP2 00000bdb: PUSH2 0x0105 00000bde: PUSH1 0x00 00000be0: POP 00000be1: DUP2 00000be2: SWAP1 00000be3: SSTORE 00000be4: POP 00000be5: JUMPDEST 00000be6: POP 00000be7: JUMPDEST 00000be8: POP 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH1 0x00 00000bed: PUSH2 0x0bf5 00000bf0: CALLER 00000bf1: PUSH2 0x05a7 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: ISZERO 00000bf7: PUSH2 0x0f65 00000bfa: JUMPI 00000bfb: PUSH2 0x0c03 00000bfe: DUP5 00000bff: PUSH2 0x18d1 00000c02: JUMP 00000c03: JUMPDEST 00000c04: ISZERO 00000c05: PUSH2 0x0cec 00000c08: JUMPI 00000c09: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 00000c2a: CALLER 00000c2b: DUP6 00000c2c: DUP8 00000c2d: DUP7 00000c2e: DUP7 00000c2f: PUSH1 0x40 00000c31: MLOAD 00000c32: DUP1 00000c33: DUP7 00000c34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c49: AND 00000c4a: DUP2 00000c4b: MSTORE 00000c4c: PUSH1 0x20 00000c4e: ADD 00000c4f: DUP6 00000c50: DUP2 00000c51: MSTORE 00000c52: PUSH1 0x20 00000c54: ADD 00000c55: DUP5 00000c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6b: AND 00000c6c: DUP2 00000c6d: MSTORE 00000c6e: PUSH1 0x20 00000c70: ADD 00000c71: DUP1 00000c72: PUSH1 0x20 00000c74: ADD 00000c75: DUP3 00000c76: DUP2 00000c77: SUB 00000c78: DUP3 00000c79: MSTORE 00000c7a: DUP5 00000c7b: DUP5 00000c7c: DUP3 00000c7d: DUP2 00000c7e: DUP2 00000c7f: MSTORE 00000c80: PUSH1 0x20 00000c82: ADD 00000c83: SWAP3 00000c84: POP 00000c85: DUP1 00000c86: DUP3 00000c87: DUP5 00000c88: CALLDATACOPY 00000c89: DUP3 00000c8a: ADD 00000c8b: SWAP2 00000c8c: POP 00000c8d: POP 00000c8e: SWAP7 00000c8f: POP 00000c90: POP 00000c91: POP 00000c92: POP 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: DUP1 00000c9a: SWAP2 00000c9b: SUB 00000c9c: SWAP1 00000c9d: LOG1 00000c9e: DUP5 00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb4: AND 00000cb5: DUP5 00000cb6: DUP5 00000cb7: DUP5 00000cb8: PUSH1 0x40 00000cba: MLOAD 00000cbb: DUP1 00000cbc: DUP4 00000cbd: DUP4 00000cbe: DUP1 00000cbf: DUP3 00000cc0: DUP5 00000cc1: CALLDATACOPY 00000cc2: DUP3 00000cc3: ADD 00000cc4: SWAP2 00000cc5: POP 00000cc6: POP 00000cc7: SWAP3 00000cc8: POP 00000cc9: POP 00000cca: POP 00000ccb: PUSH1 0x00 00000ccd: PUSH1 0x40 00000ccf: MLOAD 00000cd0: DUP1 00000cd1: DUP4 00000cd2: SUB 00000cd3: DUP2 00000cd4: DUP6 00000cd5: DUP8 00000cd6: PUSH2 0x8502 00000cd9: GAS 00000cda: SUB 00000cdb: CALL 00000cdc: SWAP3 00000cdd: POP 00000cde: POP 00000cdf: POP 00000ce0: POP 00000ce1: PUSH1 0x00 00000ce3: PUSH1 0x01 00000ce5: MUL 00000ce6: SWAP1 00000ce7: POP 00000ce8: PUSH2 0x0f66 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: PUSH1 0x00 00000cef: CALLDATASIZE 00000cf0: NUMBER 00000cf1: PUSH1 0x40 00000cf3: MLOAD 00000cf4: DUP1 00000cf5: DUP5 00000cf6: DUP5 00000cf7: DUP1 00000cf8: DUP3 00000cf9: DUP5 00000cfa: CALLDATACOPY 00000cfb: DUP3 00000cfc: ADD 00000cfd: SWAP2 00000cfe: POP 00000cff: POP 00000d00: DUP3 00000d01: DUP2 00000d02: MSTORE 00000d03: PUSH1 0x20 00000d05: ADD 00000d06: SWAP4 00000d07: POP 00000d08: POP 00000d09: POP 00000d0a: POP 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: DUP1 00000d0f: SWAP2 00000d10: SUB 00000d11: SWAP1 00000d12: KECCAK256 00000d13: SWAP1 00000d14: POP 00000d15: DUP1 00000d16: POP 00000d17: PUSH2 0x0d1f 00000d1a: DUP2 00000d1b: PUSH2 0x07b4 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: ISZERO 00000d21: DUP1 00000d22: ISZERO 00000d23: PUSH2 0x0d83 00000d26: JUMPI 00000d27: POP 00000d28: PUSH1 0x00 00000d2a: PUSH2 0x0109 00000d2d: PUSH1 0x00 00000d2f: POP 00000d30: PUSH1 0x00 00000d32: DUP4 00000d33: PUSH1 0x00 00000d35: NOT 00000d36: AND 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: SWAP1 00000d3d: DUP2 00000d3e: MSTORE 00000d3f: PUSH1 0x20 00000d41: ADD 00000d42: PUSH1 0x00 00000d44: KECCAK256 00000d45: PUSH1 0x00 00000d47: POP 00000d48: PUSH1 0x00 00000d4a: ADD 00000d4b: PUSH1 0x00 00000d4d: SWAP1 00000d4e: SLOAD 00000d4f: SWAP1 00000d50: PUSH2 0x0100 00000d53: EXP 00000d54: SWAP1 00000d55: DIV 00000d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6b: AND 00000d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d81: AND 00000d82: EQ 00000d83: JUMPDEST 00000d84: ISZERO 00000d85: PUSH2 0x0f64 00000d88: JUMPI 00000d89: DUP5 00000d8a: PUSH2 0x0109 00000d8d: PUSH1 0x00 00000d8f: POP 00000d90: PUSH1 0x00 00000d92: DUP4 00000d93: PUSH1 0x00 00000d95: NOT 00000d96: AND 00000d97: DUP2 00000d98: MSTORE 00000d99: PUSH1 0x20 00000d9b: ADD 00000d9c: SWAP1 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x20 00000da1: ADD 00000da2: PUSH1 0x00 00000da4: KECCAK256 00000da5: PUSH1 0x00 00000da7: POP 00000da8: PUSH1 0x00 00000daa: ADD 00000dab: PUSH1 0x00 00000dad: PUSH2 0x0100 00000db0: EXP 00000db1: DUP2 00000db2: SLOAD 00000db3: DUP2 00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc9: MUL 00000dca: NOT 00000dcb: AND 00000dcc: SWAP1 00000dcd: DUP4 00000dce: MUL 00000dcf: OR 00000dd0: SWAP1 00000dd1: SSTORE 00000dd2: POP 00000dd3: DUP4 00000dd4: PUSH2 0x0109 00000dd7: PUSH1 0x00 00000dd9: POP 00000dda: PUSH1 0x00 00000ddc: DUP4 00000ddd: PUSH1 0x00 00000ddf: NOT 00000de0: AND 00000de1: DUP2 00000de2: MSTORE 00000de3: PUSH1 0x20 00000de5: ADD 00000de6: SWAP1 00000de7: DUP2 00000de8: MSTORE 00000de9: PUSH1 0x20 00000deb: ADD 00000dec: PUSH1 0x00 00000dee: KECCAK256 00000def: PUSH1 0x00 00000df1: POP 00000df2: PUSH1 0x01 00000df4: ADD 00000df5: PUSH1 0x00 00000df7: POP 00000df8: DUP2 00000df9: SWAP1 00000dfa: SSTORE 00000dfb: POP 00000dfc: DUP3 00000dfd: DUP3 00000dfe: PUSH2 0x0109 00000e01: PUSH1 0x00 00000e03: POP 00000e04: PUSH1 0x00 00000e06: DUP5 00000e07: PUSH1 0x00 00000e09: NOT 00000e0a: AND 00000e0b: DUP2 00000e0c: MSTORE 00000e0d: PUSH1 0x20 00000e0f: ADD 00000e10: SWAP1 00000e11: DUP2 00000e12: MSTORE 00000e13: PUSH1 0x20 00000e15: ADD 00000e16: PUSH1 0x00 00000e18: KECCAK256 00000e19: PUSH1 0x00 00000e1b: POP 00000e1c: PUSH1 0x02 00000e1e: ADD 00000e1f: PUSH1 0x00 00000e21: POP 00000e22: SWAP2 00000e23: SWAP1 00000e24: DUP3 00000e25: DUP1 00000e26: SLOAD 00000e27: PUSH1 0x01 00000e29: DUP2 00000e2a: PUSH1 0x01 00000e2c: AND 00000e2d: ISZERO 00000e2e: PUSH2 0x0100 00000e31: MUL 00000e32: SUB 00000e33: AND 00000e34: PUSH1 0x02 00000e36: SWAP1 00000e37: DIV 00000e38: SWAP1 00000e39: PUSH1 0x00 00000e3b: MSTORE 00000e3c: PUSH1 0x20 00000e3e: PUSH1 0x00 00000e40: KECCAK256 00000e41: SWAP1 00000e42: PUSH1 0x1f 00000e44: ADD 00000e45: PUSH1 0x20 00000e47: SWAP1 00000e48: DIV 00000e49: DUP2 00000e4a: ADD 00000e4b: SWAP3 00000e4c: DUP3 00000e4d: PUSH1 0x1f 00000e4f: LT 00000e50: PUSH2 0x0e64 00000e53: JUMPI 00000e54: DUP1 00000e55: CALLDATALOAD 00000e56: PUSH1 0xff 00000e58: NOT 00000e59: AND 00000e5a: DUP4 00000e5b: DUP1 00000e5c: ADD 00000e5d: OR 00000e5e: DUP6 00000e5f: SSTORE 00000e60: PUSH2 0x0e95 00000e63: JUMP 00000e64: JUMPDEST 00000e65: DUP3 00000e66: DUP1 00000e67: ADD 00000e68: PUSH1 0x01 00000e6a: ADD 00000e6b: DUP6 00000e6c: SSTORE 00000e6d: DUP3 00000e6e: ISZERO 00000e6f: PUSH2 0x0e95 00000e72: JUMPI 00000e73: SWAP2 00000e74: DUP3 00000e75: ADD 00000e76: JUMPDEST 00000e77: DUP3 00000e78: DUP2 00000e79: GT 00000e7a: ISZERO 00000e7b: PUSH2 0x0e94 00000e7e: JUMPI 00000e7f: DUP3 00000e80: CALLDATALOAD 00000e81: DUP3 00000e82: PUSH1 0x00 00000e84: POP 00000e85: SSTORE 00000e86: SWAP2 00000e87: PUSH1 0x20 00000e89: ADD 00000e8a: SWAP2 00000e8b: SWAP1 00000e8c: PUSH1 0x01 00000e8e: ADD 00000e8f: SWAP1 00000e90: PUSH2 0x0e76 00000e93: JUMP 00000e94: JUMPDEST 00000e95: JUMPDEST 00000e96: POP 00000e97: SWAP1 00000e98: POP 00000e99: PUSH2 0x0ec0 00000e9c: SWAP2 00000e9d: SWAP1 00000e9e: PUSH2 0x0ea2 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: DUP1 00000ea4: DUP3 00000ea5: GT 00000ea6: ISZERO 00000ea7: PUSH2 0x0ebc 00000eaa: JUMPI 00000eab: PUSH1 0x00 00000ead: DUP2 00000eae: DUP2 00000eaf: POP 00000eb0: PUSH1 0x00 00000eb2: SWAP1 00000eb3: SSTORE 00000eb4: POP 00000eb5: PUSH1 0x01 00000eb7: ADD 00000eb8: PUSH2 0x0ea2 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: POP 00000ebe: SWAP1 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: POP 00000ec2: POP 00000ec3: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000ee4: DUP2 00000ee5: CALLER 00000ee6: DUP7 00000ee7: DUP9 00000ee8: DUP8 00000ee9: DUP8 00000eea: PUSH1 0x40 00000eec: MLOAD 00000eed: DUP1 00000eee: DUP8 00000eef: PUSH1 0x00 00000ef1: NOT 00000ef2: AND 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x20 00000ef7: ADD 00000ef8: DUP7 00000ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0e: AND 00000f0f: DUP2 00000f10: MSTORE 00000f11: PUSH1 0x20 00000f13: ADD 00000f14: DUP6 00000f15: DUP2 00000f16: MSTORE 00000f17: PUSH1 0x20 00000f19: ADD 00000f1a: DUP5 00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f30: AND 00000f31: DUP2 00000f32: MSTORE 00000f33: PUSH1 0x20 00000f35: ADD 00000f36: DUP1 00000f37: PUSH1 0x20 00000f39: ADD 00000f3a: DUP3 00000f3b: DUP2 00000f3c: SUB 00000f3d: DUP3 00000f3e: MSTORE 00000f3f: DUP5 00000f40: DUP5 00000f41: DUP3 00000f42: DUP2 00000f43: DUP2 00000f44: MSTORE 00000f45: PUSH1 0x20 00000f47: ADD 00000f48: SWAP3 00000f49: POP 00000f4a: DUP1 00000f4b: DUP3 00000f4c: DUP5 00000f4d: CALLDATACOPY 00000f4e: DUP3 00000f4f: ADD 00000f50: SWAP2 00000f51: POP 00000f52: POP 00000f53: SWAP8 00000f54: POP 00000f55: POP 00000f56: POP 00000f57: POP 00000f58: POP 00000f59: POP 00000f5a: POP 00000f5b: POP 00000f5c: PUSH1 0x40 00000f5e: MLOAD 00000f5f: DUP1 00000f60: SWAP2 00000f61: SUB 00000f62: SWAP1 00000f63: LOG1 00000f64: JUMPDEST 00000f65: JUMPDEST 00000f66: JUMPDEST 00000f67: SWAP5 00000f68: SWAP4 00000f69: POP 00000f6a: POP 00000f6b: POP 00000f6c: POP 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: PUSH1 0x00 00000f71: PUSH1 0x00 00000f73: PUSH1 0x00 00000f75: PUSH2 0x0102 00000f78: PUSH1 0x00 00000f7a: POP 00000f7b: PUSH1 0x00 00000f7d: CALLER 00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f93: AND 00000f94: DUP2 00000f95: MSTORE 00000f96: PUSH1 0x20 00000f98: ADD 00000f99: SWAP1 00000f9a: DUP2 00000f9b: MSTORE 00000f9c: PUSH1 0x20 00000f9e: ADD 00000f9f: PUSH1 0x00 00000fa1: KECCAK256 00000fa2: PUSH1 0x00 00000fa4: POP 00000fa5: SLOAD 00000fa6: SWAP3 00000fa7: POP 00000fa8: PUSH1 0x00 00000faa: DUP4 00000fab: EQ 00000fac: ISZERO 00000fad: PUSH2 0x0fb5 00000fb0: JUMPI 00000fb1: PUSH2 0x1072 00000fb4: JUMP 00000fb5: JUMPDEST 00000fb6: DUP3 00000fb7: PUSH1 0x02 00000fb9: EXP 00000fba: SWAP2 00000fbb: POP 00000fbc: PUSH2 0x0103 00000fbf: PUSH1 0x00 00000fc1: POP 00000fc2: PUSH1 0x00 00000fc4: DUP6 00000fc5: PUSH1 0x00 00000fc7: NOT 00000fc8: AND 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: ADD 00000fce: SWAP1 00000fcf: DUP2 00000fd0: MSTORE 00000fd1: PUSH1 0x20 00000fd3: ADD 00000fd4: PUSH1 0x00 00000fd6: KECCAK256 00000fd7: PUSH1 0x00 00000fd9: POP 00000fda: SWAP1 00000fdb: POP 00000fdc: PUSH1 0x00 00000fde: DUP3 00000fdf: DUP3 00000fe0: PUSH1 0x01 00000fe2: ADD 00000fe3: PUSH1 0x00 00000fe5: POP 00000fe6: SLOAD 00000fe7: AND 00000fe8: GT 00000fe9: ISZERO 00000fea: PUSH2 0x1071 00000fed: JUMPI 00000fee: DUP1 00000fef: PUSH1 0x00 00000ff1: ADD 00000ff2: PUSH1 0x00 00000ff4: DUP2 00000ff5: DUP2 00000ff6: POP 00000ff7: SLOAD 00000ff8: DUP1 00000ff9: SWAP3 00000ffa: SWAP2 00000ffb: SWAP1 00000ffc: PUSH1 0x01 00000ffe: ADD 00000fff: SWAP2 00001000: SWAP1 00001001: POP 00001002: SSTORE 00001003: POP 00001004: DUP2 00001005: DUP2 00001006: PUSH1 0x01 00001008: ADD 00001009: PUSH1 0x00 0000100b: DUP3 0000100c: DUP3 0000100d: DUP3 0000100e: POP 0000100f: SLOAD 00001010: SUB 00001011: SWAP3 00001012: POP 00001013: POP 00001014: DUP2 00001015: SWAP1 00001016: SSTORE 00001017: POP 00001018: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 00001039: CALLER 0000103a: DUP6 0000103b: PUSH1 0x40 0000103d: MLOAD 0000103e: DUP1 0000103f: DUP4 00001040: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001055: AND 00001056: DUP2 00001057: MSTORE 00001058: PUSH1 0x20 0000105a: ADD 0000105b: DUP3 0000105c: PUSH1 0x00 0000105e: NOT 0000105f: AND 00001060: DUP2 00001061: MSTORE 00001062: PUSH1 0x20 00001064: ADD 00001065: SWAP3 00001066: POP 00001067: POP 00001068: POP 00001069: PUSH1 0x40 0000106b: MLOAD 0000106c: DUP1 0000106d: SWAP2 0000106e: SUB 0000106f: SWAP1 00001070: LOG1 00001071: JUMPDEST 00001072: JUMPDEST 00001073: POP 00001074: POP 00001075: POP 00001076: POP 00001077: JUMP 00001078: JUMPDEST 00001079: PUSH1 0x00 0000107b: CALLDATASIZE 0000107c: NUMBER 0000107d: PUSH1 0x40 0000107f: MLOAD 00001080: DUP1 00001081: DUP5 00001082: DUP5 00001083: DUP1 00001084: DUP3 00001085: DUP5 00001086: CALLDATACOPY 00001087: DUP3 00001088: ADD 00001089: SWAP2 0000108a: POP 0000108b: POP 0000108c: DUP3 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x20 00001091: ADD 00001092: SWAP4 00001093: POP 00001094: POP 00001095: POP 00001096: POP 00001097: PUSH1 0x40 00001099: MLOAD 0000109a: DUP1 0000109b: SWAP2 0000109c: SUB 0000109d: SWAP1 0000109e: KECCAK256 0000109f: PUSH2 0x10a7 000010a2: DUP2 000010a3: PUSH2 0x13b3 000010a6: JUMP 000010a7: JUMPDEST 000010a8: ISZERO 000010a9: PUSH2 0x1109 000010ac: JUMPI 000010ad: PUSH1 0x01 000010af: PUSH1 0x00 000010b1: POP 000010b2: SLOAD 000010b3: DUP3 000010b4: GT 000010b5: ISZERO 000010b6: PUSH2 0x10bf 000010b9: JUMPI 000010ba: POP 000010bb: PUSH2 0x110b 000010be: JUMP 000010bf: JUMPDEST 000010c0: DUP2 000010c1: PUSH1 0x00 000010c3: PUSH1 0x00 000010c5: POP 000010c6: DUP2 000010c7: SWAP1 000010c8: SSTORE 000010c9: POP 000010ca: PUSH2 0x10d1 000010cd: PUSH2 0x1625 000010d0: JUMP 000010d1: JUMPDEST 000010d2: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 000010f3: DUP3 000010f4: PUSH1 0x40 000010f6: MLOAD 000010f7: DUP1 000010f8: DUP3 000010f9: DUP2 000010fa: MSTORE 000010fb: PUSH1 0x20 000010fd: ADD 000010fe: SWAP2 000010ff: POP 00001100: POP 00001101: PUSH1 0x40 00001103: MLOAD 00001104: DUP1 00001105: SWAP2 00001106: SUB 00001107: SWAP1 00001108: LOG1 00001109: JUMPDEST 0000110a: POP 0000110b: JUMPDEST 0000110c: POP 0000110d: JUMP 0000110e: JUMPDEST 0000110f: PUSH1 0x00 00001111: PUSH1 0x00 00001113: PUSH1 0x00 00001115: PUSH1 0x00 00001117: PUSH2 0x0103 0000111a: PUSH1 0x00 0000111c: POP 0000111d: PUSH1 0x00 0000111f: DUP8 00001120: PUSH1 0x00 00001122: NOT 00001123: AND 00001124: DUP2 00001125: MSTORE 00001126: PUSH1 0x20 00001128: ADD 00001129: SWAP1 0000112a: DUP2 0000112b: MSTORE 0000112c: PUSH1 0x20 0000112e: ADD 0000112f: PUSH1 0x00 00001131: KECCAK256 00001132: PUSH1 0x00 00001134: POP 00001135: SWAP3 00001136: POP 00001137: PUSH2 0x0102 0000113a: PUSH1 0x00 0000113c: POP 0000113d: PUSH1 0x00 0000113f: DUP7 00001140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001155: AND 00001156: DUP2 00001157: MSTORE 00001158: PUSH1 0x20 0000115a: ADD 0000115b: SWAP1 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x20 00001160: ADD 00001161: PUSH1 0x00 00001163: KECCAK256 00001164: PUSH1 0x00 00001166: POP 00001167: SLOAD 00001168: SWAP2 00001169: POP 0000116a: PUSH1 0x00 0000116c: DUP3 0000116d: EQ 0000116e: ISZERO 0000116f: PUSH2 0x117b 00001172: JUMPI 00001173: PUSH1 0x00 00001175: SWAP4 00001176: POP 00001177: PUSH2 0x11aa 0000117a: JUMP 0000117b: JUMPDEST 0000117c: DUP2 0000117d: PUSH1 0x02 0000117f: EXP 00001180: SWAP1 00001181: POP 00001182: PUSH1 0x00 00001184: DUP2 00001185: DUP5 00001186: PUSH1 0x01 00001188: ADD 00001189: PUSH1 0x00 0000118b: POP 0000118c: SLOAD 0000118d: AND 0000118e: EQ 0000118f: ISZERO 00001190: PUSH2 0x11a0 00001193: JUMPI 00001194: PUSH1 0x00 00001196: SWAP4 00001197: POP 00001198: PUSH2 0x11aa 0000119b: JUMP 0000119c: PUSH2 0x11a9 0000119f: JUMP 000011a0: JUMPDEST 000011a1: PUSH1 0x01 000011a3: SWAP4 000011a4: POP 000011a5: PUSH2 0x11aa 000011a8: JUMP 000011a9: JUMPDEST 000011aa: JUMPDEST 000011ab: POP 000011ac: POP 000011ad: POP 000011ae: SWAP3 000011af: SWAP2 000011b0: POP 000011b1: POP 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH1 0x00 000011b6: CALLDATASIZE 000011b7: NUMBER 000011b8: PUSH1 0x40 000011ba: MLOAD 000011bb: DUP1 000011bc: DUP5 000011bd: DUP5 000011be: DUP1 000011bf: DUP3 000011c0: DUP5 000011c1: CALLDATACOPY 000011c2: DUP3 000011c3: ADD 000011c4: SWAP2 000011c5: POP 000011c6: POP 000011c7: DUP3 000011c8: DUP2 000011c9: MSTORE 000011ca: PUSH1 0x20 000011cc: ADD 000011cd: SWAP4 000011ce: POP 000011cf: POP 000011d0: POP 000011d1: POP 000011d2: PUSH1 0x40 000011d4: MLOAD 000011d5: DUP1 000011d6: SWAP2 000011d7: SUB 000011d8: SWAP1 000011d9: KECCAK256 000011da: PUSH2 0x11e2 000011dd: DUP2 000011de: PUSH2 0x13b3 000011e1: JUMP 000011e2: JUMPDEST 000011e3: ISZERO 000011e4: PUSH2 0x1200 000011e7: JUMPI 000011e8: DUP2 000011e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fe: AND 000011ff: SELFDESTRUCT 00001200: JUMPDEST 00001201: POP 00001202: JUMPDEST 00001203: POP 00001204: JUMP 00001205: JUMPDEST 00001206: PUSH1 0x00 00001208: PUSH1 0x00 0000120a: CALLDATASIZE 0000120b: NUMBER 0000120c: PUSH1 0x40 0000120e: MLOAD 0000120f: DUP1 00001210: DUP5 00001211: DUP5 00001212: DUP1 00001213: DUP3 00001214: DUP5 00001215: CALLDATACOPY 00001216: DUP3 00001217: ADD 00001218: SWAP2 00001219: POP 0000121a: POP 0000121b: DUP3 0000121c: DUP2 0000121d: MSTORE 0000121e: PUSH1 0x20 00001220: ADD 00001221: SWAP4 00001222: POP 00001223: POP 00001224: POP 00001225: POP 00001226: PUSH1 0x40 00001228: MLOAD 00001229: DUP1 0000122a: SWAP2 0000122b: SUB 0000122c: SWAP1 0000122d: KECCAK256 0000122e: PUSH2 0x1236 00001231: DUP2 00001232: PUSH2 0x13b3 00001235: JUMP 00001236: JUMPDEST 00001237: ISZERO 00001238: PUSH2 0x13a2 0000123b: JUMPI 0000123c: PUSH2 0x1244 0000123f: DUP4 00001240: PUSH2 0x05a7 00001243: JUMP 00001244: JUMPDEST 00001245: ISZERO 00001246: PUSH2 0x124f 00001249: JUMPI 0000124a: POP 0000124b: PUSH2 0x13a4 0000124e: JUMP 0000124f: JUMPDEST 00001250: PUSH2 0x0102 00001253: PUSH1 0x00 00001255: POP 00001256: PUSH1 0x00 00001258: DUP6 00001259: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126e: AND 0000126f: DUP2 00001270: MSTORE 00001271: PUSH1 0x20 00001273: ADD 00001274: SWAP1 00001275: DUP2 00001276: MSTORE 00001277: PUSH1 0x20 00001279: ADD 0000127a: PUSH1 0x00 0000127c: KECCAK256 0000127d: PUSH1 0x00 0000127f: POP 00001280: SLOAD 00001281: SWAP2 00001282: POP 00001283: PUSH1 0x00 00001285: DUP3 00001286: EQ 00001287: ISZERO 00001288: PUSH2 0x1291 0000128b: JUMPI 0000128c: POP 0000128d: PUSH2 0x13a4 00001290: JUMP 00001291: JUMPDEST 00001292: PUSH2 0x1299 00001295: PUSH2 0x1625 00001298: JUMP 00001299: JUMPDEST 0000129a: DUP3 0000129b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b0: AND 000012b1: PUSH1 0x02 000012b3: PUSH1 0x00 000012b5: POP 000012b6: DUP4 000012b7: PUSH2 0x0100 000012ba: DUP2 000012bb: LT 000012bc: ISZERO 000012bd: PUSH2 0x0002 000012c0: JUMPI 000012c1: SWAP1 000012c2: SWAP1 000012c3: ADD 000012c4: PUSH1 0x00 000012c6: JUMPDEST 000012c7: POP 000012c8: DUP2 000012c9: SWAP1 000012ca: SSTORE 000012cb: POP 000012cc: PUSH1 0x00 000012ce: PUSH2 0x0102 000012d1: PUSH1 0x00 000012d3: POP 000012d4: PUSH1 0x00 000012d6: DUP7 000012d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ec: AND 000012ed: DUP2 000012ee: MSTORE 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: SWAP1 000012f3: DUP2 000012f4: MSTORE 000012f5: PUSH1 0x20 000012f7: ADD 000012f8: PUSH1 0x00 000012fa: KECCAK256 000012fb: PUSH1 0x00 000012fd: POP 000012fe: DUP2 000012ff: SWAP1 00001300: SSTORE 00001301: POP 00001302: DUP2 00001303: PUSH2 0x0102 00001306: PUSH1 0x00 00001308: POP 00001309: PUSH1 0x00 0000130b: DUP6 0000130c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001321: AND 00001322: DUP2 00001323: MSTORE 00001324: PUSH1 0x20 00001326: ADD 00001327: SWAP1 00001328: DUP2 00001329: MSTORE 0000132a: PUSH1 0x20 0000132c: ADD 0000132d: PUSH1 0x00 0000132f: KECCAK256 00001330: PUSH1 0x00 00001332: POP 00001333: DUP2 00001334: SWAP1 00001335: SSTORE 00001336: POP 00001337: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00001358: DUP5 00001359: DUP5 0000135a: PUSH1 0x40 0000135c: MLOAD 0000135d: DUP1 0000135e: DUP4 0000135f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001374: AND 00001375: DUP2 00001376: MSTORE 00001377: PUSH1 0x20 00001379: ADD 0000137a: DUP3 0000137b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001390: AND 00001391: DUP2 00001392: MSTORE 00001393: PUSH1 0x20 00001395: ADD 00001396: SWAP3 00001397: POP 00001398: POP 00001399: POP 0000139a: PUSH1 0x40 0000139c: MLOAD 0000139d: DUP1 0000139e: SWAP2 0000139f: SUB 000013a0: SWAP1 000013a1: LOG1 000013a2: JUMPDEST 000013a3: POP 000013a4: JUMPDEST 000013a5: POP 000013a6: POP 000013a7: POP 000013a8: JUMP 000013a9: JUMPDEST 000013aa: PUSH2 0x0105 000013ad: PUSH1 0x00 000013af: POP 000013b0: SLOAD 000013b1: DUP2 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x00 000013b6: PUSH1 0x00 000013b8: PUSH1 0x00 000013ba: PUSH1 0x00 000013bc: PUSH2 0x0102 000013bf: PUSH1 0x00 000013c1: POP 000013c2: PUSH1 0x00 000013c4: CALLER 000013c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013da: AND 000013db: DUP2 000013dc: MSTORE 000013dd: PUSH1 0x20 000013df: ADD 000013e0: SWAP1 000013e1: DUP2 000013e2: MSTORE 000013e3: PUSH1 0x20 000013e5: ADD 000013e6: PUSH1 0x00 000013e8: KECCAK256 000013e9: PUSH1 0x00 000013eb: POP 000013ec: SLOAD 000013ed: SWAP3 000013ee: POP 000013ef: PUSH1 0x00 000013f1: DUP4 000013f2: EQ 000013f3: ISZERO 000013f4: PUSH2 0x13fc 000013f7: JUMPI 000013f8: PUSH2 0x161d 000013fb: JUMP 000013fc: JUMPDEST 000013fd: PUSH2 0x0103 00001400: PUSH1 0x00 00001402: POP 00001403: PUSH1 0x00 00001405: DUP7 00001406: PUSH1 0x00 00001408: NOT 00001409: AND 0000140a: DUP2 0000140b: MSTORE 0000140c: PUSH1 0x20 0000140e: ADD 0000140f: SWAP1 00001410: DUP2 00001411: MSTORE 00001412: PUSH1 0x20 00001414: ADD 00001415: PUSH1 0x00 00001417: KECCAK256 00001418: PUSH1 0x00 0000141a: POP 0000141b: SWAP2 0000141c: POP 0000141d: PUSH1 0x00 0000141f: DUP3 00001420: PUSH1 0x00 00001422: ADD 00001423: PUSH1 0x00 00001425: POP 00001426: SLOAD 00001427: EQ 00001428: ISZERO 00001429: PUSH2 0x14d9 0000142c: JUMPI 0000142d: PUSH1 0x00 0000142f: PUSH1 0x00 00001431: POP 00001432: SLOAD 00001433: DUP3 00001434: PUSH1 0x00 00001436: ADD 00001437: PUSH1 0x00 00001439: POP 0000143a: DUP2 0000143b: SWAP1 0000143c: SSTORE 0000143d: POP 0000143e: PUSH1 0x00 00001440: DUP3 00001441: PUSH1 0x01 00001443: ADD 00001444: PUSH1 0x00 00001446: POP 00001447: DUP2 00001448: SWAP1 00001449: SSTORE 0000144a: POP 0000144b: PUSH2 0x0104 0000144e: PUSH1 0x00 00001450: POP 00001451: DUP1 00001452: SLOAD 00001453: DUP1 00001454: SWAP2 00001455: SWAP1 00001456: PUSH1 0x01 00001458: ADD 00001459: SWAP1 0000145a: SWAP1 0000145b: DUP2 0000145c: SLOAD 0000145d: DUP2 0000145e: DUP4 0000145f: SSTORE 00001460: DUP2 00001461: DUP2 00001462: ISZERO 00001463: GT 00001464: PUSH2 0x149f 00001467: JUMPI 00001468: DUP2 00001469: DUP4 0000146a: PUSH1 0x00 0000146c: MSTORE 0000146d: PUSH1 0x20 0000146f: PUSH1 0x00 00001471: KECCAK256 00001472: SWAP2 00001473: DUP3 00001474: ADD 00001475: SWAP2 00001476: ADD 00001477: PUSH2 0x149e 0000147a: SWAP2 0000147b: SWAP1 0000147c: PUSH2 0x1480 0000147f: JUMP 00001480: JUMPDEST 00001481: DUP1 00001482: DUP3 00001483: GT 00001484: ISZERO 00001485: PUSH2 0x149a 00001488: JUMPI 00001489: PUSH1 0x00 0000148b: DUP2 0000148c: DUP2 0000148d: POP 0000148e: PUSH1 0x00 00001490: SWAP1 00001491: SSTORE 00001492: POP 00001493: PUSH1 0x01 00001495: ADD 00001496: PUSH2 0x1480 00001499: JUMP 0000149a: JUMPDEST 0000149b: POP 0000149c: SWAP1 0000149d: JUMP 0000149e: JUMPDEST 0000149f: JUMPDEST 000014a0: POP 000014a1: POP 000014a2: POP 000014a3: DUP3 000014a4: PUSH1 0x02 000014a6: ADD 000014a7: PUSH1 0x00 000014a9: POP 000014aa: DUP2 000014ab: SWAP1 000014ac: SSTORE 000014ad: POP 000014ae: DUP5 000014af: PUSH2 0x0104 000014b2: PUSH1 0x00 000014b4: POP 000014b5: DUP4 000014b6: PUSH1 0x02 000014b8: ADD 000014b9: PUSH1 0x00 000014bb: POP 000014bc: SLOAD 000014bd: DUP2 000014be: SLOAD 000014bf: DUP2 000014c0: LT 000014c1: ISZERO 000014c2: PUSH2 0x0002 000014c5: JUMPI 000014c6: SWAP1 000014c7: PUSH1 0x00 000014c9: MSTORE 000014ca: PUSH1 0x20 000014cc: PUSH1 0x00 000014ce: KECCAK256 000014cf: SWAP1 000014d0: ADD 000014d1: PUSH1 0x00 000014d3: JUMPDEST 000014d4: POP 000014d5: DUP2 000014d6: SWAP1 000014d7: SSTORE 000014d8: POP 000014d9: JUMPDEST 000014da: DUP3 000014db: PUSH1 0x02 000014dd: EXP 000014de: SWAP1 000014df: POP 000014e0: PUSH1 0x00 000014e2: DUP2 000014e3: DUP4 000014e4: PUSH1 0x01 000014e6: ADD 000014e7: PUSH1 0x00 000014e9: POP 000014ea: SLOAD 000014eb: AND 000014ec: EQ 000014ed: ISZERO 000014ee: PUSH2 0x161c 000014f1: JUMPI 000014f2: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 00001513: CALLER 00001514: DUP7 00001515: PUSH1 0x40 00001517: MLOAD 00001518: DUP1 00001519: DUP4 0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152f: AND 00001530: DUP2 00001531: MSTORE 00001532: PUSH1 0x20 00001534: ADD 00001535: DUP3 00001536: PUSH1 0x00 00001538: NOT 00001539: AND 0000153a: DUP2 0000153b: MSTORE 0000153c: PUSH1 0x20 0000153e: ADD 0000153f: SWAP3 00001540: POP 00001541: POP 00001542: POP 00001543: PUSH1 0x40 00001545: MLOAD 00001546: DUP1 00001547: SWAP2 00001548: SUB 00001549: SWAP1 0000154a: LOG1 0000154b: PUSH1 0x01 0000154d: DUP3 0000154e: PUSH1 0x00 00001550: ADD 00001551: PUSH1 0x00 00001553: POP 00001554: SLOAD 00001555: GT 00001556: ISZERO 00001557: ISZERO 00001558: PUSH2 0x15ef 0000155b: JUMPI 0000155c: PUSH2 0x0104 0000155f: PUSH1 0x00 00001561: POP 00001562: PUSH2 0x0103 00001565: PUSH1 0x00 00001567: POP 00001568: PUSH1 0x00 0000156a: DUP8 0000156b: PUSH1 0x00 0000156d: NOT 0000156e: AND 0000156f: DUP2 00001570: MSTORE 00001571: PUSH1 0x20 00001573: ADD 00001574: SWAP1 00001575: DUP2 00001576: MSTORE 00001577: PUSH1 0x20 00001579: ADD 0000157a: PUSH1 0x00 0000157c: KECCAK256 0000157d: PUSH1 0x00 0000157f: POP 00001580: PUSH1 0x02 00001582: ADD 00001583: PUSH1 0x00 00001585: POP 00001586: SLOAD 00001587: DUP2 00001588: SLOAD 00001589: DUP2 0000158a: LT 0000158b: ISZERO 0000158c: PUSH2 0x0002 0000158f: JUMPI 00001590: SWAP1 00001591: PUSH1 0x00 00001593: MSTORE 00001594: PUSH1 0x20 00001596: PUSH1 0x00 00001598: KECCAK256 00001599: SWAP1 0000159a: ADD 0000159b: PUSH1 0x00 0000159d: JUMPDEST 0000159e: POP 0000159f: PUSH1 0x00 000015a1: SWAP1 000015a2: SSTORE 000015a3: PUSH2 0x0103 000015a6: PUSH1 0x00 000015a8: POP 000015a9: PUSH1 0x00 000015ab: DUP7 000015ac: PUSH1 0x00 000015ae: NOT 000015af: AND 000015b0: DUP2 000015b1: MSTORE 000015b2: PUSH1 0x20 000015b4: ADD 000015b5: SWAP1 000015b6: DUP2 000015b7: MSTORE 000015b8: PUSH1 0x20 000015ba: ADD 000015bb: PUSH1 0x00 000015bd: KECCAK256 000015be: PUSH1 0x00 000015c0: PUSH1 0x00 000015c2: DUP3 000015c3: ADD 000015c4: PUSH1 0x00 000015c6: POP 000015c7: PUSH1 0x00 000015c9: SWAP1 000015ca: SSTORE 000015cb: PUSH1 0x01 000015cd: DUP3 000015ce: ADD 000015cf: PUSH1 0x00 000015d1: POP 000015d2: PUSH1 0x00 000015d4: SWAP1 000015d5: SSTORE 000015d6: PUSH1 0x02 000015d8: DUP3 000015d9: ADD 000015da: PUSH1 0x00 000015dc: POP 000015dd: PUSH1 0x00 000015df: SWAP1 000015e0: SSTORE 000015e1: POP 000015e2: POP 000015e3: PUSH1 0x01 000015e5: SWAP4 000015e6: POP 000015e7: PUSH2 0x161d 000015ea: JUMP 000015eb: PUSH2 0x161b 000015ee: JUMP 000015ef: JUMPDEST 000015f0: DUP2 000015f1: PUSH1 0x00 000015f3: ADD 000015f4: PUSH1 0x00 000015f6: DUP2 000015f7: DUP2 000015f8: POP 000015f9: SLOAD 000015fa: DUP1 000015fb: SWAP3 000015fc: SWAP2 000015fd: SWAP1 000015fe: PUSH1 0x01 00001600: SWAP1 00001601: SUB 00001602: SWAP2 00001603: SWAP1 00001604: POP 00001605: SSTORE 00001606: POP 00001607: DUP1 00001608: DUP3 00001609: PUSH1 0x01 0000160b: ADD 0000160c: PUSH1 0x00 0000160e: DUP3 0000160f: DUP3 00001610: DUP3 00001611: POP 00001612: SLOAD 00001613: OR 00001614: SWAP3 00001615: POP 00001616: POP 00001617: DUP2 00001618: SWAP1 00001619: SSTORE 0000161a: POP 0000161b: JUMPDEST 0000161c: JUMPDEST 0000161d: JUMPDEST 0000161e: POP 0000161f: POP 00001620: POP 00001621: SWAP2 00001622: SWAP1 00001623: POP 00001624: JUMP 00001625: JUMPDEST 00001626: PUSH1 0x00 00001628: PUSH1 0x00 0000162a: PUSH2 0x0104 0000162d: PUSH1 0x00 0000162f: POP 00001630: DUP1 00001631: SLOAD 00001632: SWAP1 00001633: POP 00001634: SWAP2 00001635: POP 00001636: PUSH1 0x00 00001638: SWAP1 00001639: POP 0000163a: JUMPDEST 0000163b: DUP2 0000163c: DUP2 0000163d: LT 0000163e: ISZERO 0000163f: PUSH2 0x172a 00001642: JUMPI 00001643: PUSH2 0x0109 00001646: PUSH1 0x00 00001648: POP 00001649: PUSH1 0x00 0000164b: PUSH2 0x0104 0000164e: PUSH1 0x00 00001650: POP 00001651: DUP4 00001652: DUP2 00001653: SLOAD 00001654: DUP2 00001655: LT 00001656: ISZERO 00001657: PUSH2 0x0002 0000165a: JUMPI 0000165b: SWAP1 0000165c: PUSH1 0x00 0000165e: MSTORE 0000165f: PUSH1 0x20 00001661: PUSH1 0x00 00001663: KECCAK256 00001664: SWAP1 00001665: ADD 00001666: PUSH1 0x00 00001668: JUMPDEST 00001669: POP 0000166a: SLOAD 0000166b: PUSH1 0x00 0000166d: NOT 0000166e: AND 0000166f: DUP2 00001670: MSTORE 00001671: PUSH1 0x20 00001673: ADD 00001674: SWAP1 00001675: DUP2 00001676: MSTORE 00001677: PUSH1 0x20 00001679: ADD 0000167a: PUSH1 0x00 0000167c: KECCAK256 0000167d: PUSH1 0x00 0000167f: PUSH1 0x00 00001681: DUP3 00001682: ADD 00001683: PUSH1 0x00 00001685: PUSH2 0x0100 00001688: EXP 00001689: DUP2 0000168a: SLOAD 0000168b: SWAP1 0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a1: MUL 000016a2: NOT 000016a3: AND 000016a4: SWAP1 000016a5: SSTORE 000016a6: PUSH1 0x01 000016a8: DUP3 000016a9: ADD 000016aa: PUSH1 0x00 000016ac: POP 000016ad: PUSH1 0x00 000016af: SWAP1 000016b0: SSTORE 000016b1: PUSH1 0x02 000016b3: DUP3 000016b4: ADD 000016b5: PUSH1 0x00 000016b7: POP 000016b8: DUP1 000016b9: SLOAD 000016ba: PUSH1 0x01 000016bc: DUP2 000016bd: PUSH1 0x01 000016bf: AND 000016c0: ISZERO 000016c1: PUSH2 0x0100 000016c4: MUL 000016c5: SUB 000016c6: AND 000016c7: PUSH1 0x02 000016c9: SWAP1 000016ca: DIV 000016cb: PUSH1 0x00 000016cd: DUP3 000016ce: SSTORE 000016cf: DUP1 000016d0: PUSH1 0x1f 000016d2: LT 000016d3: PUSH2 0x16dc 000016d6: JUMPI 000016d7: POP 000016d8: PUSH2 0x1719 000016db: JUMP 000016dc: JUMPDEST 000016dd: PUSH1 0x1f 000016df: ADD 000016e0: PUSH1 0x20 000016e2: SWAP1 000016e3: DIV 000016e4: SWAP1 000016e5: PUSH1 0x00 000016e7: MSTORE 000016e8: PUSH1 0x20 000016ea: PUSH1 0x00 000016ec: KECCAK256 000016ed: SWAP1 000016ee: DUP2 000016ef: ADD 000016f0: SWAP1 000016f1: PUSH2 0x1718 000016f4: SWAP2 000016f5: SWAP1 000016f6: PUSH2 0x16fa 000016f9: JUMP 000016fa: JUMPDEST 000016fb: DUP1 000016fc: DUP3 000016fd: GT 000016fe: ISZERO 000016ff: PUSH2 0x1714 00001702: JUMPI 00001703: PUSH1 0x00 00001705: DUP2 00001706: DUP2 00001707: POP 00001708: PUSH1 0x00 0000170a: SWAP1 0000170b: SSTORE 0000170c: POP 0000170d: PUSH1 0x01 0000170f: ADD 00001710: PUSH2 0x16fa 00001713: JUMP 00001714: JUMPDEST 00001715: POP 00001716: SWAP1 00001717: JUMP 00001718: JUMPDEST 00001719: JUMPDEST 0000171a: POP 0000171b: POP 0000171c: POP 0000171d: JUMPDEST 0000171e: DUP1 0000171f: PUSH1 0x01 00001721: ADD 00001722: SWAP1 00001723: POP 00001724: DUP1 00001725: POP 00001726: PUSH2 0x163a 00001729: JUMP 0000172a: JUMPDEST 0000172b: PUSH2 0x1732 0000172e: PUSH2 0x1971 00001731: JUMP 00001732: JUMPDEST 00001733: JUMPDEST 00001734: POP 00001735: POP 00001736: JUMP 00001737: JUMPDEST 00001738: PUSH1 0x00 0000173a: PUSH1 0x00 0000173c: PUSH1 0x01 0000173e: SWAP1 0000173f: POP 00001740: JUMPDEST 00001741: PUSH1 0x01 00001743: PUSH1 0x00 00001745: POP 00001746: SLOAD 00001747: DUP2 00001748: LT 00001749: ISZERO 0000174a: PUSH2 0x18cc 0000174d: JUMPI 0000174e: JUMPDEST 0000174f: PUSH1 0x01 00001751: PUSH1 0x00 00001753: POP 00001754: SLOAD 00001755: DUP2 00001756: LT 00001757: DUP1 00001758: ISZERO 00001759: PUSH2 0x177a 0000175c: JUMPI 0000175d: POP 0000175e: PUSH1 0x00 00001760: PUSH1 0x02 00001762: PUSH1 0x00 00001764: POP 00001765: DUP3 00001766: PUSH2 0x0100 00001769: DUP2 0000176a: LT 0000176b: ISZERO 0000176c: PUSH2 0x0002 0000176f: JUMPI 00001770: SWAP1 00001771: SWAP1 00001772: ADD 00001773: PUSH1 0x00 00001775: JUMPDEST 00001776: POP 00001777: SLOAD 00001778: EQ 00001779: ISZERO 0000177a: JUMPDEST 0000177b: ISZERO 0000177c: PUSH2 0x178c 0000177f: JUMPI 00001780: DUP1 00001781: DUP1 00001782: PUSH1 0x01 00001784: ADD 00001785: SWAP2 00001786: POP 00001787: POP 00001788: PUSH2 0x174e 0000178b: JUMP 0000178c: JUMPDEST 0000178d: JUMPDEST 0000178e: PUSH1 0x01 00001790: PUSH1 0x01 00001792: PUSH1 0x00 00001794: POP 00001795: SLOAD 00001796: GT 00001797: DUP1 00001798: ISZERO 00001799: PUSH2 0x17be 0000179c: JUMPI 0000179d: POP 0000179e: PUSH1 0x00 000017a0: PUSH1 0x02 000017a2: PUSH1 0x00 000017a4: POP 000017a5: PUSH1 0x01 000017a7: PUSH1 0x00 000017a9: POP 000017aa: SLOAD 000017ab: PUSH2 0x0100 000017ae: DUP2 000017af: LT 000017b0: ISZERO 000017b1: PUSH2 0x0002 000017b4: JUMPI 000017b5: SWAP1 000017b6: SWAP1 000017b7: ADD 000017b8: PUSH1 0x00 000017ba: JUMPDEST 000017bb: POP 000017bc: SLOAD 000017bd: EQ 000017be: JUMPDEST 000017bf: ISZERO 000017c0: PUSH2 0x17dd 000017c3: JUMPI 000017c4: PUSH1 0x01 000017c6: PUSH1 0x00 000017c8: DUP2 000017c9: DUP2 000017ca: POP 000017cb: SLOAD 000017cc: DUP1 000017cd: SWAP3 000017ce: SWAP2 000017cf: SWAP1 000017d0: PUSH1 0x01 000017d2: SWAP1 000017d3: SUB 000017d4: SWAP2 000017d5: SWAP1 000017d6: POP 000017d7: SSTORE 000017d8: POP 000017d9: PUSH2 0x178d 000017dc: JUMP 000017dd: JUMPDEST 000017de: PUSH1 0x01 000017e0: PUSH1 0x00 000017e2: POP 000017e3: SLOAD 000017e4: DUP2 000017e5: LT 000017e6: DUP1 000017e7: ISZERO 000017e8: PUSH2 0x180e 000017eb: JUMPI 000017ec: POP 000017ed: PUSH1 0x00 000017ef: PUSH1 0x02 000017f1: PUSH1 0x00 000017f3: POP 000017f4: PUSH1 0x01 000017f6: PUSH1 0x00 000017f8: POP 000017f9: SLOAD 000017fa: PUSH2 0x0100 000017fd: DUP2 000017fe: LT 000017ff: ISZERO 00001800: PUSH2 0x0002 00001803: JUMPI 00001804: SWAP1 00001805: SWAP1 00001806: ADD 00001807: PUSH1 0x00 00001809: JUMPDEST 0000180a: POP 0000180b: SLOAD 0000180c: EQ 0000180d: ISZERO 0000180e: JUMPDEST 0000180f: DUP1 00001810: ISZERO 00001811: PUSH2 0x1831 00001814: JUMPI 00001815: POP 00001816: PUSH1 0x00 00001818: PUSH1 0x02 0000181a: PUSH1 0x00 0000181c: POP 0000181d: DUP3 0000181e: PUSH2 0x0100 00001821: DUP2 00001822: LT 00001823: ISZERO 00001824: PUSH2 0x0002 00001827: JUMPI 00001828: SWAP1 00001829: SWAP1 0000182a: ADD 0000182b: PUSH1 0x00 0000182d: JUMPDEST 0000182e: POP 0000182f: SLOAD 00001830: EQ 00001831: JUMPDEST 00001832: ISZERO 00001833: PUSH2 0x18c7 00001836: JUMPI 00001837: PUSH1 0x02 00001839: PUSH1 0x00 0000183b: POP 0000183c: PUSH1 0x01 0000183e: PUSH1 0x00 00001840: POP 00001841: SLOAD 00001842: PUSH2 0x0100 00001845: DUP2 00001846: LT 00001847: ISZERO 00001848: PUSH2 0x0002 0000184b: JUMPI 0000184c: SWAP1 0000184d: SWAP1 0000184e: ADD 0000184f: PUSH1 0x00 00001851: JUMPDEST 00001852: POP 00001853: SLOAD 00001854: PUSH1 0x02 00001856: PUSH1 0x00 00001858: POP 00001859: DUP3 0000185a: PUSH2 0x0100 0000185d: DUP2 0000185e: LT 0000185f: ISZERO 00001860: PUSH2 0x0002 00001863: JUMPI 00001864: SWAP1 00001865: SWAP1 00001866: ADD 00001867: PUSH1 0x00 00001869: JUMPDEST 0000186a: POP 0000186b: DUP2 0000186c: SWAP1 0000186d: SSTORE 0000186e: POP 0000186f: DUP1 00001870: PUSH2 0x0102 00001873: PUSH1 0x00 00001875: POP 00001876: PUSH1 0x00 00001878: PUSH1 0x02 0000187a: PUSH1 0x00 0000187c: POP 0000187d: DUP5 0000187e: PUSH2 0x0100 00001881: DUP2 00001882: LT 00001883: ISZERO 00001884: PUSH2 0x0002 00001887: JUMPI 00001888: SWAP1 00001889: SWAP1 0000188a: ADD 0000188b: PUSH1 0x00 0000188d: JUMPDEST 0000188e: POP 0000188f: SLOAD 00001890: DUP2 00001891: MSTORE 00001892: PUSH1 0x20 00001894: ADD 00001895: SWAP1 00001896: DUP2 00001897: MSTORE 00001898: PUSH1 0x20 0000189a: ADD 0000189b: PUSH1 0x00 0000189d: KECCAK256 0000189e: PUSH1 0x00 000018a0: POP 000018a1: DUP2 000018a2: SWAP1 000018a3: SSTORE 000018a4: POP 000018a5: PUSH1 0x00 000018a7: PUSH1 0x02 000018a9: PUSH1 0x00 000018ab: POP 000018ac: PUSH1 0x01 000018ae: PUSH1 0x00 000018b0: POP 000018b1: SLOAD 000018b2: PUSH2 0x0100 000018b5: DUP2 000018b6: LT 000018b7: ISZERO 000018b8: PUSH2 0x0002 000018bb: JUMPI 000018bc: SWAP1 000018bd: SWAP1 000018be: ADD 000018bf: PUSH1 0x00 000018c1: JUMPDEST 000018c2: POP 000018c3: DUP2 000018c4: SWAP1 000018c5: SSTORE 000018c6: POP 000018c7: JUMPDEST 000018c8: PUSH2 0x1740 000018cb: JUMP 000018cc: JUMPDEST 000018cd: JUMPDEST 000018ce: POP 000018cf: SWAP1 000018d0: JUMP 000018d1: JUMPDEST 000018d2: PUSH1 0x00 000018d4: PUSH2 0x18dc 000018d7: CALLER 000018d8: PUSH2 0x05a7 000018db: JUMP 000018dc: JUMPDEST 000018dd: ISZERO 000018de: PUSH2 0x196b 000018e1: JUMPI 000018e2: PUSH2 0x0107 000018e5: PUSH1 0x00 000018e7: POP 000018e8: SLOAD 000018e9: PUSH2 0x18f0 000018ec: PUSH2 0x1a74 000018ef: JUMP 000018f0: JUMPDEST 000018f1: GT 000018f2: ISZERO 000018f3: PUSH2 0x1915 000018f6: JUMPI 000018f7: PUSH1 0x00 000018f9: PUSH2 0x0106 000018fc: PUSH1 0x00 000018fe: POP 000018ff: DUP2 00001900: SWAP1 00001901: SSTORE 00001902: POP 00001903: PUSH2 0x190a 00001906: PUSH2 0x1a74 00001909: JUMP 0000190a: JUMPDEST 0000190b: PUSH2 0x0107 0000190e: PUSH1 0x00 00001910: POP 00001911: DUP2 00001912: SWAP1 00001913: SSTORE 00001914: POP 00001915: JUMPDEST 00001916: PUSH2 0x0106 00001919: PUSH1 0x00 0000191b: POP 0000191c: SLOAD 0000191d: DUP3 0000191e: PUSH2 0x0106 00001921: PUSH1 0x00 00001923: POP 00001924: SLOAD 00001925: ADD 00001926: LT 00001927: ISZERO 00001928: DUP1 00001929: ISZERO 0000192a: PUSH2 0x1941 0000192d: JUMPI 0000192e: POP 0000192f: PUSH2 0x0105 00001932: PUSH1 0x00 00001934: POP 00001935: SLOAD 00001936: DUP3 00001937: PUSH2 0x0106 0000193a: PUSH1 0x00 0000193c: POP 0000193d: SLOAD 0000193e: ADD 0000193f: GT 00001940: ISZERO 00001941: JUMPDEST 00001942: ISZERO 00001943: PUSH2 0x1962 00001946: JUMPI 00001947: DUP2 00001948: PUSH2 0x0106 0000194b: PUSH1 0x00 0000194d: DUP3 0000194e: DUP3 0000194f: DUP3 00001950: POP 00001951: SLOAD 00001952: ADD 00001953: SWAP3 00001954: POP 00001955: POP 00001956: DUP2 00001957: SWAP1 00001958: SSTORE 00001959: POP 0000195a: PUSH1 0x01 0000195c: SWAP1 0000195d: POP 0000195e: PUSH2 0x196c 00001961: JUMP 00001962: JUMPDEST 00001963: PUSH1 0x00 00001965: SWAP1 00001966: POP 00001967: PUSH2 0x196c 0000196a: JUMP 0000196b: JUMPDEST 0000196c: JUMPDEST 0000196d: SWAP2 0000196e: SWAP1 0000196f: POP 00001970: JUMP 00001971: JUMPDEST 00001972: PUSH1 0x00 00001974: PUSH1 0x00 00001976: PUSH2 0x0104 00001979: PUSH1 0x00 0000197b: POP 0000197c: DUP1 0000197d: SLOAD 0000197e: SWAP1 0000197f: POP 00001980: SWAP2 00001981: POP 00001982: PUSH1 0x00 00001984: SWAP1 00001985: POP 00001986: JUMPDEST 00001987: DUP2 00001988: DUP2 00001989: LT 0000198a: ISZERO 0000198b: PUSH2 0x1a2c 0000198e: JUMPI 0000198f: PUSH1 0x00 00001991: PUSH1 0x01 00001993: MUL 00001994: PUSH2 0x0104 00001997: PUSH1 0x00 00001999: POP 0000199a: DUP3 0000199b: DUP2 0000199c: SLOAD 0000199d: DUP2 0000199e: LT 0000199f: ISZERO 000019a0: PUSH2 0x0002 000019a3: JUMPI 000019a4: SWAP1 000019a5: PUSH1 0x00 000019a7: MSTORE 000019a8: PUSH1 0x20 000019aa: PUSH1 0x00 000019ac: KECCAK256 000019ad: SWAP1 000019ae: ADD 000019af: PUSH1 0x00 000019b1: JUMPDEST 000019b2: POP 000019b3: SLOAD 000019b4: PUSH1 0x00 000019b6: NOT 000019b7: AND 000019b8: EQ 000019b9: ISZERO 000019ba: ISZERO 000019bb: PUSH2 0x1a1e 000019be: JUMPI 000019bf: PUSH2 0x0103 000019c2: PUSH1 0x00 000019c4: POP 000019c5: PUSH1 0x00 000019c7: PUSH2 0x0104 000019ca: PUSH1 0x00 000019cc: POP 000019cd: DUP4 000019ce: DUP2 000019cf: SLOAD 000019d0: DUP2 000019d1: LT 000019d2: ISZERO 000019d3: PUSH2 0x0002 000019d6: JUMPI 000019d7: SWAP1 000019d8: PUSH1 0x00 000019da: MSTORE 000019db: PUSH1 0x20 000019dd: PUSH1 0x00 000019df: KECCAK256 000019e0: SWAP1 000019e1: ADD 000019e2: PUSH1 0x00 000019e4: JUMPDEST 000019e5: POP 000019e6: SLOAD 000019e7: PUSH1 0x00 000019e9: NOT 000019ea: AND 000019eb: DUP2 000019ec: MSTORE 000019ed: PUSH1 0x20 000019ef: ADD 000019f0: SWAP1 000019f1: DUP2 000019f2: MSTORE 000019f3: PUSH1 0x20 000019f5: ADD 000019f6: PUSH1 0x00 000019f8: KECCAK256 000019f9: PUSH1 0x00 000019fb: PUSH1 0x00 000019fd: DUP3 000019fe: ADD 000019ff: PUSH1 0x00 00001a01: POP 00001a02: PUSH1 0x00 00001a04: SWAP1 00001a05: SSTORE 00001a06: PUSH1 0x01 00001a08: DUP3 00001a09: ADD 00001a0a: PUSH1 0x00 00001a0c: POP 00001a0d: PUSH1 0x00 00001a0f: SWAP1 00001a10: SSTORE 00001a11: PUSH1 0x02 00001a13: DUP3 00001a14: ADD 00001a15: PUSH1 0x00 00001a17: POP 00001a18: PUSH1 0x00 00001a1a: SWAP1 00001a1b: SSTORE 00001a1c: POP 00001a1d: POP 00001a1e: JUMPDEST 00001a1f: JUMPDEST 00001a20: DUP1 00001a21: PUSH1 0x01 00001a23: ADD 00001a24: SWAP1 00001a25: POP 00001a26: DUP1 00001a27: POP 00001a28: PUSH2 0x1986 00001a2b: JUMP 00001a2c: JUMPDEST 00001a2d: PUSH2 0x0104 00001a30: PUSH1 0x00 00001a32: POP 00001a33: DUP1 00001a34: SLOAD 00001a35: PUSH1 0x00 00001a37: DUP3 00001a38: SSTORE 00001a39: SWAP1 00001a3a: PUSH1 0x00 00001a3c: MSTORE 00001a3d: PUSH1 0x20 00001a3f: PUSH1 0x00 00001a41: KECCAK256 00001a42: SWAP1 00001a43: DUP2 00001a44: ADD 00001a45: SWAP1 00001a46: PUSH2 0x1a6d 00001a49: SWAP2 00001a4a: SWAP1 00001a4b: PUSH2 0x1a4f 00001a4e: JUMP 00001a4f: JUMPDEST 00001a50: DUP1 00001a51: DUP3 00001a52: GT 00001a53: ISZERO 00001a54: PUSH2 0x1a69 00001a57: JUMPI 00001a58: PUSH1 0x00 00001a5a: DUP2 00001a5b: DUP2 00001a5c: POP 00001a5d: PUSH1 0x00 00001a5f: SWAP1 00001a60: SSTORE 00001a61: POP 00001a62: PUSH1 0x01 00001a64: ADD 00001a65: PUSH2 0x1a4f 00001a68: JUMP 00001a69: JUMPDEST 00001a6a: POP 00001a6b: SWAP1 00001a6c: JUMP 00001a6d: JUMPDEST 00001a6e: JUMPDEST 00001a6f: POP 00001a70: JUMPDEST 00001a71: POP 00001a72: POP 00001a73: JUMP 00001a74: JUMPDEST 00001a75: PUSH1 0x00 00001a77: PUSH3 0x015180 00001a7b: TIMESTAMP 00001a7c: DIV 00001a7d: SWAP1 00001a7e: POP 00001a7f: PUSH2 0x1a83 00001a82: JUMP 00001a83: JUMPDEST 00001a84: SWAP1 00001a85: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xa4d41395bfa5398da9ae45918a41c453599e97cb34a383a53f747263a9a503a6
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xa4d41395bfa5398da9ae45918a41c453599e97cb34a383a53f747263a9a503a6",
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1092,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691
call_targets:
0x6d5719ff464c6624c30225931393f842e3a4a41a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6d5719ff464c6624c30225931393f842e3a4a41a"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2370,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3291,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691
call_targets:
0x6d5719ff464c6624c30225931393f842e3a4a41a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6d5719ff464c6624c30225931393f842e3a4a41a"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2370,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3291,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x9a2084719f95fde26fb5914792a1754f74848f89835064d99316ea0bbd94d158
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x9a2084719f95fde26fb5914792a1754f74848f89835064d99316ea0bbd94d158",
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|