019b477e-c919-708d-82b3-ff49ad929a7d
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 |
|---|---|---|---|---|
| 26263 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26264 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91485 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 91486 | capability.graph | complete | 1 / 3 | 1 week ago |
| 91487 | detector.run | complete | 1 / 3 | 1 week ago |
| 91488 | validation.fork | complete | 1 / 3 | 1 week 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 0x00c0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xb0a65b17 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd4fac45d 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd4fac45d 0000002f: EQ 00000030: PUSH2 0x0418 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf89abe8c 0000003a: EQ 0000003b: PUSH2 0x0460 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xffcc41ee 00000045: EQ 00000046: PUSH2 0x04a0 00000049: JUMPI 0000004a: PUSH2 0x00c7 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0xb0a65b17 00000055: EQ 00000056: PUSH2 0x0250 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xbbedcc40 00000060: EQ 00000061: PUSH2 0x0333 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd1f4354b 0000006b: EQ 0000006c: PUSH2 0x03c6 0000006f: JUMPI 00000070: PUSH2 0x00c7 00000073: JUMP 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x9b9ac2cb 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x9b9ac2cb 00000086: EQ 00000087: PUSH2 0x0182 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xae11c7f8 00000091: EQ 00000092: PUSH2 0x01ca 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xae551c66 0000009c: EQ 0000009d: PUSH2 0x0212 000000a0: JUMPI 000000a1: PUSH2 0x00c7 000000a4: JUMP 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x3ea6f511 000000ac: EQ 000000ad: PUSH2 0x00cc 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x8f79528c 000000b7: EQ 000000b8: PUSH2 0x011e 000000bb: JUMPI 000000bc: PUSH2 0x00c7 000000bf: JUMP 000000c0: JUMPDEST 000000c1: CALLDATASIZE 000000c2: PUSH2 0x00c7 000000c5: JUMPI 000000c6: STOP 000000c7: JUMPDEST 000000c8: PUSH1 0x00 000000ca: DUP1 000000cb: REVERT 000000cc: JUMPDEST 000000cd: CALLVALUE 000000ce: DUP1 000000cf: ISZERO 000000d0: PUSH2 0x00d8 000000d3: JUMPI 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: POP 000000da: PUSH2 0x010c 000000dd: PUSH1 0x04 000000df: DUP1 000000e0: CALLDATASIZE 000000e1: SUB 000000e2: PUSH1 0x20 000000e4: DUP2 000000e5: LT 000000e6: ISZERO 000000e7: PUSH2 0x00ef 000000ea: JUMPI 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: POP 000000f1: CALLDATALOAD 000000f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000107: AND 00000108: PUSH2 0x0585 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH1 0x40 0000010f: DUP1 00000110: MLOAD 00000111: SWAP2 00000112: DUP3 00000113: MSTORE 00000114: MLOAD 00000115: SWAP1 00000116: DUP2 00000117: SWAP1 00000118: SUB 00000119: PUSH1 0x20 0000011b: ADD 0000011c: SWAP1 0000011d: RETURN 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x012a 00000125: JUMPI 00000126: PUSH1 0x00 00000128: DUP1 00000129: REVERT 0000012a: JUMPDEST 0000012b: POP 0000012c: PUSH2 0x016e 0000012f: PUSH1 0x04 00000131: DUP1 00000132: CALLDATASIZE 00000133: SUB 00000134: PUSH1 0x60 00000136: DUP2 00000137: LT 00000138: ISZERO 00000139: PUSH2 0x0141 0000013c: JUMPI 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: REVERT 00000141: JUMPDEST 00000142: POP 00000143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000158: DUP2 00000159: CALLDATALOAD 0000015a: DUP2 0000015b: AND 0000015c: SWAP2 0000015d: PUSH1 0x20 0000015f: DUP2 00000160: ADD 00000161: CALLDATALOAD 00000162: SWAP2 00000163: PUSH1 0x40 00000165: SWAP1 00000166: SWAP2 00000167: ADD 00000168: CALLDATALOAD 00000169: AND 0000016a: PUSH2 0x0597 0000016d: JUMP 0000016e: JUMPDEST 0000016f: PUSH1 0x40 00000171: DUP1 00000172: MLOAD 00000173: SWAP2 00000174: ISZERO 00000175: ISZERO 00000176: DUP3 00000177: MSTORE 00000178: MLOAD 00000179: SWAP1 0000017a: DUP2 0000017b: SWAP1 0000017c: SUB 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: RETURN 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x010c 00000193: PUSH1 0x04 00000195: DUP1 00000196: CALLDATASIZE 00000197: SUB 00000198: PUSH1 0x40 0000019a: DUP2 0000019b: LT 0000019c: ISZERO 0000019d: PUSH2 0x01a5 000001a0: JUMPI 000001a1: PUSH1 0x00 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: POP 000001a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bc: DUP2 000001bd: CALLDATALOAD 000001be: DUP2 000001bf: AND 000001c0: SWAP2 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: CALLDATALOAD 000001c5: AND 000001c6: PUSH2 0x06e8 000001c9: JUMP 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x016e 000001db: PUSH1 0x04 000001dd: DUP1 000001de: CALLDATASIZE 000001df: SUB 000001e0: PUSH1 0x40 000001e2: DUP2 000001e3: LT 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000204: DUP2 00000205: CALLDATALOAD 00000206: DUP2 00000207: AND 00000208: SWAP2 00000209: PUSH1 0x20 0000020b: ADD 0000020c: CALLDATALOAD 0000020d: AND 0000020e: PUSH2 0x0702 00000211: JUMP 00000212: JUMPDEST 00000213: CALLVALUE 00000214: DUP1 00000215: ISZERO 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: POP 00000220: PUSH2 0x0227 00000223: PUSH2 0x0847 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH1 0x40 0000022a: DUP1 0000022b: MLOAD 0000022c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000241: SWAP1 00000242: SWAP3 00000243: AND 00000244: DUP3 00000245: MSTORE 00000246: MLOAD 00000247: SWAP1 00000248: DUP2 00000249: SWAP1 0000024a: SUB 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: SWAP1 0000024f: RETURN 00000250: JUMPDEST 00000251: CALLVALUE 00000252: DUP1 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH2 0x02e3 00000261: PUSH1 0x04 00000263: DUP1 00000264: CALLDATASIZE 00000265: SUB 00000266: PUSH1 0x40 00000268: DUP2 00000269: LT 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: DUP2 00000275: ADD 00000276: SWAP1 00000277: PUSH1 0x20 00000279: DUP2 0000027a: ADD 0000027b: DUP2 0000027c: CALLDATALOAD 0000027d: PUSH5 0x0100000000 00000283: DUP2 00000284: GT 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: DUP3 00000290: ADD 00000291: DUP4 00000292: PUSH1 0x20 00000294: DUP3 00000295: ADD 00000296: GT 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: DUP1 000002a2: CALLDATALOAD 000002a3: SWAP1 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: SWAP2 000002a8: DUP5 000002a9: PUSH1 0x20 000002ab: DUP4 000002ac: MUL 000002ad: DUP5 000002ae: ADD 000002af: GT 000002b0: PUSH5 0x0100000000 000002b6: DUP4 000002b7: GT 000002b8: OR 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: SWAP2 000002c4: SWAP4 000002c5: POP 000002c6: SWAP2 000002c7: POP 000002c8: CALLDATALOAD 000002c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002de: AND 000002df: PUSH2 0x086b 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: DUP1 000002e7: MLOAD 000002e8: PUSH1 0x20 000002ea: DUP1 000002eb: DUP3 000002ec: MSTORE 000002ed: DUP4 000002ee: MLOAD 000002ef: DUP2 000002f0: DUP4 000002f1: ADD 000002f2: MSTORE 000002f3: DUP4 000002f4: MLOAD 000002f5: SWAP2 000002f6: SWAP3 000002f7: DUP4 000002f8: SWAP3 000002f9: SWAP1 000002fa: DUP4 000002fb: ADD 000002fc: SWAP2 000002fd: DUP6 000002fe: DUP2 000002ff: ADD 00000300: SWAP2 00000301: MUL 00000302: DUP1 00000303: DUP4 00000304: DUP4 00000305: PUSH1 0x00 00000307: JUMPDEST 00000308: DUP4 00000309: DUP2 0000030a: LT 0000030b: ISZERO 0000030c: PUSH2 0x031f 0000030f: JUMPI 00000310: DUP2 00000311: DUP2 00000312: ADD 00000313: MLOAD 00000314: DUP4 00000315: DUP3 00000316: ADD 00000317: MSTORE 00000318: PUSH1 0x20 0000031a: ADD 0000031b: PUSH2 0x0307 0000031e: JUMP 0000031f: JUMPDEST 00000320: POP 00000321: POP 00000322: POP 00000323: POP 00000324: SWAP1 00000325: POP 00000326: ADD 00000327: SWAP3 00000328: POP 00000329: POP 0000032a: POP 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: DUP1 0000032f: SWAP2 00000330: SUB 00000331: SWAP1 00000332: RETURN 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x016e 00000344: PUSH1 0x04 00000346: DUP1 00000347: CALLDATASIZE 00000348: SUB 00000349: PUSH1 0x40 0000034b: DUP2 0000034c: LT 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: DUP2 00000358: ADD 00000359: SWAP1 0000035a: PUSH1 0x20 0000035c: DUP2 0000035d: ADD 0000035e: DUP2 0000035f: CALLDATALOAD 00000360: PUSH5 0x0100000000 00000366: DUP2 00000367: GT 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: DUP3 00000373: ADD 00000374: DUP4 00000375: PUSH1 0x20 00000377: DUP3 00000378: ADD 00000379: GT 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: DUP1 00000385: CALLDATALOAD 00000386: SWAP1 00000387: PUSH1 0x20 00000389: ADD 0000038a: SWAP2 0000038b: DUP5 0000038c: PUSH1 0x20 0000038e: DUP4 0000038f: MUL 00000390: DUP5 00000391: ADD 00000392: GT 00000393: PUSH5 0x0100000000 00000399: DUP4 0000039a: GT 0000039b: OR 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: SWAP2 000003a7: SWAP4 000003a8: POP 000003a9: SWAP2 000003aa: POP 000003ab: CALLDATALOAD 000003ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c1: AND 000003c2: PUSH2 0x096f 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x0416 000003d7: PUSH1 0x04 000003d9: DUP1 000003da: CALLDATASIZE 000003db: SUB 000003dc: PUSH1 0x60 000003de: DUP2 000003df: LT 000003e0: ISZERO 000003e1: PUSH2 0x03e9 000003e4: JUMPI 000003e5: PUSH1 0x00 000003e7: DUP1 000003e8: REVERT 000003e9: JUMPDEST 000003ea: POP 000003eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000400: DUP2 00000401: CALLDATALOAD 00000402: DUP2 00000403: AND 00000404: SWAP2 00000405: PUSH1 0x20 00000407: DUP2 00000408: ADD 00000409: CALLDATALOAD 0000040a: SWAP1 0000040b: SWAP2 0000040c: AND 0000040d: SWAP1 0000040e: PUSH1 0x40 00000410: ADD 00000411: CALLDATALOAD 00000412: PUSH2 0x0a2b 00000415: JUMP 00000416: JUMPDEST 00000417: STOP 00000418: JUMPDEST 00000419: CALLVALUE 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: POP 00000426: PUSH2 0x010c 00000429: PUSH1 0x04 0000042b: DUP1 0000042c: CALLDATASIZE 0000042d: SUB 0000042e: PUSH1 0x40 00000430: DUP2 00000431: LT 00000432: ISZERO 00000433: PUSH2 0x043b 00000436: JUMPI 00000437: PUSH1 0x00 00000439: DUP1 0000043a: REVERT 0000043b: JUMPDEST 0000043c: POP 0000043d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000452: DUP2 00000453: CALLDATALOAD 00000454: DUP2 00000455: AND 00000456: SWAP2 00000457: PUSH1 0x20 00000459: ADD 0000045a: CALLDATALOAD 0000045b: AND 0000045c: PUSH2 0x0b9e 0000045f: JUMP 00000460: JUMPDEST 00000461: CALLVALUE 00000462: DUP1 00000463: ISZERO 00000464: PUSH2 0x046c 00000467: JUMPI 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: PUSH2 0x010c 00000471: PUSH1 0x04 00000473: DUP1 00000474: CALLDATASIZE 00000475: SUB 00000476: PUSH1 0x20 00000478: DUP2 00000479: LT 0000047a: ISZERO 0000047b: PUSH2 0x0483 0000047e: JUMPI 0000047f: PUSH1 0x00 00000481: DUP1 00000482: REVERT 00000483: JUMPDEST 00000484: POP 00000485: CALLDATALOAD 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: AND 0000049c: PUSH2 0x0bd5 0000049f: JUMP 000004a0: JUMPDEST 000004a1: CALLVALUE 000004a2: DUP1 000004a3: ISZERO 000004a4: PUSH2 0x04ac 000004a7: JUMPI 000004a8: PUSH1 0x00 000004aa: DUP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: POP 000004ae: PUSH2 0x016e 000004b1: PUSH1 0x04 000004b3: DUP1 000004b4: CALLDATASIZE 000004b5: SUB 000004b6: PUSH1 0x60 000004b8: DUP2 000004b9: LT 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: DUP2 000004c5: ADD 000004c6: SWAP1 000004c7: PUSH1 0x20 000004c9: DUP2 000004ca: ADD 000004cb: DUP2 000004cc: CALLDATALOAD 000004cd: PUSH5 0x0100000000 000004d3: DUP2 000004d4: GT 000004d5: ISZERO 000004d6: PUSH2 0x04de 000004d9: JUMPI 000004da: PUSH1 0x00 000004dc: DUP1 000004dd: REVERT 000004de: JUMPDEST 000004df: DUP3 000004e0: ADD 000004e1: DUP4 000004e2: PUSH1 0x20 000004e4: DUP3 000004e5: ADD 000004e6: GT 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: DUP1 000004f2: CALLDATALOAD 000004f3: SWAP1 000004f4: PUSH1 0x20 000004f6: ADD 000004f7: SWAP2 000004f8: DUP5 000004f9: PUSH1 0x20 000004fb: DUP4 000004fc: MUL 000004fd: DUP5 000004fe: ADD 000004ff: GT 00000500: PUSH5 0x0100000000 00000506: DUP4 00000507: GT 00000508: OR 00000509: ISZERO 0000050a: PUSH2 0x0512 0000050d: JUMPI 0000050e: PUSH1 0x00 00000510: DUP1 00000511: REVERT 00000512: JUMPDEST 00000513: SWAP2 00000514: SWAP4 00000515: SWAP1 00000516: SWAP3 00000517: SWAP1 00000518: SWAP2 00000519: PUSH1 0x20 0000051b: DUP2 0000051c: ADD 0000051d: SWAP1 0000051e: CALLDATALOAD 0000051f: PUSH5 0x0100000000 00000525: DUP2 00000526: GT 00000527: ISZERO 00000528: PUSH2 0x0530 0000052b: JUMPI 0000052c: PUSH1 0x00 0000052e: DUP1 0000052f: REVERT 00000530: JUMPDEST 00000531: DUP3 00000532: ADD 00000533: DUP4 00000534: PUSH1 0x20 00000536: DUP3 00000537: ADD 00000538: GT 00000539: ISZERO 0000053a: PUSH2 0x0542 0000053d: JUMPI 0000053e: PUSH1 0x00 00000540: DUP1 00000541: REVERT 00000542: JUMPDEST 00000543: DUP1 00000544: CALLDATALOAD 00000545: SWAP1 00000546: PUSH1 0x20 00000548: ADD 00000549: SWAP2 0000054a: DUP5 0000054b: PUSH1 0x20 0000054d: DUP4 0000054e: MUL 0000054f: DUP5 00000550: ADD 00000551: GT 00000552: PUSH5 0x0100000000 00000558: DUP4 00000559: GT 0000055a: OR 0000055b: ISZERO 0000055c: PUSH2 0x0564 0000055f: JUMPI 00000560: PUSH1 0x00 00000562: DUP1 00000563: REVERT 00000564: JUMPDEST 00000565: SWAP2 00000566: SWAP4 00000567: POP 00000568: SWAP2 00000569: POP 0000056a: CALLDATALOAD 0000056b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000580: AND 00000581: PUSH2 0x0c0f 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x01 00000588: PUSH1 0x20 0000058a: MSTORE 0000058b: PUSH1 0x00 0000058d: SWAP1 0000058e: DUP2 0000058f: MSTORE 00000590: PUSH1 0x40 00000592: SWAP1 00000593: KECCAK256 00000594: SLOAD 00000595: DUP2 00000596: JUMP 00000597: JUMPDEST 00000598: CALLER 00000599: PUSH1 0x00 0000059b: SWAP1 0000059c: DUP2 0000059d: MSTORE 0000059e: PUSH1 0x20 000005a0: DUP2 000005a1: DUP2 000005a2: MSTORE 000005a3: PUSH1 0x40 000005a5: DUP1 000005a6: DUP4 000005a7: KECCAK256 000005a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bd: DUP8 000005be: AND 000005bf: DUP5 000005c0: MSTORE 000005c1: SWAP1 000005c2: SWAP2 000005c3: MSTORE 000005c4: DUP2 000005c5: KECCAK256 000005c6: SLOAD 000005c7: DUP4 000005c8: DUP2 000005c9: LT 000005ca: ISZERO 000005cb: PUSH2 0x0635 000005ce: JUMPI 000005cf: PUSH1 0x40 000005d1: DUP1 000005d2: MLOAD 000005d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005f4: DUP2 000005f5: MSTORE 000005f6: PUSH1 0x20 000005f8: PUSH1 0x04 000005fa: DUP3 000005fb: ADD 000005fc: MSTORE 000005fd: PUSH1 0x0d 000005ff: PUSH1 0x24 00000601: DUP3 00000602: ADD 00000603: MSTORE 00000604: PUSH32 0x466565436c61696d65723a203200000000000000000000000000000000000000 00000625: PUSH1 0x44 00000627: DUP3 00000628: ADD 00000629: MSTORE 0000062a: SWAP1 0000062b: MLOAD 0000062c: SWAP1 0000062d: DUP2 0000062e: SWAP1 0000062f: SUB 00000630: PUSH1 0x64 00000632: ADD 00000633: SWAP1 00000634: REVERT 00000635: JUMPDEST 00000636: PUSH1 0x00 00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064d: DUP5 0000064e: AND 0000064f: ISZERO 00000650: PUSH2 0x0659 00000653: JUMPI 00000654: DUP4 00000655: PUSH2 0x065b 00000658: JUMP 00000659: JUMPDEST 0000065a: CALLER 0000065b: JUMPDEST 0000065c: SWAP1 0000065d: POP 0000065e: PUSH2 0x0667 00000661: DUP3 00000662: DUP7 00000663: PUSH2 0x0d4f 00000666: JUMP 00000667: JUMPDEST 00000668: CALLER 00000669: PUSH1 0x00 0000066b: SWAP1 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x20 00000670: DUP2 00000671: DUP2 00000672: MSTORE 00000673: PUSH1 0x40 00000675: DUP1 00000676: DUP4 00000677: KECCAK256 00000678: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068d: DUP12 0000068e: AND 0000068f: DUP5 00000690: MSTORE 00000691: DUP3 00000692: MSTORE 00000693: DUP1 00000694: DUP4 00000695: KECCAK256 00000696: SWAP4 00000697: SWAP1 00000698: SWAP4 00000699: SSTORE 0000069a: PUSH1 0x01 0000069c: SWAP1 0000069d: MSTORE 0000069e: KECCAK256 0000069f: SLOAD 000006a0: PUSH2 0x06a9 000006a3: SWAP1 000006a4: DUP7 000006a5: PUSH2 0x0d4f 000006a8: JUMP 000006a9: JUMPDEST 000006aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006bf: DUP8 000006c0: AND 000006c1: PUSH1 0x00 000006c3: SWAP1 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x01 000006c8: PUSH1 0x20 000006ca: MSTORE 000006cb: PUSH1 0x40 000006cd: SWAP1 000006ce: KECCAK256 000006cf: SSTORE 000006d0: PUSH2 0x06da 000006d3: DUP7 000006d4: DUP3 000006d5: DUP8 000006d6: PUSH2 0x0dc6 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH1 0x01 000006dd: SWAP3 000006de: POP 000006df: POP 000006e0: POP 000006e1: JUMPDEST 000006e2: SWAP4 000006e3: SWAP3 000006e4: POP 000006e5: POP 000006e6: POP 000006e7: JUMP 000006e8: JUMPDEST 000006e9: PUSH1 0x00 000006eb: PUSH1 0x20 000006ed: DUP2 000006ee: DUP2 000006ef: MSTORE 000006f0: SWAP3 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x40 000006f5: DUP1 000006f6: DUP3 000006f7: KECCAK256 000006f8: SWAP1 000006f9: SWAP4 000006fa: MSTORE 000006fb: SWAP1 000006fc: DUP2 000006fd: MSTORE 000006fe: KECCAK256 000006ff: SLOAD 00000700: DUP2 00000701: JUMP 00000702: JUMPDEST 00000703: CALLER 00000704: PUSH1 0x00 00000706: SWAP1 00000707: DUP2 00000708: MSTORE 00000709: PUSH1 0x20 0000070b: DUP2 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x40 00000710: DUP1 00000711: DUP4 00000712: KECCAK256 00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000728: DUP7 00000729: AND 0000072a: DUP5 0000072b: MSTORE 0000072c: SWAP1 0000072d: SWAP2 0000072e: MSTORE 0000072f: DUP2 00000730: KECCAK256 00000731: SLOAD 00000732: DUP1 00000733: PUSH2 0x079d 00000736: JUMPI 00000737: PUSH1 0x40 00000739: DUP1 0000073a: MLOAD 0000073b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000075c: DUP2 0000075d: MSTORE 0000075e: PUSH1 0x20 00000760: PUSH1 0x04 00000762: DUP3 00000763: ADD 00000764: MSTORE 00000765: PUSH1 0x0d 00000767: PUSH1 0x24 00000769: DUP3 0000076a: ADD 0000076b: MSTORE 0000076c: PUSH32 0x466565436c61696d65723a203500000000000000000000000000000000000000 0000078d: PUSH1 0x44 0000078f: DUP3 00000790: ADD 00000791: MSTORE 00000792: SWAP1 00000793: MLOAD 00000794: SWAP1 00000795: DUP2 00000796: SWAP1 00000797: SUB 00000798: PUSH1 0x64 0000079a: ADD 0000079b: SWAP1 0000079c: REVERT 0000079d: JUMPDEST 0000079e: PUSH1 0x00 000007a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b5: DUP5 000007b6: AND 000007b7: ISZERO 000007b8: PUSH2 0x07c1 000007bb: JUMPI 000007bc: DUP4 000007bd: PUSH2 0x07c3 000007c0: JUMP 000007c1: JUMPDEST 000007c2: CALLER 000007c3: JUMPDEST 000007c4: CALLER 000007c5: PUSH1 0x00 000007c7: SWAP1 000007c8: DUP2 000007c9: MSTORE 000007ca: PUSH1 0x20 000007cc: DUP2 000007cd: DUP2 000007ce: MSTORE 000007cf: PUSH1 0x40 000007d1: DUP1 000007d2: DUP4 000007d3: KECCAK256 000007d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e9: DUP11 000007ea: AND 000007eb: DUP5 000007ec: MSTORE 000007ed: DUP3 000007ee: MSTORE 000007ef: DUP1 000007f0: DUP4 000007f1: KECCAK256 000007f2: DUP4 000007f3: SWAP1 000007f4: SSTORE 000007f5: PUSH1 0x01 000007f7: SWAP1 000007f8: SWAP2 000007f9: MSTORE 000007fa: SWAP1 000007fb: KECCAK256 000007fc: SLOAD 000007fd: SWAP1 000007fe: SWAP2 000007ff: POP 00000800: PUSH2 0x0809 00000803: SWAP1 00000804: DUP4 00000805: PUSH2 0x0d4f 00000808: JUMP 00000809: JUMPDEST 0000080a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081f: DUP7 00000820: AND 00000821: PUSH1 0x00 00000823: SWAP1 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x01 00000828: PUSH1 0x20 0000082a: MSTORE 0000082b: PUSH1 0x40 0000082d: SWAP1 0000082e: KECCAK256 0000082f: SSTORE 00000830: PUSH2 0x083a 00000833: DUP6 00000834: DUP3 00000835: DUP5 00000836: PUSH2 0x0dc6 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x01 0000083d: SWAP3 0000083e: POP 0000083f: POP 00000840: POP 00000841: JUMPDEST 00000842: SWAP3 00000843: SWAP2 00000844: POP 00000845: POP 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH32 0x000000000000000000000000def171fe48cf0115b1d80b88dc8eab59176fee57 00000869: DUP2 0000086a: JUMP 0000086b: JUMPDEST 0000086c: PUSH1 0x60 0000086e: DUP3 0000086f: DUP1 00000870: PUSH8 0xffffffffffffffff 00000879: DUP2 0000087a: GT 0000087b: DUP1 0000087c: ISZERO 0000087d: PUSH2 0x0885 00000880: JUMPI 00000881: PUSH1 0x00 00000883: DUP1 00000884: REVERT 00000885: JUMPDEST 00000886: POP 00000887: PUSH1 0x40 00000889: MLOAD 0000088a: SWAP1 0000088b: DUP1 0000088c: DUP3 0000088d: MSTORE 0000088e: DUP1 0000088f: PUSH1 0x20 00000891: MUL 00000892: PUSH1 0x20 00000894: ADD 00000895: DUP3 00000896: ADD 00000897: PUSH1 0x40 00000899: MSTORE 0000089a: DUP1 0000089b: ISZERO 0000089c: PUSH2 0x08af 0000089f: JUMPI 000008a0: DUP2 000008a1: PUSH1 0x20 000008a3: ADD 000008a4: PUSH1 0x20 000008a6: DUP3 000008a7: MUL 000008a8: DUP1 000008a9: CALLDATASIZE 000008aa: DUP4 000008ab: CALLDATACOPY 000008ac: ADD 000008ad: SWAP1 000008ae: POP 000008af: JUMPDEST 000008b0: POP 000008b1: SWAP2 000008b2: POP 000008b3: PUSH1 0x00 000008b5: JUMPDEST 000008b6: DUP5 000008b7: DUP2 000008b8: LT 000008b9: ISZERO 000008ba: PUSH2 0x0966 000008bd: JUMPI 000008be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d3: DUP5 000008d4: AND 000008d5: PUSH1 0x00 000008d7: SWAP1 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x20 000008dc: DUP2 000008dd: SWAP1 000008de: MSTORE 000008df: PUSH1 0x40 000008e1: DUP2 000008e2: KECCAK256 000008e3: SWAP1 000008e4: DUP8 000008e5: DUP8 000008e6: DUP5 000008e7: DUP2 000008e8: DUP2 000008e9: LT 000008ea: PUSH2 0x08ef 000008ed: JUMPI 000008ee: INVALID 000008ef: JUMPDEST 000008f0: SWAP1 000008f1: POP 000008f2: PUSH1 0x20 000008f4: MUL 000008f5: ADD 000008f6: CALLDATALOAD 000008f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090c: AND 0000090d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000922: AND 00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000938: AND 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: SWAP1 0000093f: DUP2 00000940: MSTORE 00000941: PUSH1 0x20 00000943: ADD 00000944: PUSH1 0x00 00000946: KECCAK256 00000947: SLOAD 00000948: DUP4 00000949: DUP3 0000094a: DUP2 0000094b: MLOAD 0000094c: DUP2 0000094d: LT 0000094e: PUSH2 0x0953 00000951: JUMPI 00000952: INVALID 00000953: JUMPDEST 00000954: PUSH1 0x20 00000956: SWAP1 00000957: DUP2 00000958: MUL 00000959: SWAP2 0000095a: SWAP1 0000095b: SWAP2 0000095c: ADD 0000095d: ADD 0000095e: MSTORE 0000095f: PUSH1 0x01 00000961: ADD 00000962: PUSH2 0x08b5 00000965: JUMP 00000966: JUMPDEST 00000967: POP 00000968: POP 00000969: SWAP4 0000096a: SWAP3 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH1 0x00 00000972: DUP1 00000973: JUMPDEST 00000974: DUP4 00000975: DUP2 00000976: LT 00000977: ISZERO 00000978: PUSH2 0x0a20 0000097b: JUMPI 0000097c: PUSH2 0x09ad 0000097f: DUP6 00000980: DUP6 00000981: DUP4 00000982: DUP2 00000983: DUP2 00000984: LT 00000985: PUSH2 0x098a 00000988: JUMPI 00000989: INVALID 0000098a: JUMPDEST 0000098b: SWAP1 0000098c: POP 0000098d: PUSH1 0x20 0000098f: MUL 00000990: ADD 00000991: CALLDATALOAD 00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a7: AND 000009a8: DUP5 000009a9: PUSH2 0x0702 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH2 0x0a18 000009b1: JUMPI 000009b2: PUSH1 0x40 000009b4: DUP1 000009b5: MLOAD 000009b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x20 000009db: PUSH1 0x04 000009dd: DUP3 000009de: ADD 000009df: MSTORE 000009e0: PUSH1 0x0d 000009e2: PUSH1 0x24 000009e4: DUP3 000009e5: ADD 000009e6: MSTORE 000009e7: PUSH32 0x466565436c61696d65723a203600000000000000000000000000000000000000 00000a08: PUSH1 0x44 00000a0a: DUP3 00000a0b: ADD 00000a0c: MSTORE 00000a0d: SWAP1 00000a0e: MLOAD 00000a0f: SWAP1 00000a10: DUP2 00000a11: SWAP1 00000a12: SUB 00000a13: PUSH1 0x64 00000a15: ADD 00000a16: SWAP1 00000a17: REVERT 00000a18: JUMPDEST 00000a19: PUSH1 0x01 00000a1b: ADD 00000a1c: PUSH2 0x0973 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: POP 00000a22: PUSH1 0x01 00000a24: SWAP5 00000a25: SWAP4 00000a26: POP 00000a27: POP 00000a28: POP 00000a29: POP 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: CALLER 00000a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a42: PUSH32 0x000000000000000000000000def171fe48cf0115b1d80b88dc8eab59176fee57 00000a63: AND 00000a64: EQ 00000a65: PUSH2 0x0acf 00000a68: JUMPI 00000a69: PUSH1 0x40 00000a6b: DUP1 00000a6c: MLOAD 00000a6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a8e: DUP2 00000a8f: MSTORE 00000a90: PUSH1 0x20 00000a92: PUSH1 0x04 00000a94: DUP3 00000a95: ADD 00000a96: MSTORE 00000a97: PUSH1 0x0d 00000a99: PUSH1 0x24 00000a9b: DUP3 00000a9c: ADD 00000a9d: MSTORE 00000a9e: PUSH32 0x466565436c61696d65723a203100000000000000000000000000000000000000 00000abf: PUSH1 0x44 00000ac1: DUP3 00000ac2: ADD 00000ac3: MSTORE 00000ac4: SWAP1 00000ac5: MLOAD 00000ac6: SWAP1 00000ac7: DUP2 00000ac8: SWAP1 00000ac9: SUB 00000aca: PUSH1 0x64 00000acc: ADD 00000acd: SWAP1 00000ace: REVERT 00000acf: JUMPDEST 00000ad0: PUSH1 0x00 00000ad2: PUSH2 0x0ada 00000ad5: DUP4 00000ad6: PUSH2 0x0bd5 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: SWAP1 00000adc: POP 00000add: DUP1 00000ade: DUP3 00000adf: GT 00000ae0: ISZERO 00000ae1: PUSH2 0x0ae8 00000ae4: JUMPI 00000ae5: DUP1 00000ae6: SWAP2 00000ae7: POP 00000ae8: JUMPDEST 00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afe: DUP4 00000aff: AND 00000b00: PUSH1 0x00 00000b02: SWAP1 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x01 00000b07: PUSH1 0x20 00000b09: MSTORE 00000b0a: PUSH1 0x40 00000b0c: SWAP1 00000b0d: KECCAK256 00000b0e: SLOAD 00000b0f: PUSH2 0x0b18 00000b12: SWAP1 00000b13: DUP4 00000b14: PUSH2 0x0edb 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2e: DUP1 00000b2f: DUP6 00000b30: AND 00000b31: PUSH1 0x00 00000b33: DUP2 00000b34: DUP2 00000b35: MSTORE 00000b36: PUSH1 0x01 00000b38: PUSH1 0x20 00000b3a: SWAP1 00000b3b: DUP2 00000b3c: MSTORE 00000b3d: PUSH1 0x40 00000b3f: DUP1 00000b40: DUP4 00000b41: KECCAK256 00000b42: SWAP6 00000b43: SWAP1 00000b44: SWAP6 00000b45: SSTORE 00000b46: SWAP3 00000b47: DUP9 00000b48: AND 00000b49: DUP2 00000b4a: MSTORE 00000b4b: DUP1 00000b4c: DUP4 00000b4d: MSTORE 00000b4e: DUP4 00000b4f: DUP2 00000b50: KECCAK256 00000b51: SWAP2 00000b52: DUP2 00000b53: MSTORE 00000b54: SWAP2 00000b55: MSTORE 00000b56: KECCAK256 00000b57: SLOAD 00000b58: PUSH2 0x0b61 00000b5b: SWAP1 00000b5c: DUP4 00000b5d: PUSH2 0x0edb 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b77: SWAP5 00000b78: DUP6 00000b79: AND 00000b7a: PUSH1 0x00 00000b7c: SWAP1 00000b7d: DUP2 00000b7e: MSTORE 00000b7f: PUSH1 0x20 00000b81: DUP2 00000b82: DUP2 00000b83: MSTORE 00000b84: PUSH1 0x40 00000b86: DUP1 00000b87: DUP4 00000b88: KECCAK256 00000b89: SWAP7 00000b8a: SWAP1 00000b8b: SWAP8 00000b8c: AND 00000b8d: DUP3 00000b8e: MSTORE 00000b8f: SWAP5 00000b90: SWAP1 00000b91: SWAP5 00000b92: MSTORE 00000b93: SWAP4 00000b94: SWAP1 00000b95: SWAP3 00000b96: KECCAK256 00000b97: SWAP3 00000b98: SWAP1 00000b99: SWAP3 00000b9a: SSTORE 00000b9b: POP 00000b9c: POP 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb4: DUP1 00000bb5: DUP3 00000bb6: AND 00000bb7: PUSH1 0x00 00000bb9: SWAP1 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: DUP2 00000bbf: DUP2 00000bc0: MSTORE 00000bc1: PUSH1 0x40 00000bc3: DUP1 00000bc4: DUP4 00000bc5: KECCAK256 00000bc6: SWAP4 00000bc7: DUP7 00000bc8: AND 00000bc9: DUP4 00000bca: MSTORE 00000bcb: SWAP3 00000bcc: SWAP1 00000bcd: MSTORE 00000bce: KECCAK256 00000bcf: SLOAD 00000bd0: SWAP3 00000bd1: SWAP2 00000bd2: POP 00000bd3: POP 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000beb: DUP2 00000bec: AND 00000bed: PUSH1 0x00 00000bef: SWAP1 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x01 00000bf4: PUSH1 0x20 00000bf6: MSTORE 00000bf7: PUSH1 0x40 00000bf9: DUP2 00000bfa: KECCAK256 00000bfb: SLOAD 00000bfc: PUSH2 0x0841 00000bff: SWAP1 00000c00: PUSH2 0x0c09 00000c03: DUP5 00000c04: ADDRESS 00000c05: PUSH2 0x0f4f 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: SWAP1 00000c0b: PUSH2 0x0d4f 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH1 0x00 00000c12: DUP5 00000c13: DUP4 00000c14: EQ 00000c15: PUSH2 0x0c7f 00000c18: JUMPI 00000c19: PUSH1 0x40 00000c1b: DUP1 00000c1c: MLOAD 00000c1d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c3e: DUP2 00000c3f: MSTORE 00000c40: PUSH1 0x20 00000c42: PUSH1 0x04 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH1 0x0d 00000c49: PUSH1 0x24 00000c4b: DUP3 00000c4c: ADD 00000c4d: MSTORE 00000c4e: PUSH32 0x466565436c61696d65723a203300000000000000000000000000000000000000 00000c6f: PUSH1 0x44 00000c71: DUP3 00000c72: ADD 00000c73: MSTORE 00000c74: SWAP1 00000c75: MLOAD 00000c76: SWAP1 00000c77: DUP2 00000c78: SWAP1 00000c79: SUB 00000c7a: PUSH1 0x64 00000c7c: ADD 00000c7d: SWAP1 00000c7e: REVERT 00000c7f: JUMPDEST 00000c80: PUSH1 0x00 00000c82: JUMPDEST 00000c83: DUP6 00000c84: DUP2 00000c85: LT 00000c86: ISZERO 00000c87: PUSH2 0x0d42 00000c8a: JUMPI 00000c8b: PUSH2 0x0ccf 00000c8e: DUP8 00000c8f: DUP8 00000c90: DUP4 00000c91: DUP2 00000c92: DUP2 00000c93: LT 00000c94: PUSH2 0x0c99 00000c97: JUMPI 00000c98: INVALID 00000c99: JUMPDEST 00000c9a: SWAP1 00000c9b: POP 00000c9c: PUSH1 0x20 00000c9e: MUL 00000c9f: ADD 00000ca0: CALLDATALOAD 00000ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb6: AND 00000cb7: DUP7 00000cb8: DUP7 00000cb9: DUP5 00000cba: DUP2 00000cbb: DUP2 00000cbc: LT 00000cbd: PUSH2 0x0cc2 00000cc0: JUMPI 00000cc1: INVALID 00000cc2: JUMPDEST 00000cc3: SWAP1 00000cc4: POP 00000cc5: PUSH1 0x20 00000cc7: MUL 00000cc8: ADD 00000cc9: CALLDATALOAD 00000cca: DUP6 00000ccb: PUSH2 0x0597 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: PUSH2 0x0d3a 00000cd3: JUMPI 00000cd4: PUSH1 0x40 00000cd6: DUP1 00000cd7: MLOAD 00000cd8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cf9: DUP2 00000cfa: MSTORE 00000cfb: PUSH1 0x20 00000cfd: PUSH1 0x04 00000cff: DUP3 00000d00: ADD 00000d01: MSTORE 00000d02: PUSH1 0x0d 00000d04: PUSH1 0x24 00000d06: DUP3 00000d07: ADD 00000d08: MSTORE 00000d09: PUSH32 0x466565436c61696d65723a203400000000000000000000000000000000000000 00000d2a: PUSH1 0x44 00000d2c: DUP3 00000d2d: ADD 00000d2e: MSTORE 00000d2f: SWAP1 00000d30: MLOAD 00000d31: SWAP1 00000d32: DUP2 00000d33: SWAP1 00000d34: SUB 00000d35: PUSH1 0x64 00000d37: ADD 00000d38: SWAP1 00000d39: REVERT 00000d3a: JUMPDEST 00000d3b: PUSH1 0x01 00000d3d: ADD 00000d3e: PUSH2 0x0c82 00000d41: JUMP 00000d42: JUMPDEST 00000d43: POP 00000d44: PUSH1 0x01 00000d46: SWAP7 00000d47: SWAP6 00000d48: POP 00000d49: POP 00000d4a: POP 00000d4b: POP 00000d4c: POP 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x00 00000d52: DUP3 00000d53: DUP3 00000d54: GT 00000d55: ISZERO 00000d56: PUSH2 0x0dc0 00000d59: JUMPI 00000d5a: PUSH1 0x40 00000d5c: DUP1 00000d5d: MLOAD 00000d5e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d7f: DUP2 00000d80: MSTORE 00000d81: PUSH1 0x20 00000d83: PUSH1 0x04 00000d85: DUP3 00000d86: ADD 00000d87: MSTORE 00000d88: PUSH1 0x1e 00000d8a: PUSH1 0x24 00000d8c: DUP3 00000d8d: ADD 00000d8e: MSTORE 00000d8f: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000db0: PUSH1 0x44 00000db2: DUP3 00000db3: ADD 00000db4: MSTORE 00000db5: SWAP1 00000db6: MLOAD 00000db7: SWAP1 00000db8: DUP2 00000db9: SWAP1 00000dba: SUB 00000dbb: PUSH1 0x64 00000dbd: ADD 00000dbe: SWAP1 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: POP 00000dc2: SWAP1 00000dc3: SUB 00000dc4: SWAP1 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: DUP1 00000dc8: ISZERO 00000dc9: PUSH2 0x0ed6 00000dcc: JUMPI 00000dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de2: DUP4 00000de3: AND 00000de4: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000df9: EQ 00000dfa: ISZERO 00000dfb: PUSH2 0x0eb5 00000dfe: JUMPI 00000dff: PUSH1 0x00 00000e01: DUP3 00000e02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e17: AND 00000e18: DUP3 00000e19: PUSH2 0x2710 00000e1c: SWAP1 00000e1d: PUSH1 0x40 00000e1f: MLOAD 00000e20: PUSH2 0x0e28 00000e23: SWAP1 00000e24: PUSH2 0x1458 00000e27: JUMP 00000e28: JUMPDEST 00000e29: PUSH1 0x00 00000e2b: PUSH1 0x40 00000e2d: MLOAD 00000e2e: DUP1 00000e2f: DUP4 00000e30: SUB 00000e31: DUP2 00000e32: DUP6 00000e33: DUP9 00000e34: DUP9 00000e35: CALL 00000e36: SWAP4 00000e37: POP 00000e38: POP 00000e39: POP 00000e3a: POP 00000e3b: RETURNDATASIZE 00000e3c: DUP1 00000e3d: PUSH1 0x00 00000e3f: DUP2 00000e40: EQ 00000e41: PUSH2 0x0e66 00000e44: JUMPI 00000e45: PUSH1 0x40 00000e47: MLOAD 00000e48: SWAP2 00000e49: POP 00000e4a: PUSH1 0x1f 00000e4c: NOT 00000e4d: PUSH1 0x3f 00000e4f: RETURNDATASIZE 00000e50: ADD 00000e51: AND 00000e52: DUP3 00000e53: ADD 00000e54: PUSH1 0x40 00000e56: MSTORE 00000e57: RETURNDATASIZE 00000e58: DUP3 00000e59: MSTORE 00000e5a: RETURNDATASIZE 00000e5b: PUSH1 0x00 00000e5d: PUSH1 0x20 00000e5f: DUP5 00000e60: ADD 00000e61: RETURNDATACOPY 00000e62: PUSH2 0x0e6b 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH1 0x60 00000e69: SWAP2 00000e6a: POP 00000e6b: JUMPDEST 00000e6c: POP 00000e6d: POP 00000e6e: SWAP1 00000e6f: POP 00000e70: DUP1 00000e71: PUSH2 0x0eaf 00000e74: JUMPI 00000e75: PUSH1 0x40 00000e77: MLOAD 00000e78: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e99: DUP2 00000e9a: MSTORE 00000e9b: PUSH1 0x04 00000e9d: ADD 00000e9e: PUSH2 0x0ea6 00000ea1: SWAP1 00000ea2: PUSH2 0x147c 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: PUSH1 0x40 00000ea9: MLOAD 00000eaa: DUP1 00000eab: SWAP2 00000eac: SUB 00000ead: SWAP1 00000eae: REVERT 00000eaf: JUMPDEST 00000eb0: POP 00000eb1: PUSH2 0x0ed6 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH2 0x0ed6 00000eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ece: DUP5 00000ecf: AND 00000ed0: DUP4 00000ed1: DUP4 00000ed2: PUSH2 0x104a 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: POP 00000ed8: POP 00000ed9: POP 00000eda: JUMP 00000edb: JUMPDEST 00000edc: PUSH1 0x00 00000ede: DUP3 00000edf: DUP3 00000ee0: ADD 00000ee1: DUP4 00000ee2: DUP2 00000ee3: LT 00000ee4: ISZERO 00000ee5: PUSH2 0x06e1 00000ee8: JUMPI 00000ee9: PUSH1 0x40 00000eeb: DUP1 00000eec: MLOAD 00000eed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: PUSH1 0x1b 00000f19: PUSH1 0x24 00000f1b: DUP3 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: SWAP1 00000f45: MLOAD 00000f46: SWAP1 00000f47: DUP2 00000f48: SWAP1 00000f49: SUB 00000f4a: PUSH1 0x64 00000f4c: ADD 00000f4d: SWAP1 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: PUSH1 0x00 00000f52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f67: DUP4 00000f68: AND 00000f69: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000f7e: EQ 00000f7f: ISZERO 00000f80: PUSH2 0x0fa1 00000f83: JUMPI 00000f84: POP 00000f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9a: DUP2 00000f9b: AND 00000f9c: BALANCE 00000f9d: PUSH2 0x0841 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: PUSH1 0x40 00000fa4: MLOAD 00000fa5: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000fc6: DUP2 00000fc7: MSTORE 00000fc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdd: DUP5 00000fde: AND 00000fdf: SWAP1 00000fe0: PUSH4 0x70a08231 00000fe5: SWAP1 00000fe6: PUSH2 0x0ff3 00000fe9: SWAP1 00000fea: DUP6 00000feb: SWAP1 00000fec: PUSH1 0x04 00000fee: ADD 00000fef: PUSH2 0x145b 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: PUSH1 0x20 00000ff6: PUSH1 0x40 00000ff8: MLOAD 00000ff9: DUP1 00000ffa: DUP4 00000ffb: SUB 00000ffc: DUP2 00000ffd: DUP7 00000ffe: DUP1 00000fff: EXTCODESIZE 00001000: ISZERO 00001001: DUP1 00001002: ISZERO 00001003: PUSH2 0x100b 00001006: JUMPI 00001007: PUSH1 0x00 00001009: DUP1 0000100a: REVERT 0000100b: JUMPDEST 0000100c: POP 0000100d: GAS 0000100e: STATICCALL 0000100f: ISZERO 00001010: DUP1 00001011: ISZERO 00001012: PUSH2 0x101f 00001015: JUMPI 00001016: RETURNDATASIZE 00001017: PUSH1 0x00 00001019: DUP1 0000101a: RETURNDATACOPY 0000101b: RETURNDATASIZE 0000101c: PUSH1 0x00 0000101e: REVERT 0000101f: JUMPDEST 00001020: POP 00001021: POP 00001022: POP 00001023: POP 00001024: PUSH1 0x40 00001026: MLOAD 00001027: RETURNDATASIZE 00001028: PUSH1 0x1f 0000102a: NOT 0000102b: PUSH1 0x1f 0000102d: DUP3 0000102e: ADD 0000102f: AND 00001030: DUP3 00001031: ADD 00001032: DUP1 00001033: PUSH1 0x40 00001035: MSTORE 00001036: POP 00001037: DUP2 00001038: ADD 00001039: SWAP1 0000103a: PUSH2 0x1043 0000103d: SWAP2 0000103e: SWAP1 0000103f: PUSH2 0x1440 00001042: JUMP 00001043: JUMPDEST 00001044: SWAP1 00001045: POP 00001046: PUSH2 0x0841 00001049: JUMP 0000104a: JUMPDEST 0000104b: PUSH1 0x40 0000104d: DUP1 0000104e: MLOAD 0000104f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001064: DUP5 00001065: AND 00001066: PUSH1 0x24 00001068: DUP3 00001069: ADD 0000106a: MSTORE 0000106b: PUSH1 0x44 0000106d: DUP1 0000106e: DUP3 0000106f: ADD 00001070: DUP5 00001071: SWAP1 00001072: MSTORE 00001073: DUP3 00001074: MLOAD 00001075: DUP1 00001076: DUP4 00001077: SUB 00001078: SWAP1 00001079: SWAP2 0000107a: ADD 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH1 0x64 0000107f: SWAP1 00001080: SWAP2 00001081: ADD 00001082: SWAP1 00001083: SWAP2 00001084: MSTORE 00001085: PUSH1 0x20 00001087: DUP2 00001088: ADD 00001089: DUP1 0000108a: MLOAD 0000108b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010a8: AND 000010a9: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000010ca: OR 000010cb: SWAP1 000010cc: MSTORE 000010cd: PUSH2 0x0ed6 000010d0: SWAP1 000010d1: DUP5 000010d2: SWAP1 000010d3: PUSH1 0x60 000010d5: PUSH2 0x1134 000010d8: DUP3 000010d9: PUSH1 0x40 000010db: MLOAD 000010dc: DUP1 000010dd: PUSH1 0x40 000010df: ADD 000010e0: PUSH1 0x40 000010e2: MSTORE 000010e3: DUP1 000010e4: PUSH1 0x20 000010e6: DUP2 000010e7: MSTORE 000010e8: PUSH1 0x20 000010ea: ADD 000010eb: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000110c: DUP2 0000110d: MSTORE 0000110e: POP 0000110f: DUP6 00001110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001125: AND 00001126: PUSH2 0x11aa 00001129: SWAP1 0000112a: SWAP3 0000112b: SWAP2 0000112c: SWAP1 0000112d: PUSH4 0xffffffff 00001132: AND 00001133: JUMP 00001134: JUMPDEST 00001135: DUP1 00001136: MLOAD 00001137: SWAP1 00001138: SWAP2 00001139: POP 0000113a: ISZERO 0000113b: PUSH2 0x0ed6 0000113e: JUMPI 0000113f: DUP1 00001140: DUP1 00001141: PUSH1 0x20 00001143: ADD 00001144: SWAP1 00001145: MLOAD 00001146: PUSH1 0x20 00001148: DUP2 00001149: LT 0000114a: ISZERO 0000114b: PUSH2 0x1153 0000114e: JUMPI 0000114f: PUSH1 0x00 00001151: DUP1 00001152: REVERT 00001153: JUMPDEST 00001154: POP 00001155: MLOAD 00001156: PUSH2 0x0ed6 00001159: JUMPI 0000115a: PUSH1 0x40 0000115c: MLOAD 0000115d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000117e: DUP2 0000117f: MSTORE 00001180: PUSH1 0x04 00001182: ADD 00001183: DUP1 00001184: DUP1 00001185: PUSH1 0x20 00001187: ADD 00001188: DUP3 00001189: DUP2 0000118a: SUB 0000118b: DUP3 0000118c: MSTORE 0000118d: PUSH1 0x2a 0000118f: DUP2 00001190: MSTORE 00001191: PUSH1 0x20 00001193: ADD 00001194: DUP1 00001195: PUSH2 0x14da 00001198: PUSH1 0x2a 0000119a: SWAP2 0000119b: CODECOPY 0000119c: PUSH1 0x40 0000119e: ADD 0000119f: SWAP2 000011a0: POP 000011a1: POP 000011a2: PUSH1 0x40 000011a4: MLOAD 000011a5: DUP1 000011a6: SWAP2 000011a7: SUB 000011a8: SWAP1 000011a9: REVERT 000011aa: JUMPDEST 000011ab: PUSH1 0x60 000011ad: PUSH2 0x11b9 000011b0: DUP5 000011b1: DUP5 000011b2: PUSH1 0x00 000011b4: DUP6 000011b5: PUSH2 0x11c1 000011b8: JUMP 000011b9: JUMPDEST 000011ba: SWAP5 000011bb: SWAP4 000011bc: POP 000011bd: POP 000011be: POP 000011bf: POP 000011c0: JUMP 000011c1: JUMPDEST 000011c2: PUSH1 0x60 000011c4: DUP3 000011c5: SELFBALANCE 000011c6: LT 000011c7: ISZERO 000011c8: PUSH2 0x121c 000011cb: JUMPI 000011cc: PUSH1 0x40 000011ce: MLOAD 000011cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x04 000011f4: ADD 000011f5: DUP1 000011f6: DUP1 000011f7: PUSH1 0x20 000011f9: ADD 000011fa: DUP3 000011fb: DUP2 000011fc: SUB 000011fd: DUP3 000011fe: MSTORE 000011ff: PUSH1 0x26 00001201: DUP2 00001202: MSTORE 00001203: PUSH1 0x20 00001205: ADD 00001206: DUP1 00001207: PUSH2 0x14b4 0000120a: PUSH1 0x26 0000120c: SWAP2 0000120d: CODECOPY 0000120e: PUSH1 0x40 00001210: ADD 00001211: SWAP2 00001212: POP 00001213: POP 00001214: PUSH1 0x40 00001216: MLOAD 00001217: DUP1 00001218: SWAP2 00001219: SUB 0000121a: SWAP1 0000121b: REVERT 0000121c: JUMPDEST 0000121d: PUSH2 0x1225 00001220: DUP6 00001221: PUSH2 0x137c 00001224: JUMP 00001225: JUMPDEST 00001226: PUSH2 0x1290 00001229: JUMPI 0000122a: PUSH1 0x40 0000122c: DUP1 0000122d: MLOAD 0000122e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000124f: DUP2 00001250: MSTORE 00001251: PUSH1 0x20 00001253: PUSH1 0x04 00001255: DUP3 00001256: ADD 00001257: MSTORE 00001258: PUSH1 0x1d 0000125a: PUSH1 0x24 0000125c: DUP3 0000125d: ADD 0000125e: MSTORE 0000125f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001280: PUSH1 0x44 00001282: DUP3 00001283: ADD 00001284: MSTORE 00001285: SWAP1 00001286: MLOAD 00001287: SWAP1 00001288: DUP2 00001289: SWAP1 0000128a: SUB 0000128b: PUSH1 0x64 0000128d: ADD 0000128e: SWAP1 0000128f: REVERT 00001290: JUMPDEST 00001291: PUSH1 0x00 00001293: PUSH1 0x60 00001295: DUP7 00001296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ab: AND 000012ac: DUP6 000012ad: DUP8 000012ae: PUSH1 0x40 000012b0: MLOAD 000012b1: DUP1 000012b2: DUP3 000012b3: DUP1 000012b4: MLOAD 000012b5: SWAP1 000012b6: PUSH1 0x20 000012b8: ADD 000012b9: SWAP1 000012ba: DUP1 000012bb: DUP4 000012bc: DUP4 000012bd: JUMPDEST 000012be: PUSH1 0x20 000012c0: DUP4 000012c1: LT 000012c2: PUSH2 0x12fa 000012c5: JUMPI 000012c6: DUP1 000012c7: MLOAD 000012c8: DUP3 000012c9: MSTORE 000012ca: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000012eb: SWAP1 000012ec: SWAP3 000012ed: ADD 000012ee: SWAP2 000012ef: PUSH1 0x20 000012f1: SWAP2 000012f2: DUP3 000012f3: ADD 000012f4: SWAP2 000012f5: ADD 000012f6: PUSH2 0x12bd 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x01 000012fd: DUP4 000012fe: PUSH1 0x20 00001300: SUB 00001301: PUSH2 0x0100 00001304: EXP 00001305: SUB 00001306: DUP1 00001307: NOT 00001308: DUP3 00001309: MLOAD 0000130a: AND 0000130b: DUP2 0000130c: DUP5 0000130d: MLOAD 0000130e: AND 0000130f: DUP1 00001310: DUP3 00001311: OR 00001312: DUP6 00001313: MSTORE 00001314: POP 00001315: POP 00001316: POP 00001317: POP 00001318: POP 00001319: POP 0000131a: SWAP1 0000131b: POP 0000131c: ADD 0000131d: SWAP2 0000131e: POP 0000131f: POP 00001320: PUSH1 0x00 00001322: PUSH1 0x40 00001324: MLOAD 00001325: DUP1 00001326: DUP4 00001327: SUB 00001328: DUP2 00001329: DUP6 0000132a: DUP8 0000132b: GAS 0000132c: CALL 0000132d: SWAP3 0000132e: POP 0000132f: POP 00001330: POP 00001331: RETURNDATASIZE 00001332: DUP1 00001333: PUSH1 0x00 00001335: DUP2 00001336: EQ 00001337: PUSH2 0x135c 0000133a: JUMPI 0000133b: PUSH1 0x40 0000133d: MLOAD 0000133e: SWAP2 0000133f: POP 00001340: PUSH1 0x1f 00001342: NOT 00001343: PUSH1 0x3f 00001345: RETURNDATASIZE 00001346: ADD 00001347: AND 00001348: DUP3 00001349: ADD 0000134a: PUSH1 0x40 0000134c: MSTORE 0000134d: RETURNDATASIZE 0000134e: DUP3 0000134f: MSTORE 00001350: RETURNDATASIZE 00001351: PUSH1 0x00 00001353: PUSH1 0x20 00001355: DUP5 00001356: ADD 00001357: RETURNDATACOPY 00001358: PUSH2 0x1361 0000135b: JUMP 0000135c: JUMPDEST 0000135d: PUSH1 0x60 0000135f: SWAP2 00001360: POP 00001361: JUMPDEST 00001362: POP 00001363: SWAP2 00001364: POP 00001365: SWAP2 00001366: POP 00001367: PUSH2 0x1371 0000136a: DUP3 0000136b: DUP3 0000136c: DUP7 0000136d: PUSH2 0x1382 00001370: JUMP 00001371: JUMPDEST 00001372: SWAP8 00001373: SWAP7 00001374: POP 00001375: POP 00001376: POP 00001377: POP 00001378: POP 00001379: POP 0000137a: POP 0000137b: JUMP 0000137c: JUMPDEST 0000137d: EXTCODESIZE 0000137e: ISZERO 0000137f: ISZERO 00001380: SWAP1 00001381: JUMP 00001382: JUMPDEST 00001383: PUSH1 0x60 00001385: DUP4 00001386: ISZERO 00001387: PUSH2 0x1391 0000138a: JUMPI 0000138b: POP 0000138c: DUP2 0000138d: PUSH2 0x06e1 00001390: JUMP 00001391: JUMPDEST 00001392: DUP3 00001393: MLOAD 00001394: ISZERO 00001395: PUSH2 0x13a1 00001398: JUMPI 00001399: DUP3 0000139a: MLOAD 0000139b: DUP1 0000139c: DUP5 0000139d: PUSH1 0x20 0000139f: ADD 000013a0: REVERT 000013a1: JUMPDEST 000013a2: DUP2 000013a3: PUSH1 0x40 000013a5: MLOAD 000013a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013c7: DUP2 000013c8: MSTORE 000013c9: PUSH1 0x04 000013cb: ADD 000013cc: DUP1 000013cd: DUP1 000013ce: PUSH1 0x20 000013d0: ADD 000013d1: DUP3 000013d2: DUP2 000013d3: SUB 000013d4: DUP3 000013d5: MSTORE 000013d6: DUP4 000013d7: DUP2 000013d8: DUP2 000013d9: MLOAD 000013da: DUP2 000013db: MSTORE 000013dc: PUSH1 0x20 000013de: ADD 000013df: SWAP2 000013e0: POP 000013e1: DUP1 000013e2: MLOAD 000013e3: SWAP1 000013e4: PUSH1 0x20 000013e6: ADD 000013e7: SWAP1 000013e8: DUP1 000013e9: DUP4 000013ea: DUP4 000013eb: PUSH1 0x00 000013ed: JUMPDEST 000013ee: DUP4 000013ef: DUP2 000013f0: LT 000013f1: ISZERO 000013f2: PUSH2 0x1405 000013f5: JUMPI 000013f6: DUP2 000013f7: DUP2 000013f8: ADD 000013f9: MLOAD 000013fa: DUP4 000013fb: DUP3 000013fc: ADD 000013fd: MSTORE 000013fe: PUSH1 0x20 00001400: ADD 00001401: PUSH2 0x13ed 00001404: JUMP 00001405: JUMPDEST 00001406: POP 00001407: POP 00001408: POP 00001409: POP 0000140a: SWAP1 0000140b: POP 0000140c: SWAP1 0000140d: DUP2 0000140e: ADD 0000140f: SWAP1 00001410: PUSH1 0x1f 00001412: AND 00001413: DUP1 00001414: ISZERO 00001415: PUSH2 0x1432 00001418: JUMPI 00001419: DUP1 0000141a: DUP3 0000141b: SUB 0000141c: DUP1 0000141d: MLOAD 0000141e: PUSH1 0x01 00001420: DUP4 00001421: PUSH1 0x20 00001423: SUB 00001424: PUSH2 0x0100 00001427: EXP 00001428: SUB 00001429: NOT 0000142a: AND 0000142b: DUP2 0000142c: MSTORE 0000142d: PUSH1 0x20 0000142f: ADD 00001430: SWAP2 00001431: POP 00001432: JUMPDEST 00001433: POP 00001434: SWAP3 00001435: POP 00001436: POP 00001437: POP 00001438: PUSH1 0x40 0000143a: MLOAD 0000143b: DUP1 0000143c: SWAP2 0000143d: SUB 0000143e: SWAP1 0000143f: REVERT 00001440: JUMPDEST 00001441: PUSH1 0x00 00001443: PUSH1 0x20 00001445: DUP3 00001446: DUP5 00001447: SUB 00001448: SLT 00001449: ISZERO 0000144a: PUSH2 0x1451 0000144d: JUMPI 0000144e: DUP1 0000144f: DUP2 00001450: REVERT 00001451: JUMPDEST 00001452: POP 00001453: MLOAD 00001454: SWAP2 00001455: SWAP1 00001456: POP 00001457: JUMP 00001458: JUMPDEST 00001459: SWAP1 0000145a: JUMP 0000145b: JUMPDEST 0000145c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001471: SWAP2 00001472: SWAP1 00001473: SWAP2 00001474: AND 00001475: DUP2 00001476: MSTORE 00001477: PUSH1 0x20 00001479: ADD 0000147a: SWAP1 0000147b: JUMP 0000147c: JUMPDEST 0000147d: PUSH1 0x20 0000147f: DUP1 00001480: DUP3 00001481: MSTORE 00001482: PUSH1 0x18 00001484: SWAP1 00001485: DUP3 00001486: ADD 00001487: MSTORE 00001488: PUSH32 0x4661696c656420746f207472616e736665722045746865720000000000000000 000014a9: PUSH1 0x40 000014ab: DUP3 000014ac: ADD 000014ad: MSTORE 000014ae: PUSH1 0x60 000014b0: ADD 000014b1: SWAP1 000014b2: JUMP 000014b3: INVALID 000014b4: COINBASE 000014b5: PUSH5 0x6472657373 000014bb: GASPRICE 000014bc: KECCAK256 000014bd: PUSH10 0x6e73756666696369656e 000014c8: PUSH21 0x2062616c616e636520666f722063616c6c53616665 000014de: GASLIMIT 000014df: MSTORE 000014e0: NUMBER 000014e1: ORIGIN 000014e2: ADDRESS 000014e3: GASPRICE 000014e4: KECCAK256 000014e5: GASLIMIT 000014e6: MSTORE 000014e7: NUMBER 000014e8: ORIGIN 000014e9: ADDRESS 000014ea: KECCAK256 000014eb: PUSH16 0x7065726174696f6e20646964206e6f74 000014fc: KECCAK256 000014fd: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd4fac45d",
"selector": "0xd4fac45d",
"calldata_variants": [
"0xd4fac45d",
"0xd4fac45d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf89abe8c",
"selector": "0xf89abe8c",
"calldata_variants": [
"0xf89abe8c",
"0xf89abe8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffcc41ee",
"selector": "0xffcc41ee",
"calldata_variants": [
"0xffcc41ee",
"0xffcc41ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0a65b17",
"selector": "0xb0a65b17",
"calldata_variants": [
"0xb0a65b17",
"0xb0a65b170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbbedcc40",
"selector": "0xbbedcc40",
"calldata_variants": [
"0xbbedcc40",
"0xbbedcc400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1f4354b",
"selector": "0xd1f4354b",
"calldata_variants": [
"0xd1f4354b",
"0xd1f4354b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b9ac2cb",
"selector": "0x9b9ac2cb",
"calldata_variants": [
"0x9b9ac2cb",
"0x9b9ac2cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae11c7f8",
"selector": "0xae11c7f8",
"calldata_variants": [
"0xae11c7f8",
"0xae11c7f80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5345,
"type": "tx_origin_used"
},
{
"pc": 5352,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb917e1e6296b59d6354b6ae9cdfc6376c8c37a101bb3439ac6f45be163c6dc73
call_targets:
0xef13101c5bbd737cfb2bf00bbd38c626ad6952f7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb917e1e6296b59d6354b6ae9cdfc6376c8c37a101bb3439ac6f45be163c6dc73",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xef13101c5bbd737cfb2bf00bbd38c626ad6952f7"
],
"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": "0xd4fac45d",
"selector": "0xd4fac45d",
"calldata_variants": [
"0xd4fac45d",
"0xd4fac45d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf89abe8c",
"selector": "0xf89abe8c",
"calldata_variants": [
"0xf89abe8c",
"0xf89abe8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffcc41ee",
"selector": "0xffcc41ee",
"calldata_variants": [
"0xffcc41ee",
"0xffcc41ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0a65b17",
"selector": "0xb0a65b17",
"calldata_variants": [
"0xb0a65b17",
"0xb0a65b170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbbedcc40",
"selector": "0xbbedcc40",
"calldata_variants": [
"0xbbedcc40",
"0xbbedcc400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1f4354b",
"selector": "0xd1f4354b",
"calldata_variants": [
"0xd1f4354b",
"0xd1f4354b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b9ac2cb",
"selector": "0x9b9ac2cb",
"calldata_variants": [
"0x9b9ac2cb",
"0x9b9ac2cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae11c7f8",
"selector": "0xae11c7f8",
"calldata_variants": [
"0xae11c7f8",
"0xae11c7f80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3637,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4908,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5345,
"type": "tx_origin_used"
},
{
"pc": 5352,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb917e1e6296b59d6354b6ae9cdfc6376c8c37a101bb3439ac6f45be163c6dc73
call_targets:
0xef13101c5bbd737cfb2bf00bbd38c626ad6952f7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb917e1e6296b59d6354b6ae9cdfc6376c8c37a101bb3439ac6f45be163c6dc73",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xef13101c5bbd737cfb2bf00bbd38c626ad6952f7"
],
"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": "0xd4fac45d",
"selector": "0xd4fac45d",
"calldata_variants": [
"0xd4fac45d",
"0xd4fac45d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf89abe8c",
"selector": "0xf89abe8c",
"calldata_variants": [
"0xf89abe8c",
"0xf89abe8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffcc41ee",
"selector": "0xffcc41ee",
"calldata_variants": [
"0xffcc41ee",
"0xffcc41ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0a65b17",
"selector": "0xb0a65b17",
"calldata_variants": [
"0xb0a65b17",
"0xb0a65b170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbbedcc40",
"selector": "0xbbedcc40",
"calldata_variants": [
"0xbbedcc40",
"0xbbedcc400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1f4354b",
"selector": "0xd1f4354b",
"calldata_variants": [
"0xd1f4354b",
"0xd1f4354b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b9ac2cb",
"selector": "0x9b9ac2cb",
"calldata_variants": [
"0x9b9ac2cb",
"0x9b9ac2cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae11c7f8",
"selector": "0xae11c7f8",
"calldata_variants": [
"0xae11c7f8",
"0xae11c7f80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3637,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4908,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5345,
"type": "tx_origin_used"
},
{
"pc": 5352,
"type": "tx_origin_used"
}
]
}
|