019b477e-d019-72a2-a357-1e9c945e53be
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 |
|---|---|---|---|---|
| 27505 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27506 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92185 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92186 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92187 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92188 | 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 0x00e5 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x0f43a677 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00ea 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2bda4eee 00000046: EQ 00000047: PUSH2 0x0111 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x392e53cd 00000051: EQ 00000052: PUSH2 0x0152 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x40a141ff 0000005c: EQ 0000005d: PUSH2 0x017b 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x4d238c8e 00000067: EQ 00000068: PUSH2 0x019e 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x52af719f 00000072: EQ 00000073: PUSH2 0x01bf 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5890ef79 0000007d: EQ 0000007e: PUSH2 0x01ef 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x7d2b9cc0 00000088: EQ 00000089: PUSH2 0x0254 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8d068043 00000093: EQ 00000094: PUSH2 0x026c 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8d37052c 0000009e: EQ 0000009f: PUSH2 0x0281 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8da5cb5b 000000a9: EQ 000000aa: PUSH2 0x02be 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8e4ec60a 000000b4: EQ 000000b5: PUSH2 0x02d3 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x9a454b99 000000bf: EQ 000000c0: PUSH2 0x02f4 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xc794c769 000000ca: EQ 000000cb: PUSH2 0x0309 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xf2fde38b 000000d5: EQ 000000d6: PUSH2 0x031e 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xfacd743b 000000e0: EQ 000000e1: PUSH2 0x033f 000000e4: JUMPI 000000e5: JUMPDEST 000000e6: PUSH1 0x00 000000e8: DUP1 000000e9: REVERT 000000ea: JUMPDEST 000000eb: CALLVALUE 000000ec: DUP1 000000ed: ISZERO 000000ee: PUSH2 0x00f6 000000f1: JUMPI 000000f2: PUSH1 0x00 000000f4: DUP1 000000f5: REVERT 000000f6: JUMPDEST 000000f7: POP 000000f8: PUSH2 0x00ff 000000fb: PUSH2 0x0360 000000fe: JUMP 000000ff: JUMPDEST 00000100: PUSH1 0x40 00000102: DUP1 00000103: MLOAD 00000104: SWAP2 00000105: DUP3 00000106: MSTORE 00000107: MLOAD 00000108: SWAP1 00000109: DUP2 0000010a: SWAP1 0000010b: SUB 0000010c: PUSH1 0x20 0000010e: ADD 0000010f: SWAP1 00000110: RETURN 00000111: JUMPDEST 00000112: CALLVALUE 00000113: DUP1 00000114: ISZERO 00000115: PUSH2 0x011d 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: POP 0000011f: PUSH2 0x0126 00000122: PUSH2 0x03ae 00000125: JUMP 00000126: JUMPDEST 00000127: PUSH1 0x40 00000129: DUP1 0000012a: MLOAD 0000012b: PUSH8 0xffffffffffffffff 00000134: SWAP5 00000135: DUP6 00000136: AND 00000137: DUP2 00000138: MSTORE 00000139: SWAP3 0000013a: DUP5 0000013b: AND 0000013c: PUSH1 0x20 0000013e: DUP5 0000013f: ADD 00000140: MSTORE 00000141: SWAP3 00000142: AND 00000143: DUP2 00000144: DUP4 00000145: ADD 00000146: MSTORE 00000147: SWAP1 00000148: MLOAD 00000149: SWAP1 0000014a: DUP2 0000014b: SWAP1 0000014c: SUB 0000014d: PUSH1 0x60 0000014f: ADD 00000150: SWAP1 00000151: RETURN 00000152: JUMPDEST 00000153: CALLVALUE 00000154: DUP1 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: POP 00000160: PUSH2 0x0167 00000163: PUSH2 0x03b9 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x40 0000016a: DUP1 0000016b: MLOAD 0000016c: SWAP2 0000016d: ISZERO 0000016e: ISZERO 0000016f: DUP3 00000170: MSTORE 00000171: MLOAD 00000172: SWAP1 00000173: DUP2 00000174: SWAP1 00000175: SUB 00000176: PUSH1 0x20 00000178: ADD 00000179: SWAP1 0000017a: RETURN 0000017b: JUMPDEST 0000017c: CALLVALUE 0000017d: DUP1 0000017e: ISZERO 0000017f: PUSH2 0x0187 00000182: JUMPI 00000183: PUSH1 0x00 00000185: DUP1 00000186: REVERT 00000187: JUMPDEST 00000188: POP 00000189: PUSH2 0x019c 0000018c: PUSH1 0x01 0000018e: PUSH1 0xa0 00000190: PUSH1 0x02 00000192: EXP 00000193: SUB 00000194: PUSH1 0x04 00000196: CALLDATALOAD 00000197: AND 00000198: PUSH2 0x040a 0000019b: JUMP 0000019c: JUMPDEST 0000019d: STOP 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01aa 000001a5: JUMPI 000001a6: PUSH1 0x00 000001a8: DUP1 000001a9: REVERT 000001aa: JUMPDEST 000001ab: POP 000001ac: PUSH2 0x019c 000001af: PUSH1 0x01 000001b1: PUSH1 0xa0 000001b3: PUSH1 0x02 000001b5: EXP 000001b6: SUB 000001b7: PUSH1 0x04 000001b9: CALLDATALOAD 000001ba: AND 000001bb: PUSH2 0x0466 000001be: JUMP 000001bf: JUMPDEST 000001c0: CALLVALUE 000001c1: DUP1 000001c2: ISZERO 000001c3: PUSH2 0x01cb 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: POP 000001cd: PUSH2 0x0167 000001d0: PUSH1 0x04 000001d2: DUP1 000001d3: CALLDATALOAD 000001d4: SWAP1 000001d5: PUSH1 0x24 000001d7: DUP1 000001d8: CALLDATALOAD 000001d9: SWAP1 000001da: DUP2 000001db: ADD 000001dc: SWAP2 000001dd: ADD 000001de: CALLDATALOAD 000001df: PUSH1 0x01 000001e1: PUSH1 0xa0 000001e3: PUSH1 0x02 000001e5: EXP 000001e6: SUB 000001e7: PUSH1 0x44 000001e9: CALLDATALOAD 000001ea: AND 000001eb: PUSH2 0x04c2 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH2 0x0204 00000200: PUSH2 0x08f8 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH1 0x40 00000207: DUP1 00000208: MLOAD 00000209: PUSH1 0x20 0000020b: DUP1 0000020c: DUP3 0000020d: MSTORE 0000020e: DUP4 0000020f: MLOAD 00000210: DUP2 00000211: DUP4 00000212: ADD 00000213: MSTORE 00000214: DUP4 00000215: MLOAD 00000216: SWAP2 00000217: SWAP3 00000218: DUP4 00000219: SWAP3 0000021a: SWAP1 0000021b: DUP4 0000021c: ADD 0000021d: SWAP2 0000021e: DUP6 0000021f: DUP2 00000220: ADD 00000221: SWAP2 00000222: MUL 00000223: DUP1 00000224: DUP4 00000225: DUP4 00000226: PUSH1 0x00 00000228: JUMPDEST 00000229: DUP4 0000022a: DUP2 0000022b: LT 0000022c: ISZERO 0000022d: PUSH2 0x0240 00000230: JUMPI 00000231: DUP2 00000232: DUP2 00000233: ADD 00000234: MLOAD 00000235: DUP4 00000236: DUP3 00000237: ADD 00000238: MSTORE 00000239: PUSH1 0x20 0000023b: ADD 0000023c: PUSH2 0x0228 0000023f: JUMP 00000240: JUMPDEST 00000241: POP 00000242: POP 00000243: POP 00000244: POP 00000245: SWAP1 00000246: POP 00000247: ADD 00000248: SWAP3 00000249: POP 0000024a: POP 0000024b: POP 0000024c: PUSH1 0x40 0000024e: MLOAD 0000024f: DUP1 00000250: SWAP2 00000251: SUB 00000252: SWAP1 00000253: RETURN 00000254: JUMPDEST 00000255: CALLVALUE 00000256: DUP1 00000257: ISZERO 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: POP 00000262: PUSH2 0x019c 00000265: PUSH1 0x04 00000267: CALLDATALOAD 00000268: PUSH2 0x09c6 0000026b: JUMP 0000026c: JUMPDEST 0000026d: CALLVALUE 0000026e: DUP1 0000026f: ISZERO 00000270: PUSH2 0x0278 00000273: JUMPI 00000274: PUSH1 0x00 00000276: DUP1 00000277: REVERT 00000278: JUMPDEST 00000279: POP 0000027a: PUSH2 0x00ff 0000027d: PUSH2 0x0a88 00000280: JUMP 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH2 0x02a2 00000292: PUSH1 0x01 00000294: PUSH1 0xa0 00000296: PUSH1 0x02 00000298: EXP 00000299: SUB 0000029a: PUSH1 0x04 0000029c: CALLDATALOAD 0000029d: AND 0000029e: PUSH2 0x0ad6 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH1 0x40 000002a5: DUP1 000002a6: MLOAD 000002a7: PUSH1 0x01 000002a9: PUSH1 0xa0 000002ab: PUSH1 0x02 000002ad: EXP 000002ae: SUB 000002af: SWAP1 000002b0: SWAP3 000002b1: AND 000002b2: DUP3 000002b3: MSTORE 000002b4: MLOAD 000002b5: SWAP1 000002b6: DUP2 000002b7: SWAP1 000002b8: SUB 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: SWAP1 000002bd: RETURN 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: DUP1 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH2 0x02a2 000002cf: PUSH2 0x0bbe 000002d2: JUMP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: POP 000002e1: PUSH2 0x0167 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: PUSH1 0x04 000002ee: CALLDATALOAD 000002ef: AND 000002f0: PUSH2 0x0c15 000002f3: JUMP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x00ff 00000305: PUSH2 0x0cbd 00000308: JUMP 00000309: JUMPDEST 0000030a: CALLVALUE 0000030b: DUP1 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: POP 00000317: PUSH2 0x02a2 0000031a: PUSH2 0x0d0b 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH2 0x019c 0000032f: PUSH1 0x01 00000331: PUSH1 0xa0 00000333: PUSH1 0x02 00000335: EXP 00000336: SUB 00000337: PUSH1 0x04 00000339: CALLDATALOAD 0000033a: AND 0000033b: PUSH2 0x0d16 0000033e: JUMP 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH2 0x0167 00000350: PUSH1 0x01 00000352: PUSH1 0xa0 00000354: PUSH1 0x02 00000356: EXP 00000357: SUB 00000358: PUSH1 0x04 0000035a: CALLDATALOAD 0000035b: AND 0000035c: PUSH2 0x0d3e 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH32 0x8656d603d9f985c3483946a92789d52202f49736384ba131cb92f62c4c1aa082 00000382: PUSH1 0x00 00000384: SWAP1 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x20 00000389: MSTORE 0000038a: PUSH32 0x95d17efd9f452ee83a125e41a6180e225f2e2ff7d47d2c1f6cd9b2e14a207ba1 000003ab: SLOAD 000003ac: SWAP1 000003ad: JUMP 000003ae: JUMPDEST 000003af: PUSH1 0x02 000003b1: PUSH1 0x03 000003b3: PUSH1 0x00 000003b5: SWAP1 000003b6: SWAP2 000003b7: SWAP3 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH32 0x0a6f646cd611241d8073675e00d1a1ff700fbf1b53fcf473de56d1e6e4b714ba 000003db: PUSH1 0x00 000003dd: MSTORE 000003de: PUSH1 0x04 000003e0: PUSH1 0x20 000003e2: MSTORE 000003e3: PUSH32 0x078d888f9b66f3f8bfa10909e31f1e16240db73449f0500afdbbe3a70da457cc 00000404: SLOAD 00000405: PUSH1 0xff 00000407: AND 00000408: SWAP1 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x0412 0000040e: PUSH2 0x0bbe 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x01 00000415: PUSH1 0xa0 00000417: PUSH1 0x02 00000419: EXP 0000041a: SUB 0000041b: AND 0000041c: CALLER 0000041d: EQ 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: PUSH2 0x042f 0000042a: DUP2 0000042b: PUSH2 0x0d71 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH1 0x40 00000432: MLOAD 00000433: PUSH1 0x01 00000435: PUSH1 0xa0 00000437: PUSH1 0x02 00000439: EXP 0000043a: SUB 0000043b: DUP3 0000043c: AND 0000043d: SWAP1 0000043e: PUSH32 0xe1434e25d6611e0db941968fdc97811c982ac1602e951637d206f5fdda9dd8f1 0000045f: SWAP1 00000460: PUSH1 0x00 00000462: SWAP1 00000463: LOG2 00000464: POP 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x046e 0000046a: PUSH2 0x0bbe 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH1 0x01 00000471: PUSH1 0xa0 00000473: PUSH1 0x02 00000475: EXP 00000476: SUB 00000477: AND 00000478: CALLER 00000479: EQ 0000047a: PUSH2 0x0482 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: DUP1 00000481: REVERT 00000482: JUMPDEST 00000483: PUSH2 0x048b 00000486: DUP2 00000487: PUSH2 0x0e9b 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: PUSH1 0x01 00000491: PUSH1 0xa0 00000493: PUSH1 0x02 00000495: EXP 00000496: SUB 00000497: DUP3 00000498: AND 00000499: SWAP1 0000049a: PUSH32 0xe366c1c0452ed8eec96861e9e54141ebff23c9ec89fe27b996b45f5ec3884987 000004bb: SWAP1 000004bc: PUSH1 0x00 000004be: SWAP1 000004bf: LOG2 000004c0: POP 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x40 000004c5: DUP1 000004c6: MLOAD 000004c7: PUSH1 0x04 000004c9: DUP2 000004ca: MSTORE 000004cb: PUSH1 0x24 000004cd: DUP2 000004ce: ADD 000004cf: DUP3 000004d0: MSTORE 000004d1: PUSH1 0x20 000004d3: DUP2 000004d4: ADD 000004d5: DUP1 000004d6: MLOAD 000004d7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000004f4: AND 000004f5: PUSH32 0x6fde820200000000000000000000000000000000000000000000000000000000 00000516: OR 00000517: DUP2 00000518: MSTORE 00000519: SWAP2 0000051a: MLOAD 0000051b: DUP2 0000051c: MLOAD 0000051d: PUSH1 0x00 0000051f: SWAP4 00000520: DUP5 00000521: SWAP4 00000522: ADDRESS 00000523: SWAP4 00000524: SWAP1 00000525: SWAP3 00000526: SWAP1 00000527: SWAP2 00000528: DUP3 00000529: SWAP2 0000052a: DUP1 0000052b: DUP4 0000052c: DUP4 0000052d: DUP10 0000052e: JUMPDEST 0000052f: DUP4 00000530: DUP2 00000531: LT 00000532: ISZERO 00000533: PUSH2 0x0546 00000536: JUMPI 00000537: DUP2 00000538: DUP2 00000539: ADD 0000053a: MLOAD 0000053b: DUP4 0000053c: DUP3 0000053d: ADD 0000053e: MSTORE 0000053f: PUSH1 0x20 00000541: ADD 00000542: PUSH2 0x052e 00000545: JUMP 00000546: JUMPDEST 00000547: POP 00000548: POP 00000549: POP 0000054a: POP 0000054b: SWAP1 0000054c: POP 0000054d: SWAP1 0000054e: DUP2 0000054f: ADD 00000550: SWAP1 00000551: PUSH1 0x1f 00000553: AND 00000554: DUP1 00000555: ISZERO 00000556: PUSH2 0x0573 00000559: JUMPI 0000055a: DUP1 0000055b: DUP3 0000055c: SUB 0000055d: DUP1 0000055e: MLOAD 0000055f: PUSH1 0x01 00000561: DUP4 00000562: PUSH1 0x20 00000564: SUB 00000565: PUSH2 0x0100 00000568: EXP 00000569: SUB 0000056a: NOT 0000056b: AND 0000056c: DUP2 0000056d: MSTORE 0000056e: PUSH1 0x20 00000570: ADD 00000571: SWAP2 00000572: POP 00000573: JUMPDEST 00000574: POP 00000575: SWAP2 00000576: POP 00000577: POP 00000578: PUSH1 0x00 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: DUP4 0000057f: SUB 00000580: DUP2 00000581: PUSH1 0x00 00000583: DUP7 00000584: GAS 00000585: CALL 00000586: SWAP2 00000587: POP 00000588: POP 00000589: ISZERO 0000058a: DUP1 0000058b: PUSH2 0x061e 0000058e: JUMPI 0000058f: POP 00000590: ADDRESS 00000591: PUSH1 0x01 00000593: PUSH1 0xa0 00000595: PUSH1 0x02 00000597: EXP 00000598: SUB 00000599: AND 0000059a: PUSH4 0x6fde8202 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: DUP2 000005a3: PUSH4 0xffffffff 000005a8: AND 000005a9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000005c7: MUL 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x04 000005cc: ADD 000005cd: PUSH1 0x20 000005cf: PUSH1 0x40 000005d1: MLOAD 000005d2: DUP1 000005d3: DUP4 000005d4: SUB 000005d5: DUP2 000005d6: PUSH1 0x00 000005d8: DUP8 000005d9: DUP1 000005da: EXTCODESIZE 000005db: ISZERO 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x05e6 000005e1: JUMPI 000005e2: PUSH1 0x00 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: POP 000005e8: GAS 000005e9: CALL 000005ea: ISZERO 000005eb: DUP1 000005ec: ISZERO 000005ed: PUSH2 0x05fa 000005f0: JUMPI 000005f1: RETURNDATASIZE 000005f2: PUSH1 0x00 000005f4: DUP1 000005f5: RETURNDATACOPY 000005f6: RETURNDATASIZE 000005f7: PUSH1 0x00 000005f9: REVERT 000005fa: JUMPDEST 000005fb: POP 000005fc: POP 000005fd: POP 000005fe: POP 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: RETURNDATASIZE 00000603: PUSH1 0x20 00000605: DUP2 00000606: LT 00000607: ISZERO 00000608: PUSH2 0x0610 0000060b: JUMPI 0000060c: PUSH1 0x00 0000060e: DUP1 0000060f: REVERT 00000610: JUMPDEST 00000611: POP 00000612: MLOAD 00000613: PUSH1 0x01 00000615: PUSH1 0xa0 00000617: PUSH1 0x02 00000619: EXP 0000061a: SUB 0000061b: AND 0000061c: CALLER 0000061d: EQ 0000061e: JUMPDEST 0000061f: DUP1 00000620: PUSH2 0x0628 00000623: JUMPI 00000624: POP 00000625: CALLER 00000626: ADDRESS 00000627: EQ 00000628: JUMPDEST 00000629: ISZERO 0000062a: ISZERO 0000062b: PUSH2 0x0633 0000062e: JUMPI 0000062f: PUSH1 0x00 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: PUSH2 0x063b 00000637: PUSH2 0x03b9 0000063a: JUMP 0000063b: JUMPDEST 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: PUSH2 0x064e 00000649: DUP4 0000064a: PUSH2 0x0f3e 0000064d: JUMP 0000064e: JUMPDEST 0000064f: DUP6 00000650: ISZERO 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH1 0x00 00000658: DUP1 00000659: REVERT 0000065a: JUMPDEST 0000065b: DUP6 0000065c: DUP5 0000065d: LT 0000065e: ISZERO 0000065f: PUSH2 0x0667 00000662: JUMPI 00000663: PUSH1 0x00 00000665: DUP1 00000666: REVERT 00000667: JUMPDEST 00000668: POP 00000669: PUSH1 0x00 0000066b: JUMPDEST 0000066c: DUP4 0000066d: DUP2 0000066e: LT 0000066f: ISZERO 00000670: PUSH2 0x0831 00000673: JUMPI 00000674: PUSH1 0x00 00000676: DUP6 00000677: DUP6 00000678: DUP4 00000679: DUP2 0000067a: DUP2 0000067b: LT 0000067c: PUSH2 0x0681 0000067f: JUMPI 00000680: INVALID 00000681: JUMPDEST 00000682: SWAP1 00000683: POP 00000684: PUSH1 0x20 00000686: MUL 00000687: ADD 00000688: CALLDATALOAD 00000689: PUSH1 0x01 0000068b: PUSH1 0xa0 0000068d: PUSH1 0x02 0000068f: EXP 00000690: SUB 00000691: AND 00000692: PUSH1 0x01 00000694: PUSH1 0xa0 00000696: PUSH1 0x02 00000698: EXP 00000699: SUB 0000069a: AND 0000069b: EQ 0000069c: ISZERO 0000069d: DUP1 0000069e: ISZERO 0000069f: PUSH2 0x06d3 000006a2: JUMPI 000006a3: POP 000006a4: PUSH1 0x01 000006a6: PUSH1 0xa0 000006a8: PUSH1 0x02 000006aa: EXP 000006ab: SUB 000006ac: DUP6 000006ad: DUP6 000006ae: DUP4 000006af: DUP2 000006b0: DUP2 000006b1: LT 000006b2: PUSH2 0x06b7 000006b5: JUMPI 000006b6: INVALID 000006b7: JUMPDEST 000006b8: SWAP1 000006b9: POP 000006ba: PUSH1 0x20 000006bc: MUL 000006bd: ADD 000006be: CALLDATALOAD 000006bf: PUSH1 0x01 000006c1: PUSH1 0xa0 000006c3: PUSH1 0x02 000006c5: EXP 000006c6: SUB 000006c7: AND 000006c8: PUSH1 0x01 000006ca: PUSH1 0xa0 000006cc: PUSH1 0x02 000006ce: EXP 000006cf: SUB 000006d0: AND 000006d1: EQ 000006d2: ISZERO 000006d3: JUMPDEST 000006d4: ISZERO 000006d5: ISZERO 000006d6: PUSH2 0x06de 000006d9: JUMPI 000006da: PUSH1 0x00 000006dc: DUP1 000006dd: REVERT 000006de: JUMPDEST 000006df: PUSH2 0x0702 000006e2: DUP6 000006e3: DUP6 000006e4: DUP4 000006e5: DUP2 000006e6: DUP2 000006e7: LT 000006e8: PUSH2 0x06ed 000006eb: JUMPI 000006ec: INVALID 000006ed: JUMPDEST 000006ee: SWAP1 000006ef: POP 000006f0: PUSH1 0x20 000006f2: MUL 000006f3: ADD 000006f4: CALLDATALOAD 000006f5: PUSH1 0x01 000006f7: PUSH1 0xa0 000006f9: PUSH1 0x02 000006fb: EXP 000006fc: SUB 000006fd: AND 000006fe: PUSH2 0x0d3e 00000701: JUMP 00000702: JUMPDEST 00000703: ISZERO 00000704: PUSH2 0x070c 00000707: JUMPI 00000708: PUSH1 0x00 0000070a: DUP1 0000070b: REVERT 0000070c: JUMPDEST 0000070d: DUP1 0000070e: ISZERO 0000070f: ISZERO 00000710: PUSH2 0x0779 00000713: JUMPI 00000714: PUSH2 0x073f 00000717: PUSH1 0x01 00000719: PUSH1 0xa0 0000071b: PUSH1 0x02 0000071d: EXP 0000071e: SUB 0000071f: DUP7 00000720: DUP7 00000721: DUP5 00000722: DUP2 00000723: DUP2 00000724: LT 00000725: PUSH2 0x072a 00000728: JUMPI 00000729: INVALID 0000072a: JUMPDEST 0000072b: SWAP1 0000072c: POP 0000072d: PUSH1 0x20 0000072f: MUL 00000730: ADD 00000731: CALLDATALOAD 00000732: PUSH1 0x01 00000734: PUSH1 0xa0 00000736: PUSH1 0x02 00000738: EXP 00000739: SUB 0000073a: AND 0000073b: PUSH2 0x1015 0000073e: JUMP 0000073f: JUMPDEST 00000740: PUSH1 0x01 00000742: DUP5 00000743: EQ 00000744: ISZERO 00000745: PUSH2 0x0774 00000748: JUMPI 00000749: PUSH2 0x0774 0000074c: DUP6 0000074d: DUP6 0000074e: DUP4 0000074f: DUP2 00000750: DUP2 00000751: LT 00000752: PUSH2 0x0757 00000755: JUMPI 00000756: INVALID 00000757: JUMPDEST 00000758: SWAP1 00000759: POP 0000075a: PUSH1 0x20 0000075c: MUL 0000075d: ADD 0000075e: CALLDATALOAD 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: PUSH1 0x02 00000765: EXP 00000766: SUB 00000767: AND 00000768: PUSH1 0x01 0000076a: PUSH1 0xa0 0000076c: PUSH1 0x02 0000076e: EXP 0000076f: SUB 00000770: PUSH2 0x1015 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH2 0x07d8 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x00 0000077c: NOT 0000077d: DUP5 0000077e: ADD 0000077f: DUP2 00000780: EQ 00000781: ISZERO 00000782: PUSH2 0x07c5 00000785: JUMPI 00000786: PUSH2 0x07b6 00000789: DUP6 0000078a: DUP6 0000078b: PUSH1 0x00 0000078d: NOT 0000078e: DUP5 0000078f: ADD 00000790: DUP2 00000791: DUP2 00000792: LT 00000793: PUSH2 0x0798 00000796: JUMPI 00000797: INVALID 00000798: JUMPDEST 00000799: SWAP1 0000079a: POP 0000079b: PUSH1 0x20 0000079d: MUL 0000079e: ADD 0000079f: CALLDATALOAD 000007a0: PUSH1 0x01 000007a2: PUSH1 0xa0 000007a4: PUSH1 0x02 000007a6: EXP 000007a7: SUB 000007a8: AND 000007a9: DUP7 000007aa: DUP7 000007ab: DUP5 000007ac: DUP2 000007ad: DUP2 000007ae: LT 000007af: ISZERO 000007b0: ISZERO 000007b1: PUSH2 0x072a 000007b4: JUMPI 000007b5: INVALID 000007b6: JUMPDEST 000007b7: PUSH2 0x0774 000007ba: DUP6 000007bb: DUP6 000007bc: DUP4 000007bd: DUP2 000007be: DUP2 000007bf: LT 000007c0: PUSH2 0x0757 000007c3: JUMPI 000007c4: INVALID 000007c5: JUMPDEST 000007c6: PUSH2 0x07d8 000007c9: DUP6 000007ca: DUP6 000007cb: PUSH1 0x00 000007cd: NOT 000007ce: DUP5 000007cf: ADD 000007d0: DUP2 000007d1: DUP2 000007d2: LT 000007d3: PUSH2 0x0798 000007d6: JUMPI 000007d7: INVALID 000007d8: JUMPDEST 000007d9: DUP5 000007da: DUP5 000007db: DUP3 000007dc: DUP2 000007dd: DUP2 000007de: LT 000007df: PUSH2 0x07e4 000007e2: JUMPI 000007e3: INVALID 000007e4: JUMPDEST 000007e5: SWAP1 000007e6: POP 000007e7: PUSH1 0x20 000007e9: MUL 000007ea: ADD 000007eb: CALLDATALOAD 000007ec: PUSH1 0x01 000007ee: PUSH1 0xa0 000007f0: PUSH1 0x02 000007f2: EXP 000007f3: SUB 000007f4: AND 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa0 000007f9: PUSH1 0x02 000007fb: EXP 000007fc: SUB 000007fd: AND 000007fe: PUSH32 0xe366c1c0452ed8eec96861e9e54141ebff23c9ec89fe27b996b45f5ec3884987 0000081f: PUSH1 0x40 00000821: MLOAD 00000822: PUSH1 0x40 00000824: MLOAD 00000825: DUP1 00000826: SWAP2 00000827: SUB 00000828: SWAP1 00000829: LOG2 0000082a: PUSH1 0x01 0000082c: ADD 0000082d: PUSH2 0x066b 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH2 0x083a 00000835: DUP5 00000836: PUSH2 0x111c 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x00 0000083d: PUSH1 0x20 0000083f: DUP2 00000840: SWAP1 00000841: MSTORE 00000842: PUSH32 0x8a247e09a5673bd4d93a4e76d8fb9553523aa0d77f51f3d576e7421f5295b9bc 00000863: DUP8 00000864: SWAP1 00000865: SSTORE 00000866: PUSH32 0xb120ceec05576ad0c710bc6e85f1768535e27554458f05dcbb5c65b8c7a749b0 00000887: SWAP1 00000888: MSTORE 00000889: NUMBER 0000088a: PUSH32 0xe66bef0282a446f9848e2903380099bb6e431483ee78778868f33b4a154c818b 000008ab: SSTORE 000008ac: PUSH2 0x08b3 000008af: PUSH2 0x1177 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x40 000008b6: DUP1 000008b7: MLOAD 000008b8: DUP8 000008b9: DUP2 000008ba: MSTORE 000008bb: SWAP1 000008bc: MLOAD 000008bd: PUSH32 0x10dbc913050d3180c3b99f7da91fd514af7cbc9c1bb59a0da5d2bc38f0cf395a 000008de: SWAP2 000008df: DUP2 000008e0: SWAP1 000008e1: SUB 000008e2: PUSH1 0x20 000008e4: ADD 000008e5: SWAP1 000008e6: LOG1 000008e7: PUSH2 0x08ee 000008ea: PUSH2 0x03b9 000008ed: JUMP 000008ee: JUMPDEST 000008ef: SWAP7 000008f0: SWAP6 000008f1: POP 000008f2: POP 000008f3: POP 000008f4: POP 000008f5: POP 000008f6: POP 000008f7: JUMP 000008f8: JUMPDEST 000008f9: PUSH1 0x60 000008fb: DUP1 000008fc: PUSH1 0x00 000008fe: DUP1 000008ff: PUSH2 0x0906 00000902: PUSH2 0x0360 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x40 00000909: MLOAD 0000090a: SWAP1 0000090b: DUP1 0000090c: DUP3 0000090d: MSTORE 0000090e: DUP1 0000090f: PUSH1 0x20 00000911: MUL 00000912: PUSH1 0x20 00000914: ADD 00000915: DUP3 00000916: ADD 00000917: PUSH1 0x40 00000919: MSTORE 0000091a: DUP1 0000091b: ISZERO 0000091c: PUSH2 0x092f 0000091f: JUMPI 00000920: DUP2 00000921: PUSH1 0x20 00000923: ADD 00000924: PUSH1 0x20 00000926: DUP3 00000927: MUL 00000928: DUP1 00000929: CODESIZE 0000092a: DUP4 0000092b: CODECOPY 0000092c: ADD 0000092d: SWAP1 0000092e: POP 0000092f: JUMPDEST 00000930: POP 00000931: SWAP3 00000932: POP 00000933: PUSH1 0x00 00000935: SWAP2 00000936: POP 00000937: PUSH2 0x0946 0000093a: PUSH1 0x01 0000093c: PUSH1 0xa0 0000093e: PUSH1 0x02 00000940: EXP 00000941: SUB 00000942: PUSH2 0x0ad6 00000945: JUMP 00000946: JUMPDEST 00000947: SWAP1 00000948: POP 00000949: PUSH1 0x01 0000094b: PUSH1 0xa0 0000094d: PUSH1 0x02 0000094f: EXP 00000950: SUB 00000951: DUP2 00000952: AND 00000953: ISZERO 00000954: ISZERO 00000955: PUSH2 0x095d 00000958: JUMPI 00000959: PUSH1 0x00 0000095b: DUP1 0000095c: REVERT 0000095d: JUMPDEST 0000095e: PUSH1 0x01 00000960: PUSH1 0xa0 00000962: PUSH1 0x02 00000964: EXP 00000965: SUB 00000966: DUP2 00000967: DUP2 00000968: AND 00000969: EQ 0000096a: PUSH2 0x09be 0000096d: JUMPI 0000096e: DUP1 0000096f: DUP4 00000970: DUP4 00000971: DUP2 00000972: MLOAD 00000973: DUP2 00000974: LT 00000975: ISZERO 00000976: ISZERO 00000977: PUSH2 0x097c 0000097a: JUMPI 0000097b: INVALID 0000097c: JUMPDEST 0000097d: PUSH1 0x01 0000097f: PUSH1 0xa0 00000981: PUSH1 0x02 00000983: EXP 00000984: SUB 00000985: SWAP1 00000986: SWAP3 00000987: AND 00000988: PUSH1 0x20 0000098a: SWAP3 0000098b: DUP4 0000098c: MUL 0000098d: SWAP1 0000098e: SWAP2 0000098f: ADD 00000990: SWAP1 00000991: SWAP2 00000992: ADD 00000993: MSTORE 00000994: PUSH2 0x099c 00000997: DUP2 00000998: PUSH2 0x0ad6 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH1 0x01 0000099f: SWAP1 000009a0: SWAP3 000009a1: ADD 000009a2: SWAP2 000009a3: SWAP1 000009a4: POP 000009a5: PUSH1 0x01 000009a7: PUSH1 0xa0 000009a9: PUSH1 0x02 000009ab: EXP 000009ac: SUB 000009ad: DUP2 000009ae: AND 000009af: ISZERO 000009b0: ISZERO 000009b1: PUSH2 0x09b9 000009b4: JUMPI 000009b5: PUSH1 0x00 000009b7: DUP1 000009b8: REVERT 000009b9: JUMPDEST 000009ba: PUSH2 0x095d 000009bd: JUMP 000009be: JUMPDEST 000009bf: POP 000009c0: SWAP1 000009c1: SWAP3 000009c2: SWAP2 000009c3: POP 000009c4: POP 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH2 0x09ce 000009ca: PUSH2 0x0bbe 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH1 0x01 000009d1: PUSH1 0xa0 000009d3: PUSH1 0x02 000009d5: EXP 000009d6: SUB 000009d7: AND 000009d8: CALLER 000009d9: EQ 000009da: PUSH2 0x09e2 000009dd: JUMPI 000009de: PUSH1 0x00 000009e0: DUP1 000009e1: REVERT 000009e2: JUMPDEST 000009e3: DUP1 000009e4: PUSH2 0x09eb 000009e7: PUSH2 0x0360 000009ea: JUMP 000009eb: JUMPDEST 000009ec: LT 000009ed: ISZERO 000009ee: PUSH2 0x09f6 000009f1: JUMPI 000009f2: PUSH1 0x00 000009f4: DUP1 000009f5: REVERT 000009f6: JUMPDEST 000009f7: DUP1 000009f8: ISZERO 000009f9: ISZERO 000009fa: PUSH2 0x0a02 000009fd: JUMPI 000009fe: PUSH1 0x00 00000a00: DUP1 00000a01: REVERT 00000a02: JUMPDEST 00000a03: PUSH32 0xd18ea17c351d6834a0e568067fb71804d2a588d5e26d60f792b1c724b1bd53b1 00000a24: PUSH1 0x00 00000a26: SWAP1 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH32 0x8a247e09a5673bd4d93a4e76d8fb9553523aa0d77f51f3d576e7421f5295b9bc 00000a4f: DUP3 00000a50: SWAP1 00000a51: SSTORE 00000a52: PUSH1 0x40 00000a54: DUP1 00000a55: MLOAD 00000a56: DUP4 00000a57: DUP2 00000a58: MSTORE 00000a59: SWAP1 00000a5a: MLOAD 00000a5b: PUSH32 0x10dbc913050d3180c3b99f7da91fd514af7cbc9c1bb59a0da5d2bc38f0cf395a 00000a7c: SWAP3 00000a7d: SWAP2 00000a7e: DUP2 00000a7f: SWAP1 00000a80: SUB 00000a81: SWAP1 00000a82: SWAP2 00000a83: ADD 00000a84: SWAP1 00000a85: LOG1 00000a86: POP 00000a87: JUMP 00000a88: JUMPDEST 00000a89: PUSH32 0xd18ea17c351d6834a0e568067fb71804d2a588d5e26d60f792b1c724b1bd53b1 00000aaa: PUSH1 0x00 00000aac: SWAP1 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x20 00000ab1: MSTORE 00000ab2: PUSH32 0x8a247e09a5673bd4d93a4e76d8fb9553523aa0d77f51f3d576e7421f5295b9bc 00000ad3: SLOAD 00000ad4: SWAP1 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x00 00000ad9: PUSH1 0x02 00000adb: PUSH1 0x00 00000add: DUP4 00000ade: PUSH1 0x40 00000ae0: MLOAD 00000ae1: PUSH1 0x20 00000ae3: ADD 00000ae4: DUP1 00000ae5: DUP1 00000ae6: PUSH32 0x76616c696461746f72734c697374000000000000000000000000000000000000 00000b07: DUP2 00000b08: MSTORE 00000b09: POP 00000b0a: PUSH1 0x0e 00000b0c: ADD 00000b0d: DUP3 00000b0e: PUSH1 0x01 00000b10: PUSH1 0xa0 00000b12: PUSH1 0x02 00000b14: EXP 00000b15: SUB 00000b16: AND 00000b17: PUSH1 0x01 00000b19: PUSH1 0xa0 00000b1b: PUSH1 0x02 00000b1d: EXP 00000b1e: SUB 00000b1f: AND 00000b20: PUSH13 0x01000000000000000000000000 00000b2e: MUL 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x14 00000b33: ADD 00000b34: SWAP2 00000b35: POP 00000b36: POP 00000b37: PUSH1 0x40 00000b39: MLOAD 00000b3a: PUSH1 0x20 00000b3c: DUP2 00000b3d: DUP4 00000b3e: SUB 00000b3f: SUB 00000b40: DUP2 00000b41: MSTORE 00000b42: SWAP1 00000b43: PUSH1 0x40 00000b45: MSTORE 00000b46: PUSH1 0x40 00000b48: MLOAD 00000b49: DUP1 00000b4a: DUP3 00000b4b: DUP1 00000b4c: MLOAD 00000b4d: SWAP1 00000b4e: PUSH1 0x20 00000b50: ADD 00000b51: SWAP1 00000b52: DUP1 00000b53: DUP4 00000b54: DUP4 00000b55: JUMPDEST 00000b56: PUSH1 0x20 00000b58: DUP4 00000b59: LT 00000b5a: PUSH2 0x0b74 00000b5d: JUMPI 00000b5e: DUP1 00000b5f: MLOAD 00000b60: DUP3 00000b61: MSTORE 00000b62: PUSH1 0x1f 00000b64: NOT 00000b65: SWAP1 00000b66: SWAP3 00000b67: ADD 00000b68: SWAP2 00000b69: PUSH1 0x20 00000b6b: SWAP2 00000b6c: DUP3 00000b6d: ADD 00000b6e: SWAP2 00000b6f: ADD 00000b70: PUSH2 0x0b55 00000b73: JUMP 00000b74: JUMPDEST 00000b75: MLOAD 00000b76: DUP2 00000b77: MLOAD 00000b78: PUSH1 0x20 00000b7a: SWAP4 00000b7b: DUP5 00000b7c: SUB 00000b7d: PUSH2 0x0100 00000b80: EXP 00000b81: PUSH1 0x00 00000b83: NOT 00000b84: ADD 00000b85: DUP1 00000b86: NOT 00000b87: SWAP1 00000b88: SWAP3 00000b89: AND 00000b8a: SWAP2 00000b8b: AND 00000b8c: OR 00000b8d: SWAP1 00000b8e: MSTORE 00000b8f: PUSH1 0x40 00000b91: DUP1 00000b92: MLOAD 00000b93: SWAP3 00000b94: SWAP1 00000b95: SWAP5 00000b96: ADD 00000b97: DUP3 00000b98: SWAP1 00000b99: SUB 00000b9a: SWAP1 00000b9b: SWAP2 00000b9c: KECCAK256 00000b9d: DUP7 00000b9e: MSTORE 00000b9f: DUP6 00000ba0: ADD 00000ba1: SWAP6 00000ba2: SWAP1 00000ba3: SWAP6 00000ba4: MSTORE 00000ba5: SWAP3 00000ba6: SWAP1 00000ba7: SWAP3 00000ba8: ADD 00000ba9: PUSH1 0x00 00000bab: KECCAK256 00000bac: SLOAD 00000bad: PUSH1 0x01 00000baf: PUSH1 0xa0 00000bb1: PUSH1 0x02 00000bb3: EXP 00000bb4: SUB 00000bb5: AND 00000bb6: SWAP6 00000bb7: SWAP5 00000bb8: POP 00000bb9: POP 00000bba: POP 00000bbb: POP 00000bbc: POP 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH32 0x02016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0 00000be0: PUSH1 0x00 00000be2: MSTORE 00000be3: PUSH1 0x02 00000be5: PUSH1 0x20 00000be7: MSTORE 00000be8: PUSH32 0xb7802e97e87ef2842a6cce7da7ffaeaedaa2f61a6a7870b23d9d01fc9b73712e 00000c09: SLOAD 00000c0a: PUSH1 0x01 00000c0c: PUSH1 0xa0 00000c0e: PUSH1 0x02 00000c10: EXP 00000c11: SUB 00000c12: AND 00000c13: SWAP1 00000c14: JUMP 00000c15: JUMPDEST 00000c16: PUSH1 0x00 00000c18: DUP1 00000c19: DUP1 00000c1a: PUSH2 0x0c29 00000c1d: PUSH1 0x01 00000c1f: PUSH1 0xa0 00000c21: PUSH1 0x02 00000c23: EXP 00000c24: SUB 00000c25: PUSH2 0x0ad6 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: SWAP1 00000c2b: POP 00000c2c: PUSH1 0x01 00000c2e: PUSH1 0xa0 00000c30: PUSH1 0x02 00000c32: EXP 00000c33: SUB 00000c34: DUP2 00000c35: AND 00000c36: ISZERO 00000c37: ISZERO 00000c38: PUSH2 0x0c40 00000c3b: JUMPI 00000c3c: PUSH1 0x00 00000c3e: DUP1 00000c3f: REVERT 00000c40: JUMPDEST 00000c41: PUSH1 0x01 00000c43: PUSH1 0xa0 00000c45: PUSH1 0x02 00000c47: EXP 00000c48: SUB 00000c49: DUP2 00000c4a: DUP2 00000c4b: AND 00000c4c: EQ 00000c4d: PUSH2 0x0cb1 00000c50: JUMPI 00000c51: DUP4 00000c52: PUSH1 0x01 00000c54: PUSH1 0xa0 00000c56: PUSH1 0x02 00000c58: EXP 00000c59: SUB 00000c5a: AND 00000c5b: DUP2 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0xa0 00000c60: PUSH1 0x02 00000c62: EXP 00000c63: SUB 00000c64: AND 00000c65: EQ 00000c66: ISZERO 00000c67: PUSH2 0x0c86 00000c6a: JUMPI 00000c6b: DUP2 00000c6c: PUSH2 0x0c73 00000c6f: PUSH2 0x0360 00000c72: JUMP 00000c73: JUMPDEST 00000c74: NUMBER 00000c75: DUP2 00000c76: ISZERO 00000c77: ISZERO 00000c78: PUSH2 0x0c7d 00000c7b: JUMPI 00000c7c: INVALID 00000c7d: JUMPDEST 00000c7e: MOD 00000c7f: EQ 00000c80: SWAP3 00000c81: POP 00000c82: PUSH2 0x0cb6 00000c85: JUMP 00000c86: JUMPDEST 00000c87: PUSH2 0x0c8f 00000c8a: DUP2 00000c8b: PUSH2 0x0ad6 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: PUSH1 0x01 00000c92: SWAP1 00000c93: SWAP3 00000c94: ADD 00000c95: SWAP2 00000c96: SWAP1 00000c97: POP 00000c98: PUSH1 0x01 00000c9a: PUSH1 0xa0 00000c9c: PUSH1 0x02 00000c9e: EXP 00000c9f: SUB 00000ca0: DUP2 00000ca1: AND 00000ca2: ISZERO 00000ca3: ISZERO 00000ca4: PUSH2 0x0cac 00000ca7: JUMPI 00000ca8: PUSH1 0x00 00000caa: DUP1 00000cab: REVERT 00000cac: JUMPDEST 00000cad: PUSH2 0x0c40 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: PUSH1 0x00 00000cb4: SWAP3 00000cb5: POP 00000cb6: JUMPDEST 00000cb7: POP 00000cb8: POP 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: POP 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: PUSH32 0xb120ceec05576ad0c710bc6e85f1768535e27554458f05dcbb5c65b8c7a749b0 00000cdf: PUSH1 0x00 00000ce1: SWAP1 00000ce2: DUP2 00000ce3: MSTORE 00000ce4: PUSH1 0x20 00000ce6: MSTORE 00000ce7: PUSH32 0xe66bef0282a446f9848e2903380099bb6e431483ee78778868f33b4a154c818b 00000d08: SLOAD 00000d09: SWAP1 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: PUSH1 0x01 00000d0e: PUSH1 0xa0 00000d10: PUSH1 0x02 00000d12: EXP 00000d13: SUB 00000d14: DUP2 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH2 0x0d1e 00000d1a: PUSH2 0x0bbe 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH1 0x01 00000d21: PUSH1 0xa0 00000d23: PUSH1 0x02 00000d25: EXP 00000d26: SUB 00000d27: AND 00000d28: CALLER 00000d29: EQ 00000d2a: PUSH2 0x0d32 00000d2d: JUMPI 00000d2e: PUSH1 0x00 00000d30: DUP1 00000d31: REVERT 00000d32: JUMPDEST 00000d33: PUSH2 0x0d3b 00000d36: DUP2 00000d37: PUSH2 0x0f3e 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: POP 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: PUSH1 0x00 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: PUSH1 0x02 00000d47: EXP 00000d48: SUB 00000d49: DUP3 00000d4a: DUP2 00000d4b: AND 00000d4c: EQ 00000d4d: DUP1 00000d4e: ISZERO 00000d4f: SWAP1 00000d50: PUSH2 0x0d6b 00000d53: JUMPI 00000d54: POP 00000d55: PUSH1 0x00 00000d57: PUSH2 0x0d5f 00000d5a: DUP4 00000d5b: PUSH2 0x0ad6 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: PUSH1 0x01 00000d62: PUSH1 0xa0 00000d64: PUSH1 0x02 00000d66: EXP 00000d67: SUB 00000d68: AND 00000d69: EQ 00000d6a: ISZERO 00000d6b: JUMPDEST 00000d6c: SWAP3 00000d6d: SWAP2 00000d6e: POP 00000d6f: POP 00000d70: JUMP 00000d71: JUMPDEST 00000d72: PUSH1 0x00 00000d74: DUP1 00000d75: PUSH1 0x00 00000d77: PUSH2 0x0d7e 00000d7a: PUSH2 0x0a88 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: PUSH2 0x0d86 00000d82: PUSH2 0x0360 00000d85: JUMP 00000d86: JUMPDEST 00000d87: GT 00000d88: PUSH2 0x0d90 00000d8b: JUMPI 00000d8c: PUSH1 0x00 00000d8e: DUP1 00000d8f: REVERT 00000d90: JUMPDEST 00000d91: PUSH2 0x0d99 00000d94: DUP5 00000d95: PUSH2 0x0d3e 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: ISZERO 00000d9b: ISZERO 00000d9c: PUSH2 0x0da4 00000d9f: JUMPI 00000da0: PUSH1 0x00 00000da2: DUP1 00000da3: REVERT 00000da4: JUMPDEST 00000da5: PUSH2 0x0dad 00000da8: DUP5 00000da9: PUSH2 0x0ad6 00000dac: JUMP 00000dad: JUMPDEST 00000dae: SWAP3 00000daf: POP 00000db0: PUSH1 0x01 00000db2: PUSH1 0xa0 00000db4: PUSH1 0x02 00000db6: EXP 00000db7: SUB 00000db8: SWAP2 00000db9: POP 00000dba: PUSH2 0x0dc2 00000dbd: DUP3 00000dbe: PUSH2 0x0ad6 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: SWAP1 00000dc4: POP 00000dc5: PUSH1 0x01 00000dc7: PUSH1 0xa0 00000dc9: PUSH1 0x02 00000dcb: EXP 00000dcc: SUB 00000dcd: DUP2 00000dce: AND 00000dcf: ISZERO 00000dd0: ISZERO 00000dd1: PUSH2 0x0dd9 00000dd4: JUMPI 00000dd5: PUSH1 0x00 00000dd7: DUP1 00000dd8: REVERT 00000dd9: JUMPDEST 00000dda: PUSH1 0x01 00000ddc: PUSH1 0xa0 00000dde: PUSH1 0x02 00000de0: EXP 00000de1: SUB 00000de2: DUP2 00000de3: DUP2 00000de4: AND 00000de5: SWAP1 00000de6: DUP6 00000de7: AND 00000de8: EQ 00000de9: PUSH2 0x0e2b 00000dec: JUMPI 00000ded: DUP1 00000dee: SWAP2 00000def: POP 00000df0: PUSH2 0x0df8 00000df3: DUP3 00000df4: PUSH2 0x0ad6 00000df7: JUMP 00000df8: JUMPDEST 00000df9: SWAP1 00000dfa: POP 00000dfb: PUSH1 0x01 00000dfd: PUSH1 0xa0 00000dff: PUSH1 0x02 00000e01: EXP 00000e02: SUB 00000e03: DUP1 00000e04: DUP3 00000e05: AND 00000e06: EQ 00000e07: DUP1 00000e08: ISZERO 00000e09: SWAP1 00000e0a: PUSH2 0x0e1b 00000e0d: JUMPI 00000e0e: POP 00000e0f: PUSH1 0x01 00000e11: PUSH1 0xa0 00000e13: PUSH1 0x02 00000e15: EXP 00000e16: SUB 00000e17: DUP2 00000e18: AND 00000e19: ISZERO 00000e1a: ISZERO 00000e1b: JUMPDEST 00000e1c: ISZERO 00000e1d: ISZERO 00000e1e: PUSH2 0x0e26 00000e21: JUMPI 00000e22: PUSH1 0x00 00000e24: DUP1 00000e25: REVERT 00000e26: JUMPDEST 00000e27: PUSH2 0x0dd9 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH2 0x0e35 00000e2f: DUP3 00000e30: DUP5 00000e31: PUSH2 0x1015 00000e34: JUMP 00000e35: JUMPDEST 00000e36: PUSH2 0x0e74 00000e39: PUSH1 0x40 00000e3b: DUP1 00000e3c: MLOAD 00000e3d: SWAP1 00000e3e: DUP2 00000e3f: ADD 00000e40: PUSH1 0x40 00000e42: MSTORE 00000e43: DUP1 00000e44: PUSH1 0x0e 00000e46: DUP2 00000e47: MSTORE 00000e48: PUSH1 0x20 00000e4a: ADD 00000e4b: PUSH32 0x76616c696461746f72734c697374000000000000000000000000000000000000 00000e6c: DUP2 00000e6d: MSTORE 00000e6e: POP 00000e6f: DUP6 00000e70: PUSH2 0x11ce 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH2 0x0e95 00000e78: PUSH2 0x0e90 00000e7b: PUSH1 0x01 00000e7d: PUSH2 0x0e84 00000e80: PUSH2 0x0360 00000e83: JUMP 00000e84: JUMPDEST 00000e85: SWAP1 00000e86: PUSH4 0xffffffff 00000e8b: PUSH2 0x12ea 00000e8e: AND 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH2 0x111c 00000e94: JUMP 00000e95: JUMPDEST 00000e96: POP 00000e97: POP 00000e98: POP 00000e99: POP 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x00 00000e9e: PUSH1 0x01 00000ea0: PUSH1 0xa0 00000ea2: PUSH1 0x02 00000ea4: EXP 00000ea5: SUB 00000ea6: DUP3 00000ea7: AND 00000ea8: ISZERO 00000ea9: DUP1 00000eaa: ISZERO 00000eab: SWAP1 00000eac: PUSH2 0x0ebe 00000eaf: JUMPI 00000eb0: POP 00000eb1: PUSH1 0x01 00000eb3: PUSH1 0xa0 00000eb5: PUSH1 0x02 00000eb7: EXP 00000eb8: SUB 00000eb9: DUP3 00000eba: DUP2 00000ebb: AND 00000ebc: EQ 00000ebd: ISZERO 00000ebe: JUMPDEST 00000ebf: ISZERO 00000ec0: ISZERO 00000ec1: PUSH2 0x0ec9 00000ec4: JUMPI 00000ec5: PUSH1 0x00 00000ec7: DUP1 00000ec8: REVERT 00000ec9: JUMPDEST 00000eca: PUSH2 0x0ed2 00000ecd: DUP3 00000ece: PUSH2 0x0d3e 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: ISZERO 00000ed4: PUSH2 0x0edc 00000ed7: JUMPI 00000ed8: PUSH1 0x00 00000eda: DUP1 00000edb: REVERT 00000edc: JUMPDEST 00000edd: PUSH2 0x0eec 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0xa0 00000ee4: PUSH1 0x02 00000ee6: EXP 00000ee7: SUB 00000ee8: PUSH2 0x0ad6 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: SWAP1 00000eee: POP 00000eef: PUSH1 0x01 00000ef1: PUSH1 0xa0 00000ef3: PUSH1 0x02 00000ef5: EXP 00000ef6: SUB 00000ef7: DUP2 00000ef8: AND 00000ef9: ISZERO 00000efa: ISZERO 00000efb: PUSH2 0x0f03 00000efe: JUMPI 00000eff: PUSH1 0x00 00000f01: DUP1 00000f02: REVERT 00000f03: JUMPDEST 00000f04: PUSH2 0x0f0d 00000f07: DUP3 00000f08: DUP3 00000f09: PUSH2 0x1015 00000f0c: JUMP 00000f0d: JUMPDEST 00000f0e: PUSH2 0x0f1e 00000f11: PUSH1 0x01 00000f13: PUSH1 0xa0 00000f15: PUSH1 0x02 00000f17: EXP 00000f18: SUB 00000f19: DUP4 00000f1a: PUSH2 0x1015 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH2 0x0f3a 00000f22: PUSH2 0x0e90 00000f25: PUSH1 0x01 00000f27: PUSH2 0x0f2e 00000f2a: PUSH2 0x0360 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: SWAP1 00000f30: PUSH4 0xffffffff 00000f35: PUSH2 0x12fc 00000f38: AND 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: POP 00000f3c: POP 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x01 00000f41: PUSH1 0xa0 00000f43: PUSH1 0x02 00000f45: EXP 00000f46: SUB 00000f47: DUP2 00000f48: AND 00000f49: ISZERO 00000f4a: ISZERO 00000f4b: PUSH2 0x0f53 00000f4e: JUMPI 00000f4f: PUSH1 0x00 00000f51: DUP1 00000f52: REVERT 00000f53: JUMPDEST 00000f54: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f75: PUSH2 0x0f7c 00000f78: PUSH2 0x0bbe 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x40 00000f7f: DUP1 00000f80: MLOAD 00000f81: PUSH1 0x01 00000f83: PUSH1 0xa0 00000f85: PUSH1 0x02 00000f87: EXP 00000f88: SUB 00000f89: SWAP3 00000f8a: DUP4 00000f8b: AND 00000f8c: DUP2 00000f8d: MSTORE 00000f8e: SWAP2 00000f8f: DUP5 00000f90: AND 00000f91: PUSH1 0x20 00000f93: DUP4 00000f94: ADD 00000f95: MSTORE 00000f96: DUP1 00000f97: MLOAD 00000f98: SWAP2 00000f99: DUP3 00000f9a: SWAP1 00000f9b: SUB 00000f9c: ADD 00000f9d: SWAP1 00000f9e: LOG1 00000f9f: PUSH32 0x02016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0 00000fc0: PUSH1 0x00 00000fc2: MSTORE 00000fc3: PUSH1 0x02 00000fc5: PUSH1 0x20 00000fc7: MSTORE 00000fc8: PUSH32 0xb7802e97e87ef2842a6cce7da7ffaeaedaa2f61a6a7870b23d9d01fc9b73712e 00000fe9: DUP1 00000fea: SLOAD 00000feb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001000: NOT 00001001: AND 00001002: PUSH1 0x01 00001004: PUSH1 0xa0 00001006: PUSH1 0x02 00001008: EXP 00001009: SUB 0000100a: SWAP3 0000100b: SWAP1 0000100c: SWAP3 0000100d: AND 0000100e: SWAP2 0000100f: SWAP1 00001010: SWAP2 00001011: OR 00001012: SWAP1 00001013: SSTORE 00001014: JUMP 00001015: JUMPDEST 00001016: DUP1 00001017: PUSH1 0x02 00001019: PUSH1 0x00 0000101b: DUP5 0000101c: PUSH1 0x40 0000101e: MLOAD 0000101f: PUSH1 0x20 00001021: ADD 00001022: DUP1 00001023: DUP1 00001024: PUSH32 0x76616c696461746f72734c697374000000000000000000000000000000000000 00001045: DUP2 00001046: MSTORE 00001047: POP 00001048: PUSH1 0x0e 0000104a: ADD 0000104b: DUP3 0000104c: PUSH1 0x01 0000104e: PUSH1 0xa0 00001050: PUSH1 0x02 00001052: EXP 00001053: SUB 00001054: AND 00001055: PUSH1 0x01 00001057: PUSH1 0xa0 00001059: PUSH1 0x02 0000105b: EXP 0000105c: SUB 0000105d: AND 0000105e: PUSH13 0x01000000000000000000000000 0000106c: MUL 0000106d: DUP2 0000106e: MSTORE 0000106f: PUSH1 0x14 00001071: ADD 00001072: SWAP2 00001073: POP 00001074: POP 00001075: PUSH1 0x40 00001077: MLOAD 00001078: PUSH1 0x20 0000107a: DUP2 0000107b: DUP4 0000107c: SUB 0000107d: SUB 0000107e: DUP2 0000107f: MSTORE 00001080: SWAP1 00001081: PUSH1 0x40 00001083: MSTORE 00001084: PUSH1 0x40 00001086: MLOAD 00001087: DUP1 00001088: DUP3 00001089: DUP1 0000108a: MLOAD 0000108b: SWAP1 0000108c: PUSH1 0x20 0000108e: ADD 0000108f: SWAP1 00001090: DUP1 00001091: DUP4 00001092: DUP4 00001093: JUMPDEST 00001094: PUSH1 0x20 00001096: DUP4 00001097: LT 00001098: PUSH2 0x10b2 0000109b: JUMPI 0000109c: DUP1 0000109d: MLOAD 0000109e: DUP3 0000109f: MSTORE 000010a0: PUSH1 0x1f 000010a2: NOT 000010a3: SWAP1 000010a4: SWAP3 000010a5: ADD 000010a6: SWAP2 000010a7: PUSH1 0x20 000010a9: SWAP2 000010aa: DUP3 000010ab: ADD 000010ac: SWAP2 000010ad: ADD 000010ae: PUSH2 0x1093 000010b1: JUMP 000010b2: JUMPDEST 000010b3: MLOAD 000010b4: DUP2 000010b5: MLOAD 000010b6: PUSH1 0x20 000010b8: SWAP4 000010b9: DUP5 000010ba: SUB 000010bb: PUSH2 0x0100 000010be: EXP 000010bf: PUSH1 0x00 000010c1: NOT 000010c2: ADD 000010c3: DUP1 000010c4: NOT 000010c5: SWAP1 000010c6: SWAP3 000010c7: AND 000010c8: SWAP2 000010c9: AND 000010ca: OR 000010cb: SWAP1 000010cc: MSTORE 000010cd: PUSH1 0x40 000010cf: DUP1 000010d0: MLOAD 000010d1: SWAP3 000010d2: SWAP1 000010d3: SWAP5 000010d4: ADD 000010d5: DUP3 000010d6: SWAP1 000010d7: SUB 000010d8: SWAP1 000010d9: SWAP2 000010da: KECCAK256 000010db: DUP7 000010dc: MSTORE 000010dd: DUP6 000010de: ADD 000010df: SWAP6 000010e0: SWAP1 000010e1: SWAP6 000010e2: MSTORE 000010e3: SWAP3 000010e4: SWAP1 000010e5: SWAP3 000010e6: ADD 000010e7: PUSH1 0x00 000010e9: KECCAK256 000010ea: DUP1 000010eb: SLOAD 000010ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001101: NOT 00001102: AND 00001103: PUSH1 0x01 00001105: PUSH1 0xa0 00001107: PUSH1 0x02 00001109: EXP 0000110a: SUB 0000110b: SWAP6 0000110c: SWAP1 0000110d: SWAP6 0000110e: AND 0000110f: SWAP5 00001110: SWAP1 00001111: SWAP5 00001112: OR 00001113: SWAP1 00001114: SWAP4 00001115: SSTORE 00001116: POP 00001117: POP 00001118: POP 00001119: POP 0000111a: POP 0000111b: JUMP 0000111c: JUMPDEST 0000111d: PUSH1 0x32 0000111f: DUP2 00001120: GT 00001121: ISZERO 00001122: PUSH2 0x112a 00001125: JUMPI 00001126: PUSH1 0x00 00001128: DUP1 00001129: REVERT 0000112a: JUMPDEST 0000112b: PUSH32 0x8656d603d9f985c3483946a92789d52202f49736384ba131cb92f62c4c1aa082 0000114c: PUSH1 0x00 0000114e: SWAP1 0000114f: DUP2 00001150: MSTORE 00001151: PUSH1 0x20 00001153: MSTORE 00001154: PUSH32 0x95d17efd9f452ee83a125e41a6180e225f2e2ff7d47d2c1f6cd9b2e14a207ba1 00001175: SSTORE 00001176: JUMP 00001177: JUMPDEST 00001178: PUSH32 0x0a6f646cd611241d8073675e00d1a1ff700fbf1b53fcf473de56d1e6e4b714ba 00001199: PUSH1 0x00 0000119b: MSTORE 0000119c: PUSH1 0x04 0000119e: PUSH1 0x20 000011a0: MSTORE 000011a1: PUSH32 0x078d888f9b66f3f8bfa10909e31f1e16240db73449f0500afdbbe3a70da457cc 000011c2: DUP1 000011c3: SLOAD 000011c4: PUSH1 0xff 000011c6: NOT 000011c7: AND 000011c8: PUSH1 0x01 000011ca: OR 000011cb: SWAP1 000011cc: SSTORE 000011cd: JUMP 000011ce: JUMPDEST 000011cf: PUSH1 0x02 000011d1: PUSH1 0x00 000011d3: DUP4 000011d4: DUP4 000011d5: PUSH1 0x40 000011d7: MLOAD 000011d8: PUSH1 0x20 000011da: ADD 000011db: DUP1 000011dc: DUP4 000011dd: DUP1 000011de: MLOAD 000011df: SWAP1 000011e0: PUSH1 0x20 000011e2: ADD 000011e3: SWAP1 000011e4: DUP1 000011e5: DUP4 000011e6: DUP4 000011e7: JUMPDEST 000011e8: PUSH1 0x20 000011ea: DUP4 000011eb: LT 000011ec: PUSH2 0x1206 000011ef: JUMPI 000011f0: DUP1 000011f1: MLOAD 000011f2: DUP3 000011f3: MSTORE 000011f4: PUSH1 0x1f 000011f6: NOT 000011f7: SWAP1 000011f8: SWAP3 000011f9: ADD 000011fa: SWAP2 000011fb: PUSH1 0x20 000011fd: SWAP2 000011fe: DUP3 000011ff: ADD 00001200: SWAP2 00001201: ADD 00001202: PUSH2 0x11e7 00001205: JUMP 00001206: JUMPDEST 00001207: PUSH1 0x01 00001209: DUP4 0000120a: PUSH1 0x20 0000120c: SUB 0000120d: PUSH2 0x0100 00001210: EXP 00001211: SUB 00001212: DUP1 00001213: NOT 00001214: DUP3 00001215: MLOAD 00001216: AND 00001217: DUP2 00001218: DUP5 00001219: MLOAD 0000121a: AND 0000121b: DUP1 0000121c: DUP3 0000121d: OR 0000121e: DUP6 0000121f: MSTORE 00001220: POP 00001221: POP 00001222: POP 00001223: POP 00001224: POP 00001225: POP 00001226: SWAP1 00001227: POP 00001228: ADD 00001229: DUP3 0000122a: PUSH1 0x01 0000122c: PUSH1 0xa0 0000122e: PUSH1 0x02 00001230: EXP 00001231: SUB 00001232: AND 00001233: PUSH1 0x01 00001235: PUSH1 0xa0 00001237: PUSH1 0x02 00001239: EXP 0000123a: SUB 0000123b: AND 0000123c: PUSH13 0x01000000000000000000000000 0000124a: MUL 0000124b: DUP2 0000124c: MSTORE 0000124d: PUSH1 0x14 0000124f: ADD 00001250: SWAP3 00001251: POP 00001252: POP 00001253: POP 00001254: PUSH1 0x40 00001256: MLOAD 00001257: PUSH1 0x20 00001259: DUP2 0000125a: DUP4 0000125b: SUB 0000125c: SUB 0000125d: DUP2 0000125e: MSTORE 0000125f: SWAP1 00001260: PUSH1 0x40 00001262: MSTORE 00001263: PUSH1 0x40 00001265: MLOAD 00001266: DUP1 00001267: DUP3 00001268: DUP1 00001269: MLOAD 0000126a: SWAP1 0000126b: PUSH1 0x20 0000126d: ADD 0000126e: SWAP1 0000126f: DUP1 00001270: DUP4 00001271: DUP4 00001272: JUMPDEST 00001273: PUSH1 0x20 00001275: DUP4 00001276: LT 00001277: PUSH2 0x1291 0000127a: JUMPI 0000127b: DUP1 0000127c: MLOAD 0000127d: DUP3 0000127e: MSTORE 0000127f: PUSH1 0x1f 00001281: NOT 00001282: SWAP1 00001283: SWAP3 00001284: ADD 00001285: SWAP2 00001286: PUSH1 0x20 00001288: SWAP2 00001289: DUP3 0000128a: ADD 0000128b: SWAP2 0000128c: ADD 0000128d: PUSH2 0x1272 00001290: JUMP 00001291: JUMPDEST 00001292: MLOAD 00001293: DUP2 00001294: MLOAD 00001295: PUSH1 0x20 00001297: SWAP4 00001298: DUP5 00001299: SUB 0000129a: PUSH2 0x0100 0000129d: EXP 0000129e: PUSH1 0x00 000012a0: NOT 000012a1: ADD 000012a2: DUP1 000012a3: NOT 000012a4: SWAP1 000012a5: SWAP3 000012a6: AND 000012a7: SWAP2 000012a8: AND 000012a9: OR 000012aa: SWAP1 000012ab: MSTORE 000012ac: PUSH1 0x40 000012ae: DUP1 000012af: MLOAD 000012b0: SWAP3 000012b1: SWAP1 000012b2: SWAP5 000012b3: ADD 000012b4: DUP3 000012b5: SWAP1 000012b6: SUB 000012b7: SWAP1 000012b8: SWAP2 000012b9: KECCAK256 000012ba: DUP7 000012bb: MSTORE 000012bc: DUP6 000012bd: ADD 000012be: SWAP6 000012bf: SWAP1 000012c0: SWAP6 000012c1: MSTORE 000012c2: SWAP3 000012c3: SWAP1 000012c4: SWAP3 000012c5: ADD 000012c6: PUSH1 0x00 000012c8: KECCAK256 000012c9: DUP1 000012ca: SLOAD 000012cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e0: NOT 000012e1: AND 000012e2: SWAP1 000012e3: SSTORE 000012e4: POP 000012e5: POP 000012e6: POP 000012e7: POP 000012e8: POP 000012e9: JUMP 000012ea: JUMPDEST 000012eb: PUSH1 0x00 000012ed: DUP3 000012ee: DUP3 000012ef: GT 000012f0: ISZERO 000012f1: PUSH2 0x12f6 000012f4: JUMPI 000012f5: INVALID 000012f6: JUMPDEST 000012f7: POP 000012f8: SWAP1 000012f9: SUB 000012fa: SWAP1 000012fb: JUMP 000012fc: JUMPDEST 000012fd: DUP2 000012fe: DUP2 000012ff: ADD 00001300: DUP3 00001301: DUP2 00001302: LT 00001303: ISZERO 00001304: PUSH2 0x0d6b 00001307: JUMPI 00001308: INVALID 00001309: STOP 0000130a: LOG1 0000130b: PUSH6 0x627a7a723058 00001312: KECCAK256 00001313: UNKNOWN(0x2A) 00001314: PUSH4 0x006a39b3 00001319: UNKNOWN(0xBA) 0000131a: TIMESTAMP 0000131b: UNKNOWN(0xBD) 0000131c: UNKNOWN(0xA9) 0000131d: UNKNOWN(0x26) 0000131e: UNKNOWN(0xD6) 0000131f: SAR 00001320: CALLCODE 00001321: SWAP11 00001322: SWAP16 00001323: SUB 00001324: CALLDATACOPY 00001325: SDIV 00001326: CALL 00001327: EXP 00001328: PUSH9 0xfd7cf9b33a25dd68d7 00001332: CALLCODE 00001333: STOP 00001334: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb4c893c5da8e3f3fb2056c66676c0fec066d4d5f9db81b1342cdf4f167739a1f
call_targets:
0x95b303987a60c71504d99aa1b13b4da07b0790ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb4c893c5da8e3f3fb2056c66676c0fec066d4d5f9db81b1342cdf4f167739a1f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x95b303987a60c71504d99aa1b13b4da07b0790ab"
],
"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": "0x0f43a677",
"selector": "0x0f43a677",
"calldata_variants": [
"0x0f43a677",
"0x0f43a6770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bda4eee",
"selector": "0x2bda4eee",
"calldata_variants": [
"0x2bda4eee",
"0x2bda4eee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392e53cd",
"selector": "0x392e53cd",
"calldata_variants": [
"0x392e53cd",
"0x392e53cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40a141ff",
"selector": "0x40a141ff",
"calldata_variants": [
"0x40a141ff",
"0x40a141ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d238c8e",
"selector": "0x4d238c8e",
"calldata_variants": [
"0x4d238c8e",
"0x4d238c8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52af719f",
"selector": "0x52af719f",
"calldata_variants": [
"0x52af719f",
"0x52af719f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5890ef79",
"selector": "0x5890ef79",
"calldata_variants": [
"0x5890ef79",
"0x5890ef790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d2b9cc0",
"selector": "0x7d2b9cc0",
"calldata_variants": [
"0x7d2b9cc0",
"0x7d2b9cc00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1413,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1513,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4896,
"opcode": "CALLCODE",
"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: 0xb4c893c5da8e3f3fb2056c66676c0fec066d4d5f9db81b1342cdf4f167739a1f
call_targets:
0x95b303987a60c71504d99aa1b13b4da07b0790ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb4c893c5da8e3f3fb2056c66676c0fec066d4d5f9db81b1342cdf4f167739a1f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x95b303987a60c71504d99aa1b13b4da07b0790ab"
],
"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": "0x0f43a677",
"selector": "0x0f43a677",
"calldata_variants": [
"0x0f43a677",
"0x0f43a6770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bda4eee",
"selector": "0x2bda4eee",
"calldata_variants": [
"0x2bda4eee",
"0x2bda4eee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392e53cd",
"selector": "0x392e53cd",
"calldata_variants": [
"0x392e53cd",
"0x392e53cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40a141ff",
"selector": "0x40a141ff",
"calldata_variants": [
"0x40a141ff",
"0x40a141ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d238c8e",
"selector": "0x4d238c8e",
"calldata_variants": [
"0x4d238c8e",
"0x4d238c8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52af719f",
"selector": "0x52af719f",
"calldata_variants": [
"0x52af719f",
"0x52af719f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5890ef79",
"selector": "0x5890ef79",
"calldata_variants": [
"0x5890ef79",
"0x5890ef790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d2b9cc0",
"selector": "0x7d2b9cc0",
"calldata_variants": [
"0x7d2b9cc0",
"0x7d2b9cc00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1413,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1513,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4896,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|