019b477e-bfbb-73bf-ad66-893b4eb286c0
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 |
|---|---|---|---|---|
| 24577 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24578 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102107 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102108 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102109 | detector.run | complete | 1 / 3 | 1 week ago |
| 102110 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x009a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5db3b4df 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9b0a8b6b 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9b0a8b6b 0000002f: EQ 00000030: PUSH2 0x02d8 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbdaeea40 0000003a: EQ 0000003b: PUSH2 0x031e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc18a84bc 00000045: EQ 00000046: PUSH2 0x0370 00000049: JUMPI 0000004a: PUSH2 0x00a1 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x5db3b4df 00000055: EQ 00000056: PUSH2 0x01dd 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x8b669afe 00000060: EQ 00000061: PUSH2 0x0223 00000064: JUMPI 00000065: PUSH2 0x00a1 00000068: JUMP 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x2e1a7d4d 00000070: EQ 00000071: PUSH2 0x00a6 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x3677a4fe 0000007b: EQ 0000007c: PUSH2 0x00d2 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x3afe5f19 00000086: EQ 00000087: PUSH2 0x00e7 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x3ce2c4b3 00000091: EQ 00000092: PUSH2 0x012d 00000095: JUMPI 00000096: PUSH2 0x00a1 00000099: JUMP 0000009a: JUMPDEST 0000009b: CALLDATASIZE 0000009c: PUSH2 0x00a1 0000009f: JUMPI 000000a0: STOP 000000a1: JUMPDEST 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: REVERT 000000a6: JUMPDEST 000000a7: CALLVALUE 000000a8: DUP1 000000a9: ISZERO 000000aa: PUSH2 0x00b2 000000ad: JUMPI 000000ae: PUSH1 0x00 000000b0: DUP1 000000b1: REVERT 000000b2: JUMPDEST 000000b3: POP 000000b4: PUSH2 0x00d0 000000b7: PUSH1 0x04 000000b9: DUP1 000000ba: CALLDATASIZE 000000bb: SUB 000000bc: PUSH1 0x20 000000be: DUP2 000000bf: LT 000000c0: ISZERO 000000c1: PUSH2 0x00c9 000000c4: JUMPI 000000c5: PUSH1 0x00 000000c7: DUP1 000000c8: REVERT 000000c9: JUMPDEST 000000ca: POP 000000cb: CALLDATALOAD 000000cc: PUSH2 0x0440 000000cf: JUMP 000000d0: JUMPDEST 000000d1: STOP 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: DUP1 000000d5: ISZERO 000000d6: PUSH2 0x00de 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: POP 000000e0: PUSH2 0x00d0 000000e3: PUSH2 0x04fb 000000e6: JUMP 000000e7: JUMPDEST 000000e8: CALLVALUE 000000e9: DUP1 000000ea: ISZERO 000000eb: PUSH2 0x00f3 000000ee: JUMPI 000000ef: PUSH1 0x00 000000f1: DUP1 000000f2: REVERT 000000f3: JUMPDEST 000000f4: POP 000000f5: PUSH2 0x00d0 000000f8: PUSH1 0x04 000000fa: DUP1 000000fb: CALLDATASIZE 000000fc: SUB 000000fd: PUSH1 0x40 000000ff: DUP2 00000100: LT 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: POP 0000010c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000121: DUP2 00000122: CALLDATALOAD 00000123: AND 00000124: SWAP1 00000125: PUSH1 0x20 00000127: ADD 00000128: CALLDATALOAD 00000129: PUSH2 0x06cd 0000012c: JUMP 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: DUP1 00000130: ISZERO 00000131: PUSH2 0x0139 00000134: JUMPI 00000135: PUSH1 0x00 00000137: DUP1 00000138: REVERT 00000139: JUMPDEST 0000013a: POP 0000013b: PUSH2 0x00d0 0000013e: PUSH1 0x04 00000140: DUP1 00000141: CALLDATASIZE 00000142: SUB 00000143: PUSH1 0x20 00000145: DUP2 00000146: LT 00000147: ISZERO 00000148: PUSH2 0x0150 0000014b: JUMPI 0000014c: PUSH1 0x00 0000014e: DUP1 0000014f: REVERT 00000150: JUMPDEST 00000151: DUP2 00000152: ADD 00000153: SWAP1 00000154: PUSH1 0x20 00000156: DUP2 00000157: ADD 00000158: DUP2 00000159: CALLDATALOAD 0000015a: PUSH5 0x0100000000 00000160: DUP2 00000161: GT 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: DUP3 0000016d: ADD 0000016e: DUP4 0000016f: PUSH1 0x20 00000171: DUP3 00000172: ADD 00000173: GT 00000174: ISZERO 00000175: PUSH2 0x017d 00000178: JUMPI 00000179: PUSH1 0x00 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: DUP1 0000017f: CALLDATALOAD 00000180: SWAP1 00000181: PUSH1 0x20 00000183: ADD 00000184: SWAP2 00000185: DUP5 00000186: PUSH1 0x20 00000188: DUP4 00000189: MUL 0000018a: DUP5 0000018b: ADD 0000018c: GT 0000018d: PUSH5 0x0100000000 00000193: DUP4 00000194: GT 00000195: OR 00000196: ISZERO 00000197: PUSH2 0x019f 0000019a: JUMPI 0000019b: PUSH1 0x00 0000019d: DUP1 0000019e: REVERT 0000019f: JUMPDEST 000001a0: SWAP2 000001a1: SWAP1 000001a2: DUP1 000001a3: DUP1 000001a4: PUSH1 0x20 000001a6: MUL 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: PUSH1 0x40 000001ac: MLOAD 000001ad: SWAP1 000001ae: DUP2 000001af: ADD 000001b0: PUSH1 0x40 000001b2: MSTORE 000001b3: DUP1 000001b4: SWAP4 000001b5: SWAP3 000001b6: SWAP2 000001b7: SWAP1 000001b8: DUP2 000001b9: DUP2 000001ba: MSTORE 000001bb: PUSH1 0x20 000001bd: ADD 000001be: DUP4 000001bf: DUP4 000001c0: PUSH1 0x20 000001c2: MUL 000001c3: DUP1 000001c4: DUP3 000001c5: DUP5 000001c6: CALLDATACOPY 000001c7: PUSH1 0x00 000001c9: SWAP3 000001ca: ADD 000001cb: SWAP2 000001cc: SWAP1 000001cd: SWAP2 000001ce: MSTORE 000001cf: POP 000001d0: SWAP3 000001d1: SWAP6 000001d2: POP 000001d3: PUSH2 0x081b 000001d6: SWAP5 000001d7: POP 000001d8: POP 000001d9: POP 000001da: POP 000001db: POP 000001dc: JUMP 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: DUP1 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x00d0 000001ee: PUSH1 0x04 000001f0: DUP1 000001f1: CALLDATASIZE 000001f2: SUB 000001f3: PUSH1 0x40 000001f5: DUP2 000001f6: LT 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000217: DUP2 00000218: CALLDATALOAD 00000219: AND 0000021a: SWAP1 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: CALLDATALOAD 0000021f: PUSH2 0x0af0 00000222: JUMP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x00d0 00000234: PUSH1 0x04 00000236: DUP1 00000237: CALLDATASIZE 00000238: SUB 00000239: PUSH1 0x60 0000023b: DUP2 0000023c: LT 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: DUP2 00000248: ADD 00000249: SWAP1 0000024a: PUSH1 0x20 0000024c: DUP2 0000024d: ADD 0000024e: DUP2 0000024f: CALLDATALOAD 00000250: PUSH5 0x0100000000 00000256: DUP2 00000257: GT 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: DUP3 00000263: ADD 00000264: DUP4 00000265: PUSH1 0x20 00000267: DUP3 00000268: ADD 00000269: GT 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: DUP1 00000275: CALLDATALOAD 00000276: SWAP1 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP2 0000027b: DUP5 0000027c: PUSH1 0x20 0000027e: DUP4 0000027f: MUL 00000280: DUP5 00000281: ADD 00000282: GT 00000283: PUSH5 0x0100000000 00000289: DUP4 0000028a: GT 0000028b: OR 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: SWAP2 00000297: SWAP1 00000298: DUP1 00000299: DUP1 0000029a: PUSH1 0x20 0000029c: MUL 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: SWAP1 000002a4: DUP2 000002a5: ADD 000002a6: PUSH1 0x40 000002a8: MSTORE 000002a9: DUP1 000002aa: SWAP4 000002ab: SWAP3 000002ac: SWAP2 000002ad: SWAP1 000002ae: DUP2 000002af: DUP2 000002b0: MSTORE 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: DUP4 000002b5: DUP4 000002b6: PUSH1 0x20 000002b8: MUL 000002b9: DUP1 000002ba: DUP3 000002bb: DUP5 000002bc: CALLDATACOPY 000002bd: PUSH1 0x00 000002bf: SWAP3 000002c0: ADD 000002c1: SWAP2 000002c2: SWAP1 000002c3: SWAP2 000002c4: MSTORE 000002c5: POP 000002c6: SWAP3 000002c7: SWAP6 000002c8: POP 000002c9: POP 000002ca: DUP3 000002cb: CALLDATALOAD 000002cc: SWAP4 000002cd: POP 000002ce: POP 000002cf: POP 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: CALLDATALOAD 000002d4: PUSH2 0x0c1f 000002d7: JUMP 000002d8: JUMPDEST 000002d9: CALLVALUE 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: PUSH2 0x00d0 000002e9: PUSH1 0x04 000002eb: DUP1 000002ec: CALLDATASIZE 000002ed: SUB 000002ee: PUSH1 0x40 000002f0: DUP2 000002f1: LT 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000312: DUP2 00000313: CALLDATALOAD 00000314: AND 00000315: SWAP1 00000316: PUSH1 0x20 00000318: ADD 00000319: CALLDATALOAD 0000031a: PUSH2 0x116a 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH2 0x00d0 0000032f: PUSH1 0x04 00000331: DUP1 00000332: CALLDATASIZE 00000333: SUB 00000334: PUSH1 0x80 00000336: DUP2 00000337: LT 00000338: ISZERO 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000358: DUP2 00000359: CALLDATALOAD 0000035a: AND 0000035b: SWAP1 0000035c: PUSH1 0x20 0000035e: DUP2 0000035f: ADD 00000360: CALLDATALOAD 00000361: SWAP1 00000362: PUSH1 0x40 00000364: DUP2 00000365: ADD 00000366: CALLDATALOAD 00000367: SWAP1 00000368: PUSH1 0x60 0000036a: ADD 0000036b: CALLDATALOAD 0000036c: PUSH2 0x1268 0000036f: JUMP 00000370: JUMPDEST 00000371: CALLVALUE 00000372: DUP1 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: POP 0000037e: PUSH2 0x00d0 00000381: PUSH1 0x04 00000383: DUP1 00000384: CALLDATASIZE 00000385: SUB 00000386: PUSH1 0x40 00000388: DUP2 00000389: LT 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a9: DUP3 000003aa: CALLDATALOAD 000003ab: AND 000003ac: SWAP2 000003ad: SWAP1 000003ae: DUP2 000003af: ADD 000003b0: SWAP1 000003b1: PUSH1 0x40 000003b3: DUP2 000003b4: ADD 000003b5: PUSH1 0x20 000003b7: DUP3 000003b8: ADD 000003b9: CALLDATALOAD 000003ba: PUSH5 0x0100000000 000003c0: DUP2 000003c1: GT 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: DUP3 000003cd: ADD 000003ce: DUP4 000003cf: PUSH1 0x20 000003d1: DUP3 000003d2: ADD 000003d3: GT 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: DUP1 000003df: CALLDATALOAD 000003e0: SWAP1 000003e1: PUSH1 0x20 000003e3: ADD 000003e4: SWAP2 000003e5: DUP5 000003e6: PUSH1 0x01 000003e8: DUP4 000003e9: MUL 000003ea: DUP5 000003eb: ADD 000003ec: GT 000003ed: PUSH5 0x0100000000 000003f3: DUP4 000003f4: GT 000003f5: OR 000003f6: ISZERO 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: SWAP2 00000401: SWAP1 00000402: DUP1 00000403: DUP1 00000404: PUSH1 0x1f 00000406: ADD 00000407: PUSH1 0x20 00000409: DUP1 0000040a: SWAP2 0000040b: DIV 0000040c: MUL 0000040d: PUSH1 0x20 0000040f: ADD 00000410: PUSH1 0x40 00000412: MLOAD 00000413: SWAP1 00000414: DUP2 00000415: ADD 00000416: PUSH1 0x40 00000418: MSTORE 00000419: DUP1 0000041a: SWAP4 0000041b: SWAP3 0000041c: SWAP2 0000041d: SWAP1 0000041e: DUP2 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x20 00000423: ADD 00000424: DUP4 00000425: DUP4 00000426: DUP1 00000427: DUP3 00000428: DUP5 00000429: CALLDATACOPY 0000042a: PUSH1 0x00 0000042c: SWAP3 0000042d: ADD 0000042e: SWAP2 0000042f: SWAP1 00000430: SWAP2 00000431: MSTORE 00000432: POP 00000433: SWAP3 00000434: SWAP6 00000435: POP 00000436: PUSH2 0x158d 00000439: SWAP5 0000043a: POP 0000043b: POP 0000043c: POP 0000043d: POP 0000043e: POP 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH2 0x0448 00000444: PUSH2 0x1778 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH2 0x04b3 0000044c: JUMPI 0000044d: PUSH1 0x40 0000044f: DUP1 00000450: MLOAD 00000451: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x20 00000476: PUSH1 0x04 00000478: DUP3 00000479: ADD 0000047a: MSTORE 0000047b: PUSH1 0x10 0000047d: PUSH1 0x24 0000047f: DUP3 00000480: ADD 00000481: MSTORE 00000482: PUSH32 0x4e4f545f57484954455f4c495354454400000000000000000000000000000000 000004a3: PUSH1 0x44 000004a5: DUP3 000004a6: ADD 000004a7: MSTORE 000004a8: SWAP1 000004a9: MLOAD 000004aa: SWAP1 000004ab: DUP2 000004ac: SWAP1 000004ad: SUB 000004ae: PUSH1 0x64 000004b0: ADD 000004b1: SWAP1 000004b2: REVERT 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: PUSH20 0x5097119dcb1ce3725dbcbe42356722dbacfc3b81 000004cc: SWAP1 000004cd: DUP2 000004ce: SWAP1 000004cf: DUP4 000004d0: ISZERO 000004d1: PUSH2 0x08fc 000004d4: MUL 000004d5: SWAP1 000004d6: DUP5 000004d7: SWAP1 000004d8: PUSH1 0x00 000004da: DUP2 000004db: DUP2 000004dc: DUP2 000004dd: DUP6 000004de: DUP9 000004df: DUP9 000004e0: CALL 000004e1: SWAP4 000004e2: POP 000004e3: POP 000004e4: POP 000004e5: POP 000004e6: ISZERO 000004e7: DUP1 000004e8: ISZERO 000004e9: PUSH2 0x04f6 000004ec: JUMPI 000004ed: RETURNDATASIZE 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: RETURNDATACOPY 000004f2: RETURNDATASIZE 000004f3: PUSH1 0x00 000004f5: REVERT 000004f6: JUMPDEST 000004f7: POP 000004f8: POP 000004f9: POP 000004fa: JUMP 000004fb: JUMPDEST 000004fc: PUSH2 0x0503 000004ff: PUSH2 0x1778 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x056e 00000507: JUMPI 00000508: PUSH1 0x40 0000050a: DUP1 0000050b: MLOAD 0000050c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: PUSH1 0x04 00000533: DUP3 00000534: ADD 00000535: MSTORE 00000536: PUSH1 0x10 00000538: PUSH1 0x24 0000053a: DUP3 0000053b: ADD 0000053c: MSTORE 0000053d: PUSH32 0x4e4f545f57484954455f4c495354454400000000000000000000000000000000 0000055e: PUSH1 0x44 00000560: DUP3 00000561: ADD 00000562: MSTORE 00000563: SWAP1 00000564: MLOAD 00000565: SWAP1 00000566: DUP2 00000567: SWAP1 00000568: SUB 00000569: PUSH1 0x64 0000056b: ADD 0000056c: SWAP1 0000056d: REVERT 0000056e: JUMPDEST 0000056f: PUSH1 0x40 00000571: DUP1 00000572: MLOAD 00000573: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000594: DUP2 00000595: MSTORE 00000596: ADDRESS 00000597: PUSH1 0x04 00000599: DUP3 0000059a: ADD 0000059b: MSTORE 0000059c: SWAP1 0000059d: MLOAD 0000059e: PUSH20 0x924cd9b60f4173dcdd5254ddd38c4f9cab68fe6b 000005b3: SWAP2 000005b4: PUSH20 0xc011a73ee8576fb46f5e1c5751ca3b9fe0af2a6f 000005c9: SWAP2 000005ca: DUP3 000005cb: SWAP2 000005cc: PUSH4 0xa9059cbb 000005d1: SWAP2 000005d2: DUP6 000005d3: SWAP2 000005d4: DUP5 000005d5: SWAP2 000005d6: PUSH4 0x70a08231 000005db: SWAP2 000005dc: PUSH1 0x24 000005de: DUP1 000005df: DUP3 000005e0: ADD 000005e1: SWAP3 000005e2: PUSH1 0x20 000005e4: SWAP3 000005e5: SWAP1 000005e6: SWAP2 000005e7: SWAP1 000005e8: DUP3 000005e9: SWAP1 000005ea: SUB 000005eb: ADD 000005ec: DUP2 000005ed: PUSH1 0x00 000005ef: DUP8 000005f0: DUP1 000005f1: EXTCODESIZE 000005f2: ISZERO 000005f3: DUP1 000005f4: ISZERO 000005f5: PUSH2 0x05fd 000005f8: JUMPI 000005f9: PUSH1 0x00 000005fb: DUP1 000005fc: REVERT 000005fd: JUMPDEST 000005fe: POP 000005ff: GAS 00000600: CALL 00000601: ISZERO 00000602: DUP1 00000603: ISZERO 00000604: PUSH2 0x0611 00000607: JUMPI 00000608: RETURNDATASIZE 00000609: PUSH1 0x00 0000060b: DUP1 0000060c: RETURNDATACOPY 0000060d: RETURNDATASIZE 0000060e: PUSH1 0x00 00000610: REVERT 00000611: JUMPDEST 00000612: POP 00000613: POP 00000614: POP 00000615: POP 00000616: PUSH1 0x40 00000618: MLOAD 00000619: RETURNDATASIZE 0000061a: PUSH1 0x20 0000061c: DUP2 0000061d: LT 0000061e: ISZERO 0000061f: PUSH2 0x0627 00000622: JUMPI 00000623: PUSH1 0x00 00000625: DUP1 00000626: REVERT 00000627: JUMPDEST 00000628: POP 00000629: MLOAD 0000062a: PUSH1 0x40 0000062c: DUP1 0000062d: MLOAD 0000062e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000064f: PUSH1 0xe0 00000651: DUP7 00000652: SWAP1 00000653: SHL 00000654: AND 00000655: DUP2 00000656: MSTORE 00000657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066c: SWAP1 0000066d: SWAP4 0000066e: AND 0000066f: PUSH1 0x04 00000671: DUP5 00000672: ADD 00000673: MSTORE 00000674: PUSH1 0x24 00000676: DUP4 00000677: ADD 00000678: SWAP2 00000679: SWAP1 0000067a: SWAP2 0000067b: MSTORE 0000067c: MLOAD 0000067d: PUSH1 0x44 0000067f: DUP1 00000680: DUP4 00000681: ADD 00000682: SWAP3 00000683: PUSH1 0x20 00000685: SWAP3 00000686: SWAP2 00000687: SWAP1 00000688: DUP3 00000689: SWAP1 0000068a: SUB 0000068b: ADD 0000068c: DUP2 0000068d: PUSH1 0x00 0000068f: DUP8 00000690: DUP1 00000691: EXTCODESIZE 00000692: ISZERO 00000693: DUP1 00000694: ISZERO 00000695: PUSH2 0x069d 00000698: JUMPI 00000699: PUSH1 0x00 0000069b: DUP1 0000069c: REVERT 0000069d: JUMPDEST 0000069e: POP 0000069f: GAS 000006a0: CALL 000006a1: ISZERO 000006a2: DUP1 000006a3: ISZERO 000006a4: PUSH2 0x06b1 000006a7: JUMPI 000006a8: RETURNDATASIZE 000006a9: PUSH1 0x00 000006ab: DUP1 000006ac: RETURNDATACOPY 000006ad: RETURNDATASIZE 000006ae: PUSH1 0x00 000006b0: REVERT 000006b1: JUMPDEST 000006b2: POP 000006b3: POP 000006b4: POP 000006b5: POP 000006b6: PUSH1 0x40 000006b8: MLOAD 000006b9: RETURNDATASIZE 000006ba: PUSH1 0x20 000006bc: DUP2 000006bd: LT 000006be: ISZERO 000006bf: PUSH2 0x06c7 000006c2: JUMPI 000006c3: PUSH1 0x00 000006c5: DUP1 000006c6: REVERT 000006c7: JUMPDEST 000006c8: POP 000006c9: POP 000006ca: POP 000006cb: POP 000006cc: JUMP 000006cd: JUMPDEST 000006ce: PUSH1 0x40 000006d0: DUP1 000006d1: MLOAD 000006d2: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000006f3: DUP2 000006f4: MSTORE 000006f5: ADDRESS 000006f6: PUSH1 0x04 000006f8: DUP3 000006f9: ADD 000006fa: MSTORE 000006fb: SWAP1 000006fc: MLOAD 000006fd: PUSH1 0x00 000006ff: SWAP2 00000700: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 00000715: SWAP2 00000716: PUSH4 0x70a08231 0000071b: SWAP2 0000071c: PUSH1 0x24 0000071e: DUP1 0000071f: DUP3 00000720: ADD 00000721: SWAP3 00000722: PUSH1 0x20 00000724: SWAP3 00000725: SWAP1 00000726: SWAP2 00000727: SWAP1 00000728: DUP3 00000729: SWAP1 0000072a: SUB 0000072b: ADD 0000072c: DUP2 0000072d: DUP8 0000072e: DUP8 0000072f: DUP1 00000730: EXTCODESIZE 00000731: ISZERO 00000732: DUP1 00000733: ISZERO 00000734: PUSH2 0x073c 00000737: JUMPI 00000738: PUSH1 0x00 0000073a: DUP1 0000073b: REVERT 0000073c: JUMPDEST 0000073d: POP 0000073e: GAS 0000073f: CALL 00000740: ISZERO 00000741: DUP1 00000742: ISZERO 00000743: PUSH2 0x0750 00000746: JUMPI 00000747: RETURNDATASIZE 00000748: PUSH1 0x00 0000074a: DUP1 0000074b: RETURNDATACOPY 0000074c: RETURNDATASIZE 0000074d: PUSH1 0x00 0000074f: REVERT 00000750: JUMPDEST 00000751: POP 00000752: POP 00000753: POP 00000754: POP 00000755: PUSH1 0x40 00000757: MLOAD 00000758: RETURNDATASIZE 00000759: PUSH1 0x20 0000075b: DUP2 0000075c: LT 0000075d: ISZERO 0000075e: PUSH2 0x0766 00000761: JUMPI 00000762: PUSH1 0x00 00000764: DUP1 00000765: REVERT 00000766: JUMPDEST 00000767: POP 00000768: MLOAD 00000769: SWAP1 0000076a: POP 0000076b: DUP2 0000076c: DUP2 0000076d: LT 0000076e: ISZERO 0000076f: PUSH2 0x0776 00000772: JUMPI 00000773: DUP1 00000774: SWAP2 00000775: POP 00000776: JUMPDEST 00000777: PUSH1 0x40 00000779: DUP1 0000077a: MLOAD 0000077b: PUSH32 0xe6203ed100000000000000000000000000000000000000000000000000000000 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b3: DUP6 000007b4: AND 000007b5: PUSH1 0x04 000007b7: DUP3 000007b8: ADD 000007b9: MSTORE 000007ba: PUSH1 0x24 000007bc: DUP2 000007bd: ADD 000007be: DUP5 000007bf: SWAP1 000007c0: MSTORE 000007c1: SWAP1 000007c2: MLOAD 000007c3: PUSH20 0x97767d7d04fd0db0a1a2478dcd4ba85290556b48 000007d8: SWAP2 000007d9: PUSH4 0xe6203ed1 000007de: SWAP2 000007df: PUSH1 0x44 000007e1: DUP1 000007e2: DUP4 000007e3: ADD 000007e4: SWAP3 000007e5: PUSH1 0x00 000007e7: SWAP3 000007e8: SWAP2 000007e9: SWAP1 000007ea: DUP3 000007eb: SWAP1 000007ec: SUB 000007ed: ADD 000007ee: DUP2 000007ef: DUP4 000007f0: DUP8 000007f1: DUP1 000007f2: EXTCODESIZE 000007f3: ISZERO 000007f4: DUP1 000007f5: ISZERO 000007f6: PUSH2 0x07fe 000007f9: JUMPI 000007fa: PUSH1 0x00 000007fc: DUP1 000007fd: REVERT 000007fe: JUMPDEST 000007ff: POP 00000800: GAS 00000801: CALL 00000802: ISZERO 00000803: DUP1 00000804: ISZERO 00000805: PUSH2 0x0812 00000808: JUMPI 00000809: RETURNDATASIZE 0000080a: PUSH1 0x00 0000080c: DUP1 0000080d: RETURNDATACOPY 0000080e: RETURNDATASIZE 0000080f: PUSH1 0x00 00000811: REVERT 00000812: JUMPDEST 00000813: POP 00000814: POP 00000815: POP 00000816: POP 00000817: POP 00000818: POP 00000819: POP 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH2 0x0823 0000081f: PUSH2 0x1778 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH2 0x088e 00000827: JUMPI 00000828: PUSH1 0x40 0000082a: DUP1 0000082b: MLOAD 0000082c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x20 00000851: PUSH1 0x04 00000853: DUP3 00000854: ADD 00000855: MSTORE 00000856: PUSH1 0x08 00000858: PUSH1 0x24 0000085a: DUP3 0000085b: ADD 0000085c: MSTORE 0000085d: PUSH32 0x4e4f5f454e545259000000000000000000000000000000000000000000000000 0000087e: PUSH1 0x44 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: SWAP1 00000884: MLOAD 00000885: SWAP1 00000886: DUP2 00000887: SWAP1 00000888: SUB 00000889: PUSH1 0x64 0000088b: ADD 0000088c: SWAP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: PUSH1 0x00 00000891: JUMPDEST 00000892: DUP2 00000893: MLOAD 00000894: DUP2 00000895: LT 00000896: ISZERO 00000897: PUSH2 0x0aeb 0000089a: JUMPI 0000089b: PUSH1 0x00 0000089d: GAS 0000089e: SWAP1 0000089f: POP 000008a0: PUSH3 0x0927c0 000008a4: DUP2 000008a5: LT 000008a6: ISZERO 000008a7: PUSH2 0x08b1 000008aa: JUMPI 000008ab: POP 000008ac: POP 000008ad: PUSH2 0x0aed 000008b0: JUMP 000008b1: JUMPDEST 000008b2: PUSH1 0x40 000008b4: DUP1 000008b5: MLOAD 000008b6: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000008d7: DUP2 000008d8: MSTORE 000008d9: ADDRESS 000008da: PUSH1 0x04 000008dc: DUP3 000008dd: ADD 000008de: MSTORE 000008df: SWAP1 000008e0: MLOAD 000008e1: PUSH1 0x00 000008e3: SWAP2 000008e4: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 000008f9: SWAP2 000008fa: PUSH4 0x70a08231 000008ff: SWAP2 00000900: PUSH1 0x24 00000902: DUP1 00000903: DUP3 00000904: ADD 00000905: SWAP3 00000906: PUSH1 0x20 00000908: SWAP3 00000909: SWAP1 0000090a: SWAP2 0000090b: SWAP1 0000090c: DUP3 0000090d: SWAP1 0000090e: SUB 0000090f: ADD 00000910: DUP2 00000911: DUP8 00000912: DUP8 00000913: DUP1 00000914: EXTCODESIZE 00000915: ISZERO 00000916: DUP1 00000917: ISZERO 00000918: PUSH2 0x0920 0000091b: JUMPI 0000091c: PUSH1 0x00 0000091e: DUP1 0000091f: REVERT 00000920: JUMPDEST 00000921: POP 00000922: GAS 00000923: CALL 00000924: ISZERO 00000925: DUP1 00000926: ISZERO 00000927: PUSH2 0x0934 0000092a: JUMPI 0000092b: RETURNDATASIZE 0000092c: PUSH1 0x00 0000092e: DUP1 0000092f: RETURNDATACOPY 00000930: RETURNDATASIZE 00000931: PUSH1 0x00 00000933: REVERT 00000934: JUMPDEST 00000935: POP 00000936: POP 00000937: POP 00000938: POP 00000939: PUSH1 0x40 0000093b: MLOAD 0000093c: RETURNDATASIZE 0000093d: PUSH1 0x20 0000093f: DUP2 00000940: LT 00000941: ISZERO 00000942: PUSH2 0x094a 00000945: JUMPI 00000946: PUSH1 0x00 00000948: DUP1 00000949: REVERT 0000094a: JUMPDEST 0000094b: POP 0000094c: MLOAD 0000094d: SWAP1 0000094e: POP 0000094f: PUSH8 0x0de0b6b3a7640000 00000958: DUP2 00000959: GT 0000095a: PUSH2 0x0965 0000095d: JUMPI 0000095e: POP 0000095f: POP 00000960: POP 00000961: PUSH2 0x0aed 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH20 0x97767d7d04fd0db0a1a2478dcd4ba85290556b48 0000097b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000990: AND 00000991: PUSH4 0xe6203ed1 00000996: DUP6 00000997: DUP6 00000998: DUP2 00000999: MLOAD 0000099a: DUP2 0000099b: LT 0000099c: PUSH2 0x09a1 0000099f: JUMPI 000009a0: INVALID 000009a1: JUMPDEST 000009a2: PUSH1 0x20 000009a4: MUL 000009a5: PUSH1 0x20 000009a7: ADD 000009a8: ADD 000009a9: MLOAD 000009aa: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d4: AND 000009d5: PUSH4 0x70a08231 000009da: ADDRESS 000009db: PUSH1 0x40 000009dd: MLOAD 000009de: DUP3 000009df: PUSH4 0xffffffff 000009e4: AND 000009e5: PUSH1 0xe0 000009e7: SHL 000009e8: DUP2 000009e9: MSTORE 000009ea: PUSH1 0x04 000009ec: ADD 000009ed: DUP1 000009ee: DUP3 000009ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a04: AND 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x20 00000a09: ADD 00000a0a: SWAP2 00000a0b: POP 00000a0c: POP 00000a0d: PUSH1 0x20 00000a0f: PUSH1 0x40 00000a11: MLOAD 00000a12: DUP1 00000a13: DUP4 00000a14: SUB 00000a15: DUP2 00000a16: PUSH1 0x00 00000a18: DUP8 00000a19: DUP1 00000a1a: EXTCODESIZE 00000a1b: ISZERO 00000a1c: DUP1 00000a1d: ISZERO 00000a1e: PUSH2 0x0a26 00000a21: JUMPI 00000a22: PUSH1 0x00 00000a24: DUP1 00000a25: REVERT 00000a26: JUMPDEST 00000a27: POP 00000a28: GAS 00000a29: CALL 00000a2a: ISZERO 00000a2b: DUP1 00000a2c: ISZERO 00000a2d: PUSH2 0x0a3a 00000a30: JUMPI 00000a31: RETURNDATASIZE 00000a32: PUSH1 0x00 00000a34: DUP1 00000a35: RETURNDATACOPY 00000a36: RETURNDATASIZE 00000a37: PUSH1 0x00 00000a39: REVERT 00000a3a: JUMPDEST 00000a3b: POP 00000a3c: POP 00000a3d: POP 00000a3e: POP 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: RETURNDATASIZE 00000a43: PUSH1 0x20 00000a45: DUP2 00000a46: LT 00000a47: ISZERO 00000a48: PUSH2 0x0a50 00000a4b: JUMPI 00000a4c: PUSH1 0x00 00000a4e: DUP1 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: POP 00000a52: MLOAD 00000a53: PUSH1 0x40 00000a55: DUP1 00000a56: MLOAD 00000a57: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000a78: PUSH1 0xe0 00000a7a: DUP7 00000a7b: SWAP1 00000a7c: SHL 00000a7d: AND 00000a7e: DUP2 00000a7f: MSTORE 00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a95: SWAP1 00000a96: SWAP4 00000a97: AND 00000a98: PUSH1 0x04 00000a9a: DUP5 00000a9b: ADD 00000a9c: MSTORE 00000a9d: PUSH1 0x24 00000a9f: DUP4 00000aa0: ADD 00000aa1: SWAP2 00000aa2: SWAP1 00000aa3: SWAP2 00000aa4: MSTORE 00000aa5: MLOAD 00000aa6: PUSH1 0x44 00000aa8: DUP1 00000aa9: DUP4 00000aaa: ADD 00000aab: SWAP3 00000aac: PUSH1 0x00 00000aae: SWAP3 00000aaf: SWAP2 00000ab0: SWAP1 00000ab1: DUP3 00000ab2: SWAP1 00000ab3: SUB 00000ab4: ADD 00000ab5: DUP2 00000ab6: DUP4 00000ab7: DUP8 00000ab8: DUP1 00000ab9: EXTCODESIZE 00000aba: ISZERO 00000abb: DUP1 00000abc: ISZERO 00000abd: PUSH2 0x0ac5 00000ac0: JUMPI 00000ac1: PUSH1 0x00 00000ac3: DUP1 00000ac4: REVERT 00000ac5: JUMPDEST 00000ac6: POP 00000ac7: GAS 00000ac8: CALL 00000ac9: ISZERO 00000aca: DUP1 00000acb: ISZERO 00000acc: PUSH2 0x0ad9 00000acf: JUMPI 00000ad0: RETURNDATASIZE 00000ad1: PUSH1 0x00 00000ad3: DUP1 00000ad4: RETURNDATACOPY 00000ad5: RETURNDATASIZE 00000ad6: PUSH1 0x00 00000ad8: REVERT 00000ad9: JUMPDEST 00000ada: POP 00000adb: POP 00000adc: PUSH1 0x01 00000ade: SWAP1 00000adf: SWAP5 00000ae0: ADD 00000ae1: SWAP4 00000ae2: POP 00000ae3: PUSH2 0x0891 00000ae6: SWAP3 00000ae7: POP 00000ae8: POP 00000ae9: POP 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: POP 00000aed: JUMPDEST 00000aee: POP 00000aef: JUMP 00000af0: JUMPDEST 00000af1: PUSH2 0x0af8 00000af4: PUSH2 0x1778 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH2 0x0b63 00000afc: JUMPI 00000afd: PUSH1 0x40 00000aff: DUP1 00000b00: MLOAD 00000b01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x20 00000b26: PUSH1 0x04 00000b28: DUP3 00000b29: ADD 00000b2a: MSTORE 00000b2b: PUSH1 0x10 00000b2d: PUSH1 0x24 00000b2f: DUP3 00000b30: ADD 00000b31: MSTORE 00000b32: PUSH32 0x4e4f545f57484954455f4c495354454400000000000000000000000000000000 00000b53: PUSH1 0x44 00000b55: DUP3 00000b56: ADD 00000b57: MSTORE 00000b58: SWAP1 00000b59: MLOAD 00000b5a: SWAP1 00000b5b: DUP2 00000b5c: SWAP1 00000b5d: SUB 00000b5e: PUSH1 0x64 00000b60: ADD 00000b61: SWAP1 00000b62: REVERT 00000b63: JUMPDEST 00000b64: PUSH1 0x40 00000b66: DUP1 00000b67: MLOAD 00000b68: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000b89: DUP2 00000b8a: MSTORE 00000b8b: PUSH20 0x924cd9b60f4173dcdd5254ddd38c4f9cab68fe6b 00000ba0: PUSH1 0x04 00000ba2: DUP3 00000ba3: ADD 00000ba4: DUP2 00000ba5: SWAP1 00000ba6: MSTORE 00000ba7: PUSH1 0x24 00000ba9: DUP3 00000baa: ADD 00000bab: DUP5 00000bac: SWAP1 00000bad: MSTORE 00000bae: SWAP2 00000baf: MLOAD 00000bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc5: DUP6 00000bc6: AND 00000bc7: SWAP2 00000bc8: PUSH4 0xa9059cbb 00000bcd: SWAP2 00000bce: PUSH1 0x44 00000bd0: DUP1 00000bd1: DUP4 00000bd2: ADD 00000bd3: SWAP3 00000bd4: PUSH1 0x20 00000bd6: SWAP3 00000bd7: SWAP2 00000bd8: SWAP1 00000bd9: DUP3 00000bda: SWAP1 00000bdb: SUB 00000bdc: ADD 00000bdd: DUP2 00000bde: PUSH1 0x00 00000be0: DUP8 00000be1: DUP1 00000be2: EXTCODESIZE 00000be3: ISZERO 00000be4: DUP1 00000be5: ISZERO 00000be6: PUSH2 0x0bee 00000be9: JUMPI 00000bea: PUSH1 0x00 00000bec: DUP1 00000bed: REVERT 00000bee: JUMPDEST 00000bef: POP 00000bf0: GAS 00000bf1: CALL 00000bf2: ISZERO 00000bf3: DUP1 00000bf4: ISZERO 00000bf5: PUSH2 0x0c02 00000bf8: JUMPI 00000bf9: RETURNDATASIZE 00000bfa: PUSH1 0x00 00000bfc: DUP1 00000bfd: RETURNDATACOPY 00000bfe: RETURNDATASIZE 00000bff: PUSH1 0x00 00000c01: REVERT 00000c02: JUMPDEST 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: RETURNDATASIZE 00000c0b: PUSH1 0x20 00000c0d: DUP2 00000c0e: LT 00000c0f: ISZERO 00000c10: PUSH2 0x0c18 00000c13: JUMPI 00000c14: PUSH1 0x00 00000c16: DUP1 00000c17: REVERT 00000c18: JUMPDEST 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: GASPRICE 00000c21: ISZERO 00000c22: PUSH2 0x0c8e 00000c25: JUMPI 00000c26: PUSH1 0x40 00000c28: DUP1 00000c29: MLOAD 00000c2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x20 00000c4f: PUSH1 0x04 00000c51: DUP1 00000c52: DUP4 00000c53: ADD 00000c54: SWAP2 00000c55: SWAP1 00000c56: SWAP2 00000c57: MSTORE 00000c58: PUSH1 0x24 00000c5a: DUP3 00000c5b: ADD 00000c5c: MSTORE 00000c5d: PUSH32 0x4e4f504500000000000000000000000000000000000000000000000000000000 00000c7e: PUSH1 0x44 00000c80: DUP3 00000c81: ADD 00000c82: MSTORE 00000c83: SWAP1 00000c84: MLOAD 00000c85: SWAP1 00000c86: DUP2 00000c87: SWAP1 00000c88: SUB 00000c89: PUSH1 0x64 00000c8b: ADD 00000c8c: SWAP1 00000c8d: REVERT 00000c8e: JUMPDEST 00000c8f: PUSH1 0x46 00000c91: DUP2 00000c92: LT 00000c93: PUSH2 0x0cfd 00000c96: JUMPI 00000c97: PUSH1 0x40 00000c99: DUP1 00000c9a: MLOAD 00000c9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x20 00000cc0: PUSH1 0x04 00000cc2: DUP3 00000cc3: ADD 00000cc4: MSTORE 00000cc5: PUSH1 0x08 00000cc7: PUSH1 0x24 00000cc9: DUP3 00000cca: ADD 00000ccb: MSTORE 00000ccc: PUSH32 0x50434e545f455252000000000000000000000000000000000000000000000000 00000ced: PUSH1 0x44 00000cef: DUP3 00000cf0: ADD 00000cf1: MSTORE 00000cf2: SWAP1 00000cf3: MLOAD 00000cf4: SWAP1 00000cf5: DUP2 00000cf6: SWAP1 00000cf7: SUB 00000cf8: PUSH1 0x64 00000cfa: ADD 00000cfb: SWAP1 00000cfc: REVERT 00000cfd: JUMPDEST 00000cfe: PUSH2 0x0d05 00000d01: PUSH2 0x1778 00000d04: JUMP 00000d05: JUMPDEST 00000d06: PUSH2 0x0d70 00000d09: JUMPI 00000d0a: PUSH1 0x40 00000d0c: DUP1 00000d0d: MLOAD 00000d0e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d2f: DUP2 00000d30: MSTORE 00000d31: PUSH1 0x20 00000d33: PUSH1 0x04 00000d35: DUP3 00000d36: ADD 00000d37: MSTORE 00000d38: PUSH1 0x08 00000d3a: PUSH1 0x24 00000d3c: DUP3 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH32 0x4e4f5f454e545259000000000000000000000000000000000000000000000000 00000d60: PUSH1 0x44 00000d62: DUP3 00000d63: ADD 00000d64: MSTORE 00000d65: SWAP1 00000d66: MLOAD 00000d67: SWAP1 00000d68: DUP2 00000d69: SWAP1 00000d6a: SUB 00000d6b: PUSH1 0x64 00000d6d: ADD 00000d6e: SWAP1 00000d6f: REVERT 00000d70: JUMPDEST 00000d71: PUSH1 0x40 00000d73: DUP1 00000d74: MLOAD 00000d75: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000d96: DUP2 00000d97: MSTORE 00000d98: ADDRESS 00000d99: PUSH1 0x04 00000d9b: DUP3 00000d9c: ADD 00000d9d: MSTORE 00000d9e: SWAP1 00000d9f: MLOAD 00000da0: PUSH1 0x00 00000da2: SWAP2 00000da3: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 00000db8: SWAP2 00000db9: PUSH4 0x70a08231 00000dbe: SWAP2 00000dbf: PUSH1 0x24 00000dc1: DUP1 00000dc2: DUP3 00000dc3: ADD 00000dc4: SWAP3 00000dc5: PUSH1 0x20 00000dc7: SWAP3 00000dc8: SWAP1 00000dc9: SWAP2 00000dca: SWAP1 00000dcb: DUP3 00000dcc: SWAP1 00000dcd: SUB 00000dce: ADD 00000dcf: DUP2 00000dd0: DUP8 00000dd1: DUP8 00000dd2: DUP1 00000dd3: EXTCODESIZE 00000dd4: ISZERO 00000dd5: DUP1 00000dd6: ISZERO 00000dd7: PUSH2 0x0ddf 00000dda: JUMPI 00000ddb: PUSH1 0x00 00000ddd: DUP1 00000dde: REVERT 00000ddf: JUMPDEST 00000de0: POP 00000de1: GAS 00000de2: CALL 00000de3: ISZERO 00000de4: DUP1 00000de5: ISZERO 00000de6: PUSH2 0x0df3 00000de9: JUMPI 00000dea: RETURNDATASIZE 00000deb: PUSH1 0x00 00000ded: DUP1 00000dee: RETURNDATACOPY 00000def: RETURNDATASIZE 00000df0: PUSH1 0x00 00000df2: REVERT 00000df3: JUMPDEST 00000df4: POP 00000df5: POP 00000df6: POP 00000df7: POP 00000df8: PUSH1 0x40 00000dfa: MLOAD 00000dfb: RETURNDATASIZE 00000dfc: PUSH1 0x20 00000dfe: DUP2 00000dff: LT 00000e00: ISZERO 00000e01: PUSH2 0x0e09 00000e04: JUMPI 00000e05: PUSH1 0x00 00000e07: DUP1 00000e08: REVERT 00000e09: JUMPDEST 00000e0a: POP 00000e0b: MLOAD 00000e0c: SWAP1 00000e0d: POP 00000e0e: PUSH1 0x00 00000e10: JUMPDEST 00000e11: DUP5 00000e12: MLOAD 00000e13: DUP2 00000e14: LT 00000e15: ISZERO 00000e16: PUSH2 0x106c 00000e19: JUMPI 00000e1a: PUSH1 0x00 00000e1c: GAS 00000e1d: SWAP1 00000e1e: POP 00000e1f: PUSH3 0x0927c0 00000e23: DUP2 00000e24: LT 00000e25: ISZERO 00000e26: PUSH2 0x0e31 00000e29: JUMPI 00000e2a: POP 00000e2b: POP 00000e2c: POP 00000e2d: PUSH2 0x04f6 00000e30: JUMP 00000e31: JUMPDEST 00000e32: PUSH1 0x40 00000e34: DUP1 00000e35: MLOAD 00000e36: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000e57: DUP2 00000e58: MSTORE 00000e59: ADDRESS 00000e5a: PUSH1 0x04 00000e5c: DUP3 00000e5d: ADD 00000e5e: MSTORE 00000e5f: SWAP1 00000e60: MLOAD 00000e61: PUSH1 0x00 00000e63: SWAP2 00000e64: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 00000e79: SWAP2 00000e7a: PUSH4 0x70a08231 00000e7f: SWAP2 00000e80: PUSH1 0x24 00000e82: DUP1 00000e83: DUP3 00000e84: ADD 00000e85: SWAP3 00000e86: PUSH1 0x20 00000e88: SWAP3 00000e89: SWAP1 00000e8a: SWAP2 00000e8b: SWAP1 00000e8c: DUP3 00000e8d: SWAP1 00000e8e: SUB 00000e8f: ADD 00000e90: DUP2 00000e91: DUP8 00000e92: DUP8 00000e93: DUP1 00000e94: EXTCODESIZE 00000e95: ISZERO 00000e96: DUP1 00000e97: ISZERO 00000e98: PUSH2 0x0ea0 00000e9b: JUMPI 00000e9c: PUSH1 0x00 00000e9e: DUP1 00000e9f: REVERT 00000ea0: JUMPDEST 00000ea1: POP 00000ea2: GAS 00000ea3: CALL 00000ea4: ISZERO 00000ea5: DUP1 00000ea6: ISZERO 00000ea7: PUSH2 0x0eb4 00000eaa: JUMPI 00000eab: RETURNDATASIZE 00000eac: PUSH1 0x00 00000eae: DUP1 00000eaf: RETURNDATACOPY 00000eb0: RETURNDATASIZE 00000eb1: PUSH1 0x00 00000eb3: REVERT 00000eb4: JUMPDEST 00000eb5: POP 00000eb6: POP 00000eb7: POP 00000eb8: POP 00000eb9: PUSH1 0x40 00000ebb: MLOAD 00000ebc: RETURNDATASIZE 00000ebd: PUSH1 0x20 00000ebf: DUP2 00000ec0: LT 00000ec1: ISZERO 00000ec2: PUSH2 0x0eca 00000ec5: JUMPI 00000ec6: PUSH1 0x00 00000ec8: DUP1 00000ec9: REVERT 00000eca: JUMPDEST 00000ecb: POP 00000ecc: MLOAD 00000ecd: SWAP1 00000ece: POP 00000ecf: PUSH8 0x0de0b6b3a7640000 00000ed8: DUP2 00000ed9: GT 00000eda: PUSH2 0x0ee6 00000edd: JUMPI 00000ede: POP 00000edf: POP 00000ee0: POP 00000ee1: POP 00000ee2: PUSH2 0x04f6 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: PUSH20 0x97767d7d04fd0db0a1a2478dcd4ba85290556b48 00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f11: AND 00000f12: PUSH4 0xe6203ed1 00000f17: DUP9 00000f18: DUP6 00000f19: DUP2 00000f1a: MLOAD 00000f1b: DUP2 00000f1c: LT 00000f1d: PUSH2 0x0f22 00000f20: JUMPI 00000f21: INVALID 00000f22: JUMPDEST 00000f23: PUSH1 0x20 00000f25: MUL 00000f26: PUSH1 0x20 00000f28: ADD 00000f29: ADD 00000f2a: MLOAD 00000f2b: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 00000f40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f55: AND 00000f56: PUSH4 0x70a08231 00000f5b: ADDRESS 00000f5c: PUSH1 0x40 00000f5e: MLOAD 00000f5f: DUP3 00000f60: PUSH4 0xffffffff 00000f65: AND 00000f66: PUSH1 0xe0 00000f68: SHL 00000f69: DUP2 00000f6a: MSTORE 00000f6b: PUSH1 0x04 00000f6d: ADD 00000f6e: DUP1 00000f6f: DUP3 00000f70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f85: AND 00000f86: DUP2 00000f87: MSTORE 00000f88: PUSH1 0x20 00000f8a: ADD 00000f8b: SWAP2 00000f8c: POP 00000f8d: POP 00000f8e: PUSH1 0x20 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: DUP1 00000f94: DUP4 00000f95: SUB 00000f96: DUP2 00000f97: PUSH1 0x00 00000f99: DUP8 00000f9a: DUP1 00000f9b: EXTCODESIZE 00000f9c: ISZERO 00000f9d: DUP1 00000f9e: ISZERO 00000f9f: PUSH2 0x0fa7 00000fa2: JUMPI 00000fa3: PUSH1 0x00 00000fa5: DUP1 00000fa6: REVERT 00000fa7: JUMPDEST 00000fa8: POP 00000fa9: GAS 00000faa: CALL 00000fab: ISZERO 00000fac: DUP1 00000fad: ISZERO 00000fae: PUSH2 0x0fbb 00000fb1: JUMPI 00000fb2: RETURNDATASIZE 00000fb3: PUSH1 0x00 00000fb5: DUP1 00000fb6: RETURNDATACOPY 00000fb7: RETURNDATASIZE 00000fb8: PUSH1 0x00 00000fba: REVERT 00000fbb: JUMPDEST 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: POP 00000fc0: PUSH1 0x40 00000fc2: MLOAD 00000fc3: RETURNDATASIZE 00000fc4: PUSH1 0x20 00000fc6: DUP2 00000fc7: LT 00000fc8: ISZERO 00000fc9: PUSH2 0x0fd1 00000fcc: JUMPI 00000fcd: PUSH1 0x00 00000fcf: DUP1 00000fd0: REVERT 00000fd1: JUMPDEST 00000fd2: POP 00000fd3: MLOAD 00000fd4: PUSH1 0x40 00000fd6: DUP1 00000fd7: MLOAD 00000fd8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000ff9: PUSH1 0xe0 00000ffb: DUP7 00000ffc: SWAP1 00000ffd: SHL 00000ffe: AND 00000fff: DUP2 00001000: MSTORE 00001001: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001016: SWAP1 00001017: SWAP4 00001018: AND 00001019: PUSH1 0x04 0000101b: DUP5 0000101c: ADD 0000101d: MSTORE 0000101e: PUSH1 0x24 00001020: DUP4 00001021: ADD 00001022: SWAP2 00001023: SWAP1 00001024: SWAP2 00001025: MSTORE 00001026: MLOAD 00001027: PUSH1 0x44 00001029: DUP1 0000102a: DUP4 0000102b: ADD 0000102c: SWAP3 0000102d: PUSH1 0x00 0000102f: SWAP3 00001030: SWAP2 00001031: SWAP1 00001032: DUP3 00001033: SWAP1 00001034: SUB 00001035: ADD 00001036: DUP2 00001037: DUP4 00001038: DUP8 00001039: DUP1 0000103a: EXTCODESIZE 0000103b: ISZERO 0000103c: DUP1 0000103d: ISZERO 0000103e: PUSH2 0x1046 00001041: JUMPI 00001042: PUSH1 0x00 00001044: DUP1 00001045: REVERT 00001046: JUMPDEST 00001047: POP 00001048: GAS 00001049: CALL 0000104a: ISZERO 0000104b: DUP1 0000104c: ISZERO 0000104d: PUSH2 0x105a 00001050: JUMPI 00001051: RETURNDATASIZE 00001052: PUSH1 0x00 00001054: DUP1 00001055: RETURNDATACOPY 00001056: RETURNDATASIZE 00001057: PUSH1 0x00 00001059: REVERT 0000105a: JUMPDEST 0000105b: POP 0000105c: POP 0000105d: PUSH1 0x01 0000105f: SWAP1 00001060: SWAP5 00001061: ADD 00001062: SWAP4 00001063: POP 00001064: PUSH2 0x0e10 00001067: SWAP3 00001068: POP 00001069: POP 0000106a: POP 0000106b: JUMP 0000106c: JUMPDEST 0000106d: POP 0000106e: PUSH1 0x40 00001070: DUP1 00001071: MLOAD 00001072: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00001093: DUP2 00001094: MSTORE 00001095: ADDRESS 00001096: PUSH1 0x04 00001098: DUP3 00001099: ADD 0000109a: MSTORE 0000109b: SWAP1 0000109c: MLOAD 0000109d: PUSH1 0x00 0000109f: SWAP2 000010a0: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 000010b5: SWAP2 000010b6: PUSH4 0x70a08231 000010bb: SWAP2 000010bc: PUSH1 0x24 000010be: DUP1 000010bf: DUP3 000010c0: ADD 000010c1: SWAP3 000010c2: PUSH1 0x20 000010c4: SWAP3 000010c5: SWAP1 000010c6: SWAP2 000010c7: SWAP1 000010c8: DUP3 000010c9: SWAP1 000010ca: SUB 000010cb: ADD 000010cc: DUP2 000010cd: DUP8 000010ce: DUP8 000010cf: DUP1 000010d0: EXTCODESIZE 000010d1: ISZERO 000010d2: DUP1 000010d3: ISZERO 000010d4: PUSH2 0x10dc 000010d7: JUMPI 000010d8: PUSH1 0x00 000010da: DUP1 000010db: REVERT 000010dc: JUMPDEST 000010dd: POP 000010de: GAS 000010df: CALL 000010e0: ISZERO 000010e1: DUP1 000010e2: ISZERO 000010e3: PUSH2 0x10f0 000010e6: JUMPI 000010e7: RETURNDATASIZE 000010e8: PUSH1 0x00 000010ea: DUP1 000010eb: RETURNDATACOPY 000010ec: RETURNDATASIZE 000010ed: PUSH1 0x00 000010ef: REVERT 000010f0: JUMPDEST 000010f1: POP 000010f2: POP 000010f3: POP 000010f4: POP 000010f5: PUSH1 0x40 000010f7: MLOAD 000010f8: RETURNDATASIZE 000010f9: PUSH1 0x20 000010fb: DUP2 000010fc: LT 000010fd: ISZERO 000010fe: PUSH2 0x1106 00001101: JUMPI 00001102: PUSH1 0x00 00001104: DUP1 00001105: REVERT 00001106: JUMPDEST 00001107: POP 00001108: MLOAD 00001109: SWAP1 0000110a: POP 0000110b: PUSH1 0x0a 0000110d: DUP2 0000110e: DUP4 0000110f: SUB 00001110: DIV 00001111: PUSH1 0x64 00001113: DUP5 00001114: DUP3 00001115: MUL 00001116: DIV 00001117: PUSH1 0x00 00001119: DUP7 0000111a: DUP3 0000111b: DUP2 0000111c: PUSH2 0x1121 0000111f: JUMPI 00001120: INVALID 00001121: JUMPDEST 00001122: DIV 00001123: SWAP1 00001124: POP 00001125: SELFBALANCE 00001126: DUP1 00001127: DUP3 00001128: GT 00001129: ISZERO 0000112a: PUSH2 0x1131 0000112d: JUMPI 0000112e: DUP1 0000112f: SWAP2 00001130: POP 00001131: JUMPDEST 00001132: PUSH1 0x40 00001134: MLOAD 00001135: COINBASE 00001136: SWAP1 00001137: DUP4 00001138: ISZERO 00001139: PUSH2 0x08fc 0000113c: MUL 0000113d: SWAP1 0000113e: DUP5 0000113f: SWAP1 00001140: PUSH1 0x00 00001142: DUP2 00001143: DUP2 00001144: DUP2 00001145: DUP6 00001146: DUP9 00001147: DUP9 00001148: CALL 00001149: SWAP4 0000114a: POP 0000114b: POP 0000114c: POP 0000114d: POP 0000114e: ISZERO 0000114f: DUP1 00001150: ISZERO 00001151: PUSH2 0x115e 00001154: JUMPI 00001155: RETURNDATASIZE 00001156: PUSH1 0x00 00001158: DUP1 00001159: RETURNDATACOPY 0000115a: RETURNDATASIZE 0000115b: PUSH1 0x00 0000115d: REVERT 0000115e: JUMPDEST 0000115f: POP 00001160: POP 00001161: POP 00001162: POP 00001163: POP 00001164: POP 00001165: POP 00001166: POP 00001167: POP 00001168: POP 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH2 0x1172 0000116e: PUSH2 0x1778 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH2 0x11dd 00001176: JUMPI 00001177: PUSH1 0x40 00001179: DUP1 0000117a: MLOAD 0000117b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000119c: DUP2 0000119d: MSTORE 0000119e: PUSH1 0x20 000011a0: PUSH1 0x04 000011a2: DUP3 000011a3: ADD 000011a4: MSTORE 000011a5: PUSH1 0x10 000011a7: PUSH1 0x24 000011a9: DUP3 000011aa: ADD 000011ab: MSTORE 000011ac: PUSH32 0x4e4f545f57484954455f4c495354454400000000000000000000000000000000 000011cd: PUSH1 0x44 000011cf: DUP3 000011d0: ADD 000011d1: MSTORE 000011d2: SWAP1 000011d3: MLOAD 000011d4: SWAP1 000011d5: DUP2 000011d6: SWAP1 000011d7: SUB 000011d8: PUSH1 0x64 000011da: ADD 000011db: SWAP1 000011dc: REVERT 000011dd: JUMPDEST 000011de: PUSH1 0x40 000011e0: DUP1 000011e1: MLOAD 000011e2: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001203: DUP2 00001204: MSTORE 00001205: PUSH20 0x5097119dcb1ce3725dbcbe42356722dbacfc3b81 0000121a: PUSH1 0x04 0000121c: DUP3 0000121d: ADD 0000121e: DUP2 0000121f: SWAP1 00001220: MSTORE 00001221: PUSH1 0x24 00001223: DUP3 00001224: ADD 00001225: DUP5 00001226: SWAP1 00001227: MSTORE 00001228: SWAP2 00001229: MLOAD 0000122a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123f: DUP6 00001240: AND 00001241: SWAP2 00001242: PUSH4 0xa9059cbb 00001247: SWAP2 00001248: PUSH1 0x44 0000124a: DUP1 0000124b: DUP4 0000124c: ADD 0000124d: SWAP3 0000124e: PUSH1 0x20 00001250: SWAP3 00001251: SWAP2 00001252: SWAP1 00001253: DUP3 00001254: SWAP1 00001255: SUB 00001256: ADD 00001257: DUP2 00001258: PUSH1 0x00 0000125a: DUP8 0000125b: DUP1 0000125c: EXTCODESIZE 0000125d: ISZERO 0000125e: DUP1 0000125f: ISZERO 00001260: PUSH2 0x0bee 00001263: JUMPI 00001264: PUSH1 0x00 00001266: DUP1 00001267: REVERT 00001268: JUMPDEST 00001269: GASPRICE 0000126a: ISZERO 0000126b: PUSH2 0x12d7 0000126e: JUMPI 0000126f: PUSH1 0x40 00001271: DUP1 00001272: MLOAD 00001273: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001294: DUP2 00001295: MSTORE 00001296: PUSH1 0x20 00001298: PUSH1 0x04 0000129a: DUP1 0000129b: DUP4 0000129c: ADD 0000129d: SWAP2 0000129e: SWAP1 0000129f: SWAP2 000012a0: MSTORE 000012a1: PUSH1 0x24 000012a3: DUP3 000012a4: ADD 000012a5: MSTORE 000012a6: PUSH32 0x4e4f504500000000000000000000000000000000000000000000000000000000 000012c7: PUSH1 0x44 000012c9: DUP3 000012ca: ADD 000012cb: MSTORE 000012cc: SWAP1 000012cd: MLOAD 000012ce: SWAP1 000012cf: DUP2 000012d0: SWAP1 000012d1: SUB 000012d2: PUSH1 0x64 000012d4: ADD 000012d5: SWAP1 000012d6: REVERT 000012d7: JUMPDEST 000012d8: PUSH1 0x46 000012da: DUP2 000012db: LT 000012dc: PUSH2 0x1346 000012df: JUMPI 000012e0: PUSH1 0x40 000012e2: DUP1 000012e3: MLOAD 000012e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001305: DUP2 00001306: MSTORE 00001307: PUSH1 0x20 00001309: PUSH1 0x04 0000130b: DUP3 0000130c: ADD 0000130d: MSTORE 0000130e: PUSH1 0x08 00001310: PUSH1 0x24 00001312: DUP3 00001313: ADD 00001314: MSTORE 00001315: PUSH32 0x50434e545f455252000000000000000000000000000000000000000000000000 00001336: PUSH1 0x44 00001338: DUP3 00001339: ADD 0000133a: MSTORE 0000133b: SWAP1 0000133c: MLOAD 0000133d: SWAP1 0000133e: DUP2 0000133f: SWAP1 00001340: SUB 00001341: PUSH1 0x64 00001343: ADD 00001344: SWAP1 00001345: REVERT 00001346: JUMPDEST 00001347: PUSH1 0x40 00001349: DUP1 0000134a: MLOAD 0000134b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000136c: DUP2 0000136d: MSTORE 0000136e: ADDRESS 0000136f: PUSH1 0x04 00001371: DUP3 00001372: ADD 00001373: MSTORE 00001374: SWAP1 00001375: MLOAD 00001376: PUSH1 0x00 00001378: SWAP2 00001379: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 0000138e: SWAP2 0000138f: PUSH4 0x70a08231 00001394: SWAP2 00001395: PUSH1 0x24 00001397: DUP1 00001398: DUP3 00001399: ADD 0000139a: SWAP3 0000139b: PUSH1 0x20 0000139d: SWAP3 0000139e: SWAP1 0000139f: SWAP2 000013a0: SWAP1 000013a1: DUP3 000013a2: SWAP1 000013a3: SUB 000013a4: ADD 000013a5: DUP2 000013a6: DUP8 000013a7: DUP8 000013a8: DUP1 000013a9: EXTCODESIZE 000013aa: ISZERO 000013ab: DUP1 000013ac: ISZERO 000013ad: PUSH2 0x13b5 000013b0: JUMPI 000013b1: PUSH1 0x00 000013b3: DUP1 000013b4: REVERT 000013b5: JUMPDEST 000013b6: POP 000013b7: GAS 000013b8: CALL 000013b9: ISZERO 000013ba: DUP1 000013bb: ISZERO 000013bc: PUSH2 0x13c9 000013bf: JUMPI 000013c0: RETURNDATASIZE 000013c1: PUSH1 0x00 000013c3: DUP1 000013c4: RETURNDATACOPY 000013c5: RETURNDATASIZE 000013c6: PUSH1 0x00 000013c8: REVERT 000013c9: JUMPDEST 000013ca: POP 000013cb: POP 000013cc: POP 000013cd: POP 000013ce: PUSH1 0x40 000013d0: MLOAD 000013d1: RETURNDATASIZE 000013d2: PUSH1 0x20 000013d4: DUP2 000013d5: LT 000013d6: ISZERO 000013d7: PUSH2 0x13df 000013da: JUMPI 000013db: PUSH1 0x00 000013dd: DUP1 000013de: REVERT 000013df: JUMPDEST 000013e0: POP 000013e1: MLOAD 000013e2: SWAP1 000013e3: POP 000013e4: DUP4 000013e5: DUP2 000013e6: LT 000013e7: ISZERO 000013e8: PUSH2 0x13ef 000013eb: JUMPI 000013ec: DUP1 000013ed: SWAP4 000013ee: POP 000013ef: JUMPDEST 000013f0: PUSH1 0x40 000013f2: DUP1 000013f3: MLOAD 000013f4: PUSH32 0xe6203ed100000000000000000000000000000000000000000000000000000000 00001415: DUP2 00001416: MSTORE 00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142c: DUP8 0000142d: AND 0000142e: PUSH1 0x04 00001430: DUP3 00001431: ADD 00001432: MSTORE 00001433: PUSH1 0x24 00001435: DUP2 00001436: ADD 00001437: DUP7 00001438: SWAP1 00001439: MSTORE 0000143a: SWAP1 0000143b: MLOAD 0000143c: PUSH20 0x97767d7d04fd0db0a1a2478dcd4ba85290556b48 00001451: SWAP2 00001452: PUSH4 0xe6203ed1 00001457: SWAP2 00001458: PUSH1 0x44 0000145a: DUP1 0000145b: DUP4 0000145c: ADD 0000145d: SWAP3 0000145e: PUSH1 0x00 00001460: SWAP3 00001461: SWAP2 00001462: SWAP1 00001463: DUP3 00001464: SWAP1 00001465: SUB 00001466: ADD 00001467: DUP2 00001468: DUP4 00001469: DUP8 0000146a: DUP1 0000146b: EXTCODESIZE 0000146c: ISZERO 0000146d: DUP1 0000146e: ISZERO 0000146f: PUSH2 0x1477 00001472: JUMPI 00001473: PUSH1 0x00 00001475: DUP1 00001476: REVERT 00001477: JUMPDEST 00001478: POP 00001479: GAS 0000147a: CALL 0000147b: ISZERO 0000147c: DUP1 0000147d: ISZERO 0000147e: PUSH2 0x148b 00001481: JUMPI 00001482: RETURNDATASIZE 00001483: PUSH1 0x00 00001485: DUP1 00001486: RETURNDATACOPY 00001487: RETURNDATASIZE 00001488: PUSH1 0x00 0000148a: REVERT 0000148b: JUMPDEST 0000148c: POP 0000148d: POP 0000148e: PUSH1 0x40 00001490: DUP1 00001491: MLOAD 00001492: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000014b3: DUP2 000014b4: MSTORE 000014b5: ADDRESS 000014b6: PUSH1 0x04 000014b8: DUP3 000014b9: ADD 000014ba: MSTORE 000014bb: SWAP1 000014bc: MLOAD 000014bd: PUSH1 0x00 000014bf: SWAP4 000014c0: POP 000014c1: PUSH20 0x57ab1ec28d129707052df4df418d58a2d46d5f51 000014d6: SWAP3 000014d7: POP 000014d8: PUSH4 0x70a08231 000014dd: SWAP2 000014de: PUSH1 0x24 000014e0: DUP1 000014e1: DUP3 000014e2: ADD 000014e3: SWAP3 000014e4: PUSH1 0x20 000014e6: SWAP3 000014e7: SWAP1 000014e8: SWAP2 000014e9: SWAP1 000014ea: DUP3 000014eb: SWAP1 000014ec: SUB 000014ed: ADD 000014ee: DUP2 000014ef: DUP8 000014f0: DUP8 000014f1: DUP1 000014f2: EXTCODESIZE 000014f3: ISZERO 000014f4: DUP1 000014f5: ISZERO 000014f6: PUSH2 0x14fe 000014f9: JUMPI 000014fa: PUSH1 0x00 000014fc: DUP1 000014fd: REVERT 000014fe: JUMPDEST 000014ff: POP 00001500: GAS 00001501: CALL 00001502: ISZERO 00001503: DUP1 00001504: ISZERO 00001505: PUSH2 0x1512 00001508: JUMPI 00001509: RETURNDATASIZE 0000150a: PUSH1 0x00 0000150c: DUP1 0000150d: RETURNDATACOPY 0000150e: RETURNDATASIZE 0000150f: PUSH1 0x00 00001511: REVERT 00001512: JUMPDEST 00001513: POP 00001514: POP 00001515: POP 00001516: POP 00001517: PUSH1 0x40 00001519: MLOAD 0000151a: RETURNDATASIZE 0000151b: PUSH1 0x20 0000151d: DUP2 0000151e: LT 0000151f: ISZERO 00001520: PUSH2 0x1528 00001523: JUMPI 00001524: PUSH1 0x00 00001526: DUP1 00001527: REVERT 00001528: JUMPDEST 00001529: POP 0000152a: MLOAD 0000152b: SWAP1 0000152c: POP 0000152d: PUSH1 0x0a 0000152f: DUP2 00001530: DUP4 00001531: SUB 00001532: DIV 00001533: PUSH1 0x64 00001535: DUP5 00001536: DUP3 00001537: MUL 00001538: DIV 00001539: PUSH1 0x00 0000153b: DUP7 0000153c: DUP3 0000153d: DUP2 0000153e: PUSH2 0x1543 00001541: JUMPI 00001542: INVALID 00001543: JUMPDEST 00001544: DIV 00001545: SWAP1 00001546: POP 00001547: SELFBALANCE 00001548: DUP1 00001549: DUP3 0000154a: GT 0000154b: ISZERO 0000154c: PUSH2 0x1553 0000154f: JUMPI 00001550: DUP1 00001551: SWAP2 00001552: POP 00001553: JUMPDEST 00001554: PUSH1 0x40 00001556: MLOAD 00001557: COINBASE 00001558: SWAP1 00001559: DUP4 0000155a: ISZERO 0000155b: PUSH2 0x08fc 0000155e: MUL 0000155f: SWAP1 00001560: DUP5 00001561: SWAP1 00001562: PUSH1 0x00 00001564: DUP2 00001565: DUP2 00001566: DUP2 00001567: DUP6 00001568: DUP9 00001569: DUP9 0000156a: CALL 0000156b: SWAP4 0000156c: POP 0000156d: POP 0000156e: POP 0000156f: POP 00001570: ISZERO 00001571: DUP1 00001572: ISZERO 00001573: PUSH2 0x1580 00001576: JUMPI 00001577: RETURNDATASIZE 00001578: PUSH1 0x00 0000157a: DUP1 0000157b: RETURNDATACOPY 0000157c: RETURNDATASIZE 0000157d: PUSH1 0x00 0000157f: REVERT 00001580: JUMPDEST 00001581: POP 00001582: POP 00001583: POP 00001584: POP 00001585: POP 00001586: POP 00001587: POP 00001588: POP 00001589: POP 0000158a: POP 0000158b: POP 0000158c: JUMP 0000158d: JUMPDEST 0000158e: PUSH2 0x1595 00001591: PUSH2 0x1778 00001594: JUMP 00001595: JUMPDEST 00001596: PUSH2 0x1600 00001599: JUMPI 0000159a: PUSH1 0x40 0000159c: DUP1 0000159d: MLOAD 0000159e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015bf: DUP2 000015c0: MSTORE 000015c1: PUSH1 0x20 000015c3: PUSH1 0x04 000015c5: DUP3 000015c6: ADD 000015c7: MSTORE 000015c8: PUSH1 0x10 000015ca: PUSH1 0x24 000015cc: DUP3 000015cd: ADD 000015ce: MSTORE 000015cf: PUSH32 0x4e4f545f57484954455f4c495354454400000000000000000000000000000000 000015f0: PUSH1 0x44 000015f2: DUP3 000015f3: ADD 000015f4: MSTORE 000015f5: SWAP1 000015f6: MLOAD 000015f7: SWAP1 000015f8: DUP2 000015f9: SWAP1 000015fa: SUB 000015fb: PUSH1 0x64 000015fd: ADD 000015fe: SWAP1 000015ff: REVERT 00001600: JUMPDEST 00001601: PUSH1 0x00 00001603: PUSH1 0x60 00001605: DUP4 00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161b: AND 0000161c: DUP4 0000161d: PUSH1 0x40 0000161f: MLOAD 00001620: DUP1 00001621: DUP3 00001622: DUP1 00001623: MLOAD 00001624: SWAP1 00001625: PUSH1 0x20 00001627: ADD 00001628: SWAP1 00001629: DUP1 0000162a: DUP4 0000162b: DUP4 0000162c: JUMPDEST 0000162d: PUSH1 0x20 0000162f: DUP4 00001630: LT 00001631: PUSH2 0x1669 00001634: JUMPI 00001635: DUP1 00001636: MLOAD 00001637: DUP3 00001638: MSTORE 00001639: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000165a: SWAP1 0000165b: SWAP3 0000165c: ADD 0000165d: SWAP2 0000165e: PUSH1 0x20 00001660: SWAP2 00001661: DUP3 00001662: ADD 00001663: SWAP2 00001664: ADD 00001665: PUSH2 0x162c 00001668: JUMP 00001669: JUMPDEST 0000166a: PUSH1 0x01 0000166c: DUP4 0000166d: PUSH1 0x20 0000166f: SUB 00001670: PUSH2 0x0100 00001673: EXP 00001674: SUB 00001675: DUP1 00001676: NOT 00001677: DUP3 00001678: MLOAD 00001679: AND 0000167a: DUP2 0000167b: DUP5 0000167c: MLOAD 0000167d: AND 0000167e: DUP1 0000167f: DUP3 00001680: OR 00001681: DUP6 00001682: MSTORE 00001683: POP 00001684: POP 00001685: POP 00001686: POP 00001687: POP 00001688: POP 00001689: SWAP1 0000168a: POP 0000168b: ADD 0000168c: SWAP2 0000168d: POP 0000168e: POP 0000168f: PUSH1 0x00 00001691: PUSH1 0x40 00001693: MLOAD 00001694: DUP1 00001695: DUP4 00001696: SUB 00001697: DUP2 00001698: DUP6 00001699: GAS 0000169a: DELEGATECALL 0000169b: SWAP2 0000169c: POP 0000169d: POP 0000169e: RETURNDATASIZE 0000169f: DUP1 000016a0: PUSH1 0x00 000016a2: DUP2 000016a3: EQ 000016a4: PUSH2 0x16c9 000016a7: JUMPI 000016a8: PUSH1 0x40 000016aa: MLOAD 000016ab: SWAP2 000016ac: POP 000016ad: PUSH1 0x1f 000016af: NOT 000016b0: PUSH1 0x3f 000016b2: RETURNDATASIZE 000016b3: ADD 000016b4: AND 000016b5: DUP3 000016b6: ADD 000016b7: PUSH1 0x40 000016b9: MSTORE 000016ba: RETURNDATASIZE 000016bb: DUP3 000016bc: MSTORE 000016bd: RETURNDATASIZE 000016be: PUSH1 0x00 000016c0: PUSH1 0x20 000016c2: DUP5 000016c3: ADD 000016c4: RETURNDATACOPY 000016c5: PUSH2 0x16ce 000016c8: JUMP 000016c9: JUMPDEST 000016ca: PUSH1 0x60 000016cc: SWAP2 000016cd: POP 000016ce: JUMPDEST 000016cf: POP 000016d0: SWAP2 000016d1: POP 000016d2: SWAP2 000016d3: POP 000016d4: DUP2 000016d5: DUP2 000016d6: SWAP1 000016d7: PUSH2 0x0c18 000016da: JUMPI 000016db: PUSH1 0x40 000016dd: MLOAD 000016de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016ff: DUP2 00001700: MSTORE 00001701: PUSH1 0x04 00001703: ADD 00001704: DUP1 00001705: DUP1 00001706: PUSH1 0x20 00001708: ADD 00001709: DUP3 0000170a: DUP2 0000170b: SUB 0000170c: DUP3 0000170d: MSTORE 0000170e: DUP4 0000170f: DUP2 00001710: DUP2 00001711: MLOAD 00001712: DUP2 00001713: MSTORE 00001714: PUSH1 0x20 00001716: ADD 00001717: SWAP2 00001718: POP 00001719: DUP1 0000171a: MLOAD 0000171b: SWAP1 0000171c: PUSH1 0x20 0000171e: ADD 0000171f: SWAP1 00001720: DUP1 00001721: DUP4 00001722: DUP4 00001723: PUSH1 0x00 00001725: JUMPDEST 00001726: DUP4 00001727: DUP2 00001728: LT 00001729: ISZERO 0000172a: PUSH2 0x173d 0000172d: JUMPI 0000172e: DUP2 0000172f: DUP2 00001730: ADD 00001731: MLOAD 00001732: DUP4 00001733: DUP3 00001734: ADD 00001735: MSTORE 00001736: PUSH1 0x20 00001738: ADD 00001739: PUSH2 0x1725 0000173c: JUMP 0000173d: JUMPDEST 0000173e: POP 0000173f: POP 00001740: POP 00001741: POP 00001742: SWAP1 00001743: POP 00001744: SWAP1 00001745: DUP2 00001746: ADD 00001747: SWAP1 00001748: PUSH1 0x1f 0000174a: AND 0000174b: DUP1 0000174c: ISZERO 0000174d: PUSH2 0x176a 00001750: JUMPI 00001751: DUP1 00001752: DUP3 00001753: SUB 00001754: DUP1 00001755: MLOAD 00001756: PUSH1 0x01 00001758: DUP4 00001759: PUSH1 0x20 0000175b: SUB 0000175c: PUSH2 0x0100 0000175f: EXP 00001760: SUB 00001761: NOT 00001762: AND 00001763: DUP2 00001764: MSTORE 00001765: PUSH1 0x20 00001767: ADD 00001768: SWAP2 00001769: POP 0000176a: JUMPDEST 0000176b: POP 0000176c: SWAP3 0000176d: POP 0000176e: POP 0000176f: POP 00001770: PUSH1 0x40 00001772: MLOAD 00001773: DUP1 00001774: SWAP2 00001775: SUB 00001776: SWAP1 00001777: REVERT 00001778: JUMPDEST 00001779: PUSH1 0x00 0000177b: CALLER 0000177c: PUSH20 0x287dc8295e10878be9e20cb72e28c0e89bfe73b7 00001791: DUP2 00001792: EQ 00001793: ISZERO 00001794: PUSH2 0x17a1 00001797: JUMPI 00001798: PUSH1 0x01 0000179a: SWAP2 0000179b: POP 0000179c: POP 0000179d: PUSH2 0x1c57 000017a0: JUMP 000017a1: JUMPDEST 000017a2: PUSH20 0x258bda5335e13994f96985464ce4933a8b3e738c 000017b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017cc: DUP3 000017cd: AND 000017ce: EQ 000017cf: ISZERO 000017d0: PUSH2 0x17dd 000017d3: JUMPI 000017d4: PUSH1 0x01 000017d6: SWAP2 000017d7: POP 000017d8: POP 000017d9: PUSH2 0x1c57 000017dc: JUMP 000017dd: JUMPDEST 000017de: PUSH20 0x196a8e7bcb41a679cd56a09d0e198ac7af43d7ce 000017f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001808: DUP3 00001809: AND 0000180a: EQ 0000180b: ISZERO 0000180c: PUSH2 0x1819 0000180f: JUMPI 00001810: PUSH1 0x01 00001812: SWAP2 00001813: POP 00001814: POP 00001815: PUSH2 0x1c57 00001818: JUMP 00001819: JUMPDEST 0000181a: PUSH20 0x3a8e730807c58facb9a55f94bee7c28eb01b35f5 0000182f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001844: DUP3 00001845: AND 00001846: EQ 00001847: ISZERO 00001848: PUSH2 0x1855 0000184b: JUMPI 0000184c: PUSH1 0x01 0000184e: SWAP2 0000184f: POP 00001850: POP 00001851: PUSH2 0x1c57 00001854: JUMP 00001855: JUMPDEST 00001856: PUSH20 0x91223f99a2d90a0a6e77a0a25b92b1b5c0637afe 0000186b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001880: DUP3 00001881: AND 00001882: EQ 00001883: ISZERO 00001884: PUSH2 0x1891 00001887: JUMPI 00001888: PUSH1 0x01 0000188a: SWAP2 0000188b: POP 0000188c: POP 0000188d: PUSH2 0x1c57 00001890: JUMP 00001891: JUMPDEST 00001892: PUSH20 0x793b657d6399b274f3b9aedb34456e3bf1e093a6 000018a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018bc: DUP3 000018bd: AND 000018be: EQ 000018bf: ISZERO 000018c0: PUSH2 0x18cd 000018c3: JUMPI 000018c4: PUSH1 0x01 000018c6: SWAP2 000018c7: POP 000018c8: POP 000018c9: PUSH2 0x1c57 000018cc: JUMP 000018cd: JUMPDEST 000018ce: PUSH20 0x1f6b844b0f7b60429a8adbdfed2a7a9996bc8d65 000018e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f8: DUP3 000018f9: AND 000018fa: EQ 000018fb: ISZERO 000018fc: PUSH2 0x1909 000018ff: JUMPI 00001900: PUSH1 0x01 00001902: SWAP2 00001903: POP 00001904: POP 00001905: PUSH2 0x1c57 00001908: JUMP 00001909: JUMPDEST 0000190a: PUSH20 0xe644f7b1c2f3bf68686c3298cefe434febdb9415 0000191f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001934: DUP3 00001935: AND 00001936: EQ 00001937: ISZERO 00001938: PUSH2 0x1945 0000193b: JUMPI 0000193c: PUSH1 0x01 0000193e: SWAP2 0000193f: POP 00001940: POP 00001941: PUSH2 0x1c57 00001944: JUMP 00001945: JUMPDEST 00001946: PUSH20 0x70c072371bb5fcc63bd6ae9c7f3a6b80dd015edf 0000195b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001970: DUP3 00001971: AND 00001972: EQ 00001973: ISZERO 00001974: PUSH2 0x1981 00001977: JUMPI 00001978: PUSH1 0x01 0000197a: SWAP2 0000197b: POP 0000197c: POP 0000197d: PUSH2 0x1c57 00001980: JUMP 00001981: JUMPDEST 00001982: PUSH20 0x72d7966fb9d3b7ae0344fb92fe2aff0dfab45a89 00001997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ac: DUP3 000019ad: AND 000019ae: EQ 000019af: ISZERO 000019b0: PUSH2 0x19bd 000019b3: JUMPI 000019b4: PUSH1 0x01 000019b6: SWAP2 000019b7: POP 000019b8: POP 000019b9: PUSH2 0x1c57 000019bc: JUMP 000019bd: JUMPDEST 000019be: PUSH20 0x927cf8ceae6efb1b7e81f5a7907e0e46d41619f8 000019d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e8: DUP3 000019e9: AND 000019ea: EQ 000019eb: ISZERO 000019ec: PUSH2 0x19f9 000019ef: JUMPI 000019f0: PUSH1 0x01 000019f2: SWAP2 000019f3: POP 000019f4: POP 000019f5: PUSH2 0x1c57 000019f8: JUMP 000019f9: JUMPDEST 000019fa: PUSH20 0xf04d23d76de9d55b50b0adf2556092b6ce790644 00001a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a24: DUP3 00001a25: AND 00001a26: EQ 00001a27: ISZERO 00001a28: PUSH2 0x1a35 00001a2b: JUMPI 00001a2c: PUSH1 0x01 00001a2e: SWAP2 00001a2f: POP 00001a30: POP 00001a31: PUSH2 0x1c57 00001a34: JUMP 00001a35: JUMPDEST 00001a36: PUSH20 0x305bf59bbd7a89ca9ce4d460b0efb54266d9e6c3 00001a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a60: DUP3 00001a61: AND 00001a62: EQ 00001a63: ISZERO 00001a64: PUSH2 0x1a71 00001a67: JUMPI 00001a68: PUSH1 0x01 00001a6a: SWAP2 00001a6b: POP 00001a6c: POP 00001a6d: PUSH2 0x1c57 00001a70: JUMP 00001a71: JUMPDEST 00001a72: PUSH20 0xbf92bed5697743a8ed402a76a5b4d0ba54809917 00001a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9c: DUP3 00001a9d: AND 00001a9e: EQ 00001a9f: ISZERO 00001aa0: PUSH2 0x1aad 00001aa3: JUMPI 00001aa4: PUSH1 0x01 00001aa6: SWAP2 00001aa7: POP 00001aa8: POP 00001aa9: PUSH2 0x1c57 00001aac: JUMP 00001aad: JUMPDEST 00001aae: PUSH20 0x2d0862ef64149eebbb1222bbb556f50e81d1ba20 00001ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad8: DUP3 00001ad9: AND 00001ada: EQ 00001adb: ISZERO 00001adc: PUSH2 0x1ae9 00001adf: JUMPI 00001ae0: PUSH1 0x01 00001ae2: SWAP2 00001ae3: POP 00001ae4: POP 00001ae5: PUSH2 0x1c57 00001ae8: JUMP 00001ae9: JUMPDEST 00001aea: PUSH20 0x8354c5883c40ee6b68c43530d2d0a62b1edb6ac1 00001aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b14: DUP3 00001b15: AND 00001b16: EQ 00001b17: ISZERO 00001b18: PUSH2 0x1b25 00001b1b: JUMPI 00001b1c: PUSH1 0x01 00001b1e: SWAP2 00001b1f: POP 00001b20: POP 00001b21: PUSH2 0x1c57 00001b24: JUMP 00001b25: JUMPDEST 00001b26: PUSH20 0xe4be70d9f2ce7d55b7a6d50c8830b043f434e5f9 00001b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b50: DUP3 00001b51: AND 00001b52: EQ 00001b53: ISZERO 00001b54: PUSH2 0x1b61 00001b57: JUMPI 00001b58: PUSH1 0x01 00001b5a: SWAP2 00001b5b: POP 00001b5c: POP 00001b5d: PUSH2 0x1c57 00001b60: JUMP 00001b61: JUMPDEST 00001b62: PUSH20 0xe4394dc6b7f632ede617e68ab6af17aa419aa76e 00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b8c: DUP3 00001b8d: AND 00001b8e: EQ 00001b8f: ISZERO 00001b90: PUSH2 0x1b9d 00001b93: JUMPI 00001b94: PUSH1 0x01 00001b96: SWAP2 00001b97: POP 00001b98: POP 00001b99: PUSH2 0x1c57 00001b9c: JUMP 00001b9d: JUMPDEST 00001b9e: PUSH20 0x95e28e69f4a6774307be23bb766b855cff1f973d 00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc8: DUP3 00001bc9: AND 00001bca: EQ 00001bcb: ISZERO 00001bcc: PUSH2 0x1bd9 00001bcf: JUMPI 00001bd0: PUSH1 0x01 00001bd2: SWAP2 00001bd3: POP 00001bd4: POP 00001bd5: PUSH2 0x1c57 00001bd8: JUMP 00001bd9: JUMPDEST 00001bda: PUSH20 0x786e7f7cd7cf8eff317a22631a561099d06d1a79 00001bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c04: DUP3 00001c05: AND 00001c06: EQ 00001c07: ISZERO 00001c08: PUSH2 0x1c15 00001c0b: JUMPI 00001c0c: PUSH1 0x01 00001c0e: SWAP2 00001c0f: POP 00001c10: POP 00001c11: PUSH2 0x1c57 00001c14: JUMP 00001c15: JUMPDEST 00001c16: PUSH20 0x5097119dcb1ce3725dbcbe42356722dbacfc3b81 00001c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c40: DUP3 00001c41: AND 00001c42: EQ 00001c43: ISZERO 00001c44: PUSH2 0x1c51 00001c47: JUMPI 00001c48: PUSH1 0x01 00001c4a: SWAP2 00001c4b: POP 00001c4c: POP 00001c4d: PUSH2 0x1c57 00001c50: JUMP 00001c51: JUMPDEST 00001c52: PUSH1 0x00 00001c54: SWAP2 00001c55: POP 00001c56: POP 00001c57: JUMPDEST 00001c58: SWAP1 00001c59: JUMP 00001c5a: INVALID 00001c5b: LOG2 00001c5c: PUSH5 0x6970667358 00001c62: UNKNOWN(0x22) 00001c63: SLT 00001c64: KECCAK256 00001c65: UNKNOWN(0xED) 00001c66: EXTCODECOPY 00001c67: UNKNOWN(0x2D) 00001c68: UNKNOWN(0xB5) 00001c69: KECCAK256 00001c6a: UNKNOWN(0x0D) 00001c6b: ORIGIN 00001c6c: MULMOD 00001c6d: UNKNOWN(0x2E) 00001c6e: UNKNOWN(0xAB) 00001c6f: TIMESTAMP 00001c70: PUSH18 0x94c656f0a679f3b92dffeac78ab68034b7be 00001c83: PUSH9 0xa564736f6c63430007 00001c8d: ADD 00001c8e: STOP 00001c8f: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x355196611e1cec30e359726ccb9cd32ce044cf3026eace5f0c5bbbaeb23945ec
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 108,
"trace_id": "0x355196611e1cec30e359726ccb9cd32ce044cf3026eace5f0c5bbbaeb23945ec",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9b0a8b6b",
"selector": "0x9b0a8b6b",
"calldata_variants": [
"0x9b0a8b6b",
"0x9b0a8b6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbdaeea40",
"selector": "0xbdaeea40",
"calldata_variants": [
"0xbdaeea40",
"0xbdaeea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18a84bc",
"selector": "0xc18a84bc",
"calldata_variants": [
"0xc18a84bc",
"0xc18a84bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5db3b4df",
"selector": "0x5db3b4df",
"calldata_variants": [
"0x5db3b4df",
"0x5db3b4df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b669afe",
"selector": "0x8b669afe",
"calldata_variants": [
"0x8b669afe",
"0x8b669afe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3677a4fe",
"selector": "0x3677a4fe",
"calldata_variants": [
"0x3677a4fe",
"0x3677a4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3afe5f19",
"selector": "0x3afe5f19",
"calldata_variants": [
"0x3afe5f19",
"0x3afe5f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5786,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 6034,
"type": "msg_sender_eq_const",
"value": 2.3116466051656657e+47
},
{
"pc": 6011,
"type": "msg_sender_eq_const",
"value": "0x287dc8295e10878be9e20cb72e28c0e89bfe73b7"
},
{
"pc": 7275,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9b0a8b6b",
"selector": "0x9b0a8b6b",
"calldata_variants": [
"0x9b0a8b6b",
"0x9b0a8b6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbdaeea40",
"selector": "0xbdaeea40",
"calldata_variants": [
"0xbdaeea40",
"0xbdaeea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18a84bc",
"selector": "0xc18a84bc",
"calldata_variants": [
"0xc18a84bc",
"0xc18a84bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5db3b4df",
"selector": "0x5db3b4df",
"calldata_variants": [
"0x5db3b4df",
"0x5db3b4df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b669afe",
"selector": "0x8b669afe",
"calldata_variants": [
"0x8b669afe",
"0x8b669afe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3677a4fe",
"selector": "0x3677a4fe",
"calldata_variants": [
"0x3677a4fe",
"0x3677a4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3afe5f19",
"selector": "0x3afe5f19",
"calldata_variants": [
"0x3afe5f19",
"0x3afe5f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6034,
"type": "msg_sender_eq_const",
"value": 2.3116466051656657e+47
},
{
"pc": 6011,
"type": "msg_sender_eq_const",
"value": "0x287dc8295e10878be9e20cb72e28c0e89bfe73b7"
},
{
"pc": 7275,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0970c80d2df7a14c7aaddb8d3269156774106176be6868104f7b0b012351e1f6
call_targets:
0x725238bcd7d4e68418566085efef03be9a0ddbde
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0970c80d2df7a14c7aaddb8d3269156774106176be6868104f7b0b012351e1f6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x725238bcd7d4e68418566085efef03be9a0ddbde"
],
"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": "0x9b0a8b6b",
"selector": "0x9b0a8b6b",
"calldata_variants": [
"0x9b0a8b6b",
"0x9b0a8b6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbdaeea40",
"selector": "0xbdaeea40",
"calldata_variants": [
"0xbdaeea40",
"0xbdaeea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18a84bc",
"selector": "0xc18a84bc",
"calldata_variants": [
"0xc18a84bc",
"0xc18a84bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5db3b4df",
"selector": "0x5db3b4df",
"calldata_variants": [
"0x5db3b4df",
"0x5db3b4df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b669afe",
"selector": "0x8b669afe",
"calldata_variants": [
"0x8b669afe",
"0x8b669afe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3677a4fe",
"selector": "0x3677a4fe",
"calldata_variants": [
"0x3677a4fe",
"0x3677a4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3afe5f19",
"selector": "0x3afe5f19",
"calldata_variants": [
"0x3afe5f19",
"0x3afe5f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1248,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1536,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1696,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 19,
"guards_detected": [
{
"pc": 6034,
"type": "msg_sender_eq_const",
"value": 2.3116466051656657e+47
},
{
"pc": 6011,
"type": "msg_sender_eq_const",
"value": "0x287dc8295e10878be9e20cb72e28c0e89bfe73b7"
},
{
"pc": 7275,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 19
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0970c80d2df7a14c7aaddb8d3269156774106176be6868104f7b0b012351e1f6
call_targets:
0x725238bcd7d4e68418566085efef03be9a0ddbde
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0970c80d2df7a14c7aaddb8d3269156774106176be6868104f7b0b012351e1f6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x725238bcd7d4e68418566085efef03be9a0ddbde"
],
"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": "0x9b0a8b6b",
"selector": "0x9b0a8b6b",
"calldata_variants": [
"0x9b0a8b6b",
"0x9b0a8b6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbdaeea40",
"selector": "0xbdaeea40",
"calldata_variants": [
"0xbdaeea40",
"0xbdaeea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18a84bc",
"selector": "0xc18a84bc",
"calldata_variants": [
"0xc18a84bc",
"0xc18a84bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5db3b4df",
"selector": "0x5db3b4df",
"calldata_variants": [
"0x5db3b4df",
"0x5db3b4df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b669afe",
"selector": "0x8b669afe",
"calldata_variants": [
"0x8b669afe",
"0x8b669afe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3677a4fe",
"selector": "0x3677a4fe",
"calldata_variants": [
"0x3677a4fe",
"0x3677a4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3afe5f19",
"selector": "0x3afe5f19",
"calldata_variants": [
"0x3afe5f19",
"0x3afe5f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1248,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1536,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1696,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 19,
"guards_detected": [
{
"pc": 6034,
"type": "msg_sender_eq_const",
"value": 2.3116466051656657e+47
},
{
"pc": 6011,
"type": "msg_sender_eq_const",
"value": "0x287dc8295e10878be9e20cb72e28c0e89bfe73b7"
},
{
"pc": 7275,
"type": "tx_origin_used"
}
]
}
|