019b3844-94f5-70be-9fa0-12715f4ad89c
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 |
|---|---|---|---|---|
| 13283 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13284 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112274 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112275 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112276 | detector.run | complete | 1 / 3 | 1 week ago |
| 112277 | 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 0x0114 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6af04a57 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x983b2d56 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x983b2d56 0000002f: EQ 00000030: PUSH2 0x0361 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9a3b58c9 0000003a: EQ 0000003b: PUSH2 0x0394 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc28de2cd 00000045: EQ 00000046: PUSH2 0x03c7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd0e30db0 00000050: EQ 00000051: PUSH2 0x03dc 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xeb2c0223 0000005b: EQ 0000005c: PUSH2 0x03e4 0000005f: JUMPI 00000060: PUSH2 0x0114 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x6af04a57 0000006b: EQ 0000006c: PUSH2 0x02be 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x7065cb48 00000076: EQ 00000077: PUSH2 0x02ef 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8456cb59 00000081: EQ 00000082: PUSH2 0x0322 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8b2b303c 0000008c: EQ 0000008d: PUSH2 0x0337 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x9618652c 00000097: EQ 00000098: PUSH2 0x034c 0000009b: JUMPI 0000009c: PUSH2 0x0114 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x3bdafc43 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x3bdafc43 000000b2: EQ 000000b3: PUSH2 0x01ed 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x3f4ba83a 000000bd: EQ 000000be: PUSH2 0x0220 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5352a839 000000c8: EQ 000000c9: PUSH2 0x0235 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x5c975abb 000000d3: EQ 000000d4: PUSH2 0x0262 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x5fdc4ec6 000000de: EQ 000000df: PUSH2 0x028b 000000e2: JUMPI 000000e3: PUSH2 0x0114 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x0b4005e3 000000ee: EQ 000000ef: PUSH2 0x0119 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x0f42c61d 000000f9: EQ 000000fa: PUSH2 0x0140 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x1d946cc4 00000104: EQ 00000105: PUSH2 0x0155 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x356282bf 0000010f: EQ 00000110: PUSH2 0x0184 00000113: JUMPI 00000114: JUMPDEST 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: CALLVALUE 0000011b: DUP1 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: POP 00000127: PUSH2 0x012e 0000012a: PUSH2 0x0417 0000012d: JUMP 0000012e: JUMPDEST 0000012f: PUSH1 0x40 00000131: DUP1 00000132: MLOAD 00000133: SWAP2 00000134: DUP3 00000135: MSTORE 00000136: MLOAD 00000137: SWAP1 00000138: DUP2 00000139: SWAP1 0000013a: SUB 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: SWAP1 0000013f: RETURN 00000140: JUMPDEST 00000141: CALLVALUE 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: POP 0000014e: PUSH2 0x012e 00000151: PUSH2 0x04cf 00000154: JUMP 00000155: JUMPDEST 00000156: CALLVALUE 00000157: DUP1 00000158: ISZERO 00000159: PUSH2 0x0161 0000015c: JUMPI 0000015d: PUSH1 0x00 0000015f: DUP1 00000160: REVERT 00000161: JUMPDEST 00000162: POP 00000163: PUSH2 0x0182 00000166: PUSH1 0x04 00000168: DUP1 00000169: CALLDATASIZE 0000016a: SUB 0000016b: PUSH1 0x20 0000016d: DUP2 0000016e: LT 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: CALLDATALOAD 0000017b: PUSH1 0xff 0000017d: AND 0000017e: PUSH2 0x04e2 00000181: JUMP 00000182: JUMPDEST 00000183: STOP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x01d4 00000195: PUSH1 0x04 00000197: DUP1 00000198: CALLDATASIZE 00000199: SUB 0000019a: PUSH1 0xa0 0000019c: DUP2 0000019d: LT 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: POP 000001a9: PUSH1 0x01 000001ab: PUSH1 0x01 000001ad: PUSH1 0xa0 000001af: SHL 000001b0: SUB 000001b1: DUP2 000001b2: CALLDATALOAD 000001b3: AND 000001b4: SWAP1 000001b5: PUSH1 0x20 000001b7: DUP2 000001b8: ADD 000001b9: CALLDATALOAD 000001ba: SWAP1 000001bb: PUSH1 0x40 000001bd: DUP2 000001be: ADD 000001bf: CALLDATALOAD 000001c0: SWAP1 000001c1: PUSH1 0xff 000001c3: PUSH1 0x60 000001c5: DUP3 000001c6: ADD 000001c7: CALLDATALOAD 000001c8: DUP2 000001c9: AND 000001ca: SWAP2 000001cb: PUSH1 0x80 000001cd: ADD 000001ce: CALLDATALOAD 000001cf: AND 000001d0: PUSH2 0x059a 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x40 000001d7: DUP1 000001d8: MLOAD 000001d9: SWAP3 000001da: DUP4 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: DUP4 000001df: ADD 000001e0: SWAP2 000001e1: SWAP1 000001e2: SWAP2 000001e3: MSTORE 000001e4: DUP1 000001e5: MLOAD 000001e6: SWAP2 000001e7: DUP3 000001e8: SWAP1 000001e9: SUB 000001ea: ADD 000001eb: SWAP1 000001ec: RETURN 000001ed: JUMPDEST 000001ee: CALLVALUE 000001ef: DUP1 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: POP 000001fb: PUSH2 0x0182 000001fe: PUSH1 0x04 00000200: DUP1 00000201: CALLDATASIZE 00000202: SUB 00000203: PUSH1 0x20 00000205: DUP2 00000206: LT 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: CALLDATALOAD 00000213: PUSH1 0x01 00000215: PUSH1 0x01 00000217: PUSH1 0xa0 00000219: SHL 0000021a: SUB 0000021b: AND 0000021c: PUSH2 0x07bd 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0182 00000231: PUSH2 0x0882 00000234: JUMP 00000235: JUMPDEST 00000236: CALLVALUE 00000237: DUP1 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH2 0x0182 00000246: PUSH1 0x04 00000248: DUP1 00000249: CALLDATASIZE 0000024a: SUB 0000024b: PUSH1 0x20 0000024d: DUP2 0000024e: LT 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: CALLDATALOAD 0000025b: PUSH1 0xff 0000025d: AND 0000025e: PUSH2 0x08f5 00000261: JUMP 00000262: JUMPDEST 00000263: CALLVALUE 00000264: DUP1 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: PUSH2 0x0277 00000273: PUSH2 0x09b7 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: DUP1 0000027b: MLOAD 0000027c: SWAP2 0000027d: ISZERO 0000027e: ISZERO 0000027f: DUP3 00000280: MSTORE 00000281: MLOAD 00000282: SWAP1 00000283: DUP2 00000284: SWAP1 00000285: SUB 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP1 0000028a: RETURN 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x0182 0000029c: PUSH1 0x04 0000029e: DUP1 0000029f: CALLDATASIZE 000002a0: SUB 000002a1: PUSH1 0x20 000002a3: DUP2 000002a4: LT 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: CALLDATALOAD 000002b1: PUSH1 0x01 000002b3: PUSH1 0x01 000002b5: PUSH1 0xa0 000002b7: SHL 000002b8: SUB 000002b9: AND 000002ba: PUSH2 0x09c0 000002bd: JUMP 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 0x02d3 000002cf: PUSH2 0x0ac6 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: DUP1 000002d7: MLOAD 000002d8: PUSH1 0x01 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: SHL 000002df: SUB 000002e0: SWAP1 000002e1: SWAP3 000002e2: AND 000002e3: DUP3 000002e4: MSTORE 000002e5: MLOAD 000002e6: SWAP1 000002e7: DUP2 000002e8: SWAP1 000002e9: SUB 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP1 000002ee: RETURN 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x0182 00000300: PUSH1 0x04 00000302: DUP1 00000303: CALLDATASIZE 00000304: SUB 00000305: PUSH1 0x20 00000307: DUP2 00000308: LT 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: CALLDATALOAD 00000315: PUSH1 0x01 00000317: PUSH1 0x01 00000319: PUSH1 0xa0 0000031b: SHL 0000031c: SUB 0000031d: AND 0000031e: PUSH2 0x0adb 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x0182 00000333: PUSH2 0x0b20 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x012e 00000348: PUSH2 0x0b82 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x012e 0000035d: PUSH2 0x0c2d 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x0182 00000372: PUSH1 0x04 00000374: DUP1 00000375: CALLDATASIZE 00000376: SUB 00000377: PUSH1 0x20 00000379: DUP2 0000037a: LT 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: CALLDATALOAD 00000387: PUSH1 0x01 00000389: PUSH1 0x01 0000038b: PUSH1 0xa0 0000038d: SHL 0000038e: SUB 0000038f: AND 00000390: PUSH2 0x0c62 00000393: JUMP 00000394: JUMPDEST 00000395: CALLVALUE 00000396: DUP1 00000397: ISZERO 00000398: PUSH2 0x03a0 0000039b: JUMPI 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: REVERT 000003a0: JUMPDEST 000003a1: POP 000003a2: PUSH2 0x0182 000003a5: PUSH1 0x04 000003a7: DUP1 000003a8: CALLDATASIZE 000003a9: SUB 000003aa: PUSH1 0x20 000003ac: DUP2 000003ad: LT 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: CALLDATALOAD 000003ba: PUSH1 0x01 000003bc: PUSH1 0x01 000003be: PUSH1 0xa0 000003c0: SHL 000003c1: SUB 000003c2: AND 000003c3: PUSH2 0x0c9e 000003c6: JUMP 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x0277 000003d8: PUSH2 0x0cda 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x0182 000003e0: PUSH2 0x0ce8 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x0182 000003f5: PUSH1 0x04 000003f7: DUP1 000003f8: CALLDATASIZE 000003f9: SUB 000003fa: PUSH1 0x20 000003fc: DUP2 000003fd: LT 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: POP 00000409: CALLDATALOAD 0000040a: PUSH1 0x01 0000040c: PUSH1 0x01 0000040e: PUSH1 0xa0 00000410: SHL 00000411: SUB 00000412: AND 00000413: PUSH2 0x0d92 00000416: JUMP 00000417: JUMPDEST 00000418: CALLER 00000419: PUSH1 0x00 0000041b: SWAP1 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x05 00000420: PUSH1 0x20 00000422: MSTORE 00000423: PUSH1 0x40 00000425: DUP2 00000426: KECCAK256 00000427: SLOAD 00000428: DUP1 00000429: ISZERO 0000042a: DUP1 0000042b: ISZERO 0000042c: SWAP1 0000042d: PUSH2 0x0436 00000430: JUMPI 00000431: POP 00000432: DUP1 00000433: SELFBALANCE 00000434: LT 00000435: ISZERO 00000436: JUMPDEST 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: CALLER 00000441: PUSH1 0x00 00000443: SWAP1 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x05 00000448: PUSH1 0x20 0000044a: MSTORE 0000044b: PUSH1 0x40 0000044d: DUP2 0000044e: KECCAK256 0000044f: SSTORE 00000450: PUSH1 0x06 00000452: SLOAD 00000453: PUSH2 0x0462 00000456: SWAP1 00000457: DUP3 00000458: PUSH4 0xffffffff 0000045d: PUSH2 0x0e4c 00000460: AND 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x06 00000465: SSTORE 00000466: PUSH1 0x40 00000468: MLOAD 00000469: CALLER 0000046a: SWAP1 0000046b: DUP3 0000046c: ISZERO 0000046d: PUSH2 0x08fc 00000470: MUL 00000471: SWAP1 00000472: DUP4 00000473: SWAP1 00000474: PUSH1 0x00 00000476: DUP2 00000477: DUP2 00000478: DUP2 00000479: DUP6 0000047a: DUP9 0000047b: DUP9 0000047c: CALL 0000047d: SWAP4 0000047e: POP 0000047f: POP 00000480: POP 00000481: POP 00000482: ISZERO 00000483: DUP1 00000484: ISZERO 00000485: PUSH2 0x0492 00000488: JUMPI 00000489: RETURNDATASIZE 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: RETURNDATACOPY 0000048e: RETURNDATASIZE 0000048f: PUSH1 0x00 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: PUSH1 0x40 00000496: DUP1 00000497: MLOAD 00000498: PUSH1 0x00 0000049a: DUP2 0000049b: MSTORE 0000049c: SWAP1 0000049d: MLOAD 0000049e: CALLER 0000049f: SWAP2 000004a0: PUSH32 0xe5c9ed746c9a90be28ec0ba6f0fc363540492f749c0c97464501aa92c4d112d6 000004c1: SWAP2 000004c2: SWAP1 000004c3: DUP2 000004c4: SWAP1 000004c5: SUB 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: SWAP1 000004ca: LOG2 000004cb: SWAP1 000004cc: POP 000004cd: SWAP1 000004ce: JUMP 000004cf: JUMPDEST 000004d0: CALLER 000004d1: PUSH1 0x00 000004d3: SWAP1 000004d4: DUP2 000004d5: MSTORE 000004d6: PUSH1 0x05 000004d8: PUSH1 0x20 000004da: MSTORE 000004db: PUSH1 0x40 000004dd: SWAP1 000004de: KECCAK256 000004df: SLOAD 000004e0: SWAP1 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH2 0x04f3 000004e6: PUSH1 0x00 000004e8: CALLER 000004e9: PUSH4 0xffffffff 000004ee: PUSH2 0x0e95 000004f1: AND 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH2 0x04fc 000004f7: JUMPI 000004f8: PUSH1 0x00 000004fa: DUP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: PUSH1 0x03 000004ff: SLOAD 00000500: PUSH1 0xff 00000502: AND 00000503: PUSH2 0x050b 00000506: JUMPI 00000507: PUSH1 0x00 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: PUSH1 0x03 0000050e: SLOAD 0000050f: PUSH2 0x0100 00000512: SWAP1 00000513: DIV 00000514: PUSH1 0xff 00000516: AND 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: PUSH1 0x04 00000523: DUP1 00000524: SLOAD 00000525: DUP3 00000526: SWAP2 00000527: SWAP1 00000528: PUSH1 0xff 0000052a: PUSH1 0xa8 0000052c: SHL 0000052d: NOT 0000052e: AND 0000052f: PUSH1 0x01 00000531: PUSH1 0xa8 00000533: SHL 00000534: DUP4 00000535: PUSH1 0x05 00000537: DUP2 00000538: GT 00000539: ISZERO 0000053a: PUSH2 0x053f 0000053d: JUMPI 0000053e: INVALID 0000053f: JUMPDEST 00000540: MUL 00000541: OR 00000542: SWAP1 00000543: SSTORE 00000544: POP 00000545: PUSH1 0x04 00000547: SLOAD 00000548: PUSH1 0x40 0000054a: MLOAD 0000054b: PUSH32 0x9e37d6841345f8e4b31d3f2191820df11948b07a3f62df09880a47dc37336531 0000056c: SWAP2 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa8 00000571: SHL 00000572: SWAP1 00000573: DIV 00000574: PUSH1 0xff 00000576: AND 00000577: SWAP1 00000578: DUP1 00000579: DUP3 0000057a: PUSH1 0x05 0000057c: DUP2 0000057d: GT 0000057e: ISZERO 0000057f: PUSH2 0x0584 00000582: JUMPI 00000583: INVALID 00000584: JUMPDEST 00000585: PUSH1 0xff 00000587: AND 00000588: DUP2 00000589: MSTORE 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP2 0000058e: POP 0000058f: POP 00000590: PUSH1 0x40 00000592: MLOAD 00000593: DUP1 00000594: SWAP2 00000595: SUB 00000596: SWAP1 00000597: LOG1 00000598: POP 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: PUSH2 0x05ae 000005a1: PUSH1 0x01 000005a3: CALLER 000005a4: PUSH4 0xffffffff 000005a9: PUSH2 0x0e95 000005ac: AND 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: PUSH1 0x03 000005ba: SLOAD 000005bb: PUSH1 0xff 000005bd: AND 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: PUSH1 0x01 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: SHL 000005cf: SUB 000005d0: DUP8 000005d1: AND 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: PUSH1 0x01 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: SHL 000005e2: SUB 000005e3: DUP8 000005e4: AND 000005e5: PUSH1 0x00 000005e7: SWAP1 000005e8: DUP2 000005e9: MSTORE 000005ea: PUSH1 0x05 000005ec: PUSH1 0x20 000005ee: MSTORE 000005ef: PUSH1 0x40 000005f1: SWAP1 000005f2: KECCAK256 000005f3: SLOAD 000005f4: DUP7 000005f5: GT 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: PUSH1 0x00 00000602: DUP5 00000603: PUSH1 0x02 00000605: DUP2 00000606: GT 00000607: ISZERO 00000608: PUSH2 0x060d 0000060b: JUMPI 0000060c: INVALID 0000060d: JUMPDEST 0000060e: GT 0000060f: PUSH2 0x0617 00000612: JUMPI 00000613: PUSH1 0x00 00000615: DUP1 00000616: REVERT 00000617: JUMPDEST 00000618: PUSH1 0x01 0000061a: PUSH1 0x01 0000061c: PUSH1 0xa0 0000061e: SHL 0000061f: SUB 00000620: DUP8 00000621: AND 00000622: PUSH1 0x00 00000624: SWAP1 00000625: DUP2 00000626: MSTORE 00000627: PUSH1 0x05 00000629: PUSH1 0x20 0000062b: MSTORE 0000062c: PUSH1 0x40 0000062e: SWAP1 0000062f: KECCAK256 00000630: SLOAD 00000631: PUSH2 0x0640 00000634: SWAP1 00000635: DUP8 00000636: PUSH4 0xffffffff 0000063b: PUSH2 0x0e4c 0000063e: AND 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x01 00000643: PUSH1 0x01 00000645: PUSH1 0xa0 00000647: SHL 00000648: SUB 00000649: DUP9 0000064a: AND 0000064b: PUSH1 0x00 0000064d: SWAP1 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH1 0x05 00000652: PUSH1 0x20 00000654: MSTORE 00000655: PUSH1 0x40 00000657: SWAP1 00000658: KECCAK256 00000659: SSTORE 0000065a: PUSH1 0x06 0000065c: SLOAD 0000065d: PUSH2 0x066c 00000660: SWAP1 00000661: DUP8 00000662: PUSH4 0xffffffff 00000667: PUSH2 0x0e4c 0000066a: AND 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH1 0x06 0000066f: SSTORE 00000670: PUSH1 0x04 00000672: DUP1 00000673: SLOAD 00000674: PUSH1 0x40 00000676: MLOAD 00000677: PUSH4 0x64625405 0000067c: PUSH1 0xe1 0000067e: SHL 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x01 00000683: PUSH1 0x01 00000685: PUSH1 0xa0 00000687: SHL 00000688: SUB 00000689: DUP11 0000068a: DUP2 0000068b: AND 0000068c: DUP3 0000068d: DUP6 0000068e: ADD 0000068f: SWAP1 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x24 00000694: DUP4 00000695: ADD 00000696: DUP11 00000697: SWAP1 00000698: MSTORE 00000699: SWAP1 0000069a: DUP4 0000069b: AND 0000069c: SWAP4 0000069d: PUSH4 0xc8c4a80a 000006a2: SWAP4 000006a3: DUP13 000006a4: SWAP4 000006a5: DUP12 000006a6: SWAP4 000006a7: PUSH1 0xff 000006a9: PUSH1 0x01 000006ab: PUSH1 0xa0 000006ad: SHL 000006ae: DUP5 000006af: DIV 000006b0: DUP2 000006b1: AND 000006b2: SWAP5 000006b3: PUSH1 0x01 000006b5: PUSH1 0xa8 000006b7: SHL 000006b8: SWAP1 000006b9: SWAP5 000006ba: DIV 000006bb: AND 000006bc: SWAP3 000006bd: DUP13 000006be: SWAP3 000006bf: DUP13 000006c0: SWAP3 000006c1: SWAP2 000006c2: PUSH1 0x44 000006c4: SWAP1 000006c5: SWAP2 000006c6: ADD 000006c7: SWAP1 000006c8: DUP7 000006c9: SWAP1 000006ca: DUP2 000006cb: GT 000006cc: ISZERO 000006cd: PUSH2 0x06d2 000006d0: JUMPI 000006d1: INVALID 000006d2: JUMPDEST 000006d3: PUSH1 0xff 000006d5: AND 000006d6: DUP2 000006d7: MSTORE 000006d8: PUSH1 0x20 000006da: ADD 000006db: DUP5 000006dc: PUSH1 0x05 000006de: DUP2 000006df: GT 000006e0: ISZERO 000006e1: PUSH2 0x06e6 000006e4: JUMPI 000006e5: INVALID 000006e6: JUMPDEST 000006e7: PUSH1 0xff 000006e9: AND 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: ADD 000006ef: DUP4 000006f0: PUSH1 0x02 000006f2: DUP2 000006f3: GT 000006f4: ISZERO 000006f5: PUSH2 0x06fa 000006f8: JUMPI 000006f9: INVALID 000006fa: JUMPDEST 000006fb: PUSH1 0xff 000006fd: AND 000006fe: DUP2 000006ff: MSTORE 00000700: PUSH1 0x20 00000702: ADD 00000703: DUP3 00000704: PUSH1 0xff 00000706: AND 00000707: PUSH1 0xff 00000709: AND 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: ADD 0000070f: SWAP7 00000710: POP 00000711: POP 00000712: POP 00000713: POP 00000714: POP 00000715: POP 00000716: POP 00000717: PUSH1 0x40 00000719: DUP1 0000071a: MLOAD 0000071b: DUP1 0000071c: DUP4 0000071d: SUB 0000071e: DUP2 0000071f: PUSH1 0x00 00000721: DUP8 00000722: DUP1 00000723: EXTCODESIZE 00000724: ISZERO 00000725: DUP1 00000726: ISZERO 00000727: PUSH2 0x072f 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: REVERT 0000072f: JUMPDEST 00000730: POP 00000731: GAS 00000732: CALL 00000733: ISZERO 00000734: DUP1 00000735: ISZERO 00000736: PUSH2 0x0743 00000739: JUMPI 0000073a: RETURNDATASIZE 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: RETURNDATACOPY 0000073f: RETURNDATASIZE 00000740: PUSH1 0x00 00000742: REVERT 00000743: JUMPDEST 00000744: POP 00000745: POP 00000746: POP 00000747: POP 00000748: PUSH1 0x40 0000074a: MLOAD 0000074b: RETURNDATASIZE 0000074c: PUSH1 0x40 0000074e: DUP2 0000074f: LT 00000750: ISZERO 00000751: PUSH2 0x0759 00000754: JUMPI 00000755: PUSH1 0x00 00000757: DUP1 00000758: REVERT 00000759: JUMPDEST 0000075a: POP 0000075b: DUP1 0000075c: MLOAD 0000075d: PUSH1 0x20 0000075f: SWAP2 00000760: DUP3 00000761: ADD 00000762: MLOAD 00000763: PUSH1 0x01 00000765: PUSH1 0x01 00000767: PUSH1 0xa0 00000769: SHL 0000076a: SUB 0000076b: DUP11 0000076c: AND 0000076d: PUSH1 0x00 0000076f: DUP2 00000770: DUP2 00000771: MSTORE 00000772: PUSH1 0x05 00000774: DUP6 00000775: MSTORE 00000776: PUSH1 0x40 00000778: SWAP1 00000779: DUP2 0000077a: SWAP1 0000077b: KECCAK256 0000077c: SLOAD 0000077d: DUP2 0000077e: MLOAD 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: SWAP1 00000783: MLOAD 00000784: SWAP4 00000785: SWAP7 00000786: POP 00000787: SWAP2 00000788: SWAP5 00000789: POP 0000078a: SWAP3 0000078b: PUSH32 0xe5c9ed746c9a90be28ec0ba6f0fc363540492f749c0c97464501aa92c4d112d6 000007ac: SWAP3 000007ad: SWAP2 000007ae: DUP3 000007af: SWAP1 000007b0: SUB 000007b1: ADD 000007b2: SWAP1 000007b3: LOG2 000007b4: SWAP6 000007b5: POP 000007b6: SWAP6 000007b7: SWAP4 000007b8: POP 000007b9: POP 000007ba: POP 000007bb: POP 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH2 0x07ce 000007c1: PUSH1 0x02 000007c3: CALLER 000007c4: PUSH4 0xffffffff 000007c9: PUSH2 0x0e95 000007cc: AND 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x07d7 000007d2: JUMPI 000007d3: PUSH1 0x00 000007d5: DUP1 000007d6: REVERT 000007d7: JUMPDEST 000007d8: CALLER 000007d9: PUSH1 0x01 000007db: PUSH1 0x01 000007dd: PUSH1 0xa0 000007df: SHL 000007e0: SUB 000007e1: DUP3 000007e2: AND 000007e3: EQ 000007e4: ISZERO 000007e5: PUSH2 0x07ed 000007e8: JUMPI 000007e9: PUSH1 0x00 000007eb: DUP1 000007ec: REVERT 000007ed: JUMPDEST 000007ee: PUSH1 0x00 000007f0: PUSH2 0x07ff 000007f3: DUP2 000007f4: DUP4 000007f5: PUSH4 0xffffffff 000007fa: PUSH2 0x0e95 000007fd: AND 000007fe: JUMP 000007ff: JUMPDEST 00000800: ISZERO 00000801: PUSH2 0x0819 00000804: JUMPI 00000805: PUSH2 0x0815 00000808: PUSH1 0x00 0000080a: DUP4 0000080b: PUSH4 0xffffffff 00000810: PUSH2 0x0efc 00000813: AND 00000814: JUMP 00000815: JUMPDEST 00000816: POP 00000817: PUSH1 0x01 00000819: JUMPDEST 0000081a: PUSH2 0x082a 0000081d: PUSH1 0x01 0000081f: DUP4 00000820: PUSH4 0xffffffff 00000825: PUSH2 0x0e95 00000828: AND 00000829: JUMP 0000082a: JUMPDEST 0000082b: ISZERO 0000082c: PUSH2 0x0844 0000082f: JUMPI 00000830: PUSH2 0x0840 00000833: PUSH1 0x01 00000835: DUP4 00000836: PUSH4 0xffffffff 0000083b: PUSH2 0x0efc 0000083e: AND 0000083f: JUMP 00000840: JUMPDEST 00000841: POP 00000842: PUSH1 0x01 00000844: JUMPDEST 00000845: PUSH2 0x0855 00000848: PUSH1 0x02 0000084a: DUP4 0000084b: PUSH4 0xffffffff 00000850: PUSH2 0x0e95 00000853: AND 00000854: JUMP 00000855: JUMPDEST 00000856: ISZERO 00000857: PUSH2 0x086f 0000085a: JUMPI 0000085b: PUSH2 0x086b 0000085e: PUSH1 0x02 00000860: DUP4 00000861: PUSH4 0xffffffff 00000866: PUSH2 0x0efc 00000869: AND 0000086a: JUMP 0000086b: JUMPDEST 0000086c: POP 0000086d: PUSH1 0x01 0000086f: JUMPDEST 00000870: PUSH1 0x01 00000872: DUP2 00000873: ISZERO 00000874: ISZERO 00000875: EQ 00000876: PUSH2 0x087e 00000879: JUMPI 0000087a: PUSH1 0x00 0000087c: DUP1 0000087d: REVERT 0000087e: JUMPDEST 0000087f: POP 00000880: POP 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH2 0x0893 00000886: PUSH1 0x00 00000888: CALLER 00000889: PUSH4 0xffffffff 0000088e: PUSH2 0x0e95 00000891: AND 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH2 0x089c 00000897: JUMPI 00000898: PUSH1 0x00 0000089a: DUP1 0000089b: REVERT 0000089c: JUMPDEST 0000089d: PUSH1 0x03 0000089f: SLOAD 000008a0: PUSH1 0xff 000008a2: AND 000008a3: PUSH2 0x08ab 000008a6: JUMPI 000008a7: PUSH1 0x00 000008a9: DUP1 000008aa: REVERT 000008ab: JUMPDEST 000008ac: PUSH1 0x03 000008ae: SLOAD 000008af: PUSH2 0x0100 000008b2: SWAP1 000008b3: DIV 000008b4: PUSH1 0xff 000008b6: AND 000008b7: ISZERO 000008b8: PUSH2 0x08c0 000008bb: JUMPI 000008bc: PUSH1 0x00 000008be: DUP1 000008bf: REVERT 000008c0: JUMPDEST 000008c1: PUSH1 0x03 000008c3: DUP1 000008c4: SLOAD 000008c5: PUSH1 0xff 000008c7: NOT 000008c8: AND 000008c9: SWAP1 000008ca: SSTORE 000008cb: PUSH1 0x40 000008cd: MLOAD 000008ce: PUSH32 0x0e5e3b3fb504c22cf5c42fa07d521225937514c654007e1f12646f89768d6f94 000008ef: SWAP1 000008f0: PUSH1 0x00 000008f2: SWAP1 000008f3: LOG1 000008f4: JUMP 000008f5: JUMPDEST 000008f6: PUSH2 0x0906 000008f9: PUSH1 0x00 000008fb: CALLER 000008fc: PUSH4 0xffffffff 00000901: PUSH2 0x0e95 00000904: AND 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH2 0x090f 0000090a: JUMPI 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: PUSH1 0x03 00000912: SLOAD 00000913: PUSH1 0xff 00000915: AND 00000916: PUSH2 0x091e 00000919: JUMPI 0000091a: PUSH1 0x00 0000091c: DUP1 0000091d: REVERT 0000091e: JUMPDEST 0000091f: PUSH1 0x03 00000921: SLOAD 00000922: PUSH2 0x0100 00000925: SWAP1 00000926: DIV 00000927: PUSH1 0xff 00000929: AND 0000092a: ISZERO 0000092b: PUSH2 0x0933 0000092e: JUMPI 0000092f: PUSH1 0x00 00000931: DUP1 00000932: REVERT 00000933: JUMPDEST 00000934: PUSH1 0x04 00000936: DUP1 00000937: SLOAD 00000938: DUP3 00000939: SWAP2 0000093a: SWAP1 0000093b: PUSH1 0xff 0000093d: PUSH1 0xa0 0000093f: SHL 00000940: NOT 00000941: AND 00000942: PUSH1 0x01 00000944: PUSH1 0xa0 00000946: SHL 00000947: DUP4 00000948: DUP4 00000949: DUP2 0000094a: GT 0000094b: ISZERO 0000094c: PUSH2 0x0951 0000094f: JUMPI 00000950: INVALID 00000951: JUMPDEST 00000952: MUL 00000953: OR 00000954: SWAP1 00000955: SSTORE 00000956: POP 00000957: PUSH32 0xf6f89c5740b3ef3333a4c100b6af26b85330a53841d797e6b6fb3d7e014fa639 00000978: PUSH1 0x04 0000097a: PUSH1 0x14 0000097c: SWAP1 0000097d: SLOAD 0000097e: SWAP1 0000097f: PUSH2 0x0100 00000982: EXP 00000983: SWAP1 00000984: DIV 00000985: PUSH1 0xff 00000987: AND 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: DUP1 0000098c: DUP3 0000098d: PUSH1 0x04 0000098f: DUP2 00000990: GT 00000991: ISZERO 00000992: PUSH2 0x0997 00000995: JUMPI 00000996: INVALID 00000997: JUMPDEST 00000998: PUSH1 0xff 0000099a: AND 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x20 0000099f: ADD 000009a0: SWAP2 000009a1: POP 000009a2: POP 000009a3: PUSH1 0x40 000009a5: MLOAD 000009a6: DUP1 000009a7: SWAP2 000009a8: SUB 000009a9: SWAP1 000009aa: LOG1 000009ab: PUSH2 0x09b4 000009ae: PUSH1 0x01 000009b0: PUSH2 0x04e2 000009b3: JUMP 000009b4: JUMPDEST 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x03 000009ba: SLOAD 000009bb: PUSH1 0xff 000009bd: AND 000009be: DUP2 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x09d1 000009c4: PUSH1 0x00 000009c6: CALLER 000009c7: PUSH4 0xffffffff 000009cc: PUSH2 0x0e95 000009cf: AND 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH2 0x09da 000009d5: JUMPI 000009d6: PUSH1 0x00 000009d8: DUP1 000009d9: REVERT 000009da: JUMPDEST 000009db: PUSH1 0x03 000009dd: SLOAD 000009de: PUSH1 0xff 000009e0: AND 000009e1: PUSH2 0x09e9 000009e4: JUMPI 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: REVERT 000009e9: JUMPDEST 000009ea: PUSH1 0x03 000009ec: SLOAD 000009ed: PUSH2 0x0100 000009f0: SWAP1 000009f1: DIV 000009f2: PUSH1 0xff 000009f4: AND 000009f5: ISZERO 000009f6: PUSH2 0x09fe 000009f9: JUMPI 000009fa: PUSH1 0x00 000009fc: DUP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: PUSH1 0x00 00000a01: DUP2 00000a02: SWAP1 00000a03: POP 00000a04: DUP1 00000a05: PUSH1 0x01 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: SHL 00000a0c: SUB 00000a0d: AND 00000a0e: PUSH4 0x950699fe 00000a13: PUSH1 0x40 00000a15: MLOAD 00000a16: DUP2 00000a17: PUSH4 0xffffffff 00000a1c: AND 00000a1d: PUSH1 0xe0 00000a1f: SHL 00000a20: DUP2 00000a21: MSTORE 00000a22: PUSH1 0x04 00000a24: ADD 00000a25: PUSH1 0x20 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: DUP1 00000a2b: DUP4 00000a2c: SUB 00000a2d: DUP2 00000a2e: DUP7 00000a2f: DUP1 00000a30: EXTCODESIZE 00000a31: ISZERO 00000a32: DUP1 00000a33: ISZERO 00000a34: PUSH2 0x0a3c 00000a37: JUMPI 00000a38: PUSH1 0x00 00000a3a: DUP1 00000a3b: REVERT 00000a3c: JUMPDEST 00000a3d: POP 00000a3e: GAS 00000a3f: STATICCALL 00000a40: ISZERO 00000a41: DUP1 00000a42: ISZERO 00000a43: PUSH2 0x0a50 00000a46: JUMPI 00000a47: RETURNDATASIZE 00000a48: PUSH1 0x00 00000a4a: DUP1 00000a4b: RETURNDATACOPY 00000a4c: RETURNDATASIZE 00000a4d: PUSH1 0x00 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: POP 00000a52: POP 00000a53: POP 00000a54: POP 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: RETURNDATASIZE 00000a59: PUSH1 0x20 00000a5b: DUP2 00000a5c: LT 00000a5d: ISZERO 00000a5e: PUSH2 0x0a66 00000a61: JUMPI 00000a62: PUSH1 0x00 00000a64: DUP1 00000a65: REVERT 00000a66: JUMPDEST 00000a67: POP 00000a68: MLOAD 00000a69: PUSH2 0x0a71 00000a6c: JUMPI 00000a6d: PUSH1 0x00 00000a6f: DUP1 00000a70: REVERT 00000a71: JUMPDEST 00000a72: PUSH1 0x04 00000a74: DUP1 00000a75: SLOAD 00000a76: PUSH1 0x01 00000a78: PUSH1 0x01 00000a7a: PUSH1 0xa0 00000a7c: SHL 00000a7d: SUB 00000a7e: DUP5 00000a7f: AND 00000a80: PUSH1 0x01 00000a82: PUSH1 0x01 00000a84: PUSH1 0xa0 00000a86: SHL 00000a87: SUB 00000a88: NOT 00000a89: SWAP1 00000a8a: SWAP2 00000a8b: AND 00000a8c: DUP2 00000a8d: OR 00000a8e: SWAP1 00000a8f: SWAP2 00000a90: SSTORE 00000a91: PUSH1 0x40 00000a93: DUP1 00000a94: MLOAD 00000a95: SWAP2 00000a96: DUP3 00000a97: MSTORE 00000a98: MLOAD 00000a99: PUSH32 0x703bc78725b2f16bafbf6232f3d5d610f25096a4a6b759fdbb5a46252d12108f 00000aba: SWAP2 00000abb: DUP2 00000abc: SWAP1 00000abd: SUB 00000abe: PUSH1 0x20 00000ac0: ADD 00000ac1: SWAP1 00000ac2: LOG1 00000ac3: POP 00000ac4: POP 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x03 00000ac9: SLOAD 00000aca: PUSH3 0x010000 00000ace: SWAP1 00000acf: DIV 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0xa0 00000ad6: SHL 00000ad7: SUB 00000ad8: AND 00000ad9: DUP2 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH2 0x0aec 00000adf: PUSH1 0x00 00000ae1: CALLER 00000ae2: PUSH4 0xffffffff 00000ae7: PUSH2 0x0e95 00000aea: AND 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH2 0x0af5 00000af0: JUMPI 00000af1: PUSH1 0x00 00000af3: DUP1 00000af4: REVERT 00000af5: JUMPDEST 00000af6: PUSH2 0x0b06 00000af9: PUSH1 0x02 00000afb: DUP3 00000afc: PUSH4 0xffffffff 00000b01: PUSH2 0x0f63 00000b04: AND 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH2 0x0b17 00000b0a: PUSH1 0x02 00000b0c: DUP3 00000b0d: PUSH4 0xffffffff 00000b12: PUSH2 0x0e95 00000b15: AND 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH2 0x09b4 00000b1b: JUMPI 00000b1c: PUSH1 0x00 00000b1e: DUP1 00000b1f: REVERT 00000b20: JUMPDEST 00000b21: PUSH2 0x0b31 00000b24: PUSH1 0x00 00000b26: CALLER 00000b27: PUSH4 0xffffffff 00000b2c: PUSH2 0x0e95 00000b2f: AND 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH2 0x0b3a 00000b35: JUMPI 00000b36: PUSH1 0x00 00000b38: DUP1 00000b39: REVERT 00000b3a: JUMPDEST 00000b3b: PUSH1 0x03 00000b3d: SLOAD 00000b3e: PUSH1 0xff 00000b40: AND 00000b41: ISZERO 00000b42: PUSH2 0x0b4a 00000b45: JUMPI 00000b46: PUSH1 0x00 00000b48: DUP1 00000b49: REVERT 00000b4a: JUMPDEST 00000b4b: PUSH1 0x03 00000b4d: DUP1 00000b4e: SLOAD 00000b4f: PUSH1 0xff 00000b51: NOT 00000b52: AND 00000b53: PUSH1 0x01 00000b55: OR 00000b56: SWAP1 00000b57: SSTORE 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: PUSH32 0xab35696f06e428ebc5ceba8cd17f8fed287baf43440206d1943af1ee53e6d267 00000b7c: SWAP1 00000b7d: PUSH1 0x00 00000b7f: SWAP1 00000b80: LOG1 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x00 00000b85: PUSH2 0x0b95 00000b88: PUSH1 0x02 00000b8a: CALLER 00000b8b: PUSH4 0xffffffff 00000b90: PUSH2 0x0e95 00000b93: AND 00000b94: JUMP 00000b95: JUMPDEST 00000b96: PUSH2 0x0b9e 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: PUSH1 0x00 00000ba1: PUSH2 0x0bb5 00000ba4: PUSH1 0x06 00000ba6: SLOAD 00000ba7: SELFBALANCE 00000ba8: PUSH2 0x0e4c 00000bab: SWAP1 00000bac: SWAP2 00000bad: SWAP1 00000bae: PUSH4 0xffffffff 00000bb3: AND 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: SWAP1 00000bb7: POP 00000bb8: PUSH1 0x00 00000bba: DUP2 00000bbb: GT 00000bbc: PUSH2 0x0bc4 00000bbf: JUMPI 00000bc0: PUSH1 0x00 00000bc2: DUP1 00000bc3: REVERT 00000bc4: JUMPDEST 00000bc5: PUSH1 0x40 00000bc7: MLOAD 00000bc8: CALLER 00000bc9: SWAP1 00000bca: DUP3 00000bcb: ISZERO 00000bcc: PUSH2 0x08fc 00000bcf: MUL 00000bd0: SWAP1 00000bd1: DUP4 00000bd2: SWAP1 00000bd3: PUSH1 0x00 00000bd5: DUP2 00000bd6: DUP2 00000bd7: DUP2 00000bd8: DUP6 00000bd9: DUP9 00000bda: DUP9 00000bdb: CALL 00000bdc: SWAP4 00000bdd: POP 00000bde: POP 00000bdf: POP 00000be0: POP 00000be1: ISZERO 00000be2: DUP1 00000be3: ISZERO 00000be4: PUSH2 0x0bf1 00000be7: JUMPI 00000be8: RETURNDATASIZE 00000be9: PUSH1 0x00 00000beb: DUP1 00000bec: RETURNDATACOPY 00000bed: RETURNDATASIZE 00000bee: PUSH1 0x00 00000bf0: REVERT 00000bf1: JUMPDEST 00000bf2: POP 00000bf3: PUSH1 0x40 00000bf5: DUP1 00000bf6: MLOAD 00000bf7: DUP3 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: SWAP1 00000bfb: MLOAD 00000bfc: CALLER 00000bfd: SWAP2 00000bfe: PUSH32 0xdaa02d445fa29c6ca8afbd8e42e7aeaefd601994715370cd129be6246e305544 00000c1f: SWAP2 00000c20: SWAP1 00000c21: DUP2 00000c22: SWAP1 00000c23: SUB 00000c24: PUSH1 0x20 00000c26: ADD 00000c27: SWAP1 00000c28: LOG2 00000c29: SWAP1 00000c2a: POP 00000c2b: SWAP1 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH1 0x00 00000c30: PUSH2 0x0c40 00000c33: PUSH1 0x02 00000c35: CALLER 00000c36: PUSH4 0xffffffff 00000c3b: PUSH2 0x0e95 00000c3e: AND 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: PUSH2 0x0c49 00000c44: JUMPI 00000c45: PUSH1 0x00 00000c47: DUP1 00000c48: REVERT 00000c49: JUMPDEST 00000c4a: PUSH1 0x06 00000c4c: SLOAD 00000c4d: PUSH2 0x0c5d 00000c50: SWAP1 00000c51: SELFBALANCE 00000c52: SWAP1 00000c53: PUSH4 0xffffffff 00000c58: PUSH2 0x0e4c 00000c5b: AND 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: SWAP1 00000c5f: POP 00000c60: SWAP1 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH2 0x0c73 00000c66: PUSH1 0x00 00000c68: CALLER 00000c69: PUSH4 0xffffffff 00000c6e: PUSH2 0x0e95 00000c71: AND 00000c72: JUMP 00000c73: JUMPDEST 00000c74: PUSH2 0x0c7c 00000c77: JUMPI 00000c78: PUSH1 0x00 00000c7a: DUP1 00000c7b: REVERT 00000c7c: JUMPDEST 00000c7d: PUSH2 0x0c8d 00000c80: PUSH1 0x01 00000c82: DUP3 00000c83: PUSH4 0xffffffff 00000c88: PUSH2 0x0f63 00000c8b: AND 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: PUSH2 0x0b17 00000c91: PUSH1 0x01 00000c93: DUP3 00000c94: PUSH4 0xffffffff 00000c99: PUSH2 0x0e95 00000c9c: AND 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH2 0x0caf 00000ca2: PUSH1 0x00 00000ca4: CALLER 00000ca5: PUSH4 0xffffffff 00000caa: PUSH2 0x0e95 00000cad: AND 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: PUSH2 0x0cb8 00000cb3: JUMPI 00000cb4: PUSH1 0x00 00000cb6: DUP1 00000cb7: REVERT 00000cb8: JUMPDEST 00000cb9: PUSH2 0x0cc9 00000cbc: PUSH1 0x00 00000cbe: DUP3 00000cbf: PUSH4 0xffffffff 00000cc4: PUSH2 0x0f63 00000cc7: AND 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH2 0x0b17 00000ccd: PUSH1 0x00 00000ccf: DUP3 00000cd0: PUSH4 0xffffffff 00000cd5: PUSH2 0x0e95 00000cd8: AND 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: PUSH1 0x03 00000cdd: SLOAD 00000cde: PUSH2 0x0100 00000ce1: SWAP1 00000ce2: DIV 00000ce3: PUSH1 0xff 00000ce5: AND 00000ce6: DUP2 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: PUSH1 0x03 00000ceb: SLOAD 00000cec: PUSH1 0xff 00000cee: AND 00000cef: ISZERO 00000cf0: PUSH2 0x0cf8 00000cf3: JUMPI 00000cf4: PUSH1 0x00 00000cf6: DUP1 00000cf7: REVERT 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: CALLVALUE 00000cfc: GT 00000cfd: PUSH2 0x0d05 00000d00: JUMPI 00000d01: PUSH1 0x00 00000d03: DUP1 00000d04: REVERT 00000d05: JUMPDEST 00000d06: CALLER 00000d07: PUSH1 0x00 00000d09: SWAP1 00000d0a: DUP2 00000d0b: MSTORE 00000d0c: PUSH1 0x05 00000d0e: PUSH1 0x20 00000d10: MSTORE 00000d11: PUSH1 0x40 00000d13: SWAP1 00000d14: KECCAK256 00000d15: SLOAD 00000d16: PUSH2 0x0d25 00000d19: SWAP1 00000d1a: CALLVALUE 00000d1b: PUSH4 0xffffffff 00000d20: PUSH2 0x0fe4 00000d23: AND 00000d24: JUMP 00000d25: JUMPDEST 00000d26: CALLER 00000d27: PUSH1 0x00 00000d29: SWAP1 00000d2a: DUP2 00000d2b: MSTORE 00000d2c: PUSH1 0x05 00000d2e: PUSH1 0x20 00000d30: MSTORE 00000d31: PUSH1 0x40 00000d33: SWAP1 00000d34: KECCAK256 00000d35: SSTORE 00000d36: PUSH1 0x06 00000d38: SLOAD 00000d39: PUSH2 0x0d48 00000d3c: SWAP1 00000d3d: CALLVALUE 00000d3e: PUSH4 0xffffffff 00000d43: PUSH2 0x0fe4 00000d46: AND 00000d47: JUMP 00000d48: JUMPDEST 00000d49: PUSH1 0x06 00000d4b: SSTORE 00000d4c: CALLER 00000d4d: PUSH1 0x00 00000d4f: DUP2 00000d50: DUP2 00000d51: MSTORE 00000d52: PUSH1 0x05 00000d54: PUSH1 0x20 00000d56: SWAP1 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x40 00000d5b: SWAP2 00000d5c: DUP3 00000d5d: SWAP1 00000d5e: KECCAK256 00000d5f: SLOAD 00000d60: DUP3 00000d61: MLOAD 00000d62: SWAP1 00000d63: DUP2 00000d64: MSTORE 00000d65: SWAP2 00000d66: MLOAD 00000d67: PUSH32 0xe5c9ed746c9a90be28ec0ba6f0fc363540492f749c0c97464501aa92c4d112d6 00000d88: SWAP3 00000d89: DUP2 00000d8a: SWAP1 00000d8b: SUB 00000d8c: SWAP1 00000d8d: SWAP2 00000d8e: ADD 00000d8f: SWAP1 00000d90: LOG2 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH2 0x0da3 00000d96: PUSH1 0x00 00000d98: CALLER 00000d99: PUSH4 0xffffffff 00000d9e: PUSH2 0x0e95 00000da1: AND 00000da2: JUMP 00000da3: JUMPDEST 00000da4: PUSH2 0x0dac 00000da7: JUMPI 00000da8: PUSH1 0x00 00000daa: DUP1 00000dab: REVERT 00000dac: JUMPDEST 00000dad: PUSH1 0x03 00000daf: SLOAD 00000db0: PUSH1 0xff 00000db2: AND 00000db3: PUSH2 0x0dbb 00000db6: JUMPI 00000db7: PUSH1 0x00 00000db9: DUP1 00000dba: REVERT 00000dbb: JUMPDEST 00000dbc: PUSH1 0x03 00000dbe: SLOAD 00000dbf: PUSH2 0x0100 00000dc2: SWAP1 00000dc3: DIV 00000dc4: PUSH1 0xff 00000dc6: AND 00000dc7: ISZERO 00000dc8: PUSH2 0x0dd0 00000dcb: JUMPI 00000dcc: PUSH1 0x00 00000dce: DUP1 00000dcf: REVERT 00000dd0: JUMPDEST 00000dd1: PUSH1 0x01 00000dd3: PUSH1 0x01 00000dd5: PUSH1 0xa0 00000dd7: SHL 00000dd8: SUB 00000dd9: DUP2 00000dda: AND 00000ddb: PUSH2 0x0de3 00000dde: JUMPI 00000ddf: PUSH1 0x00 00000de1: DUP1 00000de2: REVERT 00000de3: JUMPDEST 00000de4: PUSH1 0x03 00000de6: DUP1 00000de7: SLOAD 00000de8: PUSH2 0x0100 00000deb: PUSH2 0xff00 00000dee: NOT 00000def: SWAP1 00000df0: SWAP2 00000df1: AND 00000df2: OR 00000df3: PUSH3 0x010000 00000df7: PUSH1 0x01 00000df9: PUSH1 0xb0 00000dfb: SHL 00000dfc: SUB 00000dfd: NOT 00000dfe: AND 00000dff: PUSH3 0x010000 00000e03: PUSH1 0x01 00000e05: PUSH1 0x01 00000e07: PUSH1 0xa0 00000e09: SHL 00000e0a: SUB 00000e0b: DUP5 00000e0c: AND 00000e0d: SWAP1 00000e0e: DUP2 00000e0f: MUL 00000e10: SWAP2 00000e11: SWAP1 00000e12: SWAP2 00000e13: OR 00000e14: SWAP1 00000e15: SWAP2 00000e16: SSTORE 00000e17: PUSH1 0x40 00000e19: DUP1 00000e1a: MLOAD 00000e1b: SWAP2 00000e1c: DUP3 00000e1d: MSTORE 00000e1e: MLOAD 00000e1f: PUSH32 0x450db8da6efbe9c22f2347f7c2021231df1fc58d3ae9a2fa75d39fa446199305 00000e40: SWAP2 00000e41: PUSH1 0x20 00000e43: SWAP1 00000e44: DUP3 00000e45: SWAP1 00000e46: SUB 00000e47: ADD 00000e48: SWAP1 00000e49: LOG1 00000e4a: POP 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH1 0x00 00000e4f: PUSH2 0x0e8e 00000e52: DUP4 00000e53: DUP4 00000e54: PUSH1 0x40 00000e56: MLOAD 00000e57: DUP1 00000e58: PUSH1 0x40 00000e5a: ADD 00000e5b: PUSH1 0x40 00000e5d: MSTORE 00000e5e: DUP1 00000e5f: PUSH1 0x1e 00000e61: DUP2 00000e62: MSTORE 00000e63: PUSH1 0x20 00000e65: ADD 00000e66: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000e87: DUP2 00000e88: MSTORE 00000e89: POP 00000e8a: PUSH2 0x103e 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: SWAP4 00000e90: SWAP3 00000e91: POP 00000e92: POP 00000e93: POP 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x00 00000e98: PUSH1 0x01 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0xa0 00000e9e: SHL 00000e9f: SUB 00000ea0: DUP3 00000ea1: AND 00000ea2: PUSH2 0x0edc 00000ea5: JUMPI 00000ea6: PUSH1 0x40 00000ea8: MLOAD 00000ea9: PUSH3 0x461bcd 00000ead: PUSH1 0xe5 00000eaf: SHL 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: PUSH1 0x04 00000eb4: ADD 00000eb5: DUP1 00000eb6: DUP1 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: DUP3 00000ebb: DUP2 00000ebc: SUB 00000ebd: DUP3 00000ebe: MSTORE 00000ebf: PUSH1 0x22 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x20 00000ec5: ADD 00000ec6: DUP1 00000ec7: PUSH2 0x10f7 00000eca: PUSH1 0x22 00000ecc: SWAP2 00000ecd: CODECOPY 00000ece: PUSH1 0x40 00000ed0: ADD 00000ed1: SWAP2 00000ed2: POP 00000ed3: POP 00000ed4: PUSH1 0x40 00000ed6: MLOAD 00000ed7: DUP1 00000ed8: SWAP2 00000ed9: SUB 00000eda: SWAP1 00000edb: REVERT 00000edc: JUMPDEST 00000edd: POP 00000ede: PUSH1 0x01 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0xa0 00000ee4: SHL 00000ee5: SUB 00000ee6: AND 00000ee7: PUSH1 0x00 00000ee9: SWAP1 00000eea: DUP2 00000eeb: MSTORE 00000eec: PUSH1 0x20 00000eee: SWAP2 00000eef: SWAP1 00000ef0: SWAP2 00000ef1: MSTORE 00000ef2: PUSH1 0x40 00000ef4: SWAP1 00000ef5: KECCAK256 00000ef6: SLOAD 00000ef7: PUSH1 0xff 00000ef9: AND 00000efa: SWAP1 00000efb: JUMP 00000efc: JUMPDEST 00000efd: PUSH2 0x0f06 00000f00: DUP3 00000f01: DUP3 00000f02: PUSH2 0x0e95 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH2 0x0f41 00000f0a: JUMPI 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: PUSH3 0x461bcd 00000f12: PUSH1 0xe5 00000f14: SHL 00000f15: DUP2 00000f16: MSTORE 00000f17: PUSH1 0x04 00000f19: ADD 00000f1a: DUP1 00000f1b: DUP1 00000f1c: PUSH1 0x20 00000f1e: ADD 00000f1f: DUP3 00000f20: DUP2 00000f21: SUB 00000f22: DUP3 00000f23: MSTORE 00000f24: PUSH1 0x21 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x20 00000f2a: ADD 00000f2b: DUP1 00000f2c: PUSH2 0x10d6 00000f2f: PUSH1 0x21 00000f31: SWAP2 00000f32: CODECOPY 00000f33: PUSH1 0x40 00000f35: ADD 00000f36: SWAP2 00000f37: POP 00000f38: POP 00000f39: PUSH1 0x40 00000f3b: MLOAD 00000f3c: DUP1 00000f3d: SWAP2 00000f3e: SUB 00000f3f: SWAP1 00000f40: REVERT 00000f41: JUMPDEST 00000f42: PUSH1 0x01 00000f44: PUSH1 0x01 00000f46: PUSH1 0xa0 00000f48: SHL 00000f49: SUB 00000f4a: AND 00000f4b: PUSH1 0x00 00000f4d: SWAP1 00000f4e: DUP2 00000f4f: MSTORE 00000f50: PUSH1 0x20 00000f52: SWAP2 00000f53: SWAP1 00000f54: SWAP2 00000f55: MSTORE 00000f56: PUSH1 0x40 00000f58: SWAP1 00000f59: KECCAK256 00000f5a: DUP1 00000f5b: SLOAD 00000f5c: PUSH1 0xff 00000f5e: NOT 00000f5f: AND 00000f60: SWAP1 00000f61: SSTORE 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH2 0x0f6d 00000f67: DUP3 00000f68: DUP3 00000f69: PUSH2 0x0e95 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: ISZERO 00000f6f: PUSH2 0x0fbf 00000f72: JUMPI 00000f73: PUSH1 0x40 00000f75: DUP1 00000f76: MLOAD 00000f77: PUSH3 0x461bcd 00000f7b: PUSH1 0xe5 00000f7d: SHL 00000f7e: DUP2 00000f7f: MSTORE 00000f80: PUSH1 0x20 00000f82: PUSH1 0x04 00000f84: DUP3 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH1 0x1f 00000f89: PUSH1 0x24 00000f8b: DUP3 00000f8c: ADD 00000f8d: MSTORE 00000f8e: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500 00000faf: PUSH1 0x44 00000fb1: DUP3 00000fb2: ADD 00000fb3: MSTORE 00000fb4: SWAP1 00000fb5: MLOAD 00000fb6: SWAP1 00000fb7: DUP2 00000fb8: SWAP1 00000fb9: SUB 00000fba: PUSH1 0x64 00000fbc: ADD 00000fbd: SWAP1 00000fbe: REVERT 00000fbf: JUMPDEST 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0xa0 00000fc6: SHL 00000fc7: SUB 00000fc8: AND 00000fc9: PUSH1 0x00 00000fcb: SWAP1 00000fcc: DUP2 00000fcd: MSTORE 00000fce: PUSH1 0x20 00000fd0: SWAP2 00000fd1: SWAP1 00000fd2: SWAP2 00000fd3: MSTORE 00000fd4: PUSH1 0x40 00000fd6: SWAP1 00000fd7: KECCAK256 00000fd8: DUP1 00000fd9: SLOAD 00000fda: PUSH1 0xff 00000fdc: NOT 00000fdd: AND 00000fde: PUSH1 0x01 00000fe0: OR 00000fe1: SWAP1 00000fe2: SSTORE 00000fe3: JUMP 00000fe4: JUMPDEST 00000fe5: PUSH1 0x00 00000fe7: DUP3 00000fe8: DUP3 00000fe9: ADD 00000fea: DUP4 00000feb: DUP2 00000fec: LT 00000fed: ISZERO 00000fee: PUSH2 0x0e8e 00000ff1: JUMPI 00000ff2: PUSH1 0x40 00000ff4: DUP1 00000ff5: MLOAD 00000ff6: PUSH3 0x461bcd 00000ffa: PUSH1 0xe5 00000ffc: SHL 00000ffd: DUP2 00000ffe: MSTORE 00000fff: PUSH1 0x20 00001001: PUSH1 0x04 00001003: DUP3 00001004: ADD 00001005: MSTORE 00001006: PUSH1 0x1b 00001008: PUSH1 0x24 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000102e: PUSH1 0x44 00001030: DUP3 00001031: ADD 00001032: MSTORE 00001033: SWAP1 00001034: MLOAD 00001035: SWAP1 00001036: DUP2 00001037: SWAP1 00001038: SUB 00001039: PUSH1 0x64 0000103b: ADD 0000103c: SWAP1 0000103d: REVERT 0000103e: JUMPDEST 0000103f: PUSH1 0x00 00001041: DUP2 00001042: DUP5 00001043: DUP5 00001044: GT 00001045: ISZERO 00001046: PUSH2 0x10cd 00001049: JUMPI 0000104a: PUSH1 0x40 0000104c: MLOAD 0000104d: PUSH3 0x461bcd 00001051: PUSH1 0xe5 00001053: SHL 00001054: DUP2 00001055: MSTORE 00001056: PUSH1 0x04 00001058: ADD 00001059: DUP1 0000105a: DUP1 0000105b: PUSH1 0x20 0000105d: ADD 0000105e: DUP3 0000105f: DUP2 00001060: SUB 00001061: DUP3 00001062: MSTORE 00001063: DUP4 00001064: DUP2 00001065: DUP2 00001066: MLOAD 00001067: DUP2 00001068: MSTORE 00001069: PUSH1 0x20 0000106b: ADD 0000106c: SWAP2 0000106d: POP 0000106e: DUP1 0000106f: MLOAD 00001070: SWAP1 00001071: PUSH1 0x20 00001073: ADD 00001074: SWAP1 00001075: DUP1 00001076: DUP4 00001077: DUP4 00001078: PUSH1 0x00 0000107a: JUMPDEST 0000107b: DUP4 0000107c: DUP2 0000107d: LT 0000107e: ISZERO 0000107f: PUSH2 0x1092 00001082: JUMPI 00001083: DUP2 00001084: DUP2 00001085: ADD 00001086: MLOAD 00001087: DUP4 00001088: DUP3 00001089: ADD 0000108a: MSTORE 0000108b: PUSH1 0x20 0000108d: ADD 0000108e: PUSH2 0x107a 00001091: JUMP 00001092: JUMPDEST 00001093: POP 00001094: POP 00001095: POP 00001096: POP 00001097: SWAP1 00001098: POP 00001099: SWAP1 0000109a: DUP2 0000109b: ADD 0000109c: SWAP1 0000109d: PUSH1 0x1f 0000109f: AND 000010a0: DUP1 000010a1: ISZERO 000010a2: PUSH2 0x10bf 000010a5: JUMPI 000010a6: DUP1 000010a7: DUP3 000010a8: SUB 000010a9: DUP1 000010aa: MLOAD 000010ab: PUSH1 0x01 000010ad: DUP4 000010ae: PUSH1 0x20 000010b0: SUB 000010b1: PUSH2 0x0100 000010b4: EXP 000010b5: SUB 000010b6: NOT 000010b7: AND 000010b8: DUP2 000010b9: MSTORE 000010ba: PUSH1 0x20 000010bc: ADD 000010bd: SWAP2 000010be: POP 000010bf: JUMPDEST 000010c0: POP 000010c1: SWAP3 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: PUSH1 0x40 000010c7: MLOAD 000010c8: DUP1 000010c9: SWAP2 000010ca: SUB 000010cb: SWAP1 000010cc: REVERT 000010cd: JUMPDEST 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: SWAP1 000010d2: SUB 000010d3: SWAP1 000010d4: JUMP 000010d5: INVALID 000010d6: MSTORE 000010d7: PUSH16 0x6c65733a206163636f756e7420646f65 000010e8: PUSH20 0x206e6f74206861766520726f6c65526f6c65733a 000010fd: KECCAK256 000010fe: PUSH2 0x6363 00001101: PUSH16 0x756e7420697320746865207a65726f20 00001112: PUSH2 0x6464 00001115: PUSH19 0x657373a265627a7a723158200865c58406e401 00001129: SWAP15 0000112a: UNKNOWN(0xC7) 0000112b: UNKNOWN(0xED) 0000112c: UNKNOWN(0xC3) 0000112d: UNKNOWN(0xBF) 0000112e: MOD 0000112f: PUSH17 0x470649dd2b9678aed6ee1f5ba18dd05943 00001141: DELEGATECALL 00001142: PUSH5 0x736f6c6343 00001148: STOP 00001149: SDIV 0000114a: UNKNOWN(0x0E) 0000114b: STOP 0000114c: ORIGIN
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x295b442bc8a27736caffe663332fc8b1356b94f30d379bdf0e5e841ac44e2223
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x295b442bc8a27736caffe663332fc8b1356b94f30d379bdf0e5e841ac44e2223",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4417,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| 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": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb
call_targets:
0xe31763aad9294f073ddf18b36503ed037ae5e737
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe31763aad9294f073ddf18b36503ed037ae5e737"
],
"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": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1842,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3035,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb
call_targets:
0xe31763aad9294f073ddf18b36503ed037ae5e737
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xda084b82f741ffdb39e53ba5d5cadfdd18351ee638d549d5159275c3f7d2abfb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe31763aad9294f073ddf18b36503ed037ae5e737"
],
"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": "0x983b2d56",
"selector": "0x983b2d56",
"calldata_variants": [
"0x983b2d56",
"0x983b2d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a3b58c9",
"selector": "0x9a3b58c9",
"calldata_variants": [
"0x9a3b58c9",
"0x9a3b58c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc28de2cd",
"selector": "0xc28de2cd",
"calldata_variants": [
"0xc28de2cd",
"0xc28de2cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb2c0223",
"selector": "0xeb2c0223",
"calldata_variants": [
"0xeb2c0223",
"0xeb2c02230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6af04a57",
"selector": "0x6af04a57",
"calldata_variants": [
"0x6af04a57",
"0x6af04a570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1842,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3035,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 4428,
"type": "tx_origin_used"
}
]
}
|