019b3844-96ae-7244-b9ee-f5f25db420b3
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 |
|---|---|---|---|---|
| 13585 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13586 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 111854 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 111855 | capability.graph | complete | 1 / 3 | 1 week ago |
| 111856 | detector.run | complete | 1 / 3 | 1 week ago |
| 111857 | 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 0x0095 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x55d0ad18 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x55d0ad18 00000024: EQ 00000025: PUSH2 0x01c0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x707fcf19 0000002f: EQ 00000030: PUSH2 0x01d5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd58623c4 0000003a: EQ 0000003b: PUSH2 0x01ea 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x022d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfad44a44 00000050: EQ 00000051: PUSH2 0x0260 00000054: JUMPI 00000055: PUSH2 0x0105 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x0b2accb2 00000060: EQ 00000061: PUSH2 0x010a 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x12065fe0 0000006b: EQ 0000006c: PUSH2 0x0131 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x205c2878 00000076: EQ 00000077: PUSH2 0x0146 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x21f4ae14 00000081: EQ 00000082: PUSH2 0x0181 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x2e1a7d4d 0000008c: EQ 0000008d: PUSH2 0x0196 00000090: JUMPI 00000091: PUSH2 0x0105 00000094: JUMP 00000095: JUMPDEST 00000096: CALLDATASIZE 00000097: PUSH2 0x0105 0000009a: JUMPI 0000009b: PUSH1 0x02 0000009d: PUSH1 0x04 0000009f: SLOAD 000000a0: EQ 000000a1: ISZERO 000000a2: PUSH2 0x00e3 000000a5: JUMPI 000000a6: PUSH1 0x40 000000a8: DUP1 000000a9: MLOAD 000000aa: PUSH3 0x461bcd 000000ae: PUSH1 0xe5 000000b0: SHL 000000b1: DUP2 000000b2: MSTORE 000000b3: PUSH1 0x20 000000b5: PUSH1 0x04 000000b7: DUP3 000000b8: ADD 000000b9: MSTORE 000000ba: PUSH1 0x0e 000000bc: PUSH1 0x24 000000be: DUP3 000000bf: ADD 000000c0: MSTORE 000000c1: PUSH14 0x536563757269747920426c6f636b 000000d0: PUSH1 0x90 000000d2: SHL 000000d3: PUSH1 0x44 000000d5: DUP3 000000d6: ADD 000000d7: MSTORE 000000d8: SWAP1 000000d9: MLOAD 000000da: SWAP1 000000db: DUP2 000000dc: SWAP1 000000dd: SUB 000000de: PUSH1 0x64 000000e0: ADD 000000e1: SWAP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: PUSH1 0x02 000000e6: PUSH1 0x04 000000e8: SSTORE 000000e9: PUSH1 0x06 000000eb: SLOAD 000000ec: PUSH2 0x00fb 000000ef: SWAP1 000000f0: CALLVALUE 000000f1: PUSH4 0xffffffff 000000f6: PUSH2 0x029e 000000f9: AND 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH1 0x06 000000fe: SSTORE 000000ff: PUSH1 0x01 00000101: PUSH1 0x04 00000103: SSTORE 00000104: STOP 00000105: JUMPDEST 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: CALLVALUE 0000010c: DUP1 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: POP 00000118: PUSH2 0x011f 0000011b: PUSH2 0x02ff 0000011e: JUMP 0000011f: JUMPDEST 00000120: PUSH1 0x40 00000122: DUP1 00000123: MLOAD 00000124: SWAP2 00000125: DUP3 00000126: MSTORE 00000127: MLOAD 00000128: SWAP1 00000129: DUP2 0000012a: SWAP1 0000012b: SUB 0000012c: PUSH1 0x20 0000012e: ADD 0000012f: SWAP1 00000130: RETURN 00000131: JUMPDEST 00000132: CALLVALUE 00000133: DUP1 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: POP 0000013f: PUSH2 0x011f 00000142: PUSH2 0x036f 00000145: JUMP 00000146: JUMPDEST 00000147: CALLVALUE 00000148: DUP1 00000149: ISZERO 0000014a: PUSH2 0x0152 0000014d: JUMPI 0000014e: PUSH1 0x00 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: POP 00000154: PUSH2 0x017f 00000157: PUSH1 0x04 00000159: DUP1 0000015a: CALLDATASIZE 0000015b: SUB 0000015c: PUSH1 0x40 0000015e: DUP2 0000015f: LT 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: POP 0000016b: PUSH1 0x01 0000016d: PUSH1 0x01 0000016f: PUSH1 0xa0 00000171: SHL 00000172: SUB 00000173: DUP2 00000174: CALLDATALOAD 00000175: AND 00000176: SWAP1 00000177: PUSH1 0x20 00000179: ADD 0000017a: CALLDATALOAD 0000017b: PUSH2 0x03dc 0000017e: JUMP 0000017f: JUMPDEST 00000180: STOP 00000181: JUMPDEST 00000182: CALLVALUE 00000183: DUP1 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: POP 0000018f: PUSH2 0x011f 00000192: PUSH2 0x062b 00000195: JUMP 00000196: JUMPDEST 00000197: CALLVALUE 00000198: DUP1 00000199: ISZERO 0000019a: PUSH2 0x01a2 0000019d: JUMPI 0000019e: PUSH1 0x00 000001a0: DUP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: POP 000001a4: PUSH2 0x017f 000001a7: PUSH1 0x04 000001a9: DUP1 000001aa: CALLDATASIZE 000001ab: SUB 000001ac: PUSH1 0x20 000001ae: DUP2 000001af: LT 000001b0: ISZERO 000001b1: PUSH2 0x01b9 000001b4: JUMPI 000001b5: PUSH1 0x00 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: POP 000001bb: CALLDATALOAD 000001bc: PUSH2 0x068b 000001bf: JUMP 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: DUP1 000001c3: ISZERO 000001c4: PUSH2 0x01cc 000001c7: JUMPI 000001c8: PUSH1 0x00 000001ca: DUP1 000001cb: REVERT 000001cc: JUMPDEST 000001cd: POP 000001ce: PUSH2 0x011f 000001d1: PUSH2 0x08c0 000001d4: JUMP 000001d5: JUMPDEST 000001d6: CALLVALUE 000001d7: DUP1 000001d8: ISZERO 000001d9: PUSH2 0x01e1 000001dc: JUMPI 000001dd: PUSH1 0x00 000001df: DUP1 000001e0: REVERT 000001e1: JUMPDEST 000001e2: POP 000001e3: PUSH2 0x017f 000001e6: PUSH2 0x0931 000001e9: JUMP 000001ea: JUMPDEST 000001eb: CALLVALUE 000001ec: DUP1 000001ed: ISZERO 000001ee: PUSH2 0x01f6 000001f1: JUMPI 000001f2: PUSH1 0x00 000001f4: DUP1 000001f5: REVERT 000001f6: JUMPDEST 000001f7: POP 000001f8: PUSH2 0x011f 000001fb: PUSH1 0x04 000001fd: DUP1 000001fe: CALLDATASIZE 000001ff: SUB 00000200: PUSH1 0x60 00000202: DUP2 00000203: LT 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: PUSH1 0x01 00000211: PUSH1 0x01 00000213: PUSH1 0xa0 00000215: SHL 00000216: SUB 00000217: DUP2 00000218: CALLDATALOAD 00000219: DUP2 0000021a: AND 0000021b: SWAP2 0000021c: PUSH1 0x20 0000021e: DUP2 0000021f: ADD 00000220: CALLDATALOAD 00000221: SWAP1 00000222: SWAP2 00000223: AND 00000224: SWAP1 00000225: PUSH1 0x40 00000227: ADD 00000228: CALLDATALOAD 00000229: PUSH2 0x09e3 0000022c: JUMP 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: DUP1 00000230: ISZERO 00000231: PUSH2 0x0239 00000234: JUMPI 00000235: PUSH1 0x00 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x017f 0000023e: PUSH1 0x04 00000240: DUP1 00000241: CALLDATASIZE 00000242: SUB 00000243: PUSH1 0x20 00000245: DUP2 00000246: LT 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: CALLDATALOAD 00000253: PUSH1 0x01 00000255: PUSH1 0x01 00000257: PUSH1 0xa0 00000259: SHL 0000025a: SUB 0000025b: AND 0000025c: PUSH2 0x0aef 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x028a 00000271: PUSH1 0x04 00000273: DUP1 00000274: CALLDATASIZE 00000275: SUB 00000276: PUSH1 0x20 00000278: DUP2 00000279: LT 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: CALLDATALOAD 00000286: PUSH2 0x0b74 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: DUP1 0000028e: MLOAD 0000028f: SWAP2 00000290: ISZERO 00000291: ISZERO 00000292: DUP3 00000293: MSTORE 00000294: MLOAD 00000295: SWAP1 00000296: DUP2 00000297: SWAP1 00000298: SUB 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP1 0000029d: RETURN 0000029e: JUMPDEST 0000029f: PUSH1 0x00 000002a1: DUP3 000002a2: DUP3 000002a3: ADD 000002a4: DUP4 000002a5: DUP2 000002a6: LT 000002a7: ISZERO 000002a8: PUSH2 0x02f8 000002ab: JUMPI 000002ac: PUSH1 0x40 000002ae: DUP1 000002af: MLOAD 000002b0: PUSH3 0x461bcd 000002b4: PUSH1 0xe5 000002b6: SHL 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: PUSH1 0x04 000002bd: DUP3 000002be: ADD 000002bf: MSTORE 000002c0: PUSH1 0x1b 000002c2: PUSH1 0x24 000002c4: DUP3 000002c5: ADD 000002c6: MSTORE 000002c7: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000002e8: PUSH1 0x44 000002ea: DUP3 000002eb: ADD 000002ec: MSTORE 000002ed: SWAP1 000002ee: MLOAD 000002ef: SWAP1 000002f0: DUP2 000002f1: SWAP1 000002f2: SUB 000002f3: PUSH1 0x64 000002f5: ADD 000002f6: SWAP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: SWAP4 000002fa: SWAP3 000002fb: POP 000002fc: POP 000002fd: POP 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLER 00000301: PUSH1 0x00 00000303: DUP2 00000304: DUP2 00000305: MSTORE 00000306: PUSH1 0x01 00000308: PUSH1 0x20 0000030a: MSTORE 0000030b: PUSH1 0x40 0000030d: DUP2 0000030e: KECCAK256 0000030f: PUSH1 0x03 00000311: ADD 00000312: SLOAD 00000313: SWAP1 00000314: SWAP2 00000315: SWAP1 00000316: PUSH1 0xff 00000318: AND 00000319: PUSH2 0x0357 0000031c: JUMPI 0000031d: PUSH1 0x40 0000031f: DUP1 00000320: MLOAD 00000321: PUSH3 0x461bcd 00000325: PUSH1 0xe5 00000327: SHL 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x20 0000032c: PUSH1 0x04 0000032e: DUP3 0000032f: ADD 00000330: MSTORE 00000331: PUSH1 0x18 00000333: PUSH1 0x24 00000335: DUP3 00000336: ADD 00000337: MSTORE 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: MLOAD 0000033c: PUSH1 0x20 0000033e: PUSH2 0x1104 00000341: DUP4 00000342: CODECOPY 00000343: DUP2 00000344: MLOAD 00000345: SWAP2 00000346: MSTORE 00000347: PUSH1 0x44 00000349: DUP3 0000034a: ADD 0000034b: MSTORE 0000034c: SWAP1 0000034d: MLOAD 0000034e: SWAP1 0000034f: DUP2 00000350: SWAP1 00000351: SUB 00000352: PUSH1 0x64 00000354: ADD 00000355: SWAP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: POP 0000035a: CALLER 0000035b: PUSH1 0x00 0000035d: SWAP1 0000035e: DUP2 0000035f: MSTORE 00000360: PUSH1 0x01 00000362: PUSH1 0x20 00000364: MSTORE 00000365: PUSH1 0x40 00000367: SWAP1 00000368: KECCAK256 00000369: PUSH1 0x02 0000036b: ADD 0000036c: SLOAD 0000036d: SWAP1 0000036e: JUMP 0000036f: JUMPDEST 00000370: CALLER 00000371: PUSH1 0x00 00000373: DUP2 00000374: DUP2 00000375: MSTORE 00000376: PUSH1 0x01 00000378: PUSH1 0x20 0000037a: MSTORE 0000037b: PUSH1 0x40 0000037d: DUP2 0000037e: KECCAK256 0000037f: PUSH1 0x03 00000381: ADD 00000382: SLOAD 00000383: SWAP1 00000384: SWAP2 00000385: SWAP1 00000386: PUSH1 0xff 00000388: AND 00000389: PUSH2 0x03c7 0000038c: JUMPI 0000038d: PUSH1 0x40 0000038f: DUP1 00000390: MLOAD 00000391: PUSH3 0x461bcd 00000395: PUSH1 0xe5 00000397: SHL 00000398: DUP2 00000399: MSTORE 0000039a: PUSH1 0x20 0000039c: PUSH1 0x04 0000039e: DUP3 0000039f: ADD 000003a0: MSTORE 000003a1: PUSH1 0x18 000003a3: PUSH1 0x24 000003a5: DUP3 000003a6: ADD 000003a7: MSTORE 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: MLOAD 000003ac: PUSH1 0x20 000003ae: PUSH2 0x1104 000003b1: DUP4 000003b2: CODECOPY 000003b3: DUP2 000003b4: MLOAD 000003b5: SWAP2 000003b6: MSTORE 000003b7: PUSH1 0x44 000003b9: DUP3 000003ba: ADD 000003bb: MSTORE 000003bc: SWAP1 000003bd: MLOAD 000003be: SWAP1 000003bf: DUP2 000003c0: SWAP1 000003c1: SUB 000003c2: PUSH1 0x64 000003c4: ADD 000003c5: SWAP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: POP 000003c9: POP 000003ca: CALLER 000003cb: PUSH1 0x00 000003cd: SWAP1 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x01 000003d2: PUSH1 0x20 000003d4: MSTORE 000003d5: PUSH1 0x40 000003d7: SWAP1 000003d8: KECCAK256 000003d9: SLOAD 000003da: SWAP1 000003db: JUMP 000003dc: JUMPDEST 000003dd: CALLER 000003de: PUSH1 0x00 000003e0: DUP2 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x01 000003e5: PUSH1 0x20 000003e7: MSTORE 000003e8: PUSH1 0x40 000003ea: SWAP1 000003eb: KECCAK256 000003ec: PUSH1 0x03 000003ee: ADD 000003ef: SLOAD 000003f0: PUSH1 0xff 000003f2: AND 000003f3: PUSH2 0x0431 000003f6: JUMPI 000003f7: PUSH1 0x40 000003f9: DUP1 000003fa: MLOAD 000003fb: PUSH3 0x461bcd 000003ff: PUSH1 0xe5 00000401: SHL 00000402: DUP2 00000403: MSTORE 00000404: PUSH1 0x20 00000406: PUSH1 0x04 00000408: DUP3 00000409: ADD 0000040a: MSTORE 0000040b: PUSH1 0x18 0000040d: PUSH1 0x24 0000040f: DUP3 00000410: ADD 00000411: MSTORE 00000412: PUSH1 0x00 00000414: DUP1 00000415: MLOAD 00000416: PUSH1 0x20 00000418: PUSH2 0x1104 0000041b: DUP4 0000041c: CODECOPY 0000041d: DUP2 0000041e: MLOAD 0000041f: SWAP2 00000420: MSTORE 00000421: PUSH1 0x44 00000423: DUP3 00000424: ADD 00000425: MSTORE 00000426: SWAP1 00000427: MLOAD 00000428: SWAP1 00000429: DUP2 0000042a: SWAP1 0000042b: SUB 0000042c: PUSH1 0x64 0000042e: ADD 0000042f: SWAP1 00000430: REVERT 00000431: JUMPDEST 00000432: PUSH1 0x02 00000434: PUSH1 0x04 00000436: SLOAD 00000437: EQ 00000438: ISZERO 00000439: PUSH2 0x047a 0000043c: JUMPI 0000043d: PUSH1 0x40 0000043f: DUP1 00000440: MLOAD 00000441: PUSH3 0x461bcd 00000445: PUSH1 0xe5 00000447: SHL 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x20 0000044c: PUSH1 0x04 0000044e: DUP3 0000044f: ADD 00000450: MSTORE 00000451: PUSH1 0x0e 00000453: PUSH1 0x24 00000455: DUP3 00000456: ADD 00000457: MSTORE 00000458: PUSH14 0x536563757269747920426c6f636b 00000467: PUSH1 0x90 00000469: SHL 0000046a: PUSH1 0x44 0000046c: DUP3 0000046d: ADD 0000046e: MSTORE 0000046f: SWAP1 00000470: MLOAD 00000471: SWAP1 00000472: DUP2 00000473: SWAP1 00000474: SUB 00000475: PUSH1 0x64 00000477: ADD 00000478: SWAP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: PUSH1 0x02 0000047d: PUSH1 0x04 0000047f: SSTORE 00000480: CALLER 00000481: PUSH1 0x00 00000483: SWAP1 00000484: DUP2 00000485: MSTORE 00000486: PUSH1 0x01 00000488: PUSH1 0x20 0000048a: MSTORE 0000048b: PUSH1 0x40 0000048d: SWAP1 0000048e: KECCAK256 0000048f: SLOAD 00000490: DUP3 00000491: GT 00000492: DUP1 00000493: ISZERO 00000494: SWAP1 00000495: PUSH2 0x049e 00000498: JUMPI 00000499: POP 0000049a: PUSH1 0x00 0000049c: DUP3 0000049d: GT 0000049e: JUMPDEST 0000049f: PUSH2 0x04e2 000004a2: JUMPI 000004a3: PUSH1 0x40 000004a5: DUP1 000004a6: MLOAD 000004a7: PUSH3 0x461bcd 000004ab: PUSH1 0xe5 000004ad: SHL 000004ae: DUP2 000004af: MSTORE 000004b0: PUSH1 0x20 000004b2: PUSH1 0x04 000004b4: DUP3 000004b5: ADD 000004b6: MSTORE 000004b7: PUSH1 0x10 000004b9: PUSH1 0x24 000004bb: DUP3 000004bc: ADD 000004bd: MSTORE 000004be: PUSH16 0x4e6f7420656e6f7567682066756e6473 000004cf: PUSH1 0x80 000004d1: SHL 000004d2: PUSH1 0x44 000004d4: DUP3 000004d5: ADD 000004d6: MSTORE 000004d7: SWAP1 000004d8: MLOAD 000004d9: SWAP1 000004da: DUP2 000004db: SWAP1 000004dc: SUB 000004dd: PUSH1 0x64 000004df: ADD 000004e0: SWAP1 000004e1: REVERT 000004e2: JUMPDEST 000004e3: CALLER 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x01 000004eb: PUSH1 0x20 000004ed: MSTORE 000004ee: PUSH1 0x40 000004f0: SWAP1 000004f1: KECCAK256 000004f2: SLOAD 000004f3: PUSH2 0x0502 000004f6: SWAP1 000004f7: DUP4 000004f8: PUSH4 0xffffffff 000004fd: PUSH2 0x0be1 00000500: AND 00000501: JUMP 00000502: JUMPDEST 00000503: CALLER 00000504: PUSH1 0x00 00000506: SWAP1 00000507: DUP2 00000508: MSTORE 00000509: PUSH1 0x01 0000050b: PUSH1 0x20 0000050d: DUP2 0000050e: SWAP1 0000050f: MSTORE 00000510: PUSH1 0x40 00000512: SWAP1 00000513: SWAP2 00000514: KECCAK256 00000515: SWAP2 00000516: DUP3 00000517: SSTORE 00000518: ADD 00000519: SLOAD 0000051a: PUSH2 0x0529 0000051d: SWAP1 0000051e: DUP4 0000051f: PUSH4 0xffffffff 00000524: PUSH2 0x029e 00000527: AND 00000528: JUMP 00000529: JUMPDEST 0000052a: CALLER 0000052b: PUSH1 0x00 0000052d: SWAP1 0000052e: DUP2 0000052f: MSTORE 00000530: PUSH1 0x01 00000532: PUSH1 0x20 00000534: DUP2 00000535: SWAP1 00000536: MSTORE 00000537: PUSH1 0x40 00000539: DUP1 0000053a: DUP4 0000053b: KECCAK256 0000053c: SWAP1 0000053d: SWAP2 0000053e: ADD 0000053f: SWAP3 00000540: SWAP1 00000541: SWAP3 00000542: SSTORE 00000543: SWAP1 00000544: MLOAD 00000545: PUSH1 0x01 00000547: PUSH1 0x01 00000549: PUSH1 0xa0 0000054b: SHL 0000054c: SUB 0000054d: DUP6 0000054e: AND 0000054f: SWAP1 00000550: DUP5 00000551: SWAP1 00000552: DUP4 00000553: DUP2 00000554: DUP2 00000555: DUP2 00000556: DUP6 00000557: DUP8 00000558: GAS 00000559: CALL 0000055a: SWAP3 0000055b: POP 0000055c: POP 0000055d: POP 0000055e: RETURNDATASIZE 0000055f: DUP1 00000560: PUSH1 0x00 00000562: DUP2 00000563: EQ 00000564: PUSH2 0x0589 00000567: JUMPI 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: SWAP2 0000056c: POP 0000056d: PUSH1 0x1f 0000056f: NOT 00000570: PUSH1 0x3f 00000572: RETURNDATASIZE 00000573: ADD 00000574: AND 00000575: DUP3 00000576: ADD 00000577: PUSH1 0x40 00000579: MSTORE 0000057a: RETURNDATASIZE 0000057b: DUP3 0000057c: MSTORE 0000057d: RETURNDATASIZE 0000057e: PUSH1 0x00 00000580: PUSH1 0x20 00000582: DUP5 00000583: ADD 00000584: RETURNDATACOPY 00000585: PUSH2 0x058e 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH1 0x60 0000058c: SWAP2 0000058d: POP 0000058e: JUMPDEST 0000058f: POP 00000590: POP 00000591: PUSH1 0x40 00000593: DUP1 00000594: MLOAD 00000595: CALLER 00000596: DUP2 00000597: MSTORE 00000598: PUSH1 0x01 0000059a: PUSH1 0x01 0000059c: PUSH1 0xa0 0000059e: SHL 0000059f: SUB 000005a0: DUP8 000005a1: AND 000005a2: PUSH1 0x20 000005a4: DUP3 000005a5: ADD 000005a6: MSTORE 000005a7: DUP1 000005a8: DUP3 000005a9: ADD 000005aa: DUP7 000005ab: SWAP1 000005ac: MSTORE 000005ad: SWAP1 000005ae: MLOAD 000005af: SWAP2 000005b0: SWAP3 000005b1: POP 000005b2: PUSH32 0x67b714876402c93362735688659e2283b4a37fb21bab24bc759ca759ae851fd8 000005d3: SWAP2 000005d4: SWAP1 000005d5: DUP2 000005d6: SWAP1 000005d7: SUB 000005d8: PUSH1 0x60 000005da: ADD 000005db: SWAP1 000005dc: LOG1 000005dd: DUP1 000005de: PUSH2 0x0620 000005e1: JUMPI 000005e2: PUSH1 0x40 000005e4: DUP1 000005e5: MLOAD 000005e6: PUSH3 0x461bcd 000005ea: PUSH1 0xe5 000005ec: SHL 000005ed: DUP2 000005ee: MSTORE 000005ef: PUSH1 0x20 000005f1: PUSH1 0x04 000005f3: DUP3 000005f4: ADD 000005f5: MSTORE 000005f6: PUSH1 0x0f 000005f8: PUSH1 0x24 000005fa: DUP3 000005fb: ADD 000005fc: MSTORE 000005fd: PUSH15 0x151c985b9cd9995c8819985a5b1959 0000060d: PUSH1 0x8a 0000060f: SHL 00000610: PUSH1 0x44 00000612: DUP3 00000613: ADD 00000614: MSTORE 00000615: SWAP1 00000616: MLOAD 00000617: SWAP1 00000618: DUP2 00000619: SWAP1 0000061a: SUB 0000061b: PUSH1 0x64 0000061d: ADD 0000061e: SWAP1 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: POP 00000623: PUSH1 0x01 00000625: PUSH1 0x04 00000627: SSTORE 00000628: POP 00000629: POP 0000062a: JUMP 0000062b: JUMPDEST 0000062c: CALLER 0000062d: PUSH1 0x00 0000062f: DUP2 00000630: DUP2 00000631: MSTORE 00000632: PUSH1 0x01 00000634: PUSH1 0x20 00000636: MSTORE 00000637: PUSH1 0x40 00000639: DUP2 0000063a: KECCAK256 0000063b: PUSH1 0x03 0000063d: ADD 0000063e: SLOAD 0000063f: SWAP1 00000640: SWAP2 00000641: SWAP1 00000642: PUSH1 0xff 00000644: AND 00000645: PUSH2 0x0683 00000648: JUMPI 00000649: PUSH1 0x40 0000064b: DUP1 0000064c: MLOAD 0000064d: PUSH3 0x461bcd 00000651: PUSH1 0xe5 00000653: SHL 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x20 00000658: PUSH1 0x04 0000065a: DUP3 0000065b: ADD 0000065c: MSTORE 0000065d: PUSH1 0x18 0000065f: PUSH1 0x24 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: PUSH1 0x00 00000666: DUP1 00000667: MLOAD 00000668: PUSH1 0x20 0000066a: PUSH2 0x1104 0000066d: DUP4 0000066e: CODECOPY 0000066f: DUP2 00000670: MLOAD 00000671: SWAP2 00000672: MSTORE 00000673: PUSH1 0x44 00000675: DUP3 00000676: ADD 00000677: MSTORE 00000678: SWAP1 00000679: MLOAD 0000067a: SWAP1 0000067b: DUP2 0000067c: SWAP1 0000067d: SUB 0000067e: PUSH1 0x64 00000680: ADD 00000681: SWAP1 00000682: REVERT 00000683: JUMPDEST 00000684: POP 00000685: POP 00000686: PUSH1 0x06 00000688: SLOAD 00000689: SWAP1 0000068a: JUMP 0000068b: JUMPDEST 0000068c: CALLER 0000068d: PUSH1 0x00 0000068f: DUP2 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x01 00000694: PUSH1 0x20 00000696: MSTORE 00000697: PUSH1 0x40 00000699: SWAP1 0000069a: KECCAK256 0000069b: PUSH1 0x03 0000069d: ADD 0000069e: SLOAD 0000069f: PUSH1 0xff 000006a1: AND 000006a2: PUSH2 0x06e0 000006a5: JUMPI 000006a6: PUSH1 0x40 000006a8: DUP1 000006a9: MLOAD 000006aa: PUSH3 0x461bcd 000006ae: PUSH1 0xe5 000006b0: SHL 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: PUSH1 0x04 000006b7: DUP3 000006b8: ADD 000006b9: MSTORE 000006ba: PUSH1 0x18 000006bc: PUSH1 0x24 000006be: DUP3 000006bf: ADD 000006c0: MSTORE 000006c1: PUSH1 0x00 000006c3: DUP1 000006c4: MLOAD 000006c5: PUSH1 0x20 000006c7: PUSH2 0x1104 000006ca: DUP4 000006cb: CODECOPY 000006cc: DUP2 000006cd: MLOAD 000006ce: SWAP2 000006cf: MSTORE 000006d0: PUSH1 0x44 000006d2: DUP3 000006d3: ADD 000006d4: MSTORE 000006d5: SWAP1 000006d6: MLOAD 000006d7: SWAP1 000006d8: DUP2 000006d9: SWAP1 000006da: SUB 000006db: PUSH1 0x64 000006dd: ADD 000006de: SWAP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: PUSH1 0x02 000006e3: PUSH1 0x04 000006e5: SLOAD 000006e6: EQ 000006e7: ISZERO 000006e8: PUSH2 0x0729 000006eb: JUMPI 000006ec: PUSH1 0x40 000006ee: DUP1 000006ef: MLOAD 000006f0: PUSH3 0x461bcd 000006f4: PUSH1 0xe5 000006f6: SHL 000006f7: DUP2 000006f8: MSTORE 000006f9: PUSH1 0x20 000006fb: PUSH1 0x04 000006fd: DUP3 000006fe: ADD 000006ff: MSTORE 00000700: PUSH1 0x0e 00000702: PUSH1 0x24 00000704: DUP3 00000705: ADD 00000706: MSTORE 00000707: PUSH14 0x536563757269747920426c6f636b 00000716: PUSH1 0x90 00000718: SHL 00000719: PUSH1 0x44 0000071b: DUP3 0000071c: ADD 0000071d: MSTORE 0000071e: SWAP1 0000071f: MLOAD 00000720: SWAP1 00000721: DUP2 00000722: SWAP1 00000723: SUB 00000724: PUSH1 0x64 00000726: ADD 00000727: SWAP1 00000728: REVERT 00000729: JUMPDEST 0000072a: PUSH1 0x02 0000072c: PUSH1 0x04 0000072e: SSTORE 0000072f: CALLER 00000730: PUSH1 0x00 00000732: SWAP1 00000733: DUP2 00000734: MSTORE 00000735: PUSH1 0x01 00000737: PUSH1 0x20 00000739: MSTORE 0000073a: PUSH1 0x40 0000073c: SWAP1 0000073d: KECCAK256 0000073e: SLOAD 0000073f: DUP3 00000740: GT 00000741: DUP1 00000742: ISZERO 00000743: SWAP1 00000744: PUSH2 0x074d 00000747: JUMPI 00000748: POP 00000749: PUSH1 0x00 0000074b: DUP3 0000074c: GT 0000074d: JUMPDEST 0000074e: PUSH2 0x0791 00000751: JUMPI 00000752: PUSH1 0x40 00000754: DUP1 00000755: MLOAD 00000756: PUSH3 0x461bcd 0000075a: PUSH1 0xe5 0000075c: SHL 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: PUSH1 0x04 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: PUSH1 0x10 00000768: PUSH1 0x24 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH16 0x4e6f7420656e6f7567682066756e6473 0000077e: PUSH1 0x80 00000780: SHL 00000781: PUSH1 0x44 00000783: DUP3 00000784: ADD 00000785: MSTORE 00000786: SWAP1 00000787: MLOAD 00000788: SWAP1 00000789: DUP2 0000078a: SWAP1 0000078b: SUB 0000078c: PUSH1 0x64 0000078e: ADD 0000078f: SWAP1 00000790: REVERT 00000791: JUMPDEST 00000792: CALLER 00000793: PUSH1 0x00 00000795: SWAP1 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x01 0000079a: PUSH1 0x20 0000079c: MSTORE 0000079d: PUSH1 0x40 0000079f: SWAP1 000007a0: KECCAK256 000007a1: SLOAD 000007a2: PUSH2 0x07b1 000007a5: SWAP1 000007a6: DUP4 000007a7: PUSH4 0xffffffff 000007ac: PUSH2 0x0be1 000007af: AND 000007b0: JUMP 000007b1: JUMPDEST 000007b2: CALLER 000007b3: PUSH1 0x00 000007b5: SWAP1 000007b6: DUP2 000007b7: MSTORE 000007b8: PUSH1 0x01 000007ba: PUSH1 0x20 000007bc: DUP2 000007bd: SWAP1 000007be: MSTORE 000007bf: PUSH1 0x40 000007c1: SWAP1 000007c2: SWAP2 000007c3: KECCAK256 000007c4: SWAP2 000007c5: DUP3 000007c6: SSTORE 000007c7: ADD 000007c8: SLOAD 000007c9: PUSH2 0x07d8 000007cc: SWAP1 000007cd: DUP4 000007ce: PUSH4 0xffffffff 000007d3: PUSH2 0x029e 000007d6: AND 000007d7: JUMP 000007d8: JUMPDEST 000007d9: CALLER 000007da: PUSH1 0x00 000007dc: DUP2 000007dd: DUP2 000007de: MSTORE 000007df: PUSH1 0x01 000007e1: PUSH1 0x20 000007e3: DUP2 000007e4: SWAP1 000007e5: MSTORE 000007e6: PUSH1 0x40 000007e8: DUP1 000007e9: DUP4 000007ea: KECCAK256 000007eb: SWAP1 000007ec: SWAP2 000007ed: ADD 000007ee: SWAP4 000007ef: SWAP1 000007f0: SWAP4 000007f1: SSTORE 000007f2: SWAP2 000007f3: MLOAD 000007f4: DUP5 000007f5: SWAP1 000007f6: DUP4 000007f7: DUP2 000007f8: DUP2 000007f9: DUP2 000007fa: DUP6 000007fb: DUP8 000007fc: GAS 000007fd: CALL 000007fe: SWAP3 000007ff: POP 00000800: POP 00000801: POP 00000802: RETURNDATASIZE 00000803: DUP1 00000804: PUSH1 0x00 00000806: DUP2 00000807: EQ 00000808: PUSH2 0x082d 0000080b: JUMPI 0000080c: PUSH1 0x40 0000080e: MLOAD 0000080f: SWAP2 00000810: POP 00000811: PUSH1 0x1f 00000813: NOT 00000814: PUSH1 0x3f 00000816: RETURNDATASIZE 00000817: ADD 00000818: AND 00000819: DUP3 0000081a: ADD 0000081b: PUSH1 0x40 0000081d: MSTORE 0000081e: RETURNDATASIZE 0000081f: DUP3 00000820: MSTORE 00000821: RETURNDATASIZE 00000822: PUSH1 0x00 00000824: PUSH1 0x20 00000826: DUP5 00000827: ADD 00000828: RETURNDATACOPY 00000829: PUSH2 0x0832 0000082c: JUMP 0000082d: JUMPDEST 0000082e: PUSH1 0x60 00000830: SWAP2 00000831: POP 00000832: JUMPDEST 00000833: POP 00000834: POP 00000835: PUSH1 0x40 00000837: DUP1 00000838: MLOAD 00000839: CALLER 0000083a: DUP2 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: DUP2 0000083f: ADD 00000840: DUP7 00000841: SWAP1 00000842: MSTORE 00000843: DUP2 00000844: MLOAD 00000845: SWAP3 00000846: SWAP4 00000847: POP 00000848: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000869: SWAP3 0000086a: SWAP1 0000086b: DUP2 0000086c: SWAP1 0000086d: SUB 0000086e: SWAP1 0000086f: SWAP2 00000870: ADD 00000871: SWAP1 00000872: LOG1 00000873: DUP1 00000874: PUSH2 0x08b6 00000877: JUMPI 00000878: PUSH1 0x40 0000087a: DUP1 0000087b: MLOAD 0000087c: PUSH3 0x461bcd 00000880: PUSH1 0xe5 00000882: SHL 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x20 00000887: PUSH1 0x04 00000889: DUP3 0000088a: ADD 0000088b: MSTORE 0000088c: PUSH1 0x0f 0000088e: PUSH1 0x24 00000890: DUP3 00000891: ADD 00000892: MSTORE 00000893: PUSH15 0x151c985b9cd9995c8819985a5b1959 000008a3: PUSH1 0x8a 000008a5: SHL 000008a6: PUSH1 0x44 000008a8: DUP3 000008a9: ADD 000008aa: MSTORE 000008ab: SWAP1 000008ac: MLOAD 000008ad: SWAP1 000008ae: DUP2 000008af: SWAP1 000008b0: SUB 000008b1: PUSH1 0x64 000008b3: ADD 000008b4: SWAP1 000008b5: REVERT 000008b6: JUMPDEST 000008b7: POP 000008b8: POP 000008b9: PUSH1 0x01 000008bb: PUSH1 0x04 000008bd: SSTORE 000008be: POP 000008bf: JUMP 000008c0: JUMPDEST 000008c1: CALLER 000008c2: PUSH1 0x00 000008c4: DUP2 000008c5: DUP2 000008c6: MSTORE 000008c7: PUSH1 0x01 000008c9: PUSH1 0x20 000008cb: MSTORE 000008cc: PUSH1 0x40 000008ce: DUP2 000008cf: KECCAK256 000008d0: PUSH1 0x03 000008d2: ADD 000008d3: SLOAD 000008d4: SWAP1 000008d5: SWAP2 000008d6: SWAP1 000008d7: PUSH1 0xff 000008d9: AND 000008da: PUSH2 0x0918 000008dd: JUMPI 000008de: PUSH1 0x40 000008e0: DUP1 000008e1: MLOAD 000008e2: PUSH3 0x461bcd 000008e6: PUSH1 0xe5 000008e8: SHL 000008e9: DUP2 000008ea: MSTORE 000008eb: PUSH1 0x20 000008ed: PUSH1 0x04 000008ef: DUP3 000008f0: ADD 000008f1: MSTORE 000008f2: PUSH1 0x18 000008f4: PUSH1 0x24 000008f6: DUP3 000008f7: ADD 000008f8: MSTORE 000008f9: PUSH1 0x00 000008fb: DUP1 000008fc: MLOAD 000008fd: PUSH1 0x20 000008ff: PUSH2 0x1104 00000902: DUP4 00000903: CODECOPY 00000904: DUP2 00000905: MLOAD 00000906: SWAP2 00000907: MSTORE 00000908: PUSH1 0x44 0000090a: DUP3 0000090b: ADD 0000090c: MSTORE 0000090d: SWAP1 0000090e: MLOAD 0000090f: SWAP1 00000910: DUP2 00000911: SWAP1 00000912: SUB 00000913: PUSH1 0x64 00000915: ADD 00000916: SWAP1 00000917: REVERT 00000918: JUMPDEST 00000919: POP 0000091a: POP 0000091b: CALLER 0000091c: PUSH1 0x00 0000091e: SWAP1 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x01 00000923: PUSH1 0x20 00000925: DUP2 00000926: SWAP1 00000927: MSTORE 00000928: PUSH1 0x40 0000092a: SWAP1 0000092b: SWAP2 0000092c: KECCAK256 0000092d: ADD 0000092e: SLOAD 0000092f: SWAP1 00000930: JUMP 00000931: JUMPDEST 00000932: CALLER 00000933: PUSH1 0x00 00000935: DUP2 00000936: DUP2 00000937: MSTORE 00000938: PUSH1 0x01 0000093a: PUSH1 0x20 0000093c: MSTORE 0000093d: PUSH1 0x40 0000093f: SWAP1 00000940: KECCAK256 00000941: PUSH1 0x03 00000943: ADD 00000944: SLOAD 00000945: PUSH1 0xff 00000947: AND 00000948: PUSH2 0x0986 0000094b: JUMPI 0000094c: PUSH1 0x40 0000094e: DUP1 0000094f: MLOAD 00000950: PUSH3 0x461bcd 00000954: PUSH1 0xe5 00000956: SHL 00000957: DUP2 00000958: MSTORE 00000959: PUSH1 0x20 0000095b: PUSH1 0x04 0000095d: DUP3 0000095e: ADD 0000095f: MSTORE 00000960: PUSH1 0x18 00000962: PUSH1 0x24 00000964: DUP3 00000965: ADD 00000966: MSTORE 00000967: PUSH1 0x00 00000969: DUP1 0000096a: MLOAD 0000096b: PUSH1 0x20 0000096d: PUSH2 0x1104 00000970: DUP4 00000971: CODECOPY 00000972: DUP2 00000973: MLOAD 00000974: SWAP2 00000975: MSTORE 00000976: PUSH1 0x44 00000978: DUP3 00000979: ADD 0000097a: MSTORE 0000097b: SWAP1 0000097c: MLOAD 0000097d: SWAP1 0000097e: DUP2 0000097f: SWAP1 00000980: SUB 00000981: PUSH1 0x64 00000983: ADD 00000984: SWAP1 00000985: REVERT 00000986: JUMPDEST 00000987: PUSH1 0x00 00000989: PUSH2 0x0993 0000098c: PUSH1 0x06 0000098e: SLOAD 0000098f: PUSH2 0x0c23 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH1 0x06 00000996: SLOAD 00000997: SWAP1 00000998: SWAP2 00000999: POP 0000099a: PUSH2 0x09a9 0000099d: SWAP1 0000099e: DUP3 0000099f: PUSH4 0xffffffff 000009a4: PUSH2 0x0be1 000009a7: AND 000009a8: JUMP 000009a9: JUMPDEST 000009aa: PUSH1 0x06 000009ac: SSTORE 000009ad: PUSH1 0x40 000009af: DUP1 000009b0: MLOAD 000009b1: CALLER 000009b2: DUP2 000009b3: MSTORE 000009b4: SWAP1 000009b5: MLOAD 000009b6: PUSH32 0xa7c3099cb9fb707a0d3c5632bb4a8b6581722b0503e30d53e039ab30e24669ce 000009d7: SWAP2 000009d8: DUP2 000009d9: SWAP1 000009da: SUB 000009db: PUSH1 0x20 000009dd: ADD 000009de: SWAP1 000009df: LOG1 000009e0: POP 000009e1: POP 000009e2: JUMP 000009e3: JUMPDEST 000009e4: PUSH1 0x00 000009e6: DUP1 000009e7: SLOAD 000009e8: PUSH1 0x01 000009ea: PUSH1 0x01 000009ec: PUSH1 0xa0 000009ee: SHL 000009ef: SUB 000009f0: AND 000009f1: CALLER 000009f2: EQ 000009f3: PUSH2 0x09fb 000009f6: JUMPI 000009f7: PUSH1 0x00 000009f9: DUP1 000009fa: REVERT 000009fb: JUMPDEST 000009fc: PUSH1 0x02 000009fe: PUSH1 0x04 00000a00: SLOAD 00000a01: EQ 00000a02: ISZERO 00000a03: PUSH2 0x0a44 00000a06: JUMPI 00000a07: PUSH1 0x40 00000a09: DUP1 00000a0a: MLOAD 00000a0b: PUSH3 0x461bcd 00000a0f: PUSH1 0xe5 00000a11: SHL 00000a12: DUP2 00000a13: MSTORE 00000a14: PUSH1 0x20 00000a16: PUSH1 0x04 00000a18: DUP3 00000a19: ADD 00000a1a: MSTORE 00000a1b: PUSH1 0x0e 00000a1d: PUSH1 0x24 00000a1f: DUP3 00000a20: ADD 00000a21: MSTORE 00000a22: PUSH14 0x536563757269747920426c6f636b 00000a31: PUSH1 0x90 00000a33: SHL 00000a34: PUSH1 0x44 00000a36: DUP3 00000a37: ADD 00000a38: MSTORE 00000a39: SWAP1 00000a3a: MLOAD 00000a3b: SWAP1 00000a3c: DUP2 00000a3d: SWAP1 00000a3e: SUB 00000a3f: PUSH1 0x64 00000a41: ADD 00000a42: SWAP1 00000a43: REVERT 00000a44: JUMPDEST 00000a45: PUSH1 0x02 00000a47: PUSH1 0x04 00000a49: DUP2 00000a4a: SWAP1 00000a4b: SSTORE 00000a4c: PUSH1 0x01 00000a4e: PUSH1 0x01 00000a50: PUSH1 0xa0 00000a52: SHL 00000a53: SUB 00000a54: DUP6 00000a55: AND 00000a56: PUSH1 0x00 00000a58: SWAP1 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0x20 00000a5f: MSTORE 00000a60: PUSH1 0x40 00000a62: SWAP1 00000a63: KECCAK256 00000a64: ADD 00000a65: SLOAD 00000a66: DUP3 00000a67: GT 00000a68: ISZERO 00000a69: PUSH2 0x0ab2 00000a6c: JUMPI 00000a6d: PUSH1 0x40 00000a6f: DUP1 00000a70: MLOAD 00000a71: PUSH3 0x461bcd 00000a75: PUSH1 0xe5 00000a77: SHL 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x20 00000a7c: PUSH1 0x04 00000a7e: DUP3 00000a7f: ADD 00000a80: MSTORE 00000a81: PUSH1 0x16 00000a83: PUSH1 0x24 00000a85: DUP3 00000a86: ADD 00000a87: MSTORE 00000a88: PUSH22 0x6e6f2070657263656e7461676520746f206d6f766521 00000a9f: PUSH1 0x50 00000aa1: SHL 00000aa2: PUSH1 0x44 00000aa4: DUP3 00000aa5: ADD 00000aa6: MSTORE 00000aa7: SWAP1 00000aa8: MLOAD 00000aa9: SWAP1 00000aaa: DUP2 00000aab: SWAP1 00000aac: SUB 00000aad: PUSH1 0x64 00000aaf: ADD 00000ab0: SWAP1 00000ab1: REVERT 00000ab2: JUMPDEST 00000ab3: PUSH2 0x0abc 00000ab6: DUP5 00000ab7: DUP4 00000ab8: PUSH2 0x0d43 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH2 0x0ac6 00000ac0: DUP4 00000ac1: DUP4 00000ac2: PUSH2 0x0e2f 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: PUSH1 0x01 00000aca: PUSH1 0x01 00000acc: PUSH1 0xa0 00000ace: SHL 00000acf: SUB 00000ad0: DUP4 00000ad1: AND 00000ad2: PUSH1 0x00 00000ad4: SWAP1 00000ad5: DUP2 00000ad6: MSTORE 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0x20 00000adb: MSTORE 00000adc: PUSH1 0x40 00000ade: SWAP1 00000adf: KECCAK256 00000ae0: PUSH1 0x02 00000ae2: ADD 00000ae3: SLOAD 00000ae4: PUSH1 0x01 00000ae6: PUSH1 0x04 00000ae8: SSTORE 00000ae9: SWAP4 00000aea: SWAP3 00000aeb: POP 00000aec: POP 00000aed: POP 00000aee: JUMP 00000aef: JUMPDEST 00000af0: PUSH1 0x00 00000af2: SLOAD 00000af3: PUSH1 0x01 00000af5: PUSH1 0x01 00000af7: PUSH1 0xa0 00000af9: SHL 00000afa: SUB 00000afb: AND 00000afc: CALLER 00000afd: EQ 00000afe: PUSH2 0x0b06 00000b01: JUMPI 00000b02: PUSH1 0x00 00000b04: DUP1 00000b05: REVERT 00000b06: JUMPDEST 00000b07: PUSH1 0x01 00000b09: PUSH1 0x01 00000b0b: PUSH1 0xa0 00000b0d: SHL 00000b0e: SUB 00000b0f: DUP2 00000b10: AND 00000b11: PUSH2 0x0b19 00000b14: JUMPI 00000b15: PUSH1 0x00 00000b17: DUP1 00000b18: REVERT 00000b19: JUMPDEST 00000b1a: PUSH1 0x00 00000b1c: DUP1 00000b1d: SLOAD 00000b1e: PUSH1 0x40 00000b20: MLOAD 00000b21: PUSH1 0x01 00000b23: PUSH1 0x01 00000b25: PUSH1 0xa0 00000b27: SHL 00000b28: SUB 00000b29: DUP1 00000b2a: DUP6 00000b2b: AND 00000b2c: SWAP4 00000b2d: SWAP3 00000b2e: AND 00000b2f: SWAP2 00000b30: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b51: SWAP2 00000b52: LOG3 00000b53: PUSH1 0x00 00000b55: DUP1 00000b56: SLOAD 00000b57: PUSH1 0x01 00000b59: PUSH1 0x01 00000b5b: PUSH1 0xa0 00000b5d: SHL 00000b5e: SUB 00000b5f: NOT 00000b60: AND 00000b61: PUSH1 0x01 00000b63: PUSH1 0x01 00000b65: PUSH1 0xa0 00000b67: SHL 00000b68: SUB 00000b69: SWAP3 00000b6a: SWAP1 00000b6b: SWAP3 00000b6c: AND 00000b6d: SWAP2 00000b6e: SWAP1 00000b6f: SWAP2 00000b70: OR 00000b71: SWAP1 00000b72: SSTORE 00000b73: JUMP 00000b74: JUMPDEST 00000b75: CALLER 00000b76: PUSH1 0x00 00000b78: DUP2 00000b79: DUP2 00000b7a: MSTORE 00000b7b: PUSH1 0x01 00000b7d: PUSH1 0x20 00000b7f: MSTORE 00000b80: PUSH1 0x40 00000b82: DUP2 00000b83: KECCAK256 00000b84: PUSH1 0x03 00000b86: ADD 00000b87: SLOAD 00000b88: SWAP1 00000b89: SWAP2 00000b8a: SWAP1 00000b8b: PUSH1 0xff 00000b8d: AND 00000b8e: PUSH2 0x0bcc 00000b91: JUMPI 00000b92: PUSH1 0x40 00000b94: DUP1 00000b95: MLOAD 00000b96: PUSH3 0x461bcd 00000b9a: PUSH1 0xe5 00000b9c: SHL 00000b9d: DUP2 00000b9e: MSTORE 00000b9f: PUSH1 0x20 00000ba1: PUSH1 0x04 00000ba3: DUP3 00000ba4: ADD 00000ba5: MSTORE 00000ba6: PUSH1 0x18 00000ba8: PUSH1 0x24 00000baa: DUP3 00000bab: ADD 00000bac: MSTORE 00000bad: PUSH1 0x00 00000baf: DUP1 00000bb0: MLOAD 00000bb1: PUSH1 0x20 00000bb3: PUSH2 0x1104 00000bb6: DUP4 00000bb7: CODECOPY 00000bb8: DUP2 00000bb9: MLOAD 00000bba: SWAP2 00000bbb: MSTORE 00000bbc: PUSH1 0x44 00000bbe: DUP3 00000bbf: ADD 00000bc0: MSTORE 00000bc1: SWAP1 00000bc2: MLOAD 00000bc3: SWAP1 00000bc4: DUP2 00000bc5: SWAP1 00000bc6: SUB 00000bc7: PUSH1 0x64 00000bc9: ADD 00000bca: SWAP1 00000bcb: REVERT 00000bcc: JUMPDEST 00000bcd: POP 00000bce: POP 00000bcf: PUSH1 0x00 00000bd1: SWAP1 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x03 00000bd6: PUSH1 0x20 00000bd8: MSTORE 00000bd9: PUSH1 0x40 00000bdb: SWAP1 00000bdc: KECCAK256 00000bdd: SLOAD 00000bde: ISZERO 00000bdf: SWAP1 00000be0: JUMP 00000be1: JUMPDEST 00000be2: PUSH1 0x00 00000be4: PUSH2 0x02f8 00000be7: DUP4 00000be8: DUP4 00000be9: PUSH1 0x40 00000beb: MLOAD 00000bec: DUP1 00000bed: PUSH1 0x40 00000bef: ADD 00000bf0: PUSH1 0x40 00000bf2: MSTORE 00000bf3: DUP1 00000bf4: PUSH1 0x1e 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: PUSH1 0x20 00000bfa: ADD 00000bfb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: POP 00000c1f: PUSH2 0x0f1b 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH1 0x00 00000c26: DUP1 00000c27: DUP3 00000c28: GT 00000c29: PUSH2 0x0c71 00000c2c: JUMPI 00000c2d: PUSH1 0x40 00000c2f: DUP1 00000c30: MLOAD 00000c31: PUSH3 0x461bcd 00000c35: PUSH1 0xe5 00000c37: SHL 00000c38: DUP2 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: PUSH1 0x04 00000c3e: DUP3 00000c3f: ADD 00000c40: MSTORE 00000c41: PUSH1 0x15 00000c43: PUSH1 0x24 00000c45: DUP3 00000c46: ADD 00000c47: MSTORE 00000c48: PUSH21 0x139bc8185b5bdd5b9d081d1c985b9cd9995c9c9959 00000c5e: PUSH1 0x5a 00000c60: SHL 00000c61: PUSH1 0x44 00000c63: DUP3 00000c64: ADD 00000c65: MSTORE 00000c66: SWAP1 00000c67: MLOAD 00000c68: SWAP1 00000c69: DUP2 00000c6a: SWAP1 00000c6b: SUB 00000c6c: PUSH1 0x64 00000c6e: ADD 00000c6f: SWAP1 00000c70: REVERT 00000c71: JUMPDEST 00000c72: PUSH1 0x00 00000c74: PUSH2 0x0c84 00000c77: DUP4 00000c78: PUSH1 0x64 00000c7a: PUSH4 0xffffffff 00000c7f: PUSH2 0x0fb2 00000c82: AND 00000c83: JUMP 00000c84: JUMPDEST 00000c85: SWAP1 00000c86: POP 00000c87: PUSH1 0x00 00000c89: DUP1 00000c8a: DUP1 00000c8b: JUMPDEST 00000c8c: PUSH1 0x05 00000c8e: SLOAD 00000c8f: DUP2 00000c90: LT 00000c91: ISZERO 00000c92: PUSH2 0x0d39 00000c95: JUMPI 00000c96: PUSH1 0x00 00000c98: DUP2 00000c99: DUP2 00000c9a: MSTORE 00000c9b: PUSH1 0x02 00000c9d: PUSH1 0x20 00000c9f: DUP2 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: PUSH1 0x40 00000ca4: DUP1 00000ca5: DUP5 00000ca6: KECCAK256 00000ca7: SLOAD 00000ca8: PUSH1 0x01 00000caa: PUSH1 0x01 00000cac: PUSH1 0xa0 00000cae: SHL 00000caf: SUB 00000cb0: AND 00000cb1: DUP5 00000cb2: MSTORE 00000cb3: PUSH1 0x01 00000cb5: SWAP1 00000cb6: SWAP2 00000cb7: MSTORE 00000cb8: SWAP1 00000cb9: SWAP2 00000cba: KECCAK256 00000cbb: ADD 00000cbc: SLOAD 00000cbd: DUP5 00000cbe: MUL 00000cbf: SWAP2 00000cc0: POP 00000cc1: DUP2 00000cc2: ISZERO 00000cc3: PUSH2 0x0d25 00000cc6: JUMPI 00000cc7: DUP6 00000cc8: PUSH2 0x0cd7 00000ccb: DUP5 00000ccc: DUP5 00000ccd: PUSH4 0xffffffff 00000cd2: PUSH2 0x029e 00000cd5: AND 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: GT 00000cd9: ISZERO 00000cda: PUSH2 0x0cf0 00000cdd: JUMPI 00000cde: PUSH2 0x0ced 00000ce1: DUP7 00000ce2: DUP5 00000ce3: PUSH4 0xffffffff 00000ce8: PUSH2 0x0be1 00000ceb: AND 00000cec: JUMP 00000ced: JUMPDEST 00000cee: SWAP2 00000cef: POP 00000cf0: JUMPDEST 00000cf1: PUSH1 0x00 00000cf3: DUP2 00000cf4: DUP2 00000cf5: MSTORE 00000cf6: PUSH1 0x02 00000cf8: PUSH1 0x20 00000cfa: MSTORE 00000cfb: PUSH1 0x40 00000cfd: SWAP1 00000cfe: KECCAK256 00000cff: SLOAD 00000d00: PUSH2 0x0d12 00000d03: SWAP1 00000d04: PUSH1 0x01 00000d06: PUSH1 0x01 00000d08: PUSH1 0xa0 00000d0a: SHL 00000d0b: SUB 00000d0c: AND 00000d0d: DUP4 00000d0e: PUSH2 0x0ff4 00000d11: JUMP 00000d12: JUMPDEST 00000d13: PUSH2 0x0d22 00000d16: DUP4 00000d17: DUP4 00000d18: PUSH4 0xffffffff 00000d1d: PUSH2 0x029e 00000d20: AND 00000d21: JUMP 00000d22: JUMPDEST 00000d23: SWAP3 00000d24: POP 00000d25: JUMPDEST 00000d26: DUP6 00000d27: DUP4 00000d28: LT 00000d29: PUSH2 0x0d31 00000d2c: JUMPI 00000d2d: PUSH2 0x0d39 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH1 0x01 00000d34: ADD 00000d35: PUSH2 0x0c8b 00000d38: JUMP 00000d39: JUMPDEST 00000d3a: POP 00000d3b: SWAP1 00000d3c: SWAP5 00000d3d: SWAP4 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: POP 00000d42: JUMP 00000d43: JUMPDEST 00000d44: PUSH1 0x01 00000d46: PUSH1 0x01 00000d48: PUSH1 0xa0 00000d4a: SHL 00000d4b: SUB 00000d4c: DUP3 00000d4d: AND 00000d4e: PUSH1 0x00 00000d50: SWAP1 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x01 00000d55: PUSH1 0x20 00000d57: MSTORE 00000d58: PUSH1 0x40 00000d5a: SWAP1 00000d5b: KECCAK256 00000d5c: PUSH1 0x03 00000d5e: ADD 00000d5f: SLOAD 00000d60: DUP3 00000d61: SWAP1 00000d62: PUSH1 0xff 00000d64: AND 00000d65: PUSH2 0x0da3 00000d68: JUMPI 00000d69: PUSH1 0x40 00000d6b: DUP1 00000d6c: MLOAD 00000d6d: PUSH3 0x461bcd 00000d71: PUSH1 0xe5 00000d73: SHL 00000d74: DUP2 00000d75: MSTORE 00000d76: PUSH1 0x20 00000d78: PUSH1 0x04 00000d7a: DUP3 00000d7b: ADD 00000d7c: MSTORE 00000d7d: PUSH1 0x18 00000d7f: PUSH1 0x24 00000d81: DUP3 00000d82: ADD 00000d83: MSTORE 00000d84: PUSH1 0x00 00000d86: DUP1 00000d87: MLOAD 00000d88: PUSH1 0x20 00000d8a: PUSH2 0x1104 00000d8d: DUP4 00000d8e: CODECOPY 00000d8f: DUP2 00000d90: MLOAD 00000d91: SWAP2 00000d92: MSTORE 00000d93: PUSH1 0x44 00000d95: DUP3 00000d96: ADD 00000d97: MSTORE 00000d98: SWAP1 00000d99: MLOAD 00000d9a: SWAP1 00000d9b: DUP2 00000d9c: SWAP1 00000d9d: SUB 00000d9e: PUSH1 0x64 00000da0: ADD 00000da1: SWAP1 00000da2: REVERT 00000da3: JUMPDEST 00000da4: PUSH1 0x01 00000da6: PUSH1 0x01 00000da8: PUSH1 0xa0 00000daa: SHL 00000dab: SUB 00000dac: DUP4 00000dad: AND 00000dae: PUSH1 0x00 00000db0: SWAP1 00000db1: DUP2 00000db2: MSTORE 00000db3: PUSH1 0x01 00000db5: PUSH1 0x20 00000db7: MSTORE 00000db8: PUSH1 0x40 00000dba: SWAP1 00000dbb: KECCAK256 00000dbc: PUSH1 0x02 00000dbe: ADD 00000dbf: SLOAD 00000dc0: PUSH2 0x0dcf 00000dc3: SWAP1 00000dc4: DUP4 00000dc5: PUSH4 0xffffffff 00000dca: PUSH2 0x0be1 00000dcd: AND 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0x01 00000dd4: PUSH1 0xa0 00000dd6: SHL 00000dd7: SUB 00000dd8: DUP5 00000dd9: AND 00000dda: PUSH1 0x00 00000ddc: DUP2 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x01 00000de1: PUSH1 0x20 00000de3: SWAP1 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x40 00000de8: SWAP2 00000de9: DUP3 00000dea: SWAP1 00000deb: KECCAK256 00000dec: PUSH1 0x02 00000dee: ADD 00000def: SWAP4 00000df0: SWAP1 00000df1: SWAP4 00000df2: SSTORE 00000df3: DUP1 00000df4: MLOAD 00000df5: SWAP2 00000df6: DUP3 00000df7: MSTORE 00000df8: SWAP2 00000df9: DUP2 00000dfa: ADD 00000dfb: DUP5 00000dfc: SWAP1 00000dfd: MSTORE 00000dfe: DUP2 00000dff: MLOAD 00000e00: PUSH32 0x167e604d3a9f64192157ef3898a6e59f56f68de3a4bea1bc4f578697173dfe49 00000e21: SWAP3 00000e22: SWAP2 00000e23: DUP2 00000e24: SWAP1 00000e25: SUB 00000e26: SWAP1 00000e27: SWAP2 00000e28: ADD 00000e29: SWAP1 00000e2a: LOG1 00000e2b: POP 00000e2c: POP 00000e2d: POP 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x01 00000e32: PUSH1 0x01 00000e34: PUSH1 0xa0 00000e36: SHL 00000e37: SUB 00000e38: DUP3 00000e39: AND 00000e3a: PUSH1 0x00 00000e3c: SWAP1 00000e3d: DUP2 00000e3e: MSTORE 00000e3f: PUSH1 0x01 00000e41: PUSH1 0x20 00000e43: MSTORE 00000e44: PUSH1 0x40 00000e46: SWAP1 00000e47: KECCAK256 00000e48: PUSH1 0x03 00000e4a: ADD 00000e4b: SLOAD 00000e4c: DUP3 00000e4d: SWAP1 00000e4e: PUSH1 0xff 00000e50: AND 00000e51: PUSH2 0x0e8f 00000e54: JUMPI 00000e55: PUSH1 0x40 00000e57: DUP1 00000e58: MLOAD 00000e59: PUSH3 0x461bcd 00000e5d: PUSH1 0xe5 00000e5f: SHL 00000e60: DUP2 00000e61: MSTORE 00000e62: PUSH1 0x20 00000e64: PUSH1 0x04 00000e66: DUP3 00000e67: ADD 00000e68: MSTORE 00000e69: PUSH1 0x18 00000e6b: PUSH1 0x24 00000e6d: DUP3 00000e6e: ADD 00000e6f: MSTORE 00000e70: PUSH1 0x00 00000e72: DUP1 00000e73: MLOAD 00000e74: PUSH1 0x20 00000e76: PUSH2 0x1104 00000e79: DUP4 00000e7a: CODECOPY 00000e7b: DUP2 00000e7c: MLOAD 00000e7d: SWAP2 00000e7e: MSTORE 00000e7f: PUSH1 0x44 00000e81: DUP3 00000e82: ADD 00000e83: MSTORE 00000e84: SWAP1 00000e85: MLOAD 00000e86: SWAP1 00000e87: DUP2 00000e88: SWAP1 00000e89: SUB 00000e8a: PUSH1 0x64 00000e8c: ADD 00000e8d: SWAP1 00000e8e: REVERT 00000e8f: JUMPDEST 00000e90: PUSH1 0x01 00000e92: PUSH1 0x01 00000e94: PUSH1 0xa0 00000e96: SHL 00000e97: SUB 00000e98: DUP4 00000e99: AND 00000e9a: PUSH1 0x00 00000e9c: SWAP1 00000e9d: DUP2 00000e9e: MSTORE 00000e9f: PUSH1 0x01 00000ea1: PUSH1 0x20 00000ea3: MSTORE 00000ea4: PUSH1 0x40 00000ea6: SWAP1 00000ea7: KECCAK256 00000ea8: PUSH1 0x02 00000eaa: ADD 00000eab: SLOAD 00000eac: PUSH2 0x0ebb 00000eaf: SWAP1 00000eb0: DUP4 00000eb1: PUSH4 0xffffffff 00000eb6: PUSH2 0x029e 00000eb9: AND 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0xa0 00000ec2: SHL 00000ec3: SUB 00000ec4: DUP5 00000ec5: AND 00000ec6: PUSH1 0x00 00000ec8: DUP2 00000ec9: DUP2 00000eca: MSTORE 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0x20 00000ecf: SWAP1 00000ed0: DUP2 00000ed1: MSTORE 00000ed2: PUSH1 0x40 00000ed4: SWAP2 00000ed5: DUP3 00000ed6: SWAP1 00000ed7: KECCAK256 00000ed8: PUSH1 0x02 00000eda: ADD 00000edb: SWAP4 00000edc: SWAP1 00000edd: SWAP4 00000ede: SSTORE 00000edf: DUP1 00000ee0: MLOAD 00000ee1: SWAP2 00000ee2: DUP3 00000ee3: MSTORE 00000ee4: SWAP2 00000ee5: DUP2 00000ee6: ADD 00000ee7: DUP5 00000ee8: SWAP1 00000ee9: MSTORE 00000eea: DUP2 00000eeb: MLOAD 00000eec: PUSH32 0xc830fd4447ae2ca735f4128c06542291ce5be53d49d10e312deb97036a4ac56d 00000f0d: SWAP3 00000f0e: SWAP2 00000f0f: DUP2 00000f10: SWAP1 00000f11: SUB 00000f12: SWAP1 00000f13: SWAP2 00000f14: ADD 00000f15: SWAP1 00000f16: LOG1 00000f17: POP 00000f18: POP 00000f19: POP 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: PUSH1 0x00 00000f1e: DUP2 00000f1f: DUP5 00000f20: DUP5 00000f21: GT 00000f22: ISZERO 00000f23: PUSH2 0x0faa 00000f26: JUMPI 00000f27: PUSH1 0x40 00000f29: MLOAD 00000f2a: PUSH3 0x461bcd 00000f2e: PUSH1 0xe5 00000f30: SHL 00000f31: DUP2 00000f32: MSTORE 00000f33: PUSH1 0x04 00000f35: ADD 00000f36: DUP1 00000f37: DUP1 00000f38: PUSH1 0x20 00000f3a: ADD 00000f3b: DUP3 00000f3c: DUP2 00000f3d: SUB 00000f3e: DUP3 00000f3f: MSTORE 00000f40: DUP4 00000f41: DUP2 00000f42: DUP2 00000f43: MLOAD 00000f44: DUP2 00000f45: MSTORE 00000f46: PUSH1 0x20 00000f48: ADD 00000f49: SWAP2 00000f4a: POP 00000f4b: DUP1 00000f4c: MLOAD 00000f4d: SWAP1 00000f4e: PUSH1 0x20 00000f50: ADD 00000f51: SWAP1 00000f52: DUP1 00000f53: DUP4 00000f54: DUP4 00000f55: PUSH1 0x00 00000f57: JUMPDEST 00000f58: DUP4 00000f59: DUP2 00000f5a: LT 00000f5b: ISZERO 00000f5c: PUSH2 0x0f6f 00000f5f: JUMPI 00000f60: DUP2 00000f61: DUP2 00000f62: ADD 00000f63: MLOAD 00000f64: DUP4 00000f65: DUP3 00000f66: ADD 00000f67: MSTORE 00000f68: PUSH1 0x20 00000f6a: ADD 00000f6b: PUSH2 0x0f57 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: POP 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: SWAP1 00000f75: POP 00000f76: SWAP1 00000f77: DUP2 00000f78: ADD 00000f79: SWAP1 00000f7a: PUSH1 0x1f 00000f7c: AND 00000f7d: DUP1 00000f7e: ISZERO 00000f7f: PUSH2 0x0f9c 00000f82: JUMPI 00000f83: DUP1 00000f84: DUP3 00000f85: SUB 00000f86: DUP1 00000f87: MLOAD 00000f88: PUSH1 0x01 00000f8a: DUP4 00000f8b: PUSH1 0x20 00000f8d: SUB 00000f8e: PUSH2 0x0100 00000f91: EXP 00000f92: SUB 00000f93: NOT 00000f94: AND 00000f95: DUP2 00000f96: MSTORE 00000f97: PUSH1 0x20 00000f99: ADD 00000f9a: SWAP2 00000f9b: POP 00000f9c: JUMPDEST 00000f9d: POP 00000f9e: SWAP3 00000f9f: POP 00000fa0: POP 00000fa1: POP 00000fa2: PUSH1 0x40 00000fa4: MLOAD 00000fa5: DUP1 00000fa6: SWAP2 00000fa7: SUB 00000fa8: SWAP1 00000fa9: REVERT 00000faa: JUMPDEST 00000fab: POP 00000fac: POP 00000fad: POP 00000fae: SWAP1 00000faf: SUB 00000fb0: SWAP1 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: PUSH1 0x00 00000fb5: PUSH2 0x02f8 00000fb8: DUP4 00000fb9: DUP4 00000fba: PUSH1 0x40 00000fbc: MLOAD 00000fbd: DUP1 00000fbe: PUSH1 0x40 00000fc0: ADD 00000fc1: PUSH1 0x40 00000fc3: MSTORE 00000fc4: DUP1 00000fc5: PUSH1 0x1a 00000fc7: DUP2 00000fc8: MSTORE 00000fc9: PUSH1 0x20 00000fcb: ADD 00000fcc: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000fed: DUP2 00000fee: MSTORE 00000fef: POP 00000ff0: PUSH2 0x109e 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: PUSH1 0x01 00000ff7: PUSH1 0x01 00000ff9: PUSH1 0xa0 00000ffb: SHL 00000ffc: SUB 00000ffd: DUP3 00000ffe: AND 00000fff: PUSH1 0x00 00001001: SWAP1 00001002: DUP2 00001003: MSTORE 00001004: PUSH1 0x01 00001006: PUSH1 0x20 00001008: MSTORE 00001009: PUSH1 0x40 0000100b: SWAP1 0000100c: KECCAK256 0000100d: PUSH1 0x03 0000100f: ADD 00001010: SLOAD 00001011: DUP3 00001012: SWAP1 00001013: PUSH1 0xff 00001015: AND 00001016: PUSH2 0x1054 00001019: JUMPI 0000101a: PUSH1 0x40 0000101c: DUP1 0000101d: MLOAD 0000101e: PUSH3 0x461bcd 00001022: PUSH1 0xe5 00001024: SHL 00001025: DUP2 00001026: MSTORE 00001027: PUSH1 0x20 00001029: PUSH1 0x04 0000102b: DUP3 0000102c: ADD 0000102d: MSTORE 0000102e: PUSH1 0x18 00001030: PUSH1 0x24 00001032: DUP3 00001033: ADD 00001034: MSTORE 00001035: PUSH1 0x00 00001037: DUP1 00001038: MLOAD 00001039: PUSH1 0x20 0000103b: PUSH2 0x1104 0000103e: DUP4 0000103f: CODECOPY 00001040: DUP2 00001041: MLOAD 00001042: SWAP2 00001043: MSTORE 00001044: PUSH1 0x44 00001046: DUP3 00001047: ADD 00001048: MSTORE 00001049: SWAP1 0000104a: MLOAD 0000104b: SWAP1 0000104c: DUP2 0000104d: SWAP1 0000104e: SUB 0000104f: PUSH1 0x64 00001051: ADD 00001052: SWAP1 00001053: REVERT 00001054: JUMPDEST 00001055: PUSH1 0x01 00001057: PUSH1 0x01 00001059: PUSH1 0xa0 0000105b: SHL 0000105c: SUB 0000105d: DUP4 0000105e: AND 0000105f: PUSH1 0x00 00001061: SWAP1 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x01 00001066: PUSH1 0x20 00001068: MSTORE 00001069: PUSH1 0x40 0000106b: SWAP1 0000106c: KECCAK256 0000106d: SLOAD 0000106e: PUSH2 0x107d 00001071: SWAP1 00001072: DUP4 00001073: PUSH4 0xffffffff 00001078: PUSH2 0x029e 0000107b: AND 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH1 0x01 00001080: PUSH1 0x01 00001082: PUSH1 0xa0 00001084: SHL 00001085: SUB 00001086: SWAP1 00001087: SWAP4 00001088: AND 00001089: PUSH1 0x00 0000108b: SWAP1 0000108c: DUP2 0000108d: MSTORE 0000108e: PUSH1 0x01 00001090: PUSH1 0x20 00001092: MSTORE 00001093: PUSH1 0x40 00001095: SWAP1 00001096: KECCAK256 00001097: SWAP3 00001098: SWAP1 00001099: SWAP3 0000109a: SSTORE 0000109b: POP 0000109c: POP 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x00 000010a1: DUP2 000010a2: DUP4 000010a3: PUSH2 0x10ed 000010a6: JUMPI 000010a7: PUSH1 0x40 000010a9: MLOAD 000010aa: PUSH3 0x461bcd 000010ae: PUSH1 0xe5 000010b0: SHL 000010b1: DUP2 000010b2: MSTORE 000010b3: PUSH1 0x20 000010b5: PUSH1 0x04 000010b7: DUP3 000010b8: ADD 000010b9: DUP2 000010ba: DUP2 000010bb: MSTORE 000010bc: DUP4 000010bd: MLOAD 000010be: PUSH1 0x24 000010c0: DUP5 000010c1: ADD 000010c2: MSTORE 000010c3: DUP4 000010c4: MLOAD 000010c5: SWAP1 000010c6: SWAP3 000010c7: DUP4 000010c8: SWAP3 000010c9: PUSH1 0x44 000010cb: SWAP1 000010cc: SWAP2 000010cd: ADD 000010ce: SWAP2 000010cf: SWAP1 000010d0: DUP6 000010d1: ADD 000010d2: SWAP1 000010d3: DUP1 000010d4: DUP4 000010d5: DUP4 000010d6: PUSH1 0x00 000010d8: DUP4 000010d9: ISZERO 000010da: PUSH2 0x0f6f 000010dd: JUMPI 000010de: DUP2 000010df: DUP2 000010e0: ADD 000010e1: MLOAD 000010e2: DUP4 000010e3: DUP3 000010e4: ADD 000010e5: MSTORE 000010e6: PUSH1 0x20 000010e8: ADD 000010e9: PUSH2 0x0f57 000010ec: JUMP 000010ed: JUMPDEST 000010ee: POP 000010ef: PUSH1 0x00 000010f1: DUP4 000010f2: DUP6 000010f3: DUP2 000010f4: PUSH2 0x10f9 000010f7: JUMPI 000010f8: INVALID 000010f9: JUMPDEST 000010fa: DIV 000010fb: SWAP6 000010fc: SWAP5 000010fd: POP 000010fe: POP 000010ff: POP 00001100: POP 00001101: POP 00001102: JUMP 00001103: INVALID 00001104: TIMESTAMP 00001105: PUSH2 0x6e6b 00001108: KECCAK256 00001109: PUSH2 0x6363 0000110c: PUSH16 0x756e7420646f6e742065786973742100 0000111d: STOP 0000111e: STOP 0000111f: STOP 00001120: STOP 00001121: STOP 00001122: STOP 00001123: STOP 00001124: LOG2 00001125: PUSH5 0x6970667358 0000112b: UNKNOWN(0x22) 0000112c: SLT 0000112d: KECCAK256 0000112e: PUSH32 0x1f8ffbcaa3acbea5d6672bc14ba77f0d95329c0c4009d302be3ad4baa9451d64 0000114f: PUSH20
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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe8a619118109244532909b428a95f10229a2e16ba17f5810dc315eeda8504b1b
call_targets:
0x6b93f4175931f30b16d8c9b5b9b1995b71843746
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe8a619118109244532909b428a95f10229a2e16ba17f5810dc315eeda8504b1b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6b93f4175931f30b16d8c9b5b9b1995b71843746"
],
"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": "0x55d0ad18",
"selector": "0x55d0ad18",
"calldata_variants": [
"0x55d0ad18",
"0x55d0ad180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x707fcf19",
"selector": "0x707fcf19",
"calldata_variants": [
"0x707fcf19",
"0x707fcf190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd58623c4",
"selector": "0xd58623c4",
"calldata_variants": [
"0xd58623c4",
"0xd58623c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfad44a44",
"selector": "0xfad44a44",
"calldata_variants": [
"0xfad44a44",
"0xfad44a440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b2accb2",
"selector": "0x0b2accb2",
"calldata_variants": [
"0x0b2accb2",
"0x0b2accb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1369,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2045,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe8a619118109244532909b428a95f10229a2e16ba17f5810dc315eeda8504b1b
call_targets:
0x6b93f4175931f30b16d8c9b5b9b1995b71843746
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe8a619118109244532909b428a95f10229a2e16ba17f5810dc315eeda8504b1b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6b93f4175931f30b16d8c9b5b9b1995b71843746"
],
"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": "0x55d0ad18",
"selector": "0x55d0ad18",
"calldata_variants": [
"0x55d0ad18",
"0x55d0ad180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x707fcf19",
"selector": "0x707fcf19",
"calldata_variants": [
"0x707fcf19",
"0x707fcf190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd58623c4",
"selector": "0xd58623c4",
"calldata_variants": [
"0xd58623c4",
"0xd58623c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfad44a44",
"selector": "0xfad44a44",
"calldata_variants": [
"0xfad44a44",
"0xfad44a440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b2accb2",
"selector": "0x0b2accb2",
"calldata_variants": [
"0x0b2accb2",
"0x0b2accb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1369,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2045,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|