019b477e-bd96-7167-8479-3c8a7990b8c8
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 |
|---|---|---|---|---|
| 24257 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24258 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68058 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68059 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68060 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68061 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00b1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5fe65fef 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa4c0ed36 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa4c0ed36 0000002f: EQ 00000030: PUSH2 0x01a2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc0ee0b8a 0000003a: EQ 0000003b: PUSH2 0x01cf 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc6a69689 00000045: EQ 00000046: PUSH2 0x01ef 00000049: JUMPI 0000004a: PUSH2 0x00b1 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x5fe65fef 00000055: EQ 00000056: PUSH2 0x0162 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x84992d51 00000060: EQ 00000061: PUSH2 0x0182 00000064: JUMPI 00000065: PUSH2 0x00b1 00000068: JUMP 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x248d0fd7 00000070: GT 00000071: PUSH2 0x009a 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x248d0fd7 0000007b: EQ 0000007c: PUSH2 0x00f8 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x5185c7d7 00000086: EQ 00000087: PUSH2 0x0118 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x59c8b7f0 00000091: EQ 00000092: PUSH2 0x014f 00000095: JUMPI 00000096: PUSH2 0x00b1 00000099: JUMP 0000009a: JUMPDEST 0000009b: DUP1 0000009c: PUSH4 0x13171586 000000a1: EQ 000000a2: PUSH2 0x00b6 000000a5: JUMPI 000000a6: DUP1 000000a7: PUSH4 0x1cea28c0 000000ac: EQ 000000ad: PUSH2 0x00d8 000000b0: JUMPI 000000b1: JUMPDEST 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: CALLVALUE 000000b8: DUP1 000000b9: ISZERO 000000ba: PUSH2 0x00c2 000000bd: JUMPI 000000be: PUSH1 0x00 000000c0: DUP1 000000c1: REVERT 000000c2: JUMPDEST 000000c3: POP 000000c4: PUSH2 0x00d6 000000c7: PUSH2 0x00d1 000000ca: CALLDATASIZE 000000cb: PUSH1 0x04 000000cd: PUSH2 0x1577 000000d0: JUMP 000000d1: JUMPDEST 000000d2: PUSH2 0x021c 000000d5: JUMP 000000d6: JUMPDEST 000000d7: STOP 000000d8: JUMPDEST 000000d9: CALLVALUE 000000da: DUP1 000000db: ISZERO 000000dc: PUSH2 0x00e4 000000df: JUMPI 000000e0: PUSH1 0x00 000000e2: DUP1 000000e3: REVERT 000000e4: JUMPDEST 000000e5: POP 000000e6: PUSH2 0x00d6 000000e9: PUSH2 0x00f3 000000ec: CALLDATASIZE 000000ed: PUSH1 0x04 000000ef: PUSH2 0x16dd 000000f2: JUMP 000000f3: JUMPDEST 000000f4: PUSH2 0x03ef 000000f7: JUMP 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x00d6 00000109: PUSH2 0x0113 0000010c: CALLDATASIZE 0000010d: PUSH1 0x04 0000010f: PUSH2 0x1682 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x04b1 00000117: JUMP 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x0138 00000129: PUSH2 0x0133 0000012c: CALLDATASIZE 0000012d: PUSH1 0x04 0000012f: PUSH2 0x152d 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH2 0x0607 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH1 0x40 0000013b: MLOAD 0000013c: PUSH2 0x0146 0000013f: SWAP3 00000140: SWAP2 00000141: SWAP1 00000142: PUSH2 0x1905 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: DUP1 0000014b: SWAP2 0000014c: SUB 0000014d: SWAP1 0000014e: RETURN 0000014f: JUMPDEST 00000150: PUSH2 0x00d6 00000153: PUSH2 0x015d 00000156: CALLDATASIZE 00000157: PUSH1 0x04 00000159: PUSH2 0x1425 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH2 0x0661 00000161: JUMP 00000162: JUMPDEST 00000163: CALLVALUE 00000164: DUP1 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: POP 00000170: PUSH2 0x00d6 00000173: PUSH2 0x017d 00000176: CALLDATASIZE 00000177: PUSH1 0x04 00000179: PUSH2 0x14da 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH2 0x06f5 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x00d6 00000193: PUSH2 0x019d 00000196: CALLDATASIZE 00000197: PUSH1 0x04 00000199: PUSH2 0x1637 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x089f 000001a1: JUMP 000001a2: JUMPDEST 000001a3: CALLVALUE 000001a4: DUP1 000001a5: ISZERO 000001a6: PUSH2 0x01ae 000001a9: JUMPI 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: POP 000001b0: PUSH2 0x01c2 000001b3: PUSH2 0x01bd 000001b6: CALLDATASIZE 000001b7: PUSH1 0x04 000001b9: PUSH2 0x143a 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH2 0x099e 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: PUSH2 0x0146 000001c9: SWAP2 000001ca: SWAP1 000001cb: PUSH2 0x18dc 000001ce: JUMP 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x00d6 000001e0: PUSH2 0x01ea 000001e3: CALLDATASIZE 000001e4: PUSH1 0x04 000001e6: PUSH2 0x143a 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH2 0x09b7 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH2 0x020f 00000200: PUSH2 0x020a 00000203: CALLDATASIZE 00000204: PUSH1 0x04 00000206: PUSH2 0x13ed 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x0a5d 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: PUSH2 0x0146 00000216: SWAP2 00000217: SWAP1 00000218: PUSH2 0x1798 0000021b: JUMP 0000021c: JUMPDEST 0000021d: DUP1 0000021e: JUMPDEST 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x0266 00000224: JUMPI 00000225: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000246: ADD 00000247: PUSH2 0x0261 0000024a: DUP4 0000024b: DUP4 0000024c: DUP4 0000024d: DUP2 0000024e: DUP2 0000024f: LT 00000250: PUSH2 0x0255 00000253: JUMPI 00000254: INVALID 00000255: JUMPDEST 00000256: SWAP1 00000257: POP 00000258: PUSH1 0x20 0000025a: MUL 0000025b: ADD 0000025c: CALLDATALOAD 0000025d: PUSH2 0x0ac5 00000260: JUMP 00000261: JUMPDEST 00000262: PUSH2 0x021e 00000265: JUMP 00000266: JUMPDEST 00000267: POP 00000268: PUSH1 0x40 0000026a: MLOAD 0000026b: PUSH1 0x00 0000026d: DUP5 0000026e: JUMPDEST 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x02bf 00000274: JUMPI 00000275: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000296: ADD 00000297: PUSH2 0x02b2 0000029a: DUP10 0000029b: DUP10 0000029c: DUP10 0000029d: DUP10 0000029e: DUP6 0000029f: DUP2 000002a0: DUP2 000002a1: LT 000002a2: PUSH2 0x02a7 000002a5: JUMPI 000002a6: INVALID 000002a7: JUMPDEST 000002a8: SWAP1 000002a9: POP 000002aa: PUSH1 0xc0 000002ac: MUL 000002ad: ADD 000002ae: PUSH2 0x0b08 000002b1: JUMP 000002b2: JUMPDEST 000002b3: DUP3 000002b4: ADD 000002b5: SWAP2 000002b6: POP 000002b7: DUP3 000002b8: PUSH1 0x40 000002ba: MSTORE 000002bb: PUSH2 0x026e 000002be: JUMP 000002bf: JUMPDEST 000002c0: POP 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x03e5 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP9 000002ca: DUP9 000002cb: DUP10 000002cc: PUSH1 0x40 000002ce: MLOAD 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: PUSH2 0x02dd 000002d5: SWAP4 000002d6: SWAP3 000002d7: SWAP2 000002d8: SWAP1 000002d9: PUSH2 0x1840 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH1 0x40 000002e0: DUP1 000002e1: MLOAD 000002e2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000303: DUP2 00000304: DUP5 00000305: SUB 00000306: ADD 00000307: DUP2 00000308: MSTORE 00000309: SWAP2 0000030a: DUP2 0000030b: MSTORE 0000030c: DUP2 0000030d: MLOAD 0000030e: PUSH1 0x20 00000310: SWAP3 00000311: DUP4 00000312: ADD 00000313: KECCAK256 00000314: PUSH1 0x00 00000316: DUP2 00000317: DUP2 00000318: MSTORE 00000319: SWAP3 0000031a: DUP4 0000031b: SWAP1 0000031c: MSTORE 0000031d: SWAP2 0000031e: KECCAK256 0000031f: DUP1 00000320: SLOAD 00000321: SWAP2 00000322: SWAP3 00000323: POP 00000324: SWAP1 00000325: DUP1 00000326: PUSH2 0x0371 00000329: JUMPI 0000032a: PUSH1 0x40 0000032c: MLOAD 0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000342: DUP1 00000343: DUP13 00000344: AND 00000345: SWAP2 00000346: DUP3 00000347: SWAP2 00000348: DUP15 00000349: AND 0000034a: SWAP1 0000034b: PUSH32 0xb224da6575b2c2ffd42454faedb236f7dbe5f92a0c96bb99c0273dbe98464c7e 0000036c: SWAP1 0000036d: PUSH1 0x00 0000036f: SWAP1 00000370: LOG4 00000371: JUMPDEST 00000372: PUSH17 0x0100000000000000000000000000000000 00000384: DUP5 00000385: DUP3 00000386: PUSH16 0xffffffffffffffffffffffffffffffff 00000397: AND 00000398: ADD 00000399: LT 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: DUP4 000003a4: ADD 000003a5: DUP1 000003a6: DUP3 000003a7: SSTORE 000003a8: PUSH1 0x40 000003aa: MLOAD 000003ab: DUP4 000003ac: SWAP1 000003ad: PUSH32 0x05241a2ddcbea46fa2f8b84beea5d0d8c0fd21414503d644982a75ccf1d986aa 000003ce: SWAP1 000003cf: PUSH2 0x03d9 000003d2: SWAP1 000003d3: DUP5 000003d4: SWAP1 000003d5: PUSH2 0x1798 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: DUP1 000003de: SWAP2 000003df: SUB 000003e0: SWAP1 000003e1: LOG2 000003e2: POP 000003e3: POP 000003e4: POP 000003e5: JUMPDEST 000003e6: POP 000003e7: POP 000003e8: POP 000003e9: POP 000003ea: POP 000003eb: POP 000003ec: POP 000003ed: POP 000003ee: JUMP 000003ef: JUMPDEST 000003f0: DUP1 000003f1: CALLER 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: PUSH1 0x20 000003f7: ADD 000003f8: PUSH2 0x0402 000003fb: SWAP3 000003fc: SWAP2 000003fd: SWAP1 000003fe: PUSH2 0x17a1 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH1 0x40 00000405: MLOAD 00000406: PUSH1 0x20 00000408: DUP2 00000409: DUP4 0000040a: SUB 0000040b: SUB 0000040c: DUP2 0000040d: MSTORE 0000040e: SWAP1 0000040f: PUSH1 0x40 00000411: MSTORE 00000412: DUP1 00000413: MLOAD 00000414: SWAP1 00000415: PUSH1 0x20 00000417: ADD 00000418: KECCAK256 00000419: PUSH1 0x00 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: PUSH1 0x20 00000420: ADD 00000421: PUSH2 0x042b 00000424: SWAP3 00000425: SWAP2 00000426: SWAP1 00000427: PUSH2 0x17a1 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: PUSH1 0x20 00000431: DUP2 00000432: DUP4 00000433: SUB 00000434: SUB 00000435: DUP2 00000436: MSTORE 00000437: SWAP1 00000438: PUSH1 0x40 0000043a: MSTORE 0000043b: DUP1 0000043c: MLOAD 0000043d: SWAP1 0000043e: PUSH1 0x20 00000440: ADD 00000441: KECCAK256 00000442: SWAP1 00000443: POP 00000444: JUMPDEST 00000445: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000466: DUP3 00000467: ADD 00000468: SWAP2 00000469: ISZERO 0000046a: PUSH2 0x04ad 0000046d: JUMPI 0000046e: PUSH1 0x00 00000470: DUP2 00000471: DUP2 00000472: MSTORE 00000473: PUSH1 0x02 00000475: PUSH1 0x20 00000477: SWAP1 00000478: DUP2 00000479: MSTORE 0000047a: PUSH1 0x40 0000047c: SWAP2 0000047d: DUP3 0000047e: SWAP1 0000047f: KECCAK256 00000480: CALLER 00000481: SWAP1 00000482: SSTORE 00000483: SWAP1 00000484: MLOAD 00000485: PUSH2 0x0490 00000488: SWAP2 00000489: DUP4 0000048a: SWAP2 0000048b: ADD 0000048c: PUSH2 0x1798 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH1 0x40 00000493: MLOAD 00000494: PUSH1 0x20 00000496: DUP2 00000497: DUP4 00000498: SUB 00000499: SUB 0000049a: DUP2 0000049b: MSTORE 0000049c: SWAP1 0000049d: PUSH1 0x40 0000049f: MSTORE 000004a0: DUP1 000004a1: MLOAD 000004a2: SWAP1 000004a3: PUSH1 0x20 000004a5: ADD 000004a6: KECCAK256 000004a7: SWAP1 000004a8: POP 000004a9: PUSH2 0x0444 000004ac: JUMP 000004ad: JUMPDEST 000004ae: POP 000004af: POP 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c7: DUP7 000004c8: AND 000004c9: PUSH2 0x04d1 000004cc: JUMPI 000004cd: PUSH1 0x00 000004cf: DUP1 000004d0: REVERT 000004d1: JUMPDEST 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: DUP8 000004d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004eb: AND 000004ec: CALLER 000004ed: ADDRESS 000004ee: DUP10 000004ef: PUSH1 0x40 000004f1: MLOAD 000004f2: PUSH1 0x24 000004f4: ADD 000004f5: PUSH2 0x0500 000004f8: SWAP4 000004f9: SWAP3 000004fa: SWAP2 000004fb: SWAP1 000004fc: PUSH2 0x1885 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x40 00000503: DUP1 00000504: MLOAD 00000505: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000526: DUP2 00000527: DUP5 00000528: SUB 00000529: ADD 0000052a: DUP2 0000052b: MSTORE 0000052c: SWAP2 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: DUP3 00000532: ADD 00000533: DUP1 00000534: MLOAD 00000535: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000552: AND 00000553: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000574: OR 00000575: SWAP1 00000576: MSTORE 00000577: MLOAD 00000578: PUSH2 0x0581 0000057b: SWAP2 0000057c: SWAP1 0000057d: PUSH2 0x1807 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH1 0x00 00000584: PUSH1 0x40 00000586: MLOAD 00000587: DUP1 00000588: DUP4 00000589: SUB 0000058a: DUP2 0000058b: PUSH1 0x00 0000058d: DUP7 0000058e: GAS 0000058f: CALL 00000590: SWAP2 00000591: POP 00000592: POP 00000593: RETURNDATASIZE 00000594: DUP1 00000595: PUSH1 0x00 00000597: DUP2 00000598: EQ 00000599: PUSH2 0x05be 0000059c: JUMPI 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: SWAP2 000005a1: POP 000005a2: PUSH1 0x1f 000005a4: NOT 000005a5: PUSH1 0x3f 000005a7: RETURNDATASIZE 000005a8: ADD 000005a9: AND 000005aa: DUP3 000005ab: ADD 000005ac: PUSH1 0x40 000005ae: MSTORE 000005af: RETURNDATASIZE 000005b0: DUP3 000005b1: MSTORE 000005b2: RETURNDATASIZE 000005b3: PUSH1 0x00 000005b5: PUSH1 0x20 000005b7: DUP5 000005b8: ADD 000005b9: RETURNDATACOPY 000005ba: PUSH2 0x05c3 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x60 000005c1: SWAP2 000005c2: POP 000005c3: JUMPDEST 000005c4: POP 000005c5: SWAP2 000005c6: POP 000005c7: SWAP2 000005c8: POP 000005c9: DUP2 000005ca: DUP1 000005cb: ISZERO 000005cc: PUSH2 0x05e4 000005cf: JUMPI 000005d0: POP 000005d1: DUP1 000005d2: DUP1 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: SWAP1 000005d7: MLOAD 000005d8: DUP2 000005d9: ADD 000005da: SWAP1 000005db: PUSH2 0x05e4 000005de: SWAP2 000005df: SWAP1 000005e0: PUSH2 0x14be 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH2 0x05ed 000005e8: JUMPI 000005e9: PUSH1 0x00 000005eb: DUP1 000005ec: REVERT 000005ed: JUMPDEST 000005ee: PUSH2 0x05fc 000005f1: CALLER 000005f2: DUP10 000005f3: DUP10 000005f4: DUP10 000005f5: DUP10 000005f6: DUP10 000005f7: DUP10 000005f8: PUSH2 0x0eb6 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH2 0x03e5 00000600: CALLER 00000601: DUP10 00000602: DUP6 00000603: PUSH2 0x1225 00000606: JUMP 00000607: JUMPDEST 00000608: PUSH1 0x00 0000060a: DUP1 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: PUSH1 0x00 00000610: DUP8 00000611: DUP8 00000612: DUP8 00000613: PUSH1 0x40 00000615: MLOAD 00000616: PUSH1 0x20 00000618: ADD 00000619: PUSH2 0x0624 0000061c: SWAP4 0000061d: SWAP3 0000061e: SWAP2 0000061f: SWAP1 00000620: PUSH2 0x1840 00000623: JUMP 00000624: JUMPDEST 00000625: PUSH1 0x40 00000627: MLOAD 00000628: PUSH1 0x20 0000062a: DUP2 0000062b: DUP4 0000062c: SUB 0000062d: SUB 0000062e: DUP2 0000062f: MSTORE 00000630: SWAP1 00000631: PUSH1 0x40 00000633: MSTORE 00000634: DUP1 00000635: MLOAD 00000636: SWAP1 00000637: PUSH1 0x20 00000639: ADD 0000063a: KECCAK256 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP1 00000641: DUP2 00000642: MSTORE 00000643: PUSH1 0x20 00000645: ADD 00000646: PUSH1 0x00 00000648: KECCAK256 00000649: SWAP1 0000064a: POP 0000064b: DUP1 0000064c: PUSH1 0x00 0000064e: ADD 0000064f: SLOAD 00000650: DUP2 00000651: PUSH1 0x01 00000653: ADD 00000654: SLOAD 00000655: SWAP3 00000656: POP 00000657: SWAP3 00000658: POP 00000659: POP 0000065a: SWAP4 0000065b: POP 0000065c: SWAP4 0000065d: SWAP2 0000065e: POP 0000065f: POP 00000660: JUMP 00000661: JUMPDEST 00000662: PUSH2 0x0671 00000665: CALLER 00000666: PUSH1 0x00 00000668: CALLVALUE 00000669: DUP8 0000066a: DUP8 0000066b: DUP8 0000066c: DUP8 0000066d: PUSH2 0x0eb6 00000670: JUMP 00000671: JUMPDEST 00000672: DUP1 00000673: ISZERO 00000674: PUSH2 0x06ef 00000677: JUMPI 00000678: PUSH1 0x00 0000067a: CALLER 0000067b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000690: AND 00000691: DUP3 00000692: PUSH1 0x40 00000694: MLOAD 00000695: PUSH2 0x069d 00000698: SWAP1 00000699: PUSH2 0x1882 0000069c: JUMP 0000069d: JUMPDEST 0000069e: PUSH1 0x00 000006a0: PUSH1 0x40 000006a2: MLOAD 000006a3: DUP1 000006a4: DUP4 000006a5: SUB 000006a6: DUP2 000006a7: DUP6 000006a8: DUP8 000006a9: GAS 000006aa: CALL 000006ab: SWAP3 000006ac: POP 000006ad: POP 000006ae: POP 000006af: RETURNDATASIZE 000006b0: DUP1 000006b1: PUSH1 0x00 000006b3: DUP2 000006b4: EQ 000006b5: PUSH2 0x06da 000006b8: JUMPI 000006b9: PUSH1 0x40 000006bb: MLOAD 000006bc: SWAP2 000006bd: POP 000006be: PUSH1 0x1f 000006c0: NOT 000006c1: PUSH1 0x3f 000006c3: RETURNDATASIZE 000006c4: ADD 000006c5: AND 000006c6: DUP3 000006c7: ADD 000006c8: PUSH1 0x40 000006ca: MSTORE 000006cb: RETURNDATASIZE 000006cc: DUP3 000006cd: MSTORE 000006ce: RETURNDATASIZE 000006cf: PUSH1 0x00 000006d1: PUSH1 0x20 000006d3: DUP5 000006d4: ADD 000006d5: RETURNDATACOPY 000006d6: PUSH2 0x06df 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH1 0x60 000006dd: SWAP2 000006de: POP 000006df: JUMPDEST 000006e0: POP 000006e1: POP 000006e2: SWAP1 000006e3: POP 000006e4: DUP1 000006e5: PUSH2 0x06ed 000006e8: JUMPI 000006e9: PUSH1 0x00 000006eb: DUP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: POP 000006ef: JUMPDEST 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: POP 000006f4: JUMP 000006f5: JUMPDEST 000006f6: CALLER 000006f7: PUSH1 0x00 000006f9: SWAP1 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH1 0x01 000006fe: PUSH1 0x20 00000700: MSTORE 00000701: PUSH1 0x40 00000703: SWAP1 00000704: KECCAK256 00000705: DUP2 00000706: DUP1 00000707: PUSH2 0x0778 0000070a: JUMPI 0000070b: DUP5 0000070c: PUSH2 0x0741 0000070f: JUMPI 00000710: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180 00000731: PUSH8 0xffffffffffffffff 0000073a: AND 0000073b: TIMESTAMP 0000073c: ADD 0000073d: PUSH2 0x0744 00000740: JUMP 00000741: JUMPDEST 00000742: PUSH1 0x00 00000744: JUMPDEST 00000745: DUP3 00000746: SSTORE 00000747: PUSH1 0x40 00000749: MLOAD 0000074a: PUSH1 0x00 0000074c: SWAP1 0000074d: CALLER 0000074e: SWAP1 0000074f: PUSH32 0xfcf9bcb7a2649802047845bf82b0575e170753e2fb50c2e1552bcebc3c38ca9f 00000770: SWAP1 00000771: DUP4 00000772: SWAP1 00000773: LOG3 00000774: PUSH2 0x06ed 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x00 0000077b: DUP6 0000077c: PUSH2 0x07b1 0000077f: JUMPI 00000780: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180 000007a1: PUSH8 0xffffffffffffffff 000007aa: AND 000007ab: TIMESTAMP 000007ac: ADD 000007ad: PUSH2 0x07d3 000007b0: JUMP 000007b1: JUMPDEST 000007b2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007d3: JUMPDEST 000007d4: SWAP1 000007d5: POP 000007d6: JUMPDEST 000007d7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007f8: SWAP1 000007f9: SWAP2 000007fa: ADD 000007fb: SWAP1 000007fc: PUSH1 0x00 000007fe: DUP6 000007ff: DUP6 00000800: DUP5 00000801: DUP2 00000802: DUP2 00000803: LT 00000804: PUSH2 0x0809 00000807: JUMPI 00000808: INVALID 00000809: JUMPDEST 0000080a: SWAP1 0000080b: POP 0000080c: PUSH1 0x20 0000080e: MUL 0000080f: ADD 00000810: PUSH1 0x20 00000812: DUP2 00000813: ADD 00000814: SWAP1 00000815: PUSH2 0x081e 00000818: SWAP2 00000819: SWAP1 0000081a: PUSH2 0x1397 0000081d: JUMP 0000081e: JUMPDEST 0000081f: SWAP1 00000820: POP 00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000836: DUP2 00000837: AND 00000838: PUSH2 0x0840 0000083b: JUMPI 0000083c: PUSH1 0x00 0000083e: DUP1 0000083f: REVERT 00000840: JUMPDEST 00000841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000856: DUP2 00000857: AND 00000858: PUSH1 0x00 0000085a: DUP2 0000085b: DUP2 0000085c: MSTORE 0000085d: PUSH1 0x01 0000085f: DUP7 00000860: ADD 00000861: PUSH1 0x20 00000863: MSTORE 00000864: PUSH1 0x40 00000866: DUP1 00000867: DUP3 00000868: KECCAK256 00000869: DUP6 0000086a: SWAP1 0000086b: SSTORE 0000086c: MLOAD 0000086d: CALLER 0000086e: SWAP2 0000086f: PUSH32 0xfcf9bcb7a2649802047845bf82b0575e170753e2fb50c2e1552bcebc3c38ca9f 00000890: SWAP2 00000891: LOG3 00000892: POP 00000893: DUP2 00000894: PUSH2 0x07d6 00000897: JUMPI 00000898: POP 00000899: POP 0000089a: POP 0000089b: POP 0000089c: POP 0000089d: POP 0000089e: JUMP 0000089f: JUMPDEST 000008a0: TIMESTAMP 000008a1: DUP2 000008a2: PUSH8 0xffffffffffffffff 000008ab: AND 000008ac: GT 000008ad: ISZERO 000008ae: PUSH2 0x08b6 000008b1: JUMPI 000008b2: PUSH1 0x00 000008b4: DUP1 000008b5: REVERT 000008b6: JUMPDEST 000008b7: PUSH1 0x00 000008b9: DUP4 000008ba: CALLER 000008bb: DUP5 000008bc: PUSH1 0x40 000008be: MLOAD 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: PUSH2 0x08cd 000008c5: SWAP4 000008c6: SWAP3 000008c7: SWAP2 000008c8: SWAP1 000008c9: PUSH2 0x1840 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH1 0x40 000008d0: DUP1 000008d1: MLOAD 000008d2: DUP1 000008d3: DUP4 000008d4: SUB 000008d5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000008f6: ADD 000008f7: DUP2 000008f8: MSTORE 000008f9: DUP3 000008fa: DUP3 000008fb: MSTORE 000008fc: DUP1 000008fd: MLOAD 000008fe: PUSH1 0x20 00000900: SWAP2 00000901: DUP3 00000902: ADD 00000903: KECCAK256 00000904: PUSH1 0x00 00000906: DUP2 00000907: DUP2 00000908: MSTORE 00000909: SWAP2 0000090a: DUP3 0000090b: SWAP1 0000090c: MSTORE 0000090d: SWAP2 0000090e: SWAP1 0000090f: KECCAK256 00000910: PUSH1 0x01 00000912: DUP2 00000913: ADD 00000914: DUP1 00000915: SLOAD 00000916: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 0000092f: AND 00000930: PUSH1 0xc0 00000932: DUP8 00000933: SWAP1 00000934: SHL 00000935: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000 00000956: AND 00000957: OR 00000958: SWAP1 00000959: DUP2 0000095a: SWAP1 0000095b: SSTORE 0000095c: SWAP2 0000095d: SWAP4 0000095e: POP 0000095f: SWAP2 00000960: DUP4 00000961: SWAP1 00000962: PUSH32 0xe9d5d4bdc29068f77666497419c28b4aa58fe071a9dc2e1c5fde003d86701a6d 00000983: SWAP1 00000984: PUSH2 0x098e 00000987: SWAP1 00000988: DUP5 00000989: SWAP1 0000098a: PUSH2 0x1798 0000098d: JUMP 0000098e: JUMPDEST 0000098f: PUSH1 0x40 00000991: MLOAD 00000992: DUP1 00000993: SWAP2 00000994: SUB 00000995: SWAP1 00000996: LOG2 00000997: POP 00000998: POP 00000999: POP 0000099a: POP 0000099b: POP 0000099c: POP 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x00 000009a1: PUSH2 0x09ac 000009a4: DUP6 000009a5: DUP6 000009a6: DUP6 000009a7: DUP6 000009a8: PUSH2 0x09b7 000009ab: JUMP 000009ac: JUMPDEST 000009ad: POP 000009ae: PUSH1 0x01 000009b0: SWAP5 000009b1: SWAP4 000009b2: POP 000009b3: POP 000009b4: POP 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x04 000009ba: DUP2 000009bb: LT 000009bc: ISZERO 000009bd: PUSH2 0x09c5 000009c0: JUMPI 000009c1: PUSH1 0x00 000009c3: DUP1 000009c4: REVERT 000009c5: JUMPDEST 000009c6: DUP2 000009c7: CALLDATALOAD 000009c8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000009e9: DUP2 000009ea: AND 000009eb: PUSH32 0x59c8b7f000000000000000000000000000000000000000000000000000000000 00000a0c: EQ 00000a0d: ISZERO 00000a0e: PUSH2 0x00b1 00000a11: JUMPI 00000a12: PUSH1 0x00 00000a14: DUP1 00000a15: DUP1 00000a16: DUP1 00000a17: PUSH2 0x0a23 00000a1a: DUP7 00000a1b: PUSH1 0x04 00000a1d: DUP2 00000a1e: DUP11 00000a1f: PUSH2 0x1913 00000a22: JUMP 00000a23: JUMPDEST 00000a24: DUP2 00000a25: ADD 00000a26: SWAP1 00000a27: PUSH2 0x0a30 00000a2a: SWAP2 00000a2b: SWAP1 00000a2c: PUSH2 0x13b3 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: SWAP3 00000a32: SWAP7 00000a33: POP 00000a34: SWAP1 00000a35: SWAP5 00000a36: POP 00000a37: SWAP3 00000a38: POP 00000a39: SWAP1 00000a3a: POP 00000a3b: PUSH2 0x0a49 00000a3e: DUP10 00000a3f: CALLER 00000a40: DUP11 00000a41: DUP8 00000a42: DUP8 00000a43: DUP8 00000a44: DUP8 00000a45: PUSH2 0x0eb6 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH2 0x0a54 00000a4d: DUP10 00000a4e: CALLER 00000a4f: DUP4 00000a50: PUSH2 0x1225 00000a53: JUMP 00000a54: JUMPDEST 00000a55: POP 00000a56: POP 00000a57: POP 00000a58: POP 00000a59: PUSH2 0x06ed 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a73: DUP1 00000a74: DUP4 00000a75: AND 00000a76: PUSH1 0x00 00000a78: SWAP1 00000a79: DUP2 00000a7a: MSTORE 00000a7b: PUSH1 0x01 00000a7d: PUSH1 0x20 00000a7f: MSTORE 00000a80: PUSH1 0x40 00000a82: DUP2 00000a83: KECCAK256 00000a84: SWAP1 00000a85: SWAP2 00000a86: DUP4 00000a87: AND 00000a88: PUSH2 0x0a93 00000a8b: JUMPI 00000a8c: SLOAD 00000a8d: SWAP1 00000a8e: POP 00000a8f: PUSH2 0x0abf 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa9: DUP4 00000aaa: AND 00000aab: PUSH1 0x00 00000aad: SWAP1 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x01 00000ab2: SWAP1 00000ab3: SWAP2 00000ab4: ADD 00000ab5: PUSH1 0x20 00000ab7: MSTORE 00000ab8: PUSH1 0x40 00000aba: SWAP1 00000abb: KECCAK256 00000abc: SLOAD 00000abd: SWAP1 00000abe: POP 00000abf: JUMPDEST 00000ac0: SWAP3 00000ac1: SWAP2 00000ac2: POP 00000ac3: POP 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: PUSH1 0x00 00000ac8: DUP2 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x02 00000acd: PUSH1 0x20 00000acf: MSTORE 00000ad0: PUSH1 0x40 00000ad2: SWAP1 00000ad3: KECCAK256 00000ad4: DUP1 00000ad5: SLOAD 00000ad6: TIMESTAMP 00000ad7: PUSH1 0xa0 00000ad9: DUP3 00000ada: SWAP1 00000adb: SHR 00000adc: GT 00000add: PUSH2 0x0b03 00000ae0: JUMPI 00000ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af6: DUP2 00000af7: AND 00000af8: CALLER 00000af9: EQ 00000afa: ISZERO 00000afb: PUSH2 0x0b03 00000afe: JUMPI 00000aff: PUSH1 0x00 00000b01: DUP3 00000b02: SSTORE 00000b03: JUMPDEST 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x00 00000b0b: PUSH1 0x40 00000b0d: DUP3 00000b0e: ADD 00000b0f: CALLDATALOAD 00000b10: PUSH1 0xc0 00000b12: SHR 00000b13: PUSH1 0x60 00000b15: DUP4 00000b16: ADD 00000b17: CALLDATALOAD 00000b18: PUSH1 0xe1 00000b1a: SHR 00000b1b: ADD 00000b1c: TIMESTAMP 00000b1d: DUP2 00000b1e: GT 00000b1f: PUSH2 0x0b2c 00000b22: JUMPI 00000b23: PUSH1 0x00 00000b25: SWAP2 00000b26: POP 00000b27: POP 00000b28: PUSH2 0x0eaf 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: DUP3 00000b2e: PUSH1 0x20 00000b30: ADD 00000b31: CALLDATALOAD 00000b32: PUSH1 0x80 00000b34: DUP5 00000b35: PUSH1 0x40 00000b37: ADD 00000b38: CALLDATALOAD 00000b39: SWAP1 00000b3a: SHR 00000b3b: PUSH1 0x40 00000b3d: MLOAD 00000b3e: PUSH1 0x20 00000b40: ADD 00000b41: PUSH2 0x0b4b 00000b44: SWAP3 00000b45: SWAP2 00000b46: SWAP1 00000b47: PUSH2 0x17d4 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x40 00000b4e: MLOAD 00000b4f: PUSH1 0x20 00000b51: DUP2 00000b52: DUP4 00000b53: SUB 00000b54: SUB 00000b55: DUP2 00000b56: MSTORE 00000b57: SWAP1 00000b58: PUSH1 0x40 00000b5a: MSTORE 00000b5b: DUP1 00000b5c: MLOAD 00000b5d: SWAP1 00000b5e: PUSH1 0x20 00000b60: ADD 00000b61: KECCAK256 00000b62: PUSH1 0x00 00000b64: SHR 00000b65: PUSH8 0xffffffffffffffff 00000b6e: AND 00000b6f: PUSH1 0xa1 00000b71: DUP5 00000b72: PUSH1 0x60 00000b74: ADD 00000b75: CALLDATALOAD 00000b76: SWAP1 00000b77: SHR 00000b78: PUSH8 0xffffffffffffffff 00000b81: AND 00000b82: LT 00000b83: ISZERO 00000b84: PUSH2 0x0b91 00000b87: JUMPI 00000b88: PUSH1 0x00 00000b8a: SWAP2 00000b8b: POP 00000b8c: POP 00000b8d: PUSH2 0x0eaf 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH1 0x00 00000b94: CHAINID 00000b95: SWAP1 00000b96: POP 00000b97: PUSH1 0x19 00000b99: PUSH1 0xf8 00000b9b: SHL 00000b9c: PUSH1 0x00 00000b9e: PUSH1 0xf8 00000ba0: SHL 00000ba1: ADDRESS 00000ba2: DUP4 00000ba3: DUP10 00000ba4: DUP10 00000ba5: DUP10 00000ba6: PUSH1 0x20 00000ba8: ADD 00000ba9: CALLDATALOAD 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: PUSH1 0x20 00000baf: ADD 00000bb0: PUSH2 0x0bb9 00000bb3: SWAP2 00000bb4: SWAP1 00000bb5: PUSH2 0x1798 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: PUSH1 0x40 00000bbc: DUP1 00000bbd: MLOAD 00000bbe: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000bdf: DUP2 00000be0: DUP5 00000be1: SUB 00000be2: ADD 00000be3: DUP2 00000be4: MSTORE 00000be5: DUP3 00000be6: DUP3 00000be7: MSTORE 00000be8: DUP1 00000be9: MLOAD 00000bea: PUSH1 0x20 00000bec: SWAP2 00000bed: DUP3 00000bee: ADD 00000bef: KECCAK256 00000bf0: PUSH2 0x0c11 00000bf3: SWAP10 00000bf4: SWAP9 00000bf5: SWAP8 00000bf6: SWAP7 00000bf7: SWAP6 00000bf8: SWAP5 00000bf9: SWAP4 00000bfa: SWAP1 00000bfb: SWAP3 00000bfc: DUP15 00000bfd: ADD 00000bfe: CALLDATALOAD 00000bff: SWAP2 00000c00: PUSH1 0x60 00000c02: DUP16 00000c03: ADD 00000c04: CALLDATALOAD 00000c05: PUSH1 0x01 00000c07: SHR 00000c08: SWAP2 00000c09: DUP16 00000c0a: CALLDATALOAD 00000c0b: SWAP2 00000c0c: ADD 00000c0d: PUSH2 0x16fe 00000c10: JUMP 00000c11: JUMPDEST 00000c12: PUSH1 0x40 00000c14: MLOAD 00000c15: PUSH1 0x20 00000c17: DUP2 00000c18: DUP4 00000c19: SUB 00000c1a: SUB 00000c1b: DUP2 00000c1c: MSTORE 00000c1d: SWAP1 00000c1e: PUSH1 0x40 00000c20: MSTORE 00000c21: DUP1 00000c22: MLOAD 00000c23: SWAP1 00000c24: PUSH1 0x20 00000c26: ADD 00000c27: KECCAK256 00000c28: SWAP1 00000c29: POP 00000c2a: PUSH1 0x00 00000c2c: PUSH1 0x01 00000c2e: DUP3 00000c2f: DUP7 00000c30: PUSH1 0x60 00000c32: ADD 00000c33: CALLDATALOAD 00000c34: PUSH1 0x01 00000c36: AND 00000c37: PUSH1 0x1b 00000c39: ADD 00000c3a: DUP8 00000c3b: PUSH1 0x80 00000c3d: ADD 00000c3e: CALLDATALOAD 00000c3f: DUP9 00000c40: PUSH1 0xa0 00000c42: ADD 00000c43: CALLDATALOAD 00000c44: PUSH1 0x40 00000c46: MLOAD 00000c47: PUSH1 0x00 00000c49: DUP2 00000c4a: MSTORE 00000c4b: PUSH1 0x20 00000c4d: ADD 00000c4e: PUSH1 0x40 00000c50: MSTORE 00000c51: PUSH1 0x40 00000c53: MLOAD 00000c54: PUSH2 0x0c60 00000c57: SWAP5 00000c58: SWAP4 00000c59: SWAP3 00000c5a: SWAP2 00000c5b: SWAP1 00000c5c: PUSH2 0x18e7 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH1 0x20 00000c63: PUSH1 0x40 00000c65: MLOAD 00000c66: PUSH1 0x20 00000c68: DUP2 00000c69: SUB 00000c6a: SWAP1 00000c6b: DUP1 00000c6c: DUP5 00000c6d: SUB 00000c6e: SWAP1 00000c6f: DUP6 00000c70: GAS 00000c71: STATICCALL 00000c72: ISZERO 00000c73: DUP1 00000c74: ISZERO 00000c75: PUSH2 0x0c82 00000c78: JUMPI 00000c79: RETURNDATASIZE 00000c7a: PUSH1 0x00 00000c7c: DUP1 00000c7d: RETURNDATACOPY 00000c7e: RETURNDATASIZE 00000c7f: PUSH1 0x00 00000c81: REVERT 00000c82: JUMPDEST 00000c83: POP 00000c84: POP 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000ca9: DUP2 00000caa: ADD 00000cab: MLOAD 00000cac: SWAP3 00000cad: POP 00000cae: PUSH1 0x60 00000cb0: DUP8 00000cb1: ADD 00000cb2: CALLDATALOAD 00000cb3: PUSH1 0x01 00000cb5: SHR 00000cb6: SWAP2 00000cb7: POP 00000cb8: PUSH1 0x00 00000cba: SWAP1 00000cbb: PUSH2 0x0ccc 00000cbe: SWAP1 00000cbf: DUP11 00000cc0: SWAP1 00000cc1: DUP5 00000cc2: SWAP1 00000cc3: DUP7 00000cc4: SWAP1 00000cc5: PUSH1 0x20 00000cc7: ADD 00000cc8: PUSH2 0x1840 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x40 00000ccf: DUP1 00000cd0: MLOAD 00000cd1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000cf2: DUP2 00000cf3: DUP5 00000cf4: SUB 00000cf5: ADD 00000cf6: DUP2 00000cf7: MSTORE 00000cf8: SWAP2 00000cf9: DUP2 00000cfa: MSTORE 00000cfb: DUP2 00000cfc: MLOAD 00000cfd: PUSH1 0x20 00000cff: SWAP3 00000d00: DUP4 00000d01: ADD 00000d02: KECCAK256 00000d03: PUSH1 0x00 00000d05: DUP2 00000d06: DUP2 00000d07: MSTORE 00000d08: DUP1 00000d09: DUP5 00000d0a: MSTORE 00000d0b: DUP3 00000d0c: DUP2 00000d0d: KECCAK256 00000d0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d23: DUP8 00000d24: AND 00000d25: DUP3 00000d26: MSTORE 00000d27: PUSH1 0x01 00000d29: SWAP1 00000d2a: SWAP5 00000d2b: MSTORE 00000d2c: SWAP2 00000d2d: SWAP1 00000d2e: SWAP2 00000d2f: KECCAK256 00000d30: DUP1 00000d31: SLOAD 00000d32: SWAP2 00000d33: SWAP4 00000d34: POP 00000d35: SWAP1 00000d36: TIMESTAMP 00000d37: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000d58: SWAP1 00000d59: SWAP2 00000d5a: ADD 00000d5b: LT 00000d5c: ISZERO 00000d5d: PUSH2 0x0dc0 00000d60: JUMPI 00000d61: PUSH1 0xc0 00000d63: DUP3 00000d64: PUSH1 0x01 00000d66: ADD 00000d67: SLOAD 00000d68: SWAP1 00000d69: SHR 00000d6a: DUP2 00000d6b: PUSH1 0x01 00000d6d: ADD 00000d6e: PUSH1 0x00 00000d70: DUP13 00000d71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d86: AND 00000d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9c: AND 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x20 00000da1: ADD 00000da2: SWAP1 00000da3: DUP2 00000da4: MSTORE 00000da5: PUSH1 0x20 00000da7: ADD 00000da8: PUSH1 0x00 00000daa: KECCAK256 00000dab: SLOAD 00000dac: GT 00000dad: PUSH2 0x0dc0 00000db0: JUMPI 00000db1: PUSH1 0x00 00000db3: SWAP8 00000db4: POP 00000db5: POP 00000db6: POP 00000db7: POP 00000db8: POP 00000db9: POP 00000dba: POP 00000dbb: POP 00000dbc: PUSH2 0x0eaf 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: POP 00000dc2: PUSH1 0x00 00000dc4: PUSH1 0x02 00000dc6: PUSH1 0x00 00000dc8: DUP8 00000dc9: DUP8 00000dca: PUSH1 0x40 00000dcc: MLOAD 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: PUSH2 0x0dda 00000dd3: SWAP3 00000dd4: SWAP2 00000dd5: SWAP1 00000dd6: PUSH2 0x17a1 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: PUSH1 0x40 00000ddd: MLOAD 00000dde: PUSH1 0x20 00000de0: DUP2 00000de1: DUP4 00000de2: SUB 00000de3: SUB 00000de4: DUP2 00000de5: MSTORE 00000de6: SWAP1 00000de7: PUSH1 0x40 00000de9: MSTORE 00000dea: DUP1 00000deb: MLOAD 00000dec: SWAP1 00000ded: PUSH1 0x20 00000def: ADD 00000df0: KECCAK256 00000df1: DUP2 00000df2: MSTORE 00000df3: PUSH1 0x20 00000df5: ADD 00000df6: SWAP1 00000df7: DUP2 00000df8: MSTORE 00000df9: PUSH1 0x20 00000dfb: ADD 00000dfc: PUSH1 0x00 00000dfe: KECCAK256 00000dff: SWAP1 00000e00: POP 00000e01: DUP1 00000e02: PUSH1 0x00 00000e04: ADD 00000e05: SLOAD 00000e06: PUSH1 0x00 00000e08: EQ 00000e09: PUSH2 0x0e1c 00000e0c: JUMPI 00000e0d: PUSH1 0x00 00000e0f: SWAP8 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: POP 00000e14: POP 00000e15: POP 00000e16: POP 00000e17: POP 00000e18: PUSH2 0x0eaf 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: PUSH1 0xa0 00000e1f: DUP8 00000e20: SWAP1 00000e21: SHL 00000e22: CALLER 00000e23: OR 00000e24: SWAP1 00000e25: SSTORE 00000e26: DUP1 00000e27: SLOAD 00000e28: PUSH16 0xffffffffffffffffffffffffffffffff 00000e39: PUSH1 0x40 00000e3b: DUP11 00000e3c: ADD 00000e3d: CALLDATALOAD 00000e3e: DUP2 00000e3f: AND 00000e40: SWAP2 00000e41: SWAP1 00000e42: DUP2 00000e43: AND 00000e44: DUP3 00000e45: GT 00000e46: PUSH2 0x0e51 00000e49: JUMPI 00000e4a: DUP2 00000e4b: SWAP1 00000e4c: SUB 00000e4d: PUSH2 0x0e68 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH16 0xffffffffffffffffffffffffffffffff 00000e63: AND 00000e64: SWAP1 00000e65: POP 00000e66: PUSH1 0x00 00000e68: JUMPDEST 00000e69: DUP1 00000e6a: DUP4 00000e6b: SSTORE 00000e6c: PUSH1 0x40 00000e6e: MLOAD 00000e6f: DUP5 00000e70: SWAP1 00000e71: PUSH32 0x05241a2ddcbea46fa2f8b84beea5d0d8c0fd21414503d644982a75ccf1d986aa 00000e92: SWAP1 00000e93: PUSH2 0x0e9d 00000e96: SWAP1 00000e97: DUP5 00000e98: SWAP1 00000e99: PUSH2 0x1798 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x40 00000ea0: MLOAD 00000ea1: DUP1 00000ea2: SWAP2 00000ea3: SUB 00000ea4: SWAP1 00000ea5: LOG2 00000ea6: POP 00000ea7: SWAP7 00000ea8: POP 00000ea9: POP 00000eaa: POP 00000eab: POP 00000eac: POP 00000ead: POP 00000eae: POP 00000eaf: JUMPDEST 00000eb0: SWAP4 00000eb1: SWAP3 00000eb2: POP 00000eb3: POP 00000eb4: POP 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: PUSH1 0x00 00000eb9: DUP7 00000eba: DUP9 00000ebb: DUP7 00000ebc: PUSH1 0x40 00000ebe: MLOAD 00000ebf: PUSH1 0x20 00000ec1: ADD 00000ec2: PUSH2 0x0ecd 00000ec5: SWAP4 00000ec6: SWAP3 00000ec7: SWAP2 00000ec8: SWAP1 00000ec9: PUSH2 0x1840 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: PUSH1 0x40 00000ed0: DUP1 00000ed1: MLOAD 00000ed2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000ef3: DUP2 00000ef4: DUP5 00000ef5: SUB 00000ef6: ADD 00000ef7: DUP2 00000ef8: MSTORE 00000ef9: SWAP2 00000efa: DUP2 00000efb: MSTORE 00000efc: DUP2 00000efd: MLOAD 00000efe: PUSH1 0x20 00000f00: SWAP3 00000f01: DUP4 00000f02: ADD 00000f03: KECCAK256 00000f04: PUSH1 0x00 00000f06: DUP2 00000f07: DUP2 00000f08: MSTORE 00000f09: SWAP3 00000f0a: DUP4 00000f0b: SWAP1 00000f0c: MSTORE 00000f0d: SWAP1 00000f0e: DUP3 00000f0f: KECCAK256 00000f10: SWAP1 00000f11: SWAP3 00000f12: POP 00000f13: SWAP1 00000f14: DUP1 00000f15: DUP7 00000f16: ISZERO 00000f17: ISZERO 00000f18: DUP1 00000f19: PUSH2 0x0f22 00000f1c: JUMPI 00000f1d: POP 00000f1e: DUP5 00000f1f: DUP10 00000f20: EQ 00000f21: ISZERO 00000f22: JUMPDEST 00000f23: ISZERO 00000f24: PUSH2 0x0fc1 00000f27: JUMPI 00000f28: DUP3 00000f29: SLOAD 00000f2a: SWAP2 00000f2b: POP 00000f2c: DUP2 00000f2d: PUSH2 0x0fa2 00000f30: JUMPI 00000f31: DUP8 00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f47: AND 00000f48: DUP12 00000f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5e: AND 00000f5f: DUP12 00000f60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f75: AND 00000f76: PUSH32 0xb224da6575b2c2ffd42454faedb236f7dbe5f92a0c96bb99c0273dbe98464c7e 00000f97: PUSH1 0x40 00000f99: MLOAD 00000f9a: PUSH1 0x40 00000f9c: MLOAD 00000f9d: DUP1 00000f9e: SWAP2 00000f9f: SUB 00000fa0: SWAP1 00000fa1: LOG4 00000fa2: JUMPDEST 00000fa3: PUSH1 0x80 00000fa5: DUP3 00000fa6: SWAP1 00000fa7: SHR 00000fa8: SWAP1 00000fa9: POP 00000faa: DUP2 00000fab: PUSH16 0xffffffffffffffffffffffffffffffff 00000fbc: AND 00000fbd: DUP10 00000fbe: ADD 00000fbf: SWAP9 00000fc0: POP 00000fc1: JUMPDEST 00000fc2: PUSH1 0x00 00000fc4: DUP1 00000fc5: PUSH1 0x00 00000fc7: DUP1 00000fc8: DUP11 00000fc9: SLT 00000fca: DUP1 00000fcb: PUSH2 0x0fd3 00000fce: JUMPI 00000fcf: POP 00000fd0: DUP9 00000fd1: ISZERO 00000fd2: ISZERO 00000fd3: JUMPDEST 00000fd4: ISZERO 00000fd5: PUSH2 0x1008 00000fd8: JUMPI 00000fd9: POP 00000fda: POP 00000fdb: POP 00000fdc: PUSH1 0x01 00000fde: DUP4 00000fdf: ADD 00000fe0: SLOAD 00000fe1: PUSH1 0xc0 00000fe3: DUP2 00000fe4: SWAP1 00000fe5: SHR 00000fe6: SWAP1 00000fe7: PUSH16 0xffffffffffffffffffffffffffffffff 00000ff8: DUP2 00000ff9: AND 00000ffa: SWAP1 00000ffb: PUSH1 0x80 00000ffd: SHR 00000ffe: PUSH8 0xffffffffffffffff 00001007: AND 00001008: JUMPDEST 00001009: PUSH1 0x00 0000100b: DUP10 0000100c: SGT 0000100d: ISZERO 0000100e: PUSH2 0x104e 00001011: JUMPI 00001012: POP 00001013: DUP8 00001014: ADD 00001015: TIMESTAMP 00001016: PUSH8 0xffffffffffffffff 0000101f: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180 00001040: AND 00001041: ADD 00001042: DUP9 00001043: DUP3 00001044: LT 00001045: ISZERO 00001046: PUSH2 0x104e 00001049: JUMPI 0000104a: PUSH1 0x00 0000104c: DUP1 0000104d: REVERT 0000104e: JUMPDEST 0000104f: PUSH1 0x00 00001051: DUP11 00001052: SLT 00001053: ISZERO 00001054: PUSH2 0x10a4 00001057: JUMPI 00001058: TIMESTAMP 00001059: PUSH1 0x01 0000105b: DUP3 0000105c: SUB 0000105d: LT 0000105e: PUSH2 0x1066 00001061: JUMPI 00001062: PUSH1 0x00 00001064: DUP1 00001065: REVERT 00001066: JUMPDEST 00001067: PUSH1 0x00 00001069: DUP11 0000106a: SWAP1 0000106b: SUB 0000106c: DUP1 0000106d: DUP12 0000106e: EQ 0000106f: ISZERO 00001070: PUSH2 0x1078 00001073: JUMPI 00001074: PUSH1 0x00 00001076: DUP1 00001077: REVERT 00001078: JUMPDEST 00001079: DUP5 0000107a: DUP2 0000107b: GT 0000107c: ISZERO 0000107d: PUSH2 0x1085 00001080: JUMPI 00001081: PUSH1 0x00 00001083: DUP1 00001084: REVERT 00001085: JUMPDEST 00001086: SWAP12 00001087: DUP13 00001088: ADD 00001089: SWAP12 0000108a: SWAP4 0000108b: DUP5 0000108c: SWAP1 0000108d: SUB 0000108e: SWAP4 0000108f: DUP3 00001090: DUP2 00001091: GT 00001092: ISZERO 00001093: PUSH2 0x109b 00001096: JUMPI 00001097: PUSH1 0x00 00001099: DUP1 0000109a: REVERT 0000109b: JUMPDEST 0000109c: SWAP1 0000109d: SWAP2 0000109e: SUB 0000109f: SWAP1 000010a0: PUSH2 0x10c3 000010a3: JUMP 000010a4: JUMPDEST 000010a5: DUP10 000010a6: ISZERO 000010a7: PUSH2 0x10c3 000010aa: JUMPI 000010ab: DUP10 000010ac: DUP13 000010ad: DUP2 000010ae: GT 000010af: ISZERO 000010b0: PUSH2 0x10b8 000010b3: JUMPI 000010b4: PUSH1 0x00 000010b6: DUP1 000010b7: REVERT 000010b8: JUMPDEST 000010b9: SWAP12 000010ba: DUP13 000010bb: SWAP1 000010bc: SUB 000010bd: SWAP12 000010be: SWAP4 000010bf: SWAP1 000010c0: SWAP4 000010c1: ADD 000010c2: SWAP3 000010c3: JUMPDEST 000010c4: PUSH1 0x00 000010c6: DUP10 000010c7: SLT 000010c8: ISZERO 000010c9: PUSH2 0x10f0 000010cc: JUMPI 000010cd: PUSH1 0x00 000010cf: DUP10 000010d0: SWAP1 000010d1: SUB 000010d2: DUP1 000010d3: DUP11 000010d4: EQ 000010d5: ISZERO 000010d6: PUSH2 0x10de 000010d9: JUMPI 000010da: PUSH1 0x00 000010dc: DUP1 000010dd: REVERT 000010de: JUMPDEST 000010df: DUP3 000010e0: DUP2 000010e1: GT 000010e2: ISZERO 000010e3: PUSH2 0x10eb 000010e6: JUMPI 000010e7: PUSH1 0x00 000010e9: DUP1 000010ea: REVERT 000010eb: JUMPDEST 000010ec: SWAP1 000010ed: SWAP2 000010ee: SUB 000010ef: SWAP1 000010f0: JUMPDEST 000010f1: DUP8 000010f2: ISZERO 000010f3: PUSH2 0x1109 000010f6: JUMPI 000010f7: DUP12 000010f8: DUP9 000010f9: GT 000010fa: ISZERO 000010fb: PUSH2 0x1103 000010fe: JUMPI 000010ff: PUSH1 0x00 00001101: DUP1 00001102: REVERT 00001103: JUMPDEST 00001104: DUP8 00001105: DUP13 00001106: SUB 00001107: SWAP12 00001108: POP 00001109: JUMPDEST 0000110a: DUP1 0000110b: ISZERO 0000110c: PUSH2 0x118e 0000110f: JUMPI 00001110: PUSH17 0x0100000000000000000000000000000000 00001122: DUP3 00001123: LT 00001124: PUSH2 0x112c 00001127: JUMPI 00001128: PUSH1 0x00 0000112a: DUP1 0000112b: REVERT 0000112c: JUMPDEST 0000112d: PUSH1 0x00 0000112f: DUP3 00001130: ISZERO 00001131: PUSH2 0x1140 00001134: JUMPI 00001135: DUP3 00001136: PUSH1 0x80 00001138: DUP4 00001139: SWAP1 0000113a: SHL 0000113b: OR 0000113c: PUSH2 0x1143 0000113f: JUMP 00001140: JUMPDEST 00001141: PUSH1 0x00 00001143: JUMPDEST 00001144: PUSH1 0xc0 00001146: DUP6 00001147: SWAP1 00001148: SHL 00001149: OR 0000114a: SWAP1 0000114b: POP 0000114c: DUP1 0000114d: DUP8 0000114e: PUSH1 0x01 00001150: ADD 00001151: DUP2 00001152: SWAP1 00001153: SSTORE 00001154: POP 00001155: DUP8 00001156: PUSH32 0xe9d5d4bdc29068f77666497419c28b4aa58fe071a9dc2e1c5fde003d86701a6d 00001177: DUP3 00001178: PUSH1 0x40 0000117a: MLOAD 0000117b: PUSH2 0x1184 0000117e: SWAP2 0000117f: SWAP1 00001180: PUSH2 0x1798 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x40 00001187: MLOAD 00001188: DUP1 00001189: SWAP2 0000118a: SUB 0000118b: SWAP1 0000118c: LOG2 0000118d: POP 0000118e: JUMPDEST 0000118f: POP 00001190: POP 00001191: POP 00001192: PUSH17 0x0100000000000000000000000000000000 000011a4: DUP10 000011a5: LT 000011a6: PUSH2 0x11ae 000011a9: JUMPI 000011aa: PUSH1 0x00 000011ac: DUP1 000011ad: REVERT 000011ae: JUMPDEST 000011af: PUSH17 0x0100000000000000000000000000000000 000011c1: DUP2 000011c2: LT 000011c3: PUSH2 0x11cb 000011c6: JUMPI 000011c7: PUSH1 0x00 000011c9: DUP1 000011ca: REVERT 000011cb: JUMPDEST 000011cc: PUSH1 0x80 000011ce: DUP2 000011cf: SWAP1 000011d0: SHL 000011d1: DUP10 000011d2: OR 000011d3: DUP3 000011d4: DUP2 000011d5: EQ 000011d6: PUSH2 0x1217 000011d9: JUMPI 000011da: DUP1 000011db: DUP5 000011dc: SSTORE 000011dd: PUSH1 0x40 000011df: MLOAD 000011e0: DUP6 000011e1: SWAP1 000011e2: PUSH32 0x05241a2ddcbea46fa2f8b84beea5d0d8c0fd21414503d644982a75ccf1d986aa 00001203: SWAP1 00001204: PUSH2 0x120e 00001207: SWAP1 00001208: DUP5 00001209: SWAP1 0000120a: PUSH2 0x1798 0000120d: JUMP 0000120e: JUMPDEST 0000120f: PUSH1 0x40 00001211: MLOAD 00001212: DUP1 00001213: SWAP2 00001214: SUB 00001215: SWAP1 00001216: LOG2 00001217: JUMPDEST 00001218: POP 00001219: POP 0000121a: POP 0000121b: POP 0000121c: POP 0000121d: POP 0000121e: POP 0000121f: POP 00001220: POP 00001221: POP 00001222: POP 00001223: POP 00001224: JUMP 00001225: JUMPDEST 00001226: DUP1 00001227: ISZERO 00001228: PUSH2 0x0b03 0000122b: JUMPI 0000122c: PUSH1 0x00 0000122e: DUP1 0000122f: DUP4 00001230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001245: AND 00001246: DUP6 00001247: DUP5 00001248: PUSH1 0x40 0000124a: MLOAD 0000124b: PUSH1 0x24 0000124d: ADD 0000124e: PUSH2 0x1258 00001251: SWAP3 00001252: SWAP2 00001253: SWAP1 00001254: PUSH2 0x18b6 00001257: JUMP 00001258: JUMPDEST 00001259: PUSH1 0x40 0000125b: DUP1 0000125c: MLOAD 0000125d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000127e: DUP2 0000127f: DUP5 00001280: SUB 00001281: ADD 00001282: DUP2 00001283: MSTORE 00001284: SWAP2 00001285: DUP2 00001286: MSTORE 00001287: PUSH1 0x20 00001289: DUP3 0000128a: ADD 0000128b: DUP1 0000128c: MLOAD 0000128d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000012aa: AND 000012ab: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000012cc: OR 000012cd: SWAP1 000012ce: MSTORE 000012cf: MLOAD 000012d0: PUSH2 0x12d9 000012d3: SWAP2 000012d4: SWAP1 000012d5: PUSH2 0x1807 000012d8: JUMP 000012d9: JUMPDEST 000012da: PUSH1 0x00 000012dc: PUSH1 0x40 000012de: MLOAD 000012df: DUP1 000012e0: DUP4 000012e1: SUB 000012e2: DUP2 000012e3: PUSH1 0x00 000012e5: DUP7 000012e6: GAS 000012e7: CALL 000012e8: SWAP2 000012e9: POP 000012ea: POP 000012eb: RETURNDATASIZE 000012ec: DUP1 000012ed: PUSH1 0x00 000012ef: DUP2 000012f0: EQ 000012f1: PUSH2 0x1316 000012f4: JUMPI 000012f5: PUSH1 0x40 000012f7: MLOAD 000012f8: SWAP2 000012f9: POP 000012fa: PUSH1 0x1f 000012fc: NOT 000012fd: PUSH1 0x3f 000012ff: RETURNDATASIZE 00001300: ADD 00001301: AND 00001302: DUP3 00001303: ADD 00001304: PUSH1 0x40 00001306: MSTORE 00001307: RETURNDATASIZE 00001308: DUP3 00001309: MSTORE 0000130a: RETURNDATASIZE 0000130b: PUSH1 0x00 0000130d: PUSH1 0x20 0000130f: DUP5 00001310: ADD 00001311: RETURNDATACOPY 00001312: PUSH2 0x131b 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH1 0x60 00001319: SWAP2 0000131a: POP 0000131b: JUMPDEST 0000131c: POP 0000131d: SWAP2 0000131e: POP 0000131f: SWAP2 00001320: POP 00001321: DUP2 00001322: DUP1 00001323: ISZERO 00001324: PUSH2 0x1345 00001327: JUMPI 00001328: POP 00001329: DUP1 0000132a: MLOAD 0000132b: ISZERO 0000132c: DUP1 0000132d: PUSH2 0x1345 00001330: JUMPI 00001331: POP 00001332: DUP1 00001333: DUP1 00001334: PUSH1 0x20 00001336: ADD 00001337: SWAP1 00001338: MLOAD 00001339: DUP2 0000133a: ADD 0000133b: SWAP1 0000133c: PUSH2 0x1345 0000133f: SWAP2 00001340: SWAP1 00001341: PUSH2 0x14be 00001344: JUMP 00001345: JUMPDEST 00001346: PUSH2 0x06ed 00001349: JUMPI 0000134a: PUSH1 0x00 0000134c: DUP1 0000134d: REVERT 0000134e: JUMPDEST 0000134f: PUSH1 0x00 00001351: DUP1 00001352: DUP4 00001353: PUSH1 0x1f 00001355: DUP5 00001356: ADD 00001357: SLT 00001358: PUSH2 0x135f 0000135b: JUMPI 0000135c: DUP2 0000135d: DUP3 0000135e: REVERT 0000135f: JUMPDEST 00001360: POP 00001361: DUP2 00001362: CALLDATALOAD 00001363: PUSH8 0xffffffffffffffff 0000136c: DUP2 0000136d: GT 0000136e: ISZERO 0000136f: PUSH2 0x1376 00001372: JUMPI 00001373: DUP2 00001374: DUP3 00001375: REVERT 00001376: JUMPDEST 00001377: PUSH1 0x20 00001379: DUP4 0000137a: ADD 0000137b: SWAP2 0000137c: POP 0000137d: DUP4 0000137e: PUSH1 0x20 00001380: DUP1 00001381: DUP4 00001382: MUL 00001383: DUP6 00001384: ADD 00001385: ADD 00001386: GT 00001387: ISZERO 00001388: PUSH2 0x1390 0000138b: JUMPI 0000138c: PUSH1 0x00 0000138e: DUP1 0000138f: REVERT 00001390: JUMPDEST 00001391: SWAP3 00001392: POP 00001393: SWAP3 00001394: SWAP1 00001395: POP 00001396: JUMP 00001397: JUMPDEST 00001398: PUSH1 0x00 0000139a: PUSH1 0x20 0000139c: DUP3 0000139d: DUP5 0000139e: SUB 0000139f: SLT 000013a0: ISZERO 000013a1: PUSH2 0x13a8 000013a4: JUMPI 000013a5: DUP1 000013a6: DUP2 000013a7: REVERT 000013a8: JUMPDEST 000013a9: DUP2 000013aa: CALLDATALOAD 000013ab: PUSH2 0x0eaf 000013ae: DUP2 000013af: PUSH2 0x193b 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x00 000013b6: DUP1 000013b7: PUSH1 0x00 000013b9: DUP1 000013ba: PUSH1 0x80 000013bc: DUP6 000013bd: DUP8 000013be: SUB 000013bf: SLT 000013c0: ISZERO 000013c1: PUSH2 0x13c8 000013c4: JUMPI 000013c5: DUP3 000013c6: DUP4 000013c7: REVERT 000013c8: JUMPDEST 000013c9: DUP5 000013ca: CALLDATALOAD 000013cb: PUSH2 0x13d3 000013ce: DUP2 000013cf: PUSH2 0x193b 000013d2: JUMP 000013d3: JUMPDEST 000013d4: SWAP7 000013d5: PUSH1 0x20 000013d7: DUP7 000013d8: ADD 000013d9: CALLDATALOAD 000013da: SWAP7 000013db: POP 000013dc: PUSH1 0x40 000013de: DUP7 000013df: ADD 000013e0: CALLDATALOAD 000013e1: SWAP6 000013e2: PUSH1 0x60 000013e4: ADD 000013e5: CALLDATALOAD 000013e6: SWAP5 000013e7: POP 000013e8: SWAP3 000013e9: POP 000013ea: POP 000013eb: POP 000013ec: JUMP 000013ed: JUMPDEST 000013ee: PUSH1 0x00 000013f0: DUP1 000013f1: PUSH1 0x40 000013f3: DUP4 000013f4: DUP6 000013f5: SUB 000013f6: SLT 000013f7: ISZERO 000013f8: PUSH2 0x13ff 000013fb: JUMPI 000013fc: DUP2 000013fd: DUP3 000013fe: REVERT 000013ff: JUMPDEST 00001400: DUP3 00001401: CALLDATALOAD 00001402: PUSH2 0x140a 00001405: DUP2 00001406: PUSH2 0x193b 00001409: JUMP 0000140a: JUMPDEST 0000140b: SWAP2 0000140c: POP 0000140d: PUSH1 0x20 0000140f: DUP4 00001410: ADD 00001411: CALLDATALOAD 00001412: PUSH2 0x141a 00001415: DUP2 00001416: PUSH2 0x193b 00001419: JUMP 0000141a: JUMPDEST 0000141b: DUP1 0000141c: SWAP2 0000141d: POP 0000141e: POP 0000141f: SWAP3 00001420: POP 00001421: SWAP3 00001422: SWAP1 00001423: POP 00001424: JUMP 00001425: JUMPDEST 00001426: PUSH1 0x00 00001428: DUP1 00001429: PUSH1 0x00 0000142b: DUP1 0000142c: PUSH1 0x80 0000142e: DUP6 0000142f: DUP8 00001430: SUB 00001431: SLT 00001432: ISZERO 00001433: PUSH2 0x13c8 00001436: JUMPI 00001437: DUP4 00001438: DUP5 00001439: REVERT 0000143a: JUMPDEST 0000143b: PUSH1 0x00 0000143d: DUP1 0000143e: PUSH1 0x00 00001440: DUP1 00001441: PUSH1 0x60 00001443: DUP6 00001444: DUP8 00001445: SUB 00001446: SLT 00001447: ISZERO 00001448: PUSH2 0x144f 0000144b: JUMPI 0000144c: DUP4 0000144d: DUP5 0000144e: REVERT 0000144f: JUMPDEST 00001450: DUP5 00001451: CALLDATALOAD 00001452: PUSH2 0x145a 00001455: DUP2 00001456: PUSH2 0x193b 00001459: JUMP 0000145a: JUMPDEST 0000145b: SWAP4 0000145c: POP 0000145d: PUSH1 0x20 0000145f: DUP6 00001460: ADD 00001461: CALLDATALOAD 00001462: SWAP3 00001463: POP 00001464: PUSH1 0x40 00001466: DUP6 00001467: ADD 00001468: CALLDATALOAD 00001469: PUSH8 0xffffffffffffffff 00001472: DUP1 00001473: DUP3 00001474: GT 00001475: ISZERO 00001476: PUSH2 0x147d 00001479: JUMPI 0000147a: DUP4 0000147b: DUP5 0000147c: REVERT 0000147d: JUMPDEST 0000147e: DUP2 0000147f: DUP8 00001480: ADD 00001481: SWAP2 00001482: POP 00001483: DUP8 00001484: PUSH1 0x1f 00001486: DUP4 00001487: ADD 00001488: SLT 00001489: PUSH2 0x1490 0000148c: JUMPI 0000148d: DUP4 0000148e: DUP5 0000148f: REVERT 00001490: JUMPDEST 00001491: DUP2 00001492: CALLDATALOAD 00001493: DUP2 00001494: DUP2 00001495: GT 00001496: ISZERO 00001497: PUSH2 0x149e 0000149a: JUMPI 0000149b: DUP5 0000149c: DUP6 0000149d: REVERT 0000149e: JUMPDEST 0000149f: DUP9 000014a0: PUSH1 0x20 000014a2: DUP3 000014a3: DUP6 000014a4: ADD 000014a5: ADD 000014a6: GT 000014a7: ISZERO 000014a8: PUSH2 0x14af 000014ab: JUMPI 000014ac: DUP5 000014ad: DUP6 000014ae: REVERT 000014af: JUMPDEST 000014b0: SWAP6 000014b1: SWAP9 000014b2: SWAP5 000014b3: SWAP8 000014b4: POP 000014b5: POP 000014b6: PUSH1 0x20 000014b8: ADD 000014b9: SWAP5 000014ba: POP 000014bb: POP 000014bc: POP 000014bd: JUMP 000014be: JUMPDEST 000014bf: PUSH1 0x00 000014c1: PUSH1 0x20 000014c3: DUP3 000014c4: DUP5 000014c5: SUB 000014c6: SLT 000014c7: ISZERO 000014c8: PUSH2 0x14cf 000014cb: JUMPI 000014cc: DUP1 000014cd: DUP2 000014ce: REVERT 000014cf: JUMPDEST 000014d0: DUP2 000014d1: MLOAD 000014d2: PUSH2 0x0eaf 000014d5: DUP2 000014d6: PUSH2 0x1960 000014d9: JUMP 000014da: JUMPDEST 000014db: PUSH1 0x00 000014dd: DUP1 000014de: PUSH1 0x00 000014e0: PUSH1 0x40 000014e2: DUP5 000014e3: DUP7 000014e4: SUB 000014e5: SLT 000014e6: ISZERO 000014e7: PUSH2 0x14ee 000014ea: JUMPI 000014eb: DUP3 000014ec: DUP4 000014ed: REVERT 000014ee: JUMPDEST 000014ef: DUP4 000014f0: CALLDATALOAD 000014f1: PUSH2 0x14f9 000014f4: DUP2 000014f5: PUSH2 0x1960 000014f8: JUMP 000014f9: JUMPDEST 000014fa: SWAP3 000014fb: POP 000014fc: PUSH1 0x20 000014fe: DUP5 000014ff: ADD 00001500: CALLDATALOAD 00001501: PUSH8 0xffffffffffffffff 0000150a: DUP2 0000150b: GT 0000150c: ISZERO 0000150d: PUSH2 0x1514 00001510: JUMPI 00001511: DUP3 00001512: DUP4 00001513: REVERT 00001514: JUMPDEST 00001515: PUSH2 0x1520 00001518: DUP7 00001519: DUP3 0000151a: DUP8 0000151b: ADD 0000151c: PUSH2 0x134e 0000151f: JUMP 00001520: JUMPDEST 00001521: SWAP5 00001522: SWAP8 00001523: SWAP1 00001524: SWAP7 00001525: POP 00001526: SWAP4 00001527: SWAP5 00001528: POP 00001529: POP 0000152a: POP 0000152b: POP 0000152c: JUMP 0000152d: JUMPDEST 0000152e: PUSH1 0x00 00001530: DUP1 00001531: PUSH1 0x00 00001533: PUSH1 0x60 00001535: DUP5 00001536: DUP7 00001537: SUB 00001538: SLT 00001539: ISZERO 0000153a: PUSH2 0x1541 0000153d: JUMPI 0000153e: DUP3 0000153f: DUP4 00001540: REVERT 00001541: JUMPDEST 00001542: DUP4 00001543: CALLDATALOAD 00001544: PUSH2 0x154c 00001547: DUP2 00001548: PUSH2 0x193b 0000154b: JUMP 0000154c: JUMPDEST 0000154d: SWAP3 0000154e: POP 0000154f: PUSH1 0x20 00001551: DUP5 00001552: ADD 00001553: CALLDATALOAD 00001554: PUSH2 0x155c 00001557: DUP2 00001558: PUSH2 0x193b 0000155b: JUMP 0000155c: JUMPDEST 0000155d: SWAP2 0000155e: POP 0000155f: PUSH1 0x40 00001561: DUP5 00001562: ADD 00001563: CALLDATALOAD 00001564: PUSH2 0x156c 00001567: DUP2 00001568: PUSH2 0x193b 0000156b: JUMP 0000156c: JUMPDEST 0000156d: DUP1 0000156e: SWAP2 0000156f: POP 00001570: POP 00001571: SWAP3 00001572: POP 00001573: SWAP3 00001574: POP 00001575: SWAP3 00001576: JUMP 00001577: JUMPDEST 00001578: PUSH1 0x00 0000157a: DUP1 0000157b: PUSH1 0x00 0000157d: DUP1 0000157e: PUSH1 0x00 00001580: DUP1 00001581: PUSH1 0x80 00001583: DUP8 00001584: DUP10 00001585: SUB 00001586: SLT 00001587: ISZERO 00001588: PUSH2 0x158f 0000158b: JUMPI 0000158c: DUP2 0000158d: DUP3 0000158e: REVERT 0000158f: JUMPDEST 00001590: DUP7 00001591: CALLDATALOAD 00001592: PUSH2 0x159a 00001595: DUP2 00001596: PUSH2 0x193b 00001599: JUMP 0000159a: JUMPDEST 0000159b: SWAP6 0000159c: POP 0000159d: PUSH1 0x20 0000159f: DUP8 000015a0: ADD 000015a1: CALLDATALOAD 000015a2: PUSH2 0x15aa 000015a5: DUP2 000015a6: PUSH2 0x193b 000015a9: JUMP 000015aa: JUMPDEST 000015ab: SWAP5 000015ac: POP 000015ad: PUSH1 0x40 000015af: DUP8 000015b0: ADD 000015b1: CALLDATALOAD 000015b2: PUSH8 0xffffffffffffffff 000015bb: DUP1 000015bc: DUP3 000015bd: GT 000015be: ISZERO 000015bf: PUSH2 0x15c6 000015c2: JUMPI 000015c3: DUP4 000015c4: DUP5 000015c5: REVERT 000015c6: JUMPDEST 000015c7: DUP2 000015c8: DUP10 000015c9: ADD 000015ca: SWAP2 000015cb: POP 000015cc: DUP10 000015cd: PUSH1 0x1f 000015cf: DUP4 000015d0: ADD 000015d1: SLT 000015d2: PUSH2 0x15d9 000015d5: JUMPI 000015d6: DUP4 000015d7: DUP5 000015d8: REVERT 000015d9: JUMPDEST 000015da: DUP2 000015db: CALLDATALOAD 000015dc: DUP2 000015dd: DUP2 000015de: GT 000015df: ISZERO 000015e0: PUSH2 0x15e7 000015e3: JUMPI 000015e4: DUP5 000015e5: DUP6 000015e6: REVERT 000015e7: JUMPDEST 000015e8: DUP11 000015e9: PUSH1 0x20 000015eb: PUSH1 0xc0 000015ed: DUP4 000015ee: MUL 000015ef: DUP6 000015f0: ADD 000015f1: ADD 000015f2: GT 000015f3: ISZERO 000015f4: PUSH2 0x15fb 000015f7: JUMPI 000015f8: DUP5 000015f9: DUP6 000015fa: REVERT 000015fb: JUMPDEST 000015fc: PUSH1 0x20 000015fe: DUP4 000015ff: ADD 00001600: SWAP7 00001601: POP 00001602: DUP1 00001603: SWAP6 00001604: POP 00001605: POP 00001606: PUSH1 0x60 00001608: DUP10 00001609: ADD 0000160a: CALLDATALOAD 0000160b: SWAP2 0000160c: POP 0000160d: DUP1 0000160e: DUP3 0000160f: GT 00001610: ISZERO 00001611: PUSH2 0x1618 00001614: JUMPI 00001615: DUP4 00001616: DUP5 00001617: REVERT 00001618: JUMPDEST 00001619: POP 0000161a: PUSH2 0x1625 0000161d: DUP10 0000161e: DUP3 0000161f: DUP11 00001620: ADD 00001621: PUSH2 0x134e 00001624: JUMP 00001625: JUMPDEST 00001626: SWAP8 00001627: SWAP11 00001628: SWAP7 00001629: SWAP10 0000162a: POP 0000162b: SWAP5 0000162c: SWAP8 0000162d: POP 0000162e: SWAP3 0000162f: SWAP6 00001630: SWAP4 00001631: SWAP5 00001632: SWAP3 00001633: POP 00001634: POP 00001635: POP 00001636: JUMP 00001637: JUMPDEST 00001638: PUSH1 0x00 0000163a: DUP1 0000163b: PUSH1 0x00 0000163d: PUSH1 0x60 0000163f: DUP5 00001640: DUP7 00001641: SUB 00001642: SLT 00001643: ISZERO 00001644: PUSH2 0x164b 00001647: JUMPI 00001648: DUP1 00001649: DUP2 0000164a: REVERT 0000164b: JUMPDEST 0000164c: DUP4 0000164d: CALLDATALOAD 0000164e: PUSH2 0x1656 00001651: DUP2 00001652: PUSH2 0x193b 00001655: JUMP 00001656: JUMPDEST 00001657: SWAP3 00001658: POP 00001659: PUSH1 0x20 0000165b: DUP5 0000165c: ADD 0000165d: CALLDATALOAD 0000165e: PUSH2 0x1666 00001661: DUP2 00001662: PUSH2 0x193b 00001665: JUMP 00001666: JUMPDEST 00001667: SWAP2 00001668: POP 00001669: PUSH1 0x40 0000166b: DUP5 0000166c: ADD 0000166d: CALLDATALOAD 0000166e: PUSH8 0xffffffffffffffff 00001677: DUP2 00001678: AND 00001679: DUP2 0000167a: EQ 0000167b: PUSH2 0x156c 0000167e: JUMPI 0000167f: DUP2 00001680: DUP3 00001681: REVERT 00001682: JUMPDEST 00001683: PUSH1 0x00 00001685: DUP1 00001686: PUSH1 0x00 00001688: DUP1 00001689: PUSH1 0x00 0000168b: DUP1 0000168c: PUSH1 0xc0 0000168e: DUP8 0000168f: DUP10 00001690: SUB 00001691: SLT 00001692: ISZERO 00001693: PUSH2 0x169a 00001696: JUMPI 00001697: DUP4 00001698: DUP5 00001699: REVERT 0000169a: JUMPDEST 0000169b: DUP7 0000169c: CALLDATALOAD 0000169d: PUSH2 0x16a5 000016a0: DUP2 000016a1: PUSH2 0x193b 000016a4: JUMP 000016a5: JUMPDEST 000016a6: SWAP6 000016a7: POP 000016a8: PUSH1 0x20 000016aa: DUP8 000016ab: ADD 000016ac: CALLDATALOAD 000016ad: SWAP5 000016ae: POP 000016af: PUSH1 0x40 000016b1: DUP8 000016b2: ADD 000016b3: CALLDATALOAD 000016b4: PUSH2 0x16bc 000016b7: DUP2 000016b8: PUSH2 0x193b 000016bb: JUMP 000016bc: JUMPDEST 000016bd: SWAP6 000016be: SWAP9 000016bf: SWAP5 000016c0: SWAP8 000016c1: POP 000016c2: SWAP5 000016c3: SWAP6 000016c4: PUSH1 0x60 000016c6: DUP2 000016c7: ADD 000016c8: CALLDATALOAD 000016c9: SWAP6 000016ca: POP 000016cb: PUSH1 0x80 000016cd: DUP2 000016ce: ADD 000016cf: CALLDATALOAD 000016d0: SWAP5 000016d1: PUSH1 0xa0 000016d3: SWAP1 000016d4: SWAP2 000016d5: ADD 000016d6: CALLDATALOAD 000016d7: SWAP4 000016d8: POP 000016d9: SWAP2 000016da: POP 000016db: POP 000016dc: JUMP 000016dd: JUMPDEST 000016de: PUSH1 0x00 000016e0: DUP1 000016e1: PUSH1 0x40 000016e3: DUP4 000016e4: DUP6 000016e5: SUB 000016e6: SLT 000016e7: ISZERO 000016e8: PUSH2 0x16ef 000016eb: JUMPI 000016ec: DUP2 000016ed: DUP3 000016ee: REVERT 000016ef: JUMPDEST 000016f0: POP 000016f1: POP 000016f2: DUP1 000016f3: CALLDATALOAD 000016f4: SWAP3 000016f5: PUSH1 0x20 000016f7: SWAP1 000016f8: SWAP2 000016f9: ADD 000016fa: CALLDATALOAD 000016fb: SWAP2 000016fc: POP 000016fd: JUMP 000016fe: JUMPDEST 000016ff: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 00001720: SWAP11 00001721: DUP12 00001722: AND 00001723: DUP2 00001724: MSTORE 00001725: SWAP9 00001726: SWAP1 00001727: SWAP10 00001728: AND 00001729: PUSH1 0x01 0000172b: DUP10 0000172c: ADD 0000172d: MSTORE 0000172e: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 0000174f: PUSH1 0x60 00001751: SWAP8 00001752: DUP9 00001753: SHL 00001754: DUP2 00001755: AND 00001756: PUSH1 0x02 00001758: DUP11 00001759: ADD 0000175a: MSTORE 0000175b: PUSH1 0x16 0000175d: DUP10 0000175e: ADD 0000175f: SWAP7 00001760: SWAP1 00001761: SWAP7 00001762: MSTORE 00001763: SWAP4 00001764: DUP7 00001765: SHL 00001766: DUP6 00001767: AND 00001768: PUSH1 0x36 0000176a: DUP9 0000176b: ADD 0000176c: MSTORE 0000176d: SWAP2 0000176e: SWAP1 0000176f: SWAP5 00001770: SHL 00001771: SWAP1 00001772: SWAP3 00001773: AND 00001774: PUSH1 0x4a 00001776: DUP6 00001777: ADD 00001778: MSTORE 00001779: PUSH1 0x5e 0000177b: DUP5 0000177c: ADD 0000177d: SWAP3 0000177e: SWAP1 0000177f: SWAP3 00001780: MSTORE 00001781: PUSH1 0x7e 00001783: DUP4 00001784: ADD 00001785: MSTORE 00001786: PUSH1 0x9e 00001788: DUP3 00001789: ADD 0000178a: MSTORE 0000178b: PUSH1 0xbe 0000178d: DUP2 0000178e: ADD 0000178f: SWAP2 00001790: SWAP1 00001791: SWAP2 00001792: MSTORE 00001793: PUSH1 0xde 00001795: ADD 00001796: SWAP1 00001797: JUMP 00001798: JUMPDEST 00001799: SWAP1 0000179a: DUP2 0000179b: MSTORE 0000179c: PUSH1 0x20 0000179e: ADD 0000179f: SWAP1 000017a0: JUMP 000017a1: JUMPDEST 000017a2: SWAP2 000017a3: DUP3 000017a4: MSTORE 000017a5: PUSH1 0x60 000017a7: SHL 000017a8: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 000017c9: AND 000017ca: PUSH1 0x20 000017cc: DUP3 000017cd: ADD 000017ce: MSTORE 000017cf: PUSH1 0x34 000017d1: ADD 000017d2: SWAP1 000017d3: JUMP 000017d4: JUMPDEST 000017d5: SWAP2 000017d6: DUP3 000017d7: MSTORE 000017d8: PUSH1 0x80 000017da: SHL 000017db: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 000017fc: AND 000017fd: PUSH1 0x20 000017ff: DUP3 00001800: ADD 00001801: MSTORE 00001802: PUSH1 0x30 00001804: ADD 00001805: SWAP1 00001806: JUMP 00001807: JUMPDEST 00001808: PUSH1 0x00 0000180a: DUP3 0000180b: MLOAD 0000180c: DUP2 0000180d: JUMPDEST 0000180e: DUP2 0000180f: DUP2 00001810: LT 00001811: ISZERO 00001812: PUSH2 0x1827 00001815: JUMPI 00001816: PUSH1 0x20 00001818: DUP2 00001819: DUP7 0000181a: ADD 0000181b: DUP2 0000181c: ADD 0000181d: MLOAD 0000181e: DUP6 0000181f: DUP4 00001820: ADD 00001821: MSTORE 00001822: ADD 00001823: PUSH2 0x180d 00001826: JUMP 00001827: JUMPDEST 00001828: DUP2 00001829: DUP2 0000182a: GT 0000182b: ISZERO 0000182c: PUSH2 0x1835 0000182f: JUMPI 00001830: DUP3 00001831: DUP3 00001832: DUP6 00001833: ADD 00001834: MSTORE 00001835: JUMPDEST 00001836: POP 00001837: SWAP2 00001838: SWAP1 00001839: SWAP2 0000183a: ADD 0000183b: SWAP3 0000183c: SWAP2 0000183d: POP 0000183e: POP 0000183f: JUMP 00001840: JUMPDEST 00001841: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 00001862: PUSH1 0x60 00001864: SWAP5 00001865: DUP6 00001866: SHL 00001867: DUP2 00001868: AND 00001869: DUP3 0000186a: MSTORE 0000186b: SWAP3 0000186c: DUP5 0000186d: SHL 0000186e: DUP4 0000186f: AND 00001870: PUSH1 0x14 00001872: DUP3 00001873: ADD 00001874: MSTORE 00001875: SWAP3 00001876: SHL 00001877: AND 00001878: PUSH1 0x28 0000187a: DUP3 0000187b: ADD 0000187c: MSTORE 0000187d: PUSH1 0x3c 0000187f: ADD 00001880: SWAP1 00001881: JUMP 00001882: JUMPDEST 00001883: SWAP1 00001884: JUMP 00001885: JUMPDEST 00001886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000189b: SWAP4 0000189c: DUP5 0000189d: AND 0000189e: DUP2 0000189f: MSTORE 000018a0: SWAP2 000018a1: SWAP1 000018a2: SWAP3 000018a3: AND 000018a4: PUSH1 0x20 000018a6: DUP3 000018a7: ADD 000018a8: MSTORE 000018a9: PUSH1 0x40 000018ab: DUP2 000018ac: ADD 000018ad: SWAP2 000018ae: SWAP1 000018af: SWAP2 000018b0: MSTORE 000018b1: PUSH1 0x60 000018b3: ADD 000018b4: SWAP1 000018b5: JUMP 000018b6: JUMPDEST 000018b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018cc: SWAP3 000018cd: SWAP1 000018ce: SWAP3 000018cf: AND 000018d0: DUP3 000018d1: MSTORE 000018d2: PUSH1 0x20 000018d4: DUP3 000018d5: ADD 000018d6: MSTORE 000018d7: PUSH1 0x40 000018d9: ADD 000018da: SWAP1 000018db: JUMP 000018dc: JUMPDEST 000018dd: SWAP1 000018de: ISZERO 000018df: ISZERO 000018e0: DUP2 000018e1: MSTORE 000018e2: PUSH1 0x20 000018e4: ADD 000018e5: SWAP1 000018e6: JUMP 000018e7: JUMPDEST 000018e8: SWAP4 000018e9: DUP5 000018ea: MSTORE 000018eb: PUSH1 0xff 000018ed: SWAP3 000018ee: SWAP1 000018ef: SWAP3 000018f0: AND 000018f1: PUSH1 0x20 000018f3: DUP5 000018f4: ADD 000018f5: MSTORE 000018f6: PUSH1 0x40 000018f8: DUP4 000018f9: ADD 000018fa: MSTORE 000018fb: PUSH1 0x60 000018fd: DUP3 000018fe: ADD 000018ff: MSTORE 00001900: PUSH1 0x80 00001902: ADD 00001903: SWAP1 00001904: JUMP 00001905: JUMPDEST 00001906: SWAP2 00001907: DUP3 00001908: MSTORE 00001909: PUSH1 0x20 0000190b: DUP3 0000190c: ADD 0000190d: MSTORE 0000190e: PUSH1 0x40 00001910: ADD 00001911: SWAP1 00001912: JUMP 00001913: JUMPDEST 00001914: PUSH1 0x00 00001916: DUP1 00001917: DUP6 00001918: DUP6 00001919: GT 0000191a: ISZERO 0000191b: PUSH2 0x1922 0000191e: JUMPI 0000191f: DUP2 00001920: DUP3 00001921: REVERT 00001922: JUMPDEST 00001923: DUP4 00001924: DUP7 00001925: GT 00001926: ISZERO 00001927: PUSH2 0x192e 0000192a: JUMPI 0000192b: DUP2 0000192c: DUP3 0000192d: REVERT 0000192e: JUMPDEST 0000192f: POP 00001930: POP 00001931: DUP3 00001932: ADD 00001933: SWAP4 00001934: SWAP2 00001935: SWAP1 00001936: SWAP3 00001937: SUB 00001938: SWAP2 00001939: POP 0000193a: JUMP 0000193b: JUMPDEST 0000193c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001951: DUP2 00001952: AND 00001953: DUP2 00001954: EQ 00001955: PUSH2 0x195d 00001958: JUMPI 00001959: PUSH1 0x00 0000195b: DUP1 0000195c: REVERT 0000195d: JUMPDEST 0000195e: POP 0000195f: JUMP 00001960: JUMPDEST 00001961: DUP1 00001962: ISZERO 00001963: ISZERO 00001964: DUP2 00001965: EQ 00001966: PUSH2 0x195d 00001969: JUMPI 0000196a: PUSH1 0x00 0000196c: DUP1 0000196d: REVERT 0000196e: INVALID 0000196f: LOG1 00001970: PUSH5 0x736f6c6343 00001976: STOP 00001977: SMOD 00001978: MOD 00001979: STOP 0000197a: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf51e5a521ccc319d1a18d2222ecdccbaec17faac491c6647708bb989baf4def3
call_targets:
0x6db8381b2b41b74e17f5d4eb82e8d5b04dda0a82
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf51e5a521ccc319d1a18d2222ecdccbaec17faac491c6647708bb989baf4def3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6db8381b2b41b74e17f5d4eb82e8d5b04dda0a82"
],
"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": "0xa4c0ed36",
"selector": "0xa4c0ed36",
"calldata_variants": [
"0xa4c0ed36",
"0xa4c0ed360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0ee0b8a",
"selector": "0xc0ee0b8a",
"calldata_variants": [
"0xc0ee0b8a",
"0xc0ee0b8a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6a69689",
"selector": "0xc6a69689",
"calldata_variants": [
"0xc6a69689",
"0xc6a696890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fe65fef",
"selector": "0x5fe65fef",
"calldata_variants": [
"0x5fe65fef",
"0x5fe65fef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84992d51",
"selector": "0x84992d51",
"calldata_variants": [
"0x84992d51",
"0x84992d510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248d0fd7",
"selector": "0x248d0fd7",
"calldata_variants": [
"0x248d0fd7",
"0x248d0fd70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5185c7d7",
"selector": "0x5185c7d7",
"calldata_variants": [
"0x5185c7d7",
"0x5185c7d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59c8b7f0",
"selector": "0x59c8b7f0",
"calldata_variants": [
"0x59c8b7f0",
"0x59c8b7f00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1423,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1706,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4839,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf51e5a521ccc319d1a18d2222ecdccbaec17faac491c6647708bb989baf4def3
call_targets:
0x6db8381b2b41b74e17f5d4eb82e8d5b04dda0a82
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf51e5a521ccc319d1a18d2222ecdccbaec17faac491c6647708bb989baf4def3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6db8381b2b41b74e17f5d4eb82e8d5b04dda0a82"
],
"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": "0xa4c0ed36",
"selector": "0xa4c0ed36",
"calldata_variants": [
"0xa4c0ed36",
"0xa4c0ed360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc0ee0b8a",
"selector": "0xc0ee0b8a",
"calldata_variants": [
"0xc0ee0b8a",
"0xc0ee0b8a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6a69689",
"selector": "0xc6a69689",
"calldata_variants": [
"0xc6a69689",
"0xc6a696890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fe65fef",
"selector": "0x5fe65fef",
"calldata_variants": [
"0x5fe65fef",
"0x5fe65fef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84992d51",
"selector": "0x84992d51",
"calldata_variants": [
"0x84992d51",
"0x84992d510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248d0fd7",
"selector": "0x248d0fd7",
"calldata_variants": [
"0x248d0fd7",
"0x248d0fd70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5185c7d7",
"selector": "0x5185c7d7",
"calldata_variants": [
"0x5185c7d7",
"0x5185c7d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59c8b7f0",
"selector": "0x59c8b7f0",
"calldata_variants": [
"0x59c8b7f0",
"0x59c8b7f00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1423,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1706,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4839,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|