019b3836-5d69-7167-a096-a8ea1f94c2d3
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 |
|---|---|---|---|---|
| 9327 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 9328 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 83060 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 83061 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 83062 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 83063 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00ab 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x27e235e3 00000034: EQ 00000035: PUSH2 0x00ad 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x3a7d280c 0000003f: EQ 00000040: PUSH2 0x00d9 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x3ffbd47f 0000004a: EQ 0000004b: PUSH2 0x0145 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x4cbee813 00000055: EQ 00000056: PUSH2 0x01e2 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x62bb758f 00000060: EQ 00000061: PUSH2 0x024e 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x663f9c0d 0000006b: EQ 0000006c: PUSH2 0x027e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa87430ba 00000076: EQ 00000077: PUSH2 0x02ac 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xb45105b2 00000081: EQ 00000082: PUSH2 0x0330 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb7482509 0000008c: EQ 0000008d: PUSH2 0x0442 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe827b3e2 00000097: EQ 00000098: PUSH2 0x050d 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xf108a7d2 000000a2: EQ 000000a3: PUSH2 0x0591 000000a6: JUMPI 000000a7: PUSH2 0x00ab 000000aa: JUMP 000000ab: JUMPDEST 000000ac: STOP 000000ad: JUMPDEST 000000ae: PUSH2 0x00c3 000000b1: PUSH1 0x04 000000b3: DUP1 000000b4: DUP1 000000b5: CALLDATALOAD 000000b6: SWAP1 000000b7: PUSH1 0x20 000000b9: ADD 000000ba: SWAP1 000000bb: SWAP2 000000bc: SWAP1 000000bd: POP 000000be: POP 000000bf: PUSH2 0x0665 000000c2: JUMP 000000c3: JUMPDEST 000000c4: PUSH1 0x40 000000c6: MLOAD 000000c7: DUP1 000000c8: DUP3 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x20 000000cd: ADD 000000ce: SWAP2 000000cf: POP 000000d0: POP 000000d1: PUSH1 0x40 000000d3: MLOAD 000000d4: DUP1 000000d5: SWAP2 000000d6: SUB 000000d7: SWAP1 000000d8: RETURN 000000d9: JUMPDEST 000000da: PUSH2 0x012d 000000dd: PUSH1 0x04 000000df: DUP1 000000e0: DUP1 000000e1: CALLDATALOAD 000000e2: SWAP1 000000e3: PUSH1 0x20 000000e5: ADD 000000e6: SWAP1 000000e7: DUP3 000000e8: ADD 000000e9: DUP1 000000ea: CALLDATALOAD 000000eb: SWAP1 000000ec: PUSH1 0x20 000000ee: ADD 000000ef: SWAP2 000000f0: SWAP2 000000f1: SWAP1 000000f2: DUP1 000000f3: DUP1 000000f4: PUSH1 0x1f 000000f6: ADD 000000f7: PUSH1 0x20 000000f9: DUP1 000000fa: SWAP2 000000fb: DIV 000000fc: MUL 000000fd: PUSH1 0x20 000000ff: ADD 00000100: PUSH1 0x40 00000102: MLOAD 00000103: SWAP1 00000104: DUP2 00000105: ADD 00000106: PUSH1 0x40 00000108: MSTORE 00000109: DUP1 0000010a: SWAP4 0000010b: SWAP3 0000010c: SWAP2 0000010d: SWAP1 0000010e: DUP2 0000010f: DUP2 00000110: MSTORE 00000111: PUSH1 0x20 00000113: ADD 00000114: DUP4 00000115: DUP4 00000116: DUP1 00000117: DUP3 00000118: DUP5 00000119: CALLDATACOPY 0000011a: DUP3 0000011b: ADD 0000011c: SWAP2 0000011d: POP 0000011e: POP 0000011f: POP 00000120: POP 00000121: POP 00000122: POP 00000123: SWAP1 00000124: SWAP1 00000125: SWAP2 00000126: SWAP1 00000127: POP 00000128: POP 00000129: PUSH2 0x0680 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: DUP3 00000133: ISZERO 00000134: ISZERO 00000135: DUP2 00000136: MSTORE 00000137: PUSH1 0x20 00000139: ADD 0000013a: SWAP2 0000013b: POP 0000013c: POP 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: DUP1 00000141: SWAP2 00000142: SUB 00000143: SWAP1 00000144: RETURN 00000145: JUMPDEST 00000146: PUSH2 0x01e0 00000149: PUSH1 0x04 0000014b: DUP1 0000014c: DUP1 0000014d: CALLDATALOAD 0000014e: SWAP1 0000014f: PUSH1 0x20 00000151: ADD 00000152: SWAP1 00000153: DUP3 00000154: ADD 00000155: DUP1 00000156: CALLDATALOAD 00000157: SWAP1 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP2 0000015c: SWAP2 0000015d: SWAP1 0000015e: DUP1 0000015f: DUP1 00000160: PUSH1 0x1f 00000162: ADD 00000163: PUSH1 0x20 00000165: DUP1 00000166: SWAP2 00000167: DIV 00000168: MUL 00000169: PUSH1 0x20 0000016b: ADD 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: SWAP1 00000170: DUP2 00000171: ADD 00000172: PUSH1 0x40 00000174: MSTORE 00000175: DUP1 00000176: SWAP4 00000177: SWAP3 00000178: SWAP2 00000179: SWAP1 0000017a: DUP2 0000017b: DUP2 0000017c: MSTORE 0000017d: PUSH1 0x20 0000017f: ADD 00000180: DUP4 00000181: DUP4 00000182: DUP1 00000183: DUP3 00000184: DUP5 00000185: CALLDATACOPY 00000186: DUP3 00000187: ADD 00000188: SWAP2 00000189: POP 0000018a: POP 0000018b: POP 0000018c: POP 0000018d: POP 0000018e: POP 0000018f: SWAP1 00000190: SWAP1 00000191: SWAP2 00000192: SWAP1 00000193: DUP1 00000194: CALLDATALOAD 00000195: SWAP1 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP1 0000019a: DUP3 0000019b: ADD 0000019c: DUP1 0000019d: CALLDATALOAD 0000019e: SWAP1 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: SWAP2 000001a3: SWAP2 000001a4: SWAP1 000001a5: DUP1 000001a6: DUP1 000001a7: PUSH1 0x1f 000001a9: ADD 000001aa: PUSH1 0x20 000001ac: DUP1 000001ad: SWAP2 000001ae: DIV 000001af: MUL 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: SWAP1 000001b7: DUP2 000001b8: ADD 000001b9: PUSH1 0x40 000001bb: MSTORE 000001bc: DUP1 000001bd: SWAP4 000001be: SWAP3 000001bf: SWAP2 000001c0: SWAP1 000001c1: DUP2 000001c2: DUP2 000001c3: MSTORE 000001c4: PUSH1 0x20 000001c6: ADD 000001c7: DUP4 000001c8: DUP4 000001c9: DUP1 000001ca: DUP3 000001cb: DUP5 000001cc: CALLDATACOPY 000001cd: DUP3 000001ce: ADD 000001cf: SWAP2 000001d0: POP 000001d1: POP 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: SWAP1 000001d7: SWAP1 000001d8: SWAP2 000001d9: SWAP1 000001da: POP 000001db: POP 000001dc: PUSH2 0x076f 000001df: JUMP 000001e0: JUMPDEST 000001e1: STOP 000001e2: JUMPDEST 000001e3: PUSH2 0x0236 000001e6: PUSH1 0x04 000001e8: DUP1 000001e9: DUP1 000001ea: CALLDATALOAD 000001eb: SWAP1 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: SWAP1 000001f0: DUP3 000001f1: ADD 000001f2: DUP1 000001f3: CALLDATALOAD 000001f4: SWAP1 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: SWAP2 000001f9: SWAP2 000001fa: SWAP1 000001fb: DUP1 000001fc: DUP1 000001fd: PUSH1 0x1f 000001ff: ADD 00000200: PUSH1 0x20 00000202: DUP1 00000203: SWAP2 00000204: DIV 00000205: MUL 00000206: PUSH1 0x20 00000208: ADD 00000209: PUSH1 0x40 0000020b: MLOAD 0000020c: SWAP1 0000020d: DUP2 0000020e: ADD 0000020f: PUSH1 0x40 00000211: MSTORE 00000212: DUP1 00000213: SWAP4 00000214: SWAP3 00000215: SWAP2 00000216: SWAP1 00000217: DUP2 00000218: DUP2 00000219: MSTORE 0000021a: PUSH1 0x20 0000021c: ADD 0000021d: DUP4 0000021e: DUP4 0000021f: DUP1 00000220: DUP3 00000221: DUP5 00000222: CALLDATACOPY 00000223: DUP3 00000224: ADD 00000225: SWAP2 00000226: POP 00000227: POP 00000228: POP 00000229: POP 0000022a: POP 0000022b: POP 0000022c: SWAP1 0000022d: SWAP1 0000022e: SWAP2 0000022f: SWAP1 00000230: POP 00000231: POP 00000232: PUSH2 0x08d4 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH1 0x40 00000239: MLOAD 0000023a: DUP1 0000023b: DUP3 0000023c: ISZERO 0000023d: ISZERO 0000023e: DUP2 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP2 00000244: POP 00000245: POP 00000246: PUSH1 0x40 00000248: MLOAD 00000249: DUP1 0000024a: SWAP2 0000024b: SUB 0000024c: SWAP1 0000024d: RETURN 0000024e: JUMPDEST 0000024f: PUSH2 0x0264 00000252: PUSH1 0x04 00000254: DUP1 00000255: DUP1 00000256: CALLDATALOAD 00000257: SWAP1 00000258: PUSH1 0x20 0000025a: ADD 0000025b: SWAP1 0000025c: SWAP2 0000025d: SWAP1 0000025e: POP 0000025f: POP 00000260: PUSH2 0x09c3 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: DUP3 0000026a: PUSH1 0x00 0000026c: NOT 0000026d: AND 0000026e: DUP2 0000026f: MSTORE 00000270: PUSH1 0x20 00000272: ADD 00000273: SWAP2 00000274: POP 00000275: POP 00000276: PUSH1 0x40 00000278: MLOAD 00000279: DUP1 0000027a: SWAP2 0000027b: SUB 0000027c: SWAP1 0000027d: RETURN 0000027e: JUMPDEST 0000027f: PUSH2 0x0294 00000282: PUSH1 0x04 00000284: DUP1 00000285: DUP1 00000286: CALLDATALOAD 00000287: SWAP1 00000288: PUSH1 0x20 0000028a: ADD 0000028b: SWAP1 0000028c: SWAP2 0000028d: SWAP1 0000028e: POP 0000028f: POP 00000290: PUSH2 0x09de 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH1 0x40 00000297: MLOAD 00000298: DUP1 00000299: DUP3 0000029a: ISZERO 0000029b: ISZERO 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: SWAP2 000002a2: POP 000002a3: POP 000002a4: PUSH1 0x40 000002a6: MLOAD 000002a7: DUP1 000002a8: SWAP2 000002a9: SUB 000002aa: SWAP1 000002ab: RETURN 000002ac: JUMPDEST 000002ad: PUSH2 0x02c2 000002b0: PUSH1 0x04 000002b2: DUP1 000002b3: DUP1 000002b4: CALLDATALOAD 000002b5: SWAP1 000002b6: PUSH1 0x20 000002b8: ADD 000002b9: SWAP1 000002ba: SWAP2 000002bb: SWAP1 000002bc: POP 000002bd: POP 000002be: PUSH2 0x0a03 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: DUP1 000002c7: DUP1 000002c8: PUSH1 0x20 000002ca: ADD 000002cb: DUP3 000002cc: DUP2 000002cd: SUB 000002ce: DUP3 000002cf: MSTORE 000002d0: DUP4 000002d1: DUP2 000002d2: DUP2 000002d3: MLOAD 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x20 000002d8: ADD 000002d9: SWAP2 000002da: POP 000002db: DUP1 000002dc: MLOAD 000002dd: SWAP1 000002de: PUSH1 0x20 000002e0: ADD 000002e1: SWAP1 000002e2: DUP1 000002e3: DUP4 000002e4: DUP4 000002e5: DUP3 000002e6: SWAP1 000002e7: PUSH1 0x00 000002e9: PUSH1 0x04 000002eb: PUSH1 0x20 000002ed: DUP5 000002ee: PUSH1 0x1f 000002f0: ADD 000002f1: DIV 000002f2: PUSH1 0x03 000002f4: MUL 000002f5: PUSH1 0x0f 000002f7: ADD 000002f8: CALL 000002f9: POP 000002fa: SWAP1 000002fb: POP 000002fc: SWAP1 000002fd: DUP2 000002fe: ADD 000002ff: SWAP1 00000300: PUSH1 0x1f 00000302: AND 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x0322 00000308: JUMPI 00000309: DUP1 0000030a: DUP3 0000030b: SUB 0000030c: DUP1 0000030d: MLOAD 0000030e: PUSH1 0x01 00000310: DUP4 00000311: PUSH1 0x20 00000313: SUB 00000314: PUSH2 0x0100 00000317: EXP 00000318: SUB 00000319: NOT 0000031a: AND 0000031b: DUP2 0000031c: MSTORE 0000031d: PUSH1 0x20 0000031f: ADD 00000320: SWAP2 00000321: POP 00000322: JUMPDEST 00000323: POP 00000324: SWAP3 00000325: POP 00000326: POP 00000327: POP 00000328: PUSH1 0x40 0000032a: MLOAD 0000032b: DUP1 0000032c: SWAP2 0000032d: SUB 0000032e: SWAP1 0000032f: RETURN 00000330: JUMPDEST 00000331: PUSH2 0x03d4 00000334: PUSH1 0x04 00000336: DUP1 00000337: DUP1 00000338: CALLDATALOAD 00000339: SWAP1 0000033a: PUSH1 0x20 0000033c: ADD 0000033d: SWAP1 0000033e: DUP3 0000033f: ADD 00000340: DUP1 00000341: CALLDATALOAD 00000342: SWAP1 00000343: PUSH1 0x20 00000345: ADD 00000346: SWAP2 00000347: SWAP2 00000348: SWAP1 00000349: DUP1 0000034a: DUP1 0000034b: PUSH1 0x1f 0000034d: ADD 0000034e: PUSH1 0x20 00000350: DUP1 00000351: SWAP2 00000352: DIV 00000353: MUL 00000354: PUSH1 0x20 00000356: ADD 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: SWAP1 0000035b: DUP2 0000035c: ADD 0000035d: PUSH1 0x40 0000035f: MSTORE 00000360: DUP1 00000361: SWAP4 00000362: SWAP3 00000363: SWAP2 00000364: SWAP1 00000365: DUP2 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: ADD 0000036b: DUP4 0000036c: DUP4 0000036d: DUP1 0000036e: DUP3 0000036f: DUP5 00000370: CALLDATACOPY 00000371: DUP3 00000372: ADD 00000373: SWAP2 00000374: POP 00000375: POP 00000376: POP 00000377: POP 00000378: POP 00000379: POP 0000037a: SWAP1 0000037b: SWAP1 0000037c: SWAP2 0000037d: SWAP1 0000037e: DUP1 0000037f: CALLDATALOAD 00000380: SWAP1 00000381: PUSH1 0x20 00000383: ADD 00000384: SWAP1 00000385: SWAP2 00000386: SWAP1 00000387: DUP1 00000388: CALLDATALOAD 00000389: SWAP1 0000038a: PUSH1 0x20 0000038c: ADD 0000038d: SWAP1 0000038e: DUP3 0000038f: ADD 00000390: DUP1 00000391: CALLDATALOAD 00000392: SWAP1 00000393: PUSH1 0x20 00000395: ADD 00000396: SWAP2 00000397: SWAP2 00000398: SWAP1 00000399: DUP1 0000039a: DUP1 0000039b: PUSH1 0x1f 0000039d: ADD 0000039e: PUSH1 0x20 000003a0: DUP1 000003a1: SWAP2 000003a2: DIV 000003a3: MUL 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: SWAP1 000003ab: DUP2 000003ac: ADD 000003ad: PUSH1 0x40 000003af: MSTORE 000003b0: DUP1 000003b1: SWAP4 000003b2: SWAP3 000003b3: SWAP2 000003b4: SWAP1 000003b5: DUP2 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x20 000003ba: ADD 000003bb: DUP4 000003bc: DUP4 000003bd: DUP1 000003be: DUP3 000003bf: DUP5 000003c0: CALLDATACOPY 000003c1: DUP3 000003c2: ADD 000003c3: SWAP2 000003c4: POP 000003c5: POP 000003c6: POP 000003c7: POP 000003c8: POP 000003c9: POP 000003ca: SWAP1 000003cb: SWAP1 000003cc: SWAP2 000003cd: SWAP1 000003ce: POP 000003cf: POP 000003d0: PUSH2 0x0ab6 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x40 000003d7: MLOAD 000003d8: DUP1 000003d9: DUP1 000003da: PUSH1 0x20 000003dc: ADD 000003dd: DUP3 000003de: DUP2 000003df: SUB 000003e0: DUP3 000003e1: MSTORE 000003e2: DUP4 000003e3: DUP2 000003e4: DUP2 000003e5: MLOAD 000003e6: DUP2 000003e7: MSTORE 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: SWAP2 000003ec: POP 000003ed: DUP1 000003ee: MLOAD 000003ef: SWAP1 000003f0: PUSH1 0x20 000003f2: ADD 000003f3: SWAP1 000003f4: DUP1 000003f5: DUP4 000003f6: DUP4 000003f7: DUP3 000003f8: SWAP1 000003f9: PUSH1 0x00 000003fb: PUSH1 0x04 000003fd: PUSH1 0x20 000003ff: DUP5 00000400: PUSH1 0x1f 00000402: ADD 00000403: DIV 00000404: PUSH1 0x03 00000406: MUL 00000407: PUSH1 0x0f 00000409: ADD 0000040a: CALL 0000040b: POP 0000040c: SWAP1 0000040d: POP 0000040e: SWAP1 0000040f: DUP2 00000410: ADD 00000411: SWAP1 00000412: PUSH1 0x1f 00000414: AND 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x0434 0000041a: JUMPI 0000041b: DUP1 0000041c: DUP3 0000041d: SUB 0000041e: DUP1 0000041f: MLOAD 00000420: PUSH1 0x01 00000422: DUP4 00000423: PUSH1 0x20 00000425: SUB 00000426: PUSH2 0x0100 00000429: EXP 0000042a: SUB 0000042b: NOT 0000042c: AND 0000042d: DUP2 0000042e: MSTORE 0000042f: PUSH1 0x20 00000431: ADD 00000432: SWAP2 00000433: POP 00000434: JUMPDEST 00000435: POP 00000436: SWAP3 00000437: POP 00000438: POP 00000439: POP 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP1 0000043e: SWAP2 0000043f: SUB 00000440: SWAP1 00000441: RETURN 00000442: JUMPDEST 00000443: PUSH2 0x049f 00000446: PUSH1 0x04 00000448: DUP1 00000449: DUP1 0000044a: CALLDATALOAD 0000044b: SWAP1 0000044c: PUSH1 0x20 0000044e: ADD 0000044f: SWAP1 00000450: SWAP2 00000451: SWAP1 00000452: DUP1 00000453: CALLDATALOAD 00000454: SWAP1 00000455: PUSH1 0x20 00000457: ADD 00000458: SWAP1 00000459: DUP3 0000045a: ADD 0000045b: DUP1 0000045c: CALLDATALOAD 0000045d: SWAP1 0000045e: PUSH1 0x20 00000460: ADD 00000461: SWAP2 00000462: SWAP2 00000463: SWAP1 00000464: DUP1 00000465: DUP1 00000466: PUSH1 0x1f 00000468: ADD 00000469: PUSH1 0x20 0000046b: DUP1 0000046c: SWAP2 0000046d: DIV 0000046e: MUL 0000046f: PUSH1 0x20 00000471: ADD 00000472: PUSH1 0x40 00000474: MLOAD 00000475: SWAP1 00000476: DUP2 00000477: ADD 00000478: PUSH1 0x40 0000047a: MSTORE 0000047b: DUP1 0000047c: SWAP4 0000047d: SWAP3 0000047e: SWAP2 0000047f: SWAP1 00000480: DUP2 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x20 00000485: ADD 00000486: DUP4 00000487: DUP4 00000488: DUP1 00000489: DUP3 0000048a: DUP5 0000048b: CALLDATACOPY 0000048c: DUP3 0000048d: ADD 0000048e: SWAP2 0000048f: POP 00000490: POP 00000491: POP 00000492: POP 00000493: POP 00000494: POP 00000495: SWAP1 00000496: SWAP1 00000497: SWAP2 00000498: SWAP1 00000499: POP 0000049a: POP 0000049b: PUSH2 0x0d10 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH1 0x40 000004a2: MLOAD 000004a3: DUP1 000004a4: DUP1 000004a5: PUSH1 0x20 000004a7: ADD 000004a8: DUP3 000004a9: DUP2 000004aa: SUB 000004ab: DUP3 000004ac: MSTORE 000004ad: DUP4 000004ae: DUP2 000004af: DUP2 000004b0: MLOAD 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP2 000004b7: POP 000004b8: DUP1 000004b9: MLOAD 000004ba: SWAP1 000004bb: PUSH1 0x20 000004bd: ADD 000004be: SWAP1 000004bf: DUP1 000004c0: DUP4 000004c1: DUP4 000004c2: DUP3 000004c3: SWAP1 000004c4: PUSH1 0x00 000004c6: PUSH1 0x04 000004c8: PUSH1 0x20 000004ca: DUP5 000004cb: PUSH1 0x1f 000004cd: ADD 000004ce: DIV 000004cf: PUSH1 0x03 000004d1: MUL 000004d2: PUSH1 0x0f 000004d4: ADD 000004d5: CALL 000004d6: POP 000004d7: SWAP1 000004d8: POP 000004d9: SWAP1 000004da: DUP2 000004db: ADD 000004dc: SWAP1 000004dd: PUSH1 0x1f 000004df: AND 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ff 000004e5: JUMPI 000004e6: DUP1 000004e7: DUP3 000004e8: SUB 000004e9: DUP1 000004ea: MLOAD 000004eb: PUSH1 0x01 000004ed: DUP4 000004ee: PUSH1 0x20 000004f0: SUB 000004f1: PUSH2 0x0100 000004f4: EXP 000004f5: SUB 000004f6: NOT 000004f7: AND 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: SWAP2 000004fe: POP 000004ff: JUMPDEST 00000500: POP 00000501: SWAP3 00000502: POP 00000503: POP 00000504: POP 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP1 00000509: SWAP2 0000050a: SUB 0000050b: SWAP1 0000050c: RETURN 0000050d: JUMPDEST 0000050e: PUSH2 0x0523 00000511: PUSH1 0x04 00000513: DUP1 00000514: DUP1 00000515: CALLDATALOAD 00000516: SWAP1 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP1 0000051b: SWAP2 0000051c: SWAP1 0000051d: POP 0000051e: POP 0000051f: PUSH2 0x0ece 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH1 0x40 00000526: MLOAD 00000527: DUP1 00000528: DUP1 00000529: PUSH1 0x20 0000052b: ADD 0000052c: DUP3 0000052d: DUP2 0000052e: SUB 0000052f: DUP3 00000530: MSTORE 00000531: DUP4 00000532: DUP2 00000533: DUP2 00000534: MLOAD 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x20 00000539: ADD 0000053a: SWAP2 0000053b: POP 0000053c: DUP1 0000053d: MLOAD 0000053e: SWAP1 0000053f: PUSH1 0x20 00000541: ADD 00000542: SWAP1 00000543: DUP1 00000544: DUP4 00000545: DUP4 00000546: DUP3 00000547: SWAP1 00000548: PUSH1 0x00 0000054a: PUSH1 0x04 0000054c: PUSH1 0x20 0000054e: DUP5 0000054f: PUSH1 0x1f 00000551: ADD 00000552: DIV 00000553: PUSH1 0x03 00000555: MUL 00000556: PUSH1 0x0f 00000558: ADD 00000559: CALL 0000055a: POP 0000055b: SWAP1 0000055c: POP 0000055d: SWAP1 0000055e: DUP2 0000055f: ADD 00000560: SWAP1 00000561: PUSH1 0x1f 00000563: AND 00000564: DUP1 00000565: ISZERO 00000566: PUSH2 0x0583 00000569: JUMPI 0000056a: DUP1 0000056b: DUP3 0000056c: SUB 0000056d: DUP1 0000056e: MLOAD 0000056f: PUSH1 0x01 00000571: DUP4 00000572: PUSH1 0x20 00000574: SUB 00000575: PUSH2 0x0100 00000578: EXP 00000579: SUB 0000057a: NOT 0000057b: AND 0000057c: DUP2 0000057d: MSTORE 0000057e: PUSH1 0x20 00000580: ADD 00000581: SWAP2 00000582: POP 00000583: JUMPDEST 00000584: POP 00000585: SWAP3 00000586: POP 00000587: POP 00000588: POP 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: DUP1 0000058d: SWAP2 0000058e: SUB 0000058f: SWAP1 00000590: RETURN 00000591: JUMPDEST 00000592: PUSH2 0x05f7 00000595: PUSH1 0x04 00000597: DUP1 00000598: DUP1 00000599: CALLDATALOAD 0000059a: SWAP1 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: SWAP1 0000059f: SWAP2 000005a0: SWAP1 000005a1: DUP1 000005a2: CALLDATALOAD 000005a3: SWAP1 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: SWAP1 000005a8: SWAP2 000005a9: SWAP1 000005aa: DUP1 000005ab: CALLDATALOAD 000005ac: SWAP1 000005ad: PUSH1 0x20 000005af: ADD 000005b0: SWAP1 000005b1: DUP3 000005b2: ADD 000005b3: DUP1 000005b4: CALLDATALOAD 000005b5: SWAP1 000005b6: PUSH1 0x20 000005b8: ADD 000005b9: SWAP2 000005ba: SWAP2 000005bb: SWAP1 000005bc: DUP1 000005bd: DUP1 000005be: PUSH1 0x1f 000005c0: ADD 000005c1: PUSH1 0x20 000005c3: DUP1 000005c4: SWAP2 000005c5: DIV 000005c6: MUL 000005c7: PUSH1 0x20 000005c9: ADD 000005ca: PUSH1 0x40 000005cc: MLOAD 000005cd: SWAP1 000005ce: DUP2 000005cf: ADD 000005d0: PUSH1 0x40 000005d2: MSTORE 000005d3: DUP1 000005d4: SWAP4 000005d5: SWAP3 000005d6: SWAP2 000005d7: SWAP1 000005d8: DUP2 000005d9: DUP2 000005da: MSTORE 000005db: PUSH1 0x20 000005dd: ADD 000005de: DUP4 000005df: DUP4 000005e0: DUP1 000005e1: DUP3 000005e2: DUP5 000005e3: CALLDATACOPY 000005e4: DUP3 000005e5: ADD 000005e6: SWAP2 000005e7: POP 000005e8: POP 000005e9: POP 000005ea: POP 000005eb: POP 000005ec: POP 000005ed: SWAP1 000005ee: SWAP1 000005ef: SWAP2 000005f0: SWAP1 000005f1: POP 000005f2: POP 000005f3: PUSH2 0x0f81 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: DUP1 000005fc: DUP1 000005fd: PUSH1 0x20 000005ff: ADD 00000600: DUP3 00000601: DUP2 00000602: SUB 00000603: DUP3 00000604: MSTORE 00000605: DUP4 00000606: DUP2 00000607: DUP2 00000608: MLOAD 00000609: DUP2 0000060a: MSTORE 0000060b: PUSH1 0x20 0000060d: ADD 0000060e: SWAP2 0000060f: POP 00000610: DUP1 00000611: MLOAD 00000612: SWAP1 00000613: PUSH1 0x20 00000615: ADD 00000616: SWAP1 00000617: DUP1 00000618: DUP4 00000619: DUP4 0000061a: DUP3 0000061b: SWAP1 0000061c: PUSH1 0x00 0000061e: PUSH1 0x04 00000620: PUSH1 0x20 00000622: DUP5 00000623: PUSH1 0x1f 00000625: ADD 00000626: DIV 00000627: PUSH1 0x03 00000629: MUL 0000062a: PUSH1 0x0f 0000062c: ADD 0000062d: CALL 0000062e: POP 0000062f: SWAP1 00000630: POP 00000631: SWAP1 00000632: DUP2 00000633: ADD 00000634: SWAP1 00000635: PUSH1 0x1f 00000637: AND 00000638: DUP1 00000639: ISZERO 0000063a: PUSH2 0x0657 0000063d: JUMPI 0000063e: DUP1 0000063f: DUP3 00000640: SUB 00000641: DUP1 00000642: MLOAD 00000643: PUSH1 0x01 00000645: DUP4 00000646: PUSH1 0x20 00000648: SUB 00000649: PUSH2 0x0100 0000064c: EXP 0000064d: SUB 0000064e: NOT 0000064f: AND 00000650: DUP2 00000651: MSTORE 00000652: PUSH1 0x20 00000654: ADD 00000655: SWAP2 00000656: POP 00000657: JUMPDEST 00000658: POP 00000659: SWAP3 0000065a: POP 0000065b: POP 0000065c: POP 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: SWAP2 00000662: SUB 00000663: SWAP1 00000664: RETURN 00000665: JUMPDEST 00000666: PUSH1 0x02 00000668: PUSH1 0x00 0000066a: POP 0000066b: PUSH1 0x20 0000066d: MSTORE 0000066e: DUP1 0000066f: PUSH1 0x00 00000671: MSTORE 00000672: PUSH1 0x40 00000674: PUSH1 0x00 00000676: KECCAK256 00000677: PUSH1 0x00 00000679: SWAP2 0000067a: POP 0000067b: SWAP1 0000067c: POP 0000067d: SLOAD 0000067e: DUP2 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH1 0x00 00000683: PUSH1 0x02 00000685: DUP3 00000686: PUSH1 0x40 00000688: MLOAD 00000689: DUP1 0000068a: DUP3 0000068b: DUP1 0000068c: MLOAD 0000068d: SWAP1 0000068e: PUSH1 0x20 00000690: ADD 00000691: SWAP1 00000692: DUP1 00000693: DUP4 00000694: DUP4 00000695: DUP3 00000696: SWAP1 00000697: PUSH1 0x00 00000699: PUSH1 0x04 0000069b: PUSH1 0x20 0000069d: DUP5 0000069e: PUSH1 0x1f 000006a0: ADD 000006a1: DIV 000006a2: PUSH1 0x03 000006a4: MUL 000006a5: PUSH1 0x0f 000006a7: ADD 000006a8: CALL 000006a9: POP 000006aa: SWAP1 000006ab: POP 000006ac: ADD 000006ad: SWAP2 000006ae: POP 000006af: POP 000006b0: PUSH1 0x20 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: DUP1 000006b6: DUP4 000006b7: SUB 000006b8: DUP2 000006b9: PUSH1 0x00 000006bb: DUP7 000006bc: PUSH2 0x61da 000006bf: GAS 000006c0: SUB 000006c1: CALL 000006c2: ISZERO 000006c3: PUSH2 0x0002 000006c6: JUMPI 000006c7: POP 000006c8: POP 000006c9: PUSH1 0x40 000006cb: MLOAD 000006cc: DUP1 000006cd: MLOAD 000006ce: SWAP1 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: POP 000006d3: PUSH1 0x00 000006d5: NOT 000006d6: AND 000006d7: PUSH1 0x01 000006d9: PUSH1 0x00 000006db: POP 000006dc: PUSH1 0x00 000006de: CALLER 000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f4: AND 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x20 000006f9: ADD 000006fa: SWAP1 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x20 000006ff: ADD 00000700: PUSH1 0x00 00000702: KECCAK256 00000703: PUSH1 0x00 00000705: POP 00000706: SLOAD 00000707: PUSH1 0x00 00000709: NOT 0000070a: AND 0000070b: EQ 0000070c: ISZERO 0000070d: PUSH2 0x0760 00000710: JUMPI 00000711: PUSH1 0x01 00000713: PUSH1 0x03 00000715: PUSH1 0x00 00000717: POP 00000718: PUSH1 0x00 0000071a: CALLER 0000071b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000730: AND 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x20 00000735: ADD 00000736: SWAP1 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x20 0000073b: ADD 0000073c: PUSH1 0x00 0000073e: KECCAK256 0000073f: PUSH1 0x00 00000741: PUSH2 0x0100 00000744: EXP 00000745: DUP2 00000746: SLOAD 00000747: DUP2 00000748: PUSH1 0xff 0000074a: MUL 0000074b: NOT 0000074c: AND 0000074d: SWAP1 0000074e: DUP4 0000074f: MUL 00000750: OR 00000751: SWAP1 00000752: SSTORE 00000753: POP 00000754: PUSH1 0x01 00000756: SWAP1 00000757: POP 00000758: PUSH2 0x076a 0000075b: JUMP 0000075c: PUSH2 0x0769 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH1 0x00 00000763: SWAP1 00000764: POP 00000765: PUSH2 0x076a 00000768: JUMP 00000769: JUMPDEST 0000076a: JUMPDEST 0000076b: SWAP2 0000076c: SWAP1 0000076d: POP 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH1 0x00 00000772: PUSH1 0x02 00000774: DUP3 00000775: PUSH1 0x40 00000777: MLOAD 00000778: DUP1 00000779: DUP3 0000077a: DUP1 0000077b: MLOAD 0000077c: SWAP1 0000077d: PUSH1 0x20 0000077f: ADD 00000780: SWAP1 00000781: DUP1 00000782: DUP4 00000783: DUP4 00000784: DUP3 00000785: SWAP1 00000786: PUSH1 0x00 00000788: PUSH1 0x04 0000078a: PUSH1 0x20 0000078c: DUP5 0000078d: PUSH1 0x1f 0000078f: ADD 00000790: DIV 00000791: PUSH1 0x03 00000793: MUL 00000794: PUSH1 0x0f 00000796: ADD 00000797: CALL 00000798: POP 00000799: SWAP1 0000079a: POP 0000079b: ADD 0000079c: SWAP2 0000079d: POP 0000079e: POP 0000079f: PUSH1 0x20 000007a1: PUSH1 0x40 000007a3: MLOAD 000007a4: DUP1 000007a5: DUP4 000007a6: SUB 000007a7: DUP2 000007a8: PUSH1 0x00 000007aa: DUP7 000007ab: PUSH2 0x61da 000007ae: GAS 000007af: SUB 000007b0: CALL 000007b1: ISZERO 000007b2: PUSH2 0x0002 000007b5: JUMPI 000007b6: POP 000007b7: POP 000007b8: PUSH1 0x40 000007ba: MLOAD 000007bb: DUP1 000007bc: MLOAD 000007bd: SWAP1 000007be: PUSH1 0x20 000007c0: ADD 000007c1: POP 000007c2: SWAP1 000007c3: POP 000007c4: DUP3 000007c5: PUSH1 0x00 000007c7: PUSH1 0x00 000007c9: POP 000007ca: PUSH1 0x00 000007cc: CALLER 000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e2: AND 000007e3: DUP2 000007e4: MSTORE 000007e5: PUSH1 0x20 000007e7: ADD 000007e8: SWAP1 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x20 000007ed: ADD 000007ee: PUSH1 0x00 000007f0: KECCAK256 000007f1: PUSH1 0x00 000007f3: POP 000007f4: SWAP1 000007f5: DUP1 000007f6: MLOAD 000007f7: SWAP1 000007f8: PUSH1 0x20 000007fa: ADD 000007fb: SWAP1 000007fc: DUP3 000007fd: DUP1 000007fe: SLOAD 000007ff: PUSH1 0x01 00000801: DUP2 00000802: PUSH1 0x01 00000804: AND 00000805: ISZERO 00000806: PUSH2 0x0100 00000809: MUL 0000080a: SUB 0000080b: AND 0000080c: PUSH1 0x02 0000080e: SWAP1 0000080f: DIV 00000810: SWAP1 00000811: PUSH1 0x00 00000813: MSTORE 00000814: PUSH1 0x20 00000816: PUSH1 0x00 00000818: KECCAK256 00000819: SWAP1 0000081a: PUSH1 0x1f 0000081c: ADD 0000081d: PUSH1 0x20 0000081f: SWAP1 00000820: DIV 00000821: DUP2 00000822: ADD 00000823: SWAP3 00000824: DUP3 00000825: PUSH1 0x1f 00000827: LT 00000828: PUSH2 0x083c 0000082b: JUMPI 0000082c: DUP1 0000082d: MLOAD 0000082e: PUSH1 0xff 00000830: NOT 00000831: AND 00000832: DUP4 00000833: DUP1 00000834: ADD 00000835: OR 00000836: DUP6 00000837: SSTORE 00000838: PUSH2 0x086d 0000083b: JUMP 0000083c: JUMPDEST 0000083d: DUP3 0000083e: DUP1 0000083f: ADD 00000840: PUSH1 0x01 00000842: ADD 00000843: DUP6 00000844: SSTORE 00000845: DUP3 00000846: ISZERO 00000847: PUSH2 0x086d 0000084a: JUMPI 0000084b: SWAP2 0000084c: DUP3 0000084d: ADD 0000084e: JUMPDEST 0000084f: DUP3 00000850: DUP2 00000851: GT 00000852: ISZERO 00000853: PUSH2 0x086c 00000856: JUMPI 00000857: DUP3 00000858: MLOAD 00000859: DUP3 0000085a: PUSH1 0x00 0000085c: POP 0000085d: SSTORE 0000085e: SWAP2 0000085f: PUSH1 0x20 00000861: ADD 00000862: SWAP2 00000863: SWAP1 00000864: PUSH1 0x01 00000866: ADD 00000867: SWAP1 00000868: PUSH2 0x084e 0000086b: JUMP 0000086c: JUMPDEST 0000086d: JUMPDEST 0000086e: POP 0000086f: SWAP1 00000870: POP 00000871: PUSH2 0x0898 00000874: SWAP2 00000875: SWAP1 00000876: PUSH2 0x087a 00000879: JUMP 0000087a: JUMPDEST 0000087b: DUP1 0000087c: DUP3 0000087d: GT 0000087e: ISZERO 0000087f: PUSH2 0x0894 00000882: JUMPI 00000883: PUSH1 0x00 00000885: DUP2 00000886: DUP2 00000887: POP 00000888: PUSH1 0x00 0000088a: SWAP1 0000088b: SSTORE 0000088c: POP 0000088d: PUSH1 0x01 0000088f: ADD 00000890: PUSH2 0x087a 00000893: JUMP 00000894: JUMPDEST 00000895: POP 00000896: SWAP1 00000897: JUMP 00000898: JUMPDEST 00000899: POP 0000089a: POP 0000089b: DUP1 0000089c: PUSH1 0x01 0000089e: PUSH1 0x00 000008a0: POP 000008a1: PUSH1 0x00 000008a3: CALLER 000008a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b9: AND 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: SWAP1 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: PUSH1 0x00 000008c7: KECCAK256 000008c8: PUSH1 0x00 000008ca: POP 000008cb: DUP2 000008cc: SWAP1 000008cd: SSTORE 000008ce: POP 000008cf: JUMPDEST 000008d0: POP 000008d1: POP 000008d2: POP 000008d3: JUMP 000008d4: JUMPDEST 000008d5: PUSH1 0x00 000008d7: PUSH1 0x02 000008d9: DUP3 000008da: PUSH1 0x40 000008dc: MLOAD 000008dd: DUP1 000008de: DUP3 000008df: DUP1 000008e0: MLOAD 000008e1: SWAP1 000008e2: PUSH1 0x20 000008e4: ADD 000008e5: SWAP1 000008e6: DUP1 000008e7: DUP4 000008e8: DUP4 000008e9: DUP3 000008ea: SWAP1 000008eb: PUSH1 0x00 000008ed: PUSH1 0x04 000008ef: PUSH1 0x20 000008f1: DUP5 000008f2: PUSH1 0x1f 000008f4: ADD 000008f5: DIV 000008f6: PUSH1 0x03 000008f8: MUL 000008f9: PUSH1 0x0f 000008fb: ADD 000008fc: CALL 000008fd: POP 000008fe: SWAP1 000008ff: POP 00000900: ADD 00000901: SWAP2 00000902: POP 00000903: POP 00000904: PUSH1 0x20 00000906: PUSH1 0x40 00000908: MLOAD 00000909: DUP1 0000090a: DUP4 0000090b: SUB 0000090c: DUP2 0000090d: PUSH1 0x00 0000090f: DUP7 00000910: PUSH2 0x61da 00000913: GAS 00000914: SUB 00000915: CALL 00000916: ISZERO 00000917: PUSH2 0x0002 0000091a: JUMPI 0000091b: POP 0000091c: POP 0000091d: PUSH1 0x40 0000091f: MLOAD 00000920: DUP1 00000921: MLOAD 00000922: SWAP1 00000923: PUSH1 0x20 00000925: ADD 00000926: POP 00000927: PUSH1 0x00 00000929: NOT 0000092a: AND 0000092b: PUSH1 0x01 0000092d: PUSH1 0x00 0000092f: POP 00000930: PUSH1 0x00 00000932: CALLER 00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000948: AND 00000949: DUP2 0000094a: MSTORE 0000094b: PUSH1 0x20 0000094d: ADD 0000094e: SWAP1 0000094f: DUP2 00000950: MSTORE 00000951: PUSH1 0x20 00000953: ADD 00000954: PUSH1 0x00 00000956: KECCAK256 00000957: PUSH1 0x00 00000959: POP 0000095a: SLOAD 0000095b: PUSH1 0x00 0000095d: NOT 0000095e: AND 0000095f: EQ 00000960: ISZERO 00000961: PUSH2 0x09b4 00000964: JUMPI 00000965: PUSH1 0x00 00000967: PUSH1 0x03 00000969: PUSH1 0x00 0000096b: POP 0000096c: PUSH1 0x00 0000096e: CALLER 0000096f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000984: AND 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x20 00000989: ADD 0000098a: SWAP1 0000098b: DUP2 0000098c: MSTORE 0000098d: PUSH1 0x20 0000098f: ADD 00000990: PUSH1 0x00 00000992: KECCAK256 00000993: PUSH1 0x00 00000995: PUSH2 0x0100 00000998: EXP 00000999: DUP2 0000099a: SLOAD 0000099b: DUP2 0000099c: PUSH1 0xff 0000099e: MUL 0000099f: NOT 000009a0: AND 000009a1: SWAP1 000009a2: DUP4 000009a3: MUL 000009a4: OR 000009a5: SWAP1 000009a6: SSTORE 000009a7: POP 000009a8: PUSH1 0x01 000009aa: SWAP1 000009ab: POP 000009ac: PUSH2 0x09be 000009af: JUMP 000009b0: PUSH2 0x09bd 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH1 0x00 000009b7: SWAP1 000009b8: POP 000009b9: PUSH2 0x09be 000009bc: JUMP 000009bd: JUMPDEST 000009be: JUMPDEST 000009bf: SWAP2 000009c0: SWAP1 000009c1: POP 000009c2: JUMP 000009c3: JUMPDEST 000009c4: PUSH1 0x01 000009c6: PUSH1 0x00 000009c8: POP 000009c9: PUSH1 0x20 000009cb: MSTORE 000009cc: DUP1 000009cd: PUSH1 0x00 000009cf: MSTORE 000009d0: PUSH1 0x40 000009d2: PUSH1 0x00 000009d4: KECCAK256 000009d5: PUSH1 0x00 000009d7: SWAP2 000009d8: POP 000009d9: SWAP1 000009da: POP 000009db: SLOAD 000009dc: DUP2 000009dd: JUMP 000009de: JUMPDEST 000009df: PUSH1 0x03 000009e1: PUSH1 0x00 000009e3: POP 000009e4: PUSH1 0x20 000009e6: MSTORE 000009e7: DUP1 000009e8: PUSH1 0x00 000009ea: MSTORE 000009eb: PUSH1 0x40 000009ed: PUSH1 0x00 000009ef: KECCAK256 000009f0: PUSH1 0x00 000009f2: SWAP2 000009f3: POP 000009f4: SWAP1 000009f5: SWAP1 000009f6: SLOAD 000009f7: SWAP1 000009f8: PUSH2 0x0100 000009fb: EXP 000009fc: SWAP1 000009fd: DIV 000009fe: PUSH1 0xff 00000a00: AND 00000a01: DUP2 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH1 0x00 00000a06: PUSH1 0x00 00000a08: POP 00000a09: PUSH1 0x20 00000a0b: MSTORE 00000a0c: DUP1 00000a0d: PUSH1 0x00 00000a0f: MSTORE 00000a10: PUSH1 0x40 00000a12: PUSH1 0x00 00000a14: KECCAK256 00000a15: PUSH1 0x00 00000a17: SWAP2 00000a18: POP 00000a19: SWAP1 00000a1a: POP 00000a1b: DUP1 00000a1c: SLOAD 00000a1d: PUSH1 0x01 00000a1f: DUP2 00000a20: PUSH1 0x01 00000a22: AND 00000a23: ISZERO 00000a24: PUSH2 0x0100 00000a27: MUL 00000a28: SUB 00000a29: AND 00000a2a: PUSH1 0x02 00000a2c: SWAP1 00000a2d: DIV 00000a2e: DUP1 00000a2f: PUSH1 0x1f 00000a31: ADD 00000a32: PUSH1 0x20 00000a34: DUP1 00000a35: SWAP2 00000a36: DIV 00000a37: MUL 00000a38: PUSH1 0x20 00000a3a: ADD 00000a3b: PUSH1 0x40 00000a3d: MLOAD 00000a3e: SWAP1 00000a3f: DUP2 00000a40: ADD 00000a41: PUSH1 0x40 00000a43: MSTORE 00000a44: DUP1 00000a45: SWAP3 00000a46: SWAP2 00000a47: SWAP1 00000a48: DUP2 00000a49: DUP2 00000a4a: MSTORE 00000a4b: PUSH1 0x20 00000a4d: ADD 00000a4e: DUP3 00000a4f: DUP1 00000a50: SLOAD 00000a51: PUSH1 0x01 00000a53: DUP2 00000a54: PUSH1 0x01 00000a56: AND 00000a57: ISZERO 00000a58: PUSH2 0x0100 00000a5b: MUL 00000a5c: SUB 00000a5d: AND 00000a5e: PUSH1 0x02 00000a60: SWAP1 00000a61: DIV 00000a62: DUP1 00000a63: ISZERO 00000a64: PUSH2 0x0aae 00000a67: JUMPI 00000a68: DUP1 00000a69: PUSH1 0x1f 00000a6b: LT 00000a6c: PUSH2 0x0a83 00000a6f: JUMPI 00000a70: PUSH2 0x0100 00000a73: DUP1 00000a74: DUP4 00000a75: SLOAD 00000a76: DIV 00000a77: MUL 00000a78: DUP4 00000a79: MSTORE 00000a7a: SWAP2 00000a7b: PUSH1 0x20 00000a7d: ADD 00000a7e: SWAP2 00000a7f: PUSH2 0x0aae 00000a82: JUMP 00000a83: JUMPDEST 00000a84: DUP3 00000a85: ADD 00000a86: SWAP2 00000a87: SWAP1 00000a88: PUSH1 0x00 00000a8a: MSTORE 00000a8b: PUSH1 0x20 00000a8d: PUSH1 0x00 00000a8f: KECCAK256 00000a90: SWAP1 00000a91: JUMPDEST 00000a92: DUP2 00000a93: SLOAD 00000a94: DUP2 00000a95: MSTORE 00000a96: SWAP1 00000a97: PUSH1 0x01 00000a99: ADD 00000a9a: SWAP1 00000a9b: PUSH1 0x20 00000a9d: ADD 00000a9e: DUP1 00000a9f: DUP4 00000aa0: GT 00000aa1: PUSH2 0x0a91 00000aa4: JUMPI 00000aa5: DUP3 00000aa6: SWAP1 00000aa7: SUB 00000aa8: PUSH1 0x1f 00000aaa: AND 00000aab: DUP3 00000aac: ADD 00000aad: SWAP2 00000aae: JUMPDEST 00000aaf: POP 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: DUP2 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH1 0x20 00000ab9: PUSH1 0x40 00000abb: MLOAD 00000abc: SWAP1 00000abd: DUP2 00000abe: ADD 00000abf: PUSH1 0x40 00000ac1: MSTORE 00000ac2: DUP1 00000ac3: PUSH1 0x00 00000ac5: DUP2 00000ac6: MSTORE 00000ac7: PUSH1 0x20 00000ac9: ADD 00000aca: POP 00000acb: PUSH1 0x01 00000acd: ISZERO 00000ace: ISZERO 00000acf: PUSH1 0x03 00000ad1: PUSH1 0x00 00000ad3: POP 00000ad4: PUSH1 0x00 00000ad6: DUP6 00000ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aec: AND 00000aed: DUP2 00000aee: MSTORE 00000aef: PUSH1 0x20 00000af1: ADD 00000af2: SWAP1 00000af3: DUP2 00000af4: MSTORE 00000af5: PUSH1 0x20 00000af7: ADD 00000af8: PUSH1 0x00 00000afa: KECCAK256 00000afb: PUSH1 0x00 00000afd: SWAP1 00000afe: SLOAD 00000aff: SWAP1 00000b00: PUSH2 0x0100 00000b03: EXP 00000b04: SWAP1 00000b05: DIV 00000b06: PUSH1 0xff 00000b08: AND 00000b09: ISZERO 00000b0a: ISZERO 00000b0b: EQ 00000b0c: DUP1 00000b0d: ISZERO 00000b0e: PUSH2 0x0b9c 00000b11: JUMPI 00000b12: POP 00000b13: PUSH1 0x02 00000b15: DUP3 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: DUP1 00000b1a: DUP3 00000b1b: DUP1 00000b1c: MLOAD 00000b1d: SWAP1 00000b1e: PUSH1 0x20 00000b20: ADD 00000b21: SWAP1 00000b22: DUP1 00000b23: DUP4 00000b24: DUP4 00000b25: DUP3 00000b26: SWAP1 00000b27: PUSH1 0x00 00000b29: PUSH1 0x04 00000b2b: PUSH1 0x20 00000b2d: DUP5 00000b2e: PUSH1 0x1f 00000b30: ADD 00000b31: DIV 00000b32: PUSH1 0x03 00000b34: MUL 00000b35: PUSH1 0x0f 00000b37: ADD 00000b38: CALL 00000b39: POP 00000b3a: SWAP1 00000b3b: POP 00000b3c: ADD 00000b3d: SWAP2 00000b3e: POP 00000b3f: POP 00000b40: PUSH1 0x20 00000b42: PUSH1 0x40 00000b44: MLOAD 00000b45: DUP1 00000b46: DUP4 00000b47: SUB 00000b48: DUP2 00000b49: PUSH1 0x00 00000b4b: DUP7 00000b4c: PUSH2 0x61da 00000b4f: GAS 00000b50: SUB 00000b51: CALL 00000b52: ISZERO 00000b53: PUSH2 0x0002 00000b56: JUMPI 00000b57: POP 00000b58: POP 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: DUP1 00000b5d: MLOAD 00000b5e: SWAP1 00000b5f: PUSH1 0x20 00000b61: ADD 00000b62: POP 00000b63: PUSH1 0x00 00000b65: NOT 00000b66: AND 00000b67: PUSH1 0x01 00000b69: PUSH1 0x00 00000b6b: POP 00000b6c: PUSH1 0x00 00000b6e: DUP6 00000b6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b84: AND 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x20 00000b89: ADD 00000b8a: SWAP1 00000b8b: DUP2 00000b8c: MSTORE 00000b8d: PUSH1 0x20 00000b8f: ADD 00000b90: PUSH1 0x00 00000b92: KECCAK256 00000b93: PUSH1 0x00 00000b95: POP 00000b96: SLOAD 00000b97: PUSH1 0x00 00000b99: NOT 00000b9a: AND 00000b9b: EQ 00000b9c: JUMPDEST 00000b9d: ISZERO 00000b9e: PUSH2 0x0cc2 00000ba1: JUMPI 00000ba2: DUP4 00000ba3: PUSH1 0x04 00000ba5: PUSH1 0x00 00000ba7: POP 00000ba8: PUSH1 0x00 00000baa: DUP6 00000bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc0: AND 00000bc1: DUP2 00000bc2: MSTORE 00000bc3: PUSH1 0x20 00000bc5: ADD 00000bc6: SWAP1 00000bc7: DUP2 00000bc8: MSTORE 00000bc9: PUSH1 0x20 00000bcb: ADD 00000bcc: PUSH1 0x00 00000bce: KECCAK256 00000bcf: PUSH1 0x00 00000bd1: POP 00000bd2: SWAP1 00000bd3: DUP1 00000bd4: MLOAD 00000bd5: SWAP1 00000bd6: PUSH1 0x20 00000bd8: ADD 00000bd9: SWAP1 00000bda: DUP3 00000bdb: DUP1 00000bdc: SLOAD 00000bdd: PUSH1 0x01 00000bdf: DUP2 00000be0: PUSH1 0x01 00000be2: AND 00000be3: ISZERO 00000be4: PUSH2 0x0100 00000be7: MUL 00000be8: SUB 00000be9: AND 00000bea: PUSH1 0x02 00000bec: SWAP1 00000bed: DIV 00000bee: SWAP1 00000bef: PUSH1 0x00 00000bf1: MSTORE 00000bf2: PUSH1 0x20 00000bf4: PUSH1 0x00 00000bf6: KECCAK256 00000bf7: SWAP1 00000bf8: PUSH1 0x1f 00000bfa: ADD 00000bfb: PUSH1 0x20 00000bfd: SWAP1 00000bfe: DIV 00000bff: DUP2 00000c00: ADD 00000c01: SWAP3 00000c02: DUP3 00000c03: PUSH1 0x1f 00000c05: LT 00000c06: PUSH2 0x0c1a 00000c09: JUMPI 00000c0a: DUP1 00000c0b: MLOAD 00000c0c: PUSH1 0xff 00000c0e: NOT 00000c0f: AND 00000c10: DUP4 00000c11: DUP1 00000c12: ADD 00000c13: OR 00000c14: DUP6 00000c15: SSTORE 00000c16: PUSH2 0x0c4b 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: DUP3 00000c1c: DUP1 00000c1d: ADD 00000c1e: PUSH1 0x01 00000c20: ADD 00000c21: DUP6 00000c22: SSTORE 00000c23: DUP3 00000c24: ISZERO 00000c25: PUSH2 0x0c4b 00000c28: JUMPI 00000c29: SWAP2 00000c2a: DUP3 00000c2b: ADD 00000c2c: JUMPDEST 00000c2d: DUP3 00000c2e: DUP2 00000c2f: GT 00000c30: ISZERO 00000c31: PUSH2 0x0c4a 00000c34: JUMPI 00000c35: DUP3 00000c36: MLOAD 00000c37: DUP3 00000c38: PUSH1 0x00 00000c3a: POP 00000c3b: SSTORE 00000c3c: SWAP2 00000c3d: PUSH1 0x20 00000c3f: ADD 00000c40: SWAP2 00000c41: SWAP1 00000c42: PUSH1 0x01 00000c44: ADD 00000c45: SWAP1 00000c46: PUSH2 0x0c2c 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: JUMPDEST 00000c4c: POP 00000c4d: SWAP1 00000c4e: POP 00000c4f: PUSH2 0x0c76 00000c52: SWAP2 00000c53: SWAP1 00000c54: PUSH2 0x0c58 00000c57: JUMP 00000c58: JUMPDEST 00000c59: DUP1 00000c5a: DUP3 00000c5b: GT 00000c5c: ISZERO 00000c5d: PUSH2 0x0c72 00000c60: JUMPI 00000c61: PUSH1 0x00 00000c63: DUP2 00000c64: DUP2 00000c65: POP 00000c66: PUSH1 0x00 00000c68: SWAP1 00000c69: SSTORE 00000c6a: POP 00000c6b: PUSH1 0x01 00000c6d: ADD 00000c6e: PUSH2 0x0c58 00000c71: JUMP 00000c72: JUMPDEST 00000c73: POP 00000c74: SWAP1 00000c75: JUMP 00000c76: JUMPDEST 00000c77: POP 00000c78: POP 00000c79: PUSH1 0x40 00000c7b: PUSH1 0x40 00000c7d: MLOAD 00000c7e: SWAP1 00000c7f: DUP2 00000c80: ADD 00000c81: PUSH1 0x40 00000c83: MSTORE 00000c84: DUP1 00000c85: PUSH1 0x0e 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: ADD 00000c8c: PUSH32 0x506f7374207375626d6974746564000000000000000000000000000000000000 00000cad: DUP2 00000cae: MSTORE 00000caf: PUSH1 0x20 00000cb1: ADD 00000cb2: POP 00000cb3: SWAP1 00000cb4: POP 00000cb5: DUP1 00000cb6: POP 00000cb7: DUP1 00000cb8: SWAP1 00000cb9: POP 00000cba: PUSH2 0x0d09 00000cbd: JUMP 00000cbe: PUSH2 0x0d08 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x40 00000cc5: PUSH1 0x40 00000cc7: MLOAD 00000cc8: SWAP1 00000cc9: DUP2 00000cca: ADD 00000ccb: PUSH1 0x40 00000ccd: MSTORE 00000cce: DUP1 00000ccf: PUSH1 0x15 00000cd1: DUP2 00000cd2: MSTORE 00000cd3: PUSH1 0x20 00000cd5: ADD 00000cd6: PUSH32 0x596f7520617265206e6f74206c6f6767656420696e0000000000000000000000 00000cf7: DUP2 00000cf8: MSTORE 00000cf9: PUSH1 0x20 00000cfb: ADD 00000cfc: POP 00000cfd: SWAP1 00000cfe: POP 00000cff: DUP1 00000d00: POP 00000d01: DUP1 00000d02: SWAP1 00000d03: POP 00000d04: PUSH2 0x0d09 00000d07: JUMP 00000d08: JUMPDEST 00000d09: JUMPDEST 00000d0a: SWAP4 00000d0b: SWAP3 00000d0c: POP 00000d0d: POP 00000d0e: POP 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH1 0x20 00000d13: PUSH1 0x40 00000d15: MLOAD 00000d16: SWAP1 00000d17: DUP2 00000d18: ADD 00000d19: PUSH1 0x40 00000d1b: MSTORE 00000d1c: DUP1 00000d1d: PUSH1 0x00 00000d1f: DUP2 00000d20: MSTORE 00000d21: PUSH1 0x20 00000d23: ADD 00000d24: POP 00000d25: PUSH1 0x01 00000d27: ISZERO 00000d28: ISZERO 00000d29: PUSH1 0x03 00000d2b: PUSH1 0x00 00000d2d: POP 00000d2e: PUSH1 0x00 00000d30: DUP6 00000d31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d46: AND 00000d47: DUP2 00000d48: MSTORE 00000d49: PUSH1 0x20 00000d4b: ADD 00000d4c: SWAP1 00000d4d: DUP2 00000d4e: MSTORE 00000d4f: PUSH1 0x20 00000d51: ADD 00000d52: PUSH1 0x00 00000d54: KECCAK256 00000d55: PUSH1 0x00 00000d57: SWAP1 00000d58: SLOAD 00000d59: SWAP1 00000d5a: PUSH2 0x0100 00000d5d: EXP 00000d5e: SWAP1 00000d5f: DIV 00000d60: PUSH1 0xff 00000d62: AND 00000d63: ISZERO 00000d64: ISZERO 00000d65: EQ 00000d66: DUP1 00000d67: ISZERO 00000d68: PUSH2 0x0df6 00000d6b: JUMPI 00000d6c: POP 00000d6d: PUSH1 0x02 00000d6f: DUP3 00000d70: PUSH1 0x40 00000d72: MLOAD 00000d73: DUP1 00000d74: DUP3 00000d75: DUP1 00000d76: MLOAD 00000d77: SWAP1 00000d78: PUSH1 0x20 00000d7a: ADD 00000d7b: SWAP1 00000d7c: DUP1 00000d7d: DUP4 00000d7e: DUP4 00000d7f: DUP3 00000d80: SWAP1 00000d81: PUSH1 0x00 00000d83: PUSH1 0x04 00000d85: PUSH1 0x20 00000d87: DUP5 00000d88: PUSH1 0x1f 00000d8a: ADD 00000d8b: DIV 00000d8c: PUSH1 0x03 00000d8e: MUL 00000d8f: PUSH1 0x0f 00000d91: ADD 00000d92: CALL 00000d93: POP 00000d94: SWAP1 00000d95: POP 00000d96: ADD 00000d97: SWAP2 00000d98: POP 00000d99: POP 00000d9a: PUSH1 0x20 00000d9c: PUSH1 0x40 00000d9e: MLOAD 00000d9f: DUP1 00000da0: DUP4 00000da1: SUB 00000da2: DUP2 00000da3: PUSH1 0x00 00000da5: DUP7 00000da6: PUSH2 0x61da 00000da9: GAS 00000daa: SUB 00000dab: CALL 00000dac: ISZERO 00000dad: PUSH2 0x0002 00000db0: JUMPI 00000db1: POP 00000db2: POP 00000db3: PUSH1 0x40 00000db5: MLOAD 00000db6: DUP1 00000db7: MLOAD 00000db8: SWAP1 00000db9: PUSH1 0x20 00000dbb: ADD 00000dbc: POP 00000dbd: PUSH1 0x00 00000dbf: NOT 00000dc0: AND 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0x00 00000dc5: POP 00000dc6: PUSH1 0x00 00000dc8: DUP6 00000dc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dde: AND 00000ddf: DUP2 00000de0: MSTORE 00000de1: PUSH1 0x20 00000de3: ADD 00000de4: SWAP1 00000de5: DUP2 00000de6: MSTORE 00000de7: PUSH1 0x20 00000de9: ADD 00000dea: PUSH1 0x00 00000dec: KECCAK256 00000ded: PUSH1 0x00 00000def: POP 00000df0: SLOAD 00000df1: PUSH1 0x00 00000df3: NOT 00000df4: AND 00000df5: EQ 00000df6: JUMPDEST 00000df7: ISZERO 00000df8: PUSH2 0x0e81 00000dfb: JUMPI 00000dfc: CALLVALUE 00000dfd: PUSH1 0x02 00000dff: PUSH1 0x00 00000e01: POP 00000e02: PUSH1 0x00 00000e04: DUP6 00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1a: AND 00000e1b: DUP2 00000e1c: MSTORE 00000e1d: PUSH1 0x20 00000e1f: ADD 00000e20: SWAP1 00000e21: DUP2 00000e22: MSTORE 00000e23: PUSH1 0x20 00000e25: ADD 00000e26: PUSH1 0x00 00000e28: KECCAK256 00000e29: PUSH1 0x00 00000e2b: DUP3 00000e2c: DUP3 00000e2d: DUP3 00000e2e: POP 00000e2f: SLOAD 00000e30: ADD 00000e31: SWAP3 00000e32: POP 00000e33: POP 00000e34: DUP2 00000e35: SWAP1 00000e36: SSTORE 00000e37: POP 00000e38: PUSH1 0x40 00000e3a: PUSH1 0x40 00000e3c: MLOAD 00000e3d: SWAP1 00000e3e: DUP2 00000e3f: ADD 00000e40: PUSH1 0x40 00000e42: MSTORE 00000e43: DUP1 00000e44: PUSH1 0x10 00000e46: DUP2 00000e47: MSTORE 00000e48: PUSH1 0x20 00000e4a: ADD 00000e4b: PUSH32 0x4465706f73697420726563656976656400000000000000000000000000000000 00000e6c: DUP2 00000e6d: MSTORE 00000e6e: PUSH1 0x20 00000e70: ADD 00000e71: POP 00000e72: SWAP1 00000e73: POP 00000e74: DUP1 00000e75: POP 00000e76: DUP1 00000e77: SWAP1 00000e78: POP 00000e79: PUSH2 0x0ec8 00000e7c: JUMP 00000e7d: PUSH2 0x0ec7 00000e80: JUMP 00000e81: JUMPDEST 00000e82: PUSH1 0x40 00000e84: PUSH1 0x40 00000e86: MLOAD 00000e87: SWAP1 00000e88: DUP2 00000e89: ADD 00000e8a: PUSH1 0x40 00000e8c: MSTORE 00000e8d: DUP1 00000e8e: PUSH1 0x15 00000e90: DUP2 00000e91: MSTORE 00000e92: PUSH1 0x20 00000e94: ADD 00000e95: PUSH32 0x596f7520617265206e6f74206c6f6767656420696e0000000000000000000000 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x20 00000eba: ADD 00000ebb: POP 00000ebc: SWAP1 00000ebd: POP 00000ebe: DUP1 00000ebf: POP 00000ec0: DUP1 00000ec1: SWAP1 00000ec2: POP 00000ec3: PUSH2 0x0ec8 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: JUMPDEST 00000ec9: SWAP3 00000eca: SWAP2 00000ecb: POP 00000ecc: POP 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: PUSH1 0x04 00000ed1: PUSH1 0x00 00000ed3: POP 00000ed4: PUSH1 0x20 00000ed6: MSTORE 00000ed7: DUP1 00000ed8: PUSH1 0x00 00000eda: MSTORE 00000edb: PUSH1 0x40 00000edd: PUSH1 0x00 00000edf: KECCAK256 00000ee0: PUSH1 0x00 00000ee2: SWAP2 00000ee3: POP 00000ee4: SWAP1 00000ee5: POP 00000ee6: DUP1 00000ee7: SLOAD 00000ee8: PUSH1 0x01 00000eea: DUP2 00000eeb: PUSH1 0x01 00000eed: AND 00000eee: ISZERO 00000eef: PUSH2 0x0100 00000ef2: MUL 00000ef3: SUB 00000ef4: AND 00000ef5: PUSH1 0x02 00000ef7: SWAP1 00000ef8: DIV 00000ef9: DUP1 00000efa: PUSH1 0x1f 00000efc: ADD 00000efd: PUSH1 0x20 00000eff: DUP1 00000f00: SWAP2 00000f01: DIV 00000f02: MUL 00000f03: PUSH1 0x20 00000f05: ADD 00000f06: PUSH1 0x40 00000f08: MLOAD 00000f09: SWAP1 00000f0a: DUP2 00000f0b: ADD 00000f0c: PUSH1 0x40 00000f0e: MSTORE 00000f0f: DUP1 00000f10: SWAP3 00000f11: SWAP2 00000f12: SWAP1 00000f13: DUP2 00000f14: DUP2 00000f15: MSTORE 00000f16: PUSH1 0x20 00000f18: ADD 00000f19: DUP3 00000f1a: DUP1 00000f1b: SLOAD 00000f1c: PUSH1 0x01 00000f1e: DUP2 00000f1f: PUSH1 0x01 00000f21: AND 00000f22: ISZERO 00000f23: PUSH2 0x0100 00000f26: MUL 00000f27: SUB 00000f28: AND 00000f29: PUSH1 0x02 00000f2b: SWAP1 00000f2c: DIV 00000f2d: DUP1 00000f2e: ISZERO 00000f2f: PUSH2 0x0f79 00000f32: JUMPI 00000f33: DUP1 00000f34: PUSH1 0x1f 00000f36: LT 00000f37: PUSH2 0x0f4e 00000f3a: JUMPI 00000f3b: PUSH2 0x0100 00000f3e: DUP1 00000f3f: DUP4 00000f40: SLOAD 00000f41: DIV 00000f42: MUL 00000f43: DUP4 00000f44: MSTORE 00000f45: SWAP2 00000f46: PUSH1 0x20 00000f48: ADD 00000f49: SWAP2 00000f4a: PUSH2 0x0f79 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: DUP3 00000f50: ADD 00000f51: SWAP2 00000f52: SWAP1 00000f53: PUSH1 0x00 00000f55: MSTORE 00000f56: PUSH1 0x20 00000f58: PUSH1 0x00 00000f5a: KECCAK256 00000f5b: SWAP1 00000f5c: JUMPDEST 00000f5d: DUP2 00000f5e: SLOAD 00000f5f: DUP2 00000f60: MSTORE 00000f61: SWAP1 00000f62: PUSH1 0x01 00000f64: ADD 00000f65: SWAP1 00000f66: PUSH1 0x20 00000f68: ADD 00000f69: DUP1 00000f6a: DUP4 00000f6b: GT 00000f6c: PUSH2 0x0f5c 00000f6f: JUMPI 00000f70: DUP3 00000f71: SWAP1 00000f72: SUB 00000f73: PUSH1 0x1f 00000f75: AND 00000f76: DUP3 00000f77: ADD 00000f78: SWAP2 00000f79: JUMPDEST 00000f7a: POP 00000f7b: POP 00000f7c: POP 00000f7d: POP 00000f7e: POP 00000f7f: DUP2 00000f80: JUMP 00000f81: JUMPDEST 00000f82: PUSH1 0x20 00000f84: PUSH1 0x40 00000f86: MLOAD 00000f87: SWAP1 00000f88: DUP2 00000f89: ADD 00000f8a: PUSH1 0x40 00000f8c: MSTORE 00000f8d: DUP1 00000f8e: PUSH1 0x00 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH1 0x20 00000f94: ADD 00000f95: POP 00000f96: PUSH1 0x01 00000f98: ISZERO 00000f99: ISZERO 00000f9a: PUSH1 0x03 00000f9c: PUSH1 0x00 00000f9e: POP 00000f9f: PUSH1 0x00 00000fa1: DUP6 00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb7: AND 00000fb8: DUP2 00000fb9: MSTORE 00000fba: PUSH1 0x20 00000fbc: ADD 00000fbd: SWAP1 00000fbe: DUP2 00000fbf: MSTORE 00000fc0: PUSH1 0x20 00000fc2: ADD 00000fc3: PUSH1 0x00 00000fc5: KECCAK256 00000fc6: PUSH1 0x00 00000fc8: SWAP1 00000fc9: SLOAD 00000fca: SWAP1 00000fcb: PUSH2 0x0100 00000fce: EXP 00000fcf: SWAP1 00000fd0: DIV 00000fd1: PUSH1 0xff 00000fd3: AND 00000fd4: ISZERO 00000fd5: ISZERO 00000fd6: EQ 00000fd7: DUP1 00000fd8: ISZERO 00000fd9: PUSH2 0x1067 00000fdc: JUMPI 00000fdd: POP 00000fde: PUSH1 0x02 00000fe0: DUP3 00000fe1: PUSH1 0x40 00000fe3: MLOAD 00000fe4: DUP1 00000fe5: DUP3 00000fe6: DUP1 00000fe7: MLOAD 00000fe8: SWAP1 00000fe9: PUSH1 0x20 00000feb: ADD 00000fec: SWAP1 00000fed: DUP1 00000fee: DUP4 00000fef: DUP4 00000ff0: DUP3 00000ff1: SWAP1 00000ff2: PUSH1 0x00 00000ff4: PUSH1 0x04 00000ff6: PUSH1 0x20 00000ff8: DUP5 00000ff9: PUSH1 0x1f 00000ffb: ADD 00000ffc: DIV 00000ffd: PUSH1 0x03 00000fff: MUL 00001000: PUSH1 0x0f 00001002: ADD 00001003: CALL 00001004: POP 00001005: SWAP1 00001006: POP 00001007: ADD 00001008: SWAP2 00001009: POP 0000100a: POP 0000100b: PUSH1 0x20 0000100d: PUSH1 0x40 0000100f: MLOAD 00001010: DUP1 00001011: DUP4 00001012: SUB 00001013: DUP2 00001014: PUSH1 0x00 00001016: DUP7 00001017: PUSH2 0x61da 0000101a: GAS 0000101b: SUB 0000101c: CALL 0000101d: ISZERO 0000101e: PUSH2 0x0002 00001021: JUMPI 00001022: POP 00001023: POP 00001024: PUSH1 0x40 00001026: MLOAD 00001027: DUP1 00001028: MLOAD 00001029: SWAP1 0000102a: PUSH1 0x20 0000102c: ADD 0000102d: POP 0000102e: PUSH1 0x00 00001030: NOT 00001031: AND 00001032: PUSH1 0x01 00001034: PUSH1 0x00 00001036: POP 00001037: PUSH1 0x00 00001039: DUP6 0000103a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000104f: AND 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x20 00001054: ADD 00001055: SWAP1 00001056: DUP2 00001057: MSTORE 00001058: PUSH1 0x20 0000105a: ADD 0000105b: PUSH1 0x00 0000105d: KECCAK256 0000105e: PUSH1 0x00 00001060: POP 00001061: SLOAD 00001062: PUSH1 0x00 00001064: NOT 00001065: AND 00001066: EQ 00001067: JUMPDEST 00001068: ISZERO 00001069: PUSH2 0x11a7 0000106c: JUMPI 0000106d: DUP4 0000106e: PUSH1 0x02 00001070: PUSH1 0x00 00001072: POP 00001073: PUSH1 0x00 00001075: DUP6 00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000108b: AND 0000108c: DUP2 0000108d: MSTORE 0000108e: PUSH1 0x20 00001090: ADD 00001091: SWAP1 00001092: DUP2 00001093: MSTORE 00001094: PUSH1 0x20 00001096: ADD 00001097: PUSH1 0x00 00001099: KECCAK256 0000109a: PUSH1 0x00 0000109c: POP 0000109d: SLOAD 0000109e: LT 0000109f: ISZERO 000010a0: PUSH2 0x10e9 000010a3: JUMPI 000010a4: PUSH1 0x40 000010a6: PUSH1 0x40 000010a8: MLOAD 000010a9: SWAP1 000010aa: DUP2 000010ab: ADD 000010ac: PUSH1 0x40 000010ae: MSTORE 000010af: DUP1 000010b0: PUSH1 0x1a 000010b2: DUP2 000010b3: MSTORE 000010b4: PUSH1 0x20 000010b6: ADD 000010b7: PUSH32 0x596f7520646f206e6f7420686176652074686174206d7563682e000000000000 000010d8: DUP2 000010d9: MSTORE 000010da: PUSH1 0x20 000010dc: ADD 000010dd: POP 000010de: SWAP1 000010df: POP 000010e0: DUP1 000010e1: POP 000010e2: DUP1 000010e3: SWAP1 000010e4: POP 000010e5: PUSH2 0x11ee 000010e8: JUMP 000010e9: JUMPDEST 000010ea: CALLER 000010eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001100: AND 00001101: PUSH1 0x00 00001103: DUP6 00001104: PUSH1 0x40 00001106: MLOAD 00001107: DUP1 00001108: SWAP1 00001109: POP 0000110a: PUSH1 0x00 0000110c: PUSH1 0x40 0000110e: MLOAD 0000110f: DUP1 00001110: DUP4 00001111: SUB 00001112: DUP2 00001113: DUP6 00001114: DUP9 00001115: DUP9 00001116: CALL 00001117: SWAP4 00001118: POP 00001119: POP 0000111a: POP 0000111b: POP 0000111c: ISZERO 0000111d: PUSH2 0x115d 00001120: JUMPI 00001121: DUP4 00001122: PUSH1 0x02 00001124: PUSH1 0x00 00001126: POP 00001127: PUSH1 0x00 00001129: DUP6 0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113f: AND 00001140: DUP2 00001141: MSTORE 00001142: PUSH1 0x20 00001144: ADD 00001145: SWAP1 00001146: DUP2 00001147: MSTORE 00001148: PUSH1 0x20 0000114a: ADD 0000114b: PUSH1 0x00 0000114d: KECCAK256 0000114e: PUSH1 0x00 00001150: DUP3 00001151: DUP3 00001152: DUP3 00001153: POP 00001154: SLOAD 00001155: SUB 00001156: SWAP3 00001157: POP 00001158: POP 00001159: DUP2 0000115a: SWAP1 0000115b: SSTORE 0000115c: POP 0000115d: JUMPDEST 0000115e: PUSH1 0x40 00001160: PUSH1 0x40 00001162: MLOAD 00001163: SWAP1 00001164: DUP2 00001165: ADD 00001166: PUSH1 0x40 00001168: MSTORE 00001169: DUP1 0000116a: PUSH1 0x15 0000116c: DUP2 0000116d: MSTORE 0000116e: PUSH1 0x20 00001170: ADD 00001171: PUSH32 0x5769746864726177616c207375636365737366756c0000000000000000000000 00001192: DUP2 00001193: MSTORE 00001194: PUSH1 0x20 00001196: ADD 00001197: POP 00001198: SWAP1 00001199: POP 0000119a: DUP1 0000119b: POP 0000119c: DUP1 0000119d: SWAP1 0000119e: POP 0000119f: PUSH2 0x11ee 000011a2: JUMP 000011a3: PUSH2 0x11ed 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH1 0x40 000011aa: PUSH1 0x40 000011ac: MLOAD 000011ad: SWAP1 000011ae: DUP2 000011af: ADD 000011b0: PUSH1 0x40 000011b2: MSTORE 000011b3: DUP1 000011b4: PUSH1 0x15 000011b6: DUP2 000011b7: MSTORE 000011b8: PUSH1 0x20 000011ba: ADD 000011bb: PUSH32 0x596f7520617265206e6f74206c6f6767656420696e0000000000000000000000 000011dc: DUP2 000011dd: MSTORE 000011de: PUSH1 0x20 000011e0: ADD 000011e1: POP 000011e2: SWAP1 000011e3: POP 000011e4: DUP1 000011e5: POP 000011e6: DUP1 000011e7: SWAP1 000011e8: POP 000011e9: PUSH2 0x11ee 000011ec: JUMP 000011ed: JUMPDEST 000011ee: JUMPDEST 000011ef: SWAP4 000011f0: SWAP3 000011f1: POP 000011f2: POP 000011f3: POP 000011f4: JUMP
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: 0x10815958ff30ba9c47e0e019fc853db30fc9876e0c84928449cb0d6421f94f79
call_targets:
0x4b19f307dda1be6bc17c999bc29e24633155c990
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x10815958ff30ba9c47e0e019fc853db30fc9876e0c84928449cb0d6421f94f79",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b19f307dda1be6bc17c999bc29e24633155c990"
],
"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": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a7d280c",
"selector": "0x3a7d280c",
"calldata_variants": [
"0x3a7d280c",
"0x3a7d280c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ffbd47f",
"selector": "0x3ffbd47f",
"calldata_variants": [
"0x3ffbd47f",
"0x3ffbd47f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cbee813",
"selector": "0x4cbee813",
"calldata_variants": [
"0x4cbee813",
"0x4cbee8130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62bb758f",
"selector": "0x62bb758f",
"calldata_variants": [
"0x62bb758f",
"0x62bb758f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x663f9c0d",
"selector": "0x663f9c0d",
"calldata_variants": [
"0x663f9c0d",
"0x663f9c0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa87430ba",
"selector": "0xa87430ba",
"calldata_variants": [
"0xa87430ba",
"0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb45105b2",
"selector": "0xb45105b2",
"calldata_variants": [
"0xb45105b2",
"0xb45105b20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 760,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1034,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1237,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 18,
"guards_detected": [],
"untrusted_call_count": 18
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x10815958ff30ba9c47e0e019fc853db30fc9876e0c84928449cb0d6421f94f79
call_targets:
0x4b19f307dda1be6bc17c999bc29e24633155c990
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x10815958ff30ba9c47e0e019fc853db30fc9876e0c84928449cb0d6421f94f79",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b19f307dda1be6bc17c999bc29e24633155c990"
],
"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": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a7d280c",
"selector": "0x3a7d280c",
"calldata_variants": [
"0x3a7d280c",
"0x3a7d280c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ffbd47f",
"selector": "0x3ffbd47f",
"calldata_variants": [
"0x3ffbd47f",
"0x3ffbd47f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cbee813",
"selector": "0x4cbee813",
"calldata_variants": [
"0x4cbee813",
"0x4cbee8130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62bb758f",
"selector": "0x62bb758f",
"calldata_variants": [
"0x62bb758f",
"0x62bb758f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x663f9c0d",
"selector": "0x663f9c0d",
"calldata_variants": [
"0x663f9c0d",
"0x663f9c0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa87430ba",
"selector": "0xa87430ba",
"calldata_variants": [
"0xa87430ba",
"0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb45105b2",
"selector": "0xb45105b2",
"calldata_variants": [
"0xb45105b2",
"0xb45105b20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 760,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1034,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1237,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 15,
"guards_detected": []
}
|