019b477e-b4d3-73d5-924f-28ab249e51d8
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 |
|---|---|---|---|---|
| 22815 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22816 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107529 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107530 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107531 | detector.run | complete | 1 / 3 | 1 week ago |
| 107532 | 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 0x011d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0b66f3f5 0000003c: EQ 0000003d: PUSH2 0x011f 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x158ef93e 00000047: EQ 00000048: PUSH2 0x01db 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x2f781393 00000052: EQ 00000053: PUSH2 0x020a 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4e71e0c8 0000005d: EQ 0000005e: PUSH2 0x0237 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x54fd4d50 00000068: EQ 00000069: PUSH2 0x024e 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x591552da 00000073: EQ 00000074: PUSH2 0x02de 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x5c60da1b 0000007e: EQ 0000007f: PUSH2 0x0335 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x69fe0e2d 00000089: EQ 0000008a: PUSH2 0x038c 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x6fde8202 00000094: EQ 00000095: PUSH2 0x03b9 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x8da5cb5b 0000009f: EQ 000000a0: PUSH2 0x0410 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xab883d28 000000aa: EQ 000000ab: PUSH2 0x0467 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xb4ae641c 000000b5: EQ 000000b6: PUSH2 0x0503 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xc1258f69 000000c0: EQ 000000c1: PUSH2 0x052e 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xc4d66de8 000000cb: EQ 000000cc: PUSH2 0x0585 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xddca3f43 000000d6: EQ 000000d7: PUSH2 0x05c8 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xdf8de3e7 000000e1: EQ 000000e2: PUSH2 0x05f3 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xe30c3978 000000ec: EQ 000000ed: PUSH2 0x0636 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xe4e1f29b 000000f7: EQ 000000f8: PUSH2 0x068d 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xee8a0a30 00000102: EQ 00000103: PUSH2 0x06b8 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xeff8e748 0000010d: EQ 0000010e: PUSH2 0x06e5 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xf2fde38b 00000118: EQ 00000119: PUSH2 0x073c 0000011c: JUMPI 0000011d: JUMPDEST 0000011e: STOP 0000011f: JUMPDEST 00000120: PUSH2 0x01d9 00000123: PUSH1 0x04 00000125: DUP1 00000126: CALLDATASIZE 00000127: SUB 00000128: DUP2 00000129: ADD 0000012a: SWAP1 0000012b: DUP1 0000012c: DUP1 0000012d: CALLDATALOAD 0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000143: AND 00000144: SWAP1 00000145: PUSH1 0x20 00000147: ADD 00000148: SWAP1 00000149: SWAP3 0000014a: SWAP2 0000014b: SWAP1 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: SWAP1 0000015c: DUP1 0000015d: DUP1 0000015e: PUSH1 0x20 00000160: MUL 00000161: PUSH1 0x20 00000163: ADD 00000164: PUSH1 0x40 00000166: MLOAD 00000167: SWAP1 00000168: DUP2 00000169: ADD 0000016a: PUSH1 0x40 0000016c: MSTORE 0000016d: DUP1 0000016e: SWAP4 0000016f: SWAP3 00000170: SWAP2 00000171: SWAP1 00000172: DUP2 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: DUP4 00000179: DUP4 0000017a: PUSH1 0x20 0000017c: MUL 0000017d: DUP1 0000017e: DUP3 0000017f: DUP5 00000180: CALLDATACOPY 00000181: DUP3 00000182: ADD 00000183: SWAP2 00000184: POP 00000185: POP 00000186: POP 00000187: POP 00000188: POP 00000189: POP 0000018a: SWAP2 0000018b: SWAP3 0000018c: SWAP2 0000018d: SWAP3 0000018e: SWAP1 0000018f: DUP1 00000190: CALLDATALOAD 00000191: SWAP1 00000192: PUSH1 0x20 00000194: ADD 00000195: SWAP1 00000196: DUP3 00000197: ADD 00000198: DUP1 00000199: CALLDATALOAD 0000019a: SWAP1 0000019b: PUSH1 0x20 0000019d: ADD 0000019e: SWAP1 0000019f: DUP1 000001a0: DUP1 000001a1: PUSH1 0x20 000001a3: MUL 000001a4: PUSH1 0x20 000001a6: ADD 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: ADD 000001ad: PUSH1 0x40 000001af: MSTORE 000001b0: DUP1 000001b1: SWAP4 000001b2: SWAP3 000001b3: SWAP2 000001b4: SWAP1 000001b5: DUP2 000001b6: DUP2 000001b7: MSTORE 000001b8: PUSH1 0x20 000001ba: ADD 000001bb: DUP4 000001bc: DUP4 000001bd: PUSH1 0x20 000001bf: MUL 000001c0: DUP1 000001c1: DUP3 000001c2: DUP5 000001c3: CALLDATACOPY 000001c4: DUP3 000001c5: ADD 000001c6: SWAP2 000001c7: POP 000001c8: POP 000001c9: POP 000001ca: POP 000001cb: POP 000001cc: POP 000001cd: SWAP2 000001ce: SWAP3 000001cf: SWAP2 000001d0: SWAP3 000001d1: SWAP1 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: PUSH2 0x077f 000001d8: JUMP 000001d9: JUMPDEST 000001da: STOP 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH2 0x01f0 000001ec: PUSH2 0x0a2c 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: DUP1 000001f5: DUP3 000001f6: ISZERO 000001f7: ISZERO 000001f8: ISZERO 000001f9: ISZERO 000001fa: DUP2 000001fb: MSTORE 000001fc: PUSH1 0x20 000001fe: ADD 000001ff: SWAP2 00000200: POP 00000201: POP 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x0235 0000021b: PUSH1 0x04 0000021d: DUP1 0000021e: CALLDATASIZE 0000021f: SUB 00000220: DUP2 00000221: ADD 00000222: SWAP1 00000223: DUP1 00000224: DUP1 00000225: CALLDATALOAD 00000226: SWAP1 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: SWAP3 0000022c: SWAP2 0000022d: SWAP1 0000022e: POP 0000022f: POP 00000230: POP 00000231: PUSH2 0x0a91 00000234: JUMP 00000235: JUMPDEST 00000236: STOP 00000237: JUMPDEST 00000238: CALLVALUE 00000239: DUP1 0000023a: ISZERO 0000023b: PUSH2 0x0243 0000023e: JUMPI 0000023f: PUSH1 0x00 00000241: DUP1 00000242: REVERT 00000243: JUMPDEST 00000244: POP 00000245: PUSH2 0x024c 00000248: PUSH2 0x0b3a 0000024b: JUMP 0000024c: JUMPDEST 0000024d: STOP 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: PUSH2 0x0263 0000025f: PUSH2 0x0db1 00000262: JUMP 00000263: JUMPDEST 00000264: PUSH1 0x40 00000266: MLOAD 00000267: DUP1 00000268: DUP1 00000269: PUSH1 0x20 0000026b: ADD 0000026c: DUP3 0000026d: DUP2 0000026e: SUB 0000026f: DUP3 00000270: MSTORE 00000271: DUP4 00000272: DUP2 00000273: DUP2 00000274: MLOAD 00000275: DUP2 00000276: MSTORE 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP2 0000027b: POP 0000027c: DUP1 0000027d: MLOAD 0000027e: SWAP1 0000027f: PUSH1 0x20 00000281: ADD 00000282: SWAP1 00000283: DUP1 00000284: DUP4 00000285: DUP4 00000286: PUSH1 0x00 00000288: JUMPDEST 00000289: DUP4 0000028a: DUP2 0000028b: LT 0000028c: ISZERO 0000028d: PUSH2 0x02a3 00000290: JUMPI 00000291: DUP1 00000292: DUP3 00000293: ADD 00000294: MLOAD 00000295: DUP2 00000296: DUP5 00000297: ADD 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: DUP2 0000029c: ADD 0000029d: SWAP1 0000029e: POP 0000029f: PUSH2 0x0288 000002a2: JUMP 000002a3: JUMPDEST 000002a4: POP 000002a5: POP 000002a6: POP 000002a7: POP 000002a8: SWAP1 000002a9: POP 000002aa: SWAP1 000002ab: DUP2 000002ac: ADD 000002ad: SWAP1 000002ae: PUSH1 0x1f 000002b0: AND 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02d0 000002b6: JUMPI 000002b7: DUP1 000002b8: DUP3 000002b9: SUB 000002ba: DUP1 000002bb: MLOAD 000002bc: PUSH1 0x01 000002be: DUP4 000002bf: PUSH1 0x20 000002c1: SUB 000002c2: PUSH2 0x0100 000002c5: EXP 000002c6: SUB 000002c7: NOT 000002c8: AND 000002c9: DUP2 000002ca: MSTORE 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: SWAP2 000002cf: POP 000002d0: JUMPDEST 000002d1: POP 000002d2: SWAP3 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: DUP1 000002da: SWAP2 000002db: SUB 000002dc: SWAP1 000002dd: RETURN 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: PUSH2 0x031f 000002ef: PUSH1 0x04 000002f1: DUP1 000002f2: CALLDATASIZE 000002f3: SUB 000002f4: DUP2 000002f5: ADD 000002f6: SWAP1 000002f7: DUP1 000002f8: DUP1 000002f9: CALLDATALOAD 000002fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030f: AND 00000310: SWAP1 00000311: PUSH1 0x20 00000313: ADD 00000314: SWAP1 00000315: SWAP3 00000316: SWAP2 00000317: SWAP1 00000318: POP 00000319: POP 0000031a: POP 0000031b: PUSH2 0x0e53 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH1 0x40 00000322: MLOAD 00000323: DUP1 00000324: DUP3 00000325: DUP2 00000326: MSTORE 00000327: PUSH1 0x20 00000329: ADD 0000032a: SWAP2 0000032b: POP 0000032c: POP 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: DUP1 00000331: SWAP2 00000332: SUB 00000333: SWAP1 00000334: RETURN 00000335: JUMPDEST 00000336: CALLVALUE 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH2 0x034a 00000346: PUSH2 0x0e9f 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: DUP3 00000350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000365: AND 00000366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037b: AND 0000037c: DUP2 0000037d: MSTORE 0000037e: PUSH1 0x20 00000380: ADD 00000381: SWAP2 00000382: POP 00000383: POP 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: SWAP2 00000389: SUB 0000038a: SWAP1 0000038b: RETURN 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: DUP1 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: PUSH2 0x03b7 0000039d: PUSH1 0x04 0000039f: DUP1 000003a0: CALLDATASIZE 000003a1: SUB 000003a2: DUP2 000003a3: ADD 000003a4: SWAP1 000003a5: DUP1 000003a6: DUP1 000003a7: CALLDATALOAD 000003a8: SWAP1 000003a9: PUSH1 0x20 000003ab: ADD 000003ac: SWAP1 000003ad: SWAP3 000003ae: SWAP2 000003af: SWAP1 000003b0: POP 000003b1: POP 000003b2: POP 000003b3: PUSH2 0x0ec9 000003b6: JUMP 000003b7: JUMPDEST 000003b8: STOP 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH2 0x03ce 000003ca: PUSH2 0x0f72 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: DUP1 000003d3: DUP3 000003d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e9: AND 000003ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ff: AND 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP2 00000406: POP 00000407: POP 00000408: PUSH1 0x40 0000040a: MLOAD 0000040b: DUP1 0000040c: SWAP2 0000040d: SUB 0000040e: SWAP1 0000040f: RETURN 00000410: JUMPDEST 00000411: CALLVALUE 00000412: DUP1 00000413: ISZERO 00000414: PUSH2 0x041c 00000417: JUMPI 00000418: PUSH1 0x00 0000041a: DUP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: POP 0000041e: PUSH2 0x0425 00000421: PUSH2 0x0f9b 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH1 0x40 00000428: MLOAD 00000429: DUP1 0000042a: DUP3 0000042b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000440: AND 00000441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000456: AND 00000457: DUP2 00000458: MSTORE 00000459: PUSH1 0x20 0000045b: ADD 0000045c: SWAP2 0000045d: POP 0000045e: POP 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: DUP1 00000463: SWAP2 00000464: SUB 00000465: SWAP1 00000466: RETURN 00000467: JUMPDEST 00000468: PUSH2 0x0501 0000046b: PUSH1 0x04 0000046d: DUP1 0000046e: CALLDATASIZE 0000046f: SUB 00000470: DUP2 00000471: ADD 00000472: SWAP1 00000473: DUP1 00000474: DUP1 00000475: CALLDATALOAD 00000476: SWAP1 00000477: PUSH1 0x20 00000479: ADD 0000047a: SWAP1 0000047b: DUP3 0000047c: ADD 0000047d: DUP1 0000047e: CALLDATALOAD 0000047f: SWAP1 00000480: PUSH1 0x20 00000482: ADD 00000483: SWAP1 00000484: DUP1 00000485: DUP1 00000486: PUSH1 0x20 00000488: MUL 00000489: PUSH1 0x20 0000048b: ADD 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: SWAP1 00000490: DUP2 00000491: ADD 00000492: PUSH1 0x40 00000494: MSTORE 00000495: DUP1 00000496: SWAP4 00000497: SWAP3 00000498: SWAP2 00000499: SWAP1 0000049a: DUP2 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x20 0000049f: ADD 000004a0: DUP4 000004a1: DUP4 000004a2: PUSH1 0x20 000004a4: MUL 000004a5: DUP1 000004a6: DUP3 000004a7: DUP5 000004a8: CALLDATACOPY 000004a9: DUP3 000004aa: ADD 000004ab: SWAP2 000004ac: POP 000004ad: POP 000004ae: POP 000004af: POP 000004b0: POP 000004b1: POP 000004b2: SWAP2 000004b3: SWAP3 000004b4: SWAP2 000004b5: SWAP3 000004b6: SWAP1 000004b7: DUP1 000004b8: CALLDATALOAD 000004b9: SWAP1 000004ba: PUSH1 0x20 000004bc: ADD 000004bd: SWAP1 000004be: DUP3 000004bf: ADD 000004c0: DUP1 000004c1: CALLDATALOAD 000004c2: SWAP1 000004c3: PUSH1 0x20 000004c5: ADD 000004c6: SWAP1 000004c7: DUP1 000004c8: DUP1 000004c9: PUSH1 0x20 000004cb: MUL 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: SWAP1 000004d3: DUP2 000004d4: ADD 000004d5: PUSH1 0x40 000004d7: MSTORE 000004d8: DUP1 000004d9: SWAP4 000004da: SWAP3 000004db: SWAP2 000004dc: SWAP1 000004dd: DUP2 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: DUP4 000004e4: DUP4 000004e5: PUSH1 0x20 000004e7: MUL 000004e8: DUP1 000004e9: DUP3 000004ea: DUP5 000004eb: CALLDATACOPY 000004ec: DUP3 000004ed: ADD 000004ee: SWAP2 000004ef: POP 000004f0: POP 000004f1: POP 000004f2: POP 000004f3: POP 000004f4: POP 000004f5: SWAP2 000004f6: SWAP3 000004f7: SWAP2 000004f8: SWAP3 000004f9: SWAP1 000004fa: POP 000004fb: POP 000004fc: POP 000004fd: PUSH2 0x1013 00000500: JUMP 00000501: JUMPDEST 00000502: STOP 00000503: JUMPDEST 00000504: CALLVALUE 00000505: DUP1 00000506: ISZERO 00000507: PUSH2 0x050f 0000050a: JUMPI 0000050b: PUSH1 0x00 0000050d: DUP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: POP 00000511: PUSH2 0x0518 00000514: PUSH2 0x11dc 00000517: JUMP 00000518: JUMPDEST 00000519: PUSH1 0x40 0000051b: MLOAD 0000051c: DUP1 0000051d: DUP3 0000051e: DUP2 0000051f: MSTORE 00000520: PUSH1 0x20 00000522: ADD 00000523: SWAP2 00000524: POP 00000525: POP 00000526: PUSH1 0x40 00000528: MLOAD 00000529: DUP1 0000052a: SWAP2 0000052b: SUB 0000052c: SWAP1 0000052d: RETURN 0000052e: JUMPDEST 0000052f: CALLVALUE 00000530: DUP1 00000531: ISZERO 00000532: PUSH2 0x053a 00000535: JUMPI 00000536: PUSH1 0x00 00000538: DUP1 00000539: REVERT 0000053a: JUMPDEST 0000053b: POP 0000053c: PUSH2 0x056f 0000053f: PUSH1 0x04 00000541: DUP1 00000542: CALLDATASIZE 00000543: SUB 00000544: DUP2 00000545: ADD 00000546: SWAP1 00000547: DUP1 00000548: DUP1 00000549: CALLDATALOAD 0000054a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055f: AND 00000560: SWAP1 00000561: PUSH1 0x20 00000563: ADD 00000564: SWAP1 00000565: SWAP3 00000566: SWAP2 00000567: SWAP1 00000568: POP 00000569: POP 0000056a: POP 0000056b: PUSH2 0x1234 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x40 00000572: MLOAD 00000573: DUP1 00000574: DUP3 00000575: DUP2 00000576: MSTORE 00000577: PUSH1 0x20 00000579: ADD 0000057a: SWAP2 0000057b: POP 0000057c: POP 0000057d: PUSH1 0x40 0000057f: MLOAD 00000580: DUP1 00000581: SWAP2 00000582: SUB 00000583: SWAP1 00000584: RETURN 00000585: JUMPDEST 00000586: CALLVALUE 00000587: DUP1 00000588: ISZERO 00000589: PUSH2 0x0591 0000058c: JUMPI 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: POP 00000593: PUSH2 0x05c6 00000596: PUSH1 0x04 00000598: DUP1 00000599: CALLDATASIZE 0000059a: SUB 0000059b: DUP2 0000059c: ADD 0000059d: SWAP1 0000059e: DUP1 0000059f: DUP1 000005a0: CALLDATALOAD 000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b6: AND 000005b7: SWAP1 000005b8: PUSH1 0x20 000005ba: ADD 000005bb: SWAP1 000005bc: SWAP3 000005bd: SWAP2 000005be: SWAP1 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: PUSH2 0x12d1 000005c5: JUMP 000005c6: JUMPDEST 000005c7: STOP 000005c8: JUMPDEST 000005c9: CALLVALUE 000005ca: DUP1 000005cb: ISZERO 000005cc: PUSH2 0x05d4 000005cf: JUMPI 000005d0: PUSH1 0x00 000005d2: DUP1 000005d3: REVERT 000005d4: JUMPDEST 000005d5: POP 000005d6: PUSH2 0x05dd 000005d9: PUSH2 0x1383 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH1 0x40 000005e0: MLOAD 000005e1: DUP1 000005e2: DUP3 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: SWAP2 000005e9: POP 000005ea: POP 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: DUP1 000005ef: SWAP2 000005f0: SUB 000005f1: SWAP1 000005f2: RETURN 000005f3: JUMPDEST 000005f4: CALLVALUE 000005f5: DUP1 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: POP 00000601: PUSH2 0x0634 00000604: PUSH1 0x04 00000606: DUP1 00000607: CALLDATASIZE 00000608: SUB 00000609: DUP2 0000060a: ADD 0000060b: SWAP1 0000060c: DUP1 0000060d: DUP1 0000060e: CALLDATALOAD 0000060f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000624: AND 00000625: SWAP1 00000626: PUSH1 0x20 00000628: ADD 00000629: SWAP1 0000062a: SWAP3 0000062b: SWAP2 0000062c: SWAP1 0000062d: POP 0000062e: POP 0000062f: POP 00000630: PUSH2 0x13db 00000633: JUMP 00000634: JUMPDEST 00000635: STOP 00000636: JUMPDEST 00000637: CALLVALUE 00000638: DUP1 00000639: ISZERO 0000063a: PUSH2 0x0642 0000063d: JUMPI 0000063e: PUSH1 0x00 00000640: DUP1 00000641: REVERT 00000642: JUMPDEST 00000643: POP 00000644: PUSH2 0x064b 00000647: PUSH2 0x1715 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: DUP1 00000650: DUP3 00000651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000666: AND 00000667: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067c: AND 0000067d: DUP2 0000067e: MSTORE 0000067f: PUSH1 0x20 00000681: ADD 00000682: SWAP2 00000683: POP 00000684: POP 00000685: PUSH1 0x40 00000687: MLOAD 00000688: DUP1 00000689: SWAP2 0000068a: SUB 0000068b: SWAP1 0000068c: RETURN 0000068d: JUMPDEST 0000068e: CALLVALUE 0000068f: DUP1 00000690: ISZERO 00000691: PUSH2 0x0699 00000694: JUMPI 00000695: PUSH1 0x00 00000697: DUP1 00000698: REVERT 00000699: JUMPDEST 0000069a: POP 0000069b: PUSH2 0x06a2 0000069e: PUSH2 0x178d 000006a1: JUMP 000006a2: JUMPDEST 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: DUP1 000006a7: DUP3 000006a8: DUP2 000006a9: MSTORE 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: SWAP2 000006ae: POP 000006af: POP 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: DUP1 000006b4: SWAP2 000006b5: SUB 000006b6: SWAP1 000006b7: RETURN 000006b8: JUMPDEST 000006b9: CALLVALUE 000006ba: DUP1 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: POP 000006c6: PUSH2 0x06e3 000006c9: PUSH1 0x04 000006cb: DUP1 000006cc: CALLDATASIZE 000006cd: SUB 000006ce: DUP2 000006cf: ADD 000006d0: SWAP1 000006d1: DUP1 000006d2: DUP1 000006d3: CALLDATALOAD 000006d4: SWAP1 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: SWAP1 000006d9: SWAP3 000006da: SWAP2 000006db: SWAP1 000006dc: POP 000006dd: POP 000006de: POP 000006df: PUSH2 0x17e5 000006e2: JUMP 000006e3: JUMPDEST 000006e4: STOP 000006e5: JUMPDEST 000006e6: CALLVALUE 000006e7: DUP1 000006e8: ISZERO 000006e9: PUSH2 0x06f1 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: REVERT 000006f1: JUMPDEST 000006f2: POP 000006f3: PUSH2 0x0726 000006f6: PUSH1 0x04 000006f8: DUP1 000006f9: CALLDATASIZE 000006fa: SUB 000006fb: DUP2 000006fc: ADD 000006fd: SWAP1 000006fe: DUP1 000006ff: DUP1 00000700: CALLDATALOAD 00000701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000716: AND 00000717: SWAP1 00000718: PUSH1 0x20 0000071a: ADD 0000071b: SWAP1 0000071c: SWAP3 0000071d: SWAP2 0000071e: SWAP1 0000071f: POP 00000720: POP 00000721: POP 00000722: PUSH2 0x188e 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x40 00000729: MLOAD 0000072a: DUP1 0000072b: DUP3 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x20 00000730: ADD 00000731: SWAP2 00000732: POP 00000733: POP 00000734: PUSH1 0x40 00000736: MLOAD 00000737: DUP1 00000738: SWAP2 00000739: SUB 0000073a: SWAP1 0000073b: RETURN 0000073c: JUMPDEST 0000073d: CALLVALUE 0000073e: DUP1 0000073f: ISZERO 00000740: PUSH2 0x0748 00000743: JUMPI 00000744: PUSH1 0x00 00000746: DUP1 00000747: REVERT 00000748: JUMPDEST 00000749: POP 0000074a: PUSH2 0x077d 0000074d: PUSH1 0x04 0000074f: DUP1 00000750: CALLDATASIZE 00000751: SUB 00000752: DUP2 00000753: ADD 00000754: SWAP1 00000755: DUP1 00000756: DUP1 00000757: CALLDATALOAD 00000758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076d: AND 0000076e: SWAP1 0000076f: PUSH1 0x20 00000771: ADD 00000772: SWAP1 00000773: SWAP3 00000774: SWAP2 00000775: SWAP1 00000776: POP 00000777: POP 00000778: POP 00000779: PUSH2 0x18be 0000077c: JUMP 0000077d: JUMPDEST 0000077e: STOP 0000077f: JUMPDEST 00000780: PUSH1 0x00 00000782: DUP1 00000783: PUSH1 0x00 00000785: DUP1 00000786: PUSH2 0x078e 00000789: CALLER 0000078a: PUSH2 0x0e53 0000078d: JUMP 0000078e: JUMPDEST 0000078f: GT 00000790: ISZERO 00000791: PUSH2 0x07ac 00000794: JUMPI 00000795: PUSH2 0x079d 00000798: CALLER 00000799: PUSH2 0x0e53 0000079c: JUMP 0000079d: JUMPDEST 0000079e: CALLVALUE 0000079f: LT 000007a0: ISZERO 000007a1: ISZERO 000007a2: ISZERO 000007a3: PUSH2 0x07ab 000007a6: JUMPI 000007a7: PUSH1 0x00 000007a9: DUP1 000007aa: REVERT 000007ab: JUMPDEST 000007ac: JUMPDEST 000007ad: PUSH2 0xbeef 000007b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c5: AND 000007c6: DUP7 000007c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dc: AND 000007dd: EQ 000007de: ISZERO 000007df: PUSH2 0x07f1 000007e2: JUMPI 000007e3: PUSH2 0x07ec 000007e6: DUP6 000007e7: DUP6 000007e8: PUSH2 0x1013 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH2 0x0a24 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH1 0x00 000007f4: SWAP3 000007f5: POP 000007f6: PUSH2 0x07fd 000007f9: PUSH2 0x11dc 000007fc: JUMP 000007fd: JUMPDEST 000007fe: DUP6 000007ff: MLOAD 00000800: GT 00000801: ISZERO 00000802: ISZERO 00000803: ISZERO 00000804: PUSH2 0x080c 00000807: JUMPI 00000808: PUSH1 0x00 0000080a: DUP1 0000080b: REVERT 0000080c: JUMPDEST 0000080d: DUP6 0000080e: SWAP2 0000080f: POP 00000810: PUSH1 0x00 00000812: SWAP1 00000813: POP 00000814: JUMPDEST 00000815: DUP5 00000816: MLOAD 00000817: DUP2 00000818: PUSH1 0xff 0000081a: AND 0000081b: LT 0000081c: ISZERO 0000081d: PUSH2 0x0993 00000820: JUMPI 00000821: DUP2 00000822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000837: AND 00000838: PUSH4 0x23b872dd 0000083d: CALLER 0000083e: DUP8 0000083f: DUP5 00000840: PUSH1 0xff 00000842: AND 00000843: DUP2 00000844: MLOAD 00000845: DUP2 00000846: LT 00000847: ISZERO 00000848: ISZERO 00000849: PUSH2 0x084e 0000084c: JUMPI 0000084d: INVALID 0000084e: JUMPDEST 0000084f: SWAP1 00000850: PUSH1 0x20 00000852: ADD 00000853: SWAP1 00000854: PUSH1 0x20 00000856: MUL 00000857: ADD 00000858: MLOAD 00000859: DUP8 0000085a: DUP6 0000085b: PUSH1 0xff 0000085d: AND 0000085e: DUP2 0000085f: MLOAD 00000860: DUP2 00000861: LT 00000862: ISZERO 00000863: ISZERO 00000864: PUSH2 0x0869 00000867: JUMPI 00000868: INVALID 00000869: JUMPDEST 0000086a: SWAP1 0000086b: PUSH1 0x20 0000086d: ADD 0000086e: SWAP1 0000086f: PUSH1 0x20 00000871: MUL 00000872: ADD 00000873: MLOAD 00000874: PUSH1 0x40 00000876: MLOAD 00000877: DUP5 00000878: PUSH4 0xffffffff 0000087d: AND 0000087e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000089c: MUL 0000089d: DUP2 0000089e: MSTORE 0000089f: PUSH1 0x04 000008a1: ADD 000008a2: DUP1 000008a3: DUP5 000008a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b9: AND 000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cf: AND 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x20 000008d4: ADD 000008d5: DUP4 000008d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008eb: AND 000008ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000901: AND 00000902: DUP2 00000903: MSTORE 00000904: PUSH1 0x20 00000906: ADD 00000907: DUP3 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x20 0000090c: ADD 0000090d: SWAP4 0000090e: POP 0000090f: POP 00000910: POP 00000911: POP 00000912: PUSH1 0x20 00000914: PUSH1 0x40 00000916: MLOAD 00000917: DUP1 00000918: DUP4 00000919: SUB 0000091a: DUP2 0000091b: PUSH1 0x00 0000091d: DUP8 0000091e: DUP1 0000091f: EXTCODESIZE 00000920: ISZERO 00000921: DUP1 00000922: ISZERO 00000923: PUSH2 0x092b 00000926: JUMPI 00000927: PUSH1 0x00 00000929: DUP1 0000092a: REVERT 0000092b: JUMPDEST 0000092c: POP 0000092d: GAS 0000092e: CALL 0000092f: ISZERO 00000930: DUP1 00000931: ISZERO 00000932: PUSH2 0x093f 00000935: JUMPI 00000936: RETURNDATASIZE 00000937: PUSH1 0x00 00000939: DUP1 0000093a: RETURNDATACOPY 0000093b: RETURNDATASIZE 0000093c: PUSH1 0x00 0000093e: REVERT 0000093f: JUMPDEST 00000940: POP 00000941: POP 00000942: POP 00000943: POP 00000944: PUSH1 0x40 00000946: MLOAD 00000947: RETURNDATASIZE 00000948: PUSH1 0x20 0000094a: DUP2 0000094b: LT 0000094c: ISZERO 0000094d: PUSH2 0x0955 00000950: JUMPI 00000951: PUSH1 0x00 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: DUP2 00000957: ADD 00000958: SWAP1 00000959: DUP1 0000095a: DUP1 0000095b: MLOAD 0000095c: SWAP1 0000095d: PUSH1 0x20 0000095f: ADD 00000960: SWAP1 00000961: SWAP3 00000962: SWAP2 00000963: SWAP1 00000964: POP 00000965: POP 00000966: POP 00000967: POP 00000968: DUP4 00000969: DUP2 0000096a: PUSH1 0xff 0000096c: AND 0000096d: DUP2 0000096e: MLOAD 0000096f: DUP2 00000970: LT 00000971: ISZERO 00000972: ISZERO 00000973: PUSH2 0x0978 00000976: JUMPI 00000977: INVALID 00000978: JUMPDEST 00000979: SWAP1 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: SWAP1 0000097e: PUSH1 0x20 00000980: MUL 00000981: ADD 00000982: MLOAD 00000983: DUP4 00000984: ADD 00000985: SWAP3 00000986: POP 00000987: DUP1 00000988: DUP1 00000989: PUSH1 0x01 0000098b: ADD 0000098c: SWAP2 0000098d: POP 0000098e: POP 0000098f: PUSH2 0x0814 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH2 0x09b8 00000997: CALLER 00000998: PUSH2 0x09b3 0000099b: PUSH1 0x01 0000099d: PUSH2 0x09a5 000009a0: CALLER 000009a1: PUSH2 0x1234 000009a4: JUMP 000009a5: JUMPDEST 000009a6: PUSH2 0x19cd 000009a9: SWAP1 000009aa: SWAP2 000009ab: SWAP1 000009ac: PUSH4 0xffffffff 000009b1: AND 000009b2: JUMP 000009b3: JUMPDEST 000009b4: PUSH2 0x19eb 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH32 0x04afd2ce457d973046bd54f5d7d36368546da08b88be1bca8ae50e32b451da17 000009da: DUP4 000009db: DUP8 000009dc: PUSH1 0x40 000009de: MLOAD 000009df: DUP1 000009e0: DUP4 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x20 000009e5: ADD 000009e6: DUP3 000009e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fc: AND 000009fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a12: AND 00000a13: DUP2 00000a14: MSTORE 00000a15: PUSH1 0x20 00000a17: ADD 00000a18: SWAP3 00000a19: POP 00000a1a: POP 00000a1b: POP 00000a1c: PUSH1 0x40 00000a1e: MLOAD 00000a1f: DUP1 00000a20: SWAP2 00000a21: SUB 00000a22: SWAP1 00000a23: LOG1 00000a24: JUMPDEST 00000a25: POP 00000a26: POP 00000a27: POP 00000a28: POP 00000a29: POP 00000a2a: POP 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH1 0x00 00000a2f: PUSH1 0x07 00000a31: PUSH1 0x00 00000a33: PUSH1 0x40 00000a35: MLOAD 00000a36: DUP1 00000a37: DUP1 00000a38: PUSH32 0x72735f6d756c746973656e6465725f696e697469616c697a6564000000000000 00000a59: DUP2 00000a5a: MSTORE 00000a5b: POP 00000a5c: PUSH1 0x1a 00000a5e: ADD 00000a5f: SWAP1 00000a60: POP 00000a61: PUSH1 0x40 00000a63: MLOAD 00000a64: DUP1 00000a65: SWAP2 00000a66: SUB 00000a67: SWAP1 00000a68: KECCAK256 00000a69: PUSH1 0x00 00000a6b: NOT 00000a6c: AND 00000a6d: PUSH1 0x00 00000a6f: NOT 00000a70: AND 00000a71: DUP2 00000a72: MSTORE 00000a73: PUSH1 0x20 00000a75: ADD 00000a76: SWAP1 00000a77: DUP2 00000a78: MSTORE 00000a79: PUSH1 0x20 00000a7b: ADD 00000a7c: PUSH1 0x00 00000a7e: KECCAK256 00000a7f: PUSH1 0x00 00000a81: SWAP1 00000a82: SLOAD 00000a83: SWAP1 00000a84: PUSH2 0x0100 00000a87: EXP 00000a88: SWAP1 00000a89: DIV 00000a8a: PUSH1 0xff 00000a8c: AND 00000a8d: SWAP1 00000a8e: POP 00000a8f: SWAP1 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH2 0x0a99 00000a95: PUSH2 0x0f9b 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aaf: AND 00000ab0: CALLER 00000ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac6: AND 00000ac7: EQ 00000ac8: ISZERO 00000ac9: ISZERO 00000aca: PUSH2 0x0ad2 00000acd: JUMPI 00000ace: PUSH1 0x00 00000ad0: DUP1 00000ad1: REVERT 00000ad2: JUMPDEST 00000ad3: PUSH1 0x00 00000ad5: DUP2 00000ad6: EQ 00000ad7: ISZERO 00000ad8: ISZERO 00000ad9: ISZERO 00000ada: PUSH2 0x0ae2 00000add: JUMPI 00000ade: PUSH1 0x00 00000ae0: DUP1 00000ae1: REVERT 00000ae2: JUMPDEST 00000ae3: DUP1 00000ae4: PUSH1 0x03 00000ae6: PUSH1 0x00 00000ae8: PUSH1 0x40 00000aea: MLOAD 00000aeb: DUP1 00000aec: DUP1 00000aed: PUSH32 0x646973636f756e74537465700000000000000000000000000000000000000000 00000b0e: DUP2 00000b0f: MSTORE 00000b10: POP 00000b11: PUSH1 0x0c 00000b13: ADD 00000b14: SWAP1 00000b15: POP 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: DUP1 00000b1a: SWAP2 00000b1b: SUB 00000b1c: SWAP1 00000b1d: KECCAK256 00000b1e: PUSH1 0x00 00000b20: NOT 00000b21: AND 00000b22: PUSH1 0x00 00000b24: NOT 00000b25: AND 00000b26: DUP2 00000b27: MSTORE 00000b28: PUSH1 0x20 00000b2a: ADD 00000b2b: SWAP1 00000b2c: DUP2 00000b2d: MSTORE 00000b2e: PUSH1 0x20 00000b30: ADD 00000b31: PUSH1 0x00 00000b33: KECCAK256 00000b34: DUP2 00000b35: SWAP1 00000b36: SSTORE 00000b37: POP 00000b38: POP 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH2 0x0b42 00000b3e: PUSH2 0x1715 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b58: AND 00000b59: CALLER 00000b5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6f: AND 00000b70: EQ 00000b71: ISZERO 00000b72: ISZERO 00000b73: PUSH2 0x0b7b 00000b76: JUMPI 00000b77: PUSH1 0x00 00000b79: DUP1 00000b7a: REVERT 00000b7b: JUMPDEST 00000b7c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b9d: PUSH2 0x0ba4 00000ba0: PUSH2 0x0f9b 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH2 0x0bac 00000ba8: PUSH2 0x1715 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x40 00000baf: MLOAD 00000bb0: DUP1 00000bb1: DUP4 00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc7: AND 00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdd: AND 00000bde: DUP2 00000bdf: MSTORE 00000be0: PUSH1 0x20 00000be2: ADD 00000be3: DUP3 00000be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf9: AND 00000bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0f: AND 00000c10: DUP2 00000c11: MSTORE 00000c12: PUSH1 0x20 00000c14: ADD 00000c15: SWAP3 00000c16: POP 00000c17: POP 00000c18: POP 00000c19: PUSH1 0x40 00000c1b: MLOAD 00000c1c: DUP1 00000c1d: SWAP2 00000c1e: SUB 00000c1f: SWAP1 00000c20: LOG1 00000c21: PUSH1 0x05 00000c23: PUSH1 0x00 00000c25: PUSH1 0x40 00000c27: MLOAD 00000c28: DUP1 00000c29: DUP1 00000c2a: PUSH32 0x70656e64696e674f776e65720000000000000000000000000000000000000000 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: POP 00000c4e: PUSH1 0x0c 00000c50: ADD 00000c51: SWAP1 00000c52: POP 00000c53: PUSH1 0x40 00000c55: MLOAD 00000c56: DUP1 00000c57: SWAP2 00000c58: SUB 00000c59: SWAP1 00000c5a: KECCAK256 00000c5b: PUSH1 0x00 00000c5d: NOT 00000c5e: AND 00000c5f: PUSH1 0x00 00000c61: NOT 00000c62: AND 00000c63: DUP2 00000c64: MSTORE 00000c65: PUSH1 0x20 00000c67: ADD 00000c68: SWAP1 00000c69: DUP2 00000c6a: MSTORE 00000c6b: PUSH1 0x20 00000c6d: ADD 00000c6e: PUSH1 0x00 00000c70: KECCAK256 00000c71: PUSH1 0x00 00000c73: SWAP1 00000c74: SLOAD 00000c75: SWAP1 00000c76: PUSH2 0x0100 00000c79: EXP 00000c7a: SWAP1 00000c7b: DIV 00000c7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c91: AND 00000c92: PUSH1 0x05 00000c94: PUSH1 0x00 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: DUP1 00000c9a: DUP1 00000c9b: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: POP 00000cbf: PUSH1 0x05 00000cc1: ADD 00000cc2: SWAP1 00000cc3: POP 00000cc4: PUSH1 0x40 00000cc6: MLOAD 00000cc7: DUP1 00000cc8: SWAP2 00000cc9: SUB 00000cca: SWAP1 00000ccb: KECCAK256 00000ccc: PUSH1 0x00 00000cce: NOT 00000ccf: AND 00000cd0: PUSH1 0x00 00000cd2: NOT 00000cd3: AND 00000cd4: DUP2 00000cd5: MSTORE 00000cd6: PUSH1 0x20 00000cd8: ADD 00000cd9: SWAP1 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x20 00000cde: ADD 00000cdf: PUSH1 0x00 00000ce1: KECCAK256 00000ce2: PUSH1 0x00 00000ce4: PUSH2 0x0100 00000ce7: EXP 00000ce8: DUP2 00000ce9: SLOAD 00000cea: DUP2 00000ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d00: MUL 00000d01: NOT 00000d02: AND 00000d03: SWAP1 00000d04: DUP4 00000d05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1a: AND 00000d1b: MUL 00000d1c: OR 00000d1d: SWAP1 00000d1e: SSTORE 00000d1f: POP 00000d20: PUSH1 0x00 00000d22: PUSH1 0x05 00000d24: PUSH1 0x00 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: DUP1 00000d2a: DUP1 00000d2b: PUSH32 0x70656e64696e674f776e65720000000000000000000000000000000000000000 00000d4c: DUP2 00000d4d: MSTORE 00000d4e: POP 00000d4f: PUSH1 0x0c 00000d51: ADD 00000d52: SWAP1 00000d53: POP 00000d54: PUSH1 0x40 00000d56: MLOAD 00000d57: DUP1 00000d58: SWAP2 00000d59: SUB 00000d5a: SWAP1 00000d5b: KECCAK256 00000d5c: PUSH1 0x00 00000d5e: NOT 00000d5f: AND 00000d60: PUSH1 0x00 00000d62: NOT 00000d63: AND 00000d64: DUP2 00000d65: MSTORE 00000d66: PUSH1 0x20 00000d68: ADD 00000d69: SWAP1 00000d6a: DUP2 00000d6b: MSTORE 00000d6c: PUSH1 0x20 00000d6e: ADD 00000d6f: PUSH1 0x00 00000d71: KECCAK256 00000d72: PUSH1 0x00 00000d74: PUSH2 0x0100 00000d77: EXP 00000d78: DUP2 00000d79: SLOAD 00000d7a: DUP2 00000d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d90: MUL 00000d91: NOT 00000d92: AND 00000d93: SWAP1 00000d94: DUP4 00000d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daa: AND 00000dab: MUL 00000dac: OR 00000dad: SWAP1 00000dae: SSTORE 00000daf: POP 00000db0: JUMP 00000db1: JUMPDEST 00000db2: PUSH1 0x60 00000db4: PUSH1 0x01 00000db6: DUP1 00000db7: SLOAD 00000db8: PUSH1 0x01 00000dba: DUP2 00000dbb: PUSH1 0x01 00000dbd: AND 00000dbe: ISZERO 00000dbf: PUSH2 0x0100 00000dc2: MUL 00000dc3: SUB 00000dc4: AND 00000dc5: PUSH1 0x02 00000dc7: SWAP1 00000dc8: DIV 00000dc9: DUP1 00000dca: PUSH1 0x1f 00000dcc: ADD 00000dcd: PUSH1 0x20 00000dcf: DUP1 00000dd0: SWAP2 00000dd1: DIV 00000dd2: MUL 00000dd3: PUSH1 0x20 00000dd5: ADD 00000dd6: PUSH1 0x40 00000dd8: MLOAD 00000dd9: SWAP1 00000dda: DUP2 00000ddb: ADD 00000ddc: PUSH1 0x40 00000dde: MSTORE 00000ddf: DUP1 00000de0: SWAP3 00000de1: SWAP2 00000de2: SWAP1 00000de3: DUP2 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x20 00000de8: ADD 00000de9: DUP3 00000dea: DUP1 00000deb: SLOAD 00000dec: PUSH1 0x01 00000dee: DUP2 00000def: PUSH1 0x01 00000df1: AND 00000df2: ISZERO 00000df3: PUSH2 0x0100 00000df6: MUL 00000df7: SUB 00000df8: AND 00000df9: PUSH1 0x02 00000dfb: SWAP1 00000dfc: DIV 00000dfd: DUP1 00000dfe: ISZERO 00000dff: PUSH2 0x0e49 00000e02: JUMPI 00000e03: DUP1 00000e04: PUSH1 0x1f 00000e06: LT 00000e07: PUSH2 0x0e1e 00000e0a: JUMPI 00000e0b: PUSH2 0x0100 00000e0e: DUP1 00000e0f: DUP4 00000e10: SLOAD 00000e11: DIV 00000e12: MUL 00000e13: DUP4 00000e14: MSTORE 00000e15: SWAP2 00000e16: PUSH1 0x20 00000e18: ADD 00000e19: SWAP2 00000e1a: PUSH2 0x0e49 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: DUP3 00000e20: ADD 00000e21: SWAP2 00000e22: SWAP1 00000e23: PUSH1 0x00 00000e25: MSTORE 00000e26: PUSH1 0x20 00000e28: PUSH1 0x00 00000e2a: KECCAK256 00000e2b: SWAP1 00000e2c: JUMPDEST 00000e2d: DUP2 00000e2e: SLOAD 00000e2f: DUP2 00000e30: MSTORE 00000e31: SWAP1 00000e32: PUSH1 0x01 00000e34: ADD 00000e35: SWAP1 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: DUP1 00000e3a: DUP4 00000e3b: GT 00000e3c: PUSH2 0x0e2c 00000e3f: JUMPI 00000e40: DUP3 00000e41: SWAP1 00000e42: SUB 00000e43: PUSH1 0x1f 00000e45: AND 00000e46: DUP3 00000e47: ADD 00000e48: SWAP2 00000e49: JUMPDEST 00000e4a: POP 00000e4b: POP 00000e4c: POP 00000e4d: POP 00000e4e: POP 00000e4f: SWAP1 00000e50: POP 00000e51: SWAP1 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH1 0x00 00000e56: PUSH2 0x0e5e 00000e59: CALLER 00000e5a: PUSH2 0x188e 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: PUSH2 0x0e66 00000e62: PUSH2 0x1383 00000e65: JUMP 00000e66: JUMPDEST 00000e67: GT 00000e68: ISZERO 00000e69: PUSH2 0x0e95 00000e6c: JUMPI 00000e6d: PUSH2 0x0e8e 00000e70: PUSH2 0x0e78 00000e73: DUP4 00000e74: PUSH2 0x188e 00000e77: JUMP 00000e78: JUMPDEST 00000e79: PUSH2 0x0e80 00000e7c: PUSH2 0x1383 00000e7f: JUMP 00000e80: JUMPDEST 00000e81: PUSH2 0x1a87 00000e84: SWAP1 00000e85: SWAP2 00000e86: SWAP1 00000e87: PUSH4 0xffffffff 00000e8c: AND 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: SWAP1 00000e90: POP 00000e91: PUSH2 0x0e9a 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x00 00000e98: SWAP1 00000e99: POP 00000e9a: JUMPDEST 00000e9b: SWAP2 00000e9c: SWAP1 00000e9d: POP 00000e9e: JUMP 00000e9f: JUMPDEST 00000ea0: PUSH1 0x00 00000ea2: PUSH1 0x02 00000ea4: PUSH1 0x00 00000ea6: SWAP1 00000ea7: SLOAD 00000ea8: SWAP1 00000ea9: PUSH2 0x0100 00000eac: EXP 00000ead: SWAP1 00000eae: DIV 00000eaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec4: AND 00000ec5: SWAP1 00000ec6: POP 00000ec7: SWAP1 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH2 0x0ed1 00000ecd: PUSH2 0x0f9b 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee7: AND 00000ee8: CALLER 00000ee9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efe: AND 00000eff: EQ 00000f00: ISZERO 00000f01: ISZERO 00000f02: PUSH2 0x0f0a 00000f05: JUMPI 00000f06: PUSH1 0x00 00000f08: DUP1 00000f09: REVERT 00000f0a: JUMPDEST 00000f0b: PUSH1 0x00 00000f0d: DUP2 00000f0e: EQ 00000f0f: ISZERO 00000f10: ISZERO 00000f11: ISZERO 00000f12: PUSH2 0x0f1a 00000f15: JUMPI 00000f16: PUSH1 0x00 00000f18: DUP1 00000f19: REVERT 00000f1a: JUMPDEST 00000f1b: DUP1 00000f1c: PUSH1 0x03 00000f1e: PUSH1 0x00 00000f20: PUSH1 0x40 00000f22: MLOAD 00000f23: DUP1 00000f24: DUP1 00000f25: PUSH32 0x6665650000000000000000000000000000000000000000000000000000000000 00000f46: DUP2 00000f47: MSTORE 00000f48: POP 00000f49: PUSH1 0x03 00000f4b: ADD 00000f4c: SWAP1 00000f4d: POP 00000f4e: PUSH1 0x40 00000f50: MLOAD 00000f51: DUP1 00000f52: SWAP2 00000f53: SUB 00000f54: SWAP1 00000f55: KECCAK256 00000f56: PUSH1 0x00 00000f58: NOT 00000f59: AND 00000f5a: PUSH1 0x00 00000f5c: NOT 00000f5d: AND 00000f5e: DUP2 00000f5f: MSTORE 00000f60: PUSH1 0x20 00000f62: ADD 00000f63: SWAP1 00000f64: DUP2 00000f65: MSTORE 00000f66: PUSH1 0x20 00000f68: ADD 00000f69: PUSH1 0x00 00000f6b: KECCAK256 00000f6c: DUP2 00000f6d: SWAP1 00000f6e: SSTORE 00000f6f: POP 00000f70: POP 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH1 0x00 00000f75: DUP1 00000f76: PUSH1 0x00 00000f78: SWAP1 00000f79: SLOAD 00000f7a: SWAP1 00000f7b: PUSH2 0x0100 00000f7e: EXP 00000f7f: SWAP1 00000f80: DIV 00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f96: AND 00000f97: SWAP1 00000f98: POP 00000f99: SWAP1 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: PUSH1 0x00 00000f9e: PUSH1 0x05 00000fa0: PUSH1 0x00 00000fa2: PUSH1 0x40 00000fa4: MLOAD 00000fa5: DUP1 00000fa6: DUP1 00000fa7: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000 00000fc8: DUP2 00000fc9: MSTORE 00000fca: POP 00000fcb: PUSH1 0x05 00000fcd: ADD 00000fce: SWAP1 00000fcf: POP 00000fd0: PUSH1 0x40 00000fd2: MLOAD 00000fd3: DUP1 00000fd4: SWAP2 00000fd5: SUB 00000fd6: SWAP1 00000fd7: KECCAK256 00000fd8: PUSH1 0x00 00000fda: NOT 00000fdb: AND 00000fdc: PUSH1 0x00 00000fde: NOT 00000fdf: AND 00000fe0: DUP2 00000fe1: MSTORE 00000fe2: PUSH1 0x20 00000fe4: ADD 00000fe5: SWAP1 00000fe6: DUP2 00000fe7: MSTORE 00000fe8: PUSH1 0x20 00000fea: ADD 00000feb: PUSH1 0x00 00000fed: KECCAK256 00000fee: PUSH1 0x00 00000ff0: SWAP1 00000ff1: SLOAD 00000ff2: SWAP1 00000ff3: PUSH2 0x0100 00000ff6: EXP 00000ff7: SWAP1 00000ff8: DIV 00000ff9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100e: AND 0000100f: SWAP1 00001010: POP 00001011: SWAP1 00001012: JUMP 00001013: JUMPDEST 00001014: PUSH1 0x00 00001016: DUP1 00001017: PUSH1 0x00 00001019: CALLVALUE 0000101a: SWAP3 0000101b: POP 0000101c: PUSH2 0x1024 0000101f: CALLER 00001020: PUSH2 0x0e53 00001023: JUMP 00001024: JUMPDEST 00001025: SWAP2 00001026: POP 00001027: DUP2 00001028: DUP4 00001029: LT 0000102a: ISZERO 0000102b: ISZERO 0000102c: ISZERO 0000102d: PUSH2 0x1035 00001030: JUMPI 00001031: PUSH1 0x00 00001033: DUP1 00001034: REVERT 00001035: JUMPDEST 00001036: PUSH2 0x103d 00001039: PUSH2 0x11dc 0000103c: JUMP 0000103d: JUMPDEST 0000103e: DUP6 0000103f: MLOAD 00001040: GT 00001041: ISZERO 00001042: ISZERO 00001043: ISZERO 00001044: PUSH2 0x104c 00001047: JUMPI 00001048: PUSH1 0x00 0000104a: DUP1 0000104b: REVERT 0000104c: JUMPDEST 0000104d: PUSH2 0x105f 00001050: DUP3 00001051: DUP5 00001052: PUSH2 0x1a87 00001055: SWAP1 00001056: SWAP2 00001057: SWAP1 00001058: PUSH4 0xffffffff 0000105d: AND 0000105e: JUMP 0000105f: JUMPDEST 00001060: SWAP3 00001061: POP 00001062: PUSH1 0x00 00001064: SWAP1 00001065: POP 00001066: JUMPDEST 00001067: DUP5 00001068: MLOAD 00001069: DUP2 0000106a: LT 0000106b: ISZERO 0000106c: PUSH2 0x1143 0000106f: JUMPI 00001070: DUP4 00001071: DUP2 00001072: DUP2 00001073: MLOAD 00001074: DUP2 00001075: LT 00001076: ISZERO 00001077: ISZERO 00001078: PUSH2 0x107d 0000107b: JUMPI 0000107c: INVALID 0000107d: JUMPDEST 0000107e: SWAP1 0000107f: PUSH1 0x20 00001081: ADD 00001082: SWAP1 00001083: PUSH1 0x20 00001085: MUL 00001086: ADD 00001087: MLOAD 00001088: DUP4 00001089: LT 0000108a: ISZERO 0000108b: ISZERO 0000108c: ISZERO 0000108d: PUSH2 0x1095 00001090: JUMPI 00001091: PUSH1 0x00 00001093: DUP1 00001094: REVERT 00001095: JUMPDEST 00001096: PUSH2 0x10bf 00001099: DUP5 0000109a: DUP3 0000109b: DUP2 0000109c: MLOAD 0000109d: DUP2 0000109e: LT 0000109f: ISZERO 000010a0: ISZERO 000010a1: PUSH2 0x10a6 000010a4: JUMPI 000010a5: INVALID 000010a6: JUMPDEST 000010a7: SWAP1 000010a8: PUSH1 0x20 000010aa: ADD 000010ab: SWAP1 000010ac: PUSH1 0x20 000010ae: MUL 000010af: ADD 000010b0: MLOAD 000010b1: DUP5 000010b2: PUSH2 0x1a87 000010b5: SWAP1 000010b6: SWAP2 000010b7: SWAP1 000010b8: PUSH4 0xffffffff 000010bd: AND 000010be: JUMP 000010bf: JUMPDEST 000010c0: SWAP3 000010c1: POP 000010c2: DUP5 000010c3: DUP2 000010c4: DUP2 000010c5: MLOAD 000010c6: DUP2 000010c7: LT 000010c8: ISZERO 000010c9: ISZERO 000010ca: PUSH2 0x10cf 000010cd: JUMPI 000010ce: INVALID 000010cf: JUMPDEST 000010d0: SWAP1 000010d1: PUSH1 0x20 000010d3: ADD 000010d4: SWAP1 000010d5: PUSH1 0x20 000010d7: MUL 000010d8: ADD 000010d9: MLOAD 000010da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ef: AND 000010f0: PUSH2 0x08fc 000010f3: DUP6 000010f4: DUP4 000010f5: DUP2 000010f6: MLOAD 000010f7: DUP2 000010f8: LT 000010f9: ISZERO 000010fa: ISZERO 000010fb: PUSH2 0x1100 000010fe: JUMPI 000010ff: INVALID 00001100: JUMPDEST 00001101: SWAP1 00001102: PUSH1 0x20 00001104: ADD 00001105: SWAP1 00001106: PUSH1 0x20 00001108: MUL 00001109: ADD 0000110a: MLOAD 0000110b: SWAP1 0000110c: DUP2 0000110d: ISZERO 0000110e: MUL 0000110f: SWAP1 00001110: PUSH1 0x40 00001112: MLOAD 00001113: PUSH1 0x00 00001115: PUSH1 0x40 00001117: MLOAD 00001118: DUP1 00001119: DUP4 0000111a: SUB 0000111b: DUP2 0000111c: DUP6 0000111d: DUP9 0000111e: DUP9 0000111f: CALL 00001120: SWAP4 00001121: POP 00001122: POP 00001123: POP 00001124: POP 00001125: ISZERO 00001126: DUP1 00001127: ISZERO 00001128: PUSH2 0x1135 0000112b: JUMPI 0000112c: RETURNDATASIZE 0000112d: PUSH1 0x00 0000112f: DUP1 00001130: RETURNDATACOPY 00001131: RETURNDATASIZE 00001132: PUSH1 0x00 00001134: REVERT 00001135: JUMPDEST 00001136: POP 00001137: DUP1 00001138: DUP1 00001139: PUSH1 0x01 0000113b: ADD 0000113c: SWAP2 0000113d: POP 0000113e: POP 0000113f: PUSH2 0x1066 00001142: JUMP 00001143: JUMPDEST 00001144: PUSH2 0x1168 00001147: CALLER 00001148: PUSH2 0x1163 0000114b: PUSH1 0x01 0000114d: PUSH2 0x1155 00001150: CALLER 00001151: PUSH2 0x1234 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH2 0x19cd 00001159: SWAP1 0000115a: SWAP2 0000115b: SWAP1 0000115c: PUSH4 0xffffffff 00001161: AND 00001162: JUMP 00001163: JUMPDEST 00001164: PUSH2 0x19eb 00001167: JUMP 00001168: JUMPDEST 00001169: PUSH32 0x04afd2ce457d973046bd54f5d7d36368546da08b88be1bca8ae50e32b451da17 0000118a: CALLVALUE 0000118b: PUSH2 0xbeef 0000118e: PUSH1 0x40 00001190: MLOAD 00001191: DUP1 00001192: DUP4 00001193: DUP2 00001194: MSTORE 00001195: PUSH1 0x20 00001197: ADD 00001198: DUP3 00001199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ae: AND 000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c4: AND 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x20 000011c9: ADD 000011ca: SWAP3 000011cb: POP 000011cc: POP 000011cd: POP 000011ce: PUSH1 0x40 000011d0: MLOAD 000011d1: DUP1 000011d2: SWAP2 000011d3: SUB 000011d4: SWAP1 000011d5: LOG1 000011d6: POP 000011d7: POP 000011d8: POP 000011d9: POP 000011da: POP 000011db: JUMP 000011dc: JUMPDEST 000011dd: PUSH1 0x00 000011df: PUSH1 0x03 000011e1: PUSH1 0x00 000011e3: PUSH1 0x40 000011e5: MLOAD 000011e6: DUP1 000011e7: DUP1 000011e8: PUSH32 0x61727261794c696d697400000000000000000000000000000000000000000000 00001209: DUP2 0000120a: MSTORE 0000120b: POP 0000120c: PUSH1 0x0a 0000120e: ADD 0000120f: SWAP1 00001210: POP 00001211: PUSH1 0x40 00001213: MLOAD 00001214: DUP1 00001215: SWAP2 00001216: SUB 00001217: SWAP1 00001218: KECCAK256 00001219: PUSH1 0x00 0000121b: NOT 0000121c: AND 0000121d: PUSH1 0x00 0000121f: NOT 00001220: AND 00001221: DUP2 00001222: MSTORE 00001223: PUSH1 0x20 00001225: ADD 00001226: SWAP1 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: ADD 0000122c: PUSH1 0x00 0000122e: KECCAK256 0000122f: SLOAD 00001230: SWAP1 00001231: POP 00001232: SWAP1 00001233: JUMP 00001234: JUMPDEST 00001235: PUSH1 0x00 00001237: PUSH1 0x03 00001239: PUSH1 0x00 0000123b: DUP4 0000123c: PUSH1 0x40 0000123e: MLOAD 0000123f: DUP1 00001240: DUP1 00001241: PUSH32 0x7478436f756e7400000000000000000000000000000000000000000000000000 00001262: DUP2 00001263: MSTORE 00001264: POP 00001265: PUSH1 0x07 00001267: ADD 00001268: DUP3 00001269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127e: AND 0000127f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001294: AND 00001295: PUSH13 0x01000000000000000000000000 000012a3: MUL 000012a4: DUP2 000012a5: MSTORE 000012a6: PUSH1 0x14 000012a8: ADD 000012a9: SWAP2 000012aa: POP 000012ab: POP 000012ac: PUSH1 0x40 000012ae: MLOAD 000012af: DUP1 000012b0: SWAP2 000012b1: SUB 000012b2: SWAP1 000012b3: KECCAK256 000012b4: PUSH1 0x00 000012b6: NOT 000012b7: AND 000012b8: PUSH1 0x00 000012ba: NOT 000012bb: AND 000012bc: DUP2 000012bd: MSTORE 000012be: PUSH1 0x20 000012c0: ADD 000012c1: SWAP1 000012c2: DUP2 000012c3: MSTORE 000012c4: PUSH1 0x20 000012c6: ADD 000012c7: PUSH1 0x00 000012c9: KECCAK256 000012ca: SLOAD 000012cb: SWAP1 000012cc: POP 000012cd: SWAP2 000012ce: SWAP1 000012cf: POP 000012d0: JUMP 000012d1: JUMPDEST 000012d2: PUSH2 0x12d9 000012d5: PUSH2 0x0a2c 000012d8: JUMP 000012d9: JUMPDEST 000012da: ISZERO 000012db: ISZERO 000012dc: ISZERO 000012dd: PUSH2 0x12e5 000012e0: JUMPI 000012e1: PUSH1 0x00 000012e3: DUP1 000012e4: REVERT 000012e5: JUMPDEST 000012e6: PUSH2 0x12ee 000012e9: DUP2 000012ea: PUSH2 0x1aa0 000012ed: JUMP 000012ee: JUMPDEST 000012ef: PUSH2 0x12f8 000012f2: PUSH1 0xc8 000012f4: PUSH2 0x17e5 000012f7: JUMP 000012f8: JUMPDEST 000012f9: PUSH2 0x1307 000012fc: PUSH6 0x2d79883d2000 00001303: PUSH2 0x0a91 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH2 0x1317 0000130b: PUSH7 0xb1a2bc2ec50000 00001313: PUSH2 0x0ec9 00001316: JUMP 00001317: JUMPDEST 00001318: PUSH1 0x01 0000131a: PUSH1 0x07 0000131c: PUSH1 0x00 0000131e: PUSH1 0x40 00001320: MLOAD 00001321: DUP1 00001322: DUP1 00001323: PUSH32 0x72735f6d756c746973656e6465725f696e697469616c697a6564000000000000 00001344: DUP2 00001345: MSTORE 00001346: POP 00001347: PUSH1 0x1a 00001349: ADD 0000134a: SWAP1 0000134b: POP 0000134c: PUSH1 0x40 0000134e: MLOAD 0000134f: DUP1 00001350: SWAP2 00001351: SUB 00001352: SWAP1 00001353: KECCAK256 00001354: PUSH1 0x00 00001356: NOT 00001357: AND 00001358: PUSH1 0x00 0000135a: NOT 0000135b: AND 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x20 00001360: ADD 00001361: SWAP1 00001362: DUP2 00001363: MSTORE 00001364: PUSH1 0x20 00001366: ADD 00001367: PUSH1 0x00 00001369: KECCAK256 0000136a: PUSH1 0x00 0000136c: PUSH2 0x0100 0000136f: EXP 00001370: DUP2 00001371: SLOAD 00001372: DUP2 00001373: PUSH1 0xff 00001375: MUL 00001376: NOT 00001377: AND 00001378: SWAP1 00001379: DUP4 0000137a: ISZERO 0000137b: ISZERO 0000137c: MUL 0000137d: OR 0000137e: SWAP1 0000137f: SSTORE 00001380: POP 00001381: POP 00001382: JUMP 00001383: JUMPDEST 00001384: PUSH1 0x00 00001386: PUSH1 0x03 00001388: PUSH1 0x00 0000138a: PUSH1 0x40 0000138c: MLOAD 0000138d: DUP1 0000138e: DUP1 0000138f: PUSH32 0x6665650000000000000000000000000000000000000000000000000000000000 000013b0: DUP2 000013b1: MSTORE 000013b2: POP 000013b3: PUSH1 0x03 000013b5: ADD 000013b6: SWAP1 000013b7: POP 000013b8: PUSH1 0x40 000013ba: MLOAD 000013bb: DUP1 000013bc: SWAP2 000013bd: SUB 000013be: SWAP1 000013bf: KECCAK256 000013c0: PUSH1 0x00 000013c2: NOT 000013c3: AND 000013c4: PUSH1 0x00 000013c6: NOT 000013c7: AND 000013c8: DUP2 000013c9: MSTORE 000013ca: PUSH1 0x20 000013cc: ADD 000013cd: SWAP1 000013ce: DUP2 000013cf: MSTORE 000013d0: PUSH1 0x20 000013d2: ADD 000013d3: PUSH1 0x00 000013d5: KECCAK256 000013d6: SLOAD 000013d7: SWAP1 000013d8: POP 000013d9: SWAP1 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH1 0x00 000013de: DUP1 000013df: PUSH2 0x13e6 000013e2: PUSH2 0x0f9b 000013e5: JUMP 000013e6: JUMPDEST 000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fc: AND 000013fd: CALLER 000013fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001413: AND 00001414: EQ 00001415: ISZERO 00001416: ISZERO 00001417: PUSH2 0x141f 0000141a: JUMPI 0000141b: PUSH1 0x00 0000141d: DUP1 0000141e: REVERT 0000141f: JUMPDEST 00001420: PUSH1 0x00 00001422: DUP4 00001423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001438: AND 00001439: EQ 0000143a: ISZERO 0000143b: PUSH2 0x14a8 0000143e: JUMPI 0000143f: PUSH2 0x1446 00001442: PUSH2 0x0f9b 00001445: JUMP 00001446: JUMPDEST 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: PUSH2 0x08fc 00001460: ADDRESS 00001461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001476: AND 00001477: BALANCE 00001478: SWAP1 00001479: DUP2 0000147a: ISZERO 0000147b: MUL 0000147c: SWAP1 0000147d: PUSH1 0x40 0000147f: MLOAD 00001480: PUSH1 0x00 00001482: PUSH1 0x40 00001484: MLOAD 00001485: DUP1 00001486: DUP4 00001487: SUB 00001488: DUP2 00001489: DUP6 0000148a: DUP9 0000148b: DUP9 0000148c: CALL 0000148d: SWAP4 0000148e: POP 0000148f: POP 00001490: POP 00001491: POP 00001492: ISZERO 00001493: DUP1 00001494: ISZERO 00001495: PUSH2 0x14a2 00001498: JUMPI 00001499: RETURNDATASIZE 0000149a: PUSH1 0x00 0000149c: DUP1 0000149d: RETURNDATACOPY 0000149e: RETURNDATASIZE 0000149f: PUSH1 0x00 000014a1: REVERT 000014a2: JUMPDEST 000014a3: POP 000014a4: PUSH2 0x1710 000014a7: JUMP 000014a8: JUMPDEST 000014a9: DUP3 000014aa: SWAP2 000014ab: POP 000014ac: DUP2 000014ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c2: AND 000014c3: PUSH4 0x70a08231 000014c8: ADDRESS 000014c9: PUSH1 0x40 000014cb: MLOAD 000014cc: DUP3 000014cd: PUSH4 0xffffffff 000014d2: AND 000014d3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000014f1: MUL 000014f2: DUP2 000014f3: MSTORE 000014f4: PUSH1 0x04 000014f6: ADD 000014f7: DUP1 000014f8: DUP3 000014f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000150e: AND 0000150f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001524: AND 00001525: DUP2 00001526: MSTORE 00001527: PUSH1 0x20 00001529: ADD 0000152a: SWAP2 0000152b: POP 0000152c: POP 0000152d: PUSH1 0x20 0000152f: PUSH1 0x40 00001531: MLOAD 00001532: DUP1 00001533: DUP4 00001534: SUB 00001535: DUP2 00001536: PUSH1 0x00 00001538: DUP8 00001539: DUP1 0000153a: EXTCODESIZE 0000153b: ISZERO 0000153c: DUP1 0000153d: ISZERO 0000153e: PUSH2 0x1546 00001541: JUMPI 00001542: PUSH1 0x00 00001544: DUP1 00001545: REVERT 00001546: JUMPDEST 00001547: POP 00001548: GAS 00001549: CALL 0000154a: ISZERO 0000154b: DUP1 0000154c: ISZERO 0000154d: PUSH2 0x155a 00001550: JUMPI 00001551: RETURNDATASIZE 00001552: PUSH1 0x00 00001554: DUP1 00001555: RETURNDATACOPY 00001556: RETURNDATASIZE 00001557: PUSH1 0x00 00001559: REVERT 0000155a: JUMPDEST 0000155b: POP 0000155c: POP 0000155d: POP 0000155e: POP 0000155f: PUSH1 0x40 00001561: MLOAD 00001562: RETURNDATASIZE 00001563: PUSH1 0x20 00001565: DUP2 00001566: LT 00001567: ISZERO 00001568: PUSH2 0x1570 0000156b: JUMPI 0000156c: PUSH1 0x00 0000156e: DUP1 0000156f: REVERT 00001570: JUMPDEST 00001571: DUP2 00001572: ADD 00001573: SWAP1 00001574: DUP1 00001575: DUP1 00001576: MLOAD 00001577: SWAP1 00001578: PUSH1 0x20 0000157a: ADD 0000157b: SWAP1 0000157c: SWAP3 0000157d: SWAP2 0000157e: SWAP1 0000157f: POP 00001580: POP 00001581: POP 00001582: SWAP1 00001583: POP 00001584: DUP2 00001585: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159a: AND 0000159b: PUSH4 0xa9059cbb 000015a0: PUSH2 0x15a7 000015a3: PUSH2 0x0f9b 000015a6: JUMP 000015a7: JUMPDEST 000015a8: DUP4 000015a9: PUSH1 0x40 000015ab: MLOAD 000015ac: DUP4 000015ad: PUSH4 0xffffffff 000015b2: AND 000015b3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000015d1: MUL 000015d2: DUP2 000015d3: MSTORE 000015d4: PUSH1 0x04 000015d6: ADD 000015d7: DUP1 000015d8: DUP4 000015d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ee: AND 000015ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001604: AND 00001605: DUP2 00001606: MSTORE 00001607: PUSH1 0x20 00001609: ADD 0000160a: DUP3 0000160b: DUP2 0000160c: MSTORE 0000160d: PUSH1 0x20 0000160f: ADD 00001610: SWAP3 00001611: POP 00001612: POP 00001613: POP 00001614: PUSH1 0x20 00001616: PUSH1 0x40 00001618: MLOAD 00001619: DUP1 0000161a: DUP4 0000161b: SUB 0000161c: DUP2 0000161d: PUSH1 0x00 0000161f: DUP8 00001620: DUP1 00001621: EXTCODESIZE 00001622: ISZERO 00001623: DUP1 00001624: ISZERO 00001625: PUSH2 0x162d 00001628: JUMPI 00001629: PUSH1 0x00 0000162b: DUP1 0000162c: REVERT 0000162d: JUMPDEST 0000162e: POP 0000162f: GAS 00001630: CALL 00001631: ISZERO 00001632: DUP1 00001633: ISZERO 00001634: PUSH2 0x1641 00001637: JUMPI 00001638: RETURNDATASIZE 00001639: PUSH1 0x00 0000163b: DUP1 0000163c: RETURNDATACOPY 0000163d: RETURNDATASIZE 0000163e: PUSH1 0x00 00001640: REVERT 00001641: JUMPDEST 00001642: POP 00001643: POP 00001644: POP 00001645: POP 00001646: PUSH1 0x40 00001648: MLOAD 00001649: RETURNDATASIZE 0000164a: PUSH1 0x20 0000164c: DUP2 0000164d: LT 0000164e: ISZERO 0000164f: PUSH2 0x1657 00001652: JUMPI 00001653: PUSH1 0x00 00001655: DUP1 00001656: REVERT 00001657: JUMPDEST 00001658: DUP2 00001659: ADD 0000165a: SWAP1 0000165b: DUP1 0000165c: DUP1 0000165d: MLOAD 0000165e: SWAP1 0000165f: PUSH1 0x20 00001661: ADD 00001662: SWAP1 00001663: SWAP3 00001664: SWAP2 00001665: SWAP1 00001666: POP 00001667: POP 00001668: POP 00001669: POP 0000166a: PUSH32 0xf931edb47c50b4b4104c187b5814a9aef5f709e17e2ecf9617e860cacade929c 0000168b: DUP4 0000168c: PUSH2 0x1693 0000168f: PUSH2 0x0f9b 00001692: JUMP 00001693: JUMPDEST 00001694: DUP4 00001695: PUSH1 0x40 00001697: MLOAD 00001698: DUP1 00001699: DUP5 0000169a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016af: AND 000016b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c5: AND 000016c6: DUP2 000016c7: MSTORE 000016c8: PUSH1 0x20 000016ca: ADD 000016cb: DUP4 000016cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e1: AND 000016e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f7: AND 000016f8: DUP2 000016f9: MSTORE 000016fa: PUSH1 0x20 000016fc: ADD 000016fd: DUP3 000016fe: DUP2 000016ff: MSTORE 00001700: PUSH1 0x20 00001702: ADD 00001703: SWAP4 00001704: POP 00001705: POP 00001706: POP 00001707: POP 00001708: PUSH1 0x40 0000170a: MLOAD 0000170b: DUP1 0000170c: SWAP2 0000170d: SUB 0000170e: SWAP1 0000170f: LOG1 00001710: JUMPDEST 00001711: POP 00001712: POP 00001713: POP 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH1 0x00 00001718: PUSH1 0x05 0000171a: PUSH1 0x00 0000171c: PUSH1 0x40 0000171e: MLOAD 0000171f: DUP1 00001720: DUP1 00001721: PUSH32 0x70656e64696e674f776e65720000000000000000000000000000000000000000 00001742: DUP2 00001743: MSTORE 00001744: POP 00001745: PUSH1 0x0c 00001747: ADD 00001748: SWAP1 00001749: POP 0000174a: PUSH1 0x40 0000174c: MLOAD 0000174d: DUP1 0000174e: SWAP2 0000174f: SUB 00001750: SWAP1 00001751: KECCAK256 00001752: PUSH1 0x00 00001754: NOT 00001755: AND 00001756: PUSH1 0x00 00001758: NOT 00001759: AND 0000175a: DUP2 0000175b: MSTORE 0000175c: PUSH1 0x20 0000175e: ADD 0000175f: SWAP1 00001760: DUP2 00001761: MSTORE 00001762: PUSH1 0x20 00001764: ADD 00001765: PUSH1 0x00 00001767: KECCAK256 00001768: PUSH1 0x00 0000176a: SWAP1 0000176b: SLOAD 0000176c: SWAP1 0000176d: PUSH2 0x0100 00001770: EXP 00001771: SWAP1 00001772: DIV 00001773: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001788: AND 00001789: SWAP1 0000178a: POP 0000178b: SWAP1 0000178c: JUMP 0000178d: JUMPDEST 0000178e: PUSH1 0x00 00001790: PUSH1 0x03 00001792: PUSH1 0x00 00001794: PUSH1 0x40 00001796: MLOAD 00001797: DUP1 00001798: DUP1 00001799: PUSH32 0x646973636f756e74537465700000000000000000000000000000000000000000 000017ba: DUP2 000017bb: MSTORE 000017bc: POP 000017bd: PUSH1 0x0c 000017bf: ADD 000017c0: SWAP1 000017c1: POP 000017c2: PUSH1 0x40 000017c4: MLOAD 000017c5: DUP1 000017c6: SWAP2 000017c7: SUB 000017c8: SWAP1 000017c9: KECCAK256 000017ca: PUSH1 0x00 000017cc: NOT 000017cd: AND 000017ce: PUSH1 0x00 000017d0: NOT 000017d1: AND 000017d2: DUP2 000017d3: MSTORE 000017d4: PUSH1 0x20 000017d6: ADD 000017d7: SWAP1 000017d8: DUP2 000017d9: MSTORE 000017da: PUSH1 0x20 000017dc: ADD 000017dd: PUSH1 0x00 000017df: KECCAK256 000017e0: SLOAD 000017e1: SWAP1 000017e2: POP 000017e3: SWAP1 000017e4: JUMP 000017e5: JUMPDEST 000017e6: PUSH2 0x17ed 000017e9: PUSH2 0x0f9b 000017ec: JUMP 000017ed: JUMPDEST 000017ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001803: AND 00001804: CALLER 00001805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181a: AND 0000181b: EQ 0000181c: ISZERO 0000181d: ISZERO 0000181e: PUSH2 0x1826 00001821: JUMPI 00001822: PUSH1 0x00 00001824: DUP1 00001825: REVERT 00001826: JUMPDEST 00001827: PUSH1 0x00 00001829: DUP2 0000182a: EQ 0000182b: ISZERO 0000182c: ISZERO 0000182d: ISZERO 0000182e: PUSH2 0x1836 00001831: JUMPI 00001832: PUSH1 0x00 00001834: DUP1 00001835: REVERT 00001836: JUMPDEST 00001837: DUP1 00001838: PUSH1 0x03 0000183a: PUSH1 0x00 0000183c: PUSH1 0x40 0000183e: MLOAD 0000183f: DUP1 00001840: DUP1 00001841: PUSH32 0x61727261794c696d697400000000000000000000000000000000000000000000 00001862: DUP2 00001863: MSTORE 00001864: POP 00001865: PUSH1 0x0a 00001867: ADD 00001868: SWAP1 00001869: POP 0000186a: PUSH1 0x40 0000186c: MLOAD 0000186d: DUP1 0000186e: SWAP2 0000186f: SUB 00001870: SWAP1 00001871: KECCAK256 00001872: PUSH1 0x00 00001874: NOT 00001875: AND 00001876: PUSH1 0x00 00001878: NOT 00001879: AND 0000187a: DUP2 0000187b: MSTORE 0000187c: PUSH1 0x20 0000187e: ADD 0000187f: SWAP1 00001880: DUP2 00001881: MSTORE 00001882: PUSH1 0x20 00001884: ADD 00001885: PUSH1 0x00 00001887: KECCAK256 00001888: DUP2 00001889: SWAP1 0000188a: SSTORE 0000188b: POP 0000188c: POP 0000188d: JUMP 0000188e: JUMPDEST 0000188f: PUSH1 0x00 00001891: DUP1 00001892: PUSH2 0x189a 00001895: DUP4 00001896: PUSH2 0x1234 00001899: JUMP 0000189a: JUMPDEST 0000189b: SWAP1 0000189c: POP 0000189d: PUSH2 0x18b6 000018a0: PUSH2 0x18a7 000018a3: PUSH2 0x178d 000018a6: JUMP 000018a7: JUMPDEST 000018a8: DUP3 000018a9: PUSH2 0x1bd0 000018ac: SWAP1 000018ad: SWAP2 000018ae: SWAP1 000018af: PUSH4 0xffffffff 000018b4: AND 000018b5: JUMP 000018b6: JUMPDEST 000018b7: SWAP2 000018b8: POP 000018b9: POP 000018ba: SWAP2 000018bb: SWAP1 000018bc: POP 000018bd: JUMP 000018be: JUMPDEST 000018bf: PUSH2 0x18c6 000018c2: PUSH2 0x0f9b 000018c5: JUMP 000018c6: JUMPDEST 000018c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018dc: AND 000018dd: CALLER 000018de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f3: AND 000018f4: EQ 000018f5: ISZERO 000018f6: ISZERO 000018f7: PUSH2 0x18ff 000018fa: JUMPI 000018fb: PUSH1 0x00 000018fd: DUP1 000018fe: REVERT 000018ff: JUMPDEST 00001900: PUSH1 0x00 00001902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001917: AND 00001918: DUP2 00001919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192e: AND 0000192f: EQ 00001930: ISZERO 00001931: ISZERO 00001932: ISZERO 00001933: PUSH2 0x193b 00001936: JUMPI 00001937: PUSH1 0x00 00001939: DUP1 0000193a: REVERT 0000193b: JUMPDEST 0000193c: DUP1 0000193d: PUSH1 0x05 0000193f: PUSH1 0x00 00001941: PUSH1 0x40 00001943: MLOAD 00001944: DUP1 00001945: DUP1 00001946: PUSH32 0x70656e64696e674f776e65720000000000000000000000000000000000000000 00001967: DUP2 00001968: MSTORE 00001969: POP 0000196a: PUSH1 0x0c 0000196c: ADD 0000196d: SWAP1 0000196e: POP 0000196f: PUSH1 0x40 00001971: MLOAD 00001972: DUP1 00001973: SWAP2 00001974: SUB 00001975: SWAP1 00001976: KECCAK256 00001977: PUSH1 0x00 00001979: NOT 0000197a: AND 0000197b: PUSH1 0x00 0000197d: NOT 0000197e: AND 0000197f: DUP2 00001980: MSTORE 00001981: PUSH1 0x20 00001983: ADD 00001984: SWAP1 00001985: DUP2 00001986: MSTORE 00001987: PUSH1 0x20 00001989: ADD 0000198a: PUSH1 0x00 0000198c: KECCAK256 0000198d: PUSH1 0x00 0000198f: PUSH2 0x0100 00001992: EXP 00001993: DUP2 00001994: SLOAD 00001995: DUP2 00001996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ab: MUL 000019ac: NOT 000019ad: AND 000019ae: SWAP1 000019af: DUP4 000019b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c5: AND 000019c6: MUL 000019c7: OR 000019c8: SWAP1 000019c9: SSTORE 000019ca: POP 000019cb: POP 000019cc: JUMP 000019cd: JUMPDEST 000019ce: PUSH1 0x00 000019d0: DUP1 000019d1: DUP3 000019d2: DUP5 000019d3: ADD 000019d4: SWAP1 000019d5: POP 000019d6: DUP4 000019d7: DUP2 000019d8: LT 000019d9: ISZERO 000019da: ISZERO 000019db: ISZERO 000019dc: PUSH2 0x19e1 000019df: JUMPI 000019e0: INVALID 000019e1: JUMPDEST 000019e2: DUP1 000019e3: SWAP2 000019e4: POP 000019e5: POP 000019e6: SWAP3 000019e7: SWAP2 000019e8: POP 000019e9: POP 000019ea: JUMP 000019eb: JUMPDEST 000019ec: DUP1 000019ed: PUSH1 0x03 000019ef: PUSH1 0x00 000019f1: DUP5 000019f2: PUSH1 0x40 000019f4: MLOAD 000019f5: DUP1 000019f6: DUP1 000019f7: PUSH32 0x7478436f756e7400000000000000000000000000000000000000000000000000 00001a18: DUP2 00001a19: MSTORE 00001a1a: POP 00001a1b: PUSH1 0x07 00001a1d: ADD 00001a1e: DUP3 00001a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a34: AND 00001a35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4a: AND 00001a4b: PUSH13 0x01000000000000000000000000 00001a59: MUL 00001a5a: DUP2 00001a5b: MSTORE 00001a5c: PUSH1 0x14 00001a5e: ADD 00001a5f: SWAP2 00001a60: POP 00001a61: POP 00001a62: PUSH1 0x40 00001a64: MLOAD 00001a65: DUP1 00001a66: SWAP2 00001a67: SUB 00001a68: SWAP1 00001a69: KECCAK256 00001a6a: PUSH1 0x00 00001a6c: NOT 00001a6d: AND 00001a6e: PUSH1 0x00 00001a70: NOT 00001a71: AND 00001a72: DUP2 00001a73: MSTORE 00001a74: PUSH1 0x20 00001a76: ADD 00001a77: SWAP1 00001a78: DUP2 00001a79: MSTORE 00001a7a: PUSH1 0x20 00001a7c: ADD 00001a7d: PUSH1 0x00 00001a7f: KECCAK256 00001a80: DUP2 00001a81: SWAP1 00001a82: SSTORE 00001a83: POP 00001a84: POP 00001a85: POP 00001a86: JUMP 00001a87: JUMPDEST 00001a88: PUSH1 0x00 00001a8a: DUP3 00001a8b: DUP3 00001a8c: GT 00001a8d: ISZERO 00001a8e: ISZERO 00001a8f: ISZERO 00001a90: PUSH2 0x1a95 00001a93: JUMPI 00001a94: INVALID 00001a95: JUMPDEST 00001a96: DUP2 00001a97: DUP4 00001a98: SUB 00001a99: SWAP1 00001a9a: POP 00001a9b: SWAP3 00001a9c: SWAP2 00001a9d: POP 00001a9e: POP 00001a9f: JUMP 00001aa0: JUMPDEST 00001aa1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001ac2: PUSH2 0x1ac9 00001ac5: PUSH2 0x0f9b 00001ac8: JUMP 00001ac9: JUMPDEST 00001aca: DUP3 00001acb: PUSH1 0x40 00001acd: MLOAD 00001ace: DUP1 00001acf: DUP4 00001ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae5: AND 00001ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001afb: AND 00001afc: DUP2 00001afd: MSTORE 00001afe: PUSH1 0x20 00001b00: ADD 00001b01: DUP3 00001b02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b17: AND 00001b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b2d: AND 00001b2e: DUP2 00001b2f: MSTORE 00001b30: PUSH1 0x20 00001b32: ADD 00001b33: SWAP3 00001b34: POP 00001b35: POP 00001b36: POP 00001b37: PUSH1 0x40 00001b39: MLOAD 00001b3a: DUP1 00001b3b: SWAP2 00001b3c: SUB 00001b3d: SWAP1 00001b3e: LOG1 00001b3f: DUP1 00001b40: PUSH1 0x05 00001b42: PUSH1 0x00 00001b44: PUSH1 0x40 00001b46: MLOAD 00001b47: DUP1 00001b48: DUP1 00001b49: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000 00001b6a: DUP2 00001b6b: MSTORE 00001b6c: POP 00001b6d: PUSH1 0x05 00001b6f: ADD 00001b70: SWAP1 00001b71: POP 00001b72: PUSH1 0x40 00001b74: MLOAD 00001b75: DUP1 00001b76: SWAP2 00001b77: SUB 00001b78: SWAP1 00001b79: KECCAK256 00001b7a: PUSH1 0x00 00001b7c: NOT 00001b7d: AND 00001b7e: PUSH1 0x00 00001b80: NOT 00001b81: AND 00001b82: DUP2 00001b83: MSTORE 00001b84: PUSH1 0x20 00001b86: ADD 00001b87: SWAP1 00001b88: DUP2 00001b89: MSTORE 00001b8a: PUSH1 0x20 00001b8c: ADD 00001b8d: PUSH1 0x00 00001b8f: KECCAK256 00001b90: PUSH1 0x00 00001b92: PUSH2 0x0100 00001b95: EXP 00001b96: DUP2 00001b97: SLOAD 00001b98: DUP2 00001b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bae: MUL 00001baf: NOT 00001bb0: AND 00001bb1: SWAP1 00001bb2: DUP4 00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc8: AND 00001bc9: MUL 00001bca: OR 00001bcb: SWAP1 00001bcc: SSTORE 00001bcd: POP 00001bce: POP 00001bcf: JUMP 00001bd0: JUMPDEST 00001bd1: PUSH1 0x00 00001bd3: DUP1 00001bd4: PUSH1 0x00 00001bd6: DUP5 00001bd7: EQ 00001bd8: ISZERO 00001bd9: PUSH2 0x1be5 00001bdc: JUMPI 00001bdd: PUSH1 0x00 00001bdf: SWAP2 00001be0: POP 00001be1: PUSH2 0x1c04 00001be4: JUMP 00001be5: JUMPDEST 00001be6: DUP3 00001be7: DUP5 00001be8: MUL 00001be9: SWAP1 00001bea: POP 00001beb: DUP3 00001bec: DUP5 00001bed: DUP3 00001bee: DUP2 00001bef: ISZERO 00001bf0: ISZERO 00001bf1: PUSH2 0x1bf6 00001bf4: JUMPI 00001bf5: INVALID 00001bf6: JUMPDEST 00001bf7: DIV 00001bf8: EQ 00001bf9: ISZERO 00001bfa: ISZERO 00001bfb: PUSH2 0x1c00 00001bfe: JUMPI 00001bff: INVALID 00001c00: JUMPDEST 00001c01: DUP1 00001c02: SWAP2 00001c03: POP 00001c04: JUMPDEST 00001c05: POP 00001c06: SWAP3 00001c07: SWAP2 00001c08: POP 00001c09: POP 00001c0a: JUMP 00001c0b: STOP 00001c0c: LOG1 00001c0d: PUSH6 0x627a7a723058 00001c14: KECCAK256 00001c15: NOT 00001c16: PUSH26 0x1aaf456245e0d7cdfcb81c0da91551ceb34ba0987941fc19230f 00001c31: PUSH14
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc0c3ecdef5da9b5c0ca44d90f55ecca2457d866770a608054da8e3a026c1c4fc
call_targets:
0x3cc4264b6d4d47b2f9294a5939a35ce4a05181f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc0c3ecdef5da9b5c0ca44d90f55ecca2457d866770a608054da8e3a026c1c4fc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3cc4264b6d4d47b2f9294a5939a35ce4a05181f3"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b66f3f5",
"selector": "0x0b66f3f5",
"calldata_variants": [
"0x0b66f3f5",
"0x0b66f3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x158ef93e",
"selector": "0x158ef93e",
"calldata_variants": [
"0x158ef93e",
"0x158ef93e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f781393",
"selector": "0x2f781393",
"calldata_variants": [
"0x2f781393",
"0x2f7813930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71e0c8",
"selector": "0x4e71e0c8",
"calldata_variants": [
"0x4e71e0c8",
"0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x591552da",
"selector": "0x591552da",
"calldata_variants": [
"0x591552da",
"0x591552da0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2350,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4383,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 2736,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2905,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3816,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5117,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6148,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6365,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc0c3ecdef5da9b5c0ca44d90f55ecca2457d866770a608054da8e3a026c1c4fc
call_targets:
0x3cc4264b6d4d47b2f9294a5939a35ce4a05181f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc0c3ecdef5da9b5c0ca44d90f55ecca2457d866770a608054da8e3a026c1c4fc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3cc4264b6d4d47b2f9294a5939a35ce4a05181f3"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b66f3f5",
"selector": "0x0b66f3f5",
"calldata_variants": [
"0x0b66f3f5",
"0x0b66f3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x158ef93e",
"selector": "0x158ef93e",
"calldata_variants": [
"0x158ef93e",
"0x158ef93e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f781393",
"selector": "0x2f781393",
"calldata_variants": [
"0x2f781393",
"0x2f7813930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71e0c8",
"selector": "0x4e71e0c8",
"calldata_variants": [
"0x4e71e0c8",
"0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x591552da",
"selector": "0x591552da",
"calldata_variants": [
"0x591552da",
"0x591552da0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2350,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4383,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 2736,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2905,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3816,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5117,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6148,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6365,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|