019b477e-d175-71b8-bdfc-dc0abe8e51b5
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 |
|---|---|---|---|---|
| 27763 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27764 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 71640 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71641 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71642 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71643 | 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 0x00e1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x94985ddd 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe97dcb62 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe97dcb62 0000002f: EQ 00000030: PUSH2 0x0295 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf71d96cb 0000003a: EQ 0000003b: PUSH2 0x02ac 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf84542ee 00000045: EQ 00000046: PUSH2 0x02e9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfc0c546a 00000050: EQ 00000051: PUSH2 0x0326 00000054: JUMPI 00000055: PUSH2 0x00e8 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x94985ddd 00000060: EQ 00000061: PUSH2 0x0204 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xa559470b 0000006b: EQ 0000006c: PUSH2 0x022d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc9e120f5 00000076: EQ 00000077: PUSH2 0x026a 0000007a: JUMPI 0000007b: PUSH2 0x00e8 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x4f8c70cf 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x4f8c70cf 00000091: EQ 00000092: PUSH2 0x016c 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x61bc221a 0000009c: EQ 0000009d: PUSH2 0x0197 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x6677c951 000000a7: EQ 000000a8: PUSH2 0x01c2 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x69fbdfc0 000000b2: EQ 000000b3: PUSH2 0x01d9 000000b6: JUMPI 000000b7: PUSH2 0x00e8 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x144fa6d7 000000c2: EQ 000000c3: PUSH2 0x00ed 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x36013189 000000cd: EQ 000000ce: PUSH2 0x0116 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x481c6a75 000000d8: EQ 000000d9: PUSH2 0x0141 000000dc: JUMPI 000000dd: PUSH2 0x00e8 000000e0: JUMP 000000e1: JUMPDEST 000000e2: CALLDATASIZE 000000e3: PUSH2 0x00e8 000000e6: JUMPI 000000e7: STOP 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: CALLVALUE 000000ef: DUP1 000000f0: ISZERO 000000f1: PUSH2 0x00f9 000000f4: JUMPI 000000f5: PUSH1 0x00 000000f7: DUP1 000000f8: REVERT 000000f9: JUMPDEST 000000fa: POP 000000fb: PUSH2 0x0114 000000fe: PUSH1 0x04 00000100: DUP1 00000101: CALLDATASIZE 00000102: SUB 00000103: DUP2 00000104: ADD 00000105: SWAP1 00000106: PUSH2 0x010f 00000109: SWAP2 0000010a: SWAP1 0000010b: PUSH2 0x10c3 0000010e: JUMP 0000010f: JUMPDEST 00000110: PUSH2 0x0351 00000113: JUMP 00000114: JUMPDEST 00000115: STOP 00000116: JUMPDEST 00000117: CALLVALUE 00000118: DUP1 00000119: ISZERO 0000011a: PUSH2 0x0122 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: POP 00000124: PUSH2 0x012b 00000127: PUSH2 0x03ef 0000012a: JUMP 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: PUSH2 0x0138 00000132: SWAP2 00000133: SWAP1 00000134: PUSH2 0x155c 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH1 0x40 0000013b: MLOAD 0000013c: DUP1 0000013d: SWAP2 0000013e: SUB 0000013f: SWAP1 00000140: RETURN 00000141: JUMPDEST 00000142: CALLVALUE 00000143: DUP1 00000144: ISZERO 00000145: PUSH2 0x014d 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: DUP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: POP 0000014f: PUSH2 0x0156 00000152: PUSH2 0x03f5 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH1 0x40 00000159: MLOAD 0000015a: PUSH2 0x0163 0000015d: SWAP2 0000015e: SWAP1 0000015f: PUSH2 0x139f 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH1 0x40 00000166: MLOAD 00000167: DUP1 00000168: SWAP2 00000169: SUB 0000016a: SWAP1 0000016b: RETURN 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0181 0000017d: PUSH2 0x041b 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: PUSH2 0x018e 00000188: SWAP2 00000189: SWAP1 0000018a: PUSH2 0x139f 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: DUP1 00000193: SWAP2 00000194: SUB 00000195: SWAP1 00000196: RETURN 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH2 0x01ac 000001a8: PUSH2 0x0441 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: PUSH2 0x01b9 000001b3: SWAP2 000001b4: SWAP1 000001b5: PUSH2 0x155c 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: DUP1 000001be: SWAP2 000001bf: SUB 000001c0: SWAP1 000001c1: RETURN 000001c2: JUMPDEST 000001c3: CALLVALUE 000001c4: DUP1 000001c5: ISZERO 000001c6: PUSH2 0x01ce 000001c9: JUMPI 000001ca: PUSH1 0x00 000001cc: DUP1 000001cd: REVERT 000001ce: JUMPDEST 000001cf: POP 000001d0: PUSH2 0x01d7 000001d3: PUSH2 0x0447 000001d6: JUMP 000001d7: JUMPDEST 000001d8: STOP 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x01ee 000001ea: PUSH2 0x059f 000001ed: JUMP 000001ee: JUMPDEST 000001ef: PUSH1 0x40 000001f1: MLOAD 000001f2: PUSH2 0x01fb 000001f5: SWAP2 000001f6: SWAP1 000001f7: PUSH2 0x13f8 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: DUP1 00000200: SWAP2 00000201: SUB 00000202: SWAP1 00000203: RETURN 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: PUSH2 0x022b 00000215: PUSH1 0x04 00000217: DUP1 00000218: CALLDATASIZE 00000219: SUB 0000021a: DUP2 0000021b: ADD 0000021c: SWAP1 0000021d: PUSH2 0x0226 00000220: SWAP2 00000221: SWAP1 00000222: PUSH2 0x111d 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH2 0x05f7 0000022a: JUMP 0000022b: JUMPDEST 0000022c: STOP 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: DUP1 00000230: ISZERO 00000231: PUSH2 0x0239 00000234: JUMPI 00000235: PUSH1 0x00 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x0254 0000023e: PUSH1 0x04 00000240: DUP1 00000241: CALLDATASIZE 00000242: SUB 00000243: DUP2 00000244: ADD 00000245: SWAP1 00000246: PUSH2 0x024f 00000249: SWAP2 0000024a: SWAP1 0000024b: PUSH2 0x10c3 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH2 0x0693 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH1 0x40 00000257: MLOAD 00000258: PUSH2 0x0261 0000025b: SWAP2 0000025c: SWAP1 0000025d: PUSH2 0x13f8 00000260: JUMP 00000261: JUMPDEST 00000262: PUSH1 0x40 00000264: MLOAD 00000265: DUP1 00000266: SWAP2 00000267: SUB 00000268: SWAP1 00000269: RETURN 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: PUSH2 0x027f 0000027b: PUSH2 0x06b3 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH1 0x40 00000282: MLOAD 00000283: PUSH2 0x028c 00000286: SWAP2 00000287: SWAP1 00000288: PUSH2 0x155c 0000028b: JUMP 0000028c: JUMPDEST 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: DUP1 00000291: SWAP2 00000292: SUB 00000293: SWAP1 00000294: RETURN 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: POP 000002a3: PUSH2 0x02aa 000002a6: PUSH2 0x06bd 000002a9: JUMP 000002aa: JUMPDEST 000002ab: STOP 000002ac: JUMPDEST 000002ad: CALLVALUE 000002ae: DUP1 000002af: ISZERO 000002b0: PUSH2 0x02b8 000002b3: JUMPI 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: REVERT 000002b8: JUMPDEST 000002b9: POP 000002ba: PUSH2 0x02d3 000002bd: PUSH1 0x04 000002bf: DUP1 000002c0: CALLDATASIZE 000002c1: SUB 000002c2: DUP2 000002c3: ADD 000002c4: SWAP1 000002c5: PUSH2 0x02ce 000002c8: SWAP2 000002c9: SWAP1 000002ca: PUSH2 0x115d 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH2 0x098a 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: PUSH2 0x02e0 000002da: SWAP2 000002db: SWAP1 000002dc: PUSH2 0x139f 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: DUP1 000002e5: SWAP2 000002e6: SUB 000002e7: SWAP1 000002e8: RETURN 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x0310 000002fa: PUSH1 0x04 000002fc: DUP1 000002fd: CALLDATASIZE 000002fe: SUB 000002ff: DUP2 00000300: ADD 00000301: SWAP1 00000302: PUSH2 0x030b 00000305: SWAP2 00000306: SWAP1 00000307: PUSH2 0x10c3 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH2 0x09c9 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH1 0x40 00000313: MLOAD 00000314: PUSH2 0x031d 00000317: SWAP2 00000318: SWAP1 00000319: PUSH2 0x155c 0000031c: JUMP 0000031d: JUMPDEST 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: DUP1 00000322: SWAP2 00000323: SUB 00000324: SWAP1 00000325: RETURN 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x033b 00000337: PUSH2 0x09e1 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH1 0x40 0000033e: MLOAD 0000033f: PUSH2 0x0348 00000342: SWAP2 00000343: SWAP1 00000344: PUSH2 0x1481 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: DUP1 0000034d: SWAP2 0000034e: SUB 0000034f: SWAP1 00000350: RETURN 00000351: JUMPDEST 00000352: PUSH1 0x01 00000354: PUSH1 0x00 00000356: SWAP1 00000357: SLOAD 00000358: SWAP1 00000359: PUSH2 0x0100 0000035c: EXP 0000035d: SWAP1 0000035e: DIV 0000035f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000374: AND 00000375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038a: AND 0000038b: CALLER 0000038c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a1: AND 000003a2: EQ 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: DUP1 000003ad: PUSH1 0x07 000003af: PUSH1 0x00 000003b1: PUSH2 0x0100 000003b4: EXP 000003b5: DUP2 000003b6: SLOAD 000003b7: DUP2 000003b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cd: MUL 000003ce: NOT 000003cf: AND 000003d0: SWAP1 000003d1: DUP4 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: MUL 000003e9: OR 000003ea: SWAP1 000003eb: SSTORE 000003ec: POP 000003ed: POP 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x04 000003f2: SLOAD 000003f3: DUP2 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x01 000003f8: PUSH1 0x00 000003fa: SWAP1 000003fb: SLOAD 000003fc: SWAP1 000003fd: PUSH2 0x0100 00000400: EXP 00000401: SWAP1 00000402: DIV 00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000418: AND 00000419: DUP2 0000041a: JUMP 0000041b: JUMPDEST 0000041c: PUSH1 0x03 0000041e: PUSH1 0x00 00000420: SWAP1 00000421: SLOAD 00000422: SWAP1 00000423: PUSH2 0x0100 00000426: EXP 00000427: SWAP1 00000428: DIV 00000429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043e: AND 0000043f: DUP2 00000440: JUMP 00000441: JUMPDEST 00000442: PUSH1 0x0a 00000444: SLOAD 00000445: DUP2 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH1 0x01 0000044a: PUSH1 0x00 0000044c: SWAP1 0000044d: SLOAD 0000044e: SWAP1 0000044f: PUSH2 0x0100 00000452: EXP 00000453: SWAP1 00000454: DIV 00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046a: AND 0000046b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000480: AND 00000481: CALLER 00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000497: AND 00000498: EQ 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: PUSH1 0x06 000004a4: SLOAD 000004a5: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: AND 000004dc: PUSH4 0x70a08231 000004e1: ADDRESS 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: DUP3 000004e6: PUSH4 0xffffffff 000004eb: AND 000004ec: PUSH1 0xe0 000004ee: SHL 000004ef: DUP2 000004f0: MSTORE 000004f1: PUSH1 0x04 000004f3: ADD 000004f4: PUSH2 0x04fd 000004f7: SWAP2 000004f8: SWAP1 000004f9: PUSH2 0x139f 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH1 0x20 00000500: PUSH1 0x40 00000502: MLOAD 00000503: DUP1 00000504: DUP4 00000505: SUB 00000506: DUP2 00000507: DUP7 00000508: DUP1 00000509: EXTCODESIZE 0000050a: ISZERO 0000050b: DUP1 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: POP 00000517: GAS 00000518: STATICCALL 00000519: ISZERO 0000051a: DUP1 0000051b: ISZERO 0000051c: PUSH2 0x0529 0000051f: JUMPI 00000520: RETURNDATASIZE 00000521: PUSH1 0x00 00000523: DUP1 00000524: RETURNDATACOPY 00000525: RETURNDATASIZE 00000526: PUSH1 0x00 00000528: REVERT 00000529: JUMPDEST 0000052a: POP 0000052b: POP 0000052c: POP 0000052d: POP 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: RETURNDATASIZE 00000532: PUSH1 0x1f 00000534: NOT 00000535: PUSH1 0x1f 00000537: DUP3 00000538: ADD 00000539: AND 0000053a: DUP3 0000053b: ADD 0000053c: DUP1 0000053d: PUSH1 0x40 0000053f: MSTORE 00000540: POP 00000541: DUP2 00000542: ADD 00000543: SWAP1 00000544: PUSH2 0x054d 00000547: SWAP2 00000548: SWAP1 00000549: PUSH2 0x118a 0000054c: JUMP 0000054d: JUMPDEST 0000054e: LT 0000054f: ISZERO 00000550: PUSH2 0x058e 00000553: JUMPI 00000554: PUSH1 0x40 00000556: MLOAD 00000557: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000578: DUP2 00000579: MSTORE 0000057a: PUSH1 0x04 0000057c: ADD 0000057d: PUSH2 0x0585 00000580: SWAP1 00000581: PUSH2 0x14dc 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x40 00000588: MLOAD 00000589: DUP1 0000058a: SWAP2 0000058b: SUB 0000058c: SWAP1 0000058d: REVERT 0000058e: JUMPDEST 0000058f: PUSH2 0x059c 00000592: PUSH1 0x05 00000594: SLOAD 00000595: PUSH1 0x06 00000597: SLOAD 00000598: PUSH2 0x0a07 0000059b: JUMP 0000059c: JUMPDEST 0000059d: POP 0000059e: JUMP 0000059f: JUMPDEST 000005a0: PUSH1 0x00 000005a2: CALLER 000005a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b8: AND 000005b9: PUSH1 0x03 000005bb: PUSH1 0x00 000005bd: SWAP1 000005be: SLOAD 000005bf: SWAP1 000005c0: PUSH2 0x0100 000005c3: EXP 000005c4: SWAP1 000005c5: DIV 000005c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005db: AND 000005dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f1: AND 000005f2: EQ 000005f3: SWAP1 000005f4: POP 000005f5: SWAP1 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 00000619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062e: AND 0000062f: CALLER 00000630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000645: AND 00000646: EQ 00000647: PUSH2 0x0685 0000064a: JUMPI 0000064b: PUSH1 0x40 0000064d: MLOAD 0000064e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x04 00000673: ADD 00000674: PUSH2 0x067c 00000677: SWAP1 00000678: PUSH2 0x153c 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: DUP1 00000681: SWAP2 00000682: SUB 00000683: SWAP1 00000684: REVERT 00000685: JUMPDEST 00000686: PUSH2 0x068f 00000689: DUP3 0000068a: DUP3 0000068b: PUSH2 0x0b66 0000068e: JUMP 0000068f: JUMPDEST 00000690: POP 00000691: POP 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x08 00000696: PUSH1 0x20 00000698: MSTORE 00000699: DUP1 0000069a: PUSH1 0x00 0000069c: MSTORE 0000069d: PUSH1 0x40 0000069f: PUSH1 0x00 000006a1: KECCAK256 000006a2: PUSH1 0x00 000006a4: SWAP2 000006a5: POP 000006a6: SLOAD 000006a7: SWAP1 000006a8: PUSH2 0x0100 000006ab: EXP 000006ac: SWAP1 000006ad: DIV 000006ae: PUSH1 0xff 000006b0: AND 000006b1: DUP2 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH6 0x048c27395000 000006bb: DUP2 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH1 0x00 000006c0: CALLER 000006c1: SWAP1 000006c2: POP 000006c3: PUSH1 0x00 000006c5: PUSH1 0x07 000006c7: PUSH1 0x00 000006c9: SWAP1 000006ca: SLOAD 000006cb: SWAP1 000006cc: PUSH2 0x0100 000006cf: EXP 000006d0: SWAP1 000006d1: DIV 000006d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e7: AND 000006e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fd: AND 000006fe: PUSH4 0x70a08231 00000703: DUP4 00000704: PUSH1 0x40 00000706: MLOAD 00000707: DUP3 00000708: PUSH4 0xffffffff 0000070d: AND 0000070e: PUSH1 0xe0 00000710: SHL 00000711: DUP2 00000712: MSTORE 00000713: PUSH1 0x04 00000715: ADD 00000716: PUSH2 0x071f 00000719: SWAP2 0000071a: SWAP1 0000071b: PUSH2 0x139f 0000071e: JUMP 0000071f: JUMPDEST 00000720: PUSH1 0x20 00000722: PUSH1 0x40 00000724: MLOAD 00000725: DUP1 00000726: DUP4 00000727: SUB 00000728: DUP2 00000729: DUP7 0000072a: DUP1 0000072b: EXTCODESIZE 0000072c: ISZERO 0000072d: DUP1 0000072e: ISZERO 0000072f: PUSH2 0x0737 00000732: JUMPI 00000733: PUSH1 0x00 00000735: DUP1 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: GAS 0000073a: STATICCALL 0000073b: ISZERO 0000073c: DUP1 0000073d: ISZERO 0000073e: PUSH2 0x074b 00000741: JUMPI 00000742: RETURNDATASIZE 00000743: PUSH1 0x00 00000745: DUP1 00000746: RETURNDATACOPY 00000747: RETURNDATASIZE 00000748: PUSH1 0x00 0000074a: REVERT 0000074b: JUMPDEST 0000074c: POP 0000074d: POP 0000074e: POP 0000074f: POP 00000750: PUSH1 0x40 00000752: MLOAD 00000753: RETURNDATASIZE 00000754: PUSH1 0x1f 00000756: NOT 00000757: PUSH1 0x1f 00000759: DUP3 0000075a: ADD 0000075b: AND 0000075c: DUP3 0000075d: ADD 0000075e: DUP1 0000075f: PUSH1 0x40 00000761: MSTORE 00000762: POP 00000763: DUP2 00000764: ADD 00000765: SWAP1 00000766: PUSH2 0x076f 00000769: SWAP2 0000076a: SWAP1 0000076b: PUSH2 0x118a 0000076e: JUMP 0000076f: JUMPDEST 00000770: SWAP1 00000771: POP 00000772: PUSH1 0x09 00000774: PUSH1 0x00 00000776: DUP4 00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078c: AND 0000078d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a2: AND 000007a3: DUP2 000007a4: MSTORE 000007a5: PUSH1 0x20 000007a7: ADD 000007a8: SWAP1 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x20 000007ad: ADD 000007ae: PUSH1 0x00 000007b0: KECCAK256 000007b1: SLOAD 000007b2: DUP2 000007b3: GT 000007b4: PUSH2 0x07f2 000007b7: JUMPI 000007b8: PUSH1 0x40 000007ba: MLOAD 000007bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007dc: DUP2 000007dd: MSTORE 000007de: PUSH1 0x04 000007e0: ADD 000007e1: PUSH2 0x07e9 000007e4: SWAP1 000007e5: PUSH2 0x14fc 000007e8: JUMP 000007e9: JUMPDEST 000007ea: PUSH1 0x40 000007ec: MLOAD 000007ed: DUP1 000007ee: SWAP2 000007ef: SUB 000007f0: SWAP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: PUSH6 0x048c27395000 000007fa: DUP2 000007fb: LT 000007fc: ISZERO 000007fd: PUSH2 0x083b 00000800: JUMPI 00000801: PUSH1 0x40 00000803: MLOAD 00000804: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x04 00000829: ADD 0000082a: PUSH2 0x0832 0000082d: SWAP1 0000082e: PUSH2 0x151c 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x40 00000835: MLOAD 00000836: DUP1 00000837: SWAP2 00000838: SUB 00000839: SWAP1 0000083a: REVERT 0000083b: JUMPDEST 0000083c: PUSH1 0x02 0000083e: DUP3 0000083f: SWAP1 00000840: DUP1 00000841: PUSH1 0x01 00000843: DUP2 00000844: SLOAD 00000845: ADD 00000846: DUP1 00000847: DUP3 00000848: SSTORE 00000849: DUP1 0000084a: SWAP2 0000084b: POP 0000084c: POP 0000084d: PUSH1 0x01 0000084f: SWAP1 00000850: SUB 00000851: SWAP1 00000852: PUSH1 0x00 00000854: MSTORE 00000855: PUSH1 0x20 00000857: PUSH1 0x00 00000859: KECCAK256 0000085a: ADD 0000085b: PUSH1 0x00 0000085d: SWAP1 0000085e: SWAP2 0000085f: SWAP1 00000860: SWAP2 00000861: SWAP1 00000862: SWAP2 00000863: PUSH2 0x0100 00000866: EXP 00000867: DUP2 00000868: SLOAD 00000869: DUP2 0000086a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087f: MUL 00000880: NOT 00000881: AND 00000882: SWAP1 00000883: DUP4 00000884: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000899: AND 0000089a: MUL 0000089b: OR 0000089c: SWAP1 0000089d: SSTORE 0000089e: POP 0000089f: PUSH1 0x01 000008a1: PUSH1 0x08 000008a3: PUSH1 0x00 000008a5: DUP5 000008a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bb: AND 000008bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d1: AND 000008d2: DUP2 000008d3: MSTORE 000008d4: PUSH1 0x20 000008d6: ADD 000008d7: SWAP1 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x20 000008dc: ADD 000008dd: PUSH1 0x00 000008df: KECCAK256 000008e0: PUSH1 0x00 000008e2: PUSH2 0x0100 000008e5: EXP 000008e6: DUP2 000008e7: SLOAD 000008e8: DUP2 000008e9: PUSH1 0xff 000008eb: MUL 000008ec: NOT 000008ed: AND 000008ee: SWAP1 000008ef: DUP4 000008f0: ISZERO 000008f1: ISZERO 000008f2: MUL 000008f3: OR 000008f4: SWAP1 000008f5: SSTORE 000008f6: POP 000008f7: DUP1 000008f8: PUSH1 0x09 000008fa: PUSH1 0x00 000008fc: DUP5 000008fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000912: AND 00000913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000928: AND 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: ADD 0000092e: SWAP1 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x20 00000933: ADD 00000934: PUSH1 0x00 00000936: KECCAK256 00000937: DUP2 00000938: SWAP1 00000939: SSTORE 0000093a: POP 0000093b: PUSH1 0x0a 0000093d: PUSH1 0x00 0000093f: DUP2 00000940: SLOAD 00000941: DUP1 00000942: SWAP3 00000943: SWAP2 00000944: SWAP1 00000945: PUSH2 0x094d 00000948: SWAP1 00000949: PUSH2 0x16f1 0000094c: JUMP 0000094d: JUMPDEST 0000094e: SWAP2 0000094f: SWAP1 00000950: POP 00000951: SSTORE 00000952: POP 00000953: PUSH8 0x1bc16d674ec80000 0000095c: SELFBALANCE 0000095d: LT 0000095e: ISZERO 0000095f: DUP1 00000960: ISZERO 00000961: PUSH2 0x0978 00000964: JUMPI 00000965: POP 00000966: PUSH1 0x00 00000968: PUSH1 0x64 0000096a: PUSH1 0x0a 0000096c: SLOAD 0000096d: PUSH2 0x0976 00000970: SWAP2 00000971: SWAP1 00000972: PUSH2 0x174e 00000975: JUMP 00000976: JUMPDEST 00000977: EQ 00000978: JUMPDEST 00000979: ISZERO 0000097a: PUSH2 0x0986 0000097d: JUMPI 0000097e: PUSH2 0x0985 00000981: PUSH2 0x0e46 00000984: JUMP 00000985: JUMPDEST 00000986: JUMPDEST 00000987: POP 00000988: POP 00000989: JUMP 0000098a: JUMPDEST 0000098b: PUSH1 0x02 0000098d: DUP2 0000098e: DUP2 0000098f: SLOAD 00000990: DUP2 00000991: LT 00000992: PUSH2 0x099a 00000995: JUMPI 00000996: PUSH1 0x00 00000998: DUP1 00000999: REVERT 0000099a: JUMPDEST 0000099b: SWAP1 0000099c: PUSH1 0x00 0000099e: MSTORE 0000099f: PUSH1 0x20 000009a1: PUSH1 0x00 000009a3: KECCAK256 000009a4: ADD 000009a5: PUSH1 0x00 000009a7: SWAP2 000009a8: POP 000009a9: SLOAD 000009aa: SWAP1 000009ab: PUSH2 0x0100 000009ae: EXP 000009af: SWAP1 000009b0: DIV 000009b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c6: AND 000009c7: DUP2 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x09 000009cc: PUSH1 0x20 000009ce: MSTORE 000009cf: DUP1 000009d0: PUSH1 0x00 000009d2: MSTORE 000009d3: PUSH1 0x40 000009d5: PUSH1 0x00 000009d7: KECCAK256 000009d8: PUSH1 0x00 000009da: SWAP2 000009db: POP 000009dc: SWAP1 000009dd: POP 000009de: SLOAD 000009df: DUP2 000009e0: JUMP 000009e1: JUMPDEST 000009e2: PUSH1 0x07 000009e4: PUSH1 0x00 000009e6: SWAP1 000009e7: SLOAD 000009e8: SWAP1 000009e9: PUSH2 0x0100 000009ec: EXP 000009ed: SWAP1 000009ee: DIV 000009ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a04: AND 00000a05: DUP2 00000a06: JUMP 00000a07: JUMPDEST 00000a08: PUSH1 0x00 00000a0a: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 00000a2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a40: AND 00000a41: PUSH4 0x4000aea0 00000a46: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 00000a67: DUP5 00000a68: DUP7 00000a69: PUSH1 0x00 00000a6b: PUSH1 0x40 00000a6d: MLOAD 00000a6e: PUSH1 0x20 00000a70: ADD 00000a71: PUSH2 0x0a7b 00000a74: SWAP3 00000a75: SWAP2 00000a76: SWAP1 00000a77: PUSH2 0x1413 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH1 0x40 00000a7e: MLOAD 00000a7f: PUSH1 0x20 00000a81: DUP2 00000a82: DUP4 00000a83: SUB 00000a84: SUB 00000a85: DUP2 00000a86: MSTORE 00000a87: SWAP1 00000a88: PUSH1 0x40 00000a8a: MSTORE 00000a8b: PUSH1 0x40 00000a8d: MLOAD 00000a8e: DUP5 00000a8f: PUSH4 0xffffffff 00000a94: AND 00000a95: PUSH1 0xe0 00000a97: SHL 00000a98: DUP2 00000a99: MSTORE 00000a9a: PUSH1 0x04 00000a9c: ADD 00000a9d: PUSH2 0x0aa8 00000aa0: SWAP4 00000aa1: SWAP3 00000aa2: SWAP2 00000aa3: SWAP1 00000aa4: PUSH2 0x13ba 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x20 00000aab: PUSH1 0x40 00000aad: MLOAD 00000aae: DUP1 00000aaf: DUP4 00000ab0: SUB 00000ab1: DUP2 00000ab2: PUSH1 0x00 00000ab4: DUP8 00000ab5: DUP1 00000ab6: EXTCODESIZE 00000ab7: ISZERO 00000ab8: DUP1 00000ab9: ISZERO 00000aba: PUSH2 0x0ac2 00000abd: JUMPI 00000abe: PUSH1 0x00 00000ac0: DUP1 00000ac1: REVERT 00000ac2: JUMPDEST 00000ac3: POP 00000ac4: GAS 00000ac5: CALL 00000ac6: ISZERO 00000ac7: DUP1 00000ac8: ISZERO 00000ac9: PUSH2 0x0ad6 00000acc: JUMPI 00000acd: RETURNDATASIZE 00000ace: PUSH1 0x00 00000ad0: DUP1 00000ad1: RETURNDATACOPY 00000ad2: RETURNDATASIZE 00000ad3: PUSH1 0x00 00000ad5: REVERT 00000ad6: JUMPDEST 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: POP 00000adb: PUSH1 0x40 00000add: MLOAD 00000ade: RETURNDATASIZE 00000adf: PUSH1 0x1f 00000ae1: NOT 00000ae2: PUSH1 0x1f 00000ae4: DUP3 00000ae5: ADD 00000ae6: AND 00000ae7: DUP3 00000ae8: ADD 00000ae9: DUP1 00000aea: PUSH1 0x40 00000aec: MSTORE 00000aed: POP 00000aee: DUP2 00000aef: ADD 00000af0: SWAP1 00000af1: PUSH2 0x0afa 00000af4: SWAP2 00000af5: SWAP1 00000af6: PUSH2 0x10f0 00000af9: JUMP 00000afa: JUMPDEST 00000afb: POP 00000afc: PUSH1 0x00 00000afe: PUSH2 0x0b1c 00000b01: DUP5 00000b02: PUSH1 0x00 00000b04: ADDRESS 00000b05: PUSH1 0x00 00000b07: DUP1 00000b08: DUP10 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: SWAP1 00000b0f: DUP2 00000b10: MSTORE 00000b11: PUSH1 0x20 00000b13: ADD 00000b14: PUSH1 0x00 00000b16: KECCAK256 00000b17: SLOAD 00000b18: PUSH2 0x0f44 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: SWAP1 00000b1e: POP 00000b1f: PUSH1 0x01 00000b21: PUSH1 0x00 00000b23: DUP1 00000b24: DUP7 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x20 00000b29: ADD 00000b2a: SWAP1 00000b2b: DUP2 00000b2c: MSTORE 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: PUSH1 0x00 00000b32: KECCAK256 00000b33: SLOAD 00000b34: PUSH2 0x0b3d 00000b37: SWAP2 00000b38: SWAP1 00000b39: PUSH2 0x15af 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x00 00000b40: DUP1 00000b41: DUP7 00000b42: DUP2 00000b43: MSTORE 00000b44: PUSH1 0x20 00000b46: ADD 00000b47: SWAP1 00000b48: DUP2 00000b49: MSTORE 00000b4a: PUSH1 0x20 00000b4c: ADD 00000b4d: PUSH1 0x00 00000b4f: KECCAK256 00000b50: DUP2 00000b51: SWAP1 00000b52: SSTORE 00000b53: POP 00000b54: PUSH2 0x0b5d 00000b57: DUP5 00000b58: DUP3 00000b59: PUSH2 0x0f80 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: SWAP2 00000b5f: POP 00000b60: POP 00000b61: SWAP3 00000b62: SWAP2 00000b63: POP 00000b64: POP 00000b65: JUMP 00000b66: JUMPDEST 00000b67: DUP1 00000b68: PUSH1 0x04 00000b6a: DUP2 00000b6b: SWAP1 00000b6c: SSTORE 00000b6d: POP 00000b6e: PUSH1 0x00 00000b70: PUSH1 0x02 00000b72: DUP1 00000b73: SLOAD 00000b74: SWAP1 00000b75: POP 00000b76: PUSH1 0x04 00000b78: SLOAD 00000b79: PUSH2 0x0b82 00000b7c: SWAP2 00000b7d: SWAP1 00000b7e: PUSH2 0x174e 00000b81: JUMP 00000b82: JUMPDEST 00000b83: SWAP1 00000b84: POP 00000b85: PUSH1 0x02 00000b87: DUP2 00000b88: DUP2 00000b89: SLOAD 00000b8a: DUP2 00000b8b: LT 00000b8c: PUSH2 0x0b98 00000b8f: JUMPI 00000b90: PUSH2 0x0b97 00000b93: PUSH2 0x17dd 00000b96: JUMP 00000b97: JUMPDEST 00000b98: JUMPDEST 00000b99: SWAP1 00000b9a: PUSH1 0x00 00000b9c: MSTORE 00000b9d: PUSH1 0x20 00000b9f: PUSH1 0x00 00000ba1: KECCAK256 00000ba2: ADD 00000ba3: PUSH1 0x00 00000ba5: SWAP1 00000ba6: SLOAD 00000ba7: SWAP1 00000ba8: PUSH2 0x0100 00000bab: EXP 00000bac: SWAP1 00000bad: DIV 00000bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc3: AND 00000bc4: PUSH1 0x03 00000bc6: PUSH1 0x00 00000bc8: PUSH2 0x0100 00000bcb: EXP 00000bcc: DUP2 00000bcd: SLOAD 00000bce: DUP2 00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be4: MUL 00000be5: NOT 00000be6: AND 00000be7: SWAP1 00000be8: DUP4 00000be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfe: AND 00000bff: MUL 00000c00: OR 00000c01: SWAP1 00000c02: SSTORE 00000c03: POP 00000c04: PUSH1 0x00 00000c06: PUSH1 0x02 00000c08: SELFBALANCE 00000c09: PUSH2 0x0c12 00000c0c: SWAP2 00000c0d: SWAP1 00000c0e: PUSH2 0x1605 00000c11: JUMP 00000c12: JUMPDEST 00000c13: SWAP1 00000c14: POP 00000c15: DUP1 00000c16: SELFBALANCE 00000c17: LT 00000c18: ISZERO 00000c19: PUSH2 0x0c57 00000c1c: JUMPI 00000c1d: PUSH1 0x40 00000c1f: MLOAD 00000c20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c41: DUP2 00000c42: MSTORE 00000c43: PUSH1 0x04 00000c45: ADD 00000c46: PUSH2 0x0c4e 00000c49: SWAP1 00000c4a: PUSH2 0x149c 00000c4d: JUMP 00000c4e: JUMPDEST 00000c4f: PUSH1 0x40 00000c51: MLOAD 00000c52: DUP1 00000c53: SWAP2 00000c54: SUB 00000c55: SWAP1 00000c56: REVERT 00000c57: JUMPDEST 00000c58: PUSH1 0x00 00000c5a: PUSH1 0x03 00000c5c: PUSH1 0x00 00000c5e: SWAP1 00000c5f: SLOAD 00000c60: SWAP1 00000c61: PUSH2 0x0100 00000c64: EXP 00000c65: SWAP1 00000c66: DIV 00000c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7c: AND 00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c92: AND 00000c93: DUP3 00000c94: PUSH1 0x40 00000c96: MLOAD 00000c97: PUSH2 0x0c9f 00000c9a: SWAP1 00000c9b: PUSH2 0x138a 00000c9e: JUMP 00000c9f: JUMPDEST 00000ca0: PUSH1 0x00 00000ca2: PUSH1 0x40 00000ca4: MLOAD 00000ca5: DUP1 00000ca6: DUP4 00000ca7: SUB 00000ca8: DUP2 00000ca9: DUP6 00000caa: DUP8 00000cab: GAS 00000cac: CALL 00000cad: SWAP3 00000cae: POP 00000caf: POP 00000cb0: POP 00000cb1: RETURNDATASIZE 00000cb2: DUP1 00000cb3: PUSH1 0x00 00000cb5: DUP2 00000cb6: EQ 00000cb7: PUSH2 0x0cdc 00000cba: JUMPI 00000cbb: PUSH1 0x40 00000cbd: MLOAD 00000cbe: SWAP2 00000cbf: POP 00000cc0: PUSH1 0x1f 00000cc2: NOT 00000cc3: PUSH1 0x3f 00000cc5: RETURNDATASIZE 00000cc6: ADD 00000cc7: AND 00000cc8: DUP3 00000cc9: ADD 00000cca: PUSH1 0x40 00000ccc: MSTORE 00000ccd: RETURNDATASIZE 00000cce: DUP3 00000ccf: MSTORE 00000cd0: RETURNDATASIZE 00000cd1: PUSH1 0x00 00000cd3: PUSH1 0x20 00000cd5: DUP5 00000cd6: ADD 00000cd7: RETURNDATACOPY 00000cd8: PUSH2 0x0ce1 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH1 0x60 00000cdf: SWAP2 00000ce0: POP 00000ce1: JUMPDEST 00000ce2: POP 00000ce3: POP 00000ce4: SWAP1 00000ce5: POP 00000ce6: DUP1 00000ce7: PUSH2 0x0d25 00000cea: JUMPI 00000ceb: PUSH1 0x40 00000ced: MLOAD 00000cee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d0f: DUP2 00000d10: MSTORE 00000d11: PUSH1 0x04 00000d13: ADD 00000d14: PUSH2 0x0d1c 00000d17: SWAP1 00000d18: PUSH2 0x14bc 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: PUSH1 0x40 00000d1f: MLOAD 00000d20: DUP1 00000d21: SWAP2 00000d22: SUB 00000d23: SWAP1 00000d24: REVERT 00000d25: JUMPDEST 00000d26: PUSH1 0x00 00000d28: PUSH8 0xffffffffffffffff 00000d31: DUP2 00000d32: GT 00000d33: ISZERO 00000d34: PUSH2 0x0d40 00000d37: JUMPI 00000d38: PUSH2 0x0d3f 00000d3b: PUSH2 0x180c 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: JUMPDEST 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: SWAP1 00000d45: DUP1 00000d46: DUP3 00000d47: MSTORE 00000d48: DUP1 00000d49: PUSH1 0x20 00000d4b: MUL 00000d4c: PUSH1 0x20 00000d4e: ADD 00000d4f: DUP3 00000d50: ADD 00000d51: PUSH1 0x40 00000d53: MSTORE 00000d54: DUP1 00000d55: ISZERO 00000d56: PUSH2 0x0d6e 00000d59: JUMPI 00000d5a: DUP2 00000d5b: PUSH1 0x20 00000d5d: ADD 00000d5e: PUSH1 0x20 00000d60: DUP3 00000d61: MUL 00000d62: DUP1 00000d63: CALLDATASIZE 00000d64: DUP4 00000d65: CALLDATACOPY 00000d66: DUP1 00000d67: DUP3 00000d68: ADD 00000d69: SWAP2 00000d6a: POP 00000d6b: POP 00000d6c: SWAP1 00000d6d: POP 00000d6e: JUMPDEST 00000d6f: POP 00000d70: PUSH1 0x02 00000d72: SWAP1 00000d73: DUP1 00000d74: MLOAD 00000d75: SWAP1 00000d76: PUSH1 0x20 00000d78: ADD 00000d79: SWAP1 00000d7a: PUSH2 0x0d84 00000d7d: SWAP3 00000d7e: SWAP2 00000d7f: SWAP1 00000d80: PUSH2 0x0fb3 00000d83: JUMP 00000d84: JUMPDEST 00000d85: POP 00000d86: PUSH1 0x00 00000d88: JUMPDEST 00000d89: PUSH1 0x02 00000d8b: DUP1 00000d8c: SLOAD 00000d8d: SWAP1 00000d8e: POP 00000d8f: DUP2 00000d90: LT 00000d91: ISZERO 00000d92: PUSH2 0x0e3e 00000d95: JUMPI 00000d96: PUSH1 0x00 00000d98: PUSH1 0x08 00000d9a: PUSH1 0x00 00000d9c: PUSH1 0x02 00000d9e: DUP5 00000d9f: DUP2 00000da0: SLOAD 00000da1: DUP2 00000da2: LT 00000da3: PUSH2 0x0daf 00000da6: JUMPI 00000da7: PUSH2 0x0dae 00000daa: PUSH2 0x17dd 00000dad: JUMP 00000dae: JUMPDEST 00000daf: JUMPDEST 00000db0: SWAP1 00000db1: PUSH1 0x00 00000db3: MSTORE 00000db4: PUSH1 0x20 00000db6: PUSH1 0x00 00000db8: KECCAK256 00000db9: ADD 00000dba: PUSH1 0x00 00000dbc: SWAP1 00000dbd: SLOAD 00000dbe: SWAP1 00000dbf: PUSH2 0x0100 00000dc2: EXP 00000dc3: SWAP1 00000dc4: DIV 00000dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dda: AND 00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df0: AND 00000df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e06: AND 00000e07: DUP2 00000e08: MSTORE 00000e09: PUSH1 0x20 00000e0b: ADD 00000e0c: SWAP1 00000e0d: DUP2 00000e0e: MSTORE 00000e0f: PUSH1 0x20 00000e11: ADD 00000e12: PUSH1 0x00 00000e14: KECCAK256 00000e15: PUSH1 0x00 00000e17: PUSH2 0x0100 00000e1a: EXP 00000e1b: DUP2 00000e1c: SLOAD 00000e1d: DUP2 00000e1e: PUSH1 0xff 00000e20: MUL 00000e21: NOT 00000e22: AND 00000e23: SWAP1 00000e24: DUP4 00000e25: ISZERO 00000e26: ISZERO 00000e27: MUL 00000e28: OR 00000e29: SWAP1 00000e2a: SSTORE 00000e2b: POP 00000e2c: DUP1 00000e2d: DUP1 00000e2e: PUSH2 0x0e36 00000e31: SWAP1 00000e32: PUSH2 0x16f1 00000e35: JUMP 00000e36: JUMPDEST 00000e37: SWAP2 00000e38: POP 00000e39: POP 00000e3a: PUSH2 0x0d88 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: POP 00000e43: POP 00000e44: POP 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH1 0x06 00000e49: SLOAD 00000e4a: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e80: AND 00000e81: PUSH4 0x70a08231 00000e86: ADDRESS 00000e87: PUSH1 0x40 00000e89: MLOAD 00000e8a: DUP3 00000e8b: PUSH4 0xffffffff 00000e90: AND 00000e91: PUSH1 0xe0 00000e93: SHL 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x04 00000e98: ADD 00000e99: PUSH2 0x0ea2 00000e9c: SWAP2 00000e9d: SWAP1 00000e9e: PUSH2 0x139f 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: PUSH1 0x20 00000ea5: PUSH1 0x40 00000ea7: MLOAD 00000ea8: DUP1 00000ea9: DUP4 00000eaa: SUB 00000eab: DUP2 00000eac: DUP7 00000ead: DUP1 00000eae: EXTCODESIZE 00000eaf: ISZERO 00000eb0: DUP1 00000eb1: ISZERO 00000eb2: PUSH2 0x0eba 00000eb5: JUMPI 00000eb6: PUSH1 0x00 00000eb8: DUP1 00000eb9: REVERT 00000eba: JUMPDEST 00000ebb: POP 00000ebc: GAS 00000ebd: STATICCALL 00000ebe: ISZERO 00000ebf: DUP1 00000ec0: ISZERO 00000ec1: PUSH2 0x0ece 00000ec4: JUMPI 00000ec5: RETURNDATASIZE 00000ec6: PUSH1 0x00 00000ec8: DUP1 00000ec9: RETURNDATACOPY 00000eca: RETURNDATASIZE 00000ecb: PUSH1 0x00 00000ecd: REVERT 00000ece: JUMPDEST 00000ecf: POP 00000ed0: POP 00000ed1: POP 00000ed2: POP 00000ed3: PUSH1 0x40 00000ed5: MLOAD 00000ed6: RETURNDATASIZE 00000ed7: PUSH1 0x1f 00000ed9: NOT 00000eda: PUSH1 0x1f 00000edc: DUP3 00000edd: ADD 00000ede: AND 00000edf: DUP3 00000ee0: ADD 00000ee1: DUP1 00000ee2: PUSH1 0x40 00000ee4: MSTORE 00000ee5: POP 00000ee6: DUP2 00000ee7: ADD 00000ee8: SWAP1 00000ee9: PUSH2 0x0ef2 00000eec: SWAP2 00000eed: SWAP1 00000eee: PUSH2 0x118a 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: LT 00000ef4: ISZERO 00000ef5: PUSH2 0x0f33 00000ef8: JUMPI 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f1d: DUP2 00000f1e: MSTORE 00000f1f: PUSH1 0x04 00000f21: ADD 00000f22: PUSH2 0x0f2a 00000f25: SWAP1 00000f26: PUSH2 0x14dc 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: PUSH1 0x40 00000f2d: MLOAD 00000f2e: DUP1 00000f2f: SWAP2 00000f30: SUB 00000f31: SWAP1 00000f32: REVERT 00000f33: JUMPDEST 00000f34: PUSH2 0x0f41 00000f37: PUSH1 0x05 00000f39: SLOAD 00000f3a: PUSH1 0x06 00000f3c: SLOAD 00000f3d: PUSH2 0x0a07 00000f40: JUMP 00000f41: JUMPDEST 00000f42: POP 00000f43: JUMP 00000f44: JUMPDEST 00000f45: PUSH1 0x00 00000f47: DUP5 00000f48: DUP5 00000f49: DUP5 00000f4a: DUP5 00000f4b: PUSH1 0x40 00000f4d: MLOAD 00000f4e: PUSH1 0x20 00000f50: ADD 00000f51: PUSH2 0x0f5d 00000f54: SWAP5 00000f55: SWAP4 00000f56: SWAP3 00000f57: SWAP2 00000f58: SWAP1 00000f59: PUSH2 0x143c 00000f5c: JUMP 00000f5d: JUMPDEST 00000f5e: PUSH1 0x40 00000f60: MLOAD 00000f61: PUSH1 0x20 00000f63: DUP2 00000f64: DUP4 00000f65: SUB 00000f66: SUB 00000f67: DUP2 00000f68: MSTORE 00000f69: SWAP1 00000f6a: PUSH1 0x40 00000f6c: MSTORE 00000f6d: DUP1 00000f6e: MLOAD 00000f6f: SWAP1 00000f70: PUSH1 0x20 00000f72: ADD 00000f73: KECCAK256 00000f74: PUSH1 0x00 00000f76: SHR 00000f77: SWAP1 00000f78: POP 00000f79: SWAP5 00000f7a: SWAP4 00000f7b: POP 00000f7c: POP 00000f7d: POP 00000f7e: POP 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x00 00000f83: DUP3 00000f84: DUP3 00000f85: PUSH1 0x40 00000f87: MLOAD 00000f88: PUSH1 0x20 00000f8a: ADD 00000f8b: PUSH2 0x0f95 00000f8e: SWAP3 00000f8f: SWAP2 00000f90: SWAP1 00000f91: PUSH2 0x135e 00000f94: JUMP 00000f95: JUMPDEST 00000f96: PUSH1 0x40 00000f98: MLOAD 00000f99: PUSH1 0x20 00000f9b: DUP2 00000f9c: DUP4 00000f9d: SUB 00000f9e: SUB 00000f9f: DUP2 00000fa0: MSTORE 00000fa1: SWAP1 00000fa2: PUSH1 0x40 00000fa4: MSTORE 00000fa5: DUP1 00000fa6: MLOAD 00000fa7: SWAP1 00000fa8: PUSH1 0x20 00000faa: ADD 00000fab: KECCAK256 00000fac: SWAP1 00000fad: POP 00000fae: SWAP3 00000faf: SWAP2 00000fb0: POP 00000fb1: POP 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: DUP3 00000fb5: DUP1 00000fb6: SLOAD 00000fb7: DUP3 00000fb8: DUP3 00000fb9: SSTORE 00000fba: SWAP1 00000fbb: PUSH1 0x00 00000fbd: MSTORE 00000fbe: PUSH1 0x20 00000fc0: PUSH1 0x00 00000fc2: KECCAK256 00000fc3: SWAP1 00000fc4: DUP2 00000fc5: ADD 00000fc6: SWAP3 00000fc7: DUP3 00000fc8: ISZERO 00000fc9: PUSH2 0x102c 00000fcc: JUMPI 00000fcd: SWAP2 00000fce: PUSH1 0x20 00000fd0: MUL 00000fd1: DUP3 00000fd2: ADD 00000fd3: JUMPDEST 00000fd4: DUP3 00000fd5: DUP2 00000fd6: GT 00000fd7: ISZERO 00000fd8: PUSH2 0x102b 00000fdb: JUMPI 00000fdc: DUP3 00000fdd: MLOAD 00000fde: DUP3 00000fdf: PUSH1 0x00 00000fe1: PUSH2 0x0100 00000fe4: EXP 00000fe5: DUP2 00000fe6: SLOAD 00000fe7: DUP2 00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffd: MUL 00000ffe: NOT 00000fff: AND 00001000: SWAP1 00001001: DUP4 00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001017: AND 00001018: MUL 00001019: OR 0000101a: SWAP1 0000101b: SSTORE 0000101c: POP 0000101d: SWAP2 0000101e: PUSH1 0x20 00001020: ADD 00001021: SWAP2 00001022: SWAP1 00001023: PUSH1 0x01 00001025: ADD 00001026: SWAP1 00001027: PUSH2 0x0fd3 0000102a: JUMP 0000102b: JUMPDEST 0000102c: JUMPDEST 0000102d: POP 0000102e: SWAP1 0000102f: POP 00001030: PUSH2 0x1039 00001033: SWAP2 00001034: SWAP1 00001035: PUSH2 0x103d 00001038: JUMP 00001039: JUMPDEST 0000103a: POP 0000103b: SWAP1 0000103c: JUMP 0000103d: JUMPDEST 0000103e: JUMPDEST 0000103f: DUP1 00001040: DUP3 00001041: GT 00001042: ISZERO 00001043: PUSH2 0x1056 00001046: JUMPI 00001047: PUSH1 0x00 00001049: DUP2 0000104a: PUSH1 0x00 0000104c: SWAP1 0000104d: SSTORE 0000104e: POP 0000104f: PUSH1 0x01 00001051: ADD 00001052: PUSH2 0x103e 00001055: JUMP 00001056: JUMPDEST 00001057: POP 00001058: SWAP1 00001059: JUMP 0000105a: JUMPDEST 0000105b: PUSH1 0x00 0000105d: DUP2 0000105e: CALLDATALOAD 0000105f: SWAP1 00001060: POP 00001061: PUSH2 0x1069 00001064: DUP2 00001065: PUSH2 0x19bc 00001068: JUMP 00001069: JUMPDEST 0000106a: SWAP3 0000106b: SWAP2 0000106c: POP 0000106d: POP 0000106e: JUMP 0000106f: JUMPDEST 00001070: PUSH1 0x00 00001072: DUP2 00001073: MLOAD 00001074: SWAP1 00001075: POP 00001076: PUSH2 0x107e 00001079: DUP2 0000107a: PUSH2 0x19d3 0000107d: JUMP 0000107e: JUMPDEST 0000107f: SWAP3 00001080: SWAP2 00001081: POP 00001082: POP 00001083: JUMP 00001084: JUMPDEST 00001085: PUSH1 0x00 00001087: DUP2 00001088: CALLDATALOAD 00001089: SWAP1 0000108a: POP 0000108b: PUSH2 0x1093 0000108e: DUP2 0000108f: PUSH2 0x19ea 00001092: JUMP 00001093: JUMPDEST 00001094: SWAP3 00001095: SWAP2 00001096: POP 00001097: POP 00001098: JUMP 00001099: JUMPDEST 0000109a: PUSH1 0x00 0000109c: DUP2 0000109d: CALLDATALOAD 0000109e: SWAP1 0000109f: POP 000010a0: PUSH2 0x10a8 000010a3: DUP2 000010a4: PUSH2 0x1a01 000010a7: JUMP 000010a8: JUMPDEST 000010a9: SWAP3 000010aa: SWAP2 000010ab: POP 000010ac: POP 000010ad: JUMP 000010ae: JUMPDEST 000010af: PUSH1 0x00 000010b1: DUP2 000010b2: MLOAD 000010b3: SWAP1 000010b4: POP 000010b5: PUSH2 0x10bd 000010b8: DUP2 000010b9: PUSH2 0x1a01 000010bc: JUMP 000010bd: JUMPDEST 000010be: SWAP3 000010bf: SWAP2 000010c0: POP 000010c1: POP 000010c2: JUMP 000010c3: JUMPDEST 000010c4: PUSH1 0x00 000010c6: PUSH1 0x20 000010c8: DUP3 000010c9: DUP5 000010ca: SUB 000010cb: SLT 000010cc: ISZERO 000010cd: PUSH2 0x10d9 000010d0: JUMPI 000010d1: PUSH2 0x10d8 000010d4: PUSH2 0x183b 000010d7: JUMP 000010d8: JUMPDEST 000010d9: JUMPDEST 000010da: PUSH1 0x00 000010dc: PUSH2 0x10e7 000010df: DUP5 000010e0: DUP3 000010e1: DUP6 000010e2: ADD 000010e3: PUSH2 0x105a 000010e6: JUMP 000010e7: JUMPDEST 000010e8: SWAP2 000010e9: POP 000010ea: POP 000010eb: SWAP3 000010ec: SWAP2 000010ed: POP 000010ee: POP 000010ef: JUMP 000010f0: JUMPDEST 000010f1: PUSH1 0x00 000010f3: PUSH1 0x20 000010f5: DUP3 000010f6: DUP5 000010f7: SUB 000010f8: SLT 000010f9: ISZERO 000010fa: PUSH2 0x1106 000010fd: JUMPI 000010fe: PUSH2 0x1105 00001101: PUSH2 0x183b 00001104: JUMP 00001105: JUMPDEST 00001106: JUMPDEST 00001107: PUSH1 0x00 00001109: PUSH2 0x1114 0000110c: DUP5 0000110d: DUP3 0000110e: DUP6 0000110f: ADD 00001110: PUSH2 0x106f 00001113: JUMP 00001114: JUMPDEST 00001115: SWAP2 00001116: POP 00001117: POP 00001118: SWAP3 00001119: SWAP2 0000111a: POP 0000111b: POP 0000111c: JUMP 0000111d: JUMPDEST 0000111e: PUSH1 0x00 00001120: DUP1 00001121: PUSH1 0x40 00001123: DUP4 00001124: DUP6 00001125: SUB 00001126: SLT 00001127: ISZERO 00001128: PUSH2 0x1134 0000112b: JUMPI 0000112c: PUSH2 0x1133 0000112f: PUSH2 0x183b 00001132: JUMP 00001133: JUMPDEST 00001134: JUMPDEST 00001135: PUSH1 0x00 00001137: PUSH2 0x1142 0000113a: DUP6 0000113b: DUP3 0000113c: DUP7 0000113d: ADD 0000113e: PUSH2 0x1084 00001141: JUMP 00001142: JUMPDEST 00001143: SWAP3 00001144: POP 00001145: POP 00001146: PUSH1 0x20 00001148: PUSH2 0x1153 0000114b: DUP6 0000114c: DUP3 0000114d: DUP7 0000114e: ADD 0000114f: PUSH2 0x1099 00001152: JUMP 00001153: JUMPDEST 00001154: SWAP2 00001155: POP 00001156: POP 00001157: SWAP3 00001158: POP 00001159: SWAP3 0000115a: SWAP1 0000115b: POP 0000115c: JUMP 0000115d: JUMPDEST 0000115e: PUSH1 0x00 00001160: PUSH1 0x20 00001162: DUP3 00001163: DUP5 00001164: SUB 00001165: SLT 00001166: ISZERO 00001167: PUSH2 0x1173 0000116a: JUMPI 0000116b: PUSH2 0x1172 0000116e: PUSH2 0x183b 00001171: JUMP 00001172: JUMPDEST 00001173: JUMPDEST 00001174: PUSH1 0x00 00001176: PUSH2 0x1181 00001179: DUP5 0000117a: DUP3 0000117b: DUP6 0000117c: ADD 0000117d: PUSH2 0x1099 00001180: JUMP 00001181: JUMPDEST 00001182: SWAP2 00001183: POP 00001184: POP 00001185: SWAP3 00001186: SWAP2 00001187: POP 00001188: POP 00001189: JUMP 0000118a: JUMPDEST 0000118b: PUSH1 0x00 0000118d: PUSH1 0x20 0000118f: DUP3 00001190: DUP5 00001191: SUB 00001192: SLT 00001193: ISZERO 00001194: PUSH2 0x11a0 00001197: JUMPI 00001198: PUSH2 0x119f 0000119b: PUSH2 0x183b 0000119e: JUMP 0000119f: JUMPDEST 000011a0: JUMPDEST 000011a1: PUSH1 0x00 000011a3: PUSH2 0x11ae 000011a6: DUP5 000011a7: DUP3 000011a8: DUP6 000011a9: ADD 000011aa: PUSH2 0x10ae 000011ad: JUMP 000011ae: JUMPDEST 000011af: SWAP2 000011b0: POP 000011b1: POP 000011b2: SWAP3 000011b3: SWAP2 000011b4: POP 000011b5: POP 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH2 0x11c0 000011bb: DUP2 000011bc: PUSH2 0x1636 000011bf: JUMP 000011c0: JUMPDEST 000011c1: DUP3 000011c2: MSTORE 000011c3: POP 000011c4: POP 000011c5: JUMP 000011c6: JUMPDEST 000011c7: PUSH2 0x11cf 000011ca: DUP2 000011cb: PUSH2 0x1648 000011ce: JUMP 000011cf: JUMPDEST 000011d0: DUP3 000011d1: MSTORE 000011d2: POP 000011d3: POP 000011d4: JUMP 000011d5: JUMPDEST 000011d6: PUSH2 0x11de 000011d9: DUP2 000011da: PUSH2 0x1654 000011dd: JUMP 000011de: JUMPDEST 000011df: DUP3 000011e0: MSTORE 000011e1: POP 000011e2: POP 000011e3: JUMP 000011e4: JUMPDEST 000011e5: PUSH2 0x11f5 000011e8: PUSH2 0x11f0 000011eb: DUP3 000011ec: PUSH2 0x1654 000011ef: JUMP 000011f0: JUMPDEST 000011f1: PUSH2 0x173a 000011f4: JUMP 000011f5: JUMPDEST 000011f6: DUP3 000011f7: MSTORE 000011f8: POP 000011f9: POP 000011fa: JUMP 000011fb: JUMPDEST 000011fc: PUSH1 0x00 000011fe: PUSH2 0x1206 00001201: DUP3 00001202: PUSH2 0x1577 00001205: JUMP 00001206: JUMPDEST 00001207: PUSH2 0x1210 0000120a: DUP2 0000120b: DUP6 0000120c: PUSH2 0x1582 0000120f: JUMP 00001210: JUMPDEST 00001211: SWAP4 00001212: POP 00001213: PUSH2 0x1220 00001216: DUP2 00001217: DUP6 00001218: PUSH1 0x20 0000121a: DUP7 0000121b: ADD 0000121c: PUSH2 0x16be 0000121f: JUMP 00001220: JUMPDEST 00001221: PUSH2 0x1229 00001224: DUP2 00001225: PUSH2 0x1840 00001228: JUMP 00001229: JUMPDEST 0000122a: DUP5 0000122b: ADD 0000122c: SWAP2 0000122d: POP 0000122e: POP 0000122f: SWAP3 00001230: SWAP2 00001231: POP 00001232: POP 00001233: JUMP 00001234: JUMPDEST 00001235: PUSH2 0x123d 00001238: DUP2 00001239: PUSH2 0x1688 0000123c: JUMP 0000123d: JUMPDEST 0000123e: DUP3 0000123f: MSTORE 00001240: POP 00001241: POP 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x00 00001246: PUSH2 0x1250 00001249: PUSH1 0x2c 0000124b: DUP4 0000124c: PUSH2 0x159e 0000124f: JUMP 00001250: JUMPDEST 00001251: SWAP2 00001252: POP 00001253: PUSH2 0x125b 00001256: DUP3 00001257: PUSH2 0x1851 0000125a: JUMP 0000125b: JUMPDEST 0000125c: PUSH1 0x40 0000125e: DUP3 0000125f: ADD 00001260: SWAP1 00001261: POP 00001262: SWAP2 00001263: SWAP1 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: PUSH2 0x1273 0000126c: PUSH1 0x14 0000126e: DUP4 0000126f: PUSH2 0x159e 00001272: JUMP 00001273: JUMPDEST 00001274: SWAP2 00001275: POP 00001276: PUSH2 0x127e 00001279: DUP3 0000127a: PUSH2 0x18a0 0000127d: JUMP 0000127e: JUMPDEST 0000127f: PUSH1 0x20 00001281: DUP3 00001282: ADD 00001283: SWAP1 00001284: POP 00001285: SWAP2 00001286: SWAP1 00001287: POP 00001288: JUMP 00001289: JUMPDEST 0000128a: PUSH1 0x00 0000128c: PUSH2 0x1296 0000128f: PUSH1 0x2b 00001291: DUP4 00001292: PUSH2 0x159e 00001295: JUMP 00001296: JUMPDEST 00001297: SWAP2 00001298: POP 00001299: PUSH2 0x12a1 0000129c: DUP3 0000129d: PUSH2 0x18c9 000012a0: JUMP 000012a1: JUMPDEST 000012a2: PUSH1 0x40 000012a4: DUP3 000012a5: ADD 000012a6: SWAP1 000012a7: POP 000012a8: SWAP2 000012a9: SWAP1 000012aa: POP 000012ab: JUMP 000012ac: JUMPDEST 000012ad: PUSH1 0x00 000012af: PUSH2 0x12b9 000012b2: PUSH1 0x31 000012b4: DUP4 000012b5: PUSH2 0x159e 000012b8: JUMP 000012b9: JUMPDEST 000012ba: SWAP2 000012bb: POP 000012bc: PUSH2 0x12c4 000012bf: DUP3 000012c0: PUSH2 0x1918 000012c3: JUMP 000012c4: JUMPDEST 000012c5: PUSH1 0x40 000012c7: DUP3 000012c8: ADD 000012c9: SWAP1 000012ca: POP 000012cb: SWAP2 000012cc: SWAP1 000012cd: POP 000012ce: JUMP 000012cf: JUMPDEST 000012d0: PUSH1 0x00 000012d2: PUSH2 0x12dc 000012d5: PUSH1 0x20 000012d7: DUP4 000012d8: PUSH2 0x159e 000012db: JUMP 000012dc: JUMPDEST 000012dd: SWAP2 000012de: POP 000012df: PUSH2 0x12e7 000012e2: DUP3 000012e3: PUSH2 0x1967 000012e6: JUMP 000012e7: JUMPDEST 000012e8: PUSH1 0x20 000012ea: DUP3 000012eb: ADD 000012ec: SWAP1 000012ed: POP 000012ee: SWAP2 000012ef: SWAP1 000012f0: POP 000012f1: JUMP 000012f2: JUMPDEST 000012f3: PUSH1 0x00 000012f5: PUSH2 0x12ff 000012f8: PUSH1 0x1f 000012fa: DUP4 000012fb: PUSH2 0x159e 000012fe: JUMP 000012ff: JUMPDEST 00001300: SWAP2 00001301: POP 00001302: PUSH2 0x130a 00001305: DUP3 00001306: PUSH2 0x1990 00001309: JUMP 0000130a: JUMPDEST 0000130b: PUSH1 0x20 0000130d: DUP3 0000130e: ADD 0000130f: SWAP1 00001310: POP 00001311: SWAP2 00001312: SWAP1 00001313: POP 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x00 00001318: PUSH2 0x1322 0000131b: PUSH1 0x00 0000131d: DUP4 0000131e: PUSH2 0x1593 00001321: JUMP 00001322: JUMPDEST 00001323: SWAP2 00001324: POP 00001325: PUSH2 0x132d 00001328: DUP3 00001329: PUSH2 0x19b9 0000132c: JUMP 0000132d: JUMPDEST 0000132e: PUSH1 0x00 00001330: DUP3 00001331: ADD 00001332: SWAP1 00001333: POP 00001334: SWAP2 00001335: SWAP1 00001336: POP 00001337: JUMP 00001338: JUMPDEST 00001339: PUSH2 0x1341 0000133c: DUP2 0000133d: PUSH2 0x167e 00001340: JUMP 00001341: JUMPDEST 00001342: DUP3 00001343: MSTORE 00001344: POP 00001345: POP 00001346: JUMP 00001347: JUMPDEST 00001348: PUSH2 0x1358 0000134b: PUSH2 0x1353 0000134e: DUP3 0000134f: PUSH2 0x167e 00001352: JUMP 00001353: JUMPDEST 00001354: PUSH2 0x1744 00001357: JUMP 00001358: JUMPDEST 00001359: DUP3 0000135a: MSTORE 0000135b: POP 0000135c: POP 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH1 0x00 00001361: PUSH2 0x136a 00001364: DUP3 00001365: DUP6 00001366: PUSH2 0x11e4 00001369: JUMP 0000136a: JUMPDEST 0000136b: PUSH1 0x20 0000136d: DUP3 0000136e: ADD 0000136f: SWAP2 00001370: POP 00001371: PUSH2 0x137a 00001374: DUP3 00001375: DUP5 00001376: PUSH2 0x1347 00001379: JUMP 0000137a: JUMPDEST 0000137b: PUSH1 0x20 0000137d: DUP3 0000137e: ADD 0000137f: SWAP2 00001380: POP 00001381: DUP2 00001382: SWAP1 00001383: POP 00001384: SWAP4 00001385: SWAP3 00001386: POP 00001387: POP 00001388: POP 00001389: JUMP 0000138a: JUMPDEST 0000138b: PUSH1 0x00 0000138d: PUSH2 0x1395 00001390: DUP3 00001391: PUSH2 0x1315 00001394: JUMP 00001395: JUMPDEST 00001396: SWAP2 00001397: POP 00001398: DUP2 00001399: SWAP1 0000139a: POP 0000139b: SWAP2 0000139c: SWAP1 0000139d: POP 0000139e: JUMP 0000139f: JUMPDEST 000013a0: PUSH1 0x00 000013a2: PUSH1 0x20 000013a4: DUP3 000013a5: ADD 000013a6: SWAP1 000013a7: POP 000013a8: PUSH2 0x13b4 000013ab: PUSH1 0x00 000013ad: DUP4 000013ae: ADD 000013af: DUP5 000013b0: PUSH2 0x11b7 000013b3: JUMP 000013b4: JUMPDEST 000013b5: SWAP3 000013b6: SWAP2 000013b7: POP 000013b8: POP 000013b9: JUMP 000013ba: JUMPDEST 000013bb: PUSH1 0x00 000013bd: PUSH1 0x60 000013bf: DUP3 000013c0: ADD 000013c1: SWAP1 000013c2: POP 000013c3: PUSH2 0x13cf 000013c6: PUSH1 0x00 000013c8: DUP4 000013c9: ADD 000013ca: DUP7 000013cb: PUSH2 0x11b7 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH2 0x13dc 000013d3: PUSH1 0x20 000013d5: DUP4 000013d6: ADD 000013d7: DUP6 000013d8: PUSH2 0x1338 000013db: JUMP 000013dc: JUMPDEST 000013dd: DUP2 000013de: DUP2 000013df: SUB 000013e0: PUSH1 0x40 000013e2: DUP4 000013e3: ADD 000013e4: MSTORE 000013e5: PUSH2 0x13ee 000013e8: DUP2 000013e9: DUP5 000013ea: PUSH2 0x11fb 000013ed: JUMP 000013ee: JUMPDEST 000013ef: SWAP1 000013f0: POP 000013f1: SWAP5 000013f2: SWAP4 000013f3: POP 000013f4: POP 000013f5: POP 000013f6: POP 000013f7: JUMP 000013f8: JUMPDEST 000013f9: PUSH1 0x00 000013fb: PUSH1 0x20 000013fd: DUP3 000013fe: ADD 000013ff: SWAP1 00001400: POP 00001401: PUSH2 0x140d 00001404: PUSH1 0x00 00001406: DUP4 00001407: ADD 00001408: DUP5 00001409: PUSH2 0x11c6 0000140c: JUMP 0000140d: JUMPDEST 0000140e: SWAP3 0000140f: SWAP2 00001410: POP 00001411: POP 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH1 0x00 00001416: PUSH1 0x40 00001418: DUP3 00001419: ADD 0000141a: SWAP1 0000141b: POP 0000141c: PUSH2 0x1428 0000141f: PUSH1 0x00 00001421: DUP4 00001422: ADD 00001423: DUP6 00001424: PUSH2 0x11d5 00001427: JUMP 00001428: JUMPDEST 00001429: PUSH2 0x1435 0000142c: PUSH1 0x20 0000142e: DUP4 0000142f: ADD 00001430: DUP5 00001431: PUSH2 0x1338 00001434: JUMP 00001435: JUMPDEST 00001436: SWAP4 00001437: SWAP3 00001438: POP 00001439: POP 0000143a: POP 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x00 0000143f: PUSH1 0x80 00001441: DUP3 00001442: ADD 00001443: SWAP1 00001444: POP 00001445: PUSH2 0x1451 00001448: PUSH1 0x00 0000144a: DUP4 0000144b: ADD 0000144c: DUP8 0000144d: PUSH2 0x11d5 00001450: JUMP 00001451: JUMPDEST 00001452: PUSH2 0x145e 00001455: PUSH1 0x20 00001457: DUP4 00001458: ADD 00001459: DUP7 0000145a: PUSH2 0x1338 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH2 0x146b 00001462: PUSH1 0x40 00001464: DUP4 00001465: ADD 00001466: DUP6 00001467: PUSH2 0x11b7 0000146a: JUMP 0000146b: JUMPDEST 0000146c: PUSH2 0x1478 0000146f: PUSH1 0x60 00001471: DUP4 00001472: ADD 00001473: DUP5 00001474: PUSH2 0x1338 00001477: JUMP 00001478: JUMPDEST 00001479: SWAP6 0000147a: SWAP5 0000147b: POP 0000147c: POP 0000147d: POP 0000147e: POP 0000147f: POP 00001480: JUMP 00001481: JUMPDEST 00001482: PUSH1 0x00 00001484: PUSH1 0x20 00001486: DUP3 00001487: ADD 00001488: SWAP1 00001489: POP 0000148a: PUSH2 0x1496 0000148d: PUSH1 0x00 0000148f: DUP4 00001490: ADD 00001491: DUP5 00001492: PUSH2 0x1234 00001495: JUMP 00001496: JUMPDEST 00001497: SWAP3 00001498: SWAP2 00001499: POP 0000149a: POP 0000149b: JUMP 0000149c: JUMPDEST 0000149d: PUSH1 0x00 0000149f: PUSH1 0x20 000014a1: DUP3 000014a2: ADD 000014a3: SWAP1 000014a4: POP 000014a5: DUP2 000014a6: DUP2 000014a7: SUB 000014a8: PUSH1 0x00 000014aa: DUP4 000014ab: ADD 000014ac: MSTORE 000014ad: PUSH2 0x14b5 000014b0: DUP2 000014b1: PUSH2 0x1243 000014b4: JUMP 000014b5: JUMPDEST 000014b6: SWAP1 000014b7: POP 000014b8: SWAP2 000014b9: SWAP1 000014ba: POP 000014bb: JUMP 000014bc: JUMPDEST 000014bd: PUSH1 0x00 000014bf: PUSH1 0x20 000014c1: DUP3 000014c2: ADD 000014c3: SWAP1 000014c4: POP 000014c5: DUP2 000014c6: DUP2 000014c7: SUB 000014c8: PUSH1 0x00 000014ca: DUP4 000014cb: ADD 000014cc: MSTORE 000014cd: PUSH2 0x14d5 000014d0: DUP2 000014d1: PUSH2 0x1266 000014d4: JUMP 000014d5: JUMPDEST 000014d6: SWAP1 000014d7: POP 000014d8: SWAP2 000014d9: SWAP1 000014da: POP 000014db: JUMP 000014dc: JUMPDEST 000014dd: PUSH1 0x00 000014df: PUSH1 0x20 000014e1: DUP3 000014e2: ADD 000014e3: SWAP1 000014e4: POP 000014e5: DUP2 000014e6: DUP2 000014e7: SUB 000014e8: PUSH1 0x00 000014ea: DUP4 000014eb: ADD 000014ec: MSTORE 000014ed: PUSH2 0x14f5 000014f0: DUP2 000014f1: PUSH2 0x1289 000014f4: JUMP 000014f5: JUMPDEST 000014f6: SWAP1 000014f7: POP 000014f8: SWAP2 000014f9: SWAP1 000014fa: POP 000014fb: JUMP 000014fc: JUMPDEST 000014fd: PUSH1 0x00 000014ff: PUSH1 0x20 00001501: DUP3 00001502: ADD 00001503: SWAP1 00001504: POP 00001505: DUP2 00001506: DUP2 00001507: SUB 00001508: PUSH1 0x00 0000150a: DUP4 0000150b: ADD 0000150c: MSTORE 0000150d: PUSH2 0x1515 00001510: DUP2 00001511: PUSH2 0x12ac 00001514: JUMP 00001515: JUMPDEST 00001516: SWAP1 00001517: POP 00001518: SWAP2 00001519: SWAP1 0000151a: POP 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH1 0x00 0000151f: PUSH1 0x20 00001521: DUP3 00001522: ADD 00001523: SWAP1 00001524: POP 00001525: DUP2 00001526: DUP2 00001527: SUB 00001528: PUSH1 0x00 0000152a: DUP4 0000152b: ADD 0000152c: MSTORE 0000152d: PUSH2 0x1535 00001530: DUP2 00001531: PUSH2 0x12cf 00001534: JUMP 00001535: JUMPDEST 00001536: SWAP1 00001537: POP 00001538: SWAP2 00001539: SWAP1 0000153a: POP 0000153b: JUMP 0000153c: JUMPDEST 0000153d: PUSH1 0x00 0000153f: PUSH1 0x20 00001541: DUP3 00001542: ADD 00001543: SWAP1 00001544: POP 00001545: DUP2 00001546: DUP2 00001547: SUB 00001548: PUSH1 0x00 0000154a: DUP4 0000154b: ADD 0000154c: MSTORE 0000154d: PUSH2 0x1555 00001550: DUP2 00001551: PUSH2 0x12f2 00001554: JUMP 00001555: JUMPDEST 00001556: SWAP1 00001557: POP 00001558: SWAP2 00001559: SWAP1 0000155a: POP 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH1 0x00 0000155f: PUSH1 0x20 00001561: DUP3 00001562: ADD 00001563: SWAP1 00001564: POP 00001565: PUSH2 0x1571 00001568: PUSH1 0x00 0000156a: DUP4 0000156b: ADD 0000156c: DUP5 0000156d: PUSH2 0x1338 00001570: JUMP 00001571: JUMPDEST 00001572: SWAP3 00001573: SWAP2 00001574: POP 00001575: POP 00001576: JUMP 00001577: JUMPDEST 00001578: PUSH1 0x00 0000157a: DUP2 0000157b: MLOAD 0000157c: SWAP1 0000157d: POP 0000157e: SWAP2 0000157f: SWAP1 00001580: POP 00001581: JUMP 00001582: JUMPDEST 00001583: PUSH1 0x00 00001585: DUP3 00001586: DUP3 00001587: MSTORE 00001588: PUSH1 0x20 0000158a: DUP3 0000158b: ADD 0000158c: SWAP1 0000158d: POP 0000158e: SWAP3 0000158f: SWAP2 00001590: POP 00001591: POP 00001592: JUMP 00001593: JUMPDEST 00001594: PUSH1 0x00 00001596: DUP2 00001597: SWAP1 00001598: POP 00001599: SWAP3 0000159a: SWAP2 0000159b: POP 0000159c: POP 0000159d: JUMP 0000159e: JUMPDEST 0000159f: PUSH1 0x00 000015a1: DUP3 000015a2: DUP3 000015a3: MSTORE 000015a4: PUSH1 0x20 000015a6: DUP3 000015a7: ADD 000015a8: SWAP1 000015a9: POP 000015aa: SWAP3 000015ab: SWAP2 000015ac: POP 000015ad: POP 000015ae: JUMP 000015af: JUMPDEST 000015b0: PUSH1 0x00 000015b2: PUSH2 0x15ba 000015b5: DUP3 000015b6: PUSH2 0x167e 000015b9: JUMP 000015ba: JUMPDEST 000015bb: SWAP2 000015bc: POP 000015bd: PUSH2 0x15c5 000015c0: DUP4 000015c1: PUSH2 0x167e 000015c4: JUMP 000015c5: JUMPDEST 000015c6: SWAP3 000015c7: POP 000015c8: DUP3 000015c9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000015ea: SUB 000015eb: DUP3 000015ec: GT 000015ed: ISZERO 000015ee: PUSH2 0x15fa 000015f1: JUMPI 000015f2: PUSH2 0x15f9 000015f5: PUSH2 0x177f 000015f8: JUMP 000015f9: JUMPDEST 000015fa: JUMPDEST 000015fb: DUP3 000015fc: DUP3 000015fd: ADD 000015fe: SWAP1 000015ff: POP 00001600: SWAP3 00001601: SWAP2 00001602: POP 00001603: POP 00001604: JUMP 00001605: JUMPDEST 00001606: PUSH1 0x00 00001608: PUSH2 0x1610 0000160b: DUP3 0000160c: PUSH2 0x167e 0000160f: JUMP 00001610: JUMPDEST 00001611: SWAP2 00001612: POP 00001613: PUSH2 0x161b 00001616: DUP4 00001617: PUSH2 0x167e 0000161a: JUMP 0000161b: JUMPDEST 0000161c: SWAP3 0000161d: POP 0000161e: DUP3 0000161f: PUSH2 0x162b 00001622: JUMPI 00001623: PUSH2 0x162a 00001626: PUSH2 0x17ae 00001629: JUMP 0000162a: JUMPDEST 0000162b: JUMPDEST 0000162c: DUP3 0000162d: DUP3 0000162e: DIV 0000162f: SWAP1 00001630: POP 00001631: SWAP3 00001632: SWAP2 00001633: POP 00001634: POP 00001635: JUMP 00001636: JUMPDEST 00001637: PUSH1 0x00 00001639: PUSH2 0x1641 0000163c: DUP3 0000163d: PUSH2 0x165e 00001640: JUMP 00001641: JUMPDEST 00001642: SWAP1 00001643: POP 00001644: SWAP2 00001645: SWAP1 00001646: POP 00001647: JUMP 00001648: JUMPDEST 00001649: PUSH1 0x00 0000164b: DUP2 0000164c: ISZERO 0000164d: ISZERO 0000164e: SWAP1 0000164f: POP 00001650: SWAP2 00001651: SWAP1 00001652: POP 00001653: JUMP 00001654: JUMPDEST 00001655: PUSH1 0x00 00001657: DUP2 00001658: SWAP1 00001659: POP 0000165a: SWAP2 0000165b: SWAP1 0000165c: POP 0000165d: JUMP 0000165e: JUMPDEST 0000165f: PUSH1 0x00 00001661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001676: DUP3 00001677: AND 00001678: SWAP1 00001679: POP 0000167a: SWAP2 0000167b: SWAP1 0000167c: POP 0000167d: JUMP 0000167e: JUMPDEST 0000167f: PUSH1 0x00 00001681: DUP2 00001682: SWAP1 00001683: POP 00001684: SWAP2 00001685: SWAP1 00001686: POP 00001687: JUMP 00001688: JUMPDEST 00001689: PUSH1 0x00 0000168b: PUSH2 0x1693 0000168e: DUP3 0000168f: PUSH2 0x169a 00001692: JUMP 00001693: JUMPDEST 00001694: SWAP1 00001695: POP 00001696: SWAP2 00001697: SWAP1 00001698: POP 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH1 0x00 0000169d: PUSH2 0x16a5 000016a0: DUP3 000016a1: PUSH2 0x16ac 000016a4: JUMP 000016a5: JUMPDEST 000016a6: SWAP1 000016a7: POP 000016a8: SWAP2 000016a9: SWAP1 000016aa: POP 000016ab: JUMP 000016ac: JUMPDEST 000016ad: PUSH1 0x00 000016af: PUSH2 0x16b7 000016b2: DUP3 000016b3: PUSH2 0x165e 000016b6: JUMP 000016b7: JUMPDEST 000016b8: SWAP1 000016b9: POP 000016ba: SWAP2 000016bb: SWAP1 000016bc: POP 000016bd: JUMP 000016be: JUMPDEST 000016bf: PUSH1 0x00 000016c1: JUMPDEST 000016c2: DUP4 000016c3: DUP2 000016c4: LT 000016c5: ISZERO 000016c6: PUSH2 0x16dc 000016c9: JUMPI 000016ca: DUP1 000016cb: DUP3 000016cc: ADD 000016cd: MLOAD 000016ce: DUP2 000016cf: DUP5 000016d0: ADD 000016d1: MSTORE 000016d2: PUSH1 0x20 000016d4: DUP2 000016d5: ADD 000016d6: SWAP1 000016d7: POP 000016d8: PUSH2 0x16c1 000016db: JUMP 000016dc: JUMPDEST 000016dd: DUP4 000016de: DUP2 000016df: GT 000016e0: ISZERO 000016e1: PUSH2 0x16eb 000016e4: JUMPI 000016e5: PUSH1 0x00 000016e7: DUP5 000016e8: DUP5 000016e9: ADD 000016ea: MSTORE 000016eb: JUMPDEST 000016ec: POP 000016ed: POP 000016ee: POP 000016ef: POP 000016f0: JUMP 000016f1: JUMPDEST 000016f2: PUSH1 0x00 000016f4: PUSH2 0x16fc 000016f7: DUP3 000016f8: PUSH2 0x167e 000016fb: JUMP 000016fc: JUMPDEST 000016fd: SWAP2 000016fe: POP 000016ff: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001720: DUP3 00001721: EQ 00001722: ISZERO 00001723: PUSH2 0x172f 00001726: JUMPI 00001727: PUSH2 0x172e 0000172a: PUSH2 0x177f 0000172d: JUMP 0000172e: JUMPDEST 0000172f: JUMPDEST 00001730: PUSH1 0x01 00001732: DUP3 00001733: ADD 00001734: SWAP1 00001735: POP 00001736: SWAP2 00001737: SWAP1 00001738: POP 00001739: JUMP 0000173a: JUMPDEST 0000173b: PUSH1 0x00 0000173d: DUP2 0000173e: SWAP1 0000173f: POP 00001740: SWAP2 00001741: SWAP1 00001742: POP 00001743: JUMP 00001744: JUMPDEST 00001745: PUSH1 0x00 00001747: DUP2 00001748: SWAP1 00001749: POP 0000174a: SWAP2 0000174b: SWAP1 0000174c: POP 0000174d: JUMP 0000174e: JUMPDEST 0000174f: PUSH1 0x00 00001751: PUSH2 0x1759 00001754: DUP3 00001755: PUSH2 0x167e 00001758: JUMP 00001759: JUMPDEST 0000175a: SWAP2 0000175b: POP 0000175c: PUSH2 0x1764 0000175f: DUP4 00001760: PUSH2 0x167e 00001763: JUMP 00001764: JUMPDEST 00001765: SWAP3 00001766: POP 00001767: DUP3 00001768: PUSH2 0x1774 0000176b: JUMPI 0000176c: PUSH2 0x1773 0000176f: PUSH2 0x17ae 00001772: JUMP 00001773: JUMPDEST 00001774: JUMPDEST 00001775: DUP3 00001776: DUP3 00001777: MOD 00001778: SWAP1 00001779: POP 0000177a: SWAP3 0000177b: SWAP2 0000177c: POP 0000177d: POP 0000177e: JUMP 0000177f: JUMPDEST 00001780: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000017a1: PUSH1 0x00 000017a3: MSTORE 000017a4: PUSH1 0x11 000017a6: PUSH1 0x04 000017a8: MSTORE 000017a9: PUSH1 0x24 000017ab: PUSH1 0x00 000017ad: REVERT 000017ae: JUMPDEST 000017af: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000017d0: PUSH1 0x00 000017d2: MSTORE 000017d3: PUSH1 0x12 000017d5: PUSH1 0x04 000017d7: MSTORE 000017d8: PUSH1 0x24 000017da: PUSH1 0x00 000017dc: REVERT 000017dd: JUMPDEST 000017de: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000017ff: PUSH1 0x00 00001801: MSTORE 00001802: PUSH1 0x32 00001804: PUSH1 0x04 00001806: MSTORE 00001807: PUSH1 0x24 00001809: PUSH1 0x00 0000180b: REVERT 0000180c: JUMPDEST 0000180d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000182e: PUSH1 0x00 00001830: MSTORE 00001831: PUSH1 0x41 00001833: PUSH1 0x04 00001835: MSTORE 00001836: PUSH1 0x24 00001838: PUSH1 0x00 0000183a: REVERT 0000183b: JUMPDEST 0000183c: PUSH1 0x00 0000183e: DUP1 0000183f: REVERT 00001840: JUMPDEST 00001841: PUSH1 0x00 00001843: PUSH1 0x1f 00001845: NOT 00001846: PUSH1 0x1f 00001848: DUP4 00001849: ADD 0000184a: AND 0000184b: SWAP1 0000184c: POP 0000184d: SWAP2 0000184e: SWAP1 0000184f: POP 00001850: JUMP 00001851: JUMPDEST 00001852: PUSH32 0x4e6f7420656e6f7567682062616c616e636520696e20636f6e74726163742074 00001873: PUSH1 0x00 00001875: DUP3 00001876: ADD 00001877: MSTORE 00001878: PUSH32 0x6f2073656e64207072697a650000000000000000000000000000000000000000 00001899: PUSH1 0x20 0000189b: DUP3 0000189c: ADD 0000189d: MSTORE 0000189e: POP 0000189f: JUMP 000018a0: JUMPDEST 000018a1: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000 000018c2: PUSH1 0x00 000018c4: DUP3 000018c5: ADD 000018c6: MSTORE 000018c7: POP 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH32 0x4e6f7420656e6f756768204c494e4b202d2066696c6c20636f6e747261637420 000018eb: PUSH1 0x00 000018ed: DUP3 000018ee: ADD 000018ef: MSTORE 000018f0: PUSH32 0x7769746820666175636574000000000000000000000000000000000000000000 00001911: PUSH1 0x20 00001913: DUP3 00001914: ADD 00001915: MSTORE 00001916: POP 00001917: JUMP 00001918: JUMPDEST 00001919: PUSH32 0x596f75722062616c616e6365206d757374206861766520696e63726561736564 0000193a: PUSH1 0x00 0000193c: DUP3 0000193d: ADD 0000193e: MSTORE 0000193f: PUSH32 0x2073696e6365206c61737420656e747279000000000000000000000000000000 00001960: PUSH1 0x20 00001962: DUP3 00001963: ADD 00001964: MSTORE 00001965: POP 00001966: JUMP 00001967: JUMPDEST 00001968: PUSH32 0x4d75737420686f6c64206174206c656173742035302c30303020746f6b656e73 00001989: PUSH1 0x00 0000198b: DUP3 0000198c: ADD 0000198d: MSTORE 0000198e: POP 0000198f: JUMP 00001990: JUMPDEST 00001991: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00 000019b2: PUSH1 0x00 000019b4: DUP3 000019b5: ADD 000019b6: MSTORE 000019b7: POP 000019b8: JUMP 000019b9: JUMPDEST 000019ba: POP 000019bb: JUMP 000019bc: JUMPDEST 000019bd: PUSH2 0x19c5 000019c0: DUP2 000019c1: PUSH2 0x1636 000019c4: JUMP 000019c5: JUMPDEST 000019c6: DUP2 000019c7: EQ 000019c8: PUSH2 0x19d0 000019cb: JUMPI 000019cc: PUSH1 0x00 000019ce: DUP1 000019cf: REVERT 000019d0: JUMPDEST 000019d1: POP 000019d2: JUMP 000019d3: JUMPDEST 000019d4: PUSH2 0x19dc 000019d7: DUP2 000019d8: PUSH2 0x1648 000019db: JUMP 000019dc: JUMPDEST 000019dd: DUP2 000019de: EQ 000019df: PUSH2 0x19e7 000019e2: JUMPI 000019e3: PUSH1 0x00 000019e5: DUP1 000019e6: REVERT 000019e7: JUMPDEST 000019e8: POP 000019e9: JUMP 000019ea: JUMPDEST 000019eb: PUSH2 0x19f3 000019ee: DUP2 000019ef: PUSH2 0x1654 000019f2: JUMP 000019f3: JUMPDEST 000019f4: DUP2 000019f5: EQ 000019f6: PUSH2 0x19fe 000019f9: JUMPI 000019fa: PUSH1 0x00 000019fc: DUP1 000019fd: REVERT 000019fe: JUMPDEST 000019ff: POP 00001a00: JUMP 00001a01: JUMPDEST 00001a02: PUSH2 0x1a0a 00001a05: DUP2 00001a06: PUSH2 0x167e 00001a09: JUMP 00001a0a: JUMPDEST 00001a0b: DUP2 00001a0c: EQ 00001a0d: PUSH2 0x1a15 00001a10: JUMPI 00001a11: PUSH1 0x00 00001a13: DUP1 00001a14: REVERT 00001a15: JUMPDEST 00001a16: POP 00001a17: JUMP 00001a18: INVALID 00001a19: LOG2 00001a1a: PUSH5 0x6970667358 00001a20: UNKNOWN(0x22) 00001a21: SLT 00001a22: KECCAK256 00001a23: UNKNOWN(0xC3) 00001a24: UNKNOWN(0xEA) 00001a25: UNKNOWN(0xE0) 00001a26: SLOAD 00001a27: BLOBBASEFEE 00001a28: UNKNOWN(0x4C) 00001a29: PUSH25 0x9e6e323a914c692df363a505d86e3b8ef6ab6cd549c6164fac 00001a43: PUSH5 0x736f6c6343 00001a49: STOP 00001a4a: ADDMOD 00001a4b: SMOD 00001a4c: STOP 00001a4d: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2dee9c9cfb8edc5767c3acb5217f36c49b15da1ab3b64c092c08c2c0000cc53c
call_targets:
0x307a87d3b181921bb19cecd69bf08d415a55622e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2dee9c9cfb8edc5767c3acb5217f36c49b15da1ab3b64c092c08c2c0000cc53c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x307a87d3b181921bb19cecd69bf08d415a55622e"
],
"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": "0xe97dcb62",
"selector": "0xe97dcb62",
"calldata_variants": [
"0xe97dcb62",
"0xe97dcb620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf71d96cb",
"selector": "0xf71d96cb",
"calldata_variants": [
"0xf71d96cb",
"0xf71d96cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf84542ee",
"selector": "0xf84542ee",
"calldata_variants": [
"0xf84542ee",
"0xf84542ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94985ddd",
"selector": "0x94985ddd",
"calldata_variants": [
"0x94985ddd",
"0x94985ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa559470b",
"selector": "0xa559470b",
"calldata_variants": [
"0xa559470b",
"0xa559470b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9e120f5",
"selector": "0xc9e120f5",
"calldata_variants": [
"0xc9e120f5",
"0xc9e120f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f8c70cf",
"selector": "0x4f8c70cf",
"calldata_variants": [
"0x4f8c70cf",
"0x4f8c70cf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2757,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3244,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 907,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1153,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1583,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2dee9c9cfb8edc5767c3acb5217f36c49b15da1ab3b64c092c08c2c0000cc53c
call_targets:
0x307a87d3b181921bb19cecd69bf08d415a55622e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2dee9c9cfb8edc5767c3acb5217f36c49b15da1ab3b64c092c08c2c0000cc53c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x307a87d3b181921bb19cecd69bf08d415a55622e"
],
"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": "0xe97dcb62",
"selector": "0xe97dcb62",
"calldata_variants": [
"0xe97dcb62",
"0xe97dcb620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf71d96cb",
"selector": "0xf71d96cb",
"calldata_variants": [
"0xf71d96cb",
"0xf71d96cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf84542ee",
"selector": "0xf84542ee",
"calldata_variants": [
"0xf84542ee",
"0xf84542ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94985ddd",
"selector": "0x94985ddd",
"calldata_variants": [
"0x94985ddd",
"0x94985ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa559470b",
"selector": "0xa559470b",
"calldata_variants": [
"0xa559470b",
"0xa559470b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9e120f5",
"selector": "0xc9e120f5",
"calldata_variants": [
"0xc9e120f5",
"0xc9e120f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f8c70cf",
"selector": "0x4f8c70cf",
"calldata_variants": [
"0x4f8c70cf",
"0x4f8c70cf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2757,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3244,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 907,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1153,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1583,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|