019b477e-af5a-7228-a809-4d9ceb9951e4
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 |
|---|---|---|---|---|
| 21767 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21768 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64758 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 64759 | capability.graph | complete | 1 / 3 | 1 week ago |
| 64760 | detector.run | complete | 1 / 3 | 1 week ago |
| 64761 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x010e 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x12d7e533 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0170 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x14614af9 0000002d: EQ 0000002e: PUSH2 0x018a 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x17f708fb 00000038: EQ 00000039: PUSH2 0x01a8 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x19f363bc 00000043: EQ 00000044: PUSH2 0x01bb 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x1fb75dbf 0000004e: EQ 0000004f: PUSH2 0x01d2 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x2b55b792 00000059: EQ 0000005a: PUSH2 0x0215 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x2d923501 00000064: EQ 00000065: PUSH2 0x0234 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x2e1a7d4d 0000006f: EQ 00000070: PUSH2 0x025f 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x54fd4d50 0000007a: EQ 0000007b: PUSH2 0x0275 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x56e28135 00000085: EQ 00000086: PUSH2 0x02ac 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x7c422f1d 00000090: EQ 00000091: PUSH2 0x02cb 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x853828b6 0000009b: EQ 0000009c: PUSH2 0x02fe 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x89fb8a48 000000a6: EQ 000000a7: PUSH2 0x0311 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x9aae82c1 000000b1: EQ 000000b2: PUSH2 0x0327 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xa9cc4718 000000bc: EQ 000000bd: PUSH2 0x0346 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xc0ee0b8a 000000c7: EQ 000000c8: PUSH2 0x0359 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xd0e30db0 000000d2: EQ 000000d3: PUSH2 0x0388 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xd3c4c4d0 000000dd: EQ 000000de: PUSH2 0x0390 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xdef86cbb 000000e8: EQ 000000e9: PUSH2 0x03ba 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xe7f4cc8c 000000f3: EQ 000000f4: PUSH2 0x03e4 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xf91c7ca3 000000fe: EQ 000000ff: PUSH2 0x040f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0xfffe58a2 00000109: EQ 0000010a: PUSH2 0x0433 0000010d: JUMPI 0000010e: JUMPDEST 0000010f: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000124: PUSH4 0x6c2802e8 00000129: PUSH1 0x00 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: PUSH1 0xe0 00000130: PUSH1 0x02 00000132: EXP 00000133: PUSH4 0xffffffff 00000138: DUP5 00000139: AND 0000013a: MUL 0000013b: DUP2 0000013c: MSTORE 0000013d: PUSH1 0x04 0000013f: DUP2 00000140: ADD 00000141: SWAP2 00000142: SWAP1 00000143: SWAP2 00000144: MSTORE 00000145: PUSH1 0x24 00000147: ADD 00000148: PUSH1 0x00 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: DUP1 0000014e: DUP4 0000014f: SUB 00000150: DUP2 00000151: DUP7 00000152: DUP1 00000153: EXTCODESIZE 00000154: ISZERO 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: GAS 00000160: DELEGATECALL 00000161: ISZERO 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: POP 0000016d: POP 0000016e: POP 0000016f: STOP 00000170: JUMPDEST 00000171: CALLVALUE 00000172: ISZERO 00000173: PUSH2 0x017b 00000176: JUMPI 00000177: PUSH1 0x00 00000179: DUP1 0000017a: REVERT 0000017b: JUMPDEST 0000017c: PUSH2 0x0188 0000017f: PUSH1 0x04 00000181: CALLDATALOAD 00000182: ISZERO 00000183: ISZERO 00000184: PUSH2 0x0451 00000187: JUMP 00000188: JUMPDEST 00000189: STOP 0000018a: JUMPDEST 0000018b: PUSH2 0x0188 0000018e: PUSH1 0x01 00000190: PUSH1 0xa0 00000192: PUSH1 0x02 00000194: EXP 00000195: SUB 00000196: PUSH1 0x04 00000198: CALLDATALOAD 00000199: DUP2 0000019a: AND 0000019b: SWAP1 0000019c: PUSH1 0x24 0000019e: CALLDATALOAD 0000019f: SWAP1 000001a0: PUSH1 0x44 000001a2: CALLDATALOAD 000001a3: AND 000001a4: PUSH2 0x04f9 000001a7: JUMP 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: ISZERO 000001ab: PUSH2 0x01b3 000001ae: JUMPI 000001af: PUSH1 0x00 000001b1: DUP1 000001b2: REVERT 000001b3: JUMPDEST 000001b4: PUSH2 0x0188 000001b7: PUSH2 0x057f 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x0188 000001bf: PUSH1 0x04 000001c1: CALLDATALOAD 000001c2: PUSH1 0x01 000001c4: PUSH1 0xa0 000001c6: PUSH1 0x02 000001c8: EXP 000001c9: SUB 000001ca: PUSH1 0x24 000001cc: CALLDATALOAD 000001cd: AND 000001ce: PUSH2 0x05e1 000001d1: JUMP 000001d2: JUMPDEST 000001d3: CALLVALUE 000001d4: ISZERO 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: PUSH2 0x0188 000001e1: PUSH1 0x04 000001e3: DUP1 000001e4: CALLDATALOAD 000001e5: PUSH1 0x01 000001e7: PUSH1 0xa0 000001e9: PUSH1 0x02 000001eb: EXP 000001ec: SUB 000001ed: AND 000001ee: SWAP1 000001ef: PUSH1 0x24 000001f1: DUP1 000001f2: CALLDATALOAD 000001f3: SWAP2 000001f4: PUSH1 0x44 000001f6: CALLDATALOAD 000001f7: DUP1 000001f8: DUP4 000001f9: ADD 000001fa: SWAP3 000001fb: SWAP1 000001fc: DUP3 000001fd: ADD 000001fe: CALLDATALOAD 000001ff: SWAP2 00000200: PUSH1 0x64 00000202: CALLDATALOAD 00000203: SWAP2 00000204: PUSH1 0x84 00000206: CALLDATALOAD 00000207: SWAP2 00000208: PUSH1 0xa4 0000020a: CALLDATALOAD 0000020b: SWAP2 0000020c: DUP3 0000020d: ADD 0000020e: SWAP2 0000020f: ADD 00000210: CALLDATALOAD 00000211: PUSH2 0x065d 00000214: JUMP 00000215: JUMPDEST 00000216: CALLVALUE 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: PUSH2 0x0188 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: PUSH1 0x02 0000022a: EXP 0000022b: SUB 0000022c: PUSH1 0x04 0000022e: CALLDATALOAD 0000022f: AND 00000230: PUSH2 0x073c 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: PUSH2 0x0188 00000243: PUSH1 0x04 00000245: DUP1 00000246: CALLDATALOAD 00000247: PUSH1 0x01 00000249: PUSH1 0xa0 0000024b: PUSH1 0x02 0000024d: EXP 0000024e: SUB 0000024f: AND 00000250: SWAP1 00000251: PUSH1 0x24 00000253: DUP1 00000254: CALLDATALOAD 00000255: SWAP1 00000256: DUP2 00000257: ADD 00000258: SWAP2 00000259: ADD 0000025a: CALLDATALOAD 0000025b: PUSH2 0x07c8 0000025e: JUMP 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: PUSH2 0x0188 0000026e: PUSH1 0x04 00000270: CALLDATALOAD 00000271: PUSH2 0x08a2 00000274: JUMP 00000275: JUMPDEST 00000276: CALLVALUE 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: PUSH2 0x0288 00000284: PUSH2 0x090b 00000287: JUMP 00000288: JUMPDEST 00000289: PUSH1 0x40 0000028b: MLOAD 0000028c: DUP1 0000028d: DUP5 0000028e: DUP2 0000028f: MSTORE 00000290: PUSH1 0x20 00000292: ADD 00000293: DUP4 00000294: DUP2 00000295: MSTORE 00000296: PUSH1 0x20 00000298: ADD 00000299: DUP3 0000029a: DUP2 0000029b: MSTORE 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: SWAP4 000002a0: POP 000002a1: POP 000002a2: POP 000002a3: POP 000002a4: PUSH1 0x40 000002a6: MLOAD 000002a7: DUP1 000002a8: SWAP2 000002a9: SUB 000002aa: SWAP1 000002ab: RETURN 000002ac: JUMPDEST 000002ad: CALLVALUE 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: PUSH2 0x0188 000002bb: PUSH1 0x01 000002bd: PUSH1 0xa0 000002bf: PUSH1 0x02 000002c1: EXP 000002c2: SUB 000002c3: PUSH1 0x04 000002c5: CALLDATALOAD 000002c6: AND 000002c7: PUSH2 0x0984 000002ca: JUMP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: PUSH2 0x0188 000002da: PUSH1 0x04 000002dc: DUP1 000002dd: CALLDATALOAD 000002de: PUSH1 0x01 000002e0: PUSH1 0xa0 000002e2: PUSH1 0x02 000002e4: EXP 000002e5: SUB 000002e6: AND 000002e7: SWAP1 000002e8: PUSH1 0x24 000002ea: DUP1 000002eb: CALLDATALOAD 000002ec: SWAP2 000002ed: PUSH1 0x44 000002ef: CALLDATALOAD 000002f0: SWAP2 000002f1: PUSH1 0x64 000002f3: CALLDATALOAD 000002f4: SWAP1 000002f5: DUP2 000002f6: ADD 000002f7: SWAP2 000002f8: ADD 000002f9: CALLDATALOAD 000002fa: PUSH2 0x09fe 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: PUSH2 0x0188 0000030d: PUSH2 0x0aac 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: ISZERO 00000314: PUSH2 0x031c 00000317: JUMPI 00000318: PUSH1 0x00 0000031a: DUP1 0000031b: REVERT 0000031c: JUMPDEST 0000031d: PUSH2 0x0188 00000320: PUSH1 0x04 00000322: CALLDATALOAD 00000323: PUSH2 0x0afc 00000326: JUMP 00000327: JUMPDEST 00000328: CALLVALUE 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: PUSH2 0x0188 00000336: PUSH1 0x01 00000338: PUSH1 0xa0 0000033a: PUSH1 0x02 0000033c: EXP 0000033d: SUB 0000033e: PUSH1 0x04 00000340: CALLDATALOAD 00000341: AND 00000342: PUSH2 0x0b52 00000345: JUMP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: ISZERO 00000349: PUSH2 0x0351 0000034c: JUMPI 0000034d: PUSH1 0x00 0000034f: DUP1 00000350: REVERT 00000351: JUMPDEST 00000352: PUSH2 0x0188 00000355: PUSH2 0x0bb1 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: PUSH2 0x0188 00000368: PUSH1 0x04 0000036a: DUP1 0000036b: CALLDATALOAD 0000036c: PUSH1 0x01 0000036e: PUSH1 0xa0 00000370: PUSH1 0x02 00000372: EXP 00000373: SUB 00000374: AND 00000375: SWAP1 00000376: PUSH1 0x24 00000378: DUP1 00000379: CALLDATALOAD 0000037a: SWAP2 0000037b: PUSH1 0x44 0000037d: CALLDATALOAD 0000037e: SWAP2 0000037f: DUP3 00000380: ADD 00000381: SWAP2 00000382: ADD 00000383: CALLDATALOAD 00000384: PUSH2 0x0c01 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH2 0x0188 0000038c: PUSH2 0x0ca5 0000038f: JUMP 00000390: JUMPDEST 00000391: CALLVALUE 00000392: ISZERO 00000393: PUSH2 0x039b 00000396: JUMPI 00000397: PUSH1 0x00 00000399: DUP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: PUSH2 0x0188 0000039f: PUSH1 0x04 000003a1: DUP1 000003a2: CALLDATALOAD 000003a3: SWAP1 000003a4: PUSH1 0x24 000003a6: DUP1 000003a7: CALLDATALOAD 000003a8: SWAP2 000003a9: PUSH1 0x44 000003ab: CALLDATALOAD 000003ac: SWAP2 000003ad: PUSH1 0x64 000003af: CALLDATALOAD 000003b0: SWAP1 000003b1: DUP2 000003b2: ADD 000003b3: SWAP2 000003b4: ADD 000003b5: CALLDATALOAD 000003b6: PUSH2 0x0cf5 000003b9: JUMP 000003ba: JUMPDEST 000003bb: CALLVALUE 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: PUSH2 0x0188 000003c9: PUSH1 0x24 000003cb: PUSH1 0x04 000003cd: DUP1 000003ce: CALLDATALOAD 000003cf: DUP3 000003d0: DUP2 000003d1: ADD 000003d2: SWAP3 000003d3: SWAP1 000003d4: DUP3 000003d5: ADD 000003d6: CALLDATALOAD 000003d7: SWAP2 000003d8: DUP2 000003d9: CALLDATALOAD 000003da: SWAP2 000003db: DUP3 000003dc: ADD 000003dd: SWAP2 000003de: ADD 000003df: CALLDATALOAD 000003e0: PUSH2 0x0d84 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: PUSH2 0x0188 000003f3: PUSH1 0x04 000003f5: DUP1 000003f6: CALLDATALOAD 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: PUSH1 0x02 000003fd: EXP 000003fe: SUB 000003ff: AND 00000400: SWAP1 00000401: PUSH1 0x24 00000403: DUP1 00000404: CALLDATALOAD 00000405: SWAP1 00000406: DUP2 00000407: ADD 00000408: SWAP2 00000409: ADD 0000040a: CALLDATALOAD 0000040b: PUSH2 0x0e1e 0000040e: JUMP 0000040f: JUMPDEST 00000410: CALLVALUE 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: PUSH2 0x0188 0000041e: PUSH1 0x01 00000420: PUSH1 0xa0 00000422: PUSH1 0x02 00000424: EXP 00000425: SUB 00000426: PUSH1 0x04 00000428: CALLDATALOAD 00000429: AND 0000042a: PUSH1 0x24 0000042c: CALLDATALOAD 0000042d: ISZERO 0000042e: ISZERO 0000042f: PUSH2 0x0ebe 00000432: JUMP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: PUSH2 0x0188 00000442: PUSH1 0x04 00000444: DUP1 00000445: CALLDATALOAD 00000446: PUSH1 0x24 00000448: DUP2 00000449: ADD 0000044a: SWAP2 0000044b: ADD 0000044c: CALLDATALOAD 0000044d: PUSH2 0x0f78 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH1 0x18 00000454: SLOAD 00000455: PUSH1 0xa0 00000457: PUSH1 0x02 00000459: EXP 0000045a: SWAP1 0000045b: DIV 0000045c: PUSH1 0xff 0000045e: AND 0000045f: ISZERO 00000460: PUSH2 0x0468 00000463: JUMPI 00000464: PUSH1 0x00 00000466: DUP1 00000467: REVERT 00000468: JUMPDEST 00000469: PUSH1 0x18 0000046b: DUP1 0000046c: SLOAD 0000046d: PUSH1 0xa0 0000046f: PUSH1 0x02 00000471: EXP 00000472: PUSH1 0xff 00000474: MUL 00000475: NOT 00000476: AND 00000477: PUSH1 0xa0 00000479: PUSH1 0x02 0000047b: EXP 0000047c: OR 0000047d: SWAP1 0000047e: SSTORE 0000047f: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000494: PUSH4 0x399d1b1a 00000499: PUSH1 0x00 0000049b: DUP4 0000049c: PUSH1 0x40 0000049e: MLOAD 0000049f: PUSH1 0xe0 000004a1: PUSH1 0x02 000004a3: EXP 000004a4: PUSH4 0xffffffff 000004a9: DUP6 000004aa: AND 000004ab: MUL 000004ac: DUP2 000004ad: MSTORE 000004ae: PUSH1 0x04 000004b0: DUP2 000004b1: ADD 000004b2: SWAP3 000004b3: SWAP1 000004b4: SWAP3 000004b5: MSTORE 000004b6: ISZERO 000004b7: ISZERO 000004b8: PUSH1 0x24 000004ba: DUP3 000004bb: ADD 000004bc: MSTORE 000004bd: PUSH1 0x44 000004bf: ADD 000004c0: PUSH1 0x00 000004c2: PUSH1 0x40 000004c4: MLOAD 000004c5: DUP1 000004c6: DUP4 000004c7: SUB 000004c8: DUP2 000004c9: DUP7 000004ca: DUP1 000004cb: EXTCODESIZE 000004cc: ISZERO 000004cd: ISZERO 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: REVERT 000004d6: JUMPDEST 000004d7: GAS 000004d8: DELEGATECALL 000004d9: ISZERO 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: POP 000004e5: POP 000004e6: PUSH1 0x18 000004e8: DUP1 000004e9: SLOAD 000004ea: PUSH1 0xa0 000004ec: PUSH1 0x02 000004ee: EXP 000004ef: PUSH1 0xff 000004f1: MUL 000004f2: NOT 000004f3: AND 000004f4: SWAP1 000004f5: SSTORE 000004f6: POP 000004f7: POP 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 0000050f: PUSH4 0x4afcba30 00000514: PUSH1 0x00 00000516: DUP6 00000517: DUP6 00000518: DUP6 00000519: PUSH1 0x40 0000051b: MLOAD 0000051c: PUSH1 0xe0 0000051e: PUSH1 0x02 00000520: EXP 00000521: PUSH4 0xffffffff 00000526: DUP8 00000527: AND 00000528: MUL 00000529: DUP2 0000052a: MSTORE 0000052b: PUSH1 0x04 0000052d: DUP2 0000052e: ADD 0000052f: SWAP5 00000530: SWAP1 00000531: SWAP5 00000532: MSTORE 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: PUSH1 0x02 00000539: EXP 0000053a: SUB 0000053b: SWAP3 0000053c: DUP4 0000053d: AND 0000053e: PUSH1 0x24 00000540: DUP6 00000541: ADD 00000542: MSTORE 00000543: PUSH1 0x44 00000545: DUP5 00000546: ADD 00000547: SWAP2 00000548: SWAP1 00000549: SWAP2 0000054a: MSTORE 0000054b: AND 0000054c: PUSH1 0x64 0000054e: DUP3 0000054f: ADD 00000550: MSTORE 00000551: PUSH1 0x84 00000553: ADD 00000554: PUSH1 0x00 00000556: PUSH1 0x40 00000558: MLOAD 00000559: DUP1 0000055a: DUP4 0000055b: SUB 0000055c: DUP2 0000055d: DUP7 0000055e: DUP1 0000055f: EXTCODESIZE 00000560: ISZERO 00000561: ISZERO 00000562: PUSH2 0x056a 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: GAS 0000056c: DELEGATECALL 0000056d: ISZERO 0000056e: ISZERO 0000056f: PUSH2 0x0577 00000572: JUMPI 00000573: PUSH1 0x00 00000575: DUP1 00000576: REVERT 00000577: JUMPDEST 00000578: POP 00000579: POP 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000595: PUSH4 0x7c6a8a68 0000059a: PUSH1 0x00 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: PUSH1 0xe0 000005a1: PUSH1 0x02 000005a3: EXP 000005a4: PUSH4 0xffffffff 000005a9: DUP5 000005aa: AND 000005ab: MUL 000005ac: DUP2 000005ad: MSTORE 000005ae: PUSH1 0x04 000005b0: DUP2 000005b1: ADD 000005b2: SWAP2 000005b3: SWAP1 000005b4: SWAP2 000005b5: MSTORE 000005b6: PUSH1 0x24 000005b8: ADD 000005b9: PUSH1 0x00 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP4 000005c0: SUB 000005c1: DUP2 000005c2: DUP7 000005c3: DUP1 000005c4: EXTCODESIZE 000005c5: ISZERO 000005c6: ISZERO 000005c7: PUSH2 0x05cf 000005ca: JUMPI 000005cb: PUSH1 0x00 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: GAS 000005d1: DELEGATECALL 000005d2: ISZERO 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: POP 000005df: POP 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 000005f7: PUSH4 0x2fb2c6d2 000005fc: PUSH1 0x00 000005fe: DUP5 000005ff: DUP5 00000600: PUSH1 0x40 00000602: MLOAD 00000603: PUSH1 0xe0 00000605: PUSH1 0x02 00000607: EXP 00000608: PUSH4 0xffffffff 0000060d: DUP7 0000060e: AND 0000060f: MUL 00000610: DUP2 00000611: MSTORE 00000612: PUSH1 0x04 00000614: DUP2 00000615: ADD 00000616: SWAP4 00000617: SWAP1 00000618: SWAP4 00000619: MSTORE 0000061a: PUSH1 0x24 0000061c: DUP4 0000061d: ADD 0000061e: SWAP2 0000061f: SWAP1 00000620: SWAP2 00000621: MSTORE 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: PUSH1 0x02 00000628: EXP 00000629: SUB 0000062a: AND 0000062b: PUSH1 0x44 0000062d: DUP3 0000062e: ADD 0000062f: MSTORE 00000630: PUSH1 0x64 00000632: ADD 00000633: PUSH1 0x00 00000635: PUSH1 0x40 00000637: MLOAD 00000638: DUP1 00000639: DUP4 0000063a: SUB 0000063b: DUP2 0000063c: DUP7 0000063d: DUP1 0000063e: EXTCODESIZE 0000063f: ISZERO 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: GAS 0000064b: DELEGATECALL 0000064c: ISZERO 0000064d: ISZERO 0000064e: PUSH2 0x0656 00000651: JUMPI 00000652: PUSH1 0x00 00000654: DUP1 00000655: REVERT 00000656: JUMPDEST 00000657: POP 00000658: POP 00000659: POP 0000065a: POP 0000065b: POP 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000673: PUSH4 0x148b9557 00000678: PUSH1 0x00 0000067a: DUP11 0000067b: DUP11 0000067c: DUP11 0000067d: DUP11 0000067e: DUP11 0000067f: DUP11 00000680: DUP11 00000681: DUP11 00000682: PUSH1 0x40 00000684: MLOAD 00000685: DUP11 00000686: PUSH4 0xffffffff 0000068b: AND 0000068c: PUSH1 0xe0 0000068e: PUSH1 0x02 00000690: EXP 00000691: MUL 00000692: DUP2 00000693: MSTORE 00000694: PUSH1 0x04 00000696: ADD 00000697: DUP1 00000698: DUP11 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x20 0000069d: ADD 0000069e: DUP10 0000069f: PUSH1 0x01 000006a1: PUSH1 0xa0 000006a3: PUSH1 0x02 000006a5: EXP 000006a6: SUB 000006a7: AND 000006a8: PUSH1 0x01 000006aa: PUSH1 0xa0 000006ac: PUSH1 0x02 000006ae: EXP 000006af: SUB 000006b0: AND 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: DUP9 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: ADD 000006bc: DUP1 000006bd: PUSH1 0x20 000006bf: ADD 000006c0: DUP7 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: DUP6 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x20 000006cb: ADD 000006cc: DUP1 000006cd: PUSH1 0x20 000006cf: ADD 000006d0: DUP4 000006d1: DUP2 000006d2: SUB 000006d3: DUP4 000006d4: MSTORE 000006d5: DUP10 000006d6: DUP10 000006d7: DUP3 000006d8: DUP2 000006d9: DUP2 000006da: MSTORE 000006db: PUSH1 0x20 000006dd: ADD 000006de: SWAP3 000006df: POP 000006e0: DUP1 000006e1: DUP3 000006e2: DUP5 000006e3: CALLDATACOPY 000006e4: SWAP1 000006e5: SWAP2 000006e6: ADD 000006e7: DUP5 000006e8: DUP2 000006e9: SUB 000006ea: DUP4 000006eb: MSTORE 000006ec: DUP6 000006ed: DUP2 000006ee: MSTORE 000006ef: PUSH1 0x20 000006f1: ADD 000006f2: SWAP1 000006f3: POP 000006f4: DUP6 000006f5: DUP6 000006f6: DUP1 000006f7: DUP3 000006f8: DUP5 000006f9: CALLDATACOPY 000006fa: DUP3 000006fb: ADD 000006fc: SWAP2 000006fd: POP 000006fe: POP 000006ff: SWAP12 00000700: POP 00000701: POP 00000702: POP 00000703: POP 00000704: POP 00000705: POP 00000706: POP 00000707: POP 00000708: POP 00000709: POP 0000070a: POP 0000070b: POP 0000070c: PUSH1 0x00 0000070e: PUSH1 0x40 00000710: MLOAD 00000711: DUP1 00000712: DUP4 00000713: SUB 00000714: DUP2 00000715: DUP7 00000716: DUP1 00000717: EXTCODESIZE 00000718: ISZERO 00000719: ISZERO 0000071a: PUSH2 0x0722 0000071d: JUMPI 0000071e: PUSH1 0x00 00000720: DUP1 00000721: REVERT 00000722: JUMPDEST 00000723: GAS 00000724: DELEGATECALL 00000725: ISZERO 00000726: ISZERO 00000727: PUSH2 0x072f 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: REVERT 0000072f: JUMPDEST 00000730: POP 00000731: POP 00000732: POP 00000733: POP 00000734: POP 00000735: POP 00000736: POP 00000737: POP 00000738: POP 00000739: POP 0000073a: POP 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x18 0000073f: SLOAD 00000740: PUSH1 0xa0 00000742: PUSH1 0x02 00000744: EXP 00000745: SWAP1 00000746: DIV 00000747: PUSH1 0xff 00000749: AND 0000074a: ISZERO 0000074b: PUSH2 0x0753 0000074e: JUMPI 0000074f: PUSH1 0x00 00000751: DUP1 00000752: REVERT 00000753: JUMPDEST 00000754: PUSH1 0x18 00000756: DUP1 00000757: SLOAD 00000758: PUSH1 0xa0 0000075a: PUSH1 0x02 0000075c: EXP 0000075d: PUSH1 0xff 0000075f: MUL 00000760: NOT 00000761: AND 00000762: PUSH1 0xa0 00000764: PUSH1 0x02 00000766: EXP 00000767: OR 00000768: SWAP1 00000769: SSTORE 0000076a: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 0000077f: PUSH4 0x80b8871c 00000784: PUSH1 0x00 00000786: DUP4 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: PUSH1 0xe0 0000078c: PUSH1 0x02 0000078e: EXP 0000078f: PUSH4 0xffffffff 00000794: DUP6 00000795: AND 00000796: MUL 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x04 0000079b: DUP2 0000079c: ADD 0000079d: SWAP3 0000079e: SWAP1 0000079f: SWAP3 000007a0: MSTORE 000007a1: PUSH1 0x01 000007a3: PUSH1 0xa0 000007a5: PUSH1 0x02 000007a7: EXP 000007a8: SUB 000007a9: AND 000007aa: PUSH1 0x24 000007ac: DUP3 000007ad: ADD 000007ae: MSTORE 000007af: PUSH1 0x44 000007b1: ADD 000007b2: PUSH1 0x00 000007b4: PUSH1 0x40 000007b6: MLOAD 000007b7: DUP1 000007b8: DUP4 000007b9: SUB 000007ba: DUP2 000007bb: DUP7 000007bc: DUP1 000007bd: EXTCODESIZE 000007be: ISZERO 000007bf: ISZERO 000007c0: PUSH2 0x04d6 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: REVERT 000007c8: JUMPDEST 000007c9: PUSH1 0x18 000007cb: SLOAD 000007cc: PUSH1 0xa0 000007ce: PUSH1 0x02 000007d0: EXP 000007d1: SWAP1 000007d2: DIV 000007d3: PUSH1 0xff 000007d5: AND 000007d6: ISZERO 000007d7: PUSH2 0x07df 000007da: JUMPI 000007db: PUSH1 0x00 000007dd: DUP1 000007de: REVERT 000007df: JUMPDEST 000007e0: PUSH1 0x18 000007e2: DUP1 000007e3: SLOAD 000007e4: PUSH1 0xa0 000007e6: PUSH1 0x02 000007e8: EXP 000007e9: PUSH1 0xff 000007eb: MUL 000007ec: NOT 000007ed: AND 000007ee: PUSH1 0xa0 000007f0: PUSH1 0x02 000007f2: EXP 000007f3: OR 000007f4: SWAP1 000007f5: SSTORE 000007f6: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 0000080b: PUSH4 0x392a4fa2 00000810: PUSH1 0x00 00000812: DUP6 00000813: DUP6 00000814: DUP6 00000815: PUSH1 0x40 00000817: MLOAD 00000818: PUSH1 0xe0 0000081a: PUSH1 0x02 0000081c: EXP 0000081d: PUSH4 0xffffffff 00000822: DUP8 00000823: AND 00000824: MUL 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x04 00000829: DUP2 0000082a: ADD 0000082b: DUP6 0000082c: DUP2 0000082d: MSTORE 0000082e: PUSH1 0x01 00000830: PUSH1 0xa0 00000832: PUSH1 0x02 00000834: EXP 00000835: SUB 00000836: DUP6 00000837: AND 00000838: PUSH1 0x24 0000083a: DUP4 0000083b: ADD 0000083c: MSTORE 0000083d: PUSH1 0x60 0000083f: PUSH1 0x44 00000841: DUP4 00000842: ADD 00000843: SWAP1 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x64 00000848: DUP4 00000849: ADD 0000084a: DUP5 0000084b: SWAP1 0000084c: MSTORE 0000084d: SWAP1 0000084e: SWAP2 0000084f: PUSH1 0x84 00000851: ADD 00000852: DUP5 00000853: PUSH1 0x20 00000855: DUP6 00000856: MUL 00000857: DUP1 00000858: DUP3 00000859: DUP5 0000085a: CALLDATACOPY 0000085b: DUP3 0000085c: ADD 0000085d: SWAP2 0000085e: POP 0000085f: POP 00000860: SWAP6 00000861: POP 00000862: POP 00000863: POP 00000864: POP 00000865: POP 00000866: POP 00000867: PUSH1 0x00 00000869: PUSH1 0x40 0000086b: MLOAD 0000086c: DUP1 0000086d: DUP4 0000086e: SUB 0000086f: DUP2 00000870: DUP7 00000871: DUP1 00000872: EXTCODESIZE 00000873: ISZERO 00000874: ISZERO 00000875: PUSH2 0x087d 00000878: JUMPI 00000879: PUSH1 0x00 0000087b: DUP1 0000087c: REVERT 0000087d: JUMPDEST 0000087e: GAS 0000087f: DELEGATECALL 00000880: ISZERO 00000881: ISZERO 00000882: PUSH2 0x088a 00000885: JUMPI 00000886: PUSH1 0x00 00000888: DUP1 00000889: REVERT 0000088a: JUMPDEST 0000088b: POP 0000088c: POP 0000088d: PUSH1 0x18 0000088f: DUP1 00000890: SLOAD 00000891: PUSH1 0xa0 00000893: PUSH1 0x02 00000895: EXP 00000896: PUSH1 0xff 00000898: MUL 00000899: NOT 0000089a: AND 0000089b: SWAP1 0000089c: SSTORE 0000089d: POP 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 000008b8: PUSH4 0xf522fc1b 000008bd: PUSH1 0x00 000008bf: DUP4 000008c0: PUSH1 0x40 000008c2: MLOAD 000008c3: PUSH1 0xe0 000008c5: PUSH1 0x02 000008c7: EXP 000008c8: PUSH4 0xffffffff 000008cd: DUP6 000008ce: AND 000008cf: MUL 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x04 000008d4: DUP2 000008d5: ADD 000008d6: SWAP3 000008d7: SWAP1 000008d8: SWAP3 000008d9: MSTORE 000008da: PUSH1 0x24 000008dc: DUP3 000008dd: ADD 000008de: MSTORE 000008df: PUSH1 0x44 000008e1: ADD 000008e2: PUSH1 0x00 000008e4: PUSH1 0x40 000008e6: MLOAD 000008e7: DUP1 000008e8: DUP4 000008e9: SUB 000008ea: DUP2 000008eb: DUP7 000008ec: DUP1 000008ed: EXTCODESIZE 000008ee: ISZERO 000008ef: ISZERO 000008f0: PUSH2 0x08f8 000008f3: JUMPI 000008f4: PUSH1 0x00 000008f6: DUP1 000008f7: REVERT 000008f8: JUMPDEST 000008f9: GAS 000008fa: DELEGATECALL 000008fb: ISZERO 000008fc: ISZERO 000008fd: PUSH2 0x0905 00000900: JUMPI 00000901: PUSH1 0x00 00000903: DUP1 00000904: REVERT 00000905: JUMPDEST 00000906: POP 00000907: POP 00000908: POP 00000909: POP 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH1 0x00 0000090e: DUP1 0000090f: PUSH1 0x00 00000911: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000926: PUSH4 0x54fd4d50 0000092b: PUSH1 0x40 0000092d: MLOAD 0000092e: DUP2 0000092f: PUSH4 0xffffffff 00000934: AND 00000935: PUSH1 0xe0 00000937: PUSH1 0x02 00000939: EXP 0000093a: MUL 0000093b: DUP2 0000093c: MSTORE 0000093d: PUSH1 0x04 0000093f: ADD 00000940: PUSH1 0x60 00000942: PUSH1 0x40 00000944: MLOAD 00000945: DUP1 00000946: DUP4 00000947: SUB 00000948: DUP2 00000949: DUP7 0000094a: DUP1 0000094b: EXTCODESIZE 0000094c: ISZERO 0000094d: ISZERO 0000094e: PUSH2 0x0956 00000951: JUMPI 00000952: PUSH1 0x00 00000954: DUP1 00000955: REVERT 00000956: JUMPDEST 00000957: GAS 00000958: DELEGATECALL 00000959: ISZERO 0000095a: ISZERO 0000095b: PUSH2 0x0963 0000095e: JUMPI 0000095f: PUSH1 0x00 00000961: DUP1 00000962: REVERT 00000963: JUMPDEST 00000964: POP 00000965: POP 00000966: POP 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: DUP1 0000096b: MLOAD 0000096c: SWAP1 0000096d: PUSH1 0x20 0000096f: ADD 00000970: DUP1 00000971: MLOAD 00000972: SWAP1 00000973: PUSH1 0x20 00000975: ADD 00000976: DUP1 00000977: MLOAD 00000978: SWAP1 00000979: POP 0000097a: SWAP3 0000097b: POP 0000097c: SWAP3 0000097d: POP 0000097e: SWAP3 0000097f: POP 00000980: SWAP1 00000981: SWAP2 00000982: SWAP3 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH1 0x18 00000987: SLOAD 00000988: CALLER 00000989: PUSH1 0x01 0000098b: PUSH1 0xa0 0000098d: PUSH1 0x02 0000098f: EXP 00000990: SUB 00000991: SWAP1 00000992: DUP2 00000993: AND 00000994: SWAP2 00000995: AND 00000996: EQ 00000997: PUSH2 0x099f 0000099a: JUMPI 0000099b: PUSH1 0x00 0000099d: DUP1 0000099e: REVERT 0000099f: JUMPDEST 000009a0: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 000009b5: PUSH4 0xa3fee64b 000009ba: PUSH1 0x00 000009bc: DUP4 000009bd: PUSH1 0x40 000009bf: MLOAD 000009c0: PUSH1 0xe0 000009c2: PUSH1 0x02 000009c4: EXP 000009c5: PUSH4 0xffffffff 000009ca: DUP6 000009cb: AND 000009cc: MUL 000009cd: DUP2 000009ce: MSTORE 000009cf: PUSH1 0x04 000009d1: DUP2 000009d2: ADD 000009d3: SWAP3 000009d4: SWAP1 000009d5: SWAP3 000009d6: MSTORE 000009d7: PUSH1 0x01 000009d9: PUSH1 0xa0 000009db: PUSH1 0x02 000009dd: EXP 000009de: SUB 000009df: AND 000009e0: PUSH1 0x24 000009e2: DUP3 000009e3: ADD 000009e4: MSTORE 000009e5: PUSH1 0x44 000009e7: ADD 000009e8: PUSH1 0x00 000009ea: PUSH1 0x40 000009ec: MLOAD 000009ed: DUP1 000009ee: DUP4 000009ef: SUB 000009f0: DUP2 000009f1: DUP7 000009f2: DUP1 000009f3: EXTCODESIZE 000009f4: ISZERO 000009f5: ISZERO 000009f6: PUSH2 0x08f8 000009f9: JUMPI 000009fa: PUSH1 0x00 000009fc: DUP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000a14: PUSH4 0xb261039b 00000a19: PUSH1 0x00 00000a1b: DUP8 00000a1c: DUP8 00000a1d: DUP8 00000a1e: DUP8 00000a1f: DUP8 00000a20: PUSH1 0x40 00000a22: MLOAD 00000a23: PUSH1 0xe0 00000a25: PUSH1 0x02 00000a27: EXP 00000a28: PUSH4 0xffffffff 00000a2d: DUP10 00000a2e: AND 00000a2f: MUL 00000a30: DUP2 00000a31: MSTORE 00000a32: PUSH1 0x04 00000a34: DUP2 00000a35: ADD 00000a36: DUP8 00000a37: DUP2 00000a38: MSTORE 00000a39: PUSH1 0x01 00000a3b: PUSH1 0xa0 00000a3d: PUSH1 0x02 00000a3f: EXP 00000a40: SUB 00000a41: DUP8 00000a42: AND 00000a43: PUSH1 0x24 00000a45: DUP4 00000a46: ADD 00000a47: MSTORE 00000a48: PUSH1 0x44 00000a4a: DUP3 00000a4b: ADD 00000a4c: DUP7 00000a4d: SWAP1 00000a4e: MSTORE 00000a4f: PUSH1 0x64 00000a51: DUP3 00000a52: ADD 00000a53: DUP6 00000a54: SWAP1 00000a55: MSTORE 00000a56: PUSH1 0xa0 00000a58: PUSH1 0x84 00000a5a: DUP4 00000a5b: ADD 00000a5c: SWAP1 00000a5d: DUP2 00000a5e: MSTORE 00000a5f: PUSH1 0xa4 00000a61: DUP4 00000a62: ADD 00000a63: DUP5 00000a64: SWAP1 00000a65: MSTORE 00000a66: SWAP1 00000a67: SWAP2 00000a68: PUSH1 0xc4 00000a6a: ADD 00000a6b: DUP5 00000a6c: DUP5 00000a6d: DUP1 00000a6e: DUP3 00000a6f: DUP5 00000a70: CALLDATACOPY 00000a71: DUP3 00000a72: ADD 00000a73: SWAP2 00000a74: POP 00000a75: POP 00000a76: SWAP8 00000a77: POP 00000a78: POP 00000a79: POP 00000a7a: POP 00000a7b: POP 00000a7c: POP 00000a7d: POP 00000a7e: POP 00000a7f: PUSH1 0x00 00000a81: PUSH1 0x40 00000a83: MLOAD 00000a84: DUP1 00000a85: DUP4 00000a86: SUB 00000a87: DUP2 00000a88: DUP7 00000a89: DUP1 00000a8a: EXTCODESIZE 00000a8b: ISZERO 00000a8c: ISZERO 00000a8d: PUSH2 0x0a95 00000a90: JUMPI 00000a91: PUSH1 0x00 00000a93: DUP1 00000a94: REVERT 00000a95: JUMPDEST 00000a96: GAS 00000a97: DELEGATECALL 00000a98: ISZERO 00000a99: ISZERO 00000a9a: PUSH2 0x0aa2 00000a9d: JUMPI 00000a9e: PUSH1 0x00 00000aa0: DUP1 00000aa1: REVERT 00000aa2: JUMPDEST 00000aa3: POP 00000aa4: POP 00000aa5: POP 00000aa6: POP 00000aa7: POP 00000aa8: POP 00000aa9: POP 00000aaa: POP 00000aab: JUMP 00000aac: JUMPDEST 00000aad: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000ac2: PUSH4 0xf64e7cda 00000ac7: PUSH1 0x00 00000ac9: PUSH1 0x40 00000acb: MLOAD 00000acc: PUSH1 0xe0 00000ace: PUSH1 0x02 00000ad0: EXP 00000ad1: PUSH4 0xffffffff 00000ad6: DUP5 00000ad7: AND 00000ad8: MUL 00000ad9: DUP2 00000ada: MSTORE 00000adb: PUSH1 0x04 00000add: DUP2 00000ade: ADD 00000adf: SWAP2 00000ae0: SWAP1 00000ae1: SWAP2 00000ae2: MSTORE 00000ae3: PUSH1 0x24 00000ae5: ADD 00000ae6: PUSH1 0x00 00000ae8: PUSH1 0x40 00000aea: MLOAD 00000aeb: DUP1 00000aec: DUP4 00000aed: SUB 00000aee: DUP2 00000aef: DUP7 00000af0: DUP1 00000af1: EXTCODESIZE 00000af2: ISZERO 00000af3: ISZERO 00000af4: PUSH2 0x05cf 00000af7: JUMPI 00000af8: PUSH1 0x00 00000afa: DUP1 00000afb: REVERT 00000afc: JUMPDEST 00000afd: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000b12: PUSH4 0x68540b6b 00000b17: PUSH1 0x00 00000b19: DUP4 00000b1a: PUSH1 0x40 00000b1c: MLOAD 00000b1d: PUSH1 0xe0 00000b1f: PUSH1 0x02 00000b21: EXP 00000b22: PUSH4 0xffffffff 00000b27: DUP6 00000b28: AND 00000b29: MUL 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x04 00000b2e: DUP2 00000b2f: ADD 00000b30: SWAP3 00000b31: SWAP1 00000b32: SWAP3 00000b33: MSTORE 00000b34: PUSH1 0x24 00000b36: DUP3 00000b37: ADD 00000b38: MSTORE 00000b39: PUSH1 0x44 00000b3b: ADD 00000b3c: PUSH1 0x00 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: DUP1 00000b42: DUP4 00000b43: SUB 00000b44: DUP2 00000b45: DUP7 00000b46: DUP1 00000b47: EXTCODESIZE 00000b48: ISZERO 00000b49: ISZERO 00000b4a: PUSH2 0x08f8 00000b4d: JUMPI 00000b4e: PUSH1 0x00 00000b50: DUP1 00000b51: REVERT 00000b52: JUMPDEST 00000b53: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000b68: PUSH4 0xc27d2d45 00000b6d: PUSH1 0x00 00000b6f: DUP4 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: PUSH1 0xe0 00000b75: PUSH1 0x02 00000b77: EXP 00000b78: PUSH4 0xffffffff 00000b7d: DUP6 00000b7e: AND 00000b7f: MUL 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x04 00000b84: DUP2 00000b85: ADD 00000b86: SWAP3 00000b87: SWAP1 00000b88: SWAP3 00000b89: MSTORE 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0xa0 00000b8e: PUSH1 0x02 00000b90: EXP 00000b91: SUB 00000b92: AND 00000b93: PUSH1 0x24 00000b95: DUP3 00000b96: ADD 00000b97: MSTORE 00000b98: PUSH1 0x44 00000b9a: ADD 00000b9b: PUSH1 0x00 00000b9d: PUSH1 0x40 00000b9f: MLOAD 00000ba0: DUP1 00000ba1: DUP4 00000ba2: SUB 00000ba3: DUP2 00000ba4: DUP7 00000ba5: DUP1 00000ba6: EXTCODESIZE 00000ba7: ISZERO 00000ba8: ISZERO 00000ba9: PUSH2 0x08f8 00000bac: JUMPI 00000bad: PUSH1 0x00 00000baf: DUP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000bc7: PUSH4 0x62cea5b9 00000bcc: PUSH1 0x00 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: PUSH1 0xe0 00000bd3: PUSH1 0x02 00000bd5: EXP 00000bd6: PUSH4 0xffffffff 00000bdb: DUP5 00000bdc: AND 00000bdd: MUL 00000bde: DUP2 00000bdf: MSTORE 00000be0: PUSH1 0x04 00000be2: DUP2 00000be3: ADD 00000be4: SWAP2 00000be5: SWAP1 00000be6: SWAP2 00000be7: MSTORE 00000be8: PUSH1 0x24 00000bea: ADD 00000beb: PUSH1 0x00 00000bed: PUSH1 0x40 00000bef: MLOAD 00000bf0: DUP1 00000bf1: DUP4 00000bf2: SUB 00000bf3: DUP2 00000bf4: DUP7 00000bf5: DUP1 00000bf6: EXTCODESIZE 00000bf7: ISZERO 00000bf8: ISZERO 00000bf9: PUSH2 0x05cf 00000bfc: JUMPI 00000bfd: PUSH1 0x00 00000bff: DUP1 00000c00: REVERT 00000c01: JUMPDEST 00000c02: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000c17: PUSH4 0xdde9806b 00000c1c: PUSH1 0x00 00000c1e: DUP7 00000c1f: DUP7 00000c20: DUP7 00000c21: DUP7 00000c22: PUSH1 0x40 00000c24: MLOAD 00000c25: PUSH1 0xe0 00000c27: PUSH1 0x02 00000c29: EXP 00000c2a: PUSH4 0xffffffff 00000c2f: DUP9 00000c30: AND 00000c31: MUL 00000c32: DUP2 00000c33: MSTORE 00000c34: PUSH1 0x04 00000c36: DUP2 00000c37: ADD 00000c38: DUP7 00000c39: DUP2 00000c3a: MSTORE 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0xa0 00000c3f: PUSH1 0x02 00000c41: EXP 00000c42: SUB 00000c43: DUP7 00000c44: AND 00000c45: PUSH1 0x24 00000c47: DUP4 00000c48: ADD 00000c49: MSTORE 00000c4a: PUSH1 0x44 00000c4c: DUP3 00000c4d: ADD 00000c4e: DUP6 00000c4f: SWAP1 00000c50: MSTORE 00000c51: PUSH1 0x80 00000c53: PUSH1 0x64 00000c55: DUP4 00000c56: ADD 00000c57: SWAP1 00000c58: DUP2 00000c59: MSTORE 00000c5a: PUSH1 0x84 00000c5c: DUP4 00000c5d: ADD 00000c5e: DUP5 00000c5f: SWAP1 00000c60: MSTORE 00000c61: SWAP1 00000c62: SWAP2 00000c63: PUSH1 0xa4 00000c65: ADD 00000c66: DUP5 00000c67: DUP5 00000c68: DUP1 00000c69: DUP3 00000c6a: DUP5 00000c6b: CALLDATACOPY 00000c6c: DUP3 00000c6d: ADD 00000c6e: SWAP2 00000c6f: POP 00000c70: POP 00000c71: SWAP7 00000c72: POP 00000c73: POP 00000c74: POP 00000c75: POP 00000c76: POP 00000c77: POP 00000c78: POP 00000c79: PUSH1 0x00 00000c7b: PUSH1 0x40 00000c7d: MLOAD 00000c7e: DUP1 00000c7f: DUP4 00000c80: SUB 00000c81: DUP2 00000c82: DUP7 00000c83: DUP1 00000c84: EXTCODESIZE 00000c85: ISZERO 00000c86: ISZERO 00000c87: PUSH2 0x0c8f 00000c8a: JUMPI 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: REVERT 00000c8f: JUMPDEST 00000c90: GAS 00000c91: DELEGATECALL 00000c92: ISZERO 00000c93: ISZERO 00000c94: PUSH2 0x0c9c 00000c97: JUMPI 00000c98: PUSH1 0x00 00000c9a: DUP1 00000c9b: REVERT 00000c9c: JUMPDEST 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: POP 00000ca1: POP 00000ca2: POP 00000ca3: POP 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000cbb: PUSH4 0xcc135813 00000cc0: PUSH1 0x00 00000cc2: PUSH1 0x40 00000cc4: MLOAD 00000cc5: PUSH1 0xe0 00000cc7: PUSH1 0x02 00000cc9: EXP 00000cca: PUSH4 0xffffffff 00000ccf: DUP5 00000cd0: AND 00000cd1: MUL 00000cd2: DUP2 00000cd3: MSTORE 00000cd4: PUSH1 0x04 00000cd6: DUP2 00000cd7: ADD 00000cd8: SWAP2 00000cd9: SWAP1 00000cda: SWAP2 00000cdb: MSTORE 00000cdc: PUSH1 0x24 00000cde: ADD 00000cdf: PUSH1 0x00 00000ce1: PUSH1 0x40 00000ce3: MLOAD 00000ce4: DUP1 00000ce5: DUP4 00000ce6: SUB 00000ce7: DUP2 00000ce8: DUP7 00000ce9: DUP1 00000cea: EXTCODESIZE 00000ceb: ISZERO 00000cec: ISZERO 00000ced: PUSH2 0x05cf 00000cf0: JUMPI 00000cf1: PUSH1 0x00 00000cf3: DUP1 00000cf4: REVERT 00000cf5: JUMPDEST 00000cf6: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000d0b: PUSH4 0x2006b39d 00000d10: PUSH1 0x00 00000d12: DUP8 00000d13: DUP8 00000d14: DUP8 00000d15: DUP8 00000d16: DUP8 00000d17: PUSH1 0x40 00000d19: MLOAD 00000d1a: DUP8 00000d1b: PUSH4 0xffffffff 00000d20: AND 00000d21: PUSH1 0xe0 00000d23: PUSH1 0x02 00000d25: EXP 00000d26: MUL 00000d27: DUP2 00000d28: MSTORE 00000d29: PUSH1 0x04 00000d2b: ADD 00000d2c: DUP1 00000d2d: DUP8 00000d2e: DUP2 00000d2f: MSTORE 00000d30: PUSH1 0x20 00000d32: ADD 00000d33: DUP7 00000d34: DUP2 00000d35: MSTORE 00000d36: PUSH1 0x20 00000d38: ADD 00000d39: DUP6 00000d3a: DUP2 00000d3b: MSTORE 00000d3c: PUSH1 0x20 00000d3e: ADD 00000d3f: DUP5 00000d40: DUP2 00000d41: MSTORE 00000d42: PUSH1 0x20 00000d44: ADD 00000d45: DUP1 00000d46: PUSH1 0x20 00000d48: ADD 00000d49: DUP3 00000d4a: DUP2 00000d4b: SUB 00000d4c: DUP3 00000d4d: MSTORE 00000d4e: DUP5 00000d4f: DUP5 00000d50: DUP3 00000d51: DUP2 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x20 00000d56: ADD 00000d57: SWAP3 00000d58: POP 00000d59: PUSH1 0x20 00000d5b: MUL 00000d5c: DUP1 00000d5d: DUP3 00000d5e: DUP5 00000d5f: CALLDATACOPY 00000d60: DUP3 00000d61: ADD 00000d62: SWAP2 00000d63: POP 00000d64: POP 00000d65: SWAP8 00000d66: POP 00000d67: POP 00000d68: POP 00000d69: POP 00000d6a: POP 00000d6b: POP 00000d6c: POP 00000d6d: POP 00000d6e: PUSH1 0x00 00000d70: PUSH1 0x40 00000d72: MLOAD 00000d73: DUP1 00000d74: DUP4 00000d75: SUB 00000d76: DUP2 00000d77: DUP7 00000d78: DUP1 00000d79: EXTCODESIZE 00000d7a: ISZERO 00000d7b: ISZERO 00000d7c: PUSH2 0x0a95 00000d7f: JUMPI 00000d80: PUSH1 0x00 00000d82: DUP1 00000d83: REVERT 00000d84: JUMPDEST 00000d85: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000d9a: PUSH4 0x536b7ad5 00000d9f: PUSH1 0x00 00000da1: DUP7 00000da2: DUP7 00000da3: DUP7 00000da4: DUP7 00000da5: PUSH1 0x40 00000da7: MLOAD 00000da8: DUP7 00000da9: PUSH4 0xffffffff 00000dae: AND 00000daf: PUSH1 0xe0 00000db1: PUSH1 0x02 00000db3: EXP 00000db4: MUL 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x04 00000db9: ADD 00000dba: DUP1 00000dbb: DUP7 00000dbc: DUP2 00000dbd: MSTORE 00000dbe: PUSH1 0x20 00000dc0: ADD 00000dc1: DUP1 00000dc2: PUSH1 0x20 00000dc4: ADD 00000dc5: DUP1 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: DUP4 00000dca: DUP2 00000dcb: SUB 00000dcc: DUP4 00000dcd: MSTORE 00000dce: DUP8 00000dcf: DUP8 00000dd0: DUP3 00000dd1: DUP2 00000dd2: DUP2 00000dd3: MSTORE 00000dd4: PUSH1 0x20 00000dd6: ADD 00000dd7: SWAP3 00000dd8: POP 00000dd9: PUSH1 0x20 00000ddb: MUL 00000ddc: DUP1 00000ddd: DUP3 00000dde: DUP5 00000ddf: CALLDATACOPY 00000de0: SWAP1 00000de1: SWAP2 00000de2: ADD 00000de3: DUP5 00000de4: DUP2 00000de5: SUB 00000de6: DUP4 00000de7: MSTORE 00000de8: DUP6 00000de9: DUP2 00000dea: MSTORE 00000deb: PUSH1 0x20 00000ded: SWAP1 00000dee: DUP2 00000def: ADD 00000df0: SWAP2 00000df1: POP 00000df2: DUP7 00000df3: SWAP1 00000df4: DUP7 00000df5: MUL 00000df6: DUP1 00000df7: DUP3 00000df8: DUP5 00000df9: CALLDATACOPY 00000dfa: DUP3 00000dfb: ADD 00000dfc: SWAP2 00000dfd: POP 00000dfe: POP 00000dff: SWAP8 00000e00: POP 00000e01: POP 00000e02: POP 00000e03: POP 00000e04: POP 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: PUSH1 0x00 00000e0a: PUSH1 0x40 00000e0c: MLOAD 00000e0d: DUP1 00000e0e: DUP4 00000e0f: SUB 00000e10: DUP2 00000e11: DUP7 00000e12: DUP1 00000e13: EXTCODESIZE 00000e14: ISZERO 00000e15: ISZERO 00000e16: PUSH2 0x0c8f 00000e19: JUMPI 00000e1a: PUSH1 0x00 00000e1c: DUP1 00000e1d: REVERT 00000e1e: JUMPDEST 00000e1f: PUSH1 0x18 00000e21: SLOAD 00000e22: CALLER 00000e23: PUSH1 0x01 00000e25: PUSH1 0xa0 00000e27: PUSH1 0x02 00000e29: EXP 00000e2a: SUB 00000e2b: SWAP1 00000e2c: DUP2 00000e2d: AND 00000e2e: SWAP2 00000e2f: AND 00000e30: EQ 00000e31: PUSH2 0x0e39 00000e34: JUMPI 00000e35: PUSH1 0x00 00000e37: DUP1 00000e38: REVERT 00000e39: JUMPDEST 00000e3a: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000e4f: PUSH4 0xd2ae7e0b 00000e54: PUSH1 0x00 00000e56: DUP6 00000e57: DUP6 00000e58: DUP6 00000e59: PUSH1 0x40 00000e5b: MLOAD 00000e5c: PUSH1 0xe0 00000e5e: PUSH1 0x02 00000e60: EXP 00000e61: PUSH4 0xffffffff 00000e66: DUP8 00000e67: AND 00000e68: MUL 00000e69: DUP2 00000e6a: MSTORE 00000e6b: PUSH1 0x04 00000e6d: DUP2 00000e6e: ADD 00000e6f: DUP6 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH1 0x01 00000e74: PUSH1 0xa0 00000e76: PUSH1 0x02 00000e78: EXP 00000e79: SUB 00000e7a: DUP6 00000e7b: AND 00000e7c: PUSH1 0x24 00000e7e: DUP4 00000e7f: ADD 00000e80: MSTORE 00000e81: PUSH1 0x60 00000e83: PUSH1 0x44 00000e85: DUP4 00000e86: ADD 00000e87: SWAP1 00000e88: DUP2 00000e89: MSTORE 00000e8a: PUSH1 0x64 00000e8c: DUP4 00000e8d: ADD 00000e8e: DUP5 00000e8f: SWAP1 00000e90: MSTORE 00000e91: SWAP1 00000e92: SWAP2 00000e93: PUSH1 0x84 00000e95: ADD 00000e96: DUP5 00000e97: DUP5 00000e98: DUP1 00000e99: DUP3 00000e9a: DUP5 00000e9b: CALLDATACOPY 00000e9c: DUP3 00000e9d: ADD 00000e9e: SWAP2 00000e9f: POP 00000ea0: POP 00000ea1: SWAP6 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: POP 00000ea6: POP 00000ea7: POP 00000ea8: PUSH1 0x00 00000eaa: PUSH1 0x40 00000eac: MLOAD 00000ead: DUP1 00000eae: DUP4 00000eaf: SUB 00000eb0: DUP2 00000eb1: DUP7 00000eb2: DUP1 00000eb3: EXTCODESIZE 00000eb4: ISZERO 00000eb5: ISZERO 00000eb6: PUSH2 0x056a 00000eb9: JUMPI 00000eba: PUSH1 0x00 00000ebc: DUP1 00000ebd: REVERT 00000ebe: JUMPDEST 00000ebf: PUSH1 0x18 00000ec1: SLOAD 00000ec2: PUSH1 0xa0 00000ec4: PUSH1 0x02 00000ec6: EXP 00000ec7: SWAP1 00000ec8: DIV 00000ec9: PUSH1 0xff 00000ecb: AND 00000ecc: ISZERO 00000ecd: PUSH2 0x0ed5 00000ed0: JUMPI 00000ed1: PUSH1 0x00 00000ed3: DUP1 00000ed4: REVERT 00000ed5: JUMPDEST 00000ed6: PUSH1 0x18 00000ed8: DUP1 00000ed9: SLOAD 00000eda: PUSH1 0xa0 00000edc: PUSH1 0x02 00000ede: EXP 00000edf: PUSH1 0xff 00000ee1: MUL 00000ee2: NOT 00000ee3: AND 00000ee4: PUSH1 0xa0 00000ee6: PUSH1 0x02 00000ee8: EXP 00000ee9: OR 00000eea: SWAP1 00000eeb: SSTORE 00000eec: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000f01: PUSH4 0x663eb994 00000f06: PUSH1 0x00 00000f08: DUP5 00000f09: DUP5 00000f0a: PUSH1 0x40 00000f0c: MLOAD 00000f0d: PUSH1 0xe0 00000f0f: PUSH1 0x02 00000f11: EXP 00000f12: PUSH4 0xffffffff 00000f17: DUP7 00000f18: AND 00000f19: MUL 00000f1a: DUP2 00000f1b: MSTORE 00000f1c: PUSH1 0x04 00000f1e: DUP2 00000f1f: ADD 00000f20: SWAP4 00000f21: SWAP1 00000f22: SWAP4 00000f23: MSTORE 00000f24: PUSH1 0x01 00000f26: PUSH1 0xa0 00000f28: PUSH1 0x02 00000f2a: EXP 00000f2b: SUB 00000f2c: SWAP1 00000f2d: SWAP2 00000f2e: AND 00000f2f: PUSH1 0x24 00000f31: DUP4 00000f32: ADD 00000f33: MSTORE 00000f34: ISZERO 00000f35: ISZERO 00000f36: PUSH1 0x44 00000f38: DUP3 00000f39: ADD 00000f3a: MSTORE 00000f3b: PUSH1 0x64 00000f3d: ADD 00000f3e: PUSH1 0x00 00000f40: PUSH1 0x40 00000f42: MLOAD 00000f43: DUP1 00000f44: DUP4 00000f45: SUB 00000f46: DUP2 00000f47: DUP7 00000f48: DUP1 00000f49: EXTCODESIZE 00000f4a: ISZERO 00000f4b: ISZERO 00000f4c: PUSH2 0x0f54 00000f4f: JUMPI 00000f50: PUSH1 0x00 00000f52: DUP1 00000f53: REVERT 00000f54: JUMPDEST 00000f55: GAS 00000f56: DELEGATECALL 00000f57: ISZERO 00000f58: ISZERO 00000f59: PUSH2 0x0f61 00000f5c: JUMPI 00000f5d: PUSH1 0x00 00000f5f: DUP1 00000f60: REVERT 00000f61: JUMPDEST 00000f62: POP 00000f63: POP 00000f64: PUSH1 0x18 00000f66: DUP1 00000f67: SLOAD 00000f68: PUSH1 0xa0 00000f6a: PUSH1 0x02 00000f6c: EXP 00000f6d: PUSH1 0xff 00000f6f: MUL 00000f70: NOT 00000f71: AND 00000f72: SWAP1 00000f73: SSTORE 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: JUMP 00000f78: JUMPDEST 00000f79: PUSH1 0x18 00000f7b: SLOAD 00000f7c: PUSH1 0xa0 00000f7e: PUSH1 0x02 00000f80: EXP 00000f81: SWAP1 00000f82: DIV 00000f83: PUSH1 0xff 00000f85: AND 00000f86: ISZERO 00000f87: PUSH2 0x0f8f 00000f8a: JUMPI 00000f8b: PUSH1 0x00 00000f8d: DUP1 00000f8e: REVERT 00000f8f: JUMPDEST 00000f90: PUSH1 0x18 00000f92: DUP1 00000f93: SLOAD 00000f94: PUSH1 0xa0 00000f96: PUSH1 0x02 00000f98: EXP 00000f99: PUSH1 0xff 00000f9b: MUL 00000f9c: NOT 00000f9d: AND 00000f9e: PUSH1 0xa0 00000fa0: PUSH1 0x02 00000fa2: EXP 00000fa3: OR 00000fa4: SWAP1 00000fa5: SSTORE 00000fa6: PUSH20 0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2 00000fbb: PUSH4 0xd4d357c0 00000fc0: PUSH1 0x00 00000fc2: DUP5 00000fc3: DUP5 00000fc4: PUSH1 0x40 00000fc6: MLOAD 00000fc7: PUSH1 0xe0 00000fc9: PUSH1 0x02 00000fcb: EXP 00000fcc: PUSH4 0xffffffff 00000fd1: DUP7 00000fd2: AND 00000fd3: MUL 00000fd4: DUP2 00000fd5: MSTORE 00000fd6: PUSH1 0x04 00000fd8: DUP2 00000fd9: ADD 00000fda: DUP5 00000fdb: DUP2 00000fdc: MSTORE 00000fdd: PUSH1 0x40 00000fdf: PUSH1 0x24 00000fe1: DUP4 00000fe2: ADD 00000fe3: SWAP1 00000fe4: DUP2 00000fe5: MSTORE 00000fe6: PUSH1 0x44 00000fe8: DUP4 00000fe9: ADD 00000fea: DUP5 00000feb: SWAP1 00000fec: MSTORE 00000fed: SWAP1 00000fee: SWAP2 00000fef: PUSH1 0x64 00000ff1: ADD 00000ff2: DUP5 00000ff3: PUSH1 0x20 00000ff5: DUP6 00000ff6: MUL 00000ff7: DUP1 00000ff8: DUP3 00000ff9: DUP5 00000ffa: CALLDATACOPY 00000ffb: DUP3 00000ffc: ADD 00000ffd: SWAP2 00000ffe: POP 00000fff: POP 00001000: SWAP5 00001001: POP 00001002: POP 00001003: POP 00001004: POP 00001005: POP 00001006: PUSH1 0x00 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: DUP1 0000100c: DUP4 0000100d: SUB 0000100e: DUP2 0000100f: DUP7 00001010: DUP1 00001011: EXTCODESIZE 00001012: ISZERO 00001013: ISZERO 00001014: PUSH2 0x0f54 00001017: JUMPI 00001018: PUSH1 0x00 0000101a: DUP1 0000101b: REVERT 0000101c: STOP 0000101d: LOG1 0000101e: PUSH6 0x627a7a723058 00001025: KECCAK256 00001026: ISZERO 00001027: SELFBALANCE 00001028: UNKNOWN(0xB5) 00001029: UNKNOWN(0xAB) 0000102a: TLOAD 0000102b: UNKNOWN(0xF7) 0000102c: PUSH3 0xeed8f0 00001030: CALLVALUE 00001031: UNKNOWN(0xAB) 00001032: PUSH17 0xa4636405dc853e69b27d2af68605d6986d 00001044: UNKNOWN(0xC6) 00001045: DUP3 00001046: STOP 00001047: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xbb314cb4947a0130fd7f2b0a9792edffece8ea7bd3722bc6e76d4217a691452a
call_targets:
0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb314cb4947a0130fd7f2b0a9792edffece8ea7bd3722bc6e76d4217a691452a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x201c56d3c78ea3c4ffb9143870e4896ece6eeaa2"
],
"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": "0x12d7e533",
"selector": "0x12d7e533",
"calldata_variants": [
"0x12d7e533",
"0x12d7e5330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14614af9",
"selector": "0x14614af9",
"calldata_variants": [
"0x14614af9",
"0x14614af90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17f708fb",
"selector": "0x17f708fb",
"calldata_variants": [
"0x17f708fb",
"0x17f708fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19f363bc",
"selector": "0x19f363bc",
"calldata_variants": [
"0x19f363bc",
"0x19f363bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fb75dbf",
"selector": "0x1fb75dbf",
"calldata_variants": [
"0x1fb75dbf",
"0x1fb75dbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b55b792",
"selector": "0x2b55b792",
"calldata_variants": [
"0x2b55b792",
"0x2b55b7920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d923501",
"selector": "0x2d923501",
"calldata_variants": [
"0x2d923501",
"0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 352,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1240,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1388,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 12,
"untrusted_delegatecall_count": 12
}
|