019b477e-c9fb-73bf-8871-5096613088c5
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 |
|---|---|---|---|---|
| 26421 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26422 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69594 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 69595 | capability.graph | complete | 1 / 3 | 1 week ago |
| 69596 | detector.run | complete | 1 / 3 | 1 week ago |
| 69597 | 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 0x012c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x728584b7 00000019: GT 0000001a: PUSH2 0x00a5 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8456cb59 00000024: GT 00000025: PUSH2 0x0074 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x94555114 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x94555114 0000003a: EQ 0000003b: PUSH2 0x0404 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xb1d52fa0 00000045: EQ 00000046: PUSH2 0x0424 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0444 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8456cb59 00000060: EQ 00000061: PUSH2 0x03d1 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x03e6 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x728584b7 0000007b: EQ 0000007c: PUSH2 0x02ae 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x79ba5097 00000086: EQ 00000087: PUSH2 0x02c3 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x7b510fe8 00000091: EQ 00000092: PUSH2 0x02d8 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x810623e3 0000009c: EQ 0000009d: PUSH2 0x039f 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x3f85861f 000000ac: GT 000000ad: PUSH2 0x00fc 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x4585e33b 000000b7: GT 000000b8: PUSH2 0x00e1 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x4585e33b 000000c2: EQ 000000c3: PUSH2 0x0236 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x5c975abb 000000cd: EQ 000000ce: PUSH2 0x0256 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x6e04ff0d 000000d8: EQ 000000d9: PUSH2 0x0280 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x3f85861f 000000e8: EQ 000000e9: PUSH2 0x01f8 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x41d2052e 000000f3: EQ 000000f4: PUSH2 0x0218 000000f7: JUMPI 000000f8: PUSH1 0x00 000000fa: DUP1 000000fb: REVERT 000000fc: JUMPDEST 000000fd: DUP1 000000fe: PUSH3 0xf714ce 00000102: EQ 00000103: PUSH2 0x0176 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0x0b67ddce 0000010d: EQ 0000010e: PUSH2 0x0198 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0x3e4ca677 00000118: EQ 00000119: PUSH2 0x01c3 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0x3f4ba83a 00000123: EQ 00000124: PUSH2 0x01e3 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: CALLDATASIZE 0000012e: PUSH2 0x0171 00000131: JUMPI 00000132: PUSH1 0x40 00000134: DUP1 00000135: MLOAD 00000136: CALLVALUE 00000137: DUP2 00000138: MSTORE 00000139: SELFBALANCE 0000013a: PUSH1 0x20 0000013c: DUP3 0000013d: ADD 0000013e: MSTORE 0000013f: CALLER 00000140: DUP2 00000141: DUP4 00000142: ADD 00000143: MSTORE 00000144: SWAP1 00000145: MLOAD 00000146: PUSH32 0xc6f3fb0fec49e4877342d4625d77a632541f55b7aae0f9d0b34c69b3478706dc 00000167: SWAP2 00000168: DUP2 00000169: SWAP1 0000016a: SUB 0000016b: PUSH1 0x60 0000016d: ADD 0000016e: SWAP1 0000016f: LOG1 00000170: STOP 00000171: JUMPDEST 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x0196 00000187: PUSH2 0x0191 0000018a: CALLDATASIZE 0000018b: PUSH1 0x04 0000018d: PUSH2 0x16f2 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH2 0x0464 00000195: JUMP 00000196: JUMPDEST 00000197: STOP 00000198: JUMPDEST 00000199: CALLVALUE 0000019a: DUP1 0000019b: ISZERO 0000019c: PUSH2 0x01a4 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: POP 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x04fb 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x40 000001b0: MLOAD 000001b1: PUSH2 0x01ba 000001b4: SWAP2 000001b5: SWAP1 000001b6: PUSH2 0x174b 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: DUP1 000001bf: SWAP2 000001c0: SUB 000001c1: SWAP1 000001c2: RETURN 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x0196 000001d4: PUSH2 0x01de 000001d7: CALLDATASIZE 000001d8: PUSH1 0x04 000001da: PUSH2 0x159b 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH2 0x076a 000001e2: JUMP 000001e3: JUMPDEST 000001e4: CALLVALUE 000001e5: DUP1 000001e6: ISZERO 000001e7: PUSH2 0x01ef 000001ea: JUMPI 000001eb: PUSH1 0x00 000001ed: DUP1 000001ee: REVERT 000001ef: JUMPDEST 000001f0: POP 000001f1: PUSH2 0x0196 000001f4: PUSH2 0x0a6b 000001f7: JUMP 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH2 0x0196 00000209: PUSH2 0x0213 0000020c: CALLDATASIZE 0000020d: PUSH1 0x04 0000020f: PUSH2 0x16d9 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x0a7d 00000217: JUMP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH1 0x03 00000228: SLOAD 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: SWAP1 0000022d: DUP2 0000022e: MSTORE 0000022f: PUSH1 0x20 00000231: ADD 00000232: PUSH2 0x01ba 00000235: JUMP 00000236: JUMPDEST 00000237: CALLVALUE 00000238: DUP1 00000239: ISZERO 0000023a: PUSH2 0x0242 0000023d: JUMPI 0000023e: PUSH1 0x00 00000240: DUP1 00000241: REVERT 00000242: JUMPDEST 00000243: POP 00000244: PUSH2 0x0196 00000247: PUSH2 0x0251 0000024a: CALLDATASIZE 0000024b: PUSH1 0x04 0000024d: PUSH2 0x1667 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH2 0x0ac6 00000255: JUMP 00000256: JUMPDEST 00000257: CALLVALUE 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: PUSH1 0x01 00000266: SLOAD 00000267: PUSH1 0x01 00000269: PUSH1 0xa0 0000026b: SHL 0000026c: SWAP1 0000026d: DIV 0000026e: PUSH1 0xff 00000270: AND 00000271: PUSH1 0x40 00000273: MLOAD 00000274: SWAP1 00000275: ISZERO 00000276: ISZERO 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: ADD 0000027c: PUSH2 0x01ba 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x02a0 00000291: PUSH2 0x029b 00000294: CALLDATASIZE 00000295: PUSH1 0x04 00000297: PUSH2 0x1667 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH2 0x0b70 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH1 0x40 000002a3: MLOAD 000002a4: PUSH2 0x01ba 000002a7: SWAP3 000002a8: SWAP2 000002a9: SWAP1 000002aa: PUSH2 0x1798 000002ad: JUMP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x01ad 000002bf: PUSH2 0x0c06 000002c2: JUMP 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH2 0x0196 000002d4: PUSH2 0x0c68 000002d7: JUMP 000002d8: JUMPDEST 000002d9: CALLVALUE 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: PUSH2 0x0364 000002e9: PUSH2 0x02f3 000002ec: CALLDATASIZE 000002ed: PUSH1 0x04 000002ef: PUSH2 0x14dd 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: SHL 000002fb: SUB 000002fc: AND 000002fd: PUSH1 0x00 000002ff: SWAP1 00000300: DUP2 00000301: MSTORE 00000302: PUSH1 0x05 00000304: PUSH1 0x20 00000306: SWAP1 00000307: DUP2 00000308: MSTORE 00000309: PUSH1 0x40 0000030b: SWAP2 0000030c: DUP3 0000030d: SWAP1 0000030e: KECCAK256 0000030f: DUP3 00000310: MLOAD 00000311: PUSH1 0x80 00000313: DUP2 00000314: ADD 00000315: DUP5 00000316: MSTORE 00000317: SWAP1 00000318: SLOAD 00000319: PUSH1 0xff 0000031b: DUP2 0000031c: AND 0000031d: ISZERO 0000031e: ISZERO 0000031f: DUP1 00000320: DUP4 00000321: MSTORE 00000322: PUSH2 0x0100 00000325: DUP3 00000326: DIV 00000327: PUSH1 0x01 00000329: PUSH1 0x01 0000032b: PUSH1 0x60 0000032d: SHL 0000032e: SUB 0000032f: SWAP1 00000330: DUP2 00000331: AND 00000332: SWAP5 00000333: DUP5 00000334: ADD 00000335: DUP6 00000336: SWAP1 00000337: MSTORE 00000338: PUSH1 0x01 0000033a: PUSH1 0x68 0000033c: SHL 0000033d: DUP4 0000033e: DIV 0000033f: AND 00000340: SWAP5 00000341: DUP4 00000342: ADD 00000343: DUP6 00000344: SWAP1 00000345: MSTORE 00000346: PUSH1 0x01 00000348: PUSH1 0xc8 0000034a: SHL 0000034b: SWAP1 0000034c: SWAP2 0000034d: DIV 0000034e: PUSH7 0xffffffffffffff 00000356: AND 00000357: PUSH1 0x60 00000359: SWAP1 0000035a: SWAP3 0000035b: ADD 0000035c: DUP3 0000035d: SWAP1 0000035e: MSTORE 0000035f: SWAP4 00000360: SWAP2 00000361: SWAP3 00000362: SWAP2 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH1 0x40 00000367: MLOAD 00000368: PUSH2 0x01ba 0000036b: SWAP5 0000036c: SWAP4 0000036d: SWAP3 0000036e: SWAP2 0000036f: SWAP1 00000370: SWAP4 00000371: ISZERO 00000372: ISZERO 00000373: DUP5 00000374: MSTORE 00000375: PUSH1 0x01 00000377: PUSH1 0x01 00000379: PUSH1 0x60 0000037b: SHL 0000037c: SUB 0000037d: SWAP3 0000037e: DUP4 0000037f: AND 00000380: PUSH1 0x20 00000382: DUP6 00000383: ADD 00000384: MSTORE 00000385: SWAP2 00000386: AND 00000387: PUSH1 0x40 00000389: DUP4 0000038a: ADD 0000038b: MSTORE 0000038c: PUSH7 0xffffffffffffff 00000394: AND 00000395: PUSH1 0x60 00000397: DUP3 00000398: ADD 00000399: MSTORE 0000039a: PUSH1 0x80 0000039c: ADD 0000039d: SWAP1 0000039e: JUMP 0000039f: JUMPDEST 000003a0: CALLVALUE 000003a1: DUP1 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: POP 000003ad: PUSH1 0x02 000003af: SLOAD 000003b0: PUSH1 0x01 000003b2: PUSH1 0x01 000003b4: PUSH1 0xa0 000003b6: SHL 000003b7: SUB 000003b8: AND 000003b9: JUMPDEST 000003ba: PUSH1 0x40 000003bc: MLOAD 000003bd: PUSH1 0x01 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: SHL 000003c4: SUB 000003c5: SWAP1 000003c6: SWAP2 000003c7: AND 000003c8: DUP2 000003c9: MSTORE 000003ca: PUSH1 0x20 000003cc: ADD 000003cd: PUSH2 0x01ba 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x0196 000003e2: PUSH2 0x0d26 000003e5: JUMP 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: POP 000003f4: PUSH1 0x00 000003f6: SLOAD 000003f7: PUSH1 0x01 000003f9: PUSH1 0x01 000003fb: PUSH1 0xa0 000003fd: SHL 000003fe: SUB 000003ff: AND 00000400: PUSH2 0x03b9 00000403: JUMP 00000404: JUMPDEST 00000405: CALLVALUE 00000406: DUP1 00000407: ISZERO 00000408: PUSH2 0x0410 0000040b: JUMPI 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: REVERT 00000410: JUMPDEST 00000411: POP 00000412: PUSH2 0x0196 00000415: PUSH2 0x041f 00000418: CALLDATASIZE 00000419: PUSH1 0x04 0000041b: PUSH2 0x14dd 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x0d36 00000423: JUMP 00000424: JUMPDEST 00000425: CALLVALUE 00000426: DUP1 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: PUSH2 0x0196 00000435: PUSH2 0x043f 00000438: CALLDATASIZE 00000439: PUSH1 0x04 0000043b: PUSH2 0x1501 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH2 0x0dc7 00000443: JUMP 00000444: JUMPDEST 00000445: CALLVALUE 00000446: DUP1 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: PUSH2 0x0196 00000455: PUSH2 0x045f 00000458: CALLDATASIZE 00000459: PUSH1 0x04 0000045b: PUSH2 0x14dd 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH2 0x11b3 00000463: JUMP 00000464: JUMPDEST 00000465: PUSH2 0x046c 00000468: PUSH2 0x11c4 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH1 0x01 0000046f: PUSH1 0x01 00000471: PUSH1 0xa0 00000473: SHL 00000474: SUB 00000475: DUP2 00000476: AND 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: PUSH1 0x40 00000482: DUP1 00000483: MLOAD 00000484: DUP4 00000485: DUP2 00000486: MSTORE 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: DUP4 00000490: AND 00000491: PUSH1 0x20 00000493: DUP3 00000494: ADD 00000495: MSTORE 00000496: PUSH32 0x6141b54b56b8a52a8c6f5cd2a857f6117b18ffbf4d46bd3106f300a839cbf5ea 000004b7: SWAP2 000004b8: ADD 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: DUP1 000004bd: SWAP2 000004be: SUB 000004bf: SWAP1 000004c0: LOG1 000004c1: PUSH1 0x40 000004c3: MLOAD 000004c4: PUSH1 0x01 000004c6: PUSH1 0x01 000004c8: PUSH1 0xa0 000004ca: SHL 000004cb: SUB 000004cc: DUP3 000004cd: AND 000004ce: SWAP1 000004cf: DUP4 000004d0: ISZERO 000004d1: PUSH2 0x08fc 000004d4: MUL 000004d5: SWAP1 000004d6: DUP5 000004d7: SWAP1 000004d8: PUSH1 0x00 000004da: DUP2 000004db: DUP2 000004dc: DUP2 000004dd: DUP6 000004de: DUP9 000004df: DUP9 000004e0: CALL 000004e1: SWAP4 000004e2: POP 000004e3: POP 000004e4: POP 000004e5: POP 000004e6: ISZERO 000004e7: DUP1 000004e8: ISZERO 000004e9: PUSH2 0x04f6 000004ec: JUMPI 000004ed: RETURNDATASIZE 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: RETURNDATACOPY 000004f2: RETURNDATASIZE 000004f3: PUSH1 0x00 000004f5: REVERT 000004f6: JUMPDEST 000004f7: POP 000004f8: POP 000004f9: POP 000004fa: JUMP 000004fb: JUMPDEST 000004fc: PUSH1 0x60 000004fe: PUSH1 0x00 00000500: PUSH1 0x04 00000502: DUP1 00000503: SLOAD 00000504: DUP1 00000505: PUSH1 0x20 00000507: MUL 00000508: PUSH1 0x20 0000050a: ADD 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: SWAP1 0000050f: DUP2 00000510: ADD 00000511: PUSH1 0x40 00000513: MSTORE 00000514: DUP1 00000515: SWAP3 00000516: SWAP2 00000517: SWAP1 00000518: DUP2 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x20 0000051d: ADD 0000051e: DUP3 0000051f: DUP1 00000520: SLOAD 00000521: DUP1 00000522: ISZERO 00000523: PUSH2 0x0555 00000526: JUMPI 00000527: PUSH1 0x20 00000529: MUL 0000052a: DUP3 0000052b: ADD 0000052c: SWAP2 0000052d: SWAP1 0000052e: PUSH1 0x00 00000530: MSTORE 00000531: PUSH1 0x20 00000533: PUSH1 0x00 00000535: KECCAK256 00000536: SWAP1 00000537: JUMPDEST 00000538: DUP2 00000539: SLOAD 0000053a: PUSH1 0x01 0000053c: PUSH1 0x01 0000053e: PUSH1 0xa0 00000540: SHL 00000541: SUB 00000542: AND 00000543: DUP2 00000544: MSTORE 00000545: PUSH1 0x01 00000547: SWAP1 00000548: SWAP2 00000549: ADD 0000054a: SWAP1 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: DUP1 0000054f: DUP4 00000550: GT 00000551: PUSH2 0x0537 00000554: JUMPI 00000555: JUMPDEST 00000556: POP 00000557: POP 00000558: POP 00000559: POP 0000055a: POP 0000055b: SWAP1 0000055c: POP 0000055d: PUSH1 0x00 0000055f: DUP2 00000560: MLOAD 00000561: PUSH8 0xffffffffffffffff 0000056a: DUP2 0000056b: GT 0000056c: ISZERO 0000056d: PUSH2 0x0578 00000570: JUMPI 00000571: PUSH2 0x0578 00000574: PUSH2 0x186d 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH1 0x40 0000057b: MLOAD 0000057c: SWAP1 0000057d: DUP1 0000057e: DUP3 0000057f: MSTORE 00000580: DUP1 00000581: PUSH1 0x20 00000583: MUL 00000584: PUSH1 0x20 00000586: ADD 00000587: DUP3 00000588: ADD 00000589: PUSH1 0x40 0000058b: MSTORE 0000058c: DUP1 0000058d: ISZERO 0000058e: PUSH2 0x05a1 00000591: JUMPI 00000592: DUP2 00000593: PUSH1 0x20 00000595: ADD 00000596: PUSH1 0x20 00000598: DUP3 00000599: MUL 0000059a: DUP1 0000059b: CALLDATASIZE 0000059c: DUP4 0000059d: CALLDATACOPY 0000059e: ADD 0000059f: SWAP1 000005a0: POP 000005a1: JUMPDEST 000005a2: POP 000005a3: PUSH1 0x03 000005a5: SLOAD 000005a6: PUSH1 0x40 000005a8: DUP1 000005a9: MLOAD 000005aa: PUSH1 0x80 000005ac: DUP2 000005ad: ADD 000005ae: DUP3 000005af: MSTORE 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: DUP3 000005b4: MSTORE 000005b5: PUSH1 0x20 000005b7: DUP3 000005b8: ADD 000005b9: DUP2 000005ba: SWAP1 000005bb: MSTORE 000005bc: SWAP2 000005bd: DUP2 000005be: ADD 000005bf: DUP3 000005c0: SWAP1 000005c1: MSTORE 000005c2: PUSH1 0x60 000005c4: DUP2 000005c5: ADD 000005c6: DUP3 000005c7: SWAP1 000005c8: MSTORE 000005c9: SWAP3 000005ca: SWAP4 000005cb: POP 000005cc: SWAP2 000005cd: SELFBALANCE 000005ce: SWAP1 000005cf: PUSH1 0x00 000005d1: JUMPDEST 000005d2: DUP7 000005d3: MLOAD 000005d4: DUP2 000005d5: LT 000005d6: ISZERO 000005d7: PUSH2 0x0752 000005da: JUMPI 000005db: PUSH1 0x05 000005dd: PUSH1 0x00 000005df: DUP9 000005e0: DUP4 000005e1: DUP2 000005e2: MLOAD 000005e3: DUP2 000005e4: LT 000005e5: PUSH2 0x05f0 000005e8: JUMPI 000005e9: PUSH2 0x05f0 000005ec: PUSH2 0x1857 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH1 0x20 000005f3: SWAP1 000005f4: DUP2 000005f5: MUL 000005f6: SWAP2 000005f7: SWAP1 000005f8: SWAP2 000005f9: ADD 000005fa: DUP2 000005fb: ADD 000005fc: MLOAD 000005fd: PUSH1 0x01 000005ff: PUSH1 0x01 00000601: PUSH1 0xa0 00000603: SHL 00000604: SUB 00000605: AND 00000606: DUP3 00000607: MSTORE 00000608: DUP2 00000609: DUP2 0000060a: ADD 0000060b: SWAP3 0000060c: SWAP1 0000060d: SWAP3 0000060e: MSTORE 0000060f: PUSH1 0x40 00000611: SWAP1 00000612: DUP2 00000613: ADD 00000614: PUSH1 0x00 00000616: KECCAK256 00000617: DUP2 00000618: MLOAD 00000619: PUSH1 0x80 0000061b: DUP2 0000061c: ADD 0000061d: DUP4 0000061e: MSTORE 0000061f: SWAP1 00000620: SLOAD 00000621: PUSH1 0xff 00000623: DUP2 00000624: AND 00000625: ISZERO 00000626: ISZERO 00000627: DUP3 00000628: MSTORE 00000629: PUSH2 0x0100 0000062c: DUP2 0000062d: DIV 0000062e: PUSH1 0x01 00000630: PUSH1 0x01 00000632: PUSH1 0x60 00000634: SHL 00000635: SUB 00000636: SWAP1 00000637: DUP2 00000638: AND 00000639: SWAP5 0000063a: DUP4 0000063b: ADD 0000063c: SWAP5 0000063d: SWAP1 0000063e: SWAP5 0000063f: MSTORE 00000640: PUSH1 0x01 00000642: PUSH1 0x68 00000644: SHL 00000645: DUP2 00000646: DIV 00000647: SWAP1 00000648: SWAP4 00000649: AND 0000064a: SWAP2 0000064b: DUP2 0000064c: ADD 0000064d: SWAP2 0000064e: SWAP1 0000064f: SWAP2 00000650: MSTORE 00000651: PUSH1 0x01 00000653: PUSH1 0xc8 00000655: SHL 00000656: SWAP1 00000657: SWAP2 00000658: DIV 00000659: PUSH7 0xffffffffffffff 00000661: AND 00000662: PUSH1 0x60 00000664: DUP3 00000665: ADD 00000666: DUP2 00000667: SWAP1 00000668: MSTORE 00000669: SWAP1 0000066a: SWAP3 0000066b: POP 0000066c: TIMESTAMP 0000066d: SWAP1 0000066e: PUSH2 0x0678 00000671: SWAP1 00000672: DUP7 00000673: SWAP1 00000674: PUSH2 0x17f7 00000677: JUMP 00000678: JUMPDEST 00000679: GT 0000067a: ISZERO 0000067b: DUP1 0000067c: ISZERO 0000067d: PUSH2 0x0693 00000680: JUMPI 00000681: POP 00000682: DUP2 00000683: PUSH1 0x40 00000685: ADD 00000686: MLOAD 00000687: PUSH1 0x01 00000689: PUSH1 0x01 0000068b: PUSH1 0x60 0000068d: SHL 0000068e: SUB 0000068f: AND 00000690: DUP4 00000691: LT 00000692: ISZERO 00000693: JUMPDEST 00000694: DUP1 00000695: ISZERO 00000696: PUSH2 0x06ce 00000699: JUMPI 0000069a: POP 0000069b: DUP2 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: MLOAD 000006a0: PUSH1 0x01 000006a2: PUSH1 0x01 000006a4: PUSH1 0x60 000006a6: SHL 000006a7: SUB 000006a8: AND 000006a9: DUP8 000006aa: DUP3 000006ab: DUP2 000006ac: MLOAD 000006ad: DUP2 000006ae: LT 000006af: PUSH2 0x06ba 000006b2: JUMPI 000006b3: PUSH2 0x06ba 000006b6: PUSH2 0x1857 000006b9: JUMP 000006ba: JUMPDEST 000006bb: PUSH1 0x20 000006bd: MUL 000006be: PUSH1 0x20 000006c0: ADD 000006c1: ADD 000006c2: MLOAD 000006c3: PUSH1 0x01 000006c5: PUSH1 0x01 000006c7: PUSH1 0xa0 000006c9: SHL 000006ca: SUB 000006cb: AND 000006cc: BALANCE 000006cd: LT 000006ce: JUMPDEST 000006cf: ISZERO 000006d0: PUSH2 0x0740 000006d3: JUMPI 000006d4: DUP7 000006d5: DUP2 000006d6: DUP2 000006d7: MLOAD 000006d8: DUP2 000006d9: LT 000006da: PUSH2 0x06e5 000006dd: JUMPI 000006de: PUSH2 0x06e5 000006e1: PUSH2 0x1857 000006e4: JUMP 000006e5: JUMPDEST 000006e6: PUSH1 0x20 000006e8: MUL 000006e9: PUSH1 0x20 000006eb: ADD 000006ec: ADD 000006ed: MLOAD 000006ee: DUP7 000006ef: DUP7 000006f0: DUP2 000006f1: MLOAD 000006f2: DUP2 000006f3: LT 000006f4: PUSH2 0x06ff 000006f7: JUMPI 000006f8: PUSH2 0x06ff 000006fb: PUSH2 0x1857 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x01 00000702: PUSH1 0x01 00000704: PUSH1 0xa0 00000706: SHL 00000707: SUB 00000708: SWAP1 00000709: SWAP3 0000070a: AND 0000070b: PUSH1 0x20 0000070d: SWAP3 0000070e: DUP4 0000070f: MUL 00000710: SWAP2 00000711: SWAP1 00000712: SWAP2 00000713: ADD 00000714: SWAP1 00000715: SWAP2 00000716: ADD 00000717: MSTORE 00000718: DUP5 00000719: PUSH2 0x0721 0000071c: DUP2 0000071d: PUSH2 0x1826 00000720: JUMP 00000721: JUMPDEST 00000722: SWAP6 00000723: POP 00000724: POP 00000725: DUP2 00000726: PUSH1 0x40 00000728: ADD 00000729: MLOAD 0000072a: PUSH1 0x01 0000072c: PUSH1 0x01 0000072e: PUSH1 0x60 00000730: SHL 00000731: SUB 00000732: AND 00000733: DUP4 00000734: PUSH2 0x073d 00000737: SWAP2 00000738: SWAP1 00000739: PUSH2 0x180f 0000073c: JUMP 0000073d: JUMPDEST 0000073e: SWAP3 0000073f: POP 00000740: JUMPDEST 00000741: DUP1 00000742: PUSH2 0x074a 00000745: DUP2 00000746: PUSH2 0x1826 00000749: JUMP 0000074a: JUMPDEST 0000074b: SWAP2 0000074c: POP 0000074d: POP 0000074e: PUSH2 0x05d1 00000751: JUMP 00000752: JUMPDEST 00000753: POP 00000754: DUP6 00000755: MLOAD 00000756: DUP5 00000757: EQ 00000758: PUSH2 0x075f 0000075b: JUMPI 0000075c: DUP4 0000075d: DUP6 0000075e: MSTORE 0000075f: JUMPDEST 00000760: POP 00000761: SWAP3 00000762: SWAP6 00000763: SWAP5 00000764: POP 00000765: POP 00000766: POP 00000767: POP 00000768: POP 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH1 0x01 0000076d: SLOAD 0000076e: PUSH1 0x01 00000770: PUSH1 0xa0 00000772: SHL 00000773: SWAP1 00000774: DIV 00000775: PUSH1 0xff 00000777: AND 00000778: ISZERO 00000779: PUSH2 0x07bc 0000077c: JUMPI 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: PUSH3 0x461bcd 00000784: PUSH1 0xe5 00000786: SHL 00000787: DUP2 00000788: MSTORE 00000789: PUSH1 0x20 0000078b: PUSH1 0x04 0000078d: DUP3 0000078e: ADD 0000078f: MSTORE 00000790: PUSH1 0x10 00000792: PUSH1 0x24 00000794: DUP3 00000795: ADD 00000796: MSTORE 00000797: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000007a8: PUSH1 0x82 000007aa: SHL 000007ab: PUSH1 0x44 000007ad: DUP3 000007ae: ADD 000007af: MSTORE 000007b0: PUSH1 0x64 000007b2: ADD 000007b3: JUMPDEST 000007b4: PUSH1 0x40 000007b6: MLOAD 000007b7: DUP1 000007b8: SWAP2 000007b9: SUB 000007ba: SWAP1 000007bb: REVERT 000007bc: JUMPDEST 000007bd: PUSH1 0x03 000007bf: SLOAD 000007c0: PUSH1 0x40 000007c2: DUP1 000007c3: MLOAD 000007c4: PUSH1 0x80 000007c6: DUP2 000007c7: ADD 000007c8: DUP3 000007c9: MSTORE 000007ca: PUSH1 0x00 000007cc: DUP1 000007cd: DUP3 000007ce: MSTORE 000007cf: PUSH1 0x20 000007d1: DUP3 000007d2: ADD 000007d3: DUP2 000007d4: SWAP1 000007d5: MSTORE 000007d6: SWAP2 000007d7: DUP2 000007d8: ADD 000007d9: DUP3 000007da: SWAP1 000007db: MSTORE 000007dc: PUSH1 0x60 000007de: DUP2 000007df: ADD 000007e0: DUP3 000007e1: SWAP1 000007e2: MSTORE 000007e3: SWAP1 000007e4: JUMPDEST 000007e5: DUP4 000007e6: MLOAD 000007e7: DUP2 000007e8: LT 000007e9: ISZERO 000007ea: PUSH2 0x0a64 000007ed: JUMPI 000007ee: PUSH1 0x05 000007f0: PUSH1 0x00 000007f2: DUP6 000007f3: DUP4 000007f4: DUP2 000007f5: MLOAD 000007f6: DUP2 000007f7: LT 000007f8: PUSH2 0x0803 000007fb: JUMPI 000007fc: PUSH2 0x0803 000007ff: PUSH2 0x1857 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH1 0x20 00000806: SWAP1 00000807: DUP2 00000808: MUL 00000809: SWAP2 0000080a: SWAP1 0000080b: SWAP2 0000080c: ADD 0000080d: DUP2 0000080e: ADD 0000080f: MLOAD 00000810: PUSH1 0x01 00000812: PUSH1 0x01 00000814: PUSH1 0xa0 00000816: SHL 00000817: SUB 00000818: AND 00000819: DUP3 0000081a: MSTORE 0000081b: DUP2 0000081c: DUP2 0000081d: ADD 0000081e: SWAP3 0000081f: SWAP1 00000820: SWAP3 00000821: MSTORE 00000822: PUSH1 0x40 00000824: SWAP1 00000825: DUP2 00000826: ADD 00000827: PUSH1 0x00 00000829: KECCAK256 0000082a: DUP2 0000082b: MLOAD 0000082c: PUSH1 0x80 0000082e: DUP2 0000082f: ADD 00000830: DUP4 00000831: MSTORE 00000832: SWAP1 00000833: SLOAD 00000834: PUSH1 0xff 00000836: DUP2 00000837: AND 00000838: ISZERO 00000839: DUP1 0000083a: ISZERO 0000083b: DUP1 0000083c: DUP5 0000083d: MSTORE 0000083e: PUSH1 0x01 00000840: PUSH1 0x01 00000842: PUSH1 0x60 00000844: SHL 00000845: SUB 00000846: PUSH2 0x0100 00000849: DUP5 0000084a: DIV 0000084b: DUP2 0000084c: AND 0000084d: SWAP7 0000084e: DUP6 0000084f: ADD 00000850: SWAP7 00000851: SWAP1 00000852: SWAP7 00000853: MSTORE 00000854: PUSH1 0x01 00000856: PUSH1 0x68 00000858: SHL 00000859: DUP4 0000085a: DIV 0000085b: SWAP1 0000085c: SWAP6 0000085d: AND 0000085e: SWAP4 0000085f: DUP4 00000860: ADD 00000861: SWAP4 00000862: SWAP1 00000863: SWAP4 00000864: MSTORE 00000865: PUSH7 0xffffffffffffff 0000086d: PUSH1 0x01 0000086f: PUSH1 0xc8 00000871: SHL 00000872: SWAP1 00000873: SWAP2 00000874: DIV 00000875: AND 00000876: PUSH1 0x60 00000878: DUP3 00000879: ADD 0000087a: MSTORE 0000087b: SWAP4 0000087c: POP 0000087d: PUSH2 0x089e 00000880: JUMPI 00000881: POP 00000882: TIMESTAMP 00000883: DUP4 00000884: DUP4 00000885: PUSH1 0x60 00000887: ADD 00000888: MLOAD 00000889: PUSH7 0xffffffffffffff 00000891: AND 00000892: PUSH2 0x089b 00000895: SWAP2 00000896: SWAP1 00000897: PUSH2 0x17f7 0000089a: JUMP 0000089b: JUMPDEST 0000089c: GT 0000089d: ISZERO 0000089e: JUMPDEST 0000089f: DUP1 000008a0: ISZERO 000008a1: PUSH2 0x08d9 000008a4: JUMPI 000008a5: POP 000008a6: DUP2 000008a7: PUSH1 0x20 000008a9: ADD 000008aa: MLOAD 000008ab: PUSH1 0x01 000008ad: PUSH1 0x01 000008af: PUSH1 0x60 000008b1: SHL 000008b2: SUB 000008b3: AND 000008b4: DUP5 000008b5: DUP3 000008b6: DUP2 000008b7: MLOAD 000008b8: DUP2 000008b9: LT 000008ba: PUSH2 0x08c5 000008bd: JUMPI 000008be: PUSH2 0x08c5 000008c1: PUSH2 0x1857 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH1 0x20 000008c8: MUL 000008c9: PUSH1 0x20 000008cb: ADD 000008cc: ADD 000008cd: MLOAD 000008ce: PUSH1 0x01 000008d0: PUSH1 0x01 000008d2: PUSH1 0xa0 000008d4: SHL 000008d5: SUB 000008d6: AND 000008d7: BALANCE 000008d8: LT 000008d9: JUMPDEST 000008da: ISZERO 000008db: PUSH2 0x0a42 000008de: JUMPI 000008df: PUSH1 0x00 000008e1: DUP5 000008e2: DUP3 000008e3: DUP2 000008e4: MLOAD 000008e5: DUP2 000008e6: LT 000008e7: PUSH2 0x08f2 000008ea: JUMPI 000008eb: PUSH2 0x08f2 000008ee: PUSH2 0x1857 000008f1: JUMP 000008f2: JUMPDEST 000008f3: PUSH1 0x20 000008f5: MUL 000008f6: PUSH1 0x20 000008f8: ADD 000008f9: ADD 000008fa: MLOAD 000008fb: PUSH1 0x01 000008fd: PUSH1 0x01 000008ff: PUSH1 0xa0 00000901: SHL 00000902: SUB 00000903: AND 00000904: PUSH2 0x08fc 00000907: DUP5 00000908: PUSH1 0x40 0000090a: ADD 0000090b: MLOAD 0000090c: PUSH1 0x01 0000090e: PUSH1 0x01 00000910: PUSH1 0x60 00000912: SHL 00000913: SUB 00000914: AND 00000915: SWAP1 00000916: DUP2 00000917: ISZERO 00000918: MUL 00000919: SWAP1 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: PUSH1 0x00 0000091f: PUSH1 0x40 00000921: MLOAD 00000922: DUP1 00000923: DUP4 00000924: SUB 00000925: DUP2 00000926: DUP6 00000927: DUP9 00000928: DUP9 00000929: CALL 0000092a: SWAP4 0000092b: POP 0000092c: POP 0000092d: POP 0000092e: POP 0000092f: SWAP1 00000930: POP 00000931: DUP1 00000932: ISZERO 00000933: PUSH2 0x09f0 00000936: JUMPI 00000937: TIMESTAMP 00000938: PUSH1 0x05 0000093a: PUSH1 0x00 0000093c: DUP8 0000093d: DUP6 0000093e: DUP2 0000093f: MLOAD 00000940: DUP2 00000941: LT 00000942: PUSH2 0x094d 00000945: JUMPI 00000946: PUSH2 0x094d 00000949: PUSH2 0x1857 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH1 0x20 00000950: MUL 00000951: PUSH1 0x20 00000953: ADD 00000954: ADD 00000955: MLOAD 00000956: PUSH1 0x01 00000958: PUSH1 0x01 0000095a: PUSH1 0xa0 0000095c: SHL 0000095d: SUB 0000095e: AND 0000095f: PUSH1 0x01 00000961: PUSH1 0x01 00000963: PUSH1 0xa0 00000965: SHL 00000966: SUB 00000967: AND 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x20 0000096c: ADD 0000096d: SWAP1 0000096e: DUP2 0000096f: MSTORE 00000970: PUSH1 0x20 00000972: ADD 00000973: PUSH1 0x00 00000975: KECCAK256 00000976: PUSH1 0x00 00000978: ADD 00000979: PUSH1 0x19 0000097b: PUSH2 0x0100 0000097e: EXP 0000097f: DUP2 00000980: SLOAD 00000981: DUP2 00000982: PUSH7 0xffffffffffffff 0000098a: MUL 0000098b: NOT 0000098c: AND 0000098d: SWAP1 0000098e: DUP4 0000098f: PUSH7 0xffffffffffffff 00000997: AND 00000998: MUL 00000999: OR 0000099a: SWAP1 0000099b: SSTORE 0000099c: POP 0000099d: DUP5 0000099e: DUP3 0000099f: DUP2 000009a0: MLOAD 000009a1: DUP2 000009a2: LT 000009a3: PUSH2 0x09ae 000009a6: JUMPI 000009a7: PUSH2 0x09ae 000009aa: PUSH2 0x1857 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH1 0x20 000009b1: MUL 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: ADD 000009b6: MLOAD 000009b7: PUSH1 0x01 000009b9: PUSH1 0x01 000009bb: PUSH1 0xa0 000009bd: SHL 000009be: SUB 000009bf: AND 000009c0: PUSH32 0x9eec55c371a49ce19e0a5792787c79b32dcf7d3490aa737436b49c0978ce9ce9 000009e1: PUSH1 0x40 000009e3: MLOAD 000009e4: PUSH1 0x40 000009e6: MLOAD 000009e7: DUP1 000009e8: SWAP2 000009e9: SUB 000009ea: SWAP1 000009eb: LOG2 000009ec: PUSH2 0x0a40 000009ef: JUMP 000009f0: JUMPDEST 000009f1: DUP5 000009f2: DUP3 000009f3: DUP2 000009f4: MLOAD 000009f5: DUP2 000009f6: LT 000009f7: PUSH2 0x0a02 000009fa: JUMPI 000009fb: PUSH2 0x0a02 000009fe: PUSH2 0x1857 00000a01: JUMP 00000a02: JUMPDEST 00000a03: PUSH1 0x20 00000a05: MUL 00000a06: PUSH1 0x20 00000a08: ADD 00000a09: ADD 00000a0a: MLOAD 00000a0b: PUSH1 0x01 00000a0d: PUSH1 0x01 00000a0f: PUSH1 0xa0 00000a11: SHL 00000a12: SUB 00000a13: AND 00000a14: PUSH32 0xa9ff7a9b96721b0e16adb7de9db0764fbfd6a4516d4d165f9564e8c3755eb105 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: DUP1 00000a3c: SWAP2 00000a3d: SUB 00000a3e: SWAP1 00000a3f: LOG2 00000a40: JUMPDEST 00000a41: POP 00000a42: JUMPDEST 00000a43: PUSH2 0xd6d8 00000a46: GAS 00000a47: LT 00000a48: ISZERO 00000a49: PUSH2 0x0a52 00000a4c: JUMPI 00000a4d: POP 00000a4e: POP 00000a4f: POP 00000a50: POP 00000a51: JUMP 00000a52: JUMPDEST 00000a53: DUP1 00000a54: PUSH2 0x0a5c 00000a57: DUP2 00000a58: PUSH2 0x1826 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: SWAP2 00000a5e: POP 00000a5f: POP 00000a60: PUSH2 0x07e4 00000a63: JUMP 00000a64: JUMPDEST 00000a65: POP 00000a66: POP 00000a67: POP 00000a68: JUMPDEST 00000a69: POP 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: PUSH2 0x0a73 00000a6f: PUSH2 0x11c4 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH2 0x0a7b 00000a77: PUSH2 0x121e 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH2 0x0a85 00000a81: PUSH2 0x11c4 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH1 0x03 00000a88: SLOAD 00000a89: PUSH1 0x40 00000a8b: DUP1 00000a8c: MLOAD 00000a8d: SWAP2 00000a8e: DUP3 00000a8f: MSTORE 00000a90: PUSH1 0x20 00000a92: DUP3 00000a93: ADD 00000a94: DUP4 00000a95: SWAP1 00000a96: MSTORE 00000a97: PUSH32 0x04330086c73b1fe1e13cd47a61c692e7c4399b5de08ed94b7ab824684af09323 00000ab8: SWAP2 00000ab9: ADD 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: DUP1 00000abe: SWAP2 00000abf: SUB 00000ac0: SWAP1 00000ac1: LOG1 00000ac2: PUSH1 0x03 00000ac4: SSTORE 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x02 00000ac9: SLOAD 00000aca: PUSH1 0x01 00000acc: PUSH1 0x01 00000ace: PUSH1 0xa0 00000ad0: SHL 00000ad1: SUB 00000ad2: AND 00000ad3: CALLER 00000ad4: EQ 00000ad5: PUSH2 0x0b0a 00000ad8: JUMPI 00000ad9: PUSH1 0x40 00000adb: MLOAD 00000adc: PUSH32 0xd3a6803400000000000000000000000000000000000000000000000000000000 00000afd: DUP2 00000afe: MSTORE 00000aff: PUSH1 0x04 00000b01: ADD 00000b02: PUSH1 0x40 00000b04: MLOAD 00000b05: DUP1 00000b06: SWAP2 00000b07: SUB 00000b08: SWAP1 00000b09: REVERT 00000b0a: JUMPDEST 00000b0b: PUSH1 0x01 00000b0d: SLOAD 00000b0e: PUSH1 0x01 00000b10: PUSH1 0xa0 00000b12: SHL 00000b13: SWAP1 00000b14: DIV 00000b15: PUSH1 0xff 00000b17: AND 00000b18: ISZERO 00000b19: PUSH2 0x0b57 00000b1c: JUMPI 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: PUSH3 0x461bcd 00000b24: PUSH1 0xe5 00000b26: SHL 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x20 00000b2b: PUSH1 0x04 00000b2d: DUP3 00000b2e: ADD 00000b2f: MSTORE 00000b30: PUSH1 0x10 00000b32: PUSH1 0x24 00000b34: DUP3 00000b35: ADD 00000b36: MSTORE 00000b37: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000b48: PUSH1 0x82 00000b4a: SHL 00000b4b: PUSH1 0x44 00000b4d: DUP3 00000b4e: ADD 00000b4f: MSTORE 00000b50: PUSH1 0x64 00000b52: ADD 00000b53: PUSH2 0x07b3 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x00 00000b5a: PUSH2 0x0b65 00000b5d: DUP3 00000b5e: DUP5 00000b5f: ADD 00000b60: DUP5 00000b61: PUSH2 0x159b 00000b64: JUMP 00000b65: JUMPDEST 00000b66: SWAP1 00000b67: POP 00000b68: PUSH2 0x04f6 00000b6b: DUP2 00000b6c: PUSH2 0x076a 00000b6f: JUMP 00000b70: JUMPDEST 00000b71: PUSH1 0x00 00000b73: PUSH1 0x60 00000b75: PUSH2 0x0b88 00000b78: PUSH1 0x01 00000b7a: SLOAD 00000b7b: PUSH1 0xff 00000b7d: PUSH1 0x01 00000b7f: PUSH1 0xa0 00000b81: SHL 00000b82: SWAP1 00000b83: SWAP2 00000b84: DIV 00000b85: AND 00000b86: SWAP1 00000b87: JUMP 00000b88: JUMPDEST 00000b89: ISZERO 00000b8a: PUSH2 0x0bc8 00000b8d: JUMPI 00000b8e: PUSH1 0x40 00000b90: MLOAD 00000b91: PUSH3 0x461bcd 00000b95: PUSH1 0xe5 00000b97: SHL 00000b98: DUP2 00000b99: MSTORE 00000b9a: PUSH1 0x20 00000b9c: PUSH1 0x04 00000b9e: DUP3 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH1 0x10 00000ba3: PUSH1 0x24 00000ba5: DUP3 00000ba6: ADD 00000ba7: MSTORE 00000ba8: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000bb9: PUSH1 0x82 00000bbb: SHL 00000bbc: PUSH1 0x44 00000bbe: DUP3 00000bbf: ADD 00000bc0: MSTORE 00000bc1: PUSH1 0x64 00000bc3: ADD 00000bc4: PUSH2 0x07b3 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x00 00000bcb: PUSH2 0x0bd2 00000bce: PUSH2 0x04fb 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: SWAP1 00000bd4: POP 00000bd5: PUSH1 0x00 00000bd7: DUP2 00000bd8: MLOAD 00000bd9: GT 00000bda: SWAP3 00000bdb: POP 00000bdc: DUP1 00000bdd: PUSH1 0x40 00000bdf: MLOAD 00000be0: PUSH1 0x20 00000be2: ADD 00000be3: PUSH2 0x0bec 00000be6: SWAP2 00000be7: SWAP1 00000be8: PUSH2 0x174b 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x40 00000bef: MLOAD 00000bf0: PUSH1 0x20 00000bf2: DUP2 00000bf3: DUP4 00000bf4: SUB 00000bf5: SUB 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: SWAP1 00000bf9: PUSH1 0x40 00000bfb: MSTORE 00000bfc: SWAP2 00000bfd: POP 00000bfe: POP 00000bff: JUMPDEST 00000c00: SWAP3 00000c01: POP 00000c02: SWAP3 00000c03: SWAP1 00000c04: POP 00000c05: JUMP 00000c06: JUMPDEST 00000c07: PUSH1 0x60 00000c09: PUSH1 0x04 00000c0b: DUP1 00000c0c: SLOAD 00000c0d: DUP1 00000c0e: PUSH1 0x20 00000c10: MUL 00000c11: PUSH1 0x20 00000c13: ADD 00000c14: PUSH1 0x40 00000c16: MLOAD 00000c17: SWAP1 00000c18: DUP2 00000c19: ADD 00000c1a: PUSH1 0x40 00000c1c: MSTORE 00000c1d: DUP1 00000c1e: SWAP3 00000c1f: SWAP2 00000c20: SWAP1 00000c21: DUP2 00000c22: DUP2 00000c23: MSTORE 00000c24: PUSH1 0x20 00000c26: ADD 00000c27: DUP3 00000c28: DUP1 00000c29: SLOAD 00000c2a: DUP1 00000c2b: ISZERO 00000c2c: PUSH2 0x0c5e 00000c2f: JUMPI 00000c30: PUSH1 0x20 00000c32: MUL 00000c33: DUP3 00000c34: ADD 00000c35: SWAP2 00000c36: SWAP1 00000c37: PUSH1 0x00 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: PUSH1 0x00 00000c3e: KECCAK256 00000c3f: SWAP1 00000c40: JUMPDEST 00000c41: DUP2 00000c42: SLOAD 00000c43: PUSH1 0x01 00000c45: PUSH1 0x01 00000c47: PUSH1 0xa0 00000c49: SHL 00000c4a: SUB 00000c4b: AND 00000c4c: DUP2 00000c4d: MSTORE 00000c4e: PUSH1 0x01 00000c50: SWAP1 00000c51: SWAP2 00000c52: ADD 00000c53: SWAP1 00000c54: PUSH1 0x20 00000c56: ADD 00000c57: DUP1 00000c58: DUP4 00000c59: GT 00000c5a: PUSH2 0x0c40 00000c5d: JUMPI 00000c5e: JUMPDEST 00000c5f: POP 00000c60: POP 00000c61: POP 00000c62: POP 00000c63: POP 00000c64: SWAP1 00000c65: POP 00000c66: SWAP1 00000c67: JUMP 00000c68: JUMPDEST 00000c69: PUSH1 0x01 00000c6b: SLOAD 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: SHL 00000c73: SUB 00000c74: AND 00000c75: CALLER 00000c76: EQ 00000c77: PUSH2 0x0cc2 00000c7a: JUMPI 00000c7b: PUSH1 0x40 00000c7d: MLOAD 00000c7e: PUSH3 0x461bcd 00000c82: PUSH1 0xe5 00000c84: SHL 00000c85: DUP2 00000c86: MSTORE 00000c87: PUSH1 0x20 00000c89: PUSH1 0x04 00000c8b: DUP3 00000c8c: ADD 00000c8d: MSTORE 00000c8e: PUSH1 0x16 00000c90: PUSH1 0x24 00000c92: DUP3 00000c93: ADD 00000c94: MSTORE 00000c95: PUSH32 0x4d7573742062652070726f706f736564206f776e657200000000000000000000 00000cb6: PUSH1 0x44 00000cb8: DUP3 00000cb9: ADD 00000cba: MSTORE 00000cbb: PUSH1 0x64 00000cbd: ADD 00000cbe: PUSH2 0x07b3 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x00 00000cc5: DUP1 00000cc6: SLOAD 00000cc7: CALLER 00000cc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdd: NOT 00000cde: DUP1 00000cdf: DUP4 00000ce0: AND 00000ce1: DUP3 00000ce2: OR 00000ce3: DUP5 00000ce4: SSTORE 00000ce5: PUSH1 0x01 00000ce7: DUP1 00000ce8: SLOAD 00000ce9: SWAP1 00000cea: SWAP2 00000ceb: AND 00000cec: SWAP1 00000ced: SSTORE 00000cee: PUSH1 0x40 00000cf0: MLOAD 00000cf1: PUSH1 0x01 00000cf3: PUSH1 0x01 00000cf5: PUSH1 0xa0 00000cf7: SHL 00000cf8: SUB 00000cf9: SWAP1 00000cfa: SWAP3 00000cfb: AND 00000cfc: SWAP3 00000cfd: SWAP1 00000cfe: SWAP2 00000cff: DUP4 00000d00: SWAP2 00000d01: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d22: SWAP2 00000d23: LOG3 00000d24: POP 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH2 0x0d2e 00000d2a: PUSH2 0x11c4 00000d2d: JUMP 00000d2e: JUMPDEST 00000d2f: PUSH2 0x0a7b 00000d32: PUSH2 0x12c4 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH2 0x0d3e 00000d3a: PUSH2 0x11c4 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: PUSH1 0x01 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: SHL 00000d46: SUB 00000d47: DUP2 00000d48: AND 00000d49: PUSH2 0x0d51 00000d4c: JUMPI 00000d4d: PUSH1 0x00 00000d4f: DUP1 00000d50: REVERT 00000d51: JUMPDEST 00000d52: PUSH1 0x02 00000d54: SLOAD 00000d55: PUSH1 0x40 00000d57: DUP1 00000d58: MLOAD 00000d59: PUSH1 0x01 00000d5b: PUSH1 0x01 00000d5d: PUSH1 0xa0 00000d5f: SHL 00000d60: SUB 00000d61: SWAP3 00000d62: DUP4 00000d63: AND 00000d64: DUP2 00000d65: MSTORE 00000d66: SWAP2 00000d67: DUP4 00000d68: AND 00000d69: PUSH1 0x20 00000d6b: DUP4 00000d6c: ADD 00000d6d: MSTORE 00000d6e: PUSH32 0xb732223055abcde751d7a24272ffc8a3aa571cb72b443969a4199b7ecd59f8b9 00000d8f: SWAP2 00000d90: ADD 00000d91: PUSH1 0x40 00000d93: MLOAD 00000d94: DUP1 00000d95: SWAP2 00000d96: SUB 00000d97: SWAP1 00000d98: LOG1 00000d99: PUSH1 0x02 00000d9b: DUP1 00000d9c: SLOAD 00000d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db2: NOT 00000db3: AND 00000db4: PUSH1 0x01 00000db6: PUSH1 0x01 00000db8: PUSH1 0xa0 00000dba: SHL 00000dbb: SUB 00000dbc: SWAP3 00000dbd: SWAP1 00000dbe: SWAP3 00000dbf: AND 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: SWAP2 00000dc3: OR 00000dc4: SWAP1 00000dc5: SSTORE 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH2 0x0dcf 00000dcb: PUSH2 0x11c4 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: DUP5 00000dd1: DUP4 00000dd2: EQ 00000dd3: ISZERO 00000dd4: DUP1 00000dd5: PUSH2 0x0dde 00000dd8: JUMPI 00000dd9: POP 00000dda: DUP5 00000ddb: DUP2 00000ddc: EQ 00000ddd: ISZERO 00000dde: JUMPDEST 00000ddf: ISZERO 00000de0: PUSH2 0x0dfc 00000de3: JUMPI 00000de4: PUSH1 0x40 00000de6: MLOAD 00000de7: PUSH4 0x1c34ddf3 00000dec: PUSH1 0xe1 00000dee: SHL 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x04 00000df3: ADD 00000df4: PUSH1 0x40 00000df6: MLOAD 00000df7: DUP1 00000df8: SWAP2 00000df9: SUB 00000dfa: SWAP1 00000dfb: REVERT 00000dfc: JUMPDEST 00000dfd: PUSH1 0x00 00000dff: PUSH1 0x04 00000e01: DUP1 00000e02: SLOAD 00000e03: DUP1 00000e04: PUSH1 0x20 00000e06: MUL 00000e07: PUSH1 0x20 00000e09: ADD 00000e0a: PUSH1 0x40 00000e0c: MLOAD 00000e0d: SWAP1 00000e0e: DUP2 00000e0f: ADD 00000e10: PUSH1 0x40 00000e12: MSTORE 00000e13: DUP1 00000e14: SWAP3 00000e15: SWAP2 00000e16: SWAP1 00000e17: DUP2 00000e18: DUP2 00000e19: MSTORE 00000e1a: PUSH1 0x20 00000e1c: ADD 00000e1d: DUP3 00000e1e: DUP1 00000e1f: SLOAD 00000e20: DUP1 00000e21: ISZERO 00000e22: PUSH2 0x0e54 00000e25: JUMPI 00000e26: PUSH1 0x20 00000e28: MUL 00000e29: DUP3 00000e2a: ADD 00000e2b: SWAP2 00000e2c: SWAP1 00000e2d: PUSH1 0x00 00000e2f: MSTORE 00000e30: PUSH1 0x20 00000e32: PUSH1 0x00 00000e34: KECCAK256 00000e35: SWAP1 00000e36: JUMPDEST 00000e37: DUP2 00000e38: SLOAD 00000e39: PUSH1 0x01 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0xa0 00000e3f: SHL 00000e40: SUB 00000e41: AND 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x01 00000e46: SWAP1 00000e47: SWAP2 00000e48: ADD 00000e49: SWAP1 00000e4a: PUSH1 0x20 00000e4c: ADD 00000e4d: DUP1 00000e4e: DUP4 00000e4f: GT 00000e50: PUSH2 0x0e36 00000e53: JUMPI 00000e54: JUMPDEST 00000e55: POP 00000e56: POP 00000e57: POP 00000e58: POP 00000e59: POP 00000e5a: SWAP1 00000e5b: POP 00000e5c: PUSH1 0x00 00000e5e: JUMPDEST 00000e5f: DUP2 00000e60: MLOAD 00000e61: DUP2 00000e62: LT 00000e63: ISZERO 00000e64: PUSH2 0x0ec3 00000e67: JUMPI 00000e68: PUSH1 0x00 00000e6a: PUSH1 0x05 00000e6c: PUSH1 0x00 00000e6e: DUP5 00000e6f: DUP5 00000e70: DUP2 00000e71: MLOAD 00000e72: DUP2 00000e73: LT 00000e74: PUSH2 0x0e7f 00000e77: JUMPI 00000e78: PUSH2 0x0e7f 00000e7b: PUSH2 0x1857 00000e7e: JUMP 00000e7f: JUMPDEST 00000e80: PUSH1 0x20 00000e82: SWAP1 00000e83: DUP2 00000e84: MUL 00000e85: SWAP2 00000e86: SWAP1 00000e87: SWAP2 00000e88: ADD 00000e89: DUP2 00000e8a: ADD 00000e8b: MLOAD 00000e8c: PUSH1 0x01 00000e8e: PUSH1 0x01 00000e90: PUSH1 0xa0 00000e92: SHL 00000e93: SUB 00000e94: AND 00000e95: DUP3 00000e96: MSTORE 00000e97: DUP2 00000e98: ADD 00000e99: SWAP2 00000e9a: SWAP1 00000e9b: SWAP2 00000e9c: MSTORE 00000e9d: PUSH1 0x40 00000e9f: ADD 00000ea0: PUSH1 0x00 00000ea2: KECCAK256 00000ea3: DUP1 00000ea4: SLOAD 00000ea5: PUSH1 0xff 00000ea7: NOT 00000ea8: AND 00000ea9: SWAP2 00000eaa: ISZERO 00000eab: ISZERO 00000eac: SWAP2 00000ead: SWAP1 00000eae: SWAP2 00000eaf: OR 00000eb0: SWAP1 00000eb1: SSTORE 00000eb2: DUP1 00000eb3: PUSH2 0x0ebb 00000eb6: DUP2 00000eb7: PUSH2 0x1826 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: SWAP2 00000ebd: POP 00000ebe: POP 00000ebf: PUSH2 0x0e5e 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: POP 00000ec5: PUSH1 0x00 00000ec7: JUMPDEST 00000ec8: DUP7 00000ec9: DUP2 00000eca: LT 00000ecb: ISZERO 00000ecc: PUSH2 0x119c 00000ecf: JUMPI 00000ed0: PUSH1 0x05 00000ed2: PUSH1 0x00 00000ed4: DUP10 00000ed5: DUP10 00000ed6: DUP5 00000ed7: DUP2 00000ed8: DUP2 00000ed9: LT 00000eda: PUSH2 0x0ee5 00000edd: JUMPI 00000ede: PUSH2 0x0ee5 00000ee1: PUSH2 0x1857 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: SWAP1 00000ee7: POP 00000ee8: PUSH1 0x20 00000eea: MUL 00000eeb: ADD 00000eec: PUSH1 0x20 00000eee: DUP2 00000eef: ADD 00000ef0: SWAP1 00000ef1: PUSH2 0x0efa 00000ef4: SWAP2 00000ef5: SWAP1 00000ef6: PUSH2 0x14dd 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH1 0x01 00000efd: PUSH1 0x01 00000eff: PUSH1 0xa0 00000f01: SHL 00000f02: SUB 00000f03: AND 00000f04: DUP2 00000f05: MSTORE 00000f06: PUSH1 0x20 00000f08: DUP2 00000f09: ADD 00000f0a: SWAP2 00000f0b: SWAP1 00000f0c: SWAP2 00000f0d: MSTORE 00000f0e: PUSH1 0x40 00000f10: ADD 00000f11: PUSH1 0x00 00000f13: KECCAK256 00000f14: SLOAD 00000f15: PUSH1 0xff 00000f17: AND 00000f18: ISZERO 00000f19: PUSH2 0x0f81 00000f1c: JUMPI 00000f1d: DUP8 00000f1e: DUP8 00000f1f: DUP3 00000f20: DUP2 00000f21: DUP2 00000f22: LT 00000f23: PUSH2 0x0f2e 00000f26: JUMPI 00000f27: PUSH2 0x0f2e 00000f2a: PUSH2 0x1857 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: SWAP1 00000f30: POP 00000f31: PUSH1 0x20 00000f33: MUL 00000f34: ADD 00000f35: PUSH1 0x20 00000f37: DUP2 00000f38: ADD 00000f39: SWAP1 00000f3a: PUSH2 0x0f43 00000f3d: SWAP2 00000f3e: SWAP1 00000f3f: PUSH2 0x14dd 00000f42: JUMP 00000f43: JUMPDEST 00000f44: PUSH1 0x40 00000f46: MLOAD 00000f47: PUSH32 0x9f2277f300000000000000000000000000000000000000000000000000000000 00000f68: DUP2 00000f69: MSTORE 00000f6a: PUSH1 0x01 00000f6c: PUSH1 0x01 00000f6e: PUSH1 0xa0 00000f70: SHL 00000f71: SUB 00000f72: SWAP1 00000f73: SWAP2 00000f74: AND 00000f75: PUSH1 0x04 00000f77: DUP3 00000f78: ADD 00000f79: MSTORE 00000f7a: PUSH1 0x24 00000f7c: ADD 00000f7d: PUSH2 0x07b3 00000f80: JUMP 00000f81: JUMPDEST 00000f82: PUSH1 0x00 00000f84: DUP9 00000f85: DUP9 00000f86: DUP4 00000f87: DUP2 00000f88: DUP2 00000f89: LT 00000f8a: PUSH2 0x0f95 00000f8d: JUMPI 00000f8e: PUSH2 0x0f95 00000f91: PUSH2 0x1857 00000f94: JUMP 00000f95: JUMPDEST 00000f96: SWAP1 00000f97: POP 00000f98: PUSH1 0x20 00000f9a: MUL 00000f9b: ADD 00000f9c: PUSH1 0x20 00000f9e: DUP2 00000f9f: ADD 00000fa0: SWAP1 00000fa1: PUSH2 0x0faa 00000fa4: SWAP2 00000fa5: SWAP1 00000fa6: PUSH2 0x14dd 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: PUSH1 0x01 00000fad: PUSH1 0x01 00000faf: PUSH1 0xa0 00000fb1: SHL 00000fb2: SUB 00000fb3: AND 00000fb4: EQ 00000fb5: ISZERO 00000fb6: PUSH2 0x0fd2 00000fb9: JUMPI 00000fba: PUSH1 0x40 00000fbc: MLOAD 00000fbd: PUSH4 0x1c34ddf3 00000fc2: PUSH1 0xe1 00000fc4: SHL 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x04 00000fc9: ADD 00000fca: PUSH1 0x40 00000fcc: MLOAD 00000fcd: DUP1 00000fce: SWAP2 00000fcf: SUB 00000fd0: SWAP1 00000fd1: REVERT 00000fd2: JUMPDEST 00000fd3: DUP4 00000fd4: DUP4 00000fd5: DUP3 00000fd6: DUP2 00000fd7: DUP2 00000fd8: LT 00000fd9: PUSH2 0x0fe4 00000fdc: JUMPI 00000fdd: PUSH2 0x0fe4 00000fe0: PUSH2 0x1857 00000fe3: JUMP 00000fe4: JUMPDEST 00000fe5: SWAP1 00000fe6: POP 00000fe7: PUSH1 0x20 00000fe9: MUL 00000fea: ADD 00000feb: PUSH1 0x20 00000fed: DUP2 00000fee: ADD 00000fef: SWAP1 00000ff0: PUSH2 0x0ff9 00000ff3: SWAP2 00000ff4: SWAP1 00000ff5: PUSH2 0x1722 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: PUSH1 0x01 00000ffc: PUSH1 0x01 00000ffe: PUSH1 0x60 00001000: SHL 00001001: SUB 00001002: AND 00001003: PUSH2 0x101f 00001006: JUMPI 00001007: PUSH1 0x40 00001009: MLOAD 0000100a: PUSH4 0x1c34ddf3 0000100f: PUSH1 0xe1 00001011: SHL 00001012: DUP2 00001013: MSTORE 00001014: PUSH1 0x04 00001016: ADD 00001017: PUSH1 0x40 00001019: MLOAD 0000101a: DUP1 0000101b: SWAP2 0000101c: SUB 0000101d: SWAP1 0000101e: REVERT 0000101f: JUMPDEST 00001020: PUSH1 0x40 00001022: MLOAD 00001023: DUP1 00001024: PUSH1 0x80 00001026: ADD 00001027: PUSH1 0x40 00001029: MSTORE 0000102a: DUP1 0000102b: PUSH1 0x01 0000102d: ISZERO 0000102e: ISZERO 0000102f: DUP2 00001030: MSTORE 00001031: PUSH1 0x20 00001033: ADD 00001034: DUP8 00001035: DUP8 00001036: DUP5 00001037: DUP2 00001038: DUP2 00001039: LT 0000103a: PUSH2 0x1045 0000103d: JUMPI 0000103e: PUSH2 0x1045 00001041: PUSH2 0x1857 00001044: JUMP 00001045: JUMPDEST 00001046: SWAP1 00001047: POP 00001048: PUSH1 0x20 0000104a: MUL 0000104b: ADD 0000104c: PUSH1 0x20 0000104e: DUP2 0000104f: ADD 00001050: SWAP1 00001051: PUSH2 0x105a 00001054: SWAP2 00001055: SWAP1 00001056: PUSH2 0x1722 00001059: JUMP 0000105a: JUMPDEST 0000105b: PUSH1 0x01 0000105d: PUSH1 0x01 0000105f: PUSH1 0x60 00001061: SHL 00001062: SUB 00001063: AND 00001064: DUP2 00001065: MSTORE 00001066: PUSH1 0x20 00001068: ADD 00001069: DUP6 0000106a: DUP6 0000106b: DUP5 0000106c: DUP2 0000106d: DUP2 0000106e: LT 0000106f: PUSH2 0x107a 00001072: JUMPI 00001073: PUSH2 0x107a 00001076: PUSH2 0x1857 00001079: JUMP 0000107a: JUMPDEST 0000107b: SWAP1 0000107c: POP 0000107d: PUSH1 0x20 0000107f: MUL 00001080: ADD 00001081: PUSH1 0x20 00001083: DUP2 00001084: ADD 00001085: SWAP1 00001086: PUSH2 0x108f 00001089: SWAP2 0000108a: SWAP1 0000108b: PUSH2 0x1722 0000108e: JUMP 0000108f: JUMPDEST 00001090: PUSH1 0x01 00001092: PUSH1 0x01 00001094: PUSH1 0x60 00001096: SHL 00001097: SUB 00001098: AND 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x20 0000109d: ADD 0000109e: PUSH1 0x00 000010a0: PUSH7 0xffffffffffffff 000010a8: AND 000010a9: DUP2 000010aa: MSTORE 000010ab: POP 000010ac: PUSH1 0x05 000010ae: PUSH1 0x00 000010b0: DUP11 000010b1: DUP11 000010b2: DUP6 000010b3: DUP2 000010b4: DUP2 000010b5: LT 000010b6: PUSH2 0x10c1 000010b9: JUMPI 000010ba: PUSH2 0x10c1 000010bd: PUSH2 0x1857 000010c0: JUMP 000010c1: JUMPDEST 000010c2: SWAP1 000010c3: POP 000010c4: PUSH1 0x20 000010c6: MUL 000010c7: ADD 000010c8: PUSH1 0x20 000010ca: DUP2 000010cb: ADD 000010cc: SWAP1 000010cd: PUSH2 0x10d6 000010d0: SWAP2 000010d1: SWAP1 000010d2: PUSH2 0x14dd 000010d5: JUMP 000010d6: JUMPDEST 000010d7: PUSH1 0x01 000010d9: PUSH1 0x01 000010db: PUSH1 0xa0 000010dd: SHL 000010de: SUB 000010df: AND 000010e0: DUP2 000010e1: MSTORE 000010e2: PUSH1 0x20 000010e4: DUP1 000010e5: DUP3 000010e6: ADD 000010e7: SWAP3 000010e8: SWAP1 000010e9: SWAP3 000010ea: MSTORE 000010eb: PUSH1 0x40 000010ed: SWAP1 000010ee: DUP2 000010ef: ADD 000010f0: PUSH1 0x00 000010f2: KECCAK256 000010f3: DUP4 000010f4: MLOAD 000010f5: DUP2 000010f6: SLOAD 000010f7: SWAP4 000010f8: DUP6 000010f9: ADD 000010fa: MLOAD 000010fb: SWAP3 000010fc: DUP6 000010fd: ADD 000010fe: MLOAD 000010ff: PUSH1 0x60 00001101: SWAP1 00001102: SWAP6 00001103: ADD 00001104: MLOAD 00001105: PUSH7 0xffffffffffffff 0000110d: AND 0000110e: PUSH1 0x01 00001110: PUSH1 0xc8 00001112: SHL 00001113: MUL 00001114: PUSH25 0xffffffffffffffffffffffffffffffffffffffffffffffffff 0000112e: PUSH1 0x01 00001130: PUSH1 0x01 00001132: PUSH1 0x60 00001134: SHL 00001135: SUB 00001136: SWAP7 00001137: DUP8 00001138: AND 00001139: PUSH1 0x01 0000113b: PUSH1 0x68 0000113d: SHL 0000113e: MUL 0000113f: AND 00001140: PUSH13 0xffffffffffffffffffffffffff 0000114e: SWAP7 0000114f: SWAP1 00001150: SWAP5 00001151: AND 00001152: PUSH2 0x0100 00001155: MUL 00001156: PUSH13 0xffffffffffffffffffffffff00 00001164: NOT 00001165: SWAP3 00001166: ISZERO 00001167: ISZERO 00001168: SWAP3 00001169: SWAP1 0000116a: SWAP3 0000116b: AND 0000116c: PUSH13 0xffffffffffffffffffffffffff 0000117a: NOT 0000117b: SWAP1 0000117c: SWAP6 0000117d: AND 0000117e: SWAP5 0000117f: SWAP1 00001180: SWAP5 00001181: OR 00001182: OR 00001183: SWAP4 00001184: SWAP1 00001185: SWAP4 00001186: AND 00001187: OR 00001188: OR 00001189: SWAP1 0000118a: SSTORE 0000118b: DUP1 0000118c: PUSH2 0x1194 0000118f: DUP2 00001190: PUSH2 0x1826 00001193: JUMP 00001194: JUMPDEST 00001195: SWAP2 00001196: POP 00001197: POP 00001198: PUSH2 0x0ec7 0000119b: JUMP 0000119c: JUMPDEST 0000119d: POP 0000119e: PUSH2 0x11a9 000011a1: PUSH1 0x04 000011a3: DUP9 000011a4: DUP9 000011a5: PUSH2 0x1403 000011a8: JUMP 000011a9: JUMPDEST 000011aa: POP 000011ab: POP 000011ac: POP 000011ad: POP 000011ae: POP 000011af: POP 000011b0: POP 000011b1: POP 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH2 0x11bb 000011b7: PUSH2 0x11c4 000011ba: JUMP 000011bb: JUMPDEST 000011bc: PUSH2 0x0a68 000011bf: DUP2 000011c0: PUSH2 0x134c 000011c3: JUMP 000011c4: JUMPDEST 000011c5: PUSH1 0x00 000011c7: SLOAD 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: AND 000011d1: CALLER 000011d2: EQ 000011d3: PUSH2 0x0a7b 000011d6: JUMPI 000011d7: PUSH1 0x40 000011d9: MLOAD 000011da: PUSH3 0x461bcd 000011de: PUSH1 0xe5 000011e0: SHL 000011e1: DUP2 000011e2: MSTORE 000011e3: PUSH1 0x20 000011e5: PUSH1 0x04 000011e7: DUP3 000011e8: ADD 000011e9: MSTORE 000011ea: PUSH1 0x16 000011ec: PUSH1 0x24 000011ee: DUP3 000011ef: ADD 000011f0: MSTORE 000011f1: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00001212: PUSH1 0x44 00001214: DUP3 00001215: ADD 00001216: MSTORE 00001217: PUSH1 0x64 00001219: ADD 0000121a: PUSH2 0x07b3 0000121d: JUMP 0000121e: JUMPDEST 0000121f: PUSH1 0x01 00001221: SLOAD 00001222: PUSH1 0x01 00001224: PUSH1 0xa0 00001226: SHL 00001227: SWAP1 00001228: DIV 00001229: PUSH1 0xff 0000122b: AND 0000122c: PUSH2 0x1277 0000122f: JUMPI 00001230: PUSH1 0x40 00001232: MLOAD 00001233: PUSH3 0x461bcd 00001237: PUSH1 0xe5 00001239: SHL 0000123a: DUP2 0000123b: MSTORE 0000123c: PUSH1 0x20 0000123e: PUSH1 0x04 00001240: DUP3 00001241: ADD 00001242: MSTORE 00001243: PUSH1 0x14 00001245: PUSH1 0x24 00001247: DUP3 00001248: ADD 00001249: MSTORE 0000124a: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 0000126b: PUSH1 0x44 0000126d: DUP3 0000126e: ADD 0000126f: MSTORE 00001270: PUSH1 0x64 00001272: ADD 00001273: PUSH2 0x07b3 00001276: JUMP 00001277: JUMPDEST 00001278: PUSH1 0x01 0000127a: DUP1 0000127b: SLOAD 0000127c: PUSH1 0xff 0000127e: PUSH1 0xa0 00001280: SHL 00001281: NOT 00001282: AND 00001283: SWAP1 00001284: SSTORE 00001285: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 000012a6: CALLER 000012a7: JUMPDEST 000012a8: PUSH1 0x40 000012aa: MLOAD 000012ab: PUSH1 0x01 000012ad: PUSH1 0x01 000012af: PUSH1 0xa0 000012b1: SHL 000012b2: SUB 000012b3: SWAP1 000012b4: SWAP2 000012b5: AND 000012b6: DUP2 000012b7: MSTORE 000012b8: PUSH1 0x20 000012ba: ADD 000012bb: PUSH1 0x40 000012bd: MLOAD 000012be: DUP1 000012bf: SWAP2 000012c0: SUB 000012c1: SWAP1 000012c2: LOG1 000012c3: JUMP 000012c4: JUMPDEST 000012c5: PUSH1 0x01 000012c7: SLOAD 000012c8: PUSH1 0x01 000012ca: PUSH1 0xa0 000012cc: SHL 000012cd: SWAP1 000012ce: DIV 000012cf: PUSH1 0xff 000012d1: AND 000012d2: ISZERO 000012d3: PUSH2 0x1311 000012d6: JUMPI 000012d7: PUSH1 0x40 000012d9: MLOAD 000012da: PUSH3 0x461bcd 000012de: PUSH1 0xe5 000012e0: SHL 000012e1: DUP2 000012e2: MSTORE 000012e3: PUSH1 0x20 000012e5: PUSH1 0x04 000012e7: DUP3 000012e8: ADD 000012e9: MSTORE 000012ea: PUSH1 0x10 000012ec: PUSH1 0x24 000012ee: DUP3 000012ef: ADD 000012f0: MSTORE 000012f1: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00001302: PUSH1 0x82 00001304: SHL 00001305: PUSH1 0x44 00001307: DUP3 00001308: ADD 00001309: MSTORE 0000130a: PUSH1 0x64 0000130c: ADD 0000130d: PUSH2 0x07b3 00001310: JUMP 00001311: JUMPDEST 00001312: PUSH1 0x01 00001314: DUP1 00001315: SLOAD 00001316: PUSH1 0xff 00001318: PUSH1 0xa0 0000131a: SHL 0000131b: NOT 0000131c: AND 0000131d: PUSH1 0x01 0000131f: PUSH1 0xa0 00001321: SHL 00001322: OR 00001323: SWAP1 00001324: SSTORE 00001325: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00001346: PUSH2 0x12a7 00001349: CALLER 0000134a: SWAP1 0000134b: JUMP 0000134c: JUMPDEST 0000134d: PUSH1 0x01 0000134f: PUSH1 0x01 00001351: PUSH1 0xa0 00001353: SHL 00001354: SUB 00001355: DUP2 00001356: AND 00001357: CALLER 00001358: EQ 00001359: ISZERO 0000135a: PUSH2 0x13a5 0000135d: JUMPI 0000135e: PUSH1 0x40 00001360: MLOAD 00001361: PUSH3 0x461bcd 00001365: PUSH1 0xe5 00001367: SHL 00001368: DUP2 00001369: MSTORE 0000136a: PUSH1 0x20 0000136c: PUSH1 0x04 0000136e: DUP3 0000136f: ADD 00001370: MSTORE 00001371: PUSH1 0x17 00001373: PUSH1 0x24 00001375: DUP3 00001376: ADD 00001377: MSTORE 00001378: PUSH32 0x43616e6e6f74207472616e7366657220746f2073656c66000000000000000000 00001399: PUSH1 0x44 0000139b: DUP3 0000139c: ADD 0000139d: MSTORE 0000139e: PUSH1 0x64 000013a0: ADD 000013a1: PUSH2 0x07b3 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH1 0x01 000013a8: DUP1 000013a9: SLOAD 000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bf: NOT 000013c0: AND 000013c1: PUSH1 0x01 000013c3: PUSH1 0x01 000013c5: PUSH1 0xa0 000013c7: SHL 000013c8: SUB 000013c9: DUP4 000013ca: DUP2 000013cb: AND 000013cc: SWAP2 000013cd: DUP3 000013ce: OR 000013cf: SWAP1 000013d0: SWAP3 000013d1: SSTORE 000013d2: PUSH1 0x00 000013d4: DUP1 000013d5: SLOAD 000013d6: PUSH1 0x40 000013d8: MLOAD 000013d9: SWAP3 000013da: SWAP4 000013db: AND 000013dc: SWAP2 000013dd: PUSH32 0xed8889f560326eb138920d842192f0eb3dd22b4f139c87a2c57538e05bae1278 000013fe: SWAP2 000013ff: SWAP1 00001400: LOG3 00001401: POP 00001402: JUMP 00001403: JUMPDEST 00001404: DUP3 00001405: DUP1 00001406: SLOAD 00001407: DUP3 00001408: DUP3 00001409: SSTORE 0000140a: SWAP1 0000140b: PUSH1 0x00 0000140d: MSTORE 0000140e: PUSH1 0x20 00001410: PUSH1 0x00 00001412: KECCAK256 00001413: SWAP1 00001414: DUP2 00001415: ADD 00001416: SWAP3 00001417: DUP3 00001418: ISZERO 00001419: PUSH2 0x1463 0000141c: JUMPI 0000141d: SWAP2 0000141e: PUSH1 0x20 00001420: MUL 00001421: DUP3 00001422: ADD 00001423: JUMPDEST 00001424: DUP3 00001425: DUP2 00001426: GT 00001427: ISZERO 00001428: PUSH2 0x1463 0000142b: JUMPI 0000142c: DUP2 0000142d: SLOAD 0000142e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001443: NOT 00001444: AND 00001445: PUSH1 0x01 00001447: PUSH1 0x01 00001449: PUSH1 0xa0 0000144b: SHL 0000144c: SUB 0000144d: DUP5 0000144e: CALLDATALOAD 0000144f: AND 00001450: OR 00001451: DUP3 00001452: SSTORE 00001453: PUSH1 0x20 00001455: SWAP1 00001456: SWAP3 00001457: ADD 00001458: SWAP2 00001459: PUSH1 0x01 0000145b: SWAP1 0000145c: SWAP2 0000145d: ADD 0000145e: SWAP1 0000145f: PUSH2 0x1423 00001462: JUMP 00001463: JUMPDEST 00001464: POP 00001465: PUSH2 0x146f 00001468: SWAP3 00001469: SWAP2 0000146a: POP 0000146b: PUSH2 0x1473 0000146e: JUMP 0000146f: JUMPDEST 00001470: POP 00001471: SWAP1 00001472: JUMP 00001473: JUMPDEST 00001474: JUMPDEST 00001475: DUP1 00001476: DUP3 00001477: GT 00001478: ISZERO 00001479: PUSH2 0x146f 0000147c: JUMPI 0000147d: PUSH1 0x00 0000147f: DUP2 00001480: SSTORE 00001481: PUSH1 0x01 00001483: ADD 00001484: PUSH2 0x1474 00001487: JUMP 00001488: JUMPDEST 00001489: DUP1 0000148a: CALLDATALOAD 0000148b: PUSH2 0x1493 0000148e: DUP2 0000148f: PUSH2 0x1883 00001492: JUMP 00001493: JUMPDEST 00001494: SWAP2 00001495: SWAP1 00001496: POP 00001497: JUMP 00001498: JUMPDEST 00001499: PUSH1 0x00 0000149b: DUP1 0000149c: DUP4 0000149d: PUSH1 0x1f 0000149f: DUP5 000014a0: ADD 000014a1: SLT 000014a2: PUSH2 0x14aa 000014a5: JUMPI 000014a6: PUSH1 0x00 000014a8: DUP1 000014a9: REVERT 000014aa: JUMPDEST 000014ab: POP 000014ac: DUP2 000014ad: CALLDATALOAD 000014ae: PUSH8 0xffffffffffffffff 000014b7: DUP2 000014b8: GT 000014b9: ISZERO 000014ba: PUSH2 0x14c2 000014bd: JUMPI 000014be: PUSH1 0x00 000014c0: DUP1 000014c1: REVERT 000014c2: JUMPDEST 000014c3: PUSH1 0x20 000014c5: DUP4 000014c6: ADD 000014c7: SWAP2 000014c8: POP 000014c9: DUP4 000014ca: PUSH1 0x20 000014cc: DUP3 000014cd: PUSH1 0x05 000014cf: SHL 000014d0: DUP6 000014d1: ADD 000014d2: ADD 000014d3: GT 000014d4: ISZERO 000014d5: PUSH2 0x0bff 000014d8: JUMPI 000014d9: PUSH1 0x00 000014db: DUP1 000014dc: REVERT 000014dd: JUMPDEST 000014de: PUSH1 0x00 000014e0: PUSH1 0x20 000014e2: DUP3 000014e3: DUP5 000014e4: SUB 000014e5: SLT 000014e6: ISZERO 000014e7: PUSH2 0x14ef 000014ea: JUMPI 000014eb: PUSH1 0x00 000014ed: DUP1 000014ee: REVERT 000014ef: JUMPDEST 000014f0: DUP2 000014f1: CALLDATALOAD 000014f2: PUSH2 0x14fa 000014f5: DUP2 000014f6: PUSH2 0x1883 000014f9: JUMP 000014fa: JUMPDEST 000014fb: SWAP4 000014fc: SWAP3 000014fd: POP 000014fe: POP 000014ff: POP 00001500: JUMP 00001501: JUMPDEST 00001502: PUSH1 0x00 00001504: DUP1 00001505: PUSH1 0x00 00001507: DUP1 00001508: PUSH1 0x00 0000150a: DUP1 0000150b: PUSH1 0x60 0000150d: DUP8 0000150e: DUP10 0000150f: SUB 00001510: SLT 00001511: ISZERO 00001512: PUSH2 0x151a 00001515: JUMPI 00001516: PUSH1 0x00 00001518: DUP1 00001519: REVERT 0000151a: JUMPDEST 0000151b: DUP7 0000151c: CALLDATALOAD 0000151d: PUSH8 0xffffffffffffffff 00001526: DUP1 00001527: DUP3 00001528: GT 00001529: ISZERO 0000152a: PUSH2 0x1532 0000152d: JUMPI 0000152e: PUSH1 0x00 00001530: DUP1 00001531: REVERT 00001532: JUMPDEST 00001533: PUSH2 0x153e 00001536: DUP11 00001537: DUP4 00001538: DUP12 00001539: ADD 0000153a: PUSH2 0x1498 0000153d: JUMP 0000153e: JUMPDEST 0000153f: SWAP1 00001540: SWAP9 00001541: POP 00001542: SWAP7 00001543: POP 00001544: PUSH1 0x20 00001546: DUP10 00001547: ADD 00001548: CALLDATALOAD 00001549: SWAP2 0000154a: POP 0000154b: DUP1 0000154c: DUP3 0000154d: GT 0000154e: ISZERO 0000154f: PUSH2 0x1557 00001552: JUMPI 00001553: PUSH1 0x00 00001555: DUP1 00001556: REVERT 00001557: JUMPDEST 00001558: PUSH2 0x1563 0000155b: DUP11 0000155c: DUP4 0000155d: DUP12 0000155e: ADD 0000155f: PUSH2 0x1498 00001562: JUMP 00001563: JUMPDEST 00001564: SWAP1 00001565: SWAP7 00001566: POP 00001567: SWAP5 00001568: POP 00001569: PUSH1 0x40 0000156b: DUP10 0000156c: ADD 0000156d: CALLDATALOAD 0000156e: SWAP2 0000156f: POP 00001570: DUP1 00001571: DUP3 00001572: GT 00001573: ISZERO 00001574: PUSH2 0x157c 00001577: JUMPI 00001578: PUSH1 0x00 0000157a: DUP1 0000157b: REVERT 0000157c: JUMPDEST 0000157d: POP 0000157e: PUSH2 0x1589 00001581: DUP10 00001582: DUP3 00001583: DUP11 00001584: ADD 00001585: PUSH2 0x1498 00001588: JUMP 00001589: JUMPDEST 0000158a: SWAP8 0000158b: SWAP11 0000158c: SWAP7 0000158d: SWAP10 0000158e: POP 0000158f: SWAP5 00001590: SWAP8 00001591: POP 00001592: SWAP3 00001593: SWAP6 00001594: SWAP4 00001595: SWAP5 00001596: SWAP3 00001597: POP 00001598: POP 00001599: POP 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH1 0x00 0000159e: PUSH1 0x20 000015a0: DUP1 000015a1: DUP4 000015a2: DUP6 000015a3: SUB 000015a4: SLT 000015a5: ISZERO 000015a6: PUSH2 0x15ae 000015a9: JUMPI 000015aa: PUSH1 0x00 000015ac: DUP1 000015ad: REVERT 000015ae: JUMPDEST 000015af: DUP3 000015b0: CALLDATALOAD 000015b1: PUSH8 0xffffffffffffffff 000015ba: DUP1 000015bb: DUP3 000015bc: GT 000015bd: ISZERO 000015be: PUSH2 0x15c6 000015c1: JUMPI 000015c2: PUSH1 0x00 000015c4: DUP1 000015c5: REVERT 000015c6: JUMPDEST 000015c7: DUP2 000015c8: DUP6 000015c9: ADD 000015ca: SWAP2 000015cb: POP 000015cc: DUP6 000015cd: PUSH1 0x1f 000015cf: DUP4 000015d0: ADD 000015d1: SLT 000015d2: PUSH2 0x15da 000015d5: JUMPI 000015d6: PUSH1 0x00 000015d8: DUP1 000015d9: REVERT 000015da: JUMPDEST 000015db: DUP2 000015dc: CALLDATALOAD 000015dd: DUP2 000015de: DUP2 000015df: GT 000015e0: ISZERO 000015e1: PUSH2 0x15ec 000015e4: JUMPI 000015e5: PUSH2 0x15ec 000015e8: PUSH2 0x186d 000015eb: JUMP 000015ec: JUMPDEST 000015ed: DUP1 000015ee: PUSH1 0x05 000015f0: SHL 000015f1: PUSH1 0x40 000015f3: MLOAD 000015f4: PUSH1 0x1f 000015f6: NOT 000015f7: PUSH1 0x3f 000015f9: DUP4 000015fa: ADD 000015fb: AND 000015fc: DUP2 000015fd: ADD 000015fe: DUP2 000015ff: DUP2 00001600: LT 00001601: DUP6 00001602: DUP3 00001603: GT 00001604: OR 00001605: ISZERO 00001606: PUSH2 0x1611 00001609: JUMPI 0000160a: PUSH2 0x1611 0000160d: PUSH2 0x186d 00001610: JUMP 00001611: JUMPDEST 00001612: PUSH1 0x40 00001614: MSTORE 00001615: DUP3 00001616: DUP2 00001617: MSTORE 00001618: DUP6 00001619: DUP2 0000161a: ADD 0000161b: SWAP4 0000161c: POP 0000161d: DUP5 0000161e: DUP7 0000161f: ADD 00001620: DUP3 00001621: DUP7 00001622: ADD 00001623: DUP8 00001624: ADD 00001625: DUP11 00001626: LT 00001627: ISZERO 00001628: PUSH2 0x1630 0000162b: JUMPI 0000162c: PUSH1 0x00 0000162e: DUP1 0000162f: REVERT 00001630: JUMPDEST 00001631: PUSH1 0x00 00001633: SWAP6 00001634: POP 00001635: JUMPDEST 00001636: DUP4 00001637: DUP7 00001638: LT 00001639: ISZERO 0000163a: PUSH2 0x165a 0000163d: JUMPI 0000163e: PUSH2 0x1646 00001641: DUP2 00001642: PUSH2 0x1488 00001645: JUMP 00001646: JUMPDEST 00001647: DUP6 00001648: MSTORE 00001649: PUSH1 0x01 0000164b: SWAP6 0000164c: SWAP1 0000164d: SWAP6 0000164e: ADD 0000164f: SWAP5 00001650: SWAP4 00001651: DUP7 00001652: ADD 00001653: SWAP4 00001654: DUP7 00001655: ADD 00001656: PUSH2 0x1635 00001659: JUMP 0000165a: JUMPDEST 0000165b: POP 0000165c: SWAP9 0000165d: SWAP8 0000165e: POP 0000165f: POP 00001660: POP 00001661: POP 00001662: POP 00001663: POP 00001664: POP 00001665: POP 00001666: JUMP 00001667: JUMPDEST 00001668: PUSH1 0x00 0000166a: DUP1 0000166b: PUSH1 0x20 0000166d: DUP4 0000166e: DUP6 0000166f: SUB 00001670: SLT 00001671: ISZERO 00001672: PUSH2 0x167a 00001675: JUMPI 00001676: PUSH1 0x00 00001678: DUP1 00001679: REVERT 0000167a: JUMPDEST 0000167b: DUP3 0000167c: CALLDATALOAD 0000167d: PUSH8 0xffffffffffffffff 00001686: DUP1 00001687: DUP3 00001688: GT 00001689: ISZERO 0000168a: PUSH2 0x1692 0000168d: JUMPI 0000168e: PUSH1 0x00 00001690: DUP1 00001691: REVERT 00001692: JUMPDEST 00001693: DUP2 00001694: DUP6 00001695: ADD 00001696: SWAP2 00001697: POP 00001698: DUP6 00001699: PUSH1 0x1f 0000169b: DUP4 0000169c: ADD 0000169d: SLT 0000169e: PUSH2 0x16a6 000016a1: JUMPI 000016a2: PUSH1 0x00 000016a4: DUP1 000016a5: REVERT 000016a6: JUMPDEST 000016a7: DUP2 000016a8: CALLDATALOAD 000016a9: DUP2 000016aa: DUP2 000016ab: GT 000016ac: ISZERO 000016ad: PUSH2 0x16b5 000016b0: JUMPI 000016b1: PUSH1 0x00 000016b3: DUP1 000016b4: REVERT 000016b5: JUMPDEST 000016b6: DUP7 000016b7: PUSH1 0x20 000016b9: DUP3 000016ba: DUP6 000016bb: ADD 000016bc: ADD 000016bd: GT 000016be: ISZERO 000016bf: PUSH2 0x16c7 000016c2: JUMPI 000016c3: PUSH1 0x00 000016c5: DUP1 000016c6: REVERT 000016c7: JUMPDEST 000016c8: PUSH1 0x20 000016ca: SWAP3 000016cb: SWAP1 000016cc: SWAP3 000016cd: ADD 000016ce: SWAP7 000016cf: SWAP2 000016d0: SWAP6 000016d1: POP 000016d2: SWAP1 000016d3: SWAP4 000016d4: POP 000016d5: POP 000016d6: POP 000016d7: POP 000016d8: JUMP 000016d9: JUMPDEST 000016da: PUSH1 0x00 000016dc: PUSH1 0x20 000016de: DUP3 000016df: DUP5 000016e0: SUB 000016e1: SLT 000016e2: ISZERO 000016e3: PUSH2 0x16eb 000016e6: JUMPI 000016e7: PUSH1 0x00 000016e9: DUP1 000016ea: REVERT 000016eb: JUMPDEST 000016ec: POP 000016ed: CALLDATALOAD 000016ee: SWAP2 000016ef: SWAP1 000016f0: POP 000016f1: JUMP 000016f2: JUMPDEST 000016f3: PUSH1 0x00 000016f5: DUP1 000016f6: PUSH1 0x40 000016f8: DUP4 000016f9: DUP6 000016fa: SUB 000016fb: SLT 000016fc: ISZERO 000016fd: PUSH2 0x1705 00001700: JUMPI 00001701: PUSH1 0x00 00001703: DUP1 00001704: REVERT 00001705: JUMPDEST 00001706: DUP3 00001707: CALLDATALOAD 00001708: SWAP2 00001709: POP 0000170a: PUSH1 0x20 0000170c: DUP4 0000170d: ADD 0000170e: CALLDATALOAD 0000170f: PUSH2 0x1717 00001712: DUP2 00001713: PUSH2 0x1883 00001716: JUMP 00001717: JUMPDEST 00001718: DUP1 00001719: SWAP2 0000171a: POP 0000171b: POP 0000171c: SWAP3 0000171d: POP 0000171e: SWAP3 0000171f: SWAP1 00001720: POP 00001721: JUMP 00001722: JUMPDEST 00001723: PUSH1 0x00 00001725: PUSH1 0x20 00001727: DUP3 00001728: DUP5 00001729: SUB 0000172a: SLT 0000172b: ISZERO 0000172c: PUSH2 0x1734 0000172f: JUMPI 00001730: PUSH1 0x00 00001732: DUP1 00001733: REVERT 00001734: JUMPDEST 00001735: DUP2 00001736: CALLDATALOAD 00001737: PUSH1 0x01 00001739: PUSH1 0x01 0000173b: PUSH1 0x60 0000173d: SHL 0000173e: SUB 0000173f: DUP2 00001740: AND 00001741: DUP2 00001742: EQ 00001743: PUSH2 0x14fa 00001746: JUMPI 00001747: PUSH1 0x00 00001749: DUP1 0000174a: REVERT 0000174b: JUMPDEST 0000174c: PUSH1 0x20 0000174e: DUP1 0000174f: DUP3 00001750: MSTORE 00001751: DUP3 00001752: MLOAD 00001753: DUP3 00001754: DUP3 00001755: ADD 00001756: DUP2 00001757: SWAP1 00001758: MSTORE 00001759: PUSH1 0x00 0000175b: SWAP2 0000175c: SWAP1 0000175d: DUP5 0000175e: DUP3 0000175f: ADD 00001760: SWAP1 00001761: PUSH1 0x40 00001763: DUP6 00001764: ADD 00001765: SWAP1 00001766: DUP5 00001767: JUMPDEST 00001768: DUP2 00001769: DUP2 0000176a: LT 0000176b: ISZERO 0000176c: PUSH2 0x178c 0000176f: JUMPI 00001770: DUP4 00001771: MLOAD 00001772: PUSH1 0x01 00001774: PUSH1 0x01 00001776: PUSH1 0xa0 00001778: SHL 00001779: SUB 0000177a: AND 0000177b: DUP4 0000177c: MSTORE 0000177d: SWAP3 0000177e: DUP5 0000177f: ADD 00001780: SWAP3 00001781: SWAP2 00001782: DUP5 00001783: ADD 00001784: SWAP2 00001785: PUSH1 0x01 00001787: ADD 00001788: PUSH2 0x1767 0000178b: JUMP 0000178c: JUMPDEST 0000178d: POP 0000178e: SWAP1 0000178f: SWAP7 00001790: SWAP6 00001791: POP 00001792: POP 00001793: POP 00001794: POP 00001795: POP 00001796: POP 00001797: JUMP 00001798: JUMPDEST 00001799: DUP3 0000179a: ISZERO 0000179b: ISZERO 0000179c: DUP2 0000179d: MSTORE 0000179e: PUSH1 0x00 000017a0: PUSH1 0x20 000017a2: PUSH1 0x40 000017a4: DUP2 000017a5: DUP5 000017a6: ADD 000017a7: MSTORE 000017a8: DUP4 000017a9: MLOAD 000017aa: DUP1 000017ab: PUSH1 0x40 000017ad: DUP6 000017ae: ADD 000017af: MSTORE 000017b0: PUSH1 0x00 000017b2: JUMPDEST 000017b3: DUP2 000017b4: DUP2 000017b5: LT 000017b6: ISZERO 000017b7: PUSH2 0x17ce 000017ba: JUMPI 000017bb: DUP6 000017bc: DUP2 000017bd: ADD 000017be: DUP4 000017bf: ADD 000017c0: MLOAD 000017c1: DUP6 000017c2: DUP3 000017c3: ADD 000017c4: PUSH1 0x60 000017c6: ADD 000017c7: MSTORE 000017c8: DUP3 000017c9: ADD 000017ca: PUSH2 0x17b2 000017cd: JUMP 000017ce: JUMPDEST 000017cf: DUP2 000017d0: DUP2 000017d1: GT 000017d2: ISZERO 000017d3: PUSH2 0x17e0 000017d6: JUMPI 000017d7: PUSH1 0x00 000017d9: PUSH1 0x60 000017db: DUP4 000017dc: DUP8 000017dd: ADD 000017de: ADD 000017df: MSTORE 000017e0: JUMPDEST 000017e1: POP 000017e2: PUSH1 0x1f 000017e4: ADD 000017e5: PUSH1 0x1f 000017e7: NOT 000017e8: AND 000017e9: SWAP3 000017ea: SWAP1 000017eb: SWAP3 000017ec: ADD 000017ed: PUSH1 0x60 000017ef: ADD 000017f0: SWAP5 000017f1: SWAP4 000017f2: POP 000017f3: POP 000017f4: POP 000017f5: POP 000017f6: JUMP 000017f7: JUMPDEST 000017f8: PUSH1 0x00 000017fa: DUP3 000017fb: NOT 000017fc: DUP3 000017fd: GT 000017fe: ISZERO 000017ff: PUSH2 0x180a 00001802: JUMPI 00001803: PUSH2 0x180a 00001806: PUSH2 0x1841 00001809: JUMP 0000180a: JUMPDEST 0000180b: POP 0000180c: ADD 0000180d: SWAP1 0000180e: JUMP 0000180f: JUMPDEST 00001810: PUSH1 0x00 00001812: DUP3 00001813: DUP3 00001814: LT 00001815: ISZERO 00001816: PUSH2 0x1821 00001819: JUMPI 0000181a: PUSH2 0x1821 0000181d: PUSH2 0x1841 00001820: JUMP 00001821: JUMPDEST 00001822: POP 00001823: SUB 00001824: SWAP1 00001825: JUMP 00001826: JUMPDEST 00001827: PUSH1 0x00 00001829: PUSH1 0x00 0000182b: NOT 0000182c: DUP3 0000182d: EQ 0000182e: ISZERO 0000182f: PUSH2 0x183a 00001832: JUMPI 00001833: PUSH2 0x183a 00001836: PUSH2 0x1841 00001839: JUMP 0000183a: JUMPDEST 0000183b: POP 0000183c: PUSH1 0x01 0000183e: ADD 0000183f: SWAP1 00001840: JUMP 00001841: JUMPDEST 00001842: PUSH4 0x4e487b71 00001847: PUSH1 0xe0 00001849: SHL 0000184a: PUSH1 0x00 0000184c: MSTORE 0000184d: PUSH1 0x11 0000184f: PUSH1 0x04 00001851: MSTORE 00001852: PUSH1 0x24 00001854: PUSH1 0x00 00001856: REVERT 00001857: JUMPDEST 00001858: PUSH4 0x4e487b71 0000185d: PUSH1 0xe0 0000185f: SHL 00001860: PUSH1 0x00 00001862: MSTORE 00001863: PUSH1 0x32 00001865: PUSH1 0x04 00001867: MSTORE 00001868: PUSH1 0x24 0000186a: PUSH1 0x00 0000186c: REVERT 0000186d: JUMPDEST 0000186e: PUSH4 0x4e487b71 00001873: PUSH1 0xe0 00001875: SHL 00001876: PUSH1 0x00 00001878: MSTORE 00001879: PUSH1 0x41 0000187b: PUSH1 0x04 0000187d: MSTORE 0000187e: PUSH1 0x24 00001880: PUSH1 0x00 00001882: REVERT 00001883: JUMPDEST 00001884: PUSH1 0x01 00001886: PUSH1 0x01 00001888: PUSH1 0xa0 0000188a: SHL 0000188b: SUB 0000188c: DUP2 0000188d: AND 0000188e: DUP2 0000188f: EQ 00001890: PUSH2 0x0a68 00001893: JUMPI 00001894: PUSH1 0x00 00001896: DUP1 00001897: REVERT 00001898: INVALID 00001899: LOG2 0000189a: PUSH5 0x6970667358 000018a0: UNKNOWN(0x22) 000018a1: SLT 000018a2: KECCAK256 000018a3: UNKNOWN(0xC2) 000018a4: UNKNOWN(0xE4) 000018a5: EXTCODESIZE 000018a6: UNKNOWN(0xC0) 000018a7: UNKNOWN(0xB2) 000018a8: UNKNOWN(0xEE) 000018a9: UNKNOWN(0xC3) 000018aa: AND 000018ab: GT 000018ac: PUSH2 0xda84 000018af: ADDMOD 000018b0: UNKNOWN(0x4D) 000018b1: UNKNOWN(0xD8) 000018b2: SWAP7 000018b3: SELFBALANCE 000018b4: PUSH20 0xd7d323036f88a1a2b547c2429d9964736f6c6343 000018c9: STOP 000018ca: ADDMOD 000018cb: SMOD 000018cc: STOP 000018cd: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6af2c87583736bae68267dfdd777d8c87a6cddb6a7d90b098a594b2e77db60b6
call_targets:
0x1bea070dfe58e9313a5cf000d84ac56b9511ea55
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6af2c87583736bae68267dfdd777d8c87a6cddb6a7d90b098a594b2e77db60b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1bea070dfe58e9313a5cf000d84ac56b9511ea55"
],
"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": "0x94555114",
"selector": "0x94555114",
"calldata_variants": [
"0x94555114",
"0x945551140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1d52fa0",
"selector": "0xb1d52fa0",
"calldata_variants": [
"0xb1d52fa0",
"0xb1d52fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x728584b7",
"selector": "0x728584b7",
"calldata_variants": [
"0x728584b7",
"0x728584b70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b510fe8",
"selector": "0x7b510fe8",
"calldata_variants": [
"0x7b510fe8",
"0x7b510fe80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1248,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2345,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6af2c87583736bae68267dfdd777d8c87a6cddb6a7d90b098a594b2e77db60b6
call_targets:
0x1bea070dfe58e9313a5cf000d84ac56b9511ea55
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6af2c87583736bae68267dfdd777d8c87a6cddb6a7d90b098a594b2e77db60b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1bea070dfe58e9313a5cf000d84ac56b9511ea55"
],
"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": "0x94555114",
"selector": "0x94555114",
"calldata_variants": [
"0x94555114",
"0x945551140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1d52fa0",
"selector": "0xb1d52fa0",
"calldata_variants": [
"0xb1d52fa0",
"0xb1d52fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x728584b7",
"selector": "0x728584b7",
"calldata_variants": [
"0x728584b7",
"0x728584b70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b510fe8",
"selector": "0x7b510fe8",
"calldata_variants": [
"0x7b510fe8",
"0x7b510fe80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1248,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2345,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|