019b477e-dbd4-70a1-903f-640465c175db
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 |
|---|---|---|---|---|
| 29697 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29698 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108253 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108254 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108255 | detector.run | complete | 1 / 3 | 1 week ago |
| 108256 | 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 0x010c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb1d23f02 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb1d23f02 0000002f: EQ 00000030: PUSH2 0x0369 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x0392 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf8b2cb4f 00000045: EQ 00000046: PUSH2 0x03bb 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf940e385 00000050: EQ 00000051: PUSH2 0x03f8 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfa09e630 0000005b: EQ 0000005c: PUSH2 0x0421 0000005f: JUMPI 00000060: PUSH2 0x014c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8456cb59 0000006b: EQ 0000006c: PUSH2 0x02d3 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x02ea 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x9ab4a445 00000081: EQ 00000082: PUSH2 0x0315 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa843c51f 0000008c: EQ 0000008d: PUSH2 0x0340 00000090: JUMPI 00000091: PUSH2 0x014c 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x3ebe0b5d 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x3ebe0b5d 000000a7: EQ 000000a8: PUSH2 0x0224 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x3f4ba83a 000000b2: EQ 000000b3: PUSH2 0x024f 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x447eca17 000000bd: EQ 000000be: PUSH2 0x0266 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5c975abb 000000c8: EQ 000000c9: PUSH2 0x0291 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x715018a6 000000d3: EQ 000000d4: PUSH2 0x02bc 000000d7: JUMPI 000000d8: PUSH2 0x014c 000000db: JUMP 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH3 0x113e08 000000e2: EQ 000000e3: PUSH2 0x0187 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x02d45457 000000ed: EQ 000000ee: PUSH2 0x01b4 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x242d7dd1 000000f8: EQ 000000f9: PUSH2 0x01df 000000fc: JUMPI 000000fd: DUP1 000000fe: PUSH4 0x2b1edbff 00000103: EQ 00000104: PUSH2 0x0208 00000107: JUMPI 00000108: PUSH2 0x014c 0000010b: JUMP 0000010c: JUMPDEST 0000010d: CALLDATASIZE 0000010e: PUSH2 0x014c 00000111: JUMPI 00000112: PUSH1 0x40 00000114: MLOAD 00000115: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000136: DUP2 00000137: MSTORE 00000138: PUSH1 0x04 0000013a: ADD 0000013b: PUSH2 0x0143 0000013e: SWAP1 0000013f: PUSH2 0x1873 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: DUP1 00000148: SWAP2 00000149: SUB 0000014a: SWAP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: PUSH1 0x40 0000014f: MLOAD 00000150: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000171: DUP2 00000172: MSTORE 00000173: PUSH1 0x04 00000175: ADD 00000176: PUSH2 0x017e 00000179: SWAP1 0000017a: PUSH2 0x18df 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: DUP1 00000183: SWAP2 00000184: SUB 00000185: SWAP1 00000186: REVERT 00000187: JUMPDEST 00000188: CALLVALUE 00000189: DUP1 0000018a: ISZERO 0000018b: PUSH2 0x0193 0000018e: JUMPI 0000018f: PUSH1 0x00 00000191: DUP1 00000192: REVERT 00000193: JUMPDEST 00000194: POP 00000195: PUSH2 0x019c 00000198: PUSH2 0x044a 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH1 0x40 0000019f: MLOAD 000001a0: PUSH2 0x01ab 000001a3: SWAP4 000001a4: SWAP3 000001a5: SWAP2 000001a6: SWAP1 000001a7: PUSH2 0x1918 000001aa: JUMP 000001ab: JUMPDEST 000001ac: PUSH1 0x40 000001ae: MLOAD 000001af: DUP1 000001b0: SWAP2 000001b1: SUB 000001b2: SWAP1 000001b3: RETURN 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: DUP1 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: POP 000001c2: PUSH2 0x01c9 000001c5: PUSH2 0x058f 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH1 0x40 000001cc: MLOAD 000001cd: PUSH2 0x01d6 000001d0: SWAP2 000001d1: SWAP1 000001d2: PUSH2 0x1990 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: DUP1 000001db: SWAP2 000001dc: SUB 000001dd: SWAP1 000001de: RETURN 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x01eb 000001e6: JUMPI 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x0206 000001f0: PUSH1 0x04 000001f2: DUP1 000001f3: CALLDATASIZE 000001f4: SUB 000001f5: DUP2 000001f6: ADD 000001f7: SWAP1 000001f8: PUSH2 0x0201 000001fb: SWAP2 000001fc: SWAP1 000001fd: PUSH2 0x1b07 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH2 0x05b3 00000205: JUMP 00000206: JUMPDEST 00000207: STOP 00000208: JUMPDEST 00000209: PUSH2 0x0222 0000020c: PUSH1 0x04 0000020e: DUP1 0000020f: CALLDATASIZE 00000210: SUB 00000211: DUP2 00000212: ADD 00000213: SWAP1 00000214: PUSH2 0x021d 00000217: SWAP2 00000218: SWAP1 00000219: PUSH2 0x1b5a 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH2 0x07f8 00000221: JUMP 00000222: JUMPDEST 00000223: STOP 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x0239 00000235: PUSH2 0x08c6 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: PUSH2 0x0246 00000240: SWAP2 00000241: SWAP1 00000242: PUSH2 0x1b87 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: SWAP2 0000024c: SUB 0000024d: SWAP1 0000024e: RETURN 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: POP 0000025d: PUSH2 0x0264 00000260: PUSH2 0x08cc 00000263: JUMP 00000264: JUMPDEST 00000265: STOP 00000266: JUMPDEST 00000267: CALLVALUE 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0272 0000026d: JUMPI 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: POP 00000274: PUSH2 0x027b 00000277: PUSH2 0x08de 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH1 0x40 0000027e: MLOAD 0000027f: PUSH2 0x0288 00000282: SWAP2 00000283: SWAP1 00000284: PUSH2 0x1b87 00000287: JUMP 00000288: JUMPDEST 00000289: PUSH1 0x40 0000028b: MLOAD 0000028c: DUP1 0000028d: SWAP2 0000028e: SUB 0000028f: SWAP1 00000290: RETURN 00000291: JUMPDEST 00000292: CALLVALUE 00000293: DUP1 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: PUSH2 0x02a6 000002a2: PUSH2 0x08e4 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: PUSH2 0x02b3 000002ad: SWAP2 000002ae: SWAP1 000002af: PUSH2 0x1bbd 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: DUP1 000002b8: SWAP2 000002b9: SUB 000002ba: SWAP1 000002bb: RETURN 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH2 0x02d1 000002cd: PUSH2 0x08fa 000002d0: JUMP 000002d1: JUMPDEST 000002d2: STOP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: POP 000002e1: PUSH2 0x02e8 000002e4: PUSH2 0x090e 000002e7: JUMP 000002e8: JUMPDEST 000002e9: STOP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x02ff 000002fb: PUSH2 0x0920 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH1 0x40 00000302: MLOAD 00000303: PUSH2 0x030c 00000306: SWAP2 00000307: SWAP1 00000308: PUSH2 0x1990 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: DUP1 00000311: SWAP2 00000312: SUB 00000313: SWAP1 00000314: RETURN 00000315: JUMPDEST 00000316: CALLVALUE 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: POP 00000323: PUSH2 0x032a 00000326: PUSH2 0x0949 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: PUSH2 0x0337 00000331: SWAP2 00000332: SWAP1 00000333: PUSH2 0x1990 00000336: JUMP 00000337: JUMPDEST 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: DUP1 0000033c: SWAP2 0000033d: SUB 0000033e: SWAP1 0000033f: RETURN 00000340: JUMPDEST 00000341: CALLVALUE 00000342: DUP1 00000343: ISZERO 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: POP 0000034e: PUSH2 0x0367 00000351: PUSH1 0x04 00000353: DUP1 00000354: CALLDATASIZE 00000355: SUB 00000356: DUP2 00000357: ADD 00000358: SWAP1 00000359: PUSH2 0x0362 0000035c: SWAP2 0000035d: SWAP1 0000035e: PUSH2 0x1bd8 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH2 0x096d 00000366: JUMP 00000367: JUMPDEST 00000368: STOP 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x0390 0000037a: PUSH1 0x04 0000037c: DUP1 0000037d: CALLDATASIZE 0000037e: SUB 0000037f: DUP2 00000380: ADD 00000381: SWAP1 00000382: PUSH2 0x038b 00000385: SWAP2 00000386: SWAP1 00000387: PUSH2 0x1c05 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH2 0x09e7 0000038f: JUMP 00000390: JUMPDEST 00000391: STOP 00000392: JUMPDEST 00000393: CALLVALUE 00000394: DUP1 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: POP 000003a0: PUSH2 0x03b9 000003a3: PUSH1 0x04 000003a5: DUP1 000003a6: CALLDATASIZE 000003a7: SUB 000003a8: DUP2 000003a9: ADD 000003aa: SWAP1 000003ab: PUSH2 0x03b4 000003ae: SWAP2 000003af: SWAP1 000003b0: PUSH2 0x1bd8 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH2 0x0a80 000003b8: JUMP 000003b9: JUMPDEST 000003ba: STOP 000003bb: JUMPDEST 000003bc: CALLVALUE 000003bd: DUP1 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: POP 000003c9: PUSH2 0x03e2 000003cc: PUSH1 0x04 000003ce: DUP1 000003cf: CALLDATASIZE 000003d0: SUB 000003d1: DUP2 000003d2: ADD 000003d3: SWAP1 000003d4: PUSH2 0x03dd 000003d7: SWAP2 000003d8: SWAP1 000003d9: PUSH2 0x1bd8 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x0b06 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: PUSH2 0x03ef 000003e9: SWAP2 000003ea: SWAP1 000003eb: PUSH2 0x1b87 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: SWAP2 000003f5: SUB 000003f6: SWAP1 000003f7: RETURN 000003f8: JUMPDEST 000003f9: CALLVALUE 000003fa: DUP1 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: PUSH2 0x041f 00000409: PUSH1 0x04 0000040b: DUP1 0000040c: CALLDATASIZE 0000040d: SUB 0000040e: DUP2 0000040f: ADD 00000410: SWAP1 00000411: PUSH2 0x041a 00000414: SWAP2 00000415: SWAP1 00000416: PUSH2 0x1c45 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x0bc5 0000041e: JUMP 0000041f: JUMPDEST 00000420: STOP 00000421: JUMPDEST 00000422: CALLVALUE 00000423: DUP1 00000424: ISZERO 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: PUSH2 0x0448 00000432: PUSH1 0x04 00000434: DUP1 00000435: CALLDATASIZE 00000436: SUB 00000437: DUP2 00000438: ADD 00000439: SWAP1 0000043a: PUSH2 0x0443 0000043d: SWAP2 0000043e: SWAP1 0000043f: PUSH2 0x1bd8 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH2 0x0c94 00000447: JUMP 00000448: JUMPDEST 00000449: STOP 0000044a: JUMPDEST 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: PUSH1 0x00 00000450: SELFBALANCE 00000451: SWAP3 00000452: POP 00000453: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000489: AND 0000048a: PUSH4 0x70a08231 0000048f: ADDRESS 00000490: PUSH1 0x40 00000492: MLOAD 00000493: DUP3 00000494: PUSH4 0xffffffff 00000499: AND 0000049a: PUSH1 0xe0 0000049c: SHL 0000049d: DUP2 0000049e: MSTORE 0000049f: PUSH1 0x04 000004a1: ADD 000004a2: PUSH2 0x04ab 000004a5: SWAP2 000004a6: SWAP1 000004a7: PUSH2 0x1990 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x20 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: DUP1 000004b2: DUP4 000004b3: SUB 000004b4: DUP2 000004b5: DUP7 000004b6: GAS 000004b7: STATICCALL 000004b8: ISZERO 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c8 000004be: JUMPI 000004bf: RETURNDATASIZE 000004c0: PUSH1 0x00 000004c2: DUP1 000004c3: RETURNDATACOPY 000004c4: RETURNDATASIZE 000004c5: PUSH1 0x00 000004c7: REVERT 000004c8: JUMPDEST 000004c9: POP 000004ca: POP 000004cb: POP 000004cc: POP 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: RETURNDATASIZE 000004d1: PUSH1 0x1f 000004d3: NOT 000004d4: PUSH1 0x1f 000004d6: DUP3 000004d7: ADD 000004d8: AND 000004d9: DUP3 000004da: ADD 000004db: DUP1 000004dc: PUSH1 0x40 000004de: MSTORE 000004df: POP 000004e0: DUP2 000004e1: ADD 000004e2: SWAP1 000004e3: PUSH2 0x04ec 000004e6: SWAP2 000004e7: SWAP1 000004e8: PUSH2 0x1c9a 000004eb: JUMP 000004ec: JUMPDEST 000004ed: SWAP2 000004ee: POP 000004ef: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000525: AND 00000526: PUSH4 0x70a08231 0000052b: ADDRESS 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP3 00000530: PUSH4 0xffffffff 00000535: AND 00000536: PUSH1 0xe0 00000538: SHL 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x04 0000053d: ADD 0000053e: PUSH2 0x0547 00000541: SWAP2 00000542: SWAP1 00000543: PUSH2 0x1990 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH1 0x20 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: DUP4 0000054f: SUB 00000550: DUP2 00000551: DUP7 00000552: GAS 00000553: STATICCALL 00000554: ISZERO 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x0564 0000055a: JUMPI 0000055b: RETURNDATASIZE 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: RETURNDATACOPY 00000560: RETURNDATASIZE 00000561: PUSH1 0x00 00000563: REVERT 00000564: JUMPDEST 00000565: POP 00000566: POP 00000567: POP 00000568: POP 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: RETURNDATASIZE 0000056d: PUSH1 0x1f 0000056f: NOT 00000570: PUSH1 0x1f 00000572: DUP3 00000573: ADD 00000574: AND 00000575: DUP3 00000576: ADD 00000577: DUP1 00000578: PUSH1 0x40 0000057a: MSTORE 0000057b: POP 0000057c: DUP2 0000057d: ADD 0000057e: SWAP1 0000057f: PUSH2 0x0588 00000582: SWAP2 00000583: SWAP1 00000584: PUSH2 0x1c9a 00000587: JUMP 00000588: JUMPDEST 00000589: SWAP1 0000058a: POP 0000058b: SWAP1 0000058c: SWAP2 0000058d: SWAP3 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000005b1: DUP2 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH2 0x05bb 000005b7: PUSH2 0x1109 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH2 0x05c3 000005bf: PUSH2 0x114a 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 000005e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fa: AND 000005fb: DUP3 000005fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000611: AND 00000612: EQ 00000613: ISZERO 00000614: DUP1 00000615: ISZERO 00000616: PUSH2 0x066b 00000619: JUMPI 0000061a: POP 0000061b: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000063c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000651: AND 00000652: DUP3 00000653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000668: AND 00000669: EQ 0000066a: ISZERO 0000066b: JUMPDEST 0000066c: ISZERO 0000066d: PUSH2 0x06a2 00000670: JUMPI 00000671: PUSH1 0x40 00000673: MLOAD 00000674: PUSH32 0x6a17288200000000000000000000000000000000000000000000000000000000 00000695: DUP2 00000696: MSTORE 00000697: PUSH1 0x04 00000699: ADD 0000069a: PUSH1 0x40 0000069c: MLOAD 0000069d: DUP1 0000069e: SWAP2 0000069f: SUB 000006a0: SWAP1 000006a1: REVERT 000006a2: JUMPDEST 000006a3: PUSH1 0x03 000006a5: SLOAD 000006a6: DUP2 000006a7: LT 000006a8: ISZERO 000006a9: PUSH2 0x06de 000006ac: JUMPI 000006ad: PUSH1 0x40 000006af: MLOAD 000006b0: PUSH32 0x1fbaba3500000000000000000000000000000000000000000000000000000000 000006d1: DUP2 000006d2: MSTORE 000006d3: PUSH1 0x04 000006d5: ADD 000006d6: PUSH1 0x40 000006d8: MLOAD 000006d9: DUP1 000006da: SWAP2 000006db: SUB 000006dc: SWAP1 000006dd: REVERT 000006de: JUMPDEST 000006df: PUSH1 0x00 000006e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f6: AND 000006f7: DUP4 000006f8: PUSH1 0x00 000006fa: ADD 000006fb: MLOAD 000006fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000711: AND 00000712: SUB 00000713: PUSH2 0x0748 00000716: JUMPI 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x04 0000073f: ADD 00000740: PUSH1 0x40 00000742: MLOAD 00000743: DUP1 00000744: SWAP2 00000745: SUB 00000746: SWAP1 00000747: REVERT 00000748: JUMPDEST 00000749: PUSH2 0x0775 0000074c: CALLER 0000074d: ADDRESS 0000074e: DUP4 0000074f: DUP6 00000750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000765: AND 00000766: PUSH2 0x1190 00000769: SWAP1 0000076a: SWAP4 0000076b: SWAP3 0000076c: SWAP2 0000076d: SWAP1 0000076e: PUSH4 0xffffffff 00000773: AND 00000774: JUMP 00000775: JUMPDEST 00000776: DUP3 00000777: PUSH1 0x20 00000779: ADD 0000077a: MLOAD 0000077b: DUP4 0000077c: PUSH1 0x00 0000077e: ADD 0000077f: MLOAD 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: CALLER 00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ac: AND 000007ad: PUSH32 0x8b685f615fb9f3e4f74c04ed002241769559c3da6e6ebc424ccfcaae9557e431 000007ce: DUP6 000007cf: DUP6 000007d0: DUP9 000007d1: PUSH1 0x40 000007d3: ADD 000007d4: MLOAD 000007d5: PUSH1 0x40 000007d7: MLOAD 000007d8: PUSH2 0x07e3 000007db: SWAP4 000007dc: SWAP3 000007dd: SWAP2 000007de: SWAP1 000007df: PUSH2 0x1cc7 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH1 0x40 000007e6: MLOAD 000007e7: DUP1 000007e8: SWAP2 000007e9: SUB 000007ea: SWAP1 000007eb: LOG4 000007ec: PUSH2 0x07f3 000007ef: PUSH2 0x1212 000007f2: JUMP 000007f3: JUMPDEST 000007f4: POP 000007f5: POP 000007f6: POP 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH2 0x0800 000007fc: PUSH2 0x1109 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH2 0x0808 00000804: PUSH2 0x114a 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH1 0x02 0000080b: SLOAD 0000080c: CALLVALUE 0000080d: LT 0000080e: ISZERO 0000080f: PUSH2 0x0844 00000812: JUMPI 00000813: PUSH1 0x40 00000815: MLOAD 00000816: PUSH32 0x1fbaba3500000000000000000000000000000000000000000000000000000000 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x04 0000083b: ADD 0000083c: PUSH1 0x40 0000083e: MLOAD 0000083f: DUP1 00000840: SWAP2 00000841: SUB 00000842: SWAP1 00000843: REVERT 00000844: JUMPDEST 00000845: DUP1 00000846: PUSH1 0x20 00000848: ADD 00000849: MLOAD 0000084a: DUP2 0000084b: PUSH1 0x00 0000084d: ADD 0000084e: MLOAD 0000084f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000864: AND 00000865: CALLER 00000866: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087b: AND 0000087c: PUSH32 0x8b685f615fb9f3e4f74c04ed002241769559c3da6e6ebc424ccfcaae9557e431 0000089d: PUSH1 0x00 0000089f: CALLVALUE 000008a0: DUP7 000008a1: PUSH1 0x40 000008a3: ADD 000008a4: MLOAD 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: PUSH2 0x08b3 000008ab: SWAP4 000008ac: SWAP3 000008ad: SWAP2 000008ae: SWAP1 000008af: PUSH2 0x1cc7 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: DUP1 000008b8: SWAP2 000008b9: SUB 000008ba: SWAP1 000008bb: LOG4 000008bc: PUSH2 0x08c3 000008bf: PUSH2 0x1212 000008c2: JUMP 000008c3: JUMPDEST 000008c4: POP 000008c5: JUMP 000008c6: JUMPDEST 000008c7: PUSH1 0x02 000008c9: SLOAD 000008ca: DUP2 000008cb: JUMP 000008cc: JUMPDEST 000008cd: PUSH2 0x08d4 000008d0: PUSH2 0x121b 000008d3: JUMP 000008d4: JUMPDEST 000008d5: PUSH2 0x08dc 000008d8: PUSH2 0x12a2 000008db: JUMP 000008dc: JUMPDEST 000008dd: JUMP 000008de: JUMPDEST 000008df: PUSH1 0x03 000008e1: SLOAD 000008e2: DUP2 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH1 0x00 000008e7: DUP1 000008e8: PUSH1 0x14 000008ea: SWAP1 000008eb: SLOAD 000008ec: SWAP1 000008ed: PUSH2 0x0100 000008f0: EXP 000008f1: SWAP1 000008f2: DIV 000008f3: PUSH1 0xff 000008f5: AND 000008f6: SWAP1 000008f7: POP 000008f8: SWAP1 000008f9: JUMP 000008fa: JUMPDEST 000008fb: PUSH2 0x0902 000008fe: PUSH2 0x121b 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH2 0x090c 00000906: PUSH1 0x00 00000908: PUSH2 0x1304 0000090b: JUMP 0000090c: JUMPDEST 0000090d: JUMP 0000090e: JUMPDEST 0000090f: PUSH2 0x0916 00000912: PUSH2 0x121b 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH2 0x091e 0000091a: PUSH2 0x13c8 0000091d: JUMP 0000091e: JUMPDEST 0000091f: JUMP 00000920: JUMPDEST 00000921: PUSH1 0x00 00000923: DUP1 00000924: PUSH1 0x00 00000926: SWAP1 00000927: SLOAD 00000928: SWAP1 00000929: PUSH2 0x0100 0000092c: EXP 0000092d: SWAP1 0000092e: DIV 0000092f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000944: AND 00000945: SWAP1 00000946: POP 00000947: SWAP1 00000948: JUMP 00000949: JUMPDEST 0000094a: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 0000096b: DUP2 0000096c: JUMP 0000096d: JUMPDEST 0000096e: PUSH2 0x0975 00000971: PUSH2 0x121b 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x00 00000978: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098d: AND 0000098e: DUP2 0000098f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a4: AND 000009a5: SUB 000009a6: PUSH2 0x09db 000009a9: JUMPI 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000 000009ce: DUP2 000009cf: MSTORE 000009d0: PUSH1 0x04 000009d2: ADD 000009d3: PUSH1 0x40 000009d5: MLOAD 000009d6: DUP1 000009d7: SWAP2 000009d8: SUB 000009d9: SWAP1 000009da: REVERT 000009db: JUMPDEST 000009dc: PUSH2 0x09e4 000009df: DUP2 000009e0: PUSH2 0x1304 000009e3: JUMP 000009e4: JUMPDEST 000009e5: POP 000009e6: JUMP 000009e7: JUMPDEST 000009e8: PUSH2 0x09ef 000009eb: PUSH2 0x121b 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH1 0x00 000009f2: DUP3 000009f3: EQ 000009f4: DUP1 000009f5: PUSH2 0x09fe 000009f8: JUMPI 000009f9: POP 000009fa: PUSH1 0x00 000009fc: DUP2 000009fd: EQ 000009fe: JUMPDEST 000009ff: ISZERO 00000a00: PUSH2 0x0a35 00000a03: JUMPI 00000a04: PUSH1 0x40 00000a06: MLOAD 00000a07: PUSH32 0x1fbaba3500000000000000000000000000000000000000000000000000000000 00000a28: DUP2 00000a29: MSTORE 00000a2a: PUSH1 0x04 00000a2c: ADD 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: DUP1 00000a31: SWAP2 00000a32: SUB 00000a33: SWAP1 00000a34: REVERT 00000a35: JUMPDEST 00000a36: DUP2 00000a37: PUSH1 0x02 00000a39: DUP2 00000a3a: SWAP1 00000a3b: SSTORE 00000a3c: POP 00000a3d: DUP1 00000a3e: PUSH1 0x03 00000a40: DUP2 00000a41: SWAP1 00000a42: SSTORE 00000a43: POP 00000a44: PUSH32 0x656a449366ed7a6c9034eeaf2c97a3ce974c5033a88215ae041e95fb9f9ade86 00000a65: DUP3 00000a66: DUP3 00000a67: PUSH1 0x40 00000a69: MLOAD 00000a6a: PUSH2 0x0a74 00000a6d: SWAP3 00000a6e: SWAP2 00000a6f: SWAP1 00000a70: PUSH2 0x1cfe 00000a73: JUMP 00000a74: JUMPDEST 00000a75: PUSH1 0x40 00000a77: MLOAD 00000a78: DUP1 00000a79: SWAP2 00000a7a: SUB 00000a7b: SWAP1 00000a7c: LOG1 00000a7d: POP 00000a7e: POP 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH2 0x0a88 00000a84: PUSH2 0x121b 00000a87: JUMP 00000a88: JUMPDEST 00000a89: PUSH1 0x00 00000a8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa0: AND 00000aa1: DUP2 00000aa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab7: AND 00000ab8: SUB 00000ab9: PUSH2 0x0afa 00000abc: JUMPI 00000abd: PUSH1 0x00 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: PUSH1 0x04 00000ae7: ADD 00000ae8: PUSH2 0x0af1 00000aeb: SWAP2 00000aec: SWAP1 00000aed: PUSH2 0x1990 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH1 0x40 00000af4: MLOAD 00000af5: DUP1 00000af6: SWAP2 00000af7: SUB 00000af8: SWAP1 00000af9: REVERT 00000afa: JUMPDEST 00000afb: PUSH2 0x0b03 00000afe: DUP2 00000aff: PUSH2 0x1304 00000b02: JUMP 00000b03: JUMPDEST 00000b04: POP 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH1 0x00 00000b09: DUP1 00000b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1f: AND 00000b20: DUP3 00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b36: AND 00000b37: SUB 00000b38: PUSH2 0x0b43 00000b3b: JUMPI 00000b3c: SELFBALANCE 00000b3d: SWAP1 00000b3e: POP 00000b3f: PUSH2 0x0bc0 00000b42: JUMP 00000b43: JUMPDEST 00000b44: DUP2 00000b45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5a: AND 00000b5b: PUSH4 0x70a08231 00000b60: ADDRESS 00000b61: PUSH1 0x40 00000b63: MLOAD 00000b64: DUP3 00000b65: PUSH4 0xffffffff 00000b6a: AND 00000b6b: PUSH1 0xe0 00000b6d: SHL 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x04 00000b72: ADD 00000b73: PUSH2 0x0b7c 00000b76: SWAP2 00000b77: SWAP1 00000b78: PUSH2 0x1990 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x20 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: DUP1 00000b83: DUP4 00000b84: SUB 00000b85: DUP2 00000b86: DUP7 00000b87: GAS 00000b88: STATICCALL 00000b89: ISZERO 00000b8a: DUP1 00000b8b: ISZERO 00000b8c: PUSH2 0x0b99 00000b8f: JUMPI 00000b90: RETURNDATASIZE 00000b91: PUSH1 0x00 00000b93: DUP1 00000b94: RETURNDATACOPY 00000b95: RETURNDATASIZE 00000b96: PUSH1 0x00 00000b98: REVERT 00000b99: JUMPDEST 00000b9a: POP 00000b9b: POP 00000b9c: POP 00000b9d: POP 00000b9e: PUSH1 0x40 00000ba0: MLOAD 00000ba1: RETURNDATASIZE 00000ba2: PUSH1 0x1f 00000ba4: NOT 00000ba5: PUSH1 0x1f 00000ba7: DUP3 00000ba8: ADD 00000ba9: AND 00000baa: DUP3 00000bab: ADD 00000bac: DUP1 00000bad: PUSH1 0x40 00000baf: MSTORE 00000bb0: POP 00000bb1: DUP2 00000bb2: ADD 00000bb3: SWAP1 00000bb4: PUSH2 0x0bbd 00000bb7: SWAP2 00000bb8: SWAP1 00000bb9: PUSH2 0x1c9a 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: SWAP1 00000bbf: POP 00000bc0: JUMPDEST 00000bc1: SWAP2 00000bc2: SWAP1 00000bc3: POP 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH2 0x0bcd 00000bc9: PUSH2 0x121b 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: PUSH2 0x0bd5 00000bd1: PUSH2 0x114a 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH1 0x00 00000bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bed: AND 00000bee: DUP2 00000bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c04: AND 00000c05: SUB 00000c06: PUSH2 0x0c3b 00000c09: JUMPI 00000c0a: PUSH1 0x40 00000c0c: MLOAD 00000c0d: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x04 00000c32: ADD 00000c33: PUSH1 0x40 00000c35: MLOAD 00000c36: DUP1 00000c37: SWAP2 00000c38: SUB 00000c39: SWAP1 00000c3a: REVERT 00000c3b: JUMPDEST 00000c3c: PUSH1 0x00 00000c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c53: AND 00000c54: DUP3 00000c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6a: AND 00000c6b: SUB 00000c6c: PUSH2 0x0c7d 00000c6f: JUMPI 00000c70: PUSH2 0x0c78 00000c73: DUP2 00000c74: PUSH2 0x142b 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH2 0x0c88 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: PUSH2 0x0c87 00000c81: DUP3 00000c82: DUP3 00000c83: PUSH2 0x1560 00000c86: JUMP 00000c87: JUMPDEST 00000c88: JUMPDEST 00000c89: PUSH2 0x0c90 00000c8c: PUSH2 0x1212 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: POP 00000c92: POP 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH2 0x0c9c 00000c98: PUSH2 0x121b 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: PUSH2 0x0ca4 00000ca0: PUSH2 0x114a 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: PUSH1 0x00 00000ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbc: AND 00000cbd: DUP2 00000cbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd3: AND 00000cd4: SUB 00000cd5: PUSH2 0x0d0a 00000cd8: JUMPI 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000 00000cfd: DUP2 00000cfe: MSTORE 00000cff: PUSH1 0x04 00000d01: ADD 00000d02: PUSH1 0x40 00000d04: MLOAD 00000d05: DUP1 00000d06: SWAP2 00000d07: SUB 00000d08: SWAP1 00000d09: REVERT 00000d0a: JUMPDEST 00000d0b: PUSH1 0x00 00000d0d: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000d2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d43: AND 00000d44: PUSH4 0x70a08231 00000d49: ADDRESS 00000d4a: PUSH1 0x40 00000d4c: MLOAD 00000d4d: DUP3 00000d4e: PUSH4 0xffffffff 00000d53: AND 00000d54: PUSH1 0xe0 00000d56: SHL 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x04 00000d5b: ADD 00000d5c: PUSH2 0x0d65 00000d5f: SWAP2 00000d60: SWAP1 00000d61: PUSH2 0x1990 00000d64: JUMP 00000d65: JUMPDEST 00000d66: PUSH1 0x20 00000d68: PUSH1 0x40 00000d6a: MLOAD 00000d6b: DUP1 00000d6c: DUP4 00000d6d: SUB 00000d6e: DUP2 00000d6f: DUP7 00000d70: GAS 00000d71: STATICCALL 00000d72: ISZERO 00000d73: DUP1 00000d74: ISZERO 00000d75: PUSH2 0x0d82 00000d78: JUMPI 00000d79: RETURNDATASIZE 00000d7a: PUSH1 0x00 00000d7c: DUP1 00000d7d: RETURNDATACOPY 00000d7e: RETURNDATASIZE 00000d7f: PUSH1 0x00 00000d81: REVERT 00000d82: JUMPDEST 00000d83: POP 00000d84: POP 00000d85: POP 00000d86: POP 00000d87: PUSH1 0x40 00000d89: MLOAD 00000d8a: RETURNDATASIZE 00000d8b: PUSH1 0x1f 00000d8d: NOT 00000d8e: PUSH1 0x1f 00000d90: DUP3 00000d91: ADD 00000d92: AND 00000d93: DUP3 00000d94: ADD 00000d95: DUP1 00000d96: PUSH1 0x40 00000d98: MSTORE 00000d99: POP 00000d9a: DUP2 00000d9b: ADD 00000d9c: SWAP1 00000d9d: PUSH2 0x0da6 00000da0: SWAP2 00000da1: SWAP1 00000da2: PUSH2 0x1c9a 00000da5: JUMP 00000da6: JUMPDEST 00000da7: SWAP1 00000da8: POP 00000da9: PUSH1 0x00 00000dab: DUP2 00000dac: GT 00000dad: ISZERO 00000dae: PUSH2 0x0e82 00000db1: JUMPI 00000db2: PUSH2 0x0dfc 00000db5: DUP3 00000db6: DUP3 00000db7: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000dd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ded: AND 00000dee: PUSH2 0x16ad 00000df1: SWAP1 00000df2: SWAP3 00000df3: SWAP2 00000df4: SWAP1 00000df5: PUSH4 0xffffffff 00000dfa: AND 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: DUP2 00000dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e13: AND 00000e14: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000e35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e4a: AND 00000e4b: PUSH32 0x037238854fe57fbf51f09946f854fc3916fe83938d6521f09bd05463839f1304 00000e6c: DUP4 00000e6d: PUSH1 0x40 00000e6f: MLOAD 00000e70: PUSH2 0x0e79 00000e73: SWAP2 00000e74: SWAP1 00000e75: PUSH2 0x1b87 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH1 0x40 00000e7c: MLOAD 00000e7d: DUP1 00000e7e: SWAP2 00000e7f: SUB 00000e80: SWAP1 00000e81: LOG3 00000e82: JUMPDEST 00000e83: PUSH1 0x00 00000e85: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000ea6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebb: AND 00000ebc: PUSH4 0x70a08231 00000ec1: ADDRESS 00000ec2: PUSH1 0x40 00000ec4: MLOAD 00000ec5: DUP3 00000ec6: PUSH4 0xffffffff 00000ecb: AND 00000ecc: PUSH1 0xe0 00000ece: SHL 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x04 00000ed3: ADD 00000ed4: PUSH2 0x0edd 00000ed7: SWAP2 00000ed8: SWAP1 00000ed9: PUSH2 0x1990 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH1 0x20 00000ee0: PUSH1 0x40 00000ee2: MLOAD 00000ee3: DUP1 00000ee4: DUP4 00000ee5: SUB 00000ee6: DUP2 00000ee7: DUP7 00000ee8: GAS 00000ee9: STATICCALL 00000eea: ISZERO 00000eeb: DUP1 00000eec: ISZERO 00000eed: PUSH2 0x0efa 00000ef0: JUMPI 00000ef1: RETURNDATASIZE 00000ef2: PUSH1 0x00 00000ef4: DUP1 00000ef5: RETURNDATACOPY 00000ef6: RETURNDATASIZE 00000ef7: PUSH1 0x00 00000ef9: REVERT 00000efa: JUMPDEST 00000efb: POP 00000efc: POP 00000efd: POP 00000efe: POP 00000eff: PUSH1 0x40 00000f01: MLOAD 00000f02: RETURNDATASIZE 00000f03: PUSH1 0x1f 00000f05: NOT 00000f06: PUSH1 0x1f 00000f08: DUP3 00000f09: ADD 00000f0a: AND 00000f0b: DUP3 00000f0c: ADD 00000f0d: DUP1 00000f0e: PUSH1 0x40 00000f10: MSTORE 00000f11: POP 00000f12: DUP2 00000f13: ADD 00000f14: SWAP1 00000f15: PUSH2 0x0f1e 00000f18: SWAP2 00000f19: SWAP1 00000f1a: PUSH2 0x1c9a 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: SWAP1 00000f20: POP 00000f21: PUSH1 0x00 00000f23: DUP2 00000f24: GT 00000f25: ISZERO 00000f26: PUSH2 0x0ffa 00000f29: JUMPI 00000f2a: PUSH2 0x0f74 00000f2d: DUP4 00000f2e: DUP3 00000f2f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f65: AND 00000f66: PUSH2 0x16ad 00000f69: SWAP1 00000f6a: SWAP3 00000f6b: SWAP2 00000f6c: SWAP1 00000f6d: PUSH4 0xffffffff 00000f72: AND 00000f73: JUMP 00000f74: JUMPDEST 00000f75: DUP3 00000f76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8b: AND 00000f8c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000fad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc2: AND 00000fc3: PUSH32 0x037238854fe57fbf51f09946f854fc3916fe83938d6521f09bd05463839f1304 00000fe4: DUP4 00000fe5: PUSH1 0x40 00000fe7: MLOAD 00000fe8: PUSH2 0x0ff1 00000feb: SWAP2 00000fec: SWAP1 00000fed: PUSH2 0x1b87 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH1 0x40 00000ff4: MLOAD 00000ff5: DUP1 00000ff6: SWAP2 00000ff7: SUB 00000ff8: SWAP1 00000ff9: LOG3 00000ffa: JUMPDEST 00000ffb: PUSH1 0x00 00000ffd: SELFBALANCE 00000ffe: SWAP1 00000fff: POP 00001000: PUSH1 0x00 00001002: DUP2 00001003: GT 00001004: ISZERO 00001005: PUSH2 0x10fb 00001008: JUMPI 00001009: PUSH1 0x00 0000100b: DUP5 0000100c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001021: AND 00001022: DUP3 00001023: PUSH1 0x40 00001025: MLOAD 00001026: PUSH2 0x102e 00001029: SWAP1 0000102a: PUSH2 0x1d58 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x00 00001031: PUSH1 0x40 00001033: MLOAD 00001034: DUP1 00001035: DUP4 00001036: SUB 00001037: DUP2 00001038: DUP6 00001039: DUP8 0000103a: GAS 0000103b: CALL 0000103c: SWAP3 0000103d: POP 0000103e: POP 0000103f: POP 00001040: RETURNDATASIZE 00001041: DUP1 00001042: PUSH1 0x00 00001044: DUP2 00001045: EQ 00001046: PUSH2 0x106b 00001049: JUMPI 0000104a: PUSH1 0x40 0000104c: MLOAD 0000104d: SWAP2 0000104e: POP 0000104f: PUSH1 0x1f 00001051: NOT 00001052: PUSH1 0x3f 00001054: RETURNDATASIZE 00001055: ADD 00001056: AND 00001057: DUP3 00001058: ADD 00001059: PUSH1 0x40 0000105b: MSTORE 0000105c: RETURNDATASIZE 0000105d: DUP3 0000105e: MSTORE 0000105f: RETURNDATASIZE 00001060: PUSH1 0x00 00001062: PUSH1 0x20 00001064: DUP5 00001065: ADD 00001066: RETURNDATACOPY 00001067: PUSH2 0x1070 0000106a: JUMP 0000106b: JUMPDEST 0000106c: PUSH1 0x60 0000106e: SWAP2 0000106f: POP 00001070: JUMPDEST 00001071: POP 00001072: POP 00001073: SWAP1 00001074: POP 00001075: DUP1 00001076: PUSH2 0x10ab 00001079: JUMPI 0000107a: PUSH1 0x40 0000107c: MLOAD 0000107d: PUSH32 0x90b8ec1800000000000000000000000000000000000000000000000000000000 0000109e: DUP2 0000109f: MSTORE 000010a0: PUSH1 0x04 000010a2: ADD 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: DUP1 000010a7: SWAP2 000010a8: SUB 000010a9: SWAP1 000010aa: REVERT 000010ab: JUMPDEST 000010ac: DUP5 000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c2: AND 000010c3: PUSH32 0xde93db11f7aedf7cb3be22dc4d80e7790ab4b59a30aae83e86ac8326245542c5 000010e4: DUP4 000010e5: PUSH1 0x40 000010e7: MLOAD 000010e8: PUSH2 0x10f1 000010eb: SWAP2 000010ec: SWAP1 000010ed: PUSH2 0x1b87 000010f0: JUMP 000010f1: JUMPDEST 000010f2: PUSH1 0x40 000010f4: MLOAD 000010f5: DUP1 000010f6: SWAP2 000010f7: SUB 000010f8: SWAP1 000010f9: LOG2 000010fa: POP 000010fb: JUMPDEST 000010fc: POP 000010fd: POP 000010fe: POP 000010ff: PUSH2 0x1106 00001102: PUSH2 0x1212 00001105: JUMP 00001106: JUMPDEST 00001107: POP 00001108: JUMP 00001109: JUMPDEST 0000110a: PUSH2 0x1111 0000110d: PUSH2 0x08e4 00001110: JUMP 00001111: JUMPDEST 00001112: ISZERO 00001113: PUSH2 0x1148 00001116: JUMPI 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000 0000113b: DUP2 0000113c: MSTORE 0000113d: PUSH1 0x04 0000113f: ADD 00001140: PUSH1 0x40 00001142: MLOAD 00001143: DUP1 00001144: SWAP2 00001145: SUB 00001146: SWAP1 00001147: REVERT 00001148: JUMPDEST 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH1 0x02 0000114d: PUSH1 0x01 0000114f: SLOAD 00001150: SUB 00001151: PUSH2 0x1186 00001154: JUMPI 00001155: PUSH1 0x40 00001157: MLOAD 00001158: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 00001179: DUP2 0000117a: MSTORE 0000117b: PUSH1 0x04 0000117d: ADD 0000117e: PUSH1 0x40 00001180: MLOAD 00001181: DUP1 00001182: SWAP2 00001183: SUB 00001184: SWAP1 00001185: REVERT 00001186: JUMPDEST 00001187: PUSH1 0x02 00001189: PUSH1 0x01 0000118b: DUP2 0000118c: SWAP1 0000118d: SSTORE 0000118e: POP 0000118f: JUMP 00001190: JUMPDEST 00001191: PUSH2 0x120c 00001194: DUP5 00001195: DUP6 00001196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ab: AND 000011ac: PUSH4 0x23b872dd 000011b1: DUP7 000011b2: DUP7 000011b3: DUP7 000011b4: PUSH1 0x40 000011b6: MLOAD 000011b7: PUSH1 0x24 000011b9: ADD 000011ba: PUSH2 0x11c5 000011bd: SWAP4 000011be: SWAP3 000011bf: SWAP2 000011c0: SWAP1 000011c1: PUSH2 0x1d6d 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH1 0x40 000011c8: MLOAD 000011c9: PUSH1 0x20 000011cb: DUP2 000011cc: DUP4 000011cd: SUB 000011ce: SUB 000011cf: DUP2 000011d0: MSTORE 000011d1: SWAP1 000011d2: PUSH1 0x40 000011d4: MSTORE 000011d5: SWAP2 000011d6: POP 000011d7: PUSH1 0xe0 000011d9: SHL 000011da: PUSH1 0x20 000011dc: DUP3 000011dd: ADD 000011de: DUP1 000011df: MLOAD 000011e0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000011fd: DUP4 000011fe: DUP2 000011ff: DUP4 00001200: AND 00001201: OR 00001202: DUP4 00001203: MSTORE 00001204: POP 00001205: POP 00001206: POP 00001207: POP 00001208: PUSH2 0x172c 0000120b: JUMP 0000120c: JUMPDEST 0000120d: POP 0000120e: POP 0000120f: POP 00001210: POP 00001211: JUMP 00001212: JUMPDEST 00001213: PUSH1 0x01 00001215: DUP1 00001216: DUP2 00001217: SWAP1 00001218: SSTORE 00001219: POP 0000121a: JUMP 0000121b: JUMPDEST 0000121c: PUSH2 0x1223 0000121f: PUSH2 0x17ce 00001222: JUMP 00001223: JUMPDEST 00001224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001239: AND 0000123a: PUSH2 0x1241 0000123d: PUSH2 0x0920 00001240: JUMP 00001241: JUMPDEST 00001242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001257: AND 00001258: EQ 00001259: PUSH2 0x12a0 0000125c: JUMPI 0000125d: PUSH2 0x1264 00001260: PUSH2 0x17ce 00001263: JUMP 00001264: JUMPDEST 00001265: PUSH1 0x40 00001267: MLOAD 00001268: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 00001289: DUP2 0000128a: MSTORE 0000128b: PUSH1 0x04 0000128d: ADD 0000128e: PUSH2 0x1297 00001291: SWAP2 00001292: SWAP1 00001293: PUSH2 0x1990 00001296: JUMP 00001297: JUMPDEST 00001298: PUSH1 0x40 0000129a: MLOAD 0000129b: DUP1 0000129c: SWAP2 0000129d: SUB 0000129e: SWAP1 0000129f: REVERT 000012a0: JUMPDEST 000012a1: JUMP 000012a2: JUMPDEST 000012a3: PUSH2 0x12aa 000012a6: PUSH2 0x17d6 000012a9: JUMP 000012aa: JUMPDEST 000012ab: PUSH1 0x00 000012ad: DUP1 000012ae: PUSH1 0x14 000012b0: PUSH2 0x0100 000012b3: EXP 000012b4: DUP2 000012b5: SLOAD 000012b6: DUP2 000012b7: PUSH1 0xff 000012b9: MUL 000012ba: NOT 000012bb: AND 000012bc: SWAP1 000012bd: DUP4 000012be: ISZERO 000012bf: ISZERO 000012c0: MUL 000012c1: OR 000012c2: SWAP1 000012c3: SSTORE 000012c4: POP 000012c5: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 000012e6: PUSH2 0x12ed 000012e9: PUSH2 0x17ce 000012ec: JUMP 000012ed: JUMPDEST 000012ee: PUSH1 0x40 000012f0: MLOAD 000012f1: PUSH2 0x12fa 000012f4: SWAP2 000012f5: SWAP1 000012f6: PUSH2 0x1990 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x40 000012fd: MLOAD 000012fe: DUP1 000012ff: SWAP2 00001300: SUB 00001301: SWAP1 00001302: LOG1 00001303: JUMP 00001304: JUMPDEST 00001305: PUSH1 0x00 00001307: DUP1 00001308: PUSH1 0x00 0000130a: SWAP1 0000130b: SLOAD 0000130c: SWAP1 0000130d: PUSH2 0x0100 00001310: EXP 00001311: SWAP1 00001312: DIV 00001313: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001328: AND 00001329: SWAP1 0000132a: POP 0000132b: DUP2 0000132c: PUSH1 0x00 0000132e: DUP1 0000132f: PUSH2 0x0100 00001332: EXP 00001333: DUP2 00001334: SLOAD 00001335: DUP2 00001336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134b: MUL 0000134c: NOT 0000134d: AND 0000134e: SWAP1 0000134f: DUP4 00001350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001365: AND 00001366: MUL 00001367: OR 00001368: SWAP1 00001369: SSTORE 0000136a: POP 0000136b: DUP2 0000136c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001381: AND 00001382: DUP2 00001383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001398: AND 00001399: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000013ba: PUSH1 0x40 000013bc: MLOAD 000013bd: PUSH1 0x40 000013bf: MLOAD 000013c0: DUP1 000013c1: SWAP2 000013c2: SUB 000013c3: SWAP1 000013c4: LOG3 000013c5: POP 000013c6: POP 000013c7: JUMP 000013c8: JUMPDEST 000013c9: PUSH2 0x13d0 000013cc: PUSH2 0x1109 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x01 000013d3: PUSH1 0x00 000013d5: PUSH1 0x14 000013d7: PUSH2 0x0100 000013da: EXP 000013db: DUP2 000013dc: SLOAD 000013dd: DUP2 000013de: PUSH1 0xff 000013e0: MUL 000013e1: NOT 000013e2: AND 000013e3: SWAP1 000013e4: DUP4 000013e5: ISZERO 000013e6: ISZERO 000013e7: MUL 000013e8: OR 000013e9: SWAP1 000013ea: SSTORE 000013eb: POP 000013ec: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 0000140d: PUSH2 0x1414 00001410: PUSH2 0x17ce 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH1 0x40 00001417: MLOAD 00001418: PUSH2 0x1421 0000141b: SWAP2 0000141c: SWAP1 0000141d: PUSH2 0x1990 00001420: JUMP 00001421: JUMPDEST 00001422: PUSH1 0x40 00001424: MLOAD 00001425: DUP1 00001426: SWAP2 00001427: SUB 00001428: SWAP1 00001429: LOG1 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x00 0000142e: SELFBALANCE 0000142f: SWAP1 00001430: POP 00001431: PUSH1 0x00 00001433: DUP2 00001434: GT 00001435: PUSH2 0x146a 00001438: JUMPI 00001439: PUSH1 0x40 0000143b: MLOAD 0000143c: PUSH32 0x1fbaba3500000000000000000000000000000000000000000000000000000000 0000145d: DUP2 0000145e: MSTORE 0000145f: PUSH1 0x04 00001461: ADD 00001462: PUSH1 0x40 00001464: MLOAD 00001465: DUP1 00001466: SWAP2 00001467: SUB 00001468: SWAP1 00001469: REVERT 0000146a: JUMPDEST 0000146b: PUSH1 0x00 0000146d: DUP3 0000146e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001483: AND 00001484: DUP3 00001485: PUSH1 0x40 00001487: MLOAD 00001488: PUSH2 0x1490 0000148b: SWAP1 0000148c: PUSH2 0x1d58 0000148f: JUMP 00001490: JUMPDEST 00001491: PUSH1 0x00 00001493: PUSH1 0x40 00001495: MLOAD 00001496: DUP1 00001497: DUP4 00001498: SUB 00001499: DUP2 0000149a: DUP6 0000149b: DUP8 0000149c: GAS 0000149d: CALL 0000149e: SWAP3 0000149f: POP 000014a0: POP 000014a1: POP 000014a2: RETURNDATASIZE 000014a3: DUP1 000014a4: PUSH1 0x00 000014a6: DUP2 000014a7: EQ 000014a8: PUSH2 0x14cd 000014ab: JUMPI 000014ac: PUSH1 0x40 000014ae: MLOAD 000014af: SWAP2 000014b0: POP 000014b1: PUSH1 0x1f 000014b3: NOT 000014b4: PUSH1 0x3f 000014b6: RETURNDATASIZE 000014b7: ADD 000014b8: AND 000014b9: DUP3 000014ba: ADD 000014bb: PUSH1 0x40 000014bd: MSTORE 000014be: RETURNDATASIZE 000014bf: DUP3 000014c0: MSTORE 000014c1: RETURNDATASIZE 000014c2: PUSH1 0x00 000014c4: PUSH1 0x20 000014c6: DUP5 000014c7: ADD 000014c8: RETURNDATACOPY 000014c9: PUSH2 0x14d2 000014cc: JUMP 000014cd: JUMPDEST 000014ce: PUSH1 0x60 000014d0: SWAP2 000014d1: POP 000014d2: JUMPDEST 000014d3: POP 000014d4: POP 000014d5: SWAP1 000014d6: POP 000014d7: DUP1 000014d8: PUSH2 0x150d 000014db: JUMPI 000014dc: PUSH1 0x40 000014de: MLOAD 000014df: PUSH32 0x90b8ec1800000000000000000000000000000000000000000000000000000000 00001500: DUP2 00001501: MSTORE 00001502: PUSH1 0x04 00001504: ADD 00001505: PUSH1 0x40 00001507: MLOAD 00001508: DUP1 00001509: SWAP2 0000150a: SUB 0000150b: SWAP1 0000150c: REVERT 0000150d: JUMPDEST 0000150e: DUP3 0000150f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001524: AND 00001525: PUSH32 0xde93db11f7aedf7cb3be22dc4d80e7790ab4b59a30aae83e86ac8326245542c5 00001546: DUP4 00001547: PUSH1 0x40 00001549: MLOAD 0000154a: PUSH2 0x1553 0000154d: SWAP2 0000154e: SWAP1 0000154f: PUSH2 0x1b87 00001552: JUMP 00001553: JUMPDEST 00001554: PUSH1 0x40 00001556: MLOAD 00001557: DUP1 00001558: SWAP2 00001559: SUB 0000155a: SWAP1 0000155b: LOG2 0000155c: POP 0000155d: POP 0000155e: POP 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x00 00001563: DUP3 00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001579: AND 0000157a: PUSH4 0x70a08231 0000157f: ADDRESS 00001580: PUSH1 0x40 00001582: MLOAD 00001583: DUP3 00001584: PUSH4 0xffffffff 00001589: AND 0000158a: PUSH1 0xe0 0000158c: SHL 0000158d: DUP2 0000158e: MSTORE 0000158f: PUSH1 0x04 00001591: ADD 00001592: PUSH2 0x159b 00001595: SWAP2 00001596: SWAP1 00001597: PUSH2 0x1990 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH1 0x20 0000159e: PUSH1 0x40 000015a0: MLOAD 000015a1: DUP1 000015a2: DUP4 000015a3: SUB 000015a4: DUP2 000015a5: DUP7 000015a6: GAS 000015a7: STATICCALL 000015a8: ISZERO 000015a9: DUP1 000015aa: ISZERO 000015ab: PUSH2 0x15b8 000015ae: JUMPI 000015af: RETURNDATASIZE 000015b0: PUSH1 0x00 000015b2: DUP1 000015b3: RETURNDATACOPY 000015b4: RETURNDATASIZE 000015b5: PUSH1 0x00 000015b7: REVERT 000015b8: JUMPDEST 000015b9: POP 000015ba: POP 000015bb: POP 000015bc: POP 000015bd: PUSH1 0x40 000015bf: MLOAD 000015c0: RETURNDATASIZE 000015c1: PUSH1 0x1f 000015c3: NOT 000015c4: PUSH1 0x1f 000015c6: DUP3 000015c7: ADD 000015c8: AND 000015c9: DUP3 000015ca: ADD 000015cb: DUP1 000015cc: PUSH1 0x40 000015ce: MSTORE 000015cf: POP 000015d0: DUP2 000015d1: ADD 000015d2: SWAP1 000015d3: PUSH2 0x15dc 000015d6: SWAP2 000015d7: SWAP1 000015d8: PUSH2 0x1c9a 000015db: JUMP 000015dc: JUMPDEST 000015dd: SWAP1 000015de: POP 000015df: PUSH1 0x00 000015e1: DUP2 000015e2: GT 000015e3: PUSH2 0x1618 000015e6: JUMPI 000015e7: PUSH1 0x40 000015e9: MLOAD 000015ea: PUSH32 0x1fbaba3500000000000000000000000000000000000000000000000000000000 0000160b: DUP2 0000160c: MSTORE 0000160d: PUSH1 0x04 0000160f: ADD 00001610: PUSH1 0x40 00001612: MLOAD 00001613: DUP1 00001614: SWAP2 00001615: SUB 00001616: SWAP1 00001617: REVERT 00001618: JUMPDEST 00001619: PUSH2 0x1643 0000161c: DUP3 0000161d: DUP3 0000161e: DUP6 0000161f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001634: AND 00001635: PUSH2 0x16ad 00001638: SWAP1 00001639: SWAP3 0000163a: SWAP2 0000163b: SWAP1 0000163c: PUSH4 0xffffffff 00001641: AND 00001642: JUMP 00001643: JUMPDEST 00001644: DUP2 00001645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165a: AND 0000165b: DUP4 0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001671: AND 00001672: PUSH32 0x037238854fe57fbf51f09946f854fc3916fe83938d6521f09bd05463839f1304 00001693: DUP4 00001694: PUSH1 0x40 00001696: MLOAD 00001697: PUSH2 0x16a0 0000169a: SWAP2 0000169b: SWAP1 0000169c: PUSH2 0x1b87 0000169f: JUMP 000016a0: JUMPDEST 000016a1: PUSH1 0x40 000016a3: MLOAD 000016a4: DUP1 000016a5: SWAP2 000016a6: SUB 000016a7: SWAP1 000016a8: LOG3 000016a9: POP 000016aa: POP 000016ab: POP 000016ac: JUMP 000016ad: JUMPDEST 000016ae: PUSH2 0x1727 000016b1: DUP4 000016b2: DUP5 000016b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c8: AND 000016c9: PUSH4 0xa9059cbb 000016ce: DUP6 000016cf: DUP6 000016d0: PUSH1 0x40 000016d2: MLOAD 000016d3: PUSH1 0x24 000016d5: ADD 000016d6: PUSH2 0x16e0 000016d9: SWAP3 000016da: SWAP2 000016db: SWAP1 000016dc: PUSH2 0x1da4 000016df: JUMP 000016e0: JUMPDEST 000016e1: PUSH1 0x40 000016e3: MLOAD 000016e4: PUSH1 0x20 000016e6: DUP2 000016e7: DUP4 000016e8: SUB 000016e9: SUB 000016ea: DUP2 000016eb: MSTORE 000016ec: SWAP1 000016ed: PUSH1 0x40 000016ef: MSTORE 000016f0: SWAP2 000016f1: POP 000016f2: PUSH1 0xe0 000016f4: SHL 000016f5: PUSH1 0x20 000016f7: DUP3 000016f8: ADD 000016f9: DUP1 000016fa: MLOAD 000016fb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001718: DUP4 00001719: DUP2 0000171a: DUP4 0000171b: AND 0000171c: OR 0000171d: DUP4 0000171e: MSTORE 0000171f: POP 00001720: POP 00001721: POP 00001722: POP 00001723: PUSH2 0x172c 00001726: JUMP 00001727: JUMPDEST 00001728: POP 00001729: POP 0000172a: POP 0000172b: JUMP 0000172c: JUMPDEST 0000172d: PUSH1 0x00 0000172f: DUP1 00001730: PUSH1 0x20 00001732: PUSH1 0x00 00001734: DUP5 00001735: MLOAD 00001736: PUSH1 0x20 00001738: DUP7 00001739: ADD 0000173a: PUSH1 0x00 0000173c: DUP9 0000173d: GAS 0000173e: CALL 0000173f: DUP1 00001740: PUSH2 0x174f 00001743: JUMPI 00001744: PUSH1 0x40 00001746: MLOAD 00001747: RETURNDATASIZE 00001748: PUSH1 0x00 0000174a: DUP3 0000174b: RETURNDATACOPY 0000174c: RETURNDATASIZE 0000174d: DUP2 0000174e: REVERT 0000174f: JUMPDEST 00001750: RETURNDATASIZE 00001751: SWAP3 00001752: POP 00001753: PUSH1 0x00 00001755: MLOAD 00001756: SWAP2 00001757: POP 00001758: POP 00001759: PUSH1 0x00 0000175b: DUP3 0000175c: EQ 0000175d: PUSH2 0x176a 00001760: JUMPI 00001761: PUSH1 0x01 00001763: DUP2 00001764: EQ 00001765: ISZERO 00001766: PUSH2 0x1786 00001769: JUMP 0000176a: JUMPDEST 0000176b: PUSH1 0x00 0000176d: DUP5 0000176e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001783: AND 00001784: EXTCODESIZE 00001785: EQ 00001786: JUMPDEST 00001787: ISZERO 00001788: PUSH2 0x17c8 0000178b: JUMPI 0000178c: DUP4 0000178d: PUSH1 0x40 0000178f: MLOAD 00001790: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 000017b1: DUP2 000017b2: MSTORE 000017b3: PUSH1 0x04 000017b5: ADD 000017b6: PUSH2 0x17bf 000017b9: SWAP2 000017ba: SWAP1 000017bb: PUSH2 0x1990 000017be: JUMP 000017bf: JUMPDEST 000017c0: PUSH1 0x40 000017c2: MLOAD 000017c3: DUP1 000017c4: SWAP2 000017c5: SUB 000017c6: SWAP1 000017c7: REVERT 000017c8: JUMPDEST 000017c9: POP 000017ca: POP 000017cb: POP 000017cc: POP 000017cd: JUMP 000017ce: JUMPDEST 000017cf: PUSH1 0x00 000017d1: CALLER 000017d2: SWAP1 000017d3: POP 000017d4: SWAP1 000017d5: JUMP 000017d6: JUMPDEST 000017d7: PUSH2 0x17de 000017da: PUSH2 0x08e4 000017dd: JUMP 000017de: JUMPDEST 000017df: PUSH2 0x1814 000017e2: JUMPI 000017e3: PUSH1 0x40 000017e5: MLOAD 000017e6: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000 00001807: DUP2 00001808: MSTORE 00001809: PUSH1 0x04 0000180b: ADD 0000180c: PUSH1 0x40 0000180e: MLOAD 0000180f: DUP1 00001810: SWAP2 00001811: SUB 00001812: SWAP1 00001813: REVERT 00001814: JUMPDEST 00001815: JUMP 00001816: JUMPDEST 00001817: PUSH1 0x00 00001819: DUP3 0000181a: DUP3 0000181b: MSTORE 0000181c: PUSH1 0x20 0000181e: DUP3 0000181f: ADD 00001820: SWAP1 00001821: POP 00001822: SWAP3 00001823: SWAP2 00001824: POP 00001825: POP 00001826: JUMP 00001827: JUMPDEST 00001828: PUSH32 0x446972656374207472616e7366657273206e6f7420616c6c6f77656400000000 00001849: PUSH1 0x00 0000184b: DUP3 0000184c: ADD 0000184d: MSTORE 0000184e: POP 0000184f: JUMP 00001850: JUMPDEST 00001851: PUSH1 0x00 00001853: PUSH2 0x185d 00001856: PUSH1 0x1c 00001858: DUP4 00001859: PUSH2 0x1816 0000185c: JUMP 0000185d: JUMPDEST 0000185e: SWAP2 0000185f: POP 00001860: PUSH2 0x1868 00001863: DUP3 00001864: PUSH2 0x1827 00001867: JUMP 00001868: JUMPDEST 00001869: PUSH1 0x20 0000186b: DUP3 0000186c: ADD 0000186d: SWAP1 0000186e: POP 0000186f: SWAP2 00001870: SWAP1 00001871: POP 00001872: JUMP 00001873: JUMPDEST 00001874: PUSH1 0x00 00001876: PUSH1 0x20 00001878: DUP3 00001879: ADD 0000187a: SWAP1 0000187b: POP 0000187c: DUP2 0000187d: DUP2 0000187e: SUB 0000187f: PUSH1 0x00 00001881: DUP4 00001882: ADD 00001883: MSTORE 00001884: PUSH2 0x188c 00001887: DUP2 00001888: PUSH2 0x1850 0000188b: JUMP 0000188c: JUMPDEST 0000188d: SWAP1 0000188e: POP 0000188f: SWAP2 00001890: SWAP1 00001891: POP 00001892: JUMP 00001893: JUMPDEST 00001894: PUSH32 0x46756e6374696f6e20646f6573206e6f74206578697374000000000000000000 000018b5: PUSH1 0x00 000018b7: DUP3 000018b8: ADD 000018b9: MSTORE 000018ba: POP 000018bb: JUMP 000018bc: JUMPDEST 000018bd: PUSH1 0x00 000018bf: PUSH2 0x18c9 000018c2: PUSH1 0x17 000018c4: DUP4 000018c5: PUSH2 0x1816 000018c8: JUMP 000018c9: JUMPDEST 000018ca: SWAP2 000018cb: POP 000018cc: PUSH2 0x18d4 000018cf: DUP3 000018d0: PUSH2 0x1893 000018d3: JUMP 000018d4: JUMPDEST 000018d5: PUSH1 0x20 000018d7: DUP3 000018d8: ADD 000018d9: SWAP1 000018da: POP 000018db: SWAP2 000018dc: SWAP1 000018dd: POP 000018de: JUMP 000018df: JUMPDEST 000018e0: PUSH1 0x00 000018e2: PUSH1 0x20 000018e4: DUP3 000018e5: ADD 000018e6: SWAP1 000018e7: POP 000018e8: DUP2 000018e9: DUP2 000018ea: SUB 000018eb: PUSH1 0x00 000018ed: DUP4 000018ee: ADD 000018ef: MSTORE 000018f0: PUSH2 0x18f8 000018f3: DUP2 000018f4: PUSH2 0x18bc 000018f7: JUMP 000018f8: JUMPDEST 000018f9: SWAP1 000018fa: POP 000018fb: SWAP2 000018fc: SWAP1 000018fd: POP 000018fe: JUMP 000018ff: JUMPDEST 00001900: PUSH1 0x00 00001902: DUP2 00001903: SWAP1 00001904: POP 00001905: SWAP2 00001906: SWAP1 00001907: POP 00001908: JUMP 00001909: JUMPDEST 0000190a: PUSH2 0x1912 0000190d: DUP2 0000190e: PUSH2 0x18ff 00001911: JUMP 00001912: JUMPDEST 00001913: DUP3 00001914: MSTORE 00001915: POP 00001916: POP 00001917: JUMP 00001918: JUMPDEST 00001919: PUSH1 0x00 0000191b: PUSH1 0x60 0000191d: DUP3 0000191e: ADD 0000191f: SWAP1 00001920: POP 00001921: PUSH2 0x192d 00001924: PUSH1 0x00 00001926: DUP4 00001927: ADD 00001928: DUP7 00001929: PUSH2 0x1909 0000192c: JUMP 0000192d: JUMPDEST 0000192e: PUSH2 0x193a 00001931: PUSH1 0x20 00001933: DUP4 00001934: ADD 00001935: DUP6 00001936: PUSH2 0x1909 00001939: JUMP 0000193a: JUMPDEST 0000193b: PUSH2 0x1947 0000193e: PUSH1 0x40 00001940: DUP4 00001941: ADD 00001942: DUP5 00001943: PUSH2 0x1909 00001946: JUMP 00001947: JUMPDEST 00001948: SWAP5 00001949: SWAP4 0000194a: POP 0000194b: POP 0000194c: POP 0000194d: POP 0000194e: JUMP 0000194f: JUMPDEST 00001950: PUSH1 0x00 00001952: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001967: DUP3 00001968: AND 00001969: SWAP1 0000196a: POP 0000196b: SWAP2 0000196c: SWAP1 0000196d: POP 0000196e: JUMP 0000196f: JUMPDEST 00001970: PUSH1 0x00 00001972: PUSH2 0x197a 00001975: DUP3 00001976: PUSH2 0x194f 00001979: JUMP 0000197a: JUMPDEST 0000197b: SWAP1 0000197c: POP 0000197d: SWAP2 0000197e: SWAP1 0000197f: POP 00001980: JUMP 00001981: JUMPDEST 00001982: PUSH2 0x198a 00001985: DUP2 00001986: PUSH2 0x196f 00001989: JUMP 0000198a: JUMPDEST 0000198b: DUP3 0000198c: MSTORE 0000198d: POP 0000198e: POP 0000198f: JUMP 00001990: JUMPDEST 00001991: PUSH1 0x00 00001993: PUSH1 0x20 00001995: DUP3 00001996: ADD 00001997: SWAP1 00001998: POP 00001999: PUSH2 0x19a5 0000199c: PUSH1 0x00 0000199e: DUP4 0000199f: ADD 000019a0: DUP5 000019a1: PUSH2 0x1981 000019a4: JUMP 000019a5: JUMPDEST 000019a6: SWAP3 000019a7: SWAP2 000019a8: POP 000019a9: POP 000019aa: JUMP 000019ab: JUMPDEST 000019ac: PUSH1 0x00 000019ae: PUSH1 0x40 000019b0: MLOAD 000019b1: SWAP1 000019b2: POP 000019b3: SWAP1 000019b4: JUMP 000019b5: JUMPDEST 000019b6: PUSH1 0x00 000019b8: DUP1 000019b9: REVERT 000019ba: JUMPDEST 000019bb: PUSH1 0x00 000019bd: DUP1 000019be: REVERT 000019bf: JUMPDEST 000019c0: PUSH1 0x00 000019c2: PUSH1 0x1f 000019c4: NOT 000019c5: PUSH1 0x1f 000019c7: DUP4 000019c8: ADD 000019c9: AND 000019ca: SWAP1 000019cb: POP 000019cc: SWAP2 000019cd: SWAP1 000019ce: POP 000019cf: JUMP 000019d0: JUMPDEST 000019d1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000019f2: PUSH1 0x00 000019f4: MSTORE 000019f5: PUSH1 0x41 000019f7: PUSH1 0x04 000019f9: MSTORE 000019fa: PUSH1 0x24 000019fc: PUSH1 0x00 000019fe: REVERT 000019ff: JUMPDEST 00001a00: PUSH2 0x1a08 00001a03: DUP3 00001a04: PUSH2 0x19bf 00001a07: JUMP 00001a08: JUMPDEST 00001a09: DUP2 00001a0a: ADD 00001a0b: DUP2 00001a0c: DUP2 00001a0d: LT 00001a0e: PUSH8 0xffffffffffffffff 00001a17: DUP3 00001a18: GT 00001a19: OR 00001a1a: ISZERO 00001a1b: PUSH2 0x1a27 00001a1e: JUMPI 00001a1f: PUSH2 0x1a26 00001a22: PUSH2 0x19d0 00001a25: JUMP 00001a26: JUMPDEST 00001a27: JUMPDEST 00001a28: DUP1 00001a29: PUSH1 0x40 00001a2b: MSTORE 00001a2c: POP 00001a2d: POP 00001a2e: POP 00001a2f: JUMP 00001a30: JUMPDEST 00001a31: PUSH1 0x00 00001a33: PUSH2 0x1a3a 00001a36: PUSH2 0x19ab 00001a39: JUMP 00001a3a: JUMPDEST 00001a3b: SWAP1 00001a3c: POP 00001a3d: PUSH2 0x1a46 00001a40: DUP3 00001a41: DUP3 00001a42: PUSH2 0x19ff 00001a45: JUMP 00001a46: JUMPDEST 00001a47: SWAP2 00001a48: SWAP1 00001a49: POP 00001a4a: JUMP 00001a4b: JUMPDEST 00001a4c: PUSH2 0x1a54 00001a4f: DUP2 00001a50: PUSH2 0x196f 00001a53: JUMP 00001a54: JUMPDEST 00001a55: DUP2 00001a56: EQ 00001a57: PUSH2 0x1a5f 00001a5a: JUMPI 00001a5b: PUSH1 0x00 00001a5d: DUP1 00001a5e: REVERT 00001a5f: JUMPDEST 00001a60: POP 00001a61: JUMP 00001a62: JUMPDEST 00001a63: PUSH1 0x00 00001a65: DUP2 00001a66: CALLDATALOAD 00001a67: SWAP1 00001a68: POP 00001a69: PUSH2 0x1a71 00001a6c: DUP2 00001a6d: PUSH2 0x1a4b 00001a70: JUMP 00001a71: JUMPDEST 00001a72: SWAP3 00001a73: SWAP2 00001a74: POP 00001a75: POP 00001a76: JUMP 00001a77: JUMPDEST 00001a78: PUSH2 0x1a80 00001a7b: DUP2 00001a7c: PUSH2 0x18ff 00001a7f: JUMP 00001a80: JUMPDEST 00001a81: DUP2 00001a82: EQ 00001a83: PUSH2 0x1a8b 00001a86: JUMPI 00001a87: PUSH1 0x00 00001a89: DUP1 00001a8a: REVERT 00001a8b: JUMPDEST 00001a8c: POP 00001a8d: JUMP 00001a8e: JUMPDEST 00001a8f: PUSH1 0x00 00001a91: DUP2 00001a92: CALLDATALOAD 00001a93: SWAP1 00001a94: POP 00001a95: PUSH2 0x1a9d 00001a98: DUP2 00001a99: PUSH2 0x1a77 00001a9c: JUMP 00001a9d: JUMPDEST 00001a9e: SWAP3 00001a9f: SWAP2 00001aa0: POP 00001aa1: POP 00001aa2: JUMP 00001aa3: JUMPDEST 00001aa4: PUSH1 0x00 00001aa6: PUSH1 0x60 00001aa8: DUP3 00001aa9: DUP5 00001aaa: SUB 00001aab: SLT 00001aac: ISZERO 00001aad: PUSH2 0x1ab9 00001ab0: JUMPI 00001ab1: PUSH2 0x1ab8 00001ab4: PUSH2 0x19ba 00001ab7: JUMP 00001ab8: JUMPDEST 00001ab9: JUMPDEST 00001aba: PUSH2 0x1ac3 00001abd: PUSH1 0x60 00001abf: PUSH2 0x1a30 00001ac2: JUMP 00001ac3: JUMPDEST 00001ac4: SWAP1 00001ac5: POP 00001ac6: PUSH1 0x00 00001ac8: PUSH2 0x1ad3 00001acb: DUP5 00001acc: DUP3 00001acd: DUP6 00001ace: ADD 00001acf: PUSH2 0x1a62 00001ad2: JUMP 00001ad3: JUMPDEST 00001ad4: PUSH1 0x00 00001ad6: DUP4 00001ad7: ADD 00001ad8: MSTORE 00001ad9: POP 00001ada: PUSH1 0x20 00001adc: PUSH2 0x1ae7 00001adf: DUP5 00001ae0: DUP3 00001ae1: DUP6 00001ae2: ADD 00001ae3: PUSH2 0x1a8e 00001ae6: JUMP 00001ae7: JUMPDEST 00001ae8: PUSH1 0x20 00001aea: DUP4 00001aeb: ADD 00001aec: MSTORE 00001aed: POP 00001aee: PUSH1 0x40 00001af0: PUSH2 0x1afb 00001af3: DUP5 00001af4: DUP3 00001af5: DUP6 00001af6: ADD 00001af7: PUSH2 0x1a62 00001afa: JUMP 00001afb: JUMPDEST 00001afc: PUSH1 0x40 00001afe: DUP4 00001aff: ADD 00001b00: MSTORE 00001b01: POP 00001b02: SWAP3 00001b03: SWAP2 00001b04: POP 00001b05: POP 00001b06: JUMP 00001b07: JUMPDEST 00001b08: PUSH1 0x00 00001b0a: DUP1 00001b0b: PUSH1 0x00 00001b0d: PUSH1 0xa0 00001b0f: DUP5 00001b10: DUP7 00001b11: SUB 00001b12: SLT 00001b13: ISZERO 00001b14: PUSH2 0x1b20 00001b17: JUMPI 00001b18: PUSH2 0x1b1f 00001b1b: PUSH2 0x19b5 00001b1e: JUMP 00001b1f: JUMPDEST 00001b20: JUMPDEST 00001b21: PUSH1 0x00 00001b23: PUSH2 0x1b2e 00001b26: DUP7 00001b27: DUP3 00001b28: DUP8 00001b29: ADD 00001b2a: PUSH2 0x1aa3 00001b2d: JUMP 00001b2e: JUMPDEST 00001b2f: SWAP4 00001b30: POP 00001b31: POP 00001b32: PUSH1 0x60 00001b34: PUSH2 0x1b3f 00001b37: DUP7 00001b38: DUP3 00001b39: DUP8 00001b3a: ADD 00001b3b: PUSH2 0x1a62 00001b3e: JUMP 00001b3f: JUMPDEST 00001b40: SWAP3 00001b41: POP 00001b42: POP 00001b43: PUSH1 0x80 00001b45: PUSH2 0x1b50 00001b48: DUP7 00001b49: DUP3 00001b4a: DUP8 00001b4b: ADD 00001b4c: PUSH2 0x1a8e 00001b4f: JUMP 00001b50: JUMPDEST 00001b51: SWAP2 00001b52: POP 00001b53: POP 00001b54: SWAP3 00001b55: POP 00001b56: SWAP3 00001b57: POP 00001b58: SWAP3 00001b59: JUMP 00001b5a: JUMPDEST 00001b5b: PUSH1 0x00 00001b5d: PUSH1 0x60 00001b5f: DUP3 00001b60: DUP5 00001b61: SUB 00001b62: SLT 00001b63: ISZERO 00001b64: PUSH2 0x1b70 00001b67: JUMPI 00001b68: PUSH2 0x1b6f 00001b6b: PUSH2 0x19b5 00001b6e: JUMP 00001b6f: JUMPDEST 00001b70: JUMPDEST 00001b71: PUSH1 0x00 00001b73: PUSH2 0x1b7e 00001b76: DUP5 00001b77: DUP3 00001b78: DUP6 00001b79: ADD 00001b7a: PUSH2 0x1aa3 00001b7d: JUMP 00001b7e: JUMPDEST 00001b7f: SWAP2 00001b80: POP 00001b81: POP 00001b82: SWAP3 00001b83: SWAP2 00001b84: POP 00001b85: POP 00001b86: JUMP 00001b87: JUMPDEST 00001b88: PUSH1 0x00 00001b8a: PUSH1 0x20 00001b8c: DUP3 00001b8d: ADD 00001b8e: SWAP1 00001b8f: POP 00001b90: PUSH2 0x1b9c 00001b93: PUSH1 0x00 00001b95: DUP4 00001b96: ADD 00001b97: DUP5 00001b98: PUSH2 0x1909 00001b9b: JUMP 00001b9c: JUMPDEST 00001b9d: SWAP3 00001b9e: SWAP2 00001b9f: POP 00001ba0: POP 00001ba1: JUMP 00001ba2: JUMPDEST 00001ba3: PUSH1 0x00 00001ba5: DUP2 00001ba6: ISZERO 00001ba7: ISZERO 00001ba8: SWAP1 00001ba9: POP 00001baa: SWAP2 00001bab: SWAP1 00001bac: POP 00001bad: JUMP 00001bae: JUMPDEST 00001baf: PUSH2 0x1bb7 00001bb2: DUP2 00001bb3: PUSH2 0x1ba2 00001bb6: JUMP 00001bb7: JUMPDEST 00001bb8: DUP3 00001bb9: MSTORE 00001bba: POP 00001bbb: POP 00001bbc: JUMP 00001bbd: JUMPDEST 00001bbe: PUSH1 0x00 00001bc0: PUSH1 0x20 00001bc2: DUP3 00001bc3: ADD 00001bc4: SWAP1 00001bc5: POP 00001bc6: PUSH2 0x1bd2 00001bc9: PUSH1 0x00 00001bcb: DUP4 00001bcc: ADD 00001bcd: DUP5 00001bce: PUSH2 0x1bae 00001bd1: JUMP 00001bd2: JUMPDEST 00001bd3: SWAP3 00001bd4: SWAP2 00001bd5: POP 00001bd6: POP 00001bd7: JUMP 00001bd8: JUMPDEST 00001bd9: PUSH1 0x00 00001bdb: PUSH1 0x20 00001bdd: DUP3 00001bde: DUP5 00001bdf: SUB 00001be0: SLT 00001be1: ISZERO 00001be2: PUSH2 0x1bee 00001be5: JUMPI 00001be6: PUSH2 0x1bed 00001be9: PUSH2 0x19b5 00001bec: JUMP 00001bed: JUMPDEST 00001bee: JUMPDEST 00001bef: PUSH1 0x00 00001bf1: PUSH2 0x1bfc 00001bf4: DUP5 00001bf5: DUP3 00001bf6: DUP6 00001bf7: ADD 00001bf8: PUSH2 0x1a62 00001bfb: JUMP 00001bfc: JUMPDEST 00001bfd: SWAP2 00001bfe: POP 00001bff: POP 00001c00: SWAP3 00001c01: SWAP2 00001c02: POP 00001c03: POP 00001c04: JUMP 00001c05: JUMPDEST 00001c06: PUSH1 0x00 00001c08: DUP1 00001c09: PUSH1 0x40 00001c0b: DUP4 00001c0c: DUP6 00001c0d: SUB 00001c0e: SLT 00001c0f: ISZERO 00001c10: PUSH2 0x1c1c 00001c13: JUMPI 00001c14: PUSH2 0x1c1b 00001c17: PUSH2 0x19b5 00001c1a: JUMP 00001c1b: JUMPDEST 00001c1c: JUMPDEST 00001c1d: PUSH1 0x00 00001c1f: PUSH2 0x1c2a 00001c22: DUP6 00001c23: DUP3 00001c24: DUP7 00001c25: ADD 00001c26: PUSH2 0x1a8e 00001c29: JUMP 00001c2a: JUMPDEST 00001c2b: SWAP3 00001c2c: POP 00001c2d: POP 00001c2e: PUSH1 0x20 00001c30: PUSH2 0x1c3b 00001c33: DUP6 00001c34: DUP3 00001c35: DUP7 00001c36: ADD 00001c37: PUSH2 0x1a8e 00001c3a: JUMP 00001c3b: JUMPDEST 00001c3c: SWAP2 00001c3d: POP 00001c3e: POP 00001c3f: SWAP3 00001c40: POP 00001c41: SWAP3 00001c42: SWAP1 00001c43: POP 00001c44: JUMP 00001c45: JUMPDEST 00001c46: PUSH1 0x00 00001c48: DUP1 00001c49: PUSH1 0x40 00001c4b: DUP4 00001c4c: DUP6 00001c4d: SUB 00001c4e: SLT 00001c4f: ISZERO 00001c50: PUSH2 0x1c5c 00001c53: JUMPI 00001c54: PUSH2 0x1c5b 00001c57: PUSH2 0x19b5 00001c5a: JUMP 00001c5b: JUMPDEST 00001c5c: JUMPDEST 00001c5d: PUSH1 0x00 00001c5f: PUSH2 0x1c6a 00001c62: DUP6 00001c63: DUP3 00001c64: DUP7 00001c65: ADD 00001c66: PUSH2 0x1a62 00001c69: JUMP 00001c6a: JUMPDEST 00001c6b: SWAP3 00001c6c: POP 00001c6d: POP 00001c6e: PUSH1 0x20 00001c70: PUSH2 0x1c7b 00001c73: DUP6 00001c74: DUP3 00001c75: DUP7 00001c76: ADD 00001c77: PUSH2 0x1a62 00001c7a: JUMP 00001c7b: JUMPDEST 00001c7c: SWAP2 00001c7d: POP 00001c7e: POP 00001c7f: SWAP3 00001c80: POP 00001c81: SWAP3 00001c82: SWAP1 00001c83: POP 00001c84: JUMP 00001c85: JUMPDEST 00001c86: PUSH1 0x00 00001c88: DUP2 00001c89: MLOAD 00001c8a: SWAP1 00001c8b: POP 00001c8c: PUSH2 0x1c94 00001c8f: DUP2 00001c90: PUSH2 0x1a77 00001c93: JUMP 00001c94: JUMPDEST 00001c95: SWAP3 00001c96: SWAP2 00001c97: POP 00001c98: POP 00001c99: JUMP 00001c9a: JUMPDEST 00001c9b: PUSH1 0x00 00001c9d: PUSH1 0x20 00001c9f: DUP3 00001ca0: DUP5 00001ca1: SUB 00001ca2: SLT 00001ca3: ISZERO 00001ca4: PUSH2 0x1cb0 00001ca7: JUMPI 00001ca8: PUSH2 0x1caf 00001cab: PUSH2 0x19b5 00001cae: JUMP 00001caf: JUMPDEST 00001cb0: JUMPDEST 00001cb1: PUSH1 0x00 00001cb3: PUSH2 0x1cbe 00001cb6: DUP5 00001cb7: DUP3 00001cb8: DUP6 00001cb9: ADD 00001cba: PUSH2 0x1c85 00001cbd: JUMP 00001cbe: JUMPDEST 00001cbf: SWAP2 00001cc0: POP 00001cc1: POP 00001cc2: SWAP3 00001cc3: SWAP2 00001cc4: POP 00001cc5: POP 00001cc6: JUMP 00001cc7: JUMPDEST 00001cc8: PUSH1 0x00 00001cca: PUSH1 0x60 00001ccc: DUP3 00001ccd: ADD 00001cce: SWAP1 00001ccf: POP 00001cd0: PUSH2 0x1cdc 00001cd3: PUSH1 0x00 00001cd5: DUP4 00001cd6: ADD 00001cd7: DUP7 00001cd8: PUSH2 0x1981 00001cdb: JUMP 00001cdc: JUMPDEST 00001cdd: PUSH2 0x1ce9 00001ce0: PUSH1 0x20 00001ce2: DUP4 00001ce3: ADD 00001ce4: DUP6 00001ce5: PUSH2 0x1909 00001ce8: JUMP 00001ce9: JUMPDEST 00001cea: PUSH2 0x1cf6 00001ced: PUSH1 0x40 00001cef: DUP4 00001cf0: ADD 00001cf1: DUP5 00001cf2: PUSH2 0x1981 00001cf5: JUMP 00001cf6: JUMPDEST 00001cf7: SWAP5 00001cf8: SWAP4 00001cf9: POP 00001cfa: POP 00001cfb: POP 00001cfc: POP 00001cfd: JUMP 00001cfe: JUMPDEST 00001cff: PUSH1 0x00 00001d01: PUSH1 0x40 00001d03: DUP3 00001d04: ADD 00001d05: SWAP1 00001d06: POP 00001d07: PUSH2 0x1d13 00001d0a: PUSH1 0x00 00001d0c: DUP4 00001d0d: ADD 00001d0e: DUP6 00001d0f: PUSH2 0x1909 00001d12: JUMP 00001d13: JUMPDEST 00001d14: PUSH2 0x1d20 00001d17: PUSH1 0x20 00001d19: DUP4 00001d1a: ADD 00001d1b: DUP5 00001d1c: PUSH2 0x1909 00001d1f: JUMP 00001d20: JUMPDEST 00001d21: SWAP4 00001d22: SWAP3 00001d23: POP 00001d24: POP 00001d25: POP 00001d26: JUMP 00001d27: JUMPDEST 00001d28: PUSH1 0x00 00001d2a: DUP2 00001d2b: SWAP1 00001d2c: POP 00001d2d: SWAP3 00001d2e: SWAP2 00001d2f: POP 00001d30: POP 00001d31: JUMP 00001d32: JUMPDEST 00001d33: POP 00001d34: JUMP 00001d35: JUMPDEST 00001d36: PUSH1 0x00 00001d38: PUSH2 0x1d42 00001d3b: PUSH1 0x00 00001d3d: DUP4 00001d3e: PUSH2 0x1d27 00001d41: JUMP 00001d42: JUMPDEST 00001d43: SWAP2 00001d44: POP 00001d45: PUSH2 0x1d4d 00001d48: DUP3 00001d49: PUSH2 0x1d32 00001d4c: JUMP 00001d4d: JUMPDEST 00001d4e: PUSH1 0x00 00001d50: DUP3 00001d51: ADD 00001d52: SWAP1 00001d53: POP 00001d54: SWAP2 00001d55: SWAP1 00001d56: POP 00001d57: JUMP 00001d58: JUMPDEST 00001d59: PUSH1 0x00 00001d5b: PUSH2 0x1d63 00001d5e: DUP3 00001d5f: PUSH2 0x1d35 00001d62: JUMP 00001d63: JUMPDEST 00001d64: SWAP2 00001d65: POP 00001d66: DUP2 00001d67: SWAP1 00001d68: POP 00001d69: SWAP2 00001d6a: SWAP1 00001d6b: POP 00001d6c: JUMP 00001d6d: JUMPDEST 00001d6e: PUSH1 0x00 00001d70: PUSH1 0x60 00001d72: DUP3 00001d73: ADD 00001d74: SWAP1 00001d75: POP 00001d76: PUSH2 0x1d82 00001d79: PUSH1 0x00 00001d7b: DUP4 00001d7c: ADD 00001d7d: DUP7 00001d7e: PUSH2 0x1981 00001d81: JUMP 00001d82: JUMPDEST 00001d83: PUSH2 0x1d8f 00001d86: PUSH1 0x20 00001d88: DUP4 00001d89: ADD 00001d8a: DUP6 00001d8b: PUSH2 0x1981 00001d8e: JUMP 00001d8f: JUMPDEST 00001d90: PUSH2 0x1d9c 00001d93: PUSH1 0x40 00001d95: DUP4 00001d96: ADD 00001d97: DUP5 00001d98: PUSH2 0x1909 00001d9b: JUMP 00001d9c: JUMPDEST 00001d9d: SWAP5 00001d9e: SWAP4 00001d9f: POP 00001da0: POP 00001da1: POP 00001da2: POP 00001da3: JUMP 00001da4: JUMPDEST 00001da5: PUSH1 0x00 00001da7: PUSH1 0x40 00001da9: DUP3 00001daa: ADD 00001dab: SWAP1 00001dac: POP 00001dad: PUSH2 0x1db9 00001db0: PUSH1 0x00 00001db2: DUP4 00001db3: ADD 00001db4: DUP6 00001db5: PUSH2 0x1981 00001db8: JUMP 00001db9: JUMPDEST 00001dba: PUSH2 0x1dc6 00001dbd: PUSH1 0x20 00001dbf: DUP4 00001dc0: ADD 00001dc1: DUP5 00001dc2: PUSH2 0x1909 00001dc5: JUMP 00001dc6: JUMPDEST 00001dc7: SWAP4 00001dc8: SWAP3 00001dc9: POP 00001dca: POP 00001dcb: POP 00001dcc: JUMP 00001dcd: INVALID 00001dce: LOG2 00001dcf: PUSH5 0x6970667358 00001dd5: UNKNOWN(0x22) 00001dd6: SLT 00001dd7: KECCAK256 00001dd8: CALLER 00001dd9: UNKNOWN(0xD8) 00001dda: LOG3 00001ddb: UNKNOWN(0xE7) 00001ddc: LOG1 00001ddd: NOT 00001dde: CODECOPY 00001ddf: UNKNOWN(0xD6) 00001de0: GAS 00001de1: UNKNOWN(0xC4) 00001de2: SWAP4 00001de3: DUP6 00001de4: CALLDATALOAD 00001de5: DUP4 00001de6: UNKNOWN(0x23) 00001de7: DELEGATECALL 00001de8: BASEFEE 00001de9: UNKNOWN(0xEA) 00001dea: DUP6 00001deb: AND 00001dec: DELEGATECALL 00001ded: DIV 00001dee: COINBASE 00001def: SSTORE 00001df0: UNKNOWN(0xB6) 00001df1: UNKNOWN(0xBD) 00001df2: UNKNOWN(0x21) 00001df3: PUSH14 0xdc0c812964736f6c634300081e00 00001e02: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x55695218cf994f270e571846469a2d6035816e1b76ad3d11a93d6632292027dc
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x55695218cf994f270e571846469a2d6035816e1b76ad3d11a93d6632292027dc",
"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": "0xb1d23f02",
"selector": "0xb1d23f02",
"calldata_variants": [
"0xb1d23f02",
"0xb1d23f020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf940e385",
"selector": "0xf940e385",
"calldata_variants": [
"0xf940e385",
"0xf940e3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa09e630",
"selector": "0xfa09e630",
"calldata_variants": [
"0xfa09e630",
"0xfa09e6300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ab4a445",
"selector": "0x9ab4a445",
"calldata_variants": [
"0x9ab4a445",
"0x9ab4a4450000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7655,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 7660,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb7b9fb50cbe3ffa6c1716092b943cd0161251f7840ce26251d95e9f5b80a5443
call_targets:
0x33c1ad63ccbd322208a0dd2c9f3c3fd21cca3329
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb7b9fb50cbe3ffa6c1716092b943cd0161251f7840ce26251d95e9f5b80a5443",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33c1ad63ccbd322208a0dd2c9f3c3fd21cca3329"
],
"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": "0xb1d23f02",
"selector": "0xb1d23f02",
"calldata_variants": [
"0xb1d23f02",
"0xb1d23f020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf940e385",
"selector": "0xf940e385",
"calldata_variants": [
"0xf940e385",
"0xf940e3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa09e630",
"selector": "0xfa09e630",
"calldata_variants": [
"0xfa09e630",
"0xfa09e6300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ab4a445",
"selector": "0x9ab4a445",
"calldata_variants": [
"0x9ab4a445",
"0x9ab4a4450000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4155,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5277,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5950,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb7b9fb50cbe3ffa6c1716092b943cd0161251f7840ce26251d95e9f5b80a5443
call_targets:
0x33c1ad63ccbd322208a0dd2c9f3c3fd21cca3329
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb7b9fb50cbe3ffa6c1716092b943cd0161251f7840ce26251d95e9f5b80a5443",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33c1ad63ccbd322208a0dd2c9f3c3fd21cca3329"
],
"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": "0xb1d23f02",
"selector": "0xb1d23f02",
"calldata_variants": [
"0xb1d23f02",
"0xb1d23f020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf940e385",
"selector": "0xf940e385",
"calldata_variants": [
"0xf940e385",
"0xf940e3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa09e630",
"selector": "0xfa09e630",
"calldata_variants": [
"0xfa09e630",
"0xfa09e6300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ab4a445",
"selector": "0x9ab4a445",
"calldata_variants": [
"0x9ab4a445",
"0x9ab4a4450000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4155,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5277,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5950,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|