019b477e-b1d4-72c1-bac4-7f4b7ad60f7c
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 |
|---|---|---|---|---|
| 22213 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22214 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 66138 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66139 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66140 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66141 | validation.fork | complete | 1 / 3 | 2 weeks ago |
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 0x00a4 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06661abd 0000003c: EQ 0000003d: PUSH2 0x00a9 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x31481691 00000047: EQ 00000048: PUSH2 0x00d4 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x6e88bec4 00000052: EQ 00000053: PUSH2 0x0117 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x8da5cb5b 0000005d: EQ 0000005e: PUSH2 0x016e 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xbcb76680 00000068: EQ 00000069: PUSH2 0x01c5 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xcb577480 00000073: EQ 00000074: PUSH2 0x020f 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xd72ecb16 0000007e: EQ 0000007f: PUSH2 0x023c 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xf2fde38b 00000089: EQ 0000008a: PUSH2 0x0267 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xf3fef3a3 00000094: EQ 00000095: PUSH2 0x02aa 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xf655da9e 0000009f: EQ 000000a0: PUSH2 0x02f7 000000a3: JUMPI 000000a4: JUMPDEST 000000a5: PUSH1 0x00 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: DUP1 000000ac: ISZERO 000000ad: PUSH2 0x00b5 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH2 0x00be 000000ba: PUSH2 0x030e 000000bd: JUMP 000000be: JUMPDEST 000000bf: PUSH1 0x40 000000c1: MLOAD 000000c2: DUP1 000000c3: DUP3 000000c4: DUP2 000000c5: MSTORE 000000c6: PUSH1 0x20 000000c8: ADD 000000c9: SWAP2 000000ca: POP 000000cb: POP 000000cc: PUSH1 0x40 000000ce: MLOAD 000000cf: DUP1 000000d0: SWAP2 000000d1: SUB 000000d2: SWAP1 000000d3: RETURN 000000d4: JUMPDEST 000000d5: CALLVALUE 000000d6: DUP1 000000d7: ISZERO 000000d8: PUSH2 0x00e0 000000db: JUMPI 000000dc: PUSH1 0x00 000000de: DUP1 000000df: REVERT 000000e0: JUMPDEST 000000e1: POP 000000e2: PUSH2 0x0115 000000e5: PUSH1 0x04 000000e7: DUP1 000000e8: CALLDATASIZE 000000e9: SUB 000000ea: DUP2 000000eb: ADD 000000ec: SWAP1 000000ed: DUP1 000000ee: DUP1 000000ef: CALLDATALOAD 000000f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000105: AND 00000106: SWAP1 00000107: PUSH1 0x20 00000109: ADD 0000010a: SWAP1 0000010b: SWAP3 0000010c: SWAP2 0000010d: SWAP1 0000010e: POP 0000010f: POP 00000110: POP 00000111: PUSH2 0x0314 00000114: JUMP 00000115: JUMPDEST 00000116: STOP 00000117: JUMPDEST 00000118: CALLVALUE 00000119: DUP1 0000011a: ISZERO 0000011b: PUSH2 0x0123 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: POP 00000125: PUSH2 0x012c 00000128: PUSH2 0x03b3 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: DUP1 00000131: DUP3 00000132: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000147: AND 00000148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015d: AND 0000015e: DUP2 0000015f: MSTORE 00000160: PUSH1 0x20 00000162: ADD 00000163: SWAP2 00000164: POP 00000165: POP 00000166: PUSH1 0x40 00000168: MLOAD 00000169: DUP1 0000016a: SWAP2 0000016b: SUB 0000016c: SWAP1 0000016d: RETURN 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x0183 0000017f: PUSH2 0x03d9 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH1 0x40 00000186: MLOAD 00000187: DUP1 00000188: DUP3 00000189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019e: AND 0000019f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b4: AND 000001b5: DUP2 000001b6: MSTORE 000001b7: PUSH1 0x20 000001b9: ADD 000001ba: SWAP2 000001bb: POP 000001bc: POP 000001bd: PUSH1 0x40 000001bf: MLOAD 000001c0: DUP1 000001c1: SWAP2 000001c2: SUB 000001c3: SWAP1 000001c4: RETURN 000001c5: JUMPDEST 000001c6: PUSH2 0x020d 000001c9: PUSH1 0x04 000001cb: DUP1 000001cc: CALLDATASIZE 000001cd: SUB 000001ce: DUP2 000001cf: ADD 000001d0: SWAP1 000001d1: DUP1 000001d2: DUP1 000001d3: CALLDATALOAD 000001d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e9: AND 000001ea: SWAP1 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: SWAP3 000001f0: SWAP2 000001f1: SWAP1 000001f2: DUP1 000001f3: CALLDATALOAD 000001f4: SWAP1 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: SWAP1 000001f9: SWAP3 000001fa: SWAP2 000001fb: SWAP1 000001fc: DUP1 000001fd: CALLDATALOAD 000001fe: SWAP1 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP1 00000203: SWAP3 00000204: SWAP2 00000205: SWAP1 00000206: POP 00000207: POP 00000208: POP 00000209: PUSH2 0x03fe 0000020c: JUMP 0000020d: JUMPDEST 0000020e: STOP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x023a 00000220: PUSH1 0x04 00000222: DUP1 00000223: CALLDATASIZE 00000224: SUB 00000225: DUP2 00000226: ADD 00000227: SWAP1 00000228: DUP1 00000229: DUP1 0000022a: CALLDATALOAD 0000022b: SWAP1 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: SWAP1 00000230: SWAP3 00000231: SWAP2 00000232: SWAP1 00000233: POP 00000234: POP 00000235: POP 00000236: PUSH2 0x05d9 00000239: JUMP 0000023a: JUMPDEST 0000023b: STOP 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x075c 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH1 0x40 00000254: MLOAD 00000255: DUP1 00000256: DUP3 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x20 0000025b: ADD 0000025c: SWAP2 0000025d: POP 0000025e: POP 0000025f: PUSH1 0x40 00000261: MLOAD 00000262: DUP1 00000263: SWAP2 00000264: SUB 00000265: SWAP1 00000266: RETURN 00000267: JUMPDEST 00000268: CALLVALUE 00000269: DUP1 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: PUSH2 0x02a8 00000278: PUSH1 0x04 0000027a: DUP1 0000027b: CALLDATASIZE 0000027c: SUB 0000027d: DUP2 0000027e: ADD 0000027f: SWAP1 00000280: DUP1 00000281: DUP1 00000282: CALLDATALOAD 00000283: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000298: AND 00000299: SWAP1 0000029a: PUSH1 0x20 0000029c: ADD 0000029d: SWAP1 0000029e: SWAP3 0000029f: SWAP2 000002a0: SWAP1 000002a1: POP 000002a2: POP 000002a3: POP 000002a4: PUSH2 0x07c4 000002a7: JUMP 000002a8: JUMPDEST 000002a9: STOP 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: DUP1 000002ad: ISZERO 000002ae: PUSH2 0x02b6 000002b1: JUMPI 000002b2: PUSH1 0x00 000002b4: DUP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: POP 000002b8: PUSH2 0x02f5 000002bb: PUSH1 0x04 000002bd: DUP1 000002be: CALLDATASIZE 000002bf: SUB 000002c0: DUP2 000002c1: ADD 000002c2: SWAP1 000002c3: DUP1 000002c4: DUP1 000002c5: CALLDATALOAD 000002c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002db: AND 000002dc: SWAP1 000002dd: PUSH1 0x20 000002df: ADD 000002e0: SWAP1 000002e1: SWAP3 000002e2: SWAP2 000002e3: SWAP1 000002e4: DUP1 000002e5: CALLDATALOAD 000002e6: SWAP1 000002e7: PUSH1 0x20 000002e9: ADD 000002ea: SWAP1 000002eb: SWAP3 000002ec: SWAP2 000002ed: SWAP1 000002ee: POP 000002ef: POP 000002f0: POP 000002f1: PUSH2 0x08c6 000002f4: JUMP 000002f5: JUMPDEST 000002f6: STOP 000002f7: JUMPDEST 000002f8: CALLVALUE 000002f9: DUP1 000002fa: ISZERO 000002fb: PUSH2 0x0303 000002fe: JUMPI 000002ff: PUSH1 0x00 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: POP 00000305: PUSH2 0x030c 00000308: PUSH2 0x098d 0000030b: JUMP 0000030c: JUMPDEST 0000030d: STOP 0000030e: JUMPDEST 0000030f: PUSH1 0x02 00000311: SLOAD 00000312: DUP2 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x00 00000317: DUP1 00000318: SWAP1 00000319: SLOAD 0000031a: SWAP1 0000031b: PUSH2 0x0100 0000031e: EXP 0000031f: SWAP1 00000320: DIV 00000321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000336: AND 00000337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034c: AND 0000034d: CALLER 0000034e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000363: AND 00000364: EQ 00000365: ISZERO 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: DUP1 00000371: PUSH1 0x03 00000373: PUSH1 0x00 00000375: PUSH2 0x0100 00000378: EXP 00000379: DUP2 0000037a: SLOAD 0000037b: DUP2 0000037c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000391: MUL 00000392: NOT 00000393: AND 00000394: SWAP1 00000395: DUP4 00000396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ab: AND 000003ac: MUL 000003ad: OR 000003ae: SWAP1 000003af: SSTORE 000003b0: POP 000003b1: POP 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x03 000003b6: PUSH1 0x00 000003b8: SWAP1 000003b9: SLOAD 000003ba: SWAP1 000003bb: PUSH2 0x0100 000003be: EXP 000003bf: SWAP1 000003c0: DIV 000003c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d6: AND 000003d7: DUP2 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: SWAP1 000003de: SLOAD 000003df: SWAP1 000003e0: PUSH2 0x0100 000003e3: EXP 000003e4: SWAP1 000003e5: DIV 000003e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fb: AND 000003fc: DUP2 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH1 0x00 00000401: DUP1 00000402: PUSH1 0x00 00000404: DUP1 00000405: SWAP1 00000406: SLOAD 00000407: SWAP1 00000408: PUSH2 0x0100 0000040b: EXP 0000040c: SWAP1 0000040d: DIV 0000040e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000423: AND 00000424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000439: AND 0000043a: CALLER 0000043b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000450: AND 00000451: EQ 00000452: ISZERO 00000453: ISZERO 00000454: PUSH2 0x045c 00000457: JUMPI 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: DUP5 0000045e: SWAP2 0000045f: POP 00000460: CALLVALUE 00000461: PUSH1 0x64 00000463: DUP6 00000464: DUP5 00000465: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047a: AND 0000047b: PUSH4 0xd87574e0 00000480: PUSH1 0x40 00000482: MLOAD 00000483: DUP2 00000484: PUSH4 0xffffffff 00000489: AND 0000048a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000004a8: MUL 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x04 000004ad: ADD 000004ae: PUSH1 0x20 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: DUP1 000004b4: DUP4 000004b5: SUB 000004b6: DUP2 000004b7: PUSH1 0x00 000004b9: DUP8 000004ba: DUP1 000004bb: EXTCODESIZE 000004bc: ISZERO 000004bd: DUP1 000004be: ISZERO 000004bf: PUSH2 0x04c7 000004c2: JUMPI 000004c3: PUSH1 0x00 000004c5: DUP1 000004c6: REVERT 000004c7: JUMPDEST 000004c8: POP 000004c9: GAS 000004ca: CALL 000004cb: ISZERO 000004cc: DUP1 000004cd: ISZERO 000004ce: PUSH2 0x04db 000004d1: JUMPI 000004d2: RETURNDATASIZE 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: RETURNDATACOPY 000004d7: RETURNDATASIZE 000004d8: PUSH1 0x00 000004da: REVERT 000004db: JUMPDEST 000004dc: POP 000004dd: POP 000004de: POP 000004df: POP 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: RETURNDATASIZE 000004e4: PUSH1 0x20 000004e6: DUP2 000004e7: LT 000004e8: ISZERO 000004e9: PUSH2 0x04f1 000004ec: JUMPI 000004ed: PUSH1 0x00 000004ef: DUP1 000004f0: REVERT 000004f1: JUMPDEST 000004f2: DUP2 000004f3: ADD 000004f4: SWAP1 000004f5: DUP1 000004f6: DUP1 000004f7: MLOAD 000004f8: SWAP1 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: SWAP1 000004fd: SWAP3 000004fe: SWAP2 000004ff: SWAP1 00000500: POP 00000501: POP 00000502: POP 00000503: MUL 00000504: DUP2 00000505: ISZERO 00000506: ISZERO 00000507: PUSH2 0x050c 0000050a: JUMPI 0000050b: INVALID 0000050c: JUMPDEST 0000050d: DIV 0000050e: GT 0000050f: ISZERO 00000510: PUSH2 0x05cd 00000513: JUMPI 00000514: DUP3 00000515: DUP3 00000516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052b: AND 0000052c: PUSH4 0x11a09ae7 00000531: PUSH1 0x40 00000533: MLOAD 00000534: DUP2 00000535: PUSH4 0xffffffff 0000053a: AND 0000053b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000559: MUL 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH1 0x04 0000055e: ADD 0000055f: PUSH1 0x20 00000561: PUSH1 0x40 00000563: MLOAD 00000564: DUP1 00000565: DUP4 00000566: SUB 00000567: DUP2 00000568: PUSH1 0x00 0000056a: DUP8 0000056b: DUP1 0000056c: EXTCODESIZE 0000056d: ISZERO 0000056e: DUP1 0000056f: ISZERO 00000570: PUSH2 0x0578 00000573: JUMPI 00000574: PUSH1 0x00 00000576: DUP1 00000577: REVERT 00000578: JUMPDEST 00000579: POP 0000057a: GAS 0000057b: CALL 0000057c: ISZERO 0000057d: DUP1 0000057e: ISZERO 0000057f: PUSH2 0x058c 00000582: JUMPI 00000583: RETURNDATASIZE 00000584: PUSH1 0x00 00000586: DUP1 00000587: RETURNDATACOPY 00000588: RETURNDATASIZE 00000589: PUSH1 0x00 0000058b: REVERT 0000058c: JUMPDEST 0000058d: POP 0000058e: POP 0000058f: POP 00000590: POP 00000591: PUSH1 0x40 00000593: MLOAD 00000594: RETURNDATASIZE 00000595: PUSH1 0x20 00000597: DUP2 00000598: LT 00000599: ISZERO 0000059a: PUSH2 0x05a2 0000059d: JUMPI 0000059e: PUSH1 0x00 000005a0: DUP1 000005a1: REVERT 000005a2: JUMPDEST 000005a3: DUP2 000005a4: ADD 000005a5: SWAP1 000005a6: DUP1 000005a7: DUP1 000005a8: MLOAD 000005a9: SWAP1 000005aa: PUSH1 0x20 000005ac: ADD 000005ad: SWAP1 000005ae: SWAP3 000005af: SWAP2 000005b0: SWAP1 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: ADD 000005b5: SWAP1 000005b6: POP 000005b7: PUSH2 0x05c2 000005ba: DUP6 000005bb: DUP6 000005bc: DUP6 000005bd: DUP5 000005be: PUSH2 0x0afb 000005c1: JUMP 000005c2: JUMPDEST 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH2 0x05d2 000005cb: JUMP 000005cc: JUMPDEST 000005cd: JUMPDEST 000005ce: PUSH1 0x00 000005d0: DUP1 000005d1: REVERT 000005d2: JUMPDEST 000005d3: POP 000005d4: POP 000005d5: POP 000005d6: POP 000005d7: POP 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: PUSH1 0x00 000005df: SWAP1 000005e0: SLOAD 000005e1: SWAP1 000005e2: PUSH2 0x0100 000005e5: EXP 000005e6: SWAP1 000005e7: DIV 000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fd: AND 000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000613: AND 00000614: CALLER 00000615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062a: AND 0000062b: EQ 0000062c: ISZERO 0000062d: ISZERO 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: PUSH1 0x00 00000639: SWAP1 0000063a: POP 0000063b: JUMPDEST 0000063c: DUP2 0000063d: DUP2 0000063e: LT 0000063f: ISZERO 00000640: PUSH2 0x074c 00000643: JUMPI 00000644: PUSH1 0x01 00000646: PUSH1 0x40 00000648: DUP1 00000649: MLOAD 0000064a: SWAP1 0000064b: DUP2 0000064c: ADD 0000064d: PUSH1 0x40 0000064f: MSTORE 00000650: DUP1 00000651: PUSH2 0x0658 00000654: PUSH2 0x189f 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH1 0x40 0000065b: MLOAD 0000065c: DUP1 0000065d: SWAP2 0000065e: SUB 0000065f: SWAP1 00000660: PUSH1 0x00 00000662: CREATE 00000663: DUP1 00000664: ISZERO 00000665: DUP1 00000666: ISZERO 00000667: PUSH2 0x0674 0000066a: JUMPI 0000066b: RETURNDATASIZE 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: RETURNDATACOPY 00000670: RETURNDATASIZE 00000671: PUSH1 0x00 00000673: REVERT 00000674: JUMPDEST 00000675: POP 00000676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068b: AND 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x20 00000690: ADD 00000691: PUSH1 0x01 00000693: PUSH8 0xffffffffffffffff 0000069c: AND 0000069d: DUP2 0000069e: MSTORE 0000069f: POP 000006a0: SWAP1 000006a1: DUP1 000006a2: PUSH1 0x01 000006a4: DUP2 000006a5: SLOAD 000006a6: ADD 000006a7: DUP1 000006a8: DUP3 000006a9: SSTORE 000006aa: DUP1 000006ab: SWAP2 000006ac: POP 000006ad: POP 000006ae: SWAP1 000006af: PUSH1 0x01 000006b1: DUP3 000006b2: SUB 000006b3: SWAP1 000006b4: PUSH1 0x00 000006b6: MSTORE 000006b7: PUSH1 0x20 000006b9: PUSH1 0x00 000006bb: KECCAK256 000006bc: ADD 000006bd: PUSH1 0x00 000006bf: SWAP1 000006c0: SWAP2 000006c1: SWAP3 000006c2: SWAP1 000006c3: SWAP2 000006c4: SWAP1 000006c5: SWAP2 000006c6: POP 000006c7: PUSH1 0x00 000006c9: DUP3 000006ca: ADD 000006cb: MLOAD 000006cc: DUP2 000006cd: PUSH1 0x00 000006cf: ADD 000006d0: PUSH1 0x00 000006d2: PUSH2 0x0100 000006d5: EXP 000006d6: DUP2 000006d7: SLOAD 000006d8: DUP2 000006d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ee: MUL 000006ef: NOT 000006f0: AND 000006f1: SWAP1 000006f2: DUP4 000006f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000708: AND 00000709: MUL 0000070a: OR 0000070b: SWAP1 0000070c: SSTORE 0000070d: POP 0000070e: PUSH1 0x20 00000710: DUP3 00000711: ADD 00000712: MLOAD 00000713: DUP2 00000714: PUSH1 0x00 00000716: ADD 00000717: PUSH1 0x14 00000719: PUSH2 0x0100 0000071c: EXP 0000071d: DUP2 0000071e: SLOAD 0000071f: DUP2 00000720: PUSH8 0xffffffffffffffff 00000729: MUL 0000072a: NOT 0000072b: AND 0000072c: SWAP1 0000072d: DUP4 0000072e: PUSH8 0xffffffffffffffff 00000737: AND 00000738: MUL 00000739: OR 0000073a: SWAP1 0000073b: SSTORE 0000073c: POP 0000073d: POP 0000073e: POP 0000073f: POP 00000740: DUP1 00000741: DUP1 00000742: PUSH1 0x01 00000744: ADD 00000745: SWAP2 00000746: POP 00000747: POP 00000748: PUSH2 0x063b 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x01 0000074f: DUP1 00000750: SLOAD 00000751: SWAP1 00000752: POP 00000753: PUSH1 0x02 00000755: DUP2 00000756: SWAP1 00000757: SSTORE 00000758: POP 00000759: POP 0000075a: POP 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x00 0000075f: DUP1 00000760: PUSH1 0x00 00000762: SWAP1 00000763: SLOAD 00000764: SWAP1 00000765: PUSH2 0x0100 00000768: EXP 00000769: SWAP1 0000076a: DIV 0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000780: AND 00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000796: AND 00000797: CALLER 00000798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ad: AND 000007ae: EQ 000007af: ISZERO 000007b0: ISZERO 000007b1: PUSH2 0x07b9 000007b4: JUMPI 000007b5: PUSH1 0x00 000007b7: DUP1 000007b8: REVERT 000007b9: JUMPDEST 000007ba: PUSH1 0x01 000007bc: DUP1 000007bd: SLOAD 000007be: SWAP1 000007bf: POP 000007c0: SWAP1 000007c1: POP 000007c2: SWAP1 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: SWAP1 000007c9: SLOAD 000007ca: SWAP1 000007cb: PUSH2 0x0100 000007ce: EXP 000007cf: SWAP1 000007d0: DIV 000007d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e6: AND 000007e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fc: AND 000007fd: CALLER 000007fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000813: AND 00000814: EQ 00000815: ISZERO 00000816: ISZERO 00000817: PUSH2 0x081f 0000081a: JUMPI 0000081b: PUSH1 0x00 0000081d: DUP1 0000081e: REVERT 0000081f: JUMPDEST 00000820: DUP1 00000821: PUSH1 0x00 00000823: DUP1 00000824: PUSH2 0x0100 00000827: EXP 00000828: DUP2 00000829: SLOAD 0000082a: DUP2 0000082b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000840: MUL 00000841: NOT 00000842: AND 00000843: SWAP1 00000844: DUP4 00000845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085a: AND 0000085b: MUL 0000085c: OR 0000085d: SWAP1 0000085e: SSTORE 0000085f: POP 00000860: PUSH1 0x00 00000862: DUP1 00000863: SWAP1 00000864: SLOAD 00000865: SWAP1 00000866: PUSH2 0x0100 00000869: EXP 0000086a: SWAP1 0000086b: DIV 0000086c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000881: AND 00000882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000897: AND 00000898: PUSH32 0x9736aeb40a8f30a5c076a9897428fdf7ec0e909c96dce63533664c9b5c835da6 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: PUSH1 0x40 000008be: MLOAD 000008bf: DUP1 000008c0: SWAP2 000008c1: SUB 000008c2: SWAP1 000008c3: LOG2 000008c4: POP 000008c5: JUMP 000008c6: JUMPDEST 000008c7: PUSH1 0x00 000008c9: DUP1 000008ca: SWAP1 000008cb: SLOAD 000008cc: SWAP1 000008cd: PUSH2 0x0100 000008d0: EXP 000008d1: SWAP1 000008d2: DIV 000008d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e8: AND 000008e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fe: AND 000008ff: CALLER 00000900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000915: AND 00000916: EQ 00000917: ISZERO 00000918: ISZERO 00000919: PUSH2 0x0921 0000091c: JUMPI 0000091d: PUSH1 0x00 0000091f: DUP1 00000920: REVERT 00000921: JUMPDEST 00000922: DUP1 00000923: ADDRESS 00000924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000939: AND 0000093a: BALANCE 0000093b: LT 0000093c: ISZERO 0000093d: ISZERO 0000093e: PUSH2 0x0989 00000941: JUMPI 00000942: DUP2 00000943: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000958: AND 00000959: PUSH2 0x08fc 0000095c: DUP3 0000095d: SWAP1 0000095e: DUP2 0000095f: ISZERO 00000960: MUL 00000961: SWAP1 00000962: PUSH1 0x40 00000964: MLOAD 00000965: PUSH1 0x00 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: DUP1 0000096b: DUP4 0000096c: SUB 0000096d: DUP2 0000096e: DUP6 0000096f: DUP9 00000970: DUP9 00000971: CALL 00000972: SWAP4 00000973: POP 00000974: POP 00000975: POP 00000976: POP 00000977: ISZERO 00000978: DUP1 00000979: ISZERO 0000097a: PUSH2 0x0987 0000097d: JUMPI 0000097e: RETURNDATASIZE 0000097f: PUSH1 0x00 00000981: DUP1 00000982: RETURNDATACOPY 00000983: RETURNDATASIZE 00000984: PUSH1 0x00 00000986: REVERT 00000987: JUMPDEST 00000988: POP 00000989: JUMPDEST 0000098a: POP 0000098b: POP 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH1 0x00 00000990: DUP1 00000991: PUSH1 0x00 00000993: SWAP1 00000994: SLOAD 00000995: SWAP1 00000996: PUSH2 0x0100 00000999: EXP 0000099a: SWAP1 0000099b: DIV 0000099c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b1: AND 000009b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c7: AND 000009c8: CALLER 000009c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009de: AND 000009df: EQ 000009e0: ISZERO 000009e1: ISZERO 000009e2: PUSH2 0x09ea 000009e5: JUMPI 000009e6: PUSH1 0x00 000009e8: DUP1 000009e9: REVERT 000009ea: JUMPDEST 000009eb: PUSH1 0x00 000009ed: SWAP1 000009ee: POP 000009ef: JUMPDEST 000009f0: PUSH1 0x01 000009f2: DUP1 000009f3: SLOAD 000009f4: SWAP1 000009f5: POP 000009f6: DUP2 000009f7: LT 000009f8: ISZERO 000009f9: PUSH2 0x0ac1 000009fc: JUMPI 000009fd: PUSH1 0x01 000009ff: DUP2 00000a00: DUP2 00000a01: SLOAD 00000a02: DUP2 00000a03: LT 00000a04: ISZERO 00000a05: ISZERO 00000a06: PUSH2 0x0a0b 00000a09: JUMPI 00000a0a: INVALID 00000a0b: JUMPDEST 00000a0c: SWAP1 00000a0d: PUSH1 0x00 00000a0f: MSTORE 00000a10: PUSH1 0x20 00000a12: PUSH1 0x00 00000a14: KECCAK256 00000a15: ADD 00000a16: PUSH1 0x00 00000a18: ADD 00000a19: PUSH1 0x00 00000a1b: SWAP1 00000a1c: SLOAD 00000a1d: SWAP1 00000a1e: PUSH2 0x0100 00000a21: EXP 00000a22: SWAP1 00000a23: DIV 00000a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a39: AND 00000a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4f: AND 00000a50: PUSH4 0xf655da9e 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: DUP2 00000a59: PUSH4 0xffffffff 00000a5e: AND 00000a5f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a7d: MUL 00000a7e: DUP2 00000a7f: MSTORE 00000a80: PUSH1 0x04 00000a82: ADD 00000a83: PUSH1 0x00 00000a85: PUSH1 0x40 00000a87: MLOAD 00000a88: DUP1 00000a89: DUP4 00000a8a: SUB 00000a8b: DUP2 00000a8c: PUSH1 0x00 00000a8e: DUP8 00000a8f: DUP1 00000a90: EXTCODESIZE 00000a91: ISZERO 00000a92: DUP1 00000a93: ISZERO 00000a94: PUSH2 0x0a9c 00000a97: JUMPI 00000a98: PUSH1 0x00 00000a9a: DUP1 00000a9b: REVERT 00000a9c: JUMPDEST 00000a9d: POP 00000a9e: GAS 00000a9f: CALL 00000aa0: ISZERO 00000aa1: DUP1 00000aa2: ISZERO 00000aa3: PUSH2 0x0ab0 00000aa6: JUMPI 00000aa7: RETURNDATASIZE 00000aa8: PUSH1 0x00 00000aaa: DUP1 00000aab: RETURNDATACOPY 00000aac: RETURNDATASIZE 00000aad: PUSH1 0x00 00000aaf: REVERT 00000ab0: JUMPDEST 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: POP 00000ab5: DUP1 00000ab6: DUP1 00000ab7: PUSH1 0x01 00000ab9: ADD 00000aba: SWAP2 00000abb: POP 00000abc: POP 00000abd: PUSH2 0x09ef 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: PUSH1 0x00 00000ac4: DUP1 00000ac5: SWAP1 00000ac6: SLOAD 00000ac7: SWAP1 00000ac8: PUSH2 0x0100 00000acb: EXP 00000acc: SWAP1 00000acd: DIV 00000ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae3: AND 00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af9: AND 00000afa: SELFDESTRUCT 00000afb: JUMPDEST 00000afc: PUSH1 0x00 00000afe: DUP1 00000aff: PUSH1 0x00 00000b01: DUP1 00000b02: PUSH1 0x00 00000b04: DUP1 00000b05: SWAP4 00000b06: POP 00000b07: JUMPDEST 00000b08: PUSH1 0x01 00000b0a: DUP1 00000b0b: SLOAD 00000b0c: SWAP1 00000b0d: POP 00000b0e: DUP5 00000b0f: LT 00000b10: ISZERO 00000b11: PUSH2 0x0f70 00000b14: JUMPI 00000b15: PUSH1 0x01 00000b17: DUP5 00000b18: DUP2 00000b19: SLOAD 00000b1a: DUP2 00000b1b: LT 00000b1c: ISZERO 00000b1d: ISZERO 00000b1e: PUSH2 0x0b23 00000b21: JUMPI 00000b22: INVALID 00000b23: JUMPDEST 00000b24: SWAP1 00000b25: PUSH1 0x00 00000b27: MSTORE 00000b28: PUSH1 0x20 00000b2a: PUSH1 0x00 00000b2c: KECCAK256 00000b2d: ADD 00000b2e: SWAP3 00000b2f: POP 00000b30: PUSH2 0x0b7f 00000b33: DUP4 00000b34: PUSH1 0x00 00000b36: ADD 00000b37: PUSH1 0x00 00000b39: SWAP1 00000b3a: SLOAD 00000b3b: SWAP1 00000b3c: PUSH2 0x0100 00000b3f: EXP 00000b40: SWAP1 00000b41: DIV 00000b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b57: AND 00000b58: DUP5 00000b59: PUSH1 0x00 00000b5b: ADD 00000b5c: PUSH1 0x14 00000b5e: SWAP1 00000b5f: SLOAD 00000b60: SWAP1 00000b61: PUSH2 0x0100 00000b64: EXP 00000b65: SWAP1 00000b66: DIV 00000b67: PUSH8 0xffffffffffffffff 00000b70: AND 00000b71: PUSH8 0xffffffffffffffff 00000b7a: AND 00000b7b: PUSH2 0x0f81 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: SWAP2 00000b81: POP 00000b82: NUMBER 00000b83: TIMESTAMP 00000b84: DUP4 00000b85: PUSH1 0x40 00000b87: MLOAD 00000b88: PUSH1 0x20 00000b8a: ADD 00000b8b: DUP1 00000b8c: DUP3 00000b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba2: AND 00000ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb8: AND 00000bb9: PUSH13 0x01000000000000000000000000 00000bc7: MUL 00000bc8: DUP2 00000bc9: MSTORE 00000bca: PUSH1 0x14 00000bcc: ADD 00000bcd: SWAP2 00000bce: POP 00000bcf: POP 00000bd0: PUSH1 0x40 00000bd2: MLOAD 00000bd3: PUSH1 0x20 00000bd5: DUP2 00000bd6: DUP4 00000bd7: SUB 00000bd8: SUB 00000bd9: DUP2 00000bda: MSTORE 00000bdb: SWAP1 00000bdc: PUSH1 0x40 00000bde: MSTORE 00000bdf: PUSH1 0x40 00000be1: MLOAD 00000be2: DUP1 00000be3: DUP3 00000be4: DUP1 00000be5: MLOAD 00000be6: SWAP1 00000be7: PUSH1 0x20 00000be9: ADD 00000bea: SWAP1 00000beb: DUP1 00000bec: DUP4 00000bed: DUP4 00000bee: JUMPDEST 00000bef: PUSH1 0x20 00000bf1: DUP4 00000bf2: LT 00000bf3: ISZERO 00000bf4: ISZERO 00000bf5: PUSH2 0x0c13 00000bf8: JUMPI 00000bf9: DUP1 00000bfa: MLOAD 00000bfb: DUP3 00000bfc: MSTORE 00000bfd: PUSH1 0x20 00000bff: DUP3 00000c00: ADD 00000c01: SWAP2 00000c02: POP 00000c03: PUSH1 0x20 00000c05: DUP2 00000c06: ADD 00000c07: SWAP1 00000c08: POP 00000c09: PUSH1 0x20 00000c0b: DUP4 00000c0c: SUB 00000c0d: SWAP3 00000c0e: POP 00000c0f: PUSH2 0x0bee 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x01 00000c16: DUP4 00000c17: PUSH1 0x20 00000c19: SUB 00000c1a: PUSH2 0x0100 00000c1d: EXP 00000c1e: SUB 00000c1f: DUP1 00000c20: NOT 00000c21: DUP3 00000c22: MLOAD 00000c23: AND 00000c24: DUP2 00000c25: DUP5 00000c26: MLOAD 00000c27: AND 00000c28: DUP1 00000c29: DUP3 00000c2a: OR 00000c2b: DUP6 00000c2c: MSTORE 00000c2d: POP 00000c2e: POP 00000c2f: POP 00000c30: POP 00000c31: POP 00000c32: POP 00000c33: SWAP1 00000c34: POP 00000c35: ADD 00000c36: SWAP2 00000c37: POP 00000c38: POP 00000c39: PUSH1 0x40 00000c3b: MLOAD 00000c3c: DUP1 00000c3d: SWAP2 00000c3e: SUB 00000c3f: SWAP1 00000c40: KECCAK256 00000c41: PUSH1 0x01 00000c43: SWAP1 00000c44: DIV 00000c45: DUP2 00000c46: ISZERO 00000c47: ISZERO 00000c48: PUSH2 0x0c4d 00000c4b: JUMPI 00000c4c: INVALID 00000c4d: JUMPDEST 00000c4e: DIV 00000c4f: GASLIMIT 00000c50: TIMESTAMP 00000c51: COINBASE 00000c52: PUSH1 0x40 00000c54: MLOAD 00000c55: PUSH1 0x20 00000c57: ADD 00000c58: DUP1 00000c59: DUP3 00000c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6f: AND 00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c85: AND 00000c86: PUSH13 0x01000000000000000000000000 00000c94: MUL 00000c95: DUP2 00000c96: MSTORE 00000c97: PUSH1 0x14 00000c99: ADD 00000c9a: SWAP2 00000c9b: POP 00000c9c: POP 00000c9d: PUSH1 0x40 00000c9f: MLOAD 00000ca0: PUSH1 0x20 00000ca2: DUP2 00000ca3: DUP4 00000ca4: SUB 00000ca5: SUB 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: SWAP1 00000ca9: PUSH1 0x40 00000cab: MSTORE 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: DUP1 00000cb0: DUP3 00000cb1: DUP1 00000cb2: MLOAD 00000cb3: SWAP1 00000cb4: PUSH1 0x20 00000cb6: ADD 00000cb7: SWAP1 00000cb8: DUP1 00000cb9: DUP4 00000cba: DUP4 00000cbb: JUMPDEST 00000cbc: PUSH1 0x20 00000cbe: DUP4 00000cbf: LT 00000cc0: ISZERO 00000cc1: ISZERO 00000cc2: PUSH2 0x0ce0 00000cc5: JUMPI 00000cc6: DUP1 00000cc7: MLOAD 00000cc8: DUP3 00000cc9: MSTORE 00000cca: PUSH1 0x20 00000ccc: DUP3 00000ccd: ADD 00000cce: SWAP2 00000ccf: POP 00000cd0: PUSH1 0x20 00000cd2: DUP2 00000cd3: ADD 00000cd4: SWAP1 00000cd5: POP 00000cd6: PUSH1 0x20 00000cd8: DUP4 00000cd9: SUB 00000cda: SWAP3 00000cdb: POP 00000cdc: PUSH2 0x0cbb 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH1 0x01 00000ce3: DUP4 00000ce4: PUSH1 0x20 00000ce6: SUB 00000ce7: PUSH2 0x0100 00000cea: EXP 00000ceb: SUB 00000cec: DUP1 00000ced: NOT 00000cee: DUP3 00000cef: MLOAD 00000cf0: AND 00000cf1: DUP2 00000cf2: DUP5 00000cf3: MLOAD 00000cf4: AND 00000cf5: DUP1 00000cf6: DUP3 00000cf7: OR 00000cf8: DUP6 00000cf9: MSTORE 00000cfa: POP 00000cfb: POP 00000cfc: POP 00000cfd: POP 00000cfe: POP 00000cff: POP 00000d00: SWAP1 00000d01: POP 00000d02: ADD 00000d03: SWAP2 00000d04: POP 00000d05: POP 00000d06: PUSH1 0x40 00000d08: MLOAD 00000d09: DUP1 00000d0a: SWAP2 00000d0b: SUB 00000d0c: SWAP1 00000d0d: KECCAK256 00000d0e: PUSH1 0x01 00000d10: SWAP1 00000d11: DIV 00000d12: DUP2 00000d13: ISZERO 00000d14: ISZERO 00000d15: PUSH2 0x0d1a 00000d18: JUMPI 00000d19: INVALID 00000d1a: JUMPDEST 00000d1b: DIV 00000d1c: DIFFICULTY 00000d1d: TIMESTAMP 00000d1e: ADD 00000d1f: ADD 00000d20: ADD 00000d21: ADD 00000d22: ADD 00000d23: PUSH1 0x40 00000d25: MLOAD 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: DUP1 00000d2a: DUP3 00000d2b: DUP2 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: ADD 00000d30: SWAP2 00000d31: POP 00000d32: POP 00000d33: PUSH1 0x40 00000d35: MLOAD 00000d36: PUSH1 0x20 00000d38: DUP2 00000d39: DUP4 00000d3a: SUB 00000d3b: SUB 00000d3c: DUP2 00000d3d: MSTORE 00000d3e: SWAP1 00000d3f: PUSH1 0x40 00000d41: MSTORE 00000d42: PUSH1 0x40 00000d44: MLOAD 00000d45: DUP1 00000d46: DUP3 00000d47: DUP1 00000d48: MLOAD 00000d49: SWAP1 00000d4a: PUSH1 0x20 00000d4c: ADD 00000d4d: SWAP1 00000d4e: DUP1 00000d4f: DUP4 00000d50: DUP4 00000d51: JUMPDEST 00000d52: PUSH1 0x20 00000d54: DUP4 00000d55: LT 00000d56: ISZERO 00000d57: ISZERO 00000d58: PUSH2 0x0d76 00000d5b: JUMPI 00000d5c: DUP1 00000d5d: MLOAD 00000d5e: DUP3 00000d5f: MSTORE 00000d60: PUSH1 0x20 00000d62: DUP3 00000d63: ADD 00000d64: SWAP2 00000d65: POP 00000d66: PUSH1 0x20 00000d68: DUP2 00000d69: ADD 00000d6a: SWAP1 00000d6b: POP 00000d6c: PUSH1 0x20 00000d6e: DUP4 00000d6f: SUB 00000d70: SWAP3 00000d71: POP 00000d72: PUSH2 0x0d51 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x01 00000d79: DUP4 00000d7a: PUSH1 0x20 00000d7c: SUB 00000d7d: PUSH2 0x0100 00000d80: EXP 00000d81: SUB 00000d82: DUP1 00000d83: NOT 00000d84: DUP3 00000d85: MLOAD 00000d86: AND 00000d87: DUP2 00000d88: DUP5 00000d89: MLOAD 00000d8a: AND 00000d8b: DUP1 00000d8c: DUP3 00000d8d: OR 00000d8e: DUP6 00000d8f: MSTORE 00000d90: POP 00000d91: POP 00000d92: POP 00000d93: POP 00000d94: POP 00000d95: POP 00000d96: SWAP1 00000d97: POP 00000d98: ADD 00000d99: SWAP2 00000d9a: POP 00000d9b: POP 00000d9c: PUSH1 0x40 00000d9e: MLOAD 00000d9f: DUP1 00000da0: SWAP2 00000da1: SUB 00000da2: SWAP1 00000da3: KECCAK256 00000da4: PUSH1 0x01 00000da6: SWAP1 00000da7: DIV 00000da8: SWAP1 00000da9: POP 00000daa: PUSH2 0x03e8 00000dad: DUP1 00000dae: DUP3 00000daf: DUP2 00000db0: ISZERO 00000db1: ISZERO 00000db2: PUSH2 0x0db7 00000db5: JUMPI 00000db6: INVALID 00000db7: JUMPDEST 00000db8: DIV 00000db9: MUL 00000dba: DUP2 00000dbb: SUB 00000dbc: SWAP1 00000dbd: POP 00000dbe: DUP6 00000dbf: DUP2 00000dc0: LT 00000dc1: ISZERO 00000dc2: PUSH2 0x0f63 00000dc5: JUMPI 00000dc6: DUP3 00000dc7: PUSH1 0x00 00000dc9: ADD 00000dca: PUSH1 0x00 00000dcc: SWAP1 00000dcd: SLOAD 00000dce: SWAP1 00000dcf: PUSH2 0x0100 00000dd2: EXP 00000dd3: SWAP1 00000dd4: DIV 00000dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dea: AND 00000deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e00: AND 00000e01: PUSH4 0xc54dadaa 00000e06: CALLVALUE 00000e07: DUP12 00000e08: DUP12 00000e09: DUP12 00000e0a: DUP13 00000e0b: DUP8 00000e0c: LT 00000e0d: PUSH1 0x03 00000e0f: PUSH1 0x00 00000e11: SWAP1 00000e12: SLOAD 00000e13: SWAP1 00000e14: PUSH2 0x0100 00000e17: EXP 00000e18: SWAP1 00000e19: DIV 00000e1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2f: AND 00000e30: PUSH1 0x40 00000e32: MLOAD 00000e33: DUP8 00000e34: PUSH4 0xffffffff 00000e39: AND 00000e3a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000e58: MUL 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x04 00000e5d: ADD 00000e5e: DUP1 00000e5f: DUP7 00000e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e75: AND 00000e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8b: AND 00000e8c: DUP2 00000e8d: MSTORE 00000e8e: PUSH1 0x20 00000e90: ADD 00000e91: DUP6 00000e92: DUP2 00000e93: MSTORE 00000e94: PUSH1 0x20 00000e96: ADD 00000e97: DUP5 00000e98: DUP2 00000e99: MSTORE 00000e9a: PUSH1 0x20 00000e9c: ADD 00000e9d: DUP4 00000e9e: ISZERO 00000e9f: ISZERO 00000ea0: ISZERO 00000ea1: ISZERO 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: ADD 00000ea7: DUP3 00000ea8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebd: AND 00000ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed3: AND 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x20 00000ed8: ADD 00000ed9: SWAP6 00000eda: POP 00000edb: POP 00000edc: POP 00000edd: POP 00000ede: POP 00000edf: POP 00000ee0: PUSH1 0x00 00000ee2: PUSH1 0x40 00000ee4: MLOAD 00000ee5: DUP1 00000ee6: DUP4 00000ee7: SUB 00000ee8: DUP2 00000ee9: DUP6 00000eea: DUP9 00000eeb: DUP1 00000eec: EXTCODESIZE 00000eed: ISZERO 00000eee: DUP1 00000eef: ISZERO 00000ef0: PUSH2 0x0ef8 00000ef3: JUMPI 00000ef4: PUSH1 0x00 00000ef6: DUP1 00000ef7: REVERT 00000ef8: JUMPDEST 00000ef9: POP 00000efa: GAS 00000efb: CALL 00000efc: ISZERO 00000efd: DUP1 00000efe: ISZERO 00000eff: PUSH2 0x0f0c 00000f02: JUMPI 00000f03: RETURNDATASIZE 00000f04: PUSH1 0x00 00000f06: DUP1 00000f07: RETURNDATACOPY 00000f08: RETURNDATASIZE 00000f09: PUSH1 0x00 00000f0b: REVERT 00000f0c: JUMPDEST 00000f0d: POP 00000f0e: POP 00000f0f: POP 00000f10: POP 00000f11: POP 00000f12: DUP3 00000f13: PUSH1 0x00 00000f15: ADD 00000f16: PUSH1 0x14 00000f18: DUP2 00000f19: DUP2 00000f1a: SWAP1 00000f1b: SLOAD 00000f1c: SWAP1 00000f1d: PUSH2 0x0100 00000f20: EXP 00000f21: SWAP1 00000f22: DIV 00000f23: PUSH8 0xffffffffffffffff 00000f2c: AND 00000f2d: DUP1 00000f2e: SWAP3 00000f2f: SWAP2 00000f30: SWAP1 00000f31: PUSH1 0x01 00000f33: ADD 00000f34: SWAP2 00000f35: SWAP1 00000f36: PUSH2 0x0100 00000f39: EXP 00000f3a: DUP2 00000f3b: SLOAD 00000f3c: DUP2 00000f3d: PUSH8 0xffffffffffffffff 00000f46: MUL 00000f47: NOT 00000f48: AND 00000f49: SWAP1 00000f4a: DUP4 00000f4b: PUSH8 0xffffffffffffffff 00000f54: AND 00000f55: MUL 00000f56: OR 00000f57: SWAP1 00000f58: SSTORE 00000f59: POP 00000f5a: POP 00000f5b: PUSH1 0x01 00000f5d: SWAP5 00000f5e: POP 00000f5f: PUSH2 0x0f75 00000f62: JUMP 00000f63: JUMPDEST 00000f64: DUP4 00000f65: DUP1 00000f66: PUSH1 0x01 00000f68: ADD 00000f69: SWAP5 00000f6a: POP 00000f6b: POP 00000f6c: PUSH2 0x0b07 00000f6f: JUMP 00000f70: JUMPDEST 00000f71: PUSH1 0x00 00000f73: SWAP5 00000f74: POP 00000f75: JUMPDEST 00000f76: POP 00000f77: POP 00000f78: POP 00000f79: POP 00000f7a: SWAP5 00000f7b: SWAP4 00000f7c: POP 00000f7d: POP 00000f7e: POP 00000f7f: POP 00000f80: JUMP 00000f81: JUMPDEST 00000f82: PUSH1 0x00 00000f84: DUP1 00000f85: DUP3 00000f86: EQ 00000f87: ISZERO 00000f88: PUSH2 0x10e6 00000f8b: JUMPI 00000f8c: PUSH1 0xd6 00000f8e: PUSH1 0x94 00000f90: DUP5 00000f91: PUSH1 0x80 00000f93: PUSH1 0x40 00000f95: MLOAD 00000f96: PUSH1 0x20 00000f98: ADD 00000f99: DUP1 00000f9a: DUP6 00000f9b: PUSH1 0xff 00000f9d: AND 00000f9e: PUSH1 0xff 00000fa0: AND 00000fa1: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000fc2: MUL 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x01 00000fc7: ADD 00000fc8: DUP5 00000fc9: PUSH1 0xff 00000fcb: AND 00000fcc: PUSH1 0xff 00000fce: AND 00000fcf: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000ff0: MUL 00000ff1: DUP2 00000ff2: MSTORE 00000ff3: PUSH1 0x01 00000ff5: ADD 00000ff6: DUP4 00000ff7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100c: AND 0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001022: AND 00001023: PUSH13 0x01000000000000000000000000 00001031: MUL 00001032: DUP2 00001033: MSTORE 00001034: PUSH1 0x14 00001036: ADD 00001037: DUP3 00001038: PUSH1 0xff 0000103a: AND 0000103b: PUSH1 0xff 0000103d: AND 0000103e: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 0000105f: MUL 00001060: DUP2 00001061: MSTORE 00001062: PUSH1 0x01 00001064: ADD 00001065: SWAP5 00001066: POP 00001067: POP 00001068: POP 00001069: POP 0000106a: POP 0000106b: PUSH1 0x40 0000106d: MLOAD 0000106e: PUSH1 0x20 00001070: DUP2 00001071: DUP4 00001072: SUB 00001073: SUB 00001074: DUP2 00001075: MSTORE 00001076: SWAP1 00001077: PUSH1 0x40 00001079: MSTORE 0000107a: PUSH1 0x40 0000107c: MLOAD 0000107d: DUP1 0000107e: DUP3 0000107f: DUP1 00001080: MLOAD 00001081: SWAP1 00001082: PUSH1 0x20 00001084: ADD 00001085: SWAP1 00001086: DUP1 00001087: DUP4 00001088: DUP4 00001089: JUMPDEST 0000108a: PUSH1 0x20 0000108c: DUP4 0000108d: LT 0000108e: ISZERO 0000108f: ISZERO 00001090: PUSH2 0x10ae 00001093: JUMPI 00001094: DUP1 00001095: MLOAD 00001096: DUP3 00001097: MSTORE 00001098: PUSH1 0x20 0000109a: DUP3 0000109b: ADD 0000109c: SWAP2 0000109d: POP 0000109e: PUSH1 0x20 000010a0: DUP2 000010a1: ADD 000010a2: SWAP1 000010a3: POP 000010a4: PUSH1 0x20 000010a6: DUP4 000010a7: SUB 000010a8: SWAP3 000010a9: POP 000010aa: PUSH2 0x1089 000010ad: JUMP 000010ae: JUMPDEST 000010af: PUSH1 0x01 000010b1: DUP4 000010b2: PUSH1 0x20 000010b4: SUB 000010b5: PUSH2 0x0100 000010b8: EXP 000010b9: SUB 000010ba: DUP1 000010bb: NOT 000010bc: DUP3 000010bd: MLOAD 000010be: AND 000010bf: DUP2 000010c0: DUP5 000010c1: MLOAD 000010c2: AND 000010c3: DUP1 000010c4: DUP3 000010c5: OR 000010c6: DUP6 000010c7: MSTORE 000010c8: POP 000010c9: POP 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: SWAP1 000010cf: POP 000010d0: ADD 000010d1: SWAP2 000010d2: POP 000010d3: POP 000010d4: PUSH1 0x40 000010d6: MLOAD 000010d7: DUP1 000010d8: SWAP2 000010d9: SUB 000010da: SWAP1 000010db: KECCAK256 000010dc: PUSH1 0x01 000010de: SWAP1 000010df: DIV 000010e0: SWAP1 000010e1: POP 000010e2: PUSH2 0x1899 000010e5: JUMP 000010e6: JUMPDEST 000010e7: PUSH1 0x7f 000010e9: DUP3 000010ea: GT 000010eb: ISZERO 000010ec: ISZERO 000010ed: PUSH2 0x124a 000010f0: JUMPI 000010f1: PUSH1 0xd6 000010f3: PUSH1 0x94 000010f5: DUP5 000010f6: DUP5 000010f7: PUSH1 0x40 000010f9: MLOAD 000010fa: PUSH1 0x20 000010fc: ADD 000010fd: DUP1 000010fe: DUP6 000010ff: PUSH1 0xff 00001101: AND 00001102: PUSH1 0xff 00001104: AND 00001105: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001126: MUL 00001127: DUP2 00001128: MSTORE 00001129: PUSH1 0x01 0000112b: ADD 0000112c: DUP5 0000112d: PUSH1 0xff 0000112f: AND 00001130: PUSH1 0xff 00001132: AND 00001133: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001154: MUL 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x01 00001159: ADD 0000115a: DUP4 0000115b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001170: AND 00001171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001186: AND 00001187: PUSH13 0x01000000000000000000000000 00001195: MUL 00001196: DUP2 00001197: MSTORE 00001198: PUSH1 0x14 0000119a: ADD 0000119b: DUP3 0000119c: PUSH1 0xff 0000119e: AND 0000119f: PUSH1 0xff 000011a1: AND 000011a2: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000011c3: MUL 000011c4: DUP2 000011c5: MSTORE 000011c6: PUSH1 0x01 000011c8: ADD 000011c9: SWAP5 000011ca: POP 000011cb: POP 000011cc: POP 000011cd: POP 000011ce: POP 000011cf: PUSH1 0x40 000011d1: MLOAD 000011d2: PUSH1 0x20 000011d4: DUP2 000011d5: DUP4 000011d6: SUB 000011d7: SUB 000011d8: DUP2 000011d9: MSTORE 000011da: SWAP1 000011db: PUSH1 0x40 000011dd: MSTORE 000011de: PUSH1 0x40 000011e0: MLOAD 000011e1: DUP1 000011e2: DUP3 000011e3: DUP1 000011e4: MLOAD 000011e5: SWAP1 000011e6: PUSH1 0x20 000011e8: ADD 000011e9: SWAP1 000011ea: DUP1 000011eb: DUP4 000011ec: DUP4 000011ed: JUMPDEST 000011ee: PUSH1 0x20 000011f0: DUP4 000011f1: LT 000011f2: ISZERO 000011f3: ISZERO 000011f4: PUSH2 0x1212 000011f7: JUMPI 000011f8: DUP1 000011f9: MLOAD 000011fa: DUP3 000011fb: MSTORE 000011fc: PUSH1 0x20 000011fe: DUP3 000011ff: ADD 00001200: SWAP2 00001201: POP 00001202: PUSH1 0x20 00001204: DUP2 00001205: ADD 00001206: SWAP1 00001207: POP 00001208: PUSH1 0x20 0000120a: DUP4 0000120b: SUB 0000120c: SWAP3 0000120d: POP 0000120e: PUSH2 0x11ed 00001211: JUMP 00001212: JUMPDEST 00001213: PUSH1 0x01 00001215: DUP4 00001216: PUSH1 0x20 00001218: SUB 00001219: PUSH2 0x0100 0000121c: EXP 0000121d: SUB 0000121e: DUP1 0000121f: NOT 00001220: DUP3 00001221: MLOAD 00001222: AND 00001223: DUP2 00001224: DUP5 00001225: MLOAD 00001226: AND 00001227: DUP1 00001228: DUP3 00001229: OR 0000122a: DUP6 0000122b: MSTORE 0000122c: POP 0000122d: POP 0000122e: POP 0000122f: POP 00001230: POP 00001231: POP 00001232: SWAP1 00001233: POP 00001234: ADD 00001235: SWAP2 00001236: POP 00001237: POP 00001238: PUSH1 0x40 0000123a: MLOAD 0000123b: DUP1 0000123c: SWAP2 0000123d: SUB 0000123e: SWAP1 0000123f: KECCAK256 00001240: PUSH1 0x01 00001242: SWAP1 00001243: DIV 00001244: SWAP1 00001245: POP 00001246: PUSH2 0x1899 00001249: JUMP 0000124a: JUMPDEST 0000124b: PUSH1 0xff 0000124d: DUP3 0000124e: GT 0000124f: ISZERO 00001250: ISZERO 00001251: PUSH2 0x13df 00001254: JUMPI 00001255: PUSH1 0xd7 00001257: PUSH1 0x94 00001259: DUP5 0000125a: PUSH1 0x81 0000125c: DUP6 0000125d: PUSH1 0x40 0000125f: MLOAD 00001260: PUSH1 0x20 00001262: ADD 00001263: DUP1 00001264: DUP7 00001265: PUSH1 0xff 00001267: AND 00001268: PUSH1 0xff 0000126a: AND 0000126b: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 0000128c: MUL 0000128d: DUP2 0000128e: MSTORE 0000128f: PUSH1 0x01 00001291: ADD 00001292: DUP6 00001293: PUSH1 0xff 00001295: AND 00001296: PUSH1 0xff 00001298: AND 00001299: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000012ba: MUL 000012bb: DUP2 000012bc: MSTORE 000012bd: PUSH1 0x01 000012bf: ADD 000012c0: DUP5 000012c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d6: AND 000012d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ec: AND 000012ed: PUSH13 0x01000000000000000000000000 000012fb: MUL 000012fc: DUP2 000012fd: MSTORE 000012fe: PUSH1 0x14 00001300: ADD 00001301: DUP4 00001302: PUSH1 0xff 00001304: AND 00001305: PUSH1 0xff 00001307: AND 00001308: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001329: MUL 0000132a: DUP2 0000132b: MSTORE 0000132c: PUSH1 0x01 0000132e: ADD 0000132f: DUP3 00001330: PUSH1 0xff 00001332: AND 00001333: PUSH1 0xff 00001335: AND 00001336: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001357: MUL 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x01 0000135c: ADD 0000135d: SWAP6 0000135e: POP 0000135f: POP 00001360: POP 00001361: POP 00001362: POP 00001363: POP 00001364: PUSH1 0x40 00001366: MLOAD 00001367: PUSH1 0x20 00001369: DUP2 0000136a: DUP4 0000136b: SUB 0000136c: SUB 0000136d: DUP2 0000136e: MSTORE 0000136f: SWAP1 00001370: PUSH1 0x40 00001372: MSTORE 00001373: PUSH1 0x40 00001375: MLOAD 00001376: DUP1 00001377: DUP3 00001378: DUP1 00001379: MLOAD 0000137a: SWAP1 0000137b: PUSH1 0x20 0000137d: ADD 0000137e: SWAP1 0000137f: DUP1 00001380: DUP4 00001381: DUP4 00001382: JUMPDEST 00001383: PUSH1 0x20 00001385: DUP4 00001386: LT 00001387: ISZERO 00001388: ISZERO 00001389: PUSH2 0x13a7 0000138c: JUMPI 0000138d: DUP1 0000138e: MLOAD 0000138f: DUP3 00001390: MSTORE 00001391: PUSH1 0x20 00001393: DUP3 00001394: ADD 00001395: SWAP2 00001396: POP 00001397: PUSH1 0x20 00001399: DUP2 0000139a: ADD 0000139b: SWAP1 0000139c: POP 0000139d: PUSH1 0x20 0000139f: DUP4 000013a0: SUB 000013a1: SWAP3 000013a2: POP 000013a3: PUSH2 0x1382 000013a6: JUMP 000013a7: JUMPDEST 000013a8: PUSH1 0x01 000013aa: DUP4 000013ab: PUSH1 0x20 000013ad: SUB 000013ae: PUSH2 0x0100 000013b1: EXP 000013b2: SUB 000013b3: DUP1 000013b4: NOT 000013b5: DUP3 000013b6: MLOAD 000013b7: AND 000013b8: DUP2 000013b9: DUP5 000013ba: MLOAD 000013bb: AND 000013bc: DUP1 000013bd: DUP3 000013be: OR 000013bf: DUP6 000013c0: MSTORE 000013c1: POP 000013c2: POP 000013c3: POP 000013c4: POP 000013c5: POP 000013c6: POP 000013c7: SWAP1 000013c8: POP 000013c9: ADD 000013ca: SWAP2 000013cb: POP 000013cc: POP 000013cd: PUSH1 0x40 000013cf: MLOAD 000013d0: DUP1 000013d1: SWAP2 000013d2: SUB 000013d3: SWAP1 000013d4: KECCAK256 000013d5: PUSH1 0x01 000013d7: SWAP1 000013d8: DIV 000013d9: SWAP1 000013da: POP 000013db: PUSH2 0x1899 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH2 0xffff 000013e3: DUP3 000013e4: GT 000013e5: ISZERO 000013e6: ISZERO 000013e7: PUSH2 0x1576 000013ea: JUMPI 000013eb: PUSH1 0xd8 000013ed: PUSH1 0x94 000013ef: DUP5 000013f0: PUSH1 0x82 000013f2: DUP6 000013f3: PUSH1 0x40 000013f5: MLOAD 000013f6: PUSH1 0x20 000013f8: ADD 000013f9: DUP1 000013fa: DUP7 000013fb: PUSH1 0xff 000013fd: AND 000013fe: PUSH1 0xff 00001400: AND 00001401: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001422: MUL 00001423: DUP2 00001424: MSTORE 00001425: PUSH1 0x01 00001427: ADD 00001428: DUP6 00001429: PUSH1 0xff 0000142b: AND 0000142c: PUSH1 0xff 0000142e: AND 0000142f: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001450: MUL 00001451: DUP2 00001452: MSTORE 00001453: PUSH1 0x01 00001455: ADD 00001456: DUP5 00001457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146c: AND 0000146d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001482: AND 00001483: PUSH13 0x01000000000000000000000000 00001491: MUL 00001492: DUP2 00001493: MSTORE 00001494: PUSH1 0x14 00001496: ADD 00001497: DUP4 00001498: PUSH1 0xff 0000149a: AND 0000149b: PUSH1 0xff 0000149d: AND 0000149e: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000014bf: MUL 000014c0: DUP2 000014c1: MSTORE 000014c2: PUSH1 0x01 000014c4: ADD 000014c5: DUP3 000014c6: PUSH2 0xffff 000014c9: AND 000014ca: PUSH2 0xffff 000014cd: AND 000014ce: PUSH31 0x01000000000000000000000000000000000000000000000000000000000000 000014ee: MUL 000014ef: DUP2 000014f0: MSTORE 000014f1: PUSH1 0x02 000014f3: ADD 000014f4: SWAP6 000014f5: POP 000014f6: POP 000014f7: POP 000014f8: POP 000014f9: POP 000014fa: POP 000014fb: PUSH1 0x40 000014fd: MLOAD 000014fe: PUSH1 0x20 00001500: DUP2 00001501: DUP4 00001502: SUB 00001503: SUB 00001504: DUP2 00001505: MSTORE 00001506: SWAP1 00001507: PUSH1 0x40 00001509: MSTORE 0000150a: PUSH1 0x40 0000150c: MLOAD 0000150d: DUP1 0000150e: DUP3 0000150f: DUP1 00001510: MLOAD 00001511: SWAP1 00001512: PUSH1 0x20 00001514: ADD 00001515: SWAP1 00001516: DUP1 00001517: DUP4 00001518: DUP4 00001519: JUMPDEST 0000151a: PUSH1 0x20 0000151c: DUP4 0000151d: LT 0000151e: ISZERO 0000151f: ISZERO 00001520: PUSH2 0x153e 00001523: JUMPI 00001524: DUP1 00001525: MLOAD 00001526: DUP3 00001527: MSTORE 00001528: PUSH1 0x20 0000152a: DUP3 0000152b: ADD 0000152c: SWAP2 0000152d: POP 0000152e: PUSH1 0x20 00001530: DUP2 00001531: ADD 00001532: SWAP1 00001533: POP 00001534: PUSH1 0x20 00001536: DUP4 00001537: SUB 00001538: SWAP3 00001539: POP 0000153a: PUSH2 0x1519 0000153d: JUMP 0000153e: JUMPDEST 0000153f: PUSH1 0x01 00001541: DUP4 00001542: PUSH1 0x20 00001544: SUB 00001545: PUSH2 0x0100 00001548: EXP 00001549: SUB 0000154a: DUP1 0000154b: NOT 0000154c: DUP3 0000154d: MLOAD 0000154e: AND 0000154f: DUP2 00001550: DUP5 00001551: MLOAD 00001552: AND 00001553: DUP1 00001554: DUP3 00001555: OR 00001556: DUP6 00001557: MSTORE 00001558: POP 00001559: POP 0000155a: POP 0000155b: POP 0000155c: POP 0000155d: POP 0000155e: SWAP1 0000155f: POP 00001560: ADD 00001561: SWAP2 00001562: POP 00001563: POP 00001564: PUSH1 0x40 00001566: MLOAD 00001567: DUP1 00001568: SWAP2 00001569: SUB 0000156a: SWAP1 0000156b: KECCAK256 0000156c: PUSH1 0x01 0000156e: SWAP1 0000156f: DIV 00001570: SWAP1 00001571: POP 00001572: PUSH2 0x1899 00001575: JUMP 00001576: JUMPDEST 00001577: PUSH3 0xffffff 0000157b: DUP3 0000157c: GT 0000157d: ISZERO 0000157e: ISZERO 0000157f: PUSH2 0x170f 00001582: JUMPI 00001583: PUSH1 0xd9 00001585: PUSH1 0x94 00001587: DUP5 00001588: PUSH1 0x83 0000158a: DUP6 0000158b: PUSH1 0x40 0000158d: MLOAD 0000158e: PUSH1 0x20 00001590: ADD 00001591: DUP1 00001592: DUP7 00001593: PUSH1 0xff 00001595: AND 00001596: PUSH1 0xff 00001598: AND 00001599: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000015ba: MUL 000015bb: DUP2 000015bc: MSTORE 000015bd: PUSH1 0x01 000015bf: ADD 000015c0: DUP6 000015c1: PUSH1 0xff 000015c3: AND 000015c4: PUSH1 0xff 000015c6: AND 000015c7: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000015e8: MUL 000015e9: DUP2 000015ea: MSTORE 000015eb: PUSH1 0x01 000015ed: ADD 000015ee: DUP5 000015ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001604: AND 00001605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161a: AND 0000161b: PUSH13 0x01000000000000000000000000 00001629: MUL 0000162a: DUP2 0000162b: MSTORE 0000162c: PUSH1 0x14 0000162e: ADD 0000162f: DUP4 00001630: PUSH1 0xff 00001632: AND 00001633: PUSH1 0xff 00001635: AND 00001636: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001657: MUL 00001658: DUP2 00001659: MSTORE 0000165a: PUSH1 0x01 0000165c: ADD 0000165d: DUP3 0000165e: PUSH3 0xffffff 00001662: AND 00001663: PUSH3 0xffffff 00001667: AND 00001668: PUSH30 0x010000000000000000000000000000000000000000000000000000000000 00001687: MUL 00001688: DUP2 00001689: MSTORE 0000168a: PUSH1 0x03 0000168c: ADD 0000168d: SWAP6 0000168e: POP 0000168f: POP 00001690: POP 00001691: POP 00001692: POP 00001693: POP 00001694: PUSH1 0x40 00001696: MLOAD 00001697: PUSH1 0x20 00001699: DUP2 0000169a: DUP4 0000169b: SUB 0000169c: SUB 0000169d: DUP2 0000169e: MSTORE 0000169f: SWAP1 000016a0: PUSH1 0x40 000016a2: MSTORE 000016a3: PUSH1 0x40 000016a5: MLOAD 000016a6: DUP1 000016a7: DUP3 000016a8: DUP1 000016a9: MLOAD 000016aa: SWAP1 000016ab: PUSH1 0x20 000016ad: ADD 000016ae: SWAP1 000016af: DUP1 000016b0: DUP4 000016b1: DUP4 000016b2: JUMPDEST 000016b3: PUSH1 0x20 000016b5: DUP4 000016b6: LT 000016b7: ISZERO 000016b8: ISZERO 000016b9: PUSH2 0x16d7 000016bc: JUMPI 000016bd: DUP1 000016be: MLOAD 000016bf: DUP3 000016c0: MSTORE 000016c1: PUSH1 0x20 000016c3: DUP3 000016c4: ADD 000016c5: SWAP2 000016c6: POP 000016c7: PUSH1 0x20 000016c9: DUP2 000016ca: ADD 000016cb: SWAP1 000016cc: POP 000016cd: PUSH1 0x20 000016cf: DUP4 000016d0: SUB 000016d1: SWAP3 000016d2: POP 000016d3: PUSH2 0x16b2 000016d6: JUMP 000016d7: JUMPDEST 000016d8: PUSH1 0x01 000016da: DUP4 000016db: PUSH1 0x20 000016dd: SUB 000016de: PUSH2 0x0100 000016e1: EXP 000016e2: SUB 000016e3: DUP1 000016e4: NOT 000016e5: DUP3 000016e6: MLOAD 000016e7: AND 000016e8: DUP2 000016e9: DUP5 000016ea: MLOAD 000016eb: AND 000016ec: DUP1 000016ed: DUP3 000016ee: OR 000016ef: DUP6 000016f0: MSTORE 000016f1: POP 000016f2: POP 000016f3: POP 000016f4: POP 000016f5: POP 000016f6: POP 000016f7: SWAP1 000016f8: POP 000016f9: ADD 000016fa: SWAP2 000016fb: POP 000016fc: POP 000016fd: PUSH1 0x40 000016ff: MLOAD 00001700: DUP1 00001701: SWAP2 00001702: SUB 00001703: SWAP1 00001704: KECCAK256 00001705: PUSH1 0x01 00001707: SWAP1 00001708: DIV 00001709: SWAP1 0000170a: POP 0000170b: PUSH2 0x1899 0000170e: JUMP 0000170f: JUMPDEST 00001710: PUSH1 0xda 00001712: PUSH1 0x94 00001714: DUP5 00001715: PUSH1 0x84 00001717: DUP6 00001718: PUSH1 0x40 0000171a: MLOAD 0000171b: PUSH1 0x20 0000171d: ADD 0000171e: DUP1 0000171f: DUP7 00001720: PUSH1 0xff 00001722: AND 00001723: PUSH1 0xff 00001725: AND 00001726: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001747: MUL 00001748: DUP2 00001749: MSTORE 0000174a: PUSH1 0x01 0000174c: ADD 0000174d: DUP6 0000174e: PUSH1 0xff 00001750: AND 00001751: PUSH1 0xff 00001753: AND 00001754: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00001775: MUL 00001776: DUP2 00001777: MSTORE 00001778: PUSH1 0x01 0000177a: ADD 0000177b: DUP5 0000177c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001791: AND 00001792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a7: AND 000017a8: PUSH13 0x01000000000000000000000000 000017b6: MUL 000017b7: DUP2 000017b8: MSTORE 000017b9: PUSH1 0x14 000017bb: ADD 000017bc: DUP4 000017bd: PUSH1 0xff 000017bf: AND 000017c0: PUSH1 0xff 000017c2: AND 000017c3: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000017e4: MUL 000017e5: DUP2 000017e6: MSTORE 000017e7: PUSH1 0x01 000017e9: ADD 000017ea: DUP3 000017eb: PUSH4 0xffffffff 000017f0: AND 000017f1: PUSH4 0xffffffff 000017f6: AND 000017f7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001815: MUL 00001816: DUP2 00001817: MSTORE 00001818: PUSH1 0x04 0000181a: ADD 0000181b: SWAP6 0000181c: POP 0000181d: POP 0000181e: POP 0000181f: POP 00001820: POP 00001821: POP 00001822: PUSH1 0x40 00001824: MLOAD 00001825: PUSH1 0x20 00001827: DUP2 00001828: DUP4 00001829: SUB 0000182a: SUB 0000182b: DUP2 0000182c: MSTORE 0000182d: SWAP1 0000182e: PUSH1 0x40 00001830: MSTORE 00001831: PUSH1 0x40 00001833: MLOAD 00001834: DUP1 00001835: DUP3 00001836: DUP1 00001837: MLOAD 00001838: SWAP1 00001839: PUSH1 0x20 0000183b: ADD 0000183c: SWAP1 0000183d: DUP1 0000183e: DUP4 0000183f: DUP4 00001840: JUMPDEST 00001841: PUSH1 0x20 00001843: DUP4 00001844: LT 00001845: ISZERO 00001846: ISZERO 00001847: PUSH2 0x1865 0000184a: JUMPI 0000184b: DUP1 0000184c: MLOAD 0000184d: DUP3 0000184e: MSTORE 0000184f: PUSH1 0x20 00001851: DUP3 00001852: ADD 00001853: SWAP2 00001854: POP 00001855: PUSH1 0x20 00001857: DUP2 00001858: ADD 00001859: SWAP1 0000185a: POP 0000185b: PUSH1 0x20 0000185d: DUP4 0000185e: SUB 0000185f: SWAP3 00001860: POP 00001861: PUSH2 0x1840 00001864: JUMP 00001865: JUMPDEST 00001866: PUSH1 0x01 00001868: DUP4 00001869: PUSH1 0x20 0000186b: SUB 0000186c: PUSH2 0x0100 0000186f: EXP 00001870: SUB 00001871: DUP1 00001872: NOT 00001873: DUP3 00001874: MLOAD 00001875: AND 00001876: DUP2 00001877: DUP5 00001878: MLOAD 00001879: AND 0000187a: DUP1 0000187b: DUP3 0000187c: OR 0000187d: DUP6 0000187e: MSTORE 0000187f: POP 00001880: POP 00001881: POP 00001882: POP 00001883: POP 00001884: POP 00001885: SWAP1 00001886: POP 00001887: ADD 00001888: SWAP2 00001889: POP 0000188a: POP 0000188b: PUSH1 0x40 0000188d: MLOAD 0000188e: DUP1 0000188f: SWAP2 00001890: SUB 00001891: SWAP1 00001892: KECCAK256 00001893: PUSH1 0x01 00001895: SWAP1 00001896: DIV 00001897: SWAP1 00001898: POP 00001899: JUMPDEST 0000189a: SWAP3 0000189b: SWAP2 0000189c: POP 0000189d: POP 0000189e: JUMP 0000189f: JUMPDEST 000018a0: PUSH1 0x40 000018a2: MLOAD 000018a3: PUSH2 0x0795 000018a6: DUP1 000018a7: PUSH2 0x18b0 000018aa: DUP4 000018ab: CODECOPY 000018ac: ADD 000018ad: SWAP1 000018ae: JUMP 000018af: STOP 000018b0: PUSH1 0x80 000018b2: PUSH1 0x40 000018b4: MSTORE 000018b5: CALLER 000018b6: PUSH1 0x00 000018b8: DUP1 000018b9: PUSH2 0x0100 000018bc: EXP 000018bd: DUP2 000018be: SLOAD 000018bf: DUP2 000018c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d5: MUL 000018d6: NOT 000018d7: AND 000018d8: SWAP1 000018d9: DUP4 000018da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ef: AND 000018f0: MUL 000018f1: OR 000018f2: SWAP1 000018f3: SSTORE 000018f4: POP 000018f5: PUSH2 0x0742 000018f8: DUP1 000018f9: PUSH2 0x0053 000018fc: PUSH1 0x00 000018fe: CODECOPY 000018ff: PUSH1 0x00 00001901: RETURN 00001902: STOP 00001903: PUSH1 0x80 00001905: PUSH1 0x40 00001907: MSTORE 00001908: PUSH1 0x04 0000190a: CALLDATASIZE 0000190b: LT 0000190c: PUSH2 0x0062 0000190f: JUMPI 00001910: PUSH1 0x00 00001912: CALLDATALOAD 00001913: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001931: SWAP1 00001932: DIV 00001933: PUSH4 0xffffffff 00001938: AND 00001939: DUP1 0000193a: PUSH4 0x8da5cb5b 0000193f: EQ 00001940: PUSH2 0x0067 00001943: JUMPI 00001944: DUP1 00001945: PUSH4 0xc54dadaa 0000194a: EQ 0000194b: PUSH2 0x00be 0000194e: JUMPI 0000194f: DUP1 00001950: PUSH4 0xf2fde38b 00001955: EQ 00001956: PUSH2 0x0134 00001959: JUMPI 0000195a: DUP1 0000195b: PUSH4 0xf655da9e 00001960: EQ 00001961: PUSH2 0x0177 00001964: JUMPI 00001965: JUMPDEST 00001966: PUSH1 0x00 00001968: DUP1 00001969: REVERT 0000196a: JUMPDEST 0000196b: CALLVALUE 0000196c: DUP1 0000196d: ISZERO 0000196e: PUSH2 0x0073 00001971: JUMPI 00001972: PUSH1 0x00 00001974: DUP1 00001975: REVERT 00001976: JUMPDEST 00001977: POP 00001978: PUSH2 0x007c 0000197b: PUSH2 0x018e 0000197e: JUMP 0000197f: JUMPDEST 00001980: PUSH1 0x40 00001982: MLOAD 00001983: DUP1 00001984: DUP3 00001985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000199a: AND 0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b0: AND 000019b1: DUP2 000019b2: MSTORE 000019b3: PUSH1 0x20 000019b5: ADD 000019b6: SWAP2 000019b7: POP 000019b8: POP 000019b9: PUSH1 0x40 000019bb: MLOAD 000019bc: DUP1 000019bd: SWAP2 000019be: SUB 000019bf: SWAP1 000019c0: RETURN 000019c1: JUMPDEST 000019c2: PUSH2 0x0132 000019c5: PUSH1 0x04 000019c7: DUP1 000019c8: CALLDATASIZE 000019c9: SUB 000019ca: DUP2 000019cb: ADD 000019cc: SWAP1 000019cd: DUP1 000019ce: DUP1 000019cf: CALLDATALOAD 000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e5: AND 000019e6: SWAP1 000019e7: PUSH1 0x20 000019e9: ADD 000019ea: SWAP1 000019eb: SWAP3 000019ec: SWAP2 000019ed: SWAP1 000019ee: DUP1 000019ef: CALLDATALOAD 000019f0: SWAP1 000019f1: PUSH1 0x20 000019f3: ADD 000019f4: SWAP1 000019f5: SWAP3 000019f6: SWAP2 000019f7: SWAP1 000019f8: DUP1 000019f9: CALLDATALOAD 000019fa: SWAP1 000019fb: PUSH1 0x20 000019fd: ADD 000019fe: SWAP1 000019ff: SWAP3 00001a00: SWAP2 00001a01: SWAP1 00001a02: DUP1 00001a03: CALLDATALOAD 00001a04: ISZERO 00001a05: ISZERO 00001a06: SWAP1 00001a07: PUSH1 0x20 00001a09: ADD 00001a0a: SWAP1 00001a0b: SWAP3 00001a0c: SWAP2 00001a0d: SWAP1 00001a0e: DUP1 00001a0f: CALLDATALOAD 00001a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a25: AND 00001a26: SWAP1 00001a27: PUSH1 0x20 00001a29: ADD 00001a2a: SWAP1 00001a2b: SWAP3 00001a2c: SWAP2 00001a2d: SWAP1 00001a2e: POP 00001a2f: POP 00001a30: POP 00001a31: PUSH2 0x01b3 00001a34: JUMP 00001a35: JUMPDEST 00001a36: STOP 00001a37: JUMPDEST 00001a38: CALLVALUE 00001a39: DUP1 00001a3a: ISZERO 00001a3b: PUSH2 0x0140 00001a3e: JUMPI 00001a3f: PUSH1 0x00 00001a41: DUP1 00001a42: REVERT 00001a43: JUMPDEST 00001a44: POP 00001a45: PUSH2 0x0175 00001a48: PUSH1 0x04 00001a4a: DUP1 00001a4b: CALLDATASIZE 00001a4c: SUB 00001a4d: DUP2 00001a4e: ADD 00001a4f: SWAP1 00001a50: DUP1 00001a51: DUP1 00001a52: CALLDATALOAD 00001a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a68: AND 00001a69: SWAP1 00001a6a: PUSH1 0x20 00001a6c: ADD 00001a6d: SWAP1 00001a6e: SWAP3 00001a6f: SWAP2 00001a70: SWAP1 00001a71: POP 00001a72: POP 00001a73: POP 00001a74: PUSH2 0x02fc 00001a77: JUMP 00001a78: JUMPDEST 00001a79: STOP 00001a7a: JUMPDEST 00001a7b: CALLVALUE 00001a7c: DUP1 00001a7d: ISZERO 00001a7e: PUSH2 0x0183 00001a81: JUMPI 00001a82: PUSH1 0x00 00001a84: DUP1 00001a85: REVERT 00001a86: JUMPDEST 00001a87: POP 00001a88: PUSH2 0x018c 00001a8b: PUSH2 0x03fe 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: STOP 00001a91: JUMPDEST 00001a92: PUSH1 0x00 00001a94: DUP1 00001a95: SWAP1 00001a96: SLOAD 00001a97: SWAP1 00001a98: PUSH2 0x0100 00001a9b: EXP 00001a9c: SWAP1 00001a9d: DIV 00001a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab3: AND 00001ab4: DUP2 00001ab5: JUMP 00001ab6: JUMPDEST 00001ab7: PUSH1 0x00 00001ab9: DUP1 00001aba: PUSH1 0x00 00001abc: SWAP1 00001abd: SLOAD 00001abe: SWAP1 00001abf: PUSH2 0x0100 00001ac2: EXP 00001ac3: SWAP1 00001ac4: DIV 00001ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ada: AND 00001adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af0: AND 00001af1: CALLER 00001af2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b07: AND 00001b08: EQ 00001b09: ISZERO 00001b0a: ISZERO 00001b0b: PUSH2 0x0210 00001b0e: JUMPI 00001b0f: PUSH1 0x00 00001b11: DUP1 00001b12: REVERT 00001b13: JUMPDEST 00001b14: CALLVALUE 00001b15: DUP7 00001b16: DUP7 00001b17: DUP7 00001b18: DUP7 00001b19: DUP7 00001b1a: CALLER 00001b1b: PUSH2 0x021f 00001b1e: PUSH2 0x0493 00001b21: JUMP 00001b22: JUMPDEST 00001b23: DUP1 00001b24: DUP8 00001b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3a: AND 00001b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b50: AND 00001b51: DUP2 00001b52: MSTORE 00001b53: PUSH1 0x20 00001b55: ADD 00001b56: DUP7 00001b57: DUP2 00001b58: MSTORE 00001b59: PUSH1 0x20 00001b5b: ADD 00001b5c: DUP6 00001b5d: DUP2 00001b5e: MSTORE 00001b5f: PUSH1 0x20 00001b61: ADD 00001b62: DUP5 00001b63: ISZERO 00001b64: ISZERO 00001b65: ISZERO 00001b66: ISZERO 00001b67: DUP2 00001b68: MSTORE 00001b69: PUSH1 0x20 00001b6b: ADD 00001b6c: DUP4 00001b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b82: AND 00001b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b98: AND 00001b99: DUP2 00001b9a: MSTORE 00001b9b: PUSH1 0x20 00001b9d: ADD 00001b9e: DUP3 00001b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb4: AND 00001bb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bca: AND 00001bcb: DUP2 00001bcc: MSTORE 00001bcd: PUSH1 0x20 00001bcf: ADD 00001bd0: SWAP7 00001bd1: POP 00001bd2: POP 00001bd3: POP 00001bd4: POP 00001bd5: POP 00001bd6: POP 00001bd7: POP 00001bd8: PUSH1 0x40 00001bda: MLOAD 00001bdb: DUP1 00001bdc: SWAP2 00001bdd: SUB 00001bde: SWAP1 00001bdf: DUP3 00001be0: CREATE 00001be1: DUP1 00001be2: ISZERO 00001be3: DUP1 00001be4: ISZERO 00001be5: PUSH2 0x02ef 00001be8: JUMPI 00001be9: RETURNDATASIZE 00001bea: PUSH1 0x00 00001bec: DUP1 00001bed: RETURNDATACOPY 00001bee: RETURNDATASIZE 00001bef: PUSH1 0x00 00001bf1: REVERT 00001bf2: JUMPDEST 00001bf3: POP 00001bf4: SWAP1 00001bf5: POP 00001bf6: SWAP1 00001bf7: POP 00001bf8: POP 00001bf9: POP 00001bfa: POP 00001bfb: POP 00001bfc: POP 00001bfd: POP 00001bfe: JUMP 00001bff: JUMPDEST 00001c00: PUSH1 0x00 00001c02: DUP1 00001c03: SWAP1 00001c04: SLOAD 00001c05: SWAP1 00001c06: PUSH2 0x0100 00001c09: EXP 00001c0a: SWAP1 00001c0b: DIV 00001c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c21: AND 00001c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c37: AND 00001c38: CALLER 00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4e: AND 00001c4f: EQ 00001c50: ISZERO 00001c51: ISZERO 00001c52: PUSH2 0x0357 00001c55: JUMPI 00001c56: PUSH1 0x00 00001c58: DUP1 00001c59: REVERT 00001c5a: JUMPDEST 00001c5b: DUP1 00001c5c: PUSH1 0x00 00001c5e: DUP1 00001c5f: PUSH2 0x0100 00001c62: EXP 00001c63: DUP2 00001c64: SLOAD 00001c65: DUP2 00001c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7b: MUL 00001c7c: NOT 00001c7d: AND 00001c7e: SWAP1 00001c7f: DUP4 00001c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c95: AND 00001c96: MUL 00001c97: OR 00001c98: SWAP1 00001c99: SSTORE 00001c9a: POP 00001c9b: PUSH1 0x00 00001c9d: DUP1 00001c9e: SWAP1 00001c9f: SLOAD 00001ca0: SWAP1 00001ca1: PUSH2 0x0100 00001ca4: EXP 00001ca5: SWAP1 00001ca6: DIV 00001ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cbc: AND 00001cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd2: AND 00001cd3: PUSH32 0x9736aeb40a8f30a5c076a9897428fdf7ec0e909c96dce63533664c9b5c835da6 00001cf4: PUSH1 0x40 00001cf6: MLOAD 00001cf7: PUSH1 0x40 00001cf9: MLOAD 00001cfa: DUP1 00001cfb: SWAP2 00001cfc: SUB 00001cfd: SWAP1 00001cfe: LOG2 00001cff: POP 00001d00: JUMP 00001d01: JUMPDEST 00001d02: PUSH1 0x00 00001d04: DUP1 00001d05: SWAP1 00001d06: SLOAD 00001d07: SWAP1 00001d08: PUSH2 0x0100 00001d0b: EXP 00001d0c: SWAP1 00001d0d: DIV 00001d0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d23: AND 00001d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d39: AND 00001d3a: CALLER 00001d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d50: AND 00001d51: EQ 00001d52: ISZERO 00001d53: ISZERO 00001d54: PUSH2 0x0459 00001d57: JUMPI 00001d58: PUSH1 0x00 00001d5a: DUP1 00001d5b: REVERT 00001d5c: JUMPDEST 00001d5d: PUSH1 0x00 00001d5f: DUP1 00001d60: SWAP1 00001d61: SLOAD 00001d62: SWAP1 00001d63: PUSH2 0x0100 00001d66: EXP 00001d67: SWAP1 00001d68: DIV 00001d69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d7e: AND 00001d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d94: AND 00001d95: SELFDESTRUCT 00001d96: JUMPDEST 00001d97: PUSH1 0x40 00001d99: MLOAD 00001d9a: PUSH2 0x0273 00001d9d: DUP1 00001d9e: PUSH2 0x04a4 00001da1: DUP4 00001da2: CODECOPY 00001da3: ADD 00001da4: SWAP1 00001da5: JUMP 00001da6: STOP 00001da7: PUSH1 0x80 00001da9: PUSH1 0x40 00001dab: MSTORE 00001dac: PUSH1 0x40 00001dae: MLOAD 00001daf: PUSH1 0xc0 00001db1: DUP1 00001db2: PUSH2 0x0273 00001db5: DUP4 00001db6: CODECOPY 00001db7: DUP2 00001db8: ADD 00001db9: DUP1 00001dba: PUSH1 0x40 00001dbc: MSTORE 00001dbd: DUP2 00001dbe: ADD 00001dbf: SWAP1 00001dc0: DUP1 00001dc1: DUP1 00001dc2: MLOAD 00001dc3: SWAP1 00001dc4: PUSH1 0x20 00001dc6: ADD 00001dc7: SWAP1 00001dc8: SWAP3 00001dc9: SWAP2 00001dca: SWAP1 00001dcb: DUP1 00001dcc: MLOAD 00001dcd: SWAP1 00001dce: PUSH1 0x20 00001dd0: ADD 00001dd1: SWAP1 00001dd2: SWAP3 00001dd3: SWAP2 00001dd4: SWAP1 00001dd5: DUP1 00001dd6: MLOAD 00001dd7: SWAP1 00001dd8: PUSH1 0x20 00001dda: ADD 00001ddb: SWAP1 00001ddc: SWAP3 00001ddd: SWAP2 00001dde: SWAP1 00001ddf: DUP1 00001de0: MLOAD 00001de1: SWAP1 00001de2: PUSH1 0x20 00001de4: ADD 00001de5: SWAP1 00001de6: SWAP3 00001de7: SWAP2 00001de8: SWAP1 00001de9: DUP1 00001dea: MLOAD 00001deb: SWAP1 00001dec: PUSH1 0x20 00001dee: ADD 00001def: SWAP1 00001df0: SWAP3 00001df1: SWAP2 00001df2: SWAP1 00001df3: DUP1 00001df4: MLOAD 00001df5: SWAP1 00001df6: PUSH1 0x20 00001df8: ADD 00001df9: SWAP1 00001dfa: SWAP3 00001dfb: SWAP2 00001dfc: SWAP1 00001dfd: POP 00001dfe: POP 00001dff: POP 00001e00: PUSH1 0x00 00001e02: DUP7 00001e03: SWAP1 00001e04: POP 00001e05: JUMPDEST 00001e06: DUP1 00001e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e1c: AND 00001e1d: PUSH4 0x98a0871d 00001e22: CALLVALUE 00001e23: DUP6 00001e24: PUSH1 0x00 00001e26: PUSH1 0x40 00001e28: MLOAD 00001e29: DUP5 00001e2a: PUSH4 0xffffffff 00001e2f: AND 00001e30: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001e4e: MUL 00001e4f: DUP2 00001e50: MSTORE 00001e51: PUSH1 0x04 00001e53: ADD 00001e54: DUP1 00001e55: DUP4 00001e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e6b: AND 00001e6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e81: AND 00001e82: DUP2 00001e83: MSTORE 00001e84: PUSH1 0x20 00001e86: ADD 00001e87: DUP3 00001e88: DUP2 00001e89: MSTORE 00001e8a: PUSH1 0x20 00001e8c: ADD 00001e8d: SWAP3 00001e8e: POP 00001e8f: POP 00001e90: POP 00001e91: PUSH1 0x00 00001e93: PUSH1 0x40 00001e95: MLOAD 00001e96: DUP1 00001e97: DUP4 00001e98: SUB 00001e99: DUP2 00001e9a: DUP6 00001e9b: DUP9 00001e9c: DUP1 00001e9d: EXTCODESIZE 00001e9e: ISZERO 00001e9f: DUP1 00001ea0: ISZERO 00001ea1: PUSH2 0x0102 00001ea4: JUMPI 00001ea5: PUSH1 0x00 00001ea7: DUP1 00001ea8: REVERT 00001ea9: JUMPDEST 00001eaa: POP 00001eab: GAS 00001eac: CALL 00001ead: ISZERO 00001eae: DUP1 00001eaf: ISZERO 00001eb0: PUSH2 0x0116 00001eb3: JUMPI 00001eb4: RETURNDATASIZE 00001eb5: PUSH1 0x00 00001eb7: DUP1 00001eb8: RETURNDATACOPY 00001eb9: RETURNDATASIZE 00001eba: PUSH1 0x00 00001ebc: REVERT 00001ebd: JUMPDEST 00001ebe: POP 00001ebf: POP 00001ec0: POP 00001ec1: POP 00001ec2: POP 00001ec3: DUP1 00001ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ed9: AND 00001eda: PUSH4 0x3ccfd60b 00001edf: PUSH1 0x40 00001ee1: MLOAD 00001ee2: DUP2 00001ee3: PUSH4 0xffffffff 00001ee8: AND 00001ee9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001f07: MUL 00001f08: DUP2 00001f09: MSTORE 00001f0a: PUSH1 0x04 00001f0c: ADD 00001f0d: PUSH1 0x00 00001f0f: PUSH1 0x40 00001f11: MLOAD 00001f12: DUP1 00001f13: DUP4 00001f14: SUB 00001f15: DUP2 00001f16: PUSH1 0x00 00001f18: DUP8 00001f19: DUP1 00001f1a: EXTCODESIZE 00001f1b: ISZERO 00001f1c: DUP1 00001f1d: ISZERO 00001f1e: PUSH2 0x017f 00001f21: JUMPI 00001f22: PUSH1 0x00 00001f24: DUP1 00001f25: REVERT 00001f26: JUMPDEST 00001f27: POP 00001f28: GAS 00001f29: CALL 00001f2a: ISZERO 00001f2b: DUP1 00001f2c: ISZERO 00001f2d: PUSH2 0x0193 00001f30: JUMPI 00001f31: RETURNDATASIZE 00001f32: PUSH1 0x00 00001f34: DUP1 00001f35: RETURNDATACOPY 00001f36: RETURNDATASIZE 00001f37: PUSH1 0x00 00001f39: REVERT 00001f3a: JUMPDEST 00001f3b: POP 00001f3c: POP 00001f3d: POP 00001f3e: POP 00001f3f: DUP4 00001f40: DUP1 00001f41: ISZERO 00001f42: PUSH2 0x024f 00001f45: JUMPI 00001f46: POP 00001f47: CALLVALUE 00001f48: PUSH1 0x64 00001f4a: DUP8 00001f4b: DUP4 00001f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f61: AND 00001f62: PUSH4 0xd87574e0 00001f67: PUSH1 0x40 00001f69: MLOAD 00001f6a: DUP2 00001f6b: PUSH4 0xffffffff 00001f70: AND 00001f71: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001f8f: MUL 00001f90: DUP2 00001f91: MSTORE 00001f92: PUSH1 0x04 00001f94: ADD 00001f95: PUSH1 0x20 00001f97: PUSH1 0x40 00001f99: MLOAD 00001f9a: DUP1 00001f9b: DUP4 00001f9c: SUB 00001f9d: DUP2 00001f9e: PUSH1 0x00 00001fa0: DUP8 00001fa1: DUP1 00001fa2: EXTCODESIZE 00001fa3: ISZERO 00001fa4: DUP1 00001fa5: ISZERO 00001fa6: PUSH2 0x0207 00001fa9: JUMPI 00001faa: PUSH1 0x00 00001fac: DUP1 00001fad: REVERT 00001fae: JUMPDEST 00001faf: POP 00001fb0: GAS 00001fb1: CALL 00001fb2: ISZERO 00001fb3: DUP1 00001fb4: ISZERO 00001fb5: PUSH2 0x021b 00001fb8: JUMPI 00001fb9: RETURNDATASIZE 00001fba: PUSH1 0x00 00001fbc: DUP1 00001fbd: RETURNDATACOPY 00001fbe: RETURNDATASIZE 00001fbf: PUSH1 0x00 00001fc1: REVERT 00001fc2: JUMPDEST 00001fc3: POP 00001fc4: POP 00001fc5: POP 00001fc6: POP 00001fc7: PUSH1 0x40 00001fc9: MLOAD 00001fca: RETURNDATASIZE 00001fcb: PUSH1 0x20 00001fcd: DUP2 00001fce: LT 00001fcf: ISZERO 00001fd0: PUSH2 0x0231 00001fd3: JUMPI 00001fd4: PUSH1 0x00 00001fd6: DUP1 00001fd7: REVERT 00001fd8: JUMPDEST 00001fd9: DUP2 00001fda: ADD 00001fdb: SWAP1 00001fdc: DUP1 00001fdd: DUP1 00001fde: MLOAD 00001fdf: SWAP1 00001fe0: PUSH1 0x20 00001fe2: ADD 00001fe3: SWAP1 00001fe4: SWAP3 00001fe5: SWAP2 00001fe6: SWAP1 00001fe7: POP 00001fe8: POP 00001fe9: POP 00001fea: MUL 00001feb: DUP2 00001fec: ISZERO 00001fed: ISZERO 00001fee: PUSH2 0x024c 00001ff1: JUMPI 00001ff2: INVALID 00001ff3: JUMPDEST 00001ff4: DIV 00001ff5: GT 00001ff6: JUMPDEST 00001ff7: ISZERO 00001ff8: PUSH2 0x0259 00001ffb: JUMPI 00001ffc: PUSH2 0x005e 00001fff: JUMP 00002000: JUMPDEST 00002001: DUP2 00002002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002017: AND 00002018: SELFDESTRUCT 00002019: STOP 0000201a: LOG1 0000201b: PUSH6 0x627a7a723058 00002022: KECCAK256 00002023: SLOAD 00002024: SWAP2 00002025: UNKNOWN(0xB0) 00002026: UNKNOWN(0x0E) 00002027: UNKNOWN(0xB5) 00002028: UNKNOWN(0xDA) 00002029: UNKNOWN(0x4B) 0000202a: UNKNOWN(0xB1) 0000202b: LOG1 0000202c: CALLVALUE 0000202d: UNKNOWN(0xEF) 0000202e: SWAP7 0000202f: PUSH16 0xc929f6dcf09cb6b0c49e74ff18686e3f 00002040: EXTCODECOPY 00002041: PUSH4 0xc40029a1 00002046: PUSH6 0x627a7a723058 0000204d: KECCAK256 0000204e: GASLIMIT 0000204f: SWAP3 00002050: UNKNOWN(0xCD) 00002051: UNKNOWN(0xBD) 00002052: UNKNOWN(0xDC) 00002053: UNKNOWN(0xC0) 00002054: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x53373cfc68627988ed45e502b1f60adb7e13deff9e7f6c4dcc9f849b74ad89ed
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x53373cfc68627988ed45e502b1f60adb7e13deff9e7f6c4dcc9f849b74ad89ed",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31481691",
"selector": "0x31481691",
"calldata_variants": [
"0x31481691",
"0x314816910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e88bec4",
"selector": "0x6e88bec4",
"calldata_variants": [
"0x6e88bec4",
"0x6e88bec40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcb76680",
"selector": "0xbcb76680",
"calldata_variants": [
"0xbcb76680",
"0xbcb766800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb577480",
"selector": "0xcb577480",
"calldata_variants": [
"0xcb577480",
"0xcb5774800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd72ecb16",
"selector": "0xd72ecb16",
"calldata_variants": [
"0xd72ecb16",
"0xd72ecb160000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 2,
"create2_count": 0
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x56b7a843e097ff9ba1ffe20013b86d169b4bae3f1945a3e9ca62b45af22dc53d
call_targets:
0x5977fa79c9a2d1d1d405f61271fe0c9142ba399a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x56b7a843e097ff9ba1ffe20013b86d169b4bae3f1945a3e9ca62b45af22dc53d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5977fa79c9a2d1d1d405f61271fe0c9142ba399a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31481691",
"selector": "0x31481691",
"calldata_variants": [
"0x31481691",
"0x314816910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e88bec4",
"selector": "0x6e88bec4",
"calldata_variants": [
"0x6e88bec4",
"0x6e88bec40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcb76680",
"selector": "0xbcb76680",
"calldata_variants": [
"0xbcb76680",
"0xbcb766800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb577480",
"selector": "0xcb577480",
"calldata_variants": [
"0xcb577480",
"0xcb5774800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd72ecb16",
"selector": "0xd72ecb16",
"calldata_variants": [
"0xd72ecb16",
"0xd72ecb160000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1226,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [
{
"pc": 845,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1082,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1943,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2045,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2303,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2504,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6897,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7224,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7482,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 8
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x56b7a843e097ff9ba1ffe20013b86d169b4bae3f1945a3e9ca62b45af22dc53d
call_targets:
0x5977fa79c9a2d1d1d405f61271fe0c9142ba399a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x56b7a843e097ff9ba1ffe20013b86d169b4bae3f1945a3e9ca62b45af22dc53d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5977fa79c9a2d1d1d405f61271fe0c9142ba399a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31481691",
"selector": "0x31481691",
"calldata_variants": [
"0x31481691",
"0x314816910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e88bec4",
"selector": "0x6e88bec4",
"calldata_variants": [
"0x6e88bec4",
"0x6e88bec40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcb76680",
"selector": "0xbcb76680",
"calldata_variants": [
"0xbcb76680",
"0xbcb766800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb577480",
"selector": "0xcb577480",
"calldata_variants": [
"0xcb577480",
"0xcb5774800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd72ecb16",
"selector": "0xd72ecb16",
"calldata_variants": [
"0xd72ecb16",
"0xd72ecb160000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1226,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": [
{
"pc": 845,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1082,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1943,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2045,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2303,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2504,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6897,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7224,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7482,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x53373cfc68627988ed45e502b1f60adb7e13deff9e7f6c4dcc9f849b74ad89ed
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x53373cfc68627988ed45e502b1f60adb7e13deff9e7f6c4dcc9f849b74ad89ed",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06661abd",
"selector": "0x06661abd",
"calldata_variants": [
"0x06661abd",
"0x06661abd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31481691",
"selector": "0x31481691",
"calldata_variants": [
"0x31481691",
"0x314816910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e88bec4",
"selector": "0x6e88bec4",
"calldata_variants": [
"0x6e88bec4",
"0x6e88bec40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcb76680",
"selector": "0xbcb76680",
"calldata_variants": [
"0xbcb76680",
"0xbcb766800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb577480",
"selector": "0xcb577480",
"calldata_variants": [
"0xcb577480",
"0xcb5774800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd72ecb16",
"selector": "0xd72ecb16",
"calldata_variants": [
"0xd72ecb16",
"0xd72ecb160000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 845,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1082,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1943,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2045,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2303,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2504,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6897,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7224,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7482,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 3
}
|