019ba9a5-c73b-71f1-88c9-b7f3cfd99d71
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 |
|---|---|---|---|---|
| 37325 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37326 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37327 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37328 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37329 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37330 | detector.run | complete | 1 / 3 | 3 months ago |
| 37331 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0127 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x173825d9 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x016d 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2f54bf6e 00000046: EQ 00000047: PUSH2 0x018e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4123cb6b 00000051: EQ 00000052: PUSH2 0x01c3 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x52375093 0000005c: EQ 0000005d: PUSH2 0x01ea 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x54fd4d50 00000067: EQ 00000068: PUSH2 0x01ff 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x5c52c2f5 00000072: EQ 00000073: PUSH2 0x0214 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x659010e7 0000007d: EQ 0000007e: PUSH2 0x0229 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x7065cb48 00000088: EQ 00000089: PUSH2 0x023e 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x746c9171 00000093: EQ 00000094: PUSH2 0x025f 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x785e9e86 0000009e: EQ 0000009f: PUSH2 0x0274 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7b1a4909 000000a9: EQ 000000aa: PUSH2 0x02a5 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x7de1a631 000000b4: EQ 000000b5: PUSH2 0x02c9 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xb20d30a9 000000bf: EQ 000000c0: PUSH2 0x02e1 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xb75c7dc6 000000ca: EQ 000000cb: PUSH2 0x02f9 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xba51a6df 000000d5: EQ 000000d6: PUSH2 0x0311 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc2cf7326 000000e0: EQ 000000e1: PUSH2 0x0329 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xcbf0b0c0 000000eb: EQ 000000ec: PUSH2 0x034d 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xd2651855 000000f6: EQ 000000f7: PUSH2 0x036e 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf00d4b5d 00000101: EQ 00000102: PUSH2 0x038f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf1736d86 0000010c: EQ 0000010d: PUSH2 0x03b6 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xf7448a31 00000117: EQ 00000118: PUSH2 0x03cb 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xfa47c564 00000122: EQ 00000123: PUSH2 0x03ef 00000126: JUMPI 00000127: JUMPDEST 00000128: PUSH1 0x00 0000012a: CALLVALUE 0000012b: GT 0000012c: ISZERO 0000012d: PUSH2 0x016b 00000130: JUMPI 00000131: PUSH1 0x40 00000133: DUP1 00000134: MLOAD 00000135: CALLER 00000136: DUP2 00000137: MSTORE 00000138: CALLVALUE 00000139: PUSH1 0x20 0000013b: DUP3 0000013c: ADD 0000013d: MSTORE 0000013e: DUP2 0000013f: MLOAD 00000140: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000161: SWAP3 00000162: SWAP2 00000163: DUP2 00000164: SWAP1 00000165: SUB 00000166: SWAP1 00000167: SWAP2 00000168: ADD 00000169: SWAP1 0000016a: LOG1 0000016b: JUMPDEST 0000016c: STOP 0000016d: JUMPDEST 0000016e: CALLVALUE 0000016f: DUP1 00000170: ISZERO 00000171: PUSH2 0x0179 00000174: JUMPI 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: POP 0000017b: PUSH2 0x016b 0000017e: PUSH1 0x01 00000180: PUSH1 0xa0 00000182: PUSH1 0x02 00000184: EXP 00000185: SUB 00000186: PUSH1 0x04 00000188: CALLDATALOAD 00000189: AND 0000018a: PUSH2 0x0407 0000018d: JUMP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x01af 0000019f: PUSH1 0x01 000001a1: PUSH1 0xa0 000001a3: PUSH1 0x02 000001a5: EXP 000001a6: SUB 000001a7: PUSH1 0x04 000001a9: CALLDATALOAD 000001aa: AND 000001ab: PUSH2 0x0554 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH1 0x40 000001b2: DUP1 000001b3: MLOAD 000001b4: SWAP2 000001b5: ISZERO 000001b6: ISZERO 000001b7: DUP3 000001b8: MSTORE 000001b9: MLOAD 000001ba: SWAP1 000001bb: DUP2 000001bc: SWAP1 000001bd: SUB 000001be: PUSH1 0x20 000001c0: ADD 000001c1: SWAP1 000001c2: RETURN 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01d8 000001d4: PUSH2 0x0575 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH1 0x40 000001db: DUP1 000001dc: MLOAD 000001dd: SWAP2 000001de: DUP3 000001df: MSTORE 000001e0: MLOAD 000001e1: SWAP1 000001e2: DUP2 000001e3: SWAP1 000001e4: SUB 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP1 000001e9: RETURN 000001ea: JUMPDEST 000001eb: CALLVALUE 000001ec: DUP1 000001ed: ISZERO 000001ee: PUSH2 0x01f6 000001f1: JUMPI 000001f2: PUSH1 0x00 000001f4: DUP1 000001f5: REVERT 000001f6: JUMPDEST 000001f7: POP 000001f8: PUSH2 0x01d8 000001fb: PUSH2 0x057b 000001fe: JUMP 000001ff: JUMPDEST 00000200: CALLVALUE 00000201: DUP1 00000202: ISZERO 00000203: PUSH2 0x020b 00000206: JUMPI 00000207: PUSH1 0x00 00000209: DUP1 0000020a: REVERT 0000020b: JUMPDEST 0000020c: POP 0000020d: PUSH2 0x01d8 00000210: PUSH2 0x0582 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x016b 00000225: PUSH2 0x0589 00000228: JUMP 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x01d8 0000023a: PUSH2 0x0625 0000023d: JUMP 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: PUSH2 0x016b 0000024f: PUSH1 0x01 00000251: PUSH1 0xa0 00000253: PUSH1 0x02 00000255: EXP 00000256: SUB 00000257: PUSH1 0x04 00000259: CALLDATALOAD 0000025a: AND 0000025b: PUSH2 0x062c 0000025e: JUMP 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: PUSH2 0x01d8 00000270: PUSH2 0x077b 00000273: JUMP 00000274: JUMPDEST 00000275: CALLVALUE 00000276: DUP1 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: POP 00000282: PUSH2 0x0289 00000285: PUSH2 0x0781 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: DUP1 0000028d: MLOAD 0000028e: PUSH1 0x01 00000290: PUSH1 0xa0 00000292: PUSH1 0x02 00000294: EXP 00000295: SUB 00000296: SWAP1 00000297: SWAP3 00000298: AND 00000299: DUP3 0000029a: MSTORE 0000029b: MLOAD 0000029c: SWAP1 0000029d: DUP2 0000029e: SWAP1 0000029f: SUB 000002a0: PUSH1 0x20 000002a2: ADD 000002a3: SWAP1 000002a4: RETURN 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x01d8 000002b6: PUSH1 0x01 000002b8: PUSH1 0xa0 000002ba: PUSH1 0x02 000002bc: EXP 000002bd: SUB 000002be: PUSH1 0x04 000002c0: CALLDATALOAD 000002c1: AND 000002c2: PUSH1 0x24 000002c4: CALLDATALOAD 000002c5: PUSH2 0x0791 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x01af 000002da: PUSH1 0x04 000002dc: CALLDATALOAD 000002dd: PUSH2 0x0985 000002e0: JUMP 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: DUP1 000002e4: ISZERO 000002e5: PUSH2 0x02ed 000002e8: JUMPI 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: POP 000002ef: PUSH2 0x016b 000002f2: PUSH1 0x04 000002f4: CALLDATALOAD 000002f5: PUSH2 0x0ab1 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x016b 0000030a: PUSH1 0x04 0000030c: CALLDATALOAD 0000030d: PUSH2 0x0b4a 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH2 0x016b 00000322: PUSH1 0x04 00000324: CALLDATALOAD 00000325: PUSH2 0x0be2 00000328: JUMP 00000329: JUMPDEST 0000032a: CALLVALUE 0000032b: DUP1 0000032c: ISZERO 0000032d: PUSH2 0x0335 00000330: JUMPI 00000331: PUSH1 0x00 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: POP 00000337: PUSH2 0x01af 0000033a: PUSH1 0x04 0000033c: CALLDATALOAD 0000033d: PUSH1 0x01 0000033f: PUSH1 0xa0 00000341: PUSH1 0x02 00000343: EXP 00000344: SUB 00000345: PUSH1 0x24 00000347: CALLDATALOAD 00000348: AND 00000349: PUSH2 0x0cc7 0000034c: JUMP 0000034d: JUMPDEST 0000034e: CALLVALUE 0000034f: DUP1 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: PUSH2 0x016b 0000035e: PUSH1 0x01 00000360: PUSH1 0xa0 00000362: PUSH1 0x02 00000364: EXP 00000365: SUB 00000366: PUSH1 0x04 00000368: CALLDATALOAD 00000369: AND 0000036a: PUSH2 0x0d2b 0000036d: JUMP 0000036e: JUMPDEST 0000036f: CALLVALUE 00000370: DUP1 00000371: ISZERO 00000372: PUSH2 0x037a 00000375: JUMPI 00000376: PUSH1 0x00 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: POP 0000037c: PUSH2 0x016b 0000037f: PUSH1 0x01 00000381: PUSH1 0xa0 00000383: PUSH1 0x02 00000385: EXP 00000386: SUB 00000387: PUSH1 0x04 00000389: CALLDATALOAD 0000038a: AND 0000038b: PUSH2 0x0dc9 0000038e: JUMP 0000038f: JUMPDEST 00000390: CALLVALUE 00000391: DUP1 00000392: ISZERO 00000393: PUSH2 0x039b 00000396: JUMPI 00000397: PUSH1 0x00 00000399: DUP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: POP 0000039d: PUSH2 0x016b 000003a0: PUSH1 0x01 000003a2: PUSH1 0xa0 000003a4: PUSH1 0x02 000003a6: EXP 000003a7: SUB 000003a8: PUSH1 0x04 000003aa: CALLDATALOAD 000003ab: DUP2 000003ac: AND 000003ad: SWAP1 000003ae: PUSH1 0x24 000003b0: CALLDATALOAD 000003b1: AND 000003b2: PUSH2 0x0e8a 000003b5: JUMP 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: PUSH2 0x01d8 000003c7: PUSH2 0x0fe2 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH2 0x01d8 000003dc: PUSH1 0x01 000003de: PUSH1 0xa0 000003e0: PUSH1 0x02 000003e2: EXP 000003e3: SUB 000003e4: PUSH1 0x04 000003e6: CALLDATALOAD 000003e7: AND 000003e8: PUSH1 0x24 000003ea: CALLDATALOAD 000003eb: PUSH2 0x0fe9 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x01af 00000400: PUSH1 0x04 00000402: CALLDATALOAD 00000403: PUSH2 0x1266 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: CALLDATASIZE 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: PUSH1 0x20 00000411: ADD 00000412: DUP1 00000413: DUP4 00000414: DUP4 00000415: DUP1 00000416: DUP3 00000417: DUP5 00000418: CALLDATACOPY 00000419: DUP3 0000041a: ADD 0000041b: SWAP2 0000041c: POP 0000041d: POP 0000041e: SWAP3 0000041f: POP 00000420: POP 00000421: POP 00000422: PUSH1 0x40 00000424: MLOAD 00000425: PUSH1 0x20 00000427: DUP2 00000428: DUP4 00000429: SUB 0000042a: SUB 0000042b: DUP2 0000042c: MSTORE 0000042d: SWAP1 0000042e: PUSH1 0x40 00000430: MSTORE 00000431: PUSH1 0x40 00000433: MLOAD 00000434: DUP1 00000435: DUP3 00000436: DUP1 00000437: MLOAD 00000438: SWAP1 00000439: PUSH1 0x20 0000043b: ADD 0000043c: SWAP1 0000043d: DUP1 0000043e: DUP4 0000043f: DUP4 00000440: JUMPDEST 00000441: PUSH1 0x20 00000443: DUP4 00000444: LT 00000445: PUSH2 0x045f 00000448: JUMPI 00000449: DUP1 0000044a: MLOAD 0000044b: DUP3 0000044c: MSTORE 0000044d: PUSH1 0x1f 0000044f: NOT 00000450: SWAP1 00000451: SWAP3 00000452: ADD 00000453: SWAP2 00000454: PUSH1 0x20 00000456: SWAP2 00000457: DUP3 00000458: ADD 00000459: SWAP2 0000045a: ADD 0000045b: PUSH2 0x0440 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH1 0x01 00000462: DUP4 00000463: PUSH1 0x20 00000465: SUB 00000466: PUSH2 0x0100 00000469: EXP 0000046a: SUB 0000046b: DUP1 0000046c: NOT 0000046d: DUP3 0000046e: MLOAD 0000046f: AND 00000470: DUP2 00000471: DUP5 00000472: MLOAD 00000473: AND 00000474: DUP1 00000475: DUP3 00000476: OR 00000477: DUP6 00000478: MSTORE 00000479: POP 0000047a: POP 0000047b: POP 0000047c: POP 0000047d: POP 0000047e: POP 0000047f: SWAP1 00000480: POP 00000481: ADD 00000482: SWAP2 00000483: POP 00000484: POP 00000485: PUSH1 0x40 00000487: MLOAD 00000488: DUP1 00000489: SWAP2 0000048a: SUB 0000048b: SWAP1 0000048c: KECCAK256 0000048d: PUSH2 0x0495 00000490: DUP2 00000491: PUSH2 0x13fd 00000494: JUMP 00000495: JUMPDEST 00000496: ISZERO 00000497: PUSH2 0x054f 0000049a: JUMPI 0000049b: PUSH1 0x01 0000049d: PUSH1 0xa0 0000049f: PUSH1 0x02 000004a1: EXP 000004a2: SUB 000004a3: DUP4 000004a4: AND 000004a5: PUSH1 0x00 000004a7: SWAP1 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH2 0x0102 000004ad: PUSH1 0x20 000004af: MSTORE 000004b0: PUSH1 0x40 000004b2: SWAP1 000004b3: KECCAK256 000004b4: SLOAD 000004b5: SWAP2 000004b6: POP 000004b7: DUP2 000004b8: ISZERO 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH2 0x054f 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x01 000004c5: DUP1 000004c6: SLOAD 000004c7: SUB 000004c8: PUSH1 0x00 000004ca: SLOAD 000004cb: GT 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH2 0x054f 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x00 000004d8: PUSH1 0x02 000004da: DUP4 000004db: PUSH2 0x0100 000004de: DUP2 000004df: LT 000004e0: PUSH2 0x04e5 000004e3: JUMPI 000004e4: INVALID 000004e5: JUMPDEST 000004e6: ADD 000004e7: SSTORE 000004e8: PUSH1 0x01 000004ea: PUSH1 0xa0 000004ec: PUSH1 0x02 000004ee: EXP 000004ef: SUB 000004f0: DUP4 000004f1: AND 000004f2: PUSH1 0x00 000004f4: SWAP1 000004f5: DUP2 000004f6: MSTORE 000004f7: PUSH2 0x0102 000004fa: PUSH1 0x20 000004fc: MSTORE 000004fd: PUSH1 0x40 000004ff: DUP2 00000500: KECCAK256 00000501: SSTORE 00000502: PUSH2 0x0509 00000505: PUSH2 0x1549 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH2 0x0511 0000050d: PUSH2 0x15c8 00000510: JUMP 00000511: JUMPDEST 00000512: POP 00000513: PUSH1 0x40 00000515: DUP1 00000516: MLOAD 00000517: PUSH1 0x01 00000519: PUSH1 0xa0 0000051b: PUSH1 0x02 0000051d: EXP 0000051e: SUB 0000051f: DUP6 00000520: AND 00000521: DUP2 00000522: MSTORE 00000523: SWAP1 00000524: MLOAD 00000525: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 00000546: SWAP2 00000547: DUP2 00000548: SWAP1 00000549: SUB 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: SWAP1 0000054e: LOG1 0000054f: JUMPDEST 00000550: POP 00000551: POP 00000552: POP 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x01 00000557: PUSH1 0xa0 00000559: PUSH1 0x02 0000055b: EXP 0000055c: SUB 0000055d: DUP2 0000055e: AND 0000055f: PUSH1 0x00 00000561: SWAP1 00000562: DUP2 00000563: MSTORE 00000564: PUSH2 0x0102 00000567: PUSH1 0x20 00000569: MSTORE 0000056a: PUSH1 0x40 0000056c: DUP2 0000056d: KECCAK256 0000056e: SLOAD 0000056f: GT 00000570: JUMPDEST 00000571: SWAP2 00000572: SWAP1 00000573: POP 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH1 0x01 00000578: SLOAD 00000579: DUP2 0000057a: JUMP 0000057b: JUMPDEST 0000057c: PUSH2 0x0107 0000057f: SLOAD 00000580: DUP2 00000581: JUMP 00000582: JUMPDEST 00000583: PUSH2 0x0108 00000586: SLOAD 00000587: DUP2 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH1 0x00 0000058c: CALLDATASIZE 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: PUSH1 0x20 00000592: ADD 00000593: DUP1 00000594: DUP4 00000595: DUP4 00000596: DUP1 00000597: DUP3 00000598: DUP5 00000599: CALLDATACOPY 0000059a: DUP3 0000059b: ADD 0000059c: SWAP2 0000059d: POP 0000059e: POP 0000059f: SWAP3 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: PUSH1 0x20 000005a8: DUP2 000005a9: DUP4 000005aa: SUB 000005ab: SUB 000005ac: DUP2 000005ad: MSTORE 000005ae: SWAP1 000005af: PUSH1 0x40 000005b1: MSTORE 000005b2: PUSH1 0x40 000005b4: MLOAD 000005b5: DUP1 000005b6: DUP3 000005b7: DUP1 000005b8: MLOAD 000005b9: SWAP1 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP1 000005be: DUP1 000005bf: DUP4 000005c0: DUP4 000005c1: JUMPDEST 000005c2: PUSH1 0x20 000005c4: DUP4 000005c5: LT 000005c6: PUSH2 0x05e0 000005c9: JUMPI 000005ca: DUP1 000005cb: MLOAD 000005cc: DUP3 000005cd: MSTORE 000005ce: PUSH1 0x1f 000005d0: NOT 000005d1: SWAP1 000005d2: SWAP3 000005d3: ADD 000005d4: SWAP2 000005d5: PUSH1 0x20 000005d7: SWAP2 000005d8: DUP3 000005d9: ADD 000005da: SWAP2 000005db: ADD 000005dc: PUSH2 0x05c1 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH1 0x01 000005e3: DUP4 000005e4: PUSH1 0x20 000005e6: SUB 000005e7: PUSH2 0x0100 000005ea: EXP 000005eb: SUB 000005ec: DUP1 000005ed: NOT 000005ee: DUP3 000005ef: MLOAD 000005f0: AND 000005f1: DUP2 000005f2: DUP5 000005f3: MLOAD 000005f4: AND 000005f5: DUP1 000005f6: DUP3 000005f7: OR 000005f8: DUP6 000005f9: MSTORE 000005fa: POP 000005fb: POP 000005fc: POP 000005fd: POP 000005fe: POP 000005ff: POP 00000600: SWAP1 00000601: POP 00000602: ADD 00000603: SWAP2 00000604: POP 00000605: POP 00000606: PUSH1 0x40 00000608: MLOAD 00000609: DUP1 0000060a: SWAP2 0000060b: SUB 0000060c: SWAP1 0000060d: KECCAK256 0000060e: PUSH2 0x0616 00000611: DUP2 00000612: PUSH2 0x13fd 00000615: JUMP 00000616: JUMPDEST 00000617: ISZERO 00000618: PUSH2 0x0622 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: PUSH2 0x0106 00000621: SSTORE 00000622: JUMPDEST 00000623: POP 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH2 0x0106 00000629: SLOAD 0000062a: DUP2 0000062b: JUMP 0000062c: JUMPDEST 0000062d: PUSH1 0x00 0000062f: CALLDATASIZE 00000630: PUSH1 0x40 00000632: MLOAD 00000633: PUSH1 0x20 00000635: ADD 00000636: DUP1 00000637: DUP4 00000638: DUP4 00000639: DUP1 0000063a: DUP3 0000063b: DUP5 0000063c: CALLDATACOPY 0000063d: DUP3 0000063e: ADD 0000063f: SWAP2 00000640: POP 00000641: POP 00000642: SWAP3 00000643: POP 00000644: POP 00000645: POP 00000646: PUSH1 0x40 00000648: MLOAD 00000649: PUSH1 0x20 0000064b: DUP2 0000064c: DUP4 0000064d: SUB 0000064e: SUB 0000064f: DUP2 00000650: MSTORE 00000651: SWAP1 00000652: PUSH1 0x40 00000654: MSTORE 00000655: PUSH1 0x40 00000657: MLOAD 00000658: DUP1 00000659: DUP3 0000065a: DUP1 0000065b: MLOAD 0000065c: SWAP1 0000065d: PUSH1 0x20 0000065f: ADD 00000660: SWAP1 00000661: DUP1 00000662: DUP4 00000663: DUP4 00000664: JUMPDEST 00000665: PUSH1 0x20 00000667: DUP4 00000668: LT 00000669: PUSH2 0x0683 0000066c: JUMPI 0000066d: DUP1 0000066e: MLOAD 0000066f: DUP3 00000670: MSTORE 00000671: PUSH1 0x1f 00000673: NOT 00000674: SWAP1 00000675: SWAP3 00000676: ADD 00000677: SWAP2 00000678: PUSH1 0x20 0000067a: SWAP2 0000067b: DUP3 0000067c: ADD 0000067d: SWAP2 0000067e: ADD 0000067f: PUSH2 0x0664 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH1 0x01 00000686: DUP4 00000687: PUSH1 0x20 00000689: SUB 0000068a: PUSH2 0x0100 0000068d: EXP 0000068e: SUB 0000068f: DUP1 00000690: NOT 00000691: DUP3 00000692: MLOAD 00000693: AND 00000694: DUP2 00000695: DUP5 00000696: MLOAD 00000697: AND 00000698: DUP1 00000699: DUP3 0000069a: OR 0000069b: DUP6 0000069c: MSTORE 0000069d: POP 0000069e: POP 0000069f: POP 000006a0: POP 000006a1: POP 000006a2: POP 000006a3: SWAP1 000006a4: POP 000006a5: ADD 000006a6: SWAP2 000006a7: POP 000006a8: POP 000006a9: PUSH1 0x40 000006ab: MLOAD 000006ac: DUP1 000006ad: SWAP2 000006ae: SUB 000006af: SWAP1 000006b0: KECCAK256 000006b1: PUSH2 0x06b9 000006b4: DUP2 000006b5: PUSH2 0x13fd 000006b8: JUMP 000006b9: JUMPDEST 000006ba: ISZERO 000006bb: PUSH2 0x0777 000006be: JUMPI 000006bf: PUSH2 0x06c7 000006c2: DUP3 000006c3: PUSH2 0x0554 000006c6: JUMP 000006c7: JUMPDEST 000006c8: ISZERO 000006c9: PUSH2 0x06d1 000006cc: JUMPI 000006cd: PUSH2 0x0777 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH2 0x06d9 000006d5: PUSH2 0x1549 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH1 0x01 000006dc: SLOAD 000006dd: PUSH1 0xfa 000006df: GT 000006e0: PUSH2 0x06ed 000006e3: JUMPI 000006e4: PUSH2 0x06eb 000006e7: PUSH2 0x15c8 000006ea: JUMP 000006eb: JUMPDEST 000006ec: POP 000006ed: JUMPDEST 000006ee: PUSH1 0x01 000006f0: SLOAD 000006f1: PUSH1 0xfa 000006f3: GT 000006f4: PUSH2 0x06fc 000006f7: JUMPI 000006f8: PUSH2 0x0777 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH1 0x01 000006ff: DUP1 00000700: SLOAD 00000701: DUP2 00000702: ADD 00000703: SWAP1 00000704: DUP2 00000705: SWAP1 00000706: SSTORE 00000707: PUSH1 0x01 00000709: PUSH1 0xa0 0000070b: PUSH1 0x02 0000070d: EXP 0000070e: SUB 0000070f: DUP4 00000710: AND 00000711: SWAP1 00000712: PUSH1 0x02 00000714: SWAP1 00000715: PUSH2 0x0100 00000718: DUP2 00000719: LT 0000071a: PUSH2 0x071f 0000071d: JUMPI 0000071e: INVALID 0000071f: JUMPDEST 00000720: ADD 00000721: SSTORE 00000722: PUSH1 0x01 00000724: SLOAD 00000725: PUSH1 0x01 00000727: PUSH1 0xa0 00000729: PUSH1 0x02 0000072b: EXP 0000072c: SUB 0000072d: DUP4 0000072e: AND 0000072f: PUSH1 0x00 00000731: DUP2 00000732: DUP2 00000733: MSTORE 00000734: PUSH2 0x0102 00000737: PUSH1 0x20 00000739: SWAP1 0000073a: DUP2 0000073b: MSTORE 0000073c: PUSH1 0x40 0000073e: SWAP2 0000073f: DUP3 00000740: SWAP1 00000741: KECCAK256 00000742: SWAP4 00000743: SWAP1 00000744: SWAP4 00000745: SSTORE 00000746: DUP1 00000747: MLOAD 00000748: SWAP2 00000749: DUP3 0000074a: MSTORE 0000074b: MLOAD 0000074c: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 0000076d: SWAP3 0000076e: SWAP2 0000076f: DUP2 00000770: SWAP1 00000771: SUB 00000772: SWAP1 00000773: SWAP2 00000774: ADD 00000775: SWAP1 00000776: LOG1 00000777: JUMPDEST 00000778: POP 00000779: POP 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x00 0000077e: SLOAD 0000077f: DUP2 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH2 0x0109 00000785: SLOAD 00000786: PUSH1 0x01 00000788: PUSH1 0xa0 0000078a: PUSH1 0x02 0000078c: EXP 0000078d: SUB 0000078e: AND 0000078f: DUP2 00000790: JUMP 00000791: JUMPDEST 00000792: PUSH1 0x00 00000794: PUSH2 0x079c 00000797: CALLER 00000798: PUSH2 0x0554 0000079b: JUMP 0000079c: JUMPDEST 0000079d: ISZERO 0000079e: PUSH2 0x097f 000007a1: JUMPI 000007a2: PUSH2 0x07aa 000007a5: DUP3 000007a6: PUSH2 0x16e4 000007a9: JUMP 000007aa: JUMPDEST 000007ab: ISZERO 000007ac: PUSH2 0x0837 000007af: JUMPI 000007b0: PUSH1 0x40 000007b2: DUP1 000007b3: MLOAD 000007b4: CALLER 000007b5: DUP2 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: DUP2 000007ba: ADD 000007bb: DUP5 000007bc: SWAP1 000007bd: MSTORE 000007be: PUSH1 0x01 000007c0: PUSH1 0xa0 000007c2: PUSH1 0x02 000007c4: EXP 000007c5: SUB 000007c6: DUP6 000007c7: AND 000007c8: DUP2 000007c9: DUP4 000007ca: ADD 000007cb: MSTORE 000007cc: SWAP1 000007cd: MLOAD 000007ce: PUSH32 0x4f6201f683343e96e9541a12726d3e99f43268c4dd78e66bed2bf05299ce5d9e 000007ef: SWAP2 000007f0: DUP2 000007f1: SWAP1 000007f2: SUB 000007f3: PUSH1 0x60 000007f5: ADD 000007f6: SWAP1 000007f7: LOG1 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: PUSH1 0x01 000007fd: PUSH1 0xa0 000007ff: PUSH1 0x02 00000801: EXP 00000802: SUB 00000803: DUP5 00000804: AND 00000805: SWAP1 00000806: DUP4 00000807: ISZERO 00000808: PUSH2 0x08fc 0000080b: MUL 0000080c: SWAP1 0000080d: DUP5 0000080e: SWAP1 0000080f: PUSH1 0x00 00000811: DUP2 00000812: DUP2 00000813: DUP2 00000814: DUP6 00000815: DUP9 00000816: DUP9 00000817: CALL 00000818: SWAP4 00000819: POP 0000081a: POP 0000081b: POP 0000081c: POP 0000081d: ISZERO 0000081e: DUP1 0000081f: ISZERO 00000820: PUSH2 0x082d 00000823: JUMPI 00000824: RETURNDATASIZE 00000825: PUSH1 0x00 00000827: DUP1 00000828: RETURNDATACOPY 00000829: RETURNDATASIZE 0000082a: PUSH1 0x00 0000082c: REVERT 0000082d: JUMPDEST 0000082e: POP 0000082f: PUSH1 0x00 00000831: SWAP1 00000832: POP 00000833: PUSH2 0x097f 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x00 0000083a: CALLDATASIZE 0000083b: NUMBER 0000083c: PUSH1 0x40 0000083e: MLOAD 0000083f: PUSH1 0x20 00000841: ADD 00000842: DUP1 00000843: DUP5 00000844: DUP5 00000845: DUP1 00000846: DUP3 00000847: DUP5 00000848: CALLDATACOPY 00000849: DUP3 0000084a: ADD 0000084b: SWAP2 0000084c: POP 0000084d: POP 0000084e: DUP3 0000084f: DUP2 00000850: MSTORE 00000851: PUSH1 0x20 00000853: ADD 00000854: SWAP4 00000855: POP 00000856: POP 00000857: POP 00000858: POP 00000859: PUSH1 0x40 0000085b: MLOAD 0000085c: PUSH1 0x20 0000085e: DUP2 0000085f: DUP4 00000860: SUB 00000861: SUB 00000862: DUP2 00000863: MSTORE 00000864: SWAP1 00000865: PUSH1 0x40 00000867: MSTORE 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: DUP1 0000086c: DUP3 0000086d: DUP1 0000086e: MLOAD 0000086f: SWAP1 00000870: PUSH1 0x20 00000872: ADD 00000873: SWAP1 00000874: DUP1 00000875: DUP4 00000876: DUP4 00000877: JUMPDEST 00000878: PUSH1 0x20 0000087a: DUP4 0000087b: LT 0000087c: PUSH2 0x0896 0000087f: JUMPI 00000880: DUP1 00000881: MLOAD 00000882: DUP3 00000883: MSTORE 00000884: PUSH1 0x1f 00000886: NOT 00000887: SWAP1 00000888: SWAP3 00000889: ADD 0000088a: SWAP2 0000088b: PUSH1 0x20 0000088d: SWAP2 0000088e: DUP3 0000088f: ADD 00000890: SWAP2 00000891: ADD 00000892: PUSH2 0x0877 00000895: JUMP 00000896: JUMPDEST 00000897: PUSH1 0x01 00000899: DUP4 0000089a: PUSH1 0x20 0000089c: SUB 0000089d: PUSH2 0x0100 000008a0: EXP 000008a1: SUB 000008a2: DUP1 000008a3: NOT 000008a4: DUP3 000008a5: MLOAD 000008a6: AND 000008a7: DUP2 000008a8: DUP5 000008a9: MLOAD 000008aa: AND 000008ab: DUP1 000008ac: DUP3 000008ad: OR 000008ae: DUP6 000008af: MSTORE 000008b0: POP 000008b1: POP 000008b2: POP 000008b3: POP 000008b4: POP 000008b5: POP 000008b6: SWAP1 000008b7: POP 000008b8: ADD 000008b9: SWAP2 000008ba: POP 000008bb: POP 000008bc: PUSH1 0x40 000008be: MLOAD 000008bf: DUP1 000008c0: SWAP2 000008c1: SUB 000008c2: SWAP1 000008c3: KECCAK256 000008c4: SWAP1 000008c5: POP 000008c6: PUSH2 0x08ce 000008c9: DUP2 000008ca: PUSH2 0x0985 000008cd: JUMP 000008ce: JUMPDEST 000008cf: ISZERO 000008d0: DUP1 000008d1: ISZERO 000008d2: PUSH2 0x08f1 000008d5: JUMPI 000008d6: POP 000008d7: PUSH1 0x00 000008d9: DUP2 000008da: DUP2 000008db: MSTORE 000008dc: PUSH2 0x010a 000008df: PUSH1 0x20 000008e1: MSTORE 000008e2: PUSH1 0x40 000008e4: SWAP1 000008e5: KECCAK256 000008e6: SLOAD 000008e7: PUSH1 0x01 000008e9: PUSH1 0xa0 000008eb: PUSH1 0x02 000008ed: EXP 000008ee: SUB 000008ef: AND 000008f0: ISZERO 000008f1: JUMPDEST 000008f2: ISZERO 000008f3: PUSH2 0x097f 000008f6: JUMPI 000008f7: PUSH1 0x00 000008f9: DUP2 000008fa: DUP2 000008fb: MSTORE 000008fc: PUSH2 0x010a 000008ff: PUSH1 0x20 00000901: SWAP1 00000902: DUP2 00000903: MSTORE 00000904: PUSH1 0x40 00000906: SWAP2 00000907: DUP3 00000908: SWAP1 00000909: KECCAK256 0000090a: DUP1 0000090b: SLOAD 0000090c: PUSH1 0x01 0000090e: PUSH1 0xa0 00000910: PUSH1 0x02 00000912: EXP 00000913: SUB 00000914: DUP8 00000915: AND 00000916: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092b: NOT 0000092c: SWAP1 0000092d: SWAP2 0000092e: AND 0000092f: DUP2 00000930: OR 00000931: DUP3 00000932: SSTORE 00000933: PUSH1 0x01 00000935: SWAP1 00000936: SWAP2 00000937: ADD 00000938: DUP6 00000939: SWAP1 0000093a: SSTORE 0000093b: DUP3 0000093c: MLOAD 0000093d: DUP5 0000093e: DUP2 0000093f: MSTORE 00000940: CALLER 00000941: SWAP3 00000942: DUP2 00000943: ADD 00000944: SWAP3 00000945: SWAP1 00000946: SWAP3 00000947: MSTORE 00000948: DUP2 00000949: DUP4 0000094a: ADD 0000094b: DUP6 0000094c: SWAP1 0000094d: MSTORE 0000094e: PUSH1 0x60 00000950: DUP3 00000951: ADD 00000952: MSTORE 00000953: SWAP1 00000954: MLOAD 00000955: PUSH32 0xe8822e02b75091990be9e62536ea43bfedba392d5801cecae8473f992f262dc4 00000976: SWAP2 00000977: DUP2 00000978: SWAP1 00000979: SUB 0000097a: PUSH1 0x80 0000097c: ADD 0000097d: SWAP1 0000097e: LOG1 0000097f: JUMPDEST 00000980: SWAP3 00000981: SWAP2 00000982: POP 00000983: POP 00000984: JUMP 00000985: JUMPDEST 00000986: PUSH1 0x00 00000988: DUP2 00000989: PUSH2 0x0991 0000098c: DUP2 0000098d: PUSH2 0x13fd 00000990: JUMP 00000991: JUMPDEST 00000992: ISZERO 00000993: PUSH2 0x0aab 00000996: JUMPI 00000997: PUSH1 0x00 00000999: DUP4 0000099a: DUP2 0000099b: MSTORE 0000099c: PUSH2 0x010a 0000099f: PUSH1 0x20 000009a1: MSTORE 000009a2: PUSH1 0x40 000009a4: SWAP1 000009a5: KECCAK256 000009a6: SLOAD 000009a7: PUSH1 0x01 000009a9: PUSH1 0xa0 000009ab: PUSH1 0x02 000009ad: EXP 000009ae: SUB 000009af: AND 000009b0: ISZERO 000009b1: PUSH2 0x0aab 000009b4: JUMPI 000009b5: PUSH1 0x00 000009b7: DUP4 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH2 0x010a 000009bd: PUSH1 0x20 000009bf: MSTORE 000009c0: PUSH1 0x40 000009c2: DUP1 000009c3: DUP3 000009c4: KECCAK256 000009c5: DUP1 000009c6: SLOAD 000009c7: PUSH1 0x01 000009c9: SWAP1 000009ca: SWAP2 000009cb: ADD 000009cc: SLOAD 000009cd: SWAP2 000009ce: MLOAD 000009cf: PUSH1 0x01 000009d1: PUSH1 0xa0 000009d3: PUSH1 0x02 000009d5: EXP 000009d6: SUB 000009d7: SWAP1 000009d8: SWAP2 000009d9: AND 000009da: SWAP3 000009db: DUP3 000009dc: ISZERO 000009dd: PUSH2 0x08fc 000009e0: MUL 000009e1: SWAP3 000009e2: SWAP2 000009e3: SWAP1 000009e4: DUP2 000009e5: DUP2 000009e6: DUP2 000009e7: DUP6 000009e8: DUP9 000009e9: DUP9 000009ea: CALL 000009eb: SWAP4 000009ec: POP 000009ed: POP 000009ee: POP 000009ef: POP 000009f0: ISZERO 000009f1: DUP1 000009f2: ISZERO 000009f3: PUSH2 0x0a00 000009f6: JUMPI 000009f7: RETURNDATASIZE 000009f8: PUSH1 0x00 000009fa: DUP1 000009fb: RETURNDATACOPY 000009fc: RETURNDATASIZE 000009fd: PUSH1 0x00 000009ff: REVERT 00000a00: JUMPDEST 00000a01: POP 00000a02: PUSH1 0x00 00000a04: DUP4 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH2 0x010a 00000a0a: PUSH1 0x20 00000a0c: SWAP1 00000a0d: DUP2 00000a0e: MSTORE 00000a0f: PUSH1 0x40 00000a11: SWAP2 00000a12: DUP3 00000a13: SWAP1 00000a14: KECCAK256 00000a15: PUSH1 0x01 00000a17: DUP2 00000a18: ADD 00000a19: SLOAD 00000a1a: SWAP1 00000a1b: SLOAD 00000a1c: DUP4 00000a1d: MLOAD 00000a1e: CALLER 00000a1f: DUP2 00000a20: MSTORE 00000a21: SWAP3 00000a22: DUP4 00000a23: ADD 00000a24: DUP8 00000a25: SWAP1 00000a26: MSTORE 00000a27: DUP3 00000a28: DUP5 00000a29: ADD 00000a2a: SWAP2 00000a2b: SWAP1 00000a2c: SWAP2 00000a2d: MSTORE 00000a2e: PUSH1 0x01 00000a30: PUSH1 0xa0 00000a32: PUSH1 0x02 00000a34: EXP 00000a35: SUB 00000a36: AND 00000a37: PUSH1 0x60 00000a39: DUP3 00000a3a: ADD 00000a3b: MSTORE 00000a3c: SWAP1 00000a3d: MLOAD 00000a3e: PUSH32 0x73586c7e29af20c2cfb512293fb21f274d22b3fa0df53f2bb28977be93d54512 00000a5f: SWAP2 00000a60: DUP2 00000a61: SWAP1 00000a62: SUB 00000a63: PUSH1 0x80 00000a65: ADD 00000a66: SWAP1 00000a67: LOG1 00000a68: PUSH1 0x00 00000a6a: DUP4 00000a6b: DUP2 00000a6c: MSTORE 00000a6d: PUSH2 0x010a 00000a70: PUSH1 0x20 00000a72: MSTORE 00000a73: PUSH1 0x40 00000a75: DUP2 00000a76: KECCAK256 00000a77: DUP1 00000a78: SLOAD 00000a79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8e: NOT 00000a8f: SWAP1 00000a90: DUP2 00000a91: AND 00000a92: DUP3 00000a93: SSTORE 00000a94: PUSH1 0x01 00000a96: DUP1 00000a97: DUP4 00000a98: ADD 00000a99: SWAP4 00000a9a: SWAP1 00000a9b: SWAP4 00000a9c: SSTORE 00000a9d: PUSH1 0x02 00000a9f: SWAP1 00000aa0: SWAP2 00000aa1: ADD 00000aa2: DUP1 00000aa3: SLOAD 00000aa4: SWAP1 00000aa5: SWAP2 00000aa6: AND 00000aa7: SWAP1 00000aa8: SSTORE 00000aa9: SWAP2 00000aaa: POP 00000aab: JUMPDEST 00000aac: POP 00000aad: SWAP2 00000aae: SWAP1 00000aaf: POP 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: PUSH1 0x00 00000ab4: CALLDATASIZE 00000ab5: PUSH1 0x40 00000ab7: MLOAD 00000ab8: PUSH1 0x20 00000aba: ADD 00000abb: DUP1 00000abc: DUP4 00000abd: DUP4 00000abe: DUP1 00000abf: DUP3 00000ac0: DUP5 00000ac1: CALLDATACOPY 00000ac2: DUP3 00000ac3: ADD 00000ac4: SWAP2 00000ac5: POP 00000ac6: POP 00000ac7: SWAP3 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: PUSH1 0x40 00000acd: MLOAD 00000ace: PUSH1 0x20 00000ad0: DUP2 00000ad1: DUP4 00000ad2: SUB 00000ad3: SUB 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: SWAP1 00000ad7: PUSH1 0x40 00000ad9: MSTORE 00000ada: PUSH1 0x40 00000adc: MLOAD 00000add: DUP1 00000ade: DUP3 00000adf: DUP1 00000ae0: MLOAD 00000ae1: SWAP1 00000ae2: PUSH1 0x20 00000ae4: ADD 00000ae5: SWAP1 00000ae6: DUP1 00000ae7: DUP4 00000ae8: DUP4 00000ae9: JUMPDEST 00000aea: PUSH1 0x20 00000aec: DUP4 00000aed: LT 00000aee: PUSH2 0x0b08 00000af1: JUMPI 00000af2: DUP1 00000af3: MLOAD 00000af4: DUP3 00000af5: MSTORE 00000af6: PUSH1 0x1f 00000af8: NOT 00000af9: SWAP1 00000afa: SWAP3 00000afb: ADD 00000afc: SWAP2 00000afd: PUSH1 0x20 00000aff: SWAP2 00000b00: DUP3 00000b01: ADD 00000b02: SWAP2 00000b03: ADD 00000b04: PUSH2 0x0ae9 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x01 00000b0b: DUP4 00000b0c: PUSH1 0x20 00000b0e: SUB 00000b0f: PUSH2 0x0100 00000b12: EXP 00000b13: SUB 00000b14: DUP1 00000b15: NOT 00000b16: DUP3 00000b17: MLOAD 00000b18: AND 00000b19: DUP2 00000b1a: DUP5 00000b1b: MLOAD 00000b1c: AND 00000b1d: DUP1 00000b1e: DUP3 00000b1f: OR 00000b20: DUP6 00000b21: MSTORE 00000b22: POP 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: POP 00000b27: POP 00000b28: SWAP1 00000b29: POP 00000b2a: ADD 00000b2b: SWAP2 00000b2c: POP 00000b2d: POP 00000b2e: PUSH1 0x40 00000b30: MLOAD 00000b31: DUP1 00000b32: SWAP2 00000b33: SUB 00000b34: SWAP1 00000b35: KECCAK256 00000b36: PUSH2 0x0b3e 00000b39: DUP2 00000b3a: PUSH2 0x13fd 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: ISZERO 00000b40: PUSH2 0x0777 00000b43: JUMPI 00000b44: POP 00000b45: PUSH2 0x0105 00000b48: SSTORE 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: CALLER 00000b4c: PUSH1 0x00 00000b4e: SWAP1 00000b4f: DUP2 00000b50: MSTORE 00000b51: PUSH2 0x0102 00000b54: PUSH1 0x20 00000b56: MSTORE 00000b57: PUSH1 0x40 00000b59: DUP2 00000b5a: KECCAK256 00000b5b: SLOAD 00000b5c: SWAP1 00000b5d: DUP1 00000b5e: DUP3 00000b5f: ISZERO 00000b60: ISZERO 00000b61: PUSH2 0x0b69 00000b64: JUMPI 00000b65: PUSH2 0x0bdc 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: POP 00000b6b: POP 00000b6c: PUSH1 0x00 00000b6e: DUP3 00000b6f: DUP2 00000b70: MSTORE 00000b71: PUSH2 0x0103 00000b74: PUSH1 0x20 00000b76: MSTORE 00000b77: PUSH1 0x40 00000b79: DUP2 00000b7a: KECCAK256 00000b7b: PUSH1 0x01 00000b7d: DUP2 00000b7e: ADD 00000b7f: SLOAD 00000b80: PUSH1 0x02 00000b82: DUP5 00000b83: SWAP1 00000b84: EXP 00000b85: SWAP3 00000b86: SWAP1 00000b87: DUP4 00000b88: AND 00000b89: GT 00000b8a: ISZERO 00000b8b: PUSH2 0x0bdc 00000b8e: JUMPI 00000b8f: DUP1 00000b90: SLOAD 00000b91: PUSH1 0x01 00000b93: SWAP1 00000b94: DUP2 00000b95: ADD 00000b96: DUP3 00000b97: SSTORE 00000b98: DUP2 00000b99: ADD 00000b9a: DUP1 00000b9b: SLOAD 00000b9c: DUP4 00000b9d: SWAP1 00000b9e: SUB 00000b9f: SWAP1 00000ba0: SSTORE 00000ba1: PUSH1 0x40 00000ba3: DUP1 00000ba4: MLOAD 00000ba5: CALLER 00000ba6: DUP2 00000ba7: MSTORE 00000ba8: PUSH1 0x20 00000baa: DUP2 00000bab: ADD 00000bac: DUP7 00000bad: SWAP1 00000bae: MSTORE 00000baf: DUP2 00000bb0: MLOAD 00000bb1: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 00000bd2: SWAP3 00000bd3: SWAP2 00000bd4: DUP2 00000bd5: SWAP1 00000bd6: SUB 00000bd7: SWAP1 00000bd8: SWAP2 00000bd9: ADD 00000bda: SWAP1 00000bdb: LOG1 00000bdc: JUMPDEST 00000bdd: POP 00000bde: POP 00000bdf: POP 00000be0: POP 00000be1: JUMP 00000be2: JUMPDEST 00000be3: PUSH1 0x00 00000be5: CALLDATASIZE 00000be6: PUSH1 0x40 00000be8: MLOAD 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: DUP1 00000bed: DUP4 00000bee: DUP4 00000bef: DUP1 00000bf0: DUP3 00000bf1: DUP5 00000bf2: CALLDATACOPY 00000bf3: DUP3 00000bf4: ADD 00000bf5: SWAP2 00000bf6: POP 00000bf7: POP 00000bf8: SWAP3 00000bf9: POP 00000bfa: POP 00000bfb: POP 00000bfc: PUSH1 0x40 00000bfe: MLOAD 00000bff: PUSH1 0x20 00000c01: DUP2 00000c02: DUP4 00000c03: SUB 00000c04: SUB 00000c05: DUP2 00000c06: MSTORE 00000c07: SWAP1 00000c08: PUSH1 0x40 00000c0a: MSTORE 00000c0b: PUSH1 0x40 00000c0d: MLOAD 00000c0e: DUP1 00000c0f: DUP3 00000c10: DUP1 00000c11: MLOAD 00000c12: SWAP1 00000c13: PUSH1 0x20 00000c15: ADD 00000c16: SWAP1 00000c17: DUP1 00000c18: DUP4 00000c19: DUP4 00000c1a: JUMPDEST 00000c1b: PUSH1 0x20 00000c1d: DUP4 00000c1e: LT 00000c1f: PUSH2 0x0c39 00000c22: JUMPI 00000c23: DUP1 00000c24: MLOAD 00000c25: DUP3 00000c26: MSTORE 00000c27: PUSH1 0x1f 00000c29: NOT 00000c2a: SWAP1 00000c2b: SWAP3 00000c2c: ADD 00000c2d: SWAP2 00000c2e: PUSH1 0x20 00000c30: SWAP2 00000c31: DUP3 00000c32: ADD 00000c33: SWAP2 00000c34: ADD 00000c35: PUSH2 0x0c1a 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: PUSH1 0x01 00000c3c: DUP4 00000c3d: PUSH1 0x20 00000c3f: SUB 00000c40: PUSH2 0x0100 00000c43: EXP 00000c44: SUB 00000c45: DUP1 00000c46: NOT 00000c47: DUP3 00000c48: MLOAD 00000c49: AND 00000c4a: DUP2 00000c4b: DUP5 00000c4c: MLOAD 00000c4d: AND 00000c4e: DUP1 00000c4f: DUP3 00000c50: OR 00000c51: DUP6 00000c52: MSTORE 00000c53: POP 00000c54: POP 00000c55: POP 00000c56: POP 00000c57: POP 00000c58: POP 00000c59: SWAP1 00000c5a: POP 00000c5b: ADD 00000c5c: SWAP2 00000c5d: POP 00000c5e: POP 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: DUP1 00000c63: SWAP2 00000c64: SUB 00000c65: SWAP1 00000c66: KECCAK256 00000c67: PUSH2 0x0c6f 00000c6a: DUP2 00000c6b: PUSH2 0x13fd 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: ISZERO 00000c71: PUSH2 0x0777 00000c74: JUMPI 00000c75: PUSH1 0x01 00000c77: SLOAD 00000c78: DUP3 00000c79: GT 00000c7a: ISZERO 00000c7b: PUSH2 0x0c83 00000c7e: JUMPI 00000c7f: PUSH2 0x0777 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH1 0x00 00000c86: DUP3 00000c87: SWAP1 00000c88: SSTORE 00000c89: PUSH2 0x0c90 00000c8c: PUSH2 0x1549 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: PUSH1 0x40 00000c93: DUP1 00000c94: MLOAD 00000c95: DUP4 00000c96: DUP2 00000c97: MSTORE 00000c98: SWAP1 00000c99: MLOAD 00000c9a: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000cbb: SWAP2 00000cbc: DUP2 00000cbd: SWAP1 00000cbe: SUB 00000cbf: PUSH1 0x20 00000cc1: ADD 00000cc2: SWAP1 00000cc3: LOG1 00000cc4: POP 00000cc5: POP 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH1 0x00 00000cca: DUP3 00000ccb: DUP2 00000ccc: MSTORE 00000ccd: PUSH2 0x0103 00000cd0: PUSH1 0x20 00000cd2: SWAP1 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x40 00000cd7: DUP1 00000cd8: DUP4 00000cd9: KECCAK256 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: PUSH1 0x02 00000ce0: EXP 00000ce1: SUB 00000ce2: DUP6 00000ce3: AND 00000ce4: DUP5 00000ce5: MSTORE 00000ce6: PUSH2 0x0102 00000ce9: SWAP1 00000cea: SWAP3 00000ceb: MSTORE 00000cec: DUP3 00000ced: KECCAK256 00000cee: SLOAD 00000cef: DUP3 00000cf0: DUP2 00000cf1: ISZERO 00000cf2: ISZERO 00000cf3: PUSH2 0x0cff 00000cf6: JUMPI 00000cf7: PUSH1 0x00 00000cf9: SWAP4 00000cfa: POP 00000cfb: PUSH2 0x0d22 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: DUP2 00000d01: PUSH1 0x02 00000d03: EXP 00000d04: SWAP1 00000d05: POP 00000d06: DUP1 00000d07: DUP4 00000d08: PUSH1 0x01 00000d0a: ADD 00000d0b: SLOAD 00000d0c: AND 00000d0d: PUSH1 0x00 00000d0f: EQ 00000d10: ISZERO 00000d11: PUSH2 0x0d1d 00000d14: JUMPI 00000d15: PUSH1 0x00 00000d17: SWAP4 00000d18: POP 00000d19: PUSH2 0x0d22 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH1 0x01 00000d20: SWAP4 00000d21: POP 00000d22: JUMPDEST 00000d23: POP 00000d24: POP 00000d25: POP 00000d26: SWAP3 00000d27: SWAP2 00000d28: POP 00000d29: POP 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: PUSH1 0x00 00000d2e: CALLDATASIZE 00000d2f: PUSH1 0x40 00000d31: MLOAD 00000d32: PUSH1 0x20 00000d34: ADD 00000d35: DUP1 00000d36: DUP4 00000d37: DUP4 00000d38: DUP1 00000d39: DUP3 00000d3a: DUP5 00000d3b: CALLDATACOPY 00000d3c: DUP3 00000d3d: ADD 00000d3e: SWAP2 00000d3f: POP 00000d40: POP 00000d41: SWAP3 00000d42: POP 00000d43: POP 00000d44: POP 00000d45: PUSH1 0x40 00000d47: MLOAD 00000d48: PUSH1 0x20 00000d4a: DUP2 00000d4b: DUP4 00000d4c: SUB 00000d4d: SUB 00000d4e: DUP2 00000d4f: MSTORE 00000d50: SWAP1 00000d51: PUSH1 0x40 00000d53: MSTORE 00000d54: PUSH1 0x40 00000d56: MLOAD 00000d57: DUP1 00000d58: DUP3 00000d59: DUP1 00000d5a: MLOAD 00000d5b: SWAP1 00000d5c: PUSH1 0x20 00000d5e: ADD 00000d5f: SWAP1 00000d60: DUP1 00000d61: DUP4 00000d62: DUP4 00000d63: JUMPDEST 00000d64: PUSH1 0x20 00000d66: DUP4 00000d67: LT 00000d68: PUSH2 0x0d82 00000d6b: JUMPI 00000d6c: DUP1 00000d6d: MLOAD 00000d6e: DUP3 00000d6f: MSTORE 00000d70: PUSH1 0x1f 00000d72: NOT 00000d73: SWAP1 00000d74: SWAP3 00000d75: ADD 00000d76: SWAP2 00000d77: PUSH1 0x20 00000d79: SWAP2 00000d7a: DUP3 00000d7b: ADD 00000d7c: SWAP2 00000d7d: ADD 00000d7e: PUSH2 0x0d63 00000d81: JUMP 00000d82: JUMPDEST 00000d83: PUSH1 0x01 00000d85: DUP4 00000d86: PUSH1 0x20 00000d88: SUB 00000d89: PUSH2 0x0100 00000d8c: EXP 00000d8d: SUB 00000d8e: DUP1 00000d8f: NOT 00000d90: DUP3 00000d91: MLOAD 00000d92: AND 00000d93: DUP2 00000d94: DUP5 00000d95: MLOAD 00000d96: AND 00000d97: DUP1 00000d98: DUP3 00000d99: OR 00000d9a: DUP6 00000d9b: MSTORE 00000d9c: POP 00000d9d: POP 00000d9e: POP 00000d9f: POP 00000da0: POP 00000da1: POP 00000da2: SWAP1 00000da3: POP 00000da4: ADD 00000da5: SWAP2 00000da6: POP 00000da7: POP 00000da8: PUSH1 0x40 00000daa: MLOAD 00000dab: DUP1 00000dac: SWAP2 00000dad: SUB 00000dae: SWAP1 00000daf: KECCAK256 00000db0: PUSH2 0x0db8 00000db3: DUP2 00000db4: PUSH2 0x13fd 00000db7: JUMP 00000db8: JUMPDEST 00000db9: ISZERO 00000dba: PUSH2 0x0777 00000dbd: JUMPI 00000dbe: DUP2 00000dbf: PUSH1 0x01 00000dc1: PUSH1 0xa0 00000dc3: PUSH1 0x02 00000dc5: EXP 00000dc6: SUB 00000dc7: AND 00000dc8: SELFDESTRUCT 00000dc9: JUMPDEST 00000dca: PUSH1 0x00 00000dcc: CALLDATASIZE 00000dcd: PUSH1 0x40 00000dcf: MLOAD 00000dd0: PUSH1 0x20 00000dd2: ADD 00000dd3: DUP1 00000dd4: DUP4 00000dd5: DUP4 00000dd6: DUP1 00000dd7: DUP3 00000dd8: DUP5 00000dd9: CALLDATACOPY 00000dda: DUP3 00000ddb: ADD 00000ddc: SWAP2 00000ddd: POP 00000dde: POP 00000ddf: SWAP3 00000de0: POP 00000de1: POP 00000de2: POP 00000de3: PUSH1 0x40 00000de5: MLOAD 00000de6: PUSH1 0x20 00000de8: DUP2 00000de9: DUP4 00000dea: SUB 00000deb: SUB 00000dec: DUP2 00000ded: MSTORE 00000dee: SWAP1 00000def: PUSH1 0x40 00000df1: MSTORE 00000df2: PUSH1 0x40 00000df4: MLOAD 00000df5: DUP1 00000df6: DUP3 00000df7: DUP1 00000df8: MLOAD 00000df9: SWAP1 00000dfa: PUSH1 0x20 00000dfc: ADD 00000dfd: SWAP1 00000dfe: DUP1 00000dff: DUP4 00000e00: DUP4 00000e01: JUMPDEST 00000e02: PUSH1 0x20 00000e04: DUP4 00000e05: LT 00000e06: PUSH2 0x0e20 00000e09: JUMPI 00000e0a: DUP1 00000e0b: MLOAD 00000e0c: DUP3 00000e0d: MSTORE 00000e0e: PUSH1 0x1f 00000e10: NOT 00000e11: SWAP1 00000e12: SWAP3 00000e13: ADD 00000e14: SWAP2 00000e15: PUSH1 0x20 00000e17: SWAP2 00000e18: DUP3 00000e19: ADD 00000e1a: SWAP2 00000e1b: ADD 00000e1c: PUSH2 0x0e01 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x01 00000e23: DUP4 00000e24: PUSH1 0x20 00000e26: SUB 00000e27: PUSH2 0x0100 00000e2a: EXP 00000e2b: SUB 00000e2c: DUP1 00000e2d: NOT 00000e2e: DUP3 00000e2f: MLOAD 00000e30: AND 00000e31: DUP2 00000e32: DUP5 00000e33: MLOAD 00000e34: AND 00000e35: DUP1 00000e36: DUP3 00000e37: OR 00000e38: DUP6 00000e39: MSTORE 00000e3a: POP 00000e3b: POP 00000e3c: POP 00000e3d: POP 00000e3e: POP 00000e3f: POP 00000e40: SWAP1 00000e41: POP 00000e42: ADD 00000e43: SWAP2 00000e44: POP 00000e45: POP 00000e46: PUSH1 0x40 00000e48: MLOAD 00000e49: DUP1 00000e4a: SWAP2 00000e4b: SUB 00000e4c: SWAP1 00000e4d: KECCAK256 00000e4e: PUSH2 0x0e56 00000e51: DUP2 00000e52: PUSH2 0x13fd 00000e55: JUMP 00000e56: JUMPDEST 00000e57: ISZERO 00000e58: PUSH2 0x0777 00000e5b: JUMPI 00000e5c: PUSH2 0x0109 00000e5f: DUP1 00000e60: SLOAD 00000e61: PUSH1 0x01 00000e63: PUSH1 0xa0 00000e65: PUSH1 0x02 00000e67: EXP 00000e68: SUB 00000e69: DUP5 00000e6a: AND 00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e80: NOT 00000e81: SWAP1 00000e82: SWAP2 00000e83: AND 00000e84: OR 00000e85: SWAP1 00000e86: SSTORE 00000e87: POP 00000e88: POP 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x00 00000e8d: DUP1 00000e8e: CALLDATASIZE 00000e8f: PUSH1 0x40 00000e91: MLOAD 00000e92: PUSH1 0x20 00000e94: ADD 00000e95: DUP1 00000e96: DUP4 00000e97: DUP4 00000e98: DUP1 00000e99: DUP3 00000e9a: DUP5 00000e9b: CALLDATACOPY 00000e9c: DUP3 00000e9d: ADD 00000e9e: SWAP2 00000e9f: POP 00000ea0: POP 00000ea1: SWAP3 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: PUSH1 0x40 00000ea7: MLOAD 00000ea8: PUSH1 0x20 00000eaa: DUP2 00000eab: DUP4 00000eac: SUB 00000ead: SUB 00000eae: DUP2 00000eaf: MSTORE 00000eb0: SWAP1 00000eb1: PUSH1 0x40 00000eb3: MSTORE 00000eb4: PUSH1 0x40 00000eb6: MLOAD 00000eb7: DUP1 00000eb8: DUP3 00000eb9: DUP1 00000eba: MLOAD 00000ebb: SWAP1 00000ebc: PUSH1 0x20 00000ebe: ADD 00000ebf: SWAP1 00000ec0: DUP1 00000ec1: DUP4 00000ec2: DUP4 00000ec3: JUMPDEST 00000ec4: PUSH1 0x20 00000ec6: DUP4 00000ec7: LT 00000ec8: PUSH2 0x0ee2 00000ecb: JUMPI 00000ecc: DUP1 00000ecd: MLOAD 00000ece: DUP3 00000ecf: MSTORE 00000ed0: PUSH1 0x1f 00000ed2: NOT 00000ed3: SWAP1 00000ed4: SWAP3 00000ed5: ADD 00000ed6: SWAP2 00000ed7: PUSH1 0x20 00000ed9: SWAP2 00000eda: DUP3 00000edb: ADD 00000edc: SWAP2 00000edd: ADD 00000ede: PUSH2 0x0ec3 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: PUSH1 0x01 00000ee5: DUP4 00000ee6: PUSH1 0x20 00000ee8: SUB 00000ee9: PUSH2 0x0100 00000eec: EXP 00000eed: SUB 00000eee: DUP1 00000eef: NOT 00000ef0: DUP3 00000ef1: MLOAD 00000ef2: AND 00000ef3: DUP2 00000ef4: DUP5 00000ef5: MLOAD 00000ef6: AND 00000ef7: DUP1 00000ef8: DUP3 00000ef9: OR 00000efa: DUP6 00000efb: MSTORE 00000efc: POP 00000efd: POP 00000efe: POP 00000eff: POP 00000f00: POP 00000f01: POP 00000f02: SWAP1 00000f03: POP 00000f04: ADD 00000f05: SWAP2 00000f06: POP 00000f07: POP 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: DUP1 00000f0c: SWAP2 00000f0d: SUB 00000f0e: SWAP1 00000f0f: KECCAK256 00000f10: PUSH2 0x0f18 00000f13: DUP2 00000f14: PUSH2 0x13fd 00000f17: JUMP 00000f18: JUMPDEST 00000f19: ISZERO 00000f1a: PUSH2 0x0bdc 00000f1d: JUMPI 00000f1e: PUSH2 0x0f26 00000f21: DUP4 00000f22: PUSH2 0x0554 00000f25: JUMP 00000f26: JUMPDEST 00000f27: ISZERO 00000f28: PUSH2 0x0f30 00000f2b: JUMPI 00000f2c: PUSH2 0x0bdc 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH1 0x01 00000f33: PUSH1 0xa0 00000f35: PUSH1 0x02 00000f37: EXP 00000f38: SUB 00000f39: DUP5 00000f3a: AND 00000f3b: PUSH1 0x00 00000f3d: SWAP1 00000f3e: DUP2 00000f3f: MSTORE 00000f40: PUSH2 0x0102 00000f43: PUSH1 0x20 00000f45: MSTORE 00000f46: PUSH1 0x40 00000f48: SWAP1 00000f49: KECCAK256 00000f4a: SLOAD 00000f4b: SWAP2 00000f4c: POP 00000f4d: DUP2 00000f4e: ISZERO 00000f4f: ISZERO 00000f50: PUSH2 0x0f58 00000f53: JUMPI 00000f54: PUSH2 0x0bdc 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH2 0x0f60 00000f5c: PUSH2 0x1549 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: PUSH1 0x01 00000f63: PUSH1 0xa0 00000f65: PUSH1 0x02 00000f67: EXP 00000f68: SUB 00000f69: DUP4 00000f6a: AND 00000f6b: PUSH1 0x02 00000f6d: DUP4 00000f6e: PUSH2 0x0100 00000f71: DUP2 00000f72: LT 00000f73: PUSH2 0x0f78 00000f76: JUMPI 00000f77: INVALID 00000f78: JUMPDEST 00000f79: ADD 00000f7a: SSTORE 00000f7b: PUSH1 0x01 00000f7d: PUSH1 0xa0 00000f7f: PUSH1 0x02 00000f81: EXP 00000f82: SUB 00000f83: DUP1 00000f84: DUP6 00000f85: AND 00000f86: PUSH1 0x00 00000f88: DUP2 00000f89: DUP2 00000f8a: MSTORE 00000f8b: PUSH2 0x0102 00000f8e: PUSH1 0x20 00000f90: SWAP1 00000f91: DUP2 00000f92: MSTORE 00000f93: PUSH1 0x40 00000f95: DUP1 00000f96: DUP4 00000f97: KECCAK256 00000f98: DUP4 00000f99: SWAP1 00000f9a: SSTORE 00000f9b: SWAP4 00000f9c: DUP8 00000f9d: AND 00000f9e: DUP1 00000f9f: DUP4 00000fa0: MSTORE 00000fa1: SWAP2 00000fa2: DUP5 00000fa3: SWAP1 00000fa4: KECCAK256 00000fa5: DUP7 00000fa6: SWAP1 00000fa7: SSTORE 00000fa8: DUP4 00000fa9: MLOAD 00000faa: SWAP3 00000fab: DUP4 00000fac: MSTORE 00000fad: DUP3 00000fae: ADD 00000faf: MSTORE 00000fb0: DUP2 00000fb1: MLOAD 00000fb2: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000fd3: SWAP3 00000fd4: SWAP2 00000fd5: DUP2 00000fd6: SWAP1 00000fd7: SUB 00000fd8: SWAP1 00000fd9: SWAP2 00000fda: ADD 00000fdb: SWAP1 00000fdc: LOG1 00000fdd: POP 00000fde: POP 00000fdf: POP 00000fe0: POP 00000fe1: JUMP 00000fe2: JUMPDEST 00000fe3: PUSH2 0x0105 00000fe6: SLOAD 00000fe7: DUP2 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: PUSH1 0x00 00000fec: PUSH2 0x0ff4 00000fef: CALLER 00000ff0: PUSH2 0x0554 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: ISZERO 00000ff6: PUSH2 0x097f 00000ff9: JUMPI 00000ffa: PUSH2 0x1002 00000ffd: DUP3 00000ffe: PUSH2 0x16e4 00001001: JUMP 00001002: JUMPDEST 00001003: ISZERO 00001004: PUSH2 0x10f5 00001007: JUMPI 00001008: PUSH1 0x40 0000100a: DUP1 0000100b: MLOAD 0000100c: CALLER 0000100d: DUP2 0000100e: MSTORE 0000100f: PUSH1 0x20 00001011: DUP2 00001012: ADD 00001013: DUP5 00001014: SWAP1 00001015: MSTORE 00001016: PUSH1 0x01 00001018: PUSH1 0xa0 0000101a: PUSH1 0x02 0000101c: EXP 0000101d: SUB 0000101e: DUP6 0000101f: AND 00001020: DUP2 00001021: DUP4 00001022: ADD 00001023: MSTORE 00001024: SWAP1 00001025: MLOAD 00001026: PUSH32 0x4f6201f683343e96e9541a12726d3e99f43268c4dd78e66bed2bf05299ce5d9e 00001047: SWAP2 00001048: DUP2 00001049: SWAP1 0000104a: SUB 0000104b: PUSH1 0x60 0000104d: ADD 0000104e: SWAP1 0000104f: LOG1 00001050: PUSH2 0x0109 00001053: SLOAD 00001054: PUSH1 0x40 00001056: DUP1 00001057: MLOAD 00001058: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x01 0000107d: PUSH1 0xa0 0000107f: PUSH1 0x02 00001081: EXP 00001082: SUB 00001083: DUP7 00001084: DUP2 00001085: AND 00001086: PUSH1 0x04 00001088: DUP4 00001089: ADD 0000108a: MSTORE 0000108b: PUSH1 0x24 0000108d: DUP3 0000108e: ADD 0000108f: DUP7 00001090: SWAP1 00001091: MSTORE 00001092: SWAP2 00001093: MLOAD 00001094: SWAP2 00001095: SWAP1 00001096: SWAP3 00001097: AND 00001098: SWAP2 00001099: PUSH4 0xa9059cbb 0000109e: SWAP2 0000109f: PUSH1 0x44 000010a1: DUP1 000010a2: DUP4 000010a3: ADD 000010a4: SWAP3 000010a5: PUSH1 0x20 000010a7: SWAP3 000010a8: SWAP2 000010a9: SWAP1 000010aa: DUP3 000010ab: SWAP1 000010ac: SUB 000010ad: ADD 000010ae: DUP2 000010af: PUSH1 0x00 000010b1: DUP8 000010b2: DUP1 000010b3: EXTCODESIZE 000010b4: ISZERO 000010b5: DUP1 000010b6: ISZERO 000010b7: PUSH2 0x10bf 000010ba: JUMPI 000010bb: PUSH1 0x00 000010bd: DUP1 000010be: REVERT 000010bf: JUMPDEST 000010c0: POP 000010c1: GAS 000010c2: CALL 000010c3: ISZERO 000010c4: DUP1 000010c5: ISZERO 000010c6: PUSH2 0x10d3 000010c9: JUMPI 000010ca: RETURNDATASIZE 000010cb: PUSH1 0x00 000010cd: DUP1 000010ce: RETURNDATACOPY 000010cf: RETURNDATASIZE 000010d0: PUSH1 0x00 000010d2: REVERT 000010d3: JUMPDEST 000010d4: POP 000010d5: POP 000010d6: POP 000010d7: POP 000010d8: PUSH1 0x40 000010da: MLOAD 000010db: RETURNDATASIZE 000010dc: PUSH1 0x20 000010de: DUP2 000010df: LT 000010e0: ISZERO 000010e1: PUSH2 0x10e9 000010e4: JUMPI 000010e5: PUSH1 0x00 000010e7: DUP1 000010e8: REVERT 000010e9: JUMPDEST 000010ea: POP 000010eb: PUSH1 0x00 000010ed: SWAP2 000010ee: POP 000010ef: PUSH2 0x097f 000010f2: SWAP1 000010f3: POP 000010f4: JUMP 000010f5: JUMPDEST 000010f6: PUSH1 0x00 000010f8: CALLDATASIZE 000010f9: NUMBER 000010fa: PUSH1 0x40 000010fc: MLOAD 000010fd: PUSH1 0x20 000010ff: ADD 00001100: DUP1 00001101: DUP5 00001102: DUP5 00001103: DUP1 00001104: DUP3 00001105: DUP5 00001106: CALLDATACOPY 00001107: DUP3 00001108: ADD 00001109: SWAP2 0000110a: POP 0000110b: POP 0000110c: DUP3 0000110d: DUP2 0000110e: MSTORE 0000110f: PUSH1 0x20 00001111: ADD 00001112: SWAP4 00001113: POP 00001114: POP 00001115: POP 00001116: POP 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: PUSH1 0x20 0000111c: DUP2 0000111d: DUP4 0000111e: SUB 0000111f: SUB 00001120: DUP2 00001121: MSTORE 00001122: SWAP1 00001123: PUSH1 0x40 00001125: MSTORE 00001126: PUSH1 0x40 00001128: MLOAD 00001129: DUP1 0000112a: DUP3 0000112b: DUP1 0000112c: MLOAD 0000112d: SWAP1 0000112e: PUSH1 0x20 00001130: ADD 00001131: SWAP1 00001132: DUP1 00001133: DUP4 00001134: DUP4 00001135: JUMPDEST 00001136: PUSH1 0x20 00001138: DUP4 00001139: LT 0000113a: PUSH2 0x1154 0000113d: JUMPI 0000113e: DUP1 0000113f: MLOAD 00001140: DUP3 00001141: MSTORE 00001142: PUSH1 0x1f 00001144: NOT 00001145: SWAP1 00001146: SWAP3 00001147: ADD 00001148: SWAP2 00001149: PUSH1 0x20 0000114b: SWAP2 0000114c: DUP3 0000114d: ADD 0000114e: SWAP2 0000114f: ADD 00001150: PUSH2 0x1135 00001153: JUMP 00001154: JUMPDEST 00001155: PUSH1 0x01 00001157: DUP4 00001158: PUSH1 0x20 0000115a: SUB 0000115b: PUSH2 0x0100 0000115e: EXP 0000115f: SUB 00001160: DUP1 00001161: NOT 00001162: DUP3 00001163: MLOAD 00001164: AND 00001165: DUP2 00001166: DUP5 00001167: MLOAD 00001168: AND 00001169: DUP1 0000116a: DUP3 0000116b: OR 0000116c: DUP6 0000116d: MSTORE 0000116e: POP 0000116f: POP 00001170: POP 00001171: POP 00001172: POP 00001173: POP 00001174: SWAP1 00001175: POP 00001176: ADD 00001177: SWAP2 00001178: POP 00001179: POP 0000117a: PUSH1 0x40 0000117c: MLOAD 0000117d: DUP1 0000117e: SWAP2 0000117f: SUB 00001180: SWAP1 00001181: KECCAK256 00001182: SWAP1 00001183: POP 00001184: PUSH2 0x118c 00001187: DUP2 00001188: PUSH2 0x1266 0000118b: JUMP 0000118c: JUMPDEST 0000118d: ISZERO 0000118e: DUP1 0000118f: ISZERO 00001190: PUSH2 0x11af 00001193: JUMPI 00001194: POP 00001195: PUSH1 0x00 00001197: DUP2 00001198: DUP2 00001199: MSTORE 0000119a: PUSH2 0x010a 0000119d: PUSH1 0x20 0000119f: MSTORE 000011a0: PUSH1 0x40 000011a2: SWAP1 000011a3: KECCAK256 000011a4: SLOAD 000011a5: PUSH1 0x01 000011a7: PUSH1 0xa0 000011a9: PUSH1 0x02 000011ab: EXP 000011ac: SUB 000011ad: AND 000011ae: ISZERO 000011af: JUMPDEST 000011b0: ISZERO 000011b1: PUSH2 0x097f 000011b4: JUMPI 000011b5: PUSH1 0x00 000011b7: DUP2 000011b8: DUP2 000011b9: MSTORE 000011ba: PUSH2 0x010a 000011bd: PUSH1 0x20 000011bf: SWAP1 000011c0: DUP2 000011c1: MSTORE 000011c2: PUSH1 0x40 000011c4: SWAP2 000011c5: DUP3 000011c6: SWAP1 000011c7: KECCAK256 000011c8: DUP1 000011c9: SLOAD 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: PUSH1 0x02 000011d0: EXP 000011d1: SUB 000011d2: DUP1 000011d3: DUP9 000011d4: AND 000011d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ea: NOT 000011eb: SWAP3 000011ec: DUP4 000011ed: AND 000011ee: DUP2 000011ef: OR 000011f0: DUP5 000011f1: SSTORE 000011f2: PUSH1 0x01 000011f4: DUP5 000011f5: ADD 000011f6: DUP9 000011f7: SWAP1 000011f8: SSTORE 000011f9: PUSH2 0x0109 000011fc: DUP1 000011fd: SLOAD 000011fe: PUSH1 0x02 00001200: SWAP1 00001201: SWAP6 00001202: ADD 00001203: DUP1 00001204: SLOAD 00001205: SWAP1 00001206: SWAP5 00001207: AND 00001208: SWAP5 00001209: DUP4 0000120a: AND 0000120b: SWAP5 0000120c: SWAP1 0000120d: SWAP5 0000120e: OR 0000120f: SWAP1 00001210: SWAP3 00001211: SSTORE 00001212: SWAP2 00001213: SLOAD 00001214: DUP5 00001215: MLOAD 00001216: DUP7 00001217: DUP2 00001218: MSTORE 00001219: CALLER 0000121a: SWAP5 0000121b: DUP2 0000121c: ADD 0000121d: SWAP5 0000121e: SWAP1 0000121f: SWAP5 00001220: MSTORE 00001221: DUP4 00001222: DUP6 00001223: ADD 00001224: DUP8 00001225: SWAP1 00001226: MSTORE 00001227: PUSH1 0x60 00001229: DUP5 0000122a: ADD 0000122b: SWAP2 0000122c: SWAP1 0000122d: SWAP2 0000122e: MSTORE 0000122f: AND 00001230: PUSH1 0x80 00001232: DUP3 00001233: ADD 00001234: MSTORE 00001235: SWAP1 00001236: MLOAD 00001237: PUSH32 0xadd50a5aea0e28cb887644e8a41c86a278d70c9099697194c51299514f5b843c 00001258: SWAP2 00001259: DUP2 0000125a: SWAP1 0000125b: SUB 0000125c: PUSH1 0xa0 0000125e: ADD 0000125f: SWAP1 00001260: LOG1 00001261: SWAP3 00001262: SWAP2 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: DUP1 0000126a: DUP3 0000126b: PUSH2 0x1273 0000126e: DUP2 0000126f: PUSH2 0x13fd 00001272: JUMP 00001273: JUMPDEST 00001274: ISZERO 00001275: PUSH2 0x13f6 00001278: JUMPI 00001279: PUSH1 0x00 0000127b: DUP5 0000127c: DUP2 0000127d: MSTORE 0000127e: PUSH2 0x010a 00001281: PUSH1 0x20 00001283: MSTORE 00001284: PUSH1 0x40 00001286: SWAP1 00001287: KECCAK256 00001288: SLOAD 00001289: PUSH1 0x01 0000128b: PUSH1 0xa0 0000128d: PUSH1 0x02 0000128f: EXP 00001290: SUB 00001291: AND 00001292: ISZERO 00001293: PUSH2 0x13f6 00001296: JUMPI 00001297: PUSH1 0x00 00001299: DUP5 0000129a: DUP2 0000129b: MSTORE 0000129c: PUSH2 0x010a 0000129f: PUSH1 0x20 000012a1: SWAP1 000012a2: DUP2 000012a3: MSTORE 000012a4: PUSH1 0x40 000012a6: DUP1 000012a7: DUP4 000012a8: KECCAK256 000012a9: PUSH1 0x02 000012ab: DUP2 000012ac: ADD 000012ad: SLOAD 000012ae: DUP2 000012af: SLOAD 000012b0: PUSH1 0x01 000012b2: SWAP1 000012b3: SWAP3 000012b4: ADD 000012b5: SLOAD 000012b6: DUP4 000012b7: MLOAD 000012b8: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000012d9: DUP2 000012da: MSTORE 000012db: PUSH1 0x01 000012dd: PUSH1 0xa0 000012df: PUSH1 0x02 000012e1: EXP 000012e2: SUB 000012e3: SWAP4 000012e4: DUP5 000012e5: AND 000012e6: PUSH1 0x04 000012e8: DUP3 000012e9: ADD 000012ea: MSTORE 000012eb: PUSH1 0x24 000012ed: DUP2 000012ee: ADD 000012ef: SWAP2 000012f0: SWAP1 000012f1: SWAP2 000012f2: MSTORE 000012f3: SWAP3 000012f4: MLOAD 000012f5: SWAP2 000012f6: AND 000012f7: SWAP6 000012f8: POP 000012f9: DUP6 000012fa: SWAP4 000012fb: PUSH4 0xa9059cbb 00001300: SWAP4 00001301: PUSH1 0x44 00001303: DUP1 00001304: DUP6 00001305: ADD 00001306: SWAP5 00001307: SWAP2 00001308: SWAP4 00001309: SWAP3 0000130a: SWAP2 0000130b: DUP4 0000130c: SWAP1 0000130d: SUB 0000130e: ADD 0000130f: SWAP1 00001310: DUP3 00001311: SWAP1 00001312: DUP8 00001313: DUP1 00001314: EXTCODESIZE 00001315: ISZERO 00001316: DUP1 00001317: ISZERO 00001318: PUSH2 0x1320 0000131b: JUMPI 0000131c: PUSH1 0x00 0000131e: DUP1 0000131f: REVERT 00001320: JUMPDEST 00001321: POP 00001322: GAS 00001323: CALL 00001324: ISZERO 00001325: DUP1 00001326: ISZERO 00001327: PUSH2 0x1334 0000132a: JUMPI 0000132b: RETURNDATASIZE 0000132c: PUSH1 0x00 0000132e: DUP1 0000132f: RETURNDATACOPY 00001330: RETURNDATASIZE 00001331: PUSH1 0x00 00001333: REVERT 00001334: JUMPDEST 00001335: POP 00001336: POP 00001337: POP 00001338: POP 00001339: PUSH1 0x40 0000133b: MLOAD 0000133c: RETURNDATASIZE 0000133d: PUSH1 0x20 0000133f: DUP2 00001340: LT 00001341: ISZERO 00001342: PUSH2 0x134a 00001345: JUMPI 00001346: PUSH1 0x00 00001348: DUP1 00001349: REVERT 0000134a: JUMPDEST 0000134b: POP 0000134c: POP 0000134d: PUSH1 0x00 0000134f: DUP5 00001350: DUP2 00001351: MSTORE 00001352: PUSH2 0x010a 00001355: PUSH1 0x20 00001357: SWAP1 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x40 0000135c: SWAP2 0000135d: DUP3 0000135e: SWAP1 0000135f: KECCAK256 00001360: PUSH1 0x01 00001362: DUP2 00001363: ADD 00001364: SLOAD 00001365: SWAP1 00001366: SLOAD 00001367: DUP4 00001368: MLOAD 00001369: CALLER 0000136a: DUP2 0000136b: MSTORE 0000136c: SWAP3 0000136d: DUP4 0000136e: ADD 0000136f: DUP9 00001370: SWAP1 00001371: MSTORE 00001372: DUP3 00001373: DUP5 00001374: ADD 00001375: SWAP2 00001376: SWAP1 00001377: SWAP2 00001378: MSTORE 00001379: PUSH1 0x01 0000137b: PUSH1 0xa0 0000137d: PUSH1 0x02 0000137f: EXP 00001380: SUB 00001381: AND 00001382: PUSH1 0x60 00001384: DUP3 00001385: ADD 00001386: MSTORE 00001387: SWAP1 00001388: MLOAD 00001389: PUSH32 0x73586c7e29af20c2cfb512293fb21f274d22b3fa0df53f2bb28977be93d54512 000013aa: SWAP2 000013ab: DUP2 000013ac: SWAP1 000013ad: SUB 000013ae: PUSH1 0x80 000013b0: ADD 000013b1: SWAP1 000013b2: LOG1 000013b3: PUSH1 0x00 000013b5: DUP5 000013b6: DUP2 000013b7: MSTORE 000013b8: PUSH2 0x010a 000013bb: PUSH1 0x20 000013bd: MSTORE 000013be: PUSH1 0x40 000013c0: DUP2 000013c1: KECCAK256 000013c2: DUP1 000013c3: SLOAD 000013c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d9: NOT 000013da: SWAP1 000013db: DUP2 000013dc: AND 000013dd: DUP3 000013de: SSTORE 000013df: PUSH1 0x01 000013e1: DUP1 000013e2: DUP4 000013e3: ADD 000013e4: SWAP4 000013e5: SWAP1 000013e6: SWAP4 000013e7: SSTORE 000013e8: PUSH1 0x02 000013ea: SWAP1 000013eb: SWAP2 000013ec: ADD 000013ed: DUP1 000013ee: SLOAD 000013ef: SWAP1 000013f0: SWAP2 000013f1: AND 000013f2: SWAP1 000013f3: SSTORE 000013f4: SWAP3 000013f5: POP 000013f6: JUMPDEST 000013f7: POP 000013f8: POP 000013f9: SWAP2 000013fa: SWAP1 000013fb: POP 000013fc: JUMP 000013fd: JUMPDEST 000013fe: CALLER 000013ff: PUSH1 0x00 00001401: SWAP1 00001402: DUP2 00001403: MSTORE 00001404: PUSH2 0x0102 00001407: PUSH1 0x20 00001409: MSTORE 0000140a: PUSH1 0x40 0000140c: DUP2 0000140d: KECCAK256 0000140e: SLOAD 0000140f: DUP2 00001410: DUP1 00001411: DUP3 00001412: ISZERO 00001413: ISZERO 00001414: PUSH2 0x141c 00001417: JUMPI 00001418: PUSH2 0x1541 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH1 0x00 0000141f: DUP6 00001420: DUP2 00001421: MSTORE 00001422: PUSH2 0x0103 00001425: PUSH1 0x20 00001427: MSTORE 00001428: PUSH1 0x40 0000142a: SWAP1 0000142b: KECCAK256 0000142c: DUP1 0000142d: SLOAD 0000142e: SWAP1 0000142f: SWAP3 00001430: POP 00001431: ISZERO 00001432: ISZERO 00001433: PUSH2 0x147b 00001436: JUMPI 00001437: PUSH1 0x00 00001439: DUP1 0000143a: SLOAD 0000143b: DUP4 0000143c: SSTORE 0000143d: PUSH1 0x01 0000143f: DUP1 00001440: DUP5 00001441: ADD 00001442: SWAP2 00001443: SWAP1 00001444: SWAP2 00001445: SSTORE 00001446: PUSH2 0x0104 00001449: DUP1 0000144a: SLOAD 0000144b: SWAP2 0000144c: PUSH2 0x1457 0000144f: SWAP2 00001450: SWAP1 00001451: DUP4 00001452: ADD 00001453: PUSH2 0x17e1 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH1 0x02 0000145a: DUP4 0000145b: ADD 0000145c: DUP2 0000145d: SWAP1 0000145e: SSTORE 0000145f: PUSH2 0x0104 00001462: DUP1 00001463: SLOAD 00001464: DUP8 00001465: SWAP3 00001466: SWAP1 00001467: DUP2 00001468: LT 00001469: PUSH2 0x146e 0000146c: JUMPI 0000146d: INVALID 0000146e: JUMPDEST 0000146f: PUSH1 0x00 00001471: SWAP2 00001472: DUP3 00001473: MSTORE 00001474: PUSH1 0x20 00001476: SWAP1 00001477: SWAP2 00001478: KECCAK256 00001479: ADD 0000147a: SSTORE 0000147b: JUMPDEST 0000147c: DUP3 0000147d: PUSH1 0x02 0000147f: EXP 00001480: SWAP1 00001481: POP 00001482: DUP1 00001483: DUP3 00001484: PUSH1 0x01 00001486: ADD 00001487: SLOAD 00001488: AND 00001489: PUSH1 0x00 0000148b: EQ 0000148c: ISZERO 0000148d: PUSH2 0x1541 00001490: JUMPI 00001491: PUSH1 0x40 00001493: DUP1 00001494: MLOAD 00001495: CALLER 00001496: DUP2 00001497: MSTORE 00001498: PUSH1 0x20 0000149a: DUP2 0000149b: ADD 0000149c: DUP8 0000149d: SWAP1 0000149e: MSTORE 0000149f: DUP2 000014a0: MLOAD 000014a1: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 000014c2: SWAP3 000014c3: SWAP2 000014c4: DUP2 000014c5: SWAP1 000014c6: SUB 000014c7: SWAP1 000014c8: SWAP2 000014c9: ADD 000014ca: SWAP1 000014cb: LOG1 000014cc: DUP2 000014cd: SLOAD 000014ce: PUSH1 0x01 000014d0: LT 000014d1: PUSH2 0x152e 000014d4: JUMPI 000014d5: PUSH1 0x00 000014d7: DUP6 000014d8: DUP2 000014d9: MSTORE 000014da: PUSH2 0x0103 000014dd: PUSH1 0x20 000014df: MSTORE 000014e0: PUSH1 0x40 000014e2: SWAP1 000014e3: KECCAK256 000014e4: PUSH1 0x02 000014e6: ADD 000014e7: SLOAD 000014e8: PUSH2 0x0104 000014eb: DUP1 000014ec: SLOAD 000014ed: SWAP1 000014ee: SWAP2 000014ef: SWAP1 000014f0: DUP2 000014f1: LT 000014f2: PUSH2 0x14f7 000014f5: JUMPI 000014f6: INVALID 000014f7: JUMPDEST 000014f8: PUSH1 0x00 000014fa: SWAP2 000014fb: DUP3 000014fc: MSTORE 000014fd: PUSH1 0x20 000014ff: DUP1 00001500: DUP4 00001501: KECCAK256 00001502: SWAP1 00001503: SWAP2 00001504: ADD 00001505: DUP3 00001506: SWAP1 00001507: SSTORE 00001508: DUP7 00001509: DUP3 0000150a: MSTORE 0000150b: PUSH2 0x0103 0000150e: SWAP1 0000150f: MSTORE 00001510: PUSH1 0x40 00001512: DUP2 00001513: KECCAK256 00001514: DUP2 00001515: DUP2 00001516: SSTORE 00001517: PUSH1 0x01 00001519: DUP1 0000151a: DUP3 0000151b: ADD 0000151c: DUP4 0000151d: SWAP1 0000151e: SSTORE 0000151f: PUSH1 0x02 00001521: SWAP1 00001522: SWAP2 00001523: ADD 00001524: SWAP2 00001525: SWAP1 00001526: SWAP2 00001527: SSTORE 00001528: SWAP4 00001529: POP 0000152a: PUSH2 0x1541 0000152d: JUMP 0000152e: JUMPDEST 0000152f: DUP2 00001530: SLOAD 00001531: PUSH1 0x00 00001533: NOT 00001534: ADD 00001535: DUP3 00001536: SSTORE 00001537: PUSH1 0x01 00001539: DUP3 0000153a: ADD 0000153b: DUP1 0000153c: SLOAD 0000153d: DUP3 0000153e: OR 0000153f: SWAP1 00001540: SSTORE 00001541: JUMPDEST 00001542: POP 00001543: POP 00001544: POP 00001545: SWAP2 00001546: SWAP1 00001547: POP 00001548: JUMP 00001549: JUMPDEST 0000154a: PUSH2 0x0104 0000154d: SLOAD 0000154e: PUSH1 0x00 00001550: JUMPDEST 00001551: DUP2 00001552: DUP2 00001553: LT 00001554: ISZERO 00001555: PUSH2 0x15c0 00001558: JUMPI 00001559: PUSH2 0x010a 0000155c: PUSH1 0x00 0000155e: PUSH2 0x0104 00001561: DUP4 00001562: DUP2 00001563: SLOAD 00001564: DUP2 00001565: LT 00001566: ISZERO 00001567: ISZERO 00001568: PUSH2 0x156d 0000156b: JUMPI 0000156c: INVALID 0000156d: JUMPDEST 0000156e: PUSH1 0x00 00001570: SWAP2 00001571: DUP3 00001572: MSTORE 00001573: PUSH1 0x20 00001575: DUP1 00001576: DUP4 00001577: KECCAK256 00001578: SWAP1 00001579: SWAP2 0000157a: ADD 0000157b: SLOAD 0000157c: DUP4 0000157d: MSTORE 0000157e: DUP3 0000157f: ADD 00001580: SWAP3 00001581: SWAP1 00001582: SWAP3 00001583: MSTORE 00001584: PUSH1 0x40 00001586: ADD 00001587: DUP2 00001588: KECCAK256 00001589: DUP1 0000158a: SLOAD 0000158b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a0: NOT 000015a1: SWAP1 000015a2: DUP2 000015a3: AND 000015a4: DUP3 000015a5: SSTORE 000015a6: PUSH1 0x01 000015a8: DUP1 000015a9: DUP4 000015aa: ADD 000015ab: SWAP4 000015ac: SWAP1 000015ad: SWAP4 000015ae: SSTORE 000015af: PUSH1 0x02 000015b1: SWAP1 000015b2: SWAP2 000015b3: ADD 000015b4: DUP1 000015b5: SLOAD 000015b6: SWAP1 000015b7: SWAP2 000015b8: AND 000015b9: SWAP1 000015ba: SSTORE 000015bb: ADD 000015bc: PUSH2 0x1550 000015bf: JUMP 000015c0: JUMPDEST 000015c1: PUSH2 0x0777 000015c4: PUSH2 0x1754 000015c7: JUMP 000015c8: JUMPDEST 000015c9: PUSH1 0x00 000015cb: PUSH1 0x01 000015cd: JUMPDEST 000015ce: PUSH1 0x01 000015d0: SLOAD 000015d1: DUP2 000015d2: LT 000015d3: ISZERO 000015d4: PUSH2 0x16e0 000015d7: JUMPI 000015d8: JUMPDEST 000015d9: PUSH1 0x01 000015db: SLOAD 000015dc: DUP2 000015dd: LT 000015de: DUP1 000015df: ISZERO 000015e0: PUSH2 0x15f7 000015e3: JUMPI 000015e4: POP 000015e5: PUSH1 0x02 000015e7: DUP2 000015e8: PUSH2 0x0100 000015eb: DUP2 000015ec: LT 000015ed: PUSH2 0x15f2 000015f0: JUMPI 000015f1: INVALID 000015f2: JUMPDEST 000015f3: ADD 000015f4: SLOAD 000015f5: ISZERO 000015f6: ISZERO 000015f7: JUMPDEST 000015f8: ISZERO 000015f9: PUSH2 0x1604 000015fc: JUMPI 000015fd: PUSH1 0x01 000015ff: ADD 00001600: PUSH2 0x15d8 00001603: JUMP 00001604: JUMPDEST 00001605: PUSH1 0x01 00001607: DUP1 00001608: SLOAD 00001609: GT 0000160a: DUP1 0000160b: ISZERO 0000160c: PUSH2 0x1625 0000160f: JUMPI 00001610: POP 00001611: PUSH1 0x01 00001613: SLOAD 00001614: PUSH1 0x02 00001616: SWAP1 00001617: PUSH2 0x0100 0000161a: DUP2 0000161b: LT 0000161c: PUSH2 0x1621 0000161f: JUMPI 00001620: INVALID 00001621: JUMPDEST 00001622: ADD 00001623: SLOAD 00001624: ISZERO 00001625: JUMPDEST 00001626: ISZERO 00001627: PUSH2 0x1639 0000162a: JUMPI 0000162b: PUSH1 0x01 0000162d: DUP1 0000162e: SLOAD 0000162f: PUSH1 0x00 00001631: NOT 00001632: ADD 00001633: SWAP1 00001634: SSTORE 00001635: PUSH2 0x1604 00001638: JUMP 00001639: JUMPDEST 0000163a: PUSH1 0x01 0000163c: SLOAD 0000163d: DUP2 0000163e: LT 0000163f: DUP1 00001640: ISZERO 00001641: PUSH2 0x165b 00001644: JUMPI 00001645: POP 00001646: PUSH1 0x01 00001648: SLOAD 00001649: PUSH1 0x02 0000164b: SWAP1 0000164c: PUSH2 0x0100 0000164f: DUP2 00001650: LT 00001651: PUSH2 0x1656 00001654: JUMPI 00001655: INVALID 00001656: JUMPDEST 00001657: ADD 00001658: SLOAD 00001659: ISZERO 0000165a: ISZERO 0000165b: JUMPDEST 0000165c: DUP1 0000165d: ISZERO 0000165e: PUSH2 0x1674 00001661: JUMPI 00001662: POP 00001663: PUSH1 0x02 00001665: DUP2 00001666: PUSH2 0x0100 00001669: DUP2 0000166a: LT 0000166b: PUSH2 0x1670 0000166e: JUMPI 0000166f: INVALID 00001670: JUMPDEST 00001671: ADD 00001672: SLOAD 00001673: ISZERO 00001674: JUMPDEST 00001675: ISZERO 00001676: PUSH2 0x16db 00001679: JUMPI 0000167a: PUSH1 0x01 0000167c: SLOAD 0000167d: PUSH1 0x02 0000167f: SWAP1 00001680: PUSH2 0x0100 00001683: DUP2 00001684: LT 00001685: PUSH2 0x168a 00001688: JUMPI 00001689: INVALID 0000168a: JUMPDEST 0000168b: ADD 0000168c: SLOAD 0000168d: PUSH1 0x02 0000168f: DUP3 00001690: PUSH2 0x0100 00001693: DUP2 00001694: LT 00001695: PUSH2 0x169a 00001698: JUMPI 00001699: INVALID 0000169a: JUMPDEST 0000169b: ADD 0000169c: SSTORE 0000169d: DUP1 0000169e: PUSH2 0x0102 000016a1: PUSH1 0x00 000016a3: PUSH1 0x02 000016a5: DUP4 000016a6: PUSH2 0x0100 000016a9: DUP2 000016aa: LT 000016ab: PUSH2 0x16b0 000016ae: JUMPI 000016af: INVALID 000016b0: JUMPDEST 000016b1: ADD 000016b2: SLOAD 000016b3: DUP2 000016b4: MSTORE 000016b5: PUSH1 0x20 000016b7: ADD 000016b8: SWAP1 000016b9: DUP2 000016ba: MSTORE 000016bb: PUSH1 0x20 000016bd: ADD 000016be: PUSH1 0x00 000016c0: KECCAK256 000016c1: DUP2 000016c2: SWAP1 000016c3: SSTORE 000016c4: POP 000016c5: PUSH1 0x00 000016c7: PUSH1 0x02 000016c9: PUSH1 0x01 000016cb: SLOAD 000016cc: PUSH2 0x0100 000016cf: DUP2 000016d0: LT 000016d1: ISZERO 000016d2: ISZERO 000016d3: PUSH2 0x16d8 000016d6: JUMPI 000016d7: INVALID 000016d8: JUMPDEST 000016d9: ADD 000016da: SSTORE 000016db: JUMPDEST 000016dc: PUSH2 0x15cd 000016df: JUMP 000016e0: JUMPDEST 000016e1: POP 000016e2: SWAP1 000016e3: JUMP 000016e4: JUMPDEST 000016e5: PUSH1 0x00 000016e7: PUSH2 0x16ef 000016ea: CALLER 000016eb: PUSH2 0x0554 000016ee: JUMP 000016ef: JUMPDEST 000016f0: ISZERO 000016f1: PUSH2 0x0570 000016f4: JUMPI 000016f5: PUSH2 0x0107 000016f8: SLOAD 000016f9: PUSH2 0x1700 000016fc: PUSH2 0x17d7 000016ff: JUMP 00001700: JUMPDEST 00001701: GT 00001702: ISZERO 00001703: PUSH2 0x1719 00001706: JUMPI 00001707: PUSH1 0x00 00001709: PUSH2 0x0106 0000170c: SSTORE 0000170d: PUSH2 0x1714 00001710: PUSH2 0x17d7 00001713: JUMP 00001714: JUMPDEST 00001715: PUSH2 0x0107 00001718: SSTORE 00001719: JUMPDEST 0000171a: PUSH2 0x0106 0000171d: SLOAD 0000171e: DUP3 0000171f: DUP2 00001720: ADD 00001721: LT 00001722: DUP1 00001723: ISZERO 00001724: SWAP1 00001725: PUSH2 0x1736 00001728: JUMPI 00001729: POP 0000172a: PUSH2 0x0105 0000172d: SLOAD 0000172e: DUP3 0000172f: PUSH2 0x0106 00001732: SLOAD 00001733: ADD 00001734: GT 00001735: ISZERO 00001736: JUMPDEST 00001737: ISZERO 00001738: PUSH2 0x174c 0000173b: JUMPI 0000173c: POP 0000173d: PUSH2 0x0106 00001740: DUP1 00001741: SLOAD 00001742: DUP3 00001743: ADD 00001744: SWAP1 00001745: SSTORE 00001746: PUSH1 0x01 00001748: PUSH2 0x0570 0000174b: JUMP 0000174c: JUMPDEST 0000174d: POP 0000174e: PUSH1 0x00 00001750: SWAP2 00001751: SWAP1 00001752: POP 00001753: JUMP 00001754: JUMPDEST 00001755: PUSH2 0x0104 00001758: SLOAD 00001759: PUSH1 0x00 0000175b: JUMPDEST 0000175c: DUP2 0000175d: DUP2 0000175e: LT 0000175f: ISZERO 00001760: PUSH2 0x17ca 00001763: JUMPI 00001764: PUSH2 0x0104 00001767: DUP1 00001768: SLOAD 00001769: DUP3 0000176a: SWAP1 0000176b: DUP2 0000176c: LT 0000176d: PUSH2 0x1772 00001770: JUMPI 00001771: INVALID 00001772: JUMPDEST 00001773: PUSH1 0x00 00001775: SWAP2 00001776: DUP3 00001777: MSTORE 00001778: PUSH1 0x20 0000177a: SWAP1 0000177b: SWAP2 0000177c: KECCAK256 0000177d: ADD 0000177e: SLOAD 0000177f: ISZERO 00001780: PUSH2 0x17c2 00001783: JUMPI 00001784: PUSH2 0x0103 00001787: PUSH1 0x00 00001789: PUSH2 0x0104 0000178c: DUP4 0000178d: DUP2 0000178e: SLOAD 0000178f: DUP2 00001790: LT 00001791: ISZERO 00001792: ISZERO 00001793: PUSH2 0x1798 00001796: JUMPI 00001797: INVALID 00001798: JUMPDEST 00001799: PUSH1 0x00 0000179b: SWAP2 0000179c: DUP3 0000179d: MSTORE 0000179e: PUSH1 0x20 000017a0: DUP1 000017a1: DUP4 000017a2: KECCAK256 000017a3: SWAP1 000017a4: SWAP2 000017a5: ADD 000017a6: SLOAD 000017a7: DUP4 000017a8: MSTORE 000017a9: DUP3 000017aa: ADD 000017ab: SWAP3 000017ac: SWAP1 000017ad: SWAP3 000017ae: MSTORE 000017af: PUSH1 0x40 000017b1: ADD 000017b2: DUP2 000017b3: KECCAK256 000017b4: DUP2 000017b5: DUP2 000017b6: SSTORE 000017b7: PUSH1 0x01 000017b9: DUP2 000017ba: ADD 000017bb: DUP3 000017bc: SWAP1 000017bd: SSTORE 000017be: PUSH1 0x02 000017c0: ADD 000017c1: SSTORE 000017c2: JUMPDEST 000017c3: PUSH1 0x01 000017c5: ADD 000017c6: PUSH2 0x175b 000017c9: JUMP 000017ca: JUMPDEST 000017cb: PUSH2 0x0777 000017ce: PUSH2 0x0104 000017d1: PUSH1 0x00 000017d3: PUSH2 0x1805 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH3 0x015180 000017dc: TIMESTAMP 000017dd: DIV 000017de: JUMPDEST 000017df: SWAP1 000017e0: JUMP 000017e1: JUMPDEST 000017e2: DUP2 000017e3: SLOAD 000017e4: DUP2 000017e5: DUP4 000017e6: SSTORE 000017e7: DUP2 000017e8: DUP2 000017e9: GT 000017ea: ISZERO 000017eb: PUSH2 0x054f 000017ee: JUMPI 000017ef: PUSH1 0x00 000017f1: DUP4 000017f2: DUP2 000017f3: MSTORE 000017f4: PUSH1 0x20 000017f6: SWAP1 000017f7: KECCAK256 000017f8: PUSH2 0x054f 000017fb: SWAP2 000017fc: DUP2 000017fd: ADD 000017fe: SWAP1 000017ff: DUP4 00001800: ADD 00001801: PUSH2 0x181f 00001804: JUMP 00001805: JUMPDEST 00001806: POP 00001807: DUP1 00001808: SLOAD 00001809: PUSH1 0x00 0000180b: DUP3 0000180c: SSTORE 0000180d: SWAP1 0000180e: PUSH1 0x00 00001810: MSTORE 00001811: PUSH1 0x20 00001813: PUSH1 0x00 00001815: KECCAK256 00001816: SWAP1 00001817: DUP2 00001818: ADD 00001819: SWAP1 0000181a: PUSH2 0x0622 0000181d: SWAP2 0000181e: SWAP1 0000181f: JUMPDEST 00001820: PUSH2 0x17de 00001823: SWAP2 00001824: SWAP1 00001825: JUMPDEST 00001826: DUP1 00001827: DUP3 00001828: GT 00001829: ISZERO 0000182a: PUSH2 0x16e0 0000182d: JUMPI 0000182e: PUSH1 0x00 00001830: DUP2 00001831: SSTORE 00001832: PUSH1 0x01 00001834: ADD 00001835: PUSH2 0x1825 00001838: JUMP 00001839: STOP 0000183a: LOG1 0000183b: PUSH6 0x627a7a723058 00001842: KECCAK256 00001843: PUSH16 0x55c7f28c792023d17c49fc24febcc781 00001854: KECCAK256 00001855: SWAP4 00001856: UNKNOWN(0xB2) 00001857: UNKNOWN(0xC3) 00001858: UNKNOWN(0xE1) 00001859: CALLCODE 0000185a: XOR 0000185b: REVERT 0000185c: GASPRICE 0000185d: RETURN 0000185e: UNKNOWN(0xC1) 0000185f: UNKNOWN(0xCC) 00001860: MSTORE 00001861: UNKNOWN(0x23) 00001862: SWAP14 00001863: STOP 00001864: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x64573dad735e663be3bf3dc6143d33c1d141cb94e75a60e1504d0ba773fa1d35
call_targets:
0xbcf5d895eaf788956af641aed83f96a65daef442
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x64573dad735e663be3bf3dc6143d33c1d141cb94e75a60e1504d0ba773fa1d35",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbcf5d895eaf788956af641aed83f96a65daef442"
],
"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": 2071,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4290,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x64573dad735e663be3bf3dc6143d33c1d141cb94e75a60e1504d0ba773fa1d35
call_targets:
0xbcf5d895eaf788956af641aed83f96a65daef442
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x64573dad735e663be3bf3dc6143d33c1d141cb94e75a60e1504d0ba773fa1d35",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbcf5d895eaf788956af641aed83f96a65daef442"
],
"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": 2071,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4290,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xfde37a88aee5301f259bc03a1f5290f83ae92bc34eabb63fb1fa6d0acca2ff65
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xfde37a88aee5301f259bc03a1f5290f83ae92bc34eabb63fb1fa6d0acca2ff65",
"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
}
|