019b477e-b513-7120-80ae-7e9c6e0b0658
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 |
|---|---|---|---|---|
| 22861 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22862 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107425 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107426 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107427 | detector.run | complete | 1 / 3 | 1 week ago |
| 107428 | 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 0x0103 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x089fff19 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0165 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x12d7e533 0000002d: EQ 0000002e: PUSH2 0x0251 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x1fb75dbf 00000038: EQ 00000039: PUSH2 0x0269 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x2d923501 00000043: EQ 00000044: PUSH2 0x02ac 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x54fd4d50 0000004e: EQ 0000004f: PUSH2 0x02d7 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x5a89f648 00000059: EQ 0000005a: PUSH2 0x030e 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x77d378fe 00000064: EQ 00000065: PUSH2 0x0333 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x89fb8a48 0000006f: EQ 00000070: PUSH2 0x0353 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x8e5bcbb0 0000007a: EQ 0000007b: PUSH2 0x0369 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x9aae82c1 00000085: EQ 00000086: PUSH2 0x0382 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0xa71b00d0 00000090: EQ 00000091: PUSH2 0x03a1 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0xa9cc4718 0000009b: EQ 0000009c: PUSH2 0x03e4 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0xaa0b7db7 000000a6: EQ 000000a7: PUSH2 0x03f7 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xb2088555 000000b1: EQ 000000b2: PUSH2 0x0412 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xc0d9e7fb 000000bc: EQ 000000bd: PUSH2 0x0431 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xc0ee0b8a 000000c7: EQ 000000c8: PUSH2 0x045a 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xc519c77b 000000d2: EQ 000000d3: PUSH2 0x0489 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xd3c4c4d0 000000dd: EQ 000000de: PUSH2 0x053b 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xdef86cbb 000000e8: EQ 000000e9: PUSH2 0x0565 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xfe55892d 000000f3: EQ 000000f4: PUSH2 0x058f 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xfffe58a2 000000fe: EQ 000000ff: PUSH2 0x05b9 00000102: JUMPI 00000103: JUMPDEST 00000104: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000119: PUSH4 0x6c2802e8 0000011e: PUSH1 0x00 00000120: PUSH1 0x40 00000122: MLOAD 00000123: PUSH1 0xe0 00000125: PUSH1 0x02 00000127: EXP 00000128: PUSH4 0xffffffff 0000012d: DUP5 0000012e: AND 0000012f: MUL 00000130: DUP2 00000131: MSTORE 00000132: PUSH1 0x04 00000134: DUP2 00000135: ADD 00000136: SWAP2 00000137: SWAP1 00000138: SWAP2 00000139: MSTORE 0000013a: PUSH1 0x24 0000013c: ADD 0000013d: PUSH1 0x00 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: DUP1 00000143: DUP4 00000144: SUB 00000145: DUP2 00000146: DUP7 00000147: DUP1 00000148: EXTCODESIZE 00000149: ISZERO 0000014a: ISZERO 0000014b: PUSH2 0x0153 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: GAS 00000155: DELEGATECALL 00000156: ISZERO 00000157: ISZERO 00000158: PUSH2 0x0160 0000015b: JUMPI 0000015c: PUSH1 0x00 0000015e: DUP1 0000015f: REVERT 00000160: JUMPDEST 00000161: POP 00000162: POP 00000163: POP 00000164: STOP 00000165: JUMPDEST 00000166: CALLVALUE 00000167: ISZERO 00000168: PUSH2 0x0170 0000016b: JUMPI 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: REVERT 00000170: JUMPDEST 00000171: PUSH2 0x024f 00000174: PUSH1 0x04 00000176: DUP1 00000177: CALLDATALOAD 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: PUSH1 0x02 0000017e: EXP 0000017f: SUB 00000180: AND 00000181: SWAP1 00000182: PUSH1 0x44 00000184: PUSH1 0x24 00000186: DUP1 00000187: CALLDATALOAD 00000188: SWAP1 00000189: DUP2 0000018a: ADD 0000018b: SWAP1 0000018c: DUP4 0000018d: ADD 0000018e: CALLDATALOAD 0000018f: DUP1 00000190: PUSH1 0x20 00000192: DUP1 00000193: DUP3 00000194: MUL 00000195: ADD 00000196: PUSH1 0x40 00000198: MLOAD 00000199: SWAP1 0000019a: DUP2 0000019b: ADD 0000019c: PUSH1 0x40 0000019e: MSTORE 0000019f: DUP1 000001a0: SWAP4 000001a1: SWAP3 000001a2: SWAP2 000001a3: SWAP1 000001a4: DUP2 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: DUP4 000001ab: DUP4 000001ac: PUSH1 0x20 000001ae: MUL 000001af: DUP1 000001b0: DUP3 000001b1: DUP5 000001b2: CALLDATACOPY 000001b3: POP 000001b4: SWAP5 000001b5: SWAP7 000001b6: DUP7 000001b7: CALLDATALOAD 000001b8: SWAP7 000001b9: PUSH1 0x20 000001bb: DUP1 000001bc: DUP3 000001bd: ADD 000001be: CALLDATALOAD 000001bf: SWAP8 000001c0: POP 000001c1: SWAP2 000001c2: SWAP6 000001c3: POP 000001c4: PUSH1 0x60 000001c6: DUP2 000001c7: ADD 000001c8: SWAP5 000001c9: POP 000001ca: PUSH1 0x40 000001cc: SWAP1 000001cd: DUP2 000001ce: ADD 000001cf: CALLDATALOAD 000001d0: DUP7 000001d1: ADD 000001d2: DUP1 000001d3: DUP4 000001d4: ADD 000001d5: SWAP5 000001d6: POP 000001d7: CALLDATALOAD 000001d8: SWAP3 000001d9: POP 000001da: DUP3 000001db: SWAP2 000001dc: PUSH1 0x1f 000001de: DUP4 000001df: ADD 000001e0: DUP2 000001e1: SWAP1 000001e2: DIV 000001e3: DUP2 000001e4: MUL 000001e5: ADD 000001e6: SWAP1 000001e7: MLOAD 000001e8: SWAP1 000001e9: DUP2 000001ea: ADD 000001eb: PUSH1 0x40 000001ed: MSTORE 000001ee: DUP2 000001ef: DUP2 000001f0: MSTORE 000001f1: SWAP3 000001f2: SWAP2 000001f3: SWAP1 000001f4: PUSH1 0x20 000001f6: DUP5 000001f7: ADD 000001f8: DUP4 000001f9: DUP4 000001fa: DUP1 000001fb: DUP3 000001fc: DUP5 000001fd: CALLDATACOPY 000001fe: DUP3 000001ff: ADD 00000200: SWAP2 00000201: POP 00000202: POP 00000203: POP 00000204: POP 00000205: POP 00000206: POP 00000207: SWAP2 00000208: SWAP1 00000209: DUP1 0000020a: CALLDATALOAD 0000020b: SWAP1 0000020c: PUSH1 0x20 0000020e: ADD 0000020f: SWAP1 00000210: DUP3 00000211: ADD 00000212: DUP1 00000213: CALLDATALOAD 00000214: SWAP1 00000215: PUSH1 0x20 00000217: ADD 00000218: SWAP1 00000219: DUP1 0000021a: DUP1 0000021b: PUSH1 0x1f 0000021d: ADD 0000021e: PUSH1 0x20 00000220: DUP1 00000221: SWAP2 00000222: DIV 00000223: MUL 00000224: PUSH1 0x20 00000226: ADD 00000227: PUSH1 0x40 00000229: MLOAD 0000022a: SWAP1 0000022b: DUP2 0000022c: ADD 0000022d: PUSH1 0x40 0000022f: MSTORE 00000230: DUP2 00000231: DUP2 00000232: MSTORE 00000233: SWAP3 00000234: SWAP2 00000235: SWAP1 00000236: PUSH1 0x20 00000238: DUP5 00000239: ADD 0000023a: DUP4 0000023b: DUP4 0000023c: DUP1 0000023d: DUP3 0000023e: DUP5 0000023f: CALLDATACOPY 00000240: POP 00000241: SWAP5 00000242: SWAP7 00000243: POP 00000244: PUSH2 0x05d7 00000247: SWAP6 00000248: POP 00000249: POP 0000024a: POP 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: JUMP 0000024f: JUMPDEST 00000250: STOP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: PUSH2 0x024f 00000260: PUSH1 0x04 00000262: CALLDATALOAD 00000263: ISZERO 00000264: ISZERO 00000265: PUSH2 0x0785 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: PUSH2 0x024f 00000278: PUSH1 0x04 0000027a: DUP1 0000027b: CALLDATALOAD 0000027c: PUSH1 0x01 0000027e: PUSH1 0xa0 00000280: PUSH1 0x02 00000282: EXP 00000283: SUB 00000284: AND 00000285: SWAP1 00000286: PUSH1 0x24 00000288: DUP1 00000289: CALLDATALOAD 0000028a: SWAP2 0000028b: PUSH1 0x44 0000028d: CALLDATALOAD 0000028e: DUP1 0000028f: DUP4 00000290: ADD 00000291: SWAP3 00000292: SWAP1 00000293: DUP3 00000294: ADD 00000295: CALLDATALOAD 00000296: SWAP2 00000297: PUSH1 0x64 00000299: CALLDATALOAD 0000029a: SWAP2 0000029b: PUSH1 0x84 0000029d: CALLDATALOAD 0000029e: SWAP2 0000029f: PUSH1 0xa4 000002a1: CALLDATALOAD 000002a2: SWAP2 000002a3: DUP3 000002a4: ADD 000002a5: SWAP2 000002a6: ADD 000002a7: CALLDATALOAD 000002a8: PUSH2 0x083e 000002ab: JUMP 000002ac: JUMPDEST 000002ad: CALLVALUE 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: PUSH2 0x024f 000002bb: PUSH1 0x04 000002bd: DUP1 000002be: CALLDATALOAD 000002bf: PUSH1 0x01 000002c1: PUSH1 0xa0 000002c3: PUSH1 0x02 000002c5: EXP 000002c6: SUB 000002c7: AND 000002c8: SWAP1 000002c9: PUSH1 0x24 000002cb: DUP1 000002cc: CALLDATALOAD 000002cd: SWAP1 000002ce: DUP2 000002cf: ADD 000002d0: SWAP2 000002d1: ADD 000002d2: CALLDATALOAD 000002d3: PUSH2 0x091d 000002d6: JUMP 000002d7: JUMPDEST 000002d8: CALLVALUE 000002d9: ISZERO 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: PUSH2 0x02ea 000002e6: PUSH2 0x0a01 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: DUP1 000002ef: DUP5 000002f0: DUP2 000002f1: MSTORE 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: DUP4 000002f6: DUP2 000002f7: MSTORE 000002f8: PUSH1 0x20 000002fa: ADD 000002fb: DUP3 000002fc: DUP2 000002fd: MSTORE 000002fe: PUSH1 0x20 00000300: ADD 00000301: SWAP4 00000302: POP 00000303: POP 00000304: POP 00000305: POP 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: SWAP2 0000030b: SUB 0000030c: SWAP1 0000030d: RETURN 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: PUSH2 0x0321 0000031d: PUSH2 0x0a7a 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: MLOAD 00000325: SWAP1 00000326: DUP2 00000327: MSTORE 00000328: PUSH1 0x20 0000032a: ADD 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: DUP1 0000032f: SWAP2 00000330: SUB 00000331: SWAP1 00000332: RETURN 00000333: JUMPDEST 00000334: PUSH2 0x024f 00000337: PUSH1 0x01 00000339: PUSH1 0xa0 0000033b: PUSH1 0x02 0000033d: EXP 0000033e: SUB 0000033f: PUSH1 0x04 00000341: CALLDATALOAD 00000342: DUP2 00000343: AND 00000344: SWAP1 00000345: PUSH1 0x24 00000347: CALLDATALOAD 00000348: ISZERO 00000349: ISZERO 0000034a: SWAP1 0000034b: PUSH1 0x44 0000034d: CALLDATALOAD 0000034e: AND 0000034f: PUSH2 0x0af6 00000352: JUMP 00000353: JUMPDEST 00000354: CALLVALUE 00000355: ISZERO 00000356: PUSH2 0x035e 00000359: JUMPI 0000035a: PUSH1 0x00 0000035c: DUP1 0000035d: REVERT 0000035e: JUMPDEST 0000035f: PUSH2 0x024f 00000362: PUSH1 0x04 00000364: CALLDATALOAD 00000365: PUSH2 0x0b7c 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH2 0x024f 0000036d: PUSH1 0x04 0000036f: CALLDATALOAD 00000370: ISZERO 00000371: ISZERO 00000372: PUSH1 0x01 00000374: PUSH1 0xa0 00000376: PUSH1 0x02 00000378: EXP 00000379: SUB 0000037a: PUSH1 0x24 0000037c: CALLDATALOAD 0000037d: AND 0000037e: PUSH2 0x0be5 00000381: JUMP 00000382: JUMPDEST 00000383: CALLVALUE 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: PUSH2 0x024f 00000391: PUSH1 0x01 00000393: PUSH1 0xa0 00000395: PUSH1 0x02 00000397: EXP 00000398: SUB 00000399: PUSH1 0x04 0000039b: CALLDATALOAD 0000039c: AND 0000039d: PUSH2 0x0c61 000003a0: JUMP 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: ISZERO 000003a4: PUSH2 0x03ac 000003a7: JUMPI 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: REVERT 000003ac: JUMPDEST 000003ad: PUSH2 0x024f 000003b0: PUSH1 0x04 000003b2: DUP1 000003b3: CALLDATALOAD 000003b4: PUSH1 0x01 000003b6: PUSH1 0xa0 000003b8: PUSH1 0x02 000003ba: EXP 000003bb: SUB 000003bc: AND 000003bd: SWAP1 000003be: PUSH1 0x24 000003c0: DUP1 000003c1: CALLDATALOAD 000003c2: SWAP2 000003c3: PUSH1 0x44 000003c5: CALLDATALOAD 000003c6: DUP1 000003c7: DUP4 000003c8: ADD 000003c9: SWAP3 000003ca: SWAP1 000003cb: DUP3 000003cc: ADD 000003cd: CALLDATALOAD 000003ce: SWAP2 000003cf: PUSH1 0x64 000003d1: CALLDATALOAD 000003d2: SWAP2 000003d3: PUSH1 0x84 000003d5: CALLDATALOAD 000003d6: SWAP2 000003d7: PUSH1 0xa4 000003d9: CALLDATALOAD 000003da: SWAP2 000003db: DUP3 000003dc: ADD 000003dd: SWAP2 000003de: ADD 000003df: CALLDATALOAD 000003e0: PUSH2 0x0cc0 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: PUSH2 0x024f 000003f3: PUSH2 0x0db1 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH2 0x024f 000003fb: PUSH1 0x04 000003fd: DUP1 000003fe: CALLDATALOAD 000003ff: SWAP1 00000400: PUSH1 0x24 00000402: DUP1 00000403: CALLDATALOAD 00000404: SWAP2 00000405: PUSH1 0x44 00000407: CALLDATALOAD 00000408: SWAP2 00000409: DUP3 0000040a: ADD 0000040b: SWAP2 0000040c: ADD 0000040d: CALLDATALOAD 0000040e: PUSH2 0x0e22 00000411: JUMP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: PUSH2 0x0321 00000421: PUSH1 0x01 00000423: PUSH1 0xa0 00000425: PUSH1 0x02 00000427: EXP 00000428: SUB 00000429: PUSH1 0x04 0000042b: CALLDATALOAD 0000042c: AND 0000042d: PUSH2 0x0fc1 00000430: JUMP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: PUSH2 0x024f 00000440: PUSH1 0x01 00000442: PUSH1 0xa0 00000444: PUSH1 0x02 00000446: EXP 00000447: SUB 00000448: PUSH1 0x04 0000044a: CALLDATALOAD 0000044b: AND 0000044c: PUSH1 0x24 0000044e: CALLDATALOAD 0000044f: ISZERO 00000450: ISZERO 00000451: PUSH1 0x44 00000453: CALLDATALOAD 00000454: ISZERO 00000455: ISZERO 00000456: PUSH2 0x103d 00000459: JUMP 0000045a: JUMPDEST 0000045b: CALLVALUE 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: PUSH2 0x024f 00000469: PUSH1 0x04 0000046b: DUP1 0000046c: CALLDATALOAD 0000046d: PUSH1 0x01 0000046f: PUSH1 0xa0 00000471: PUSH1 0x02 00000473: EXP 00000474: SUB 00000475: AND 00000476: SWAP1 00000477: PUSH1 0x24 00000479: DUP1 0000047a: CALLDATALOAD 0000047b: SWAP2 0000047c: PUSH1 0x44 0000047e: CALLDATALOAD 0000047f: SWAP2 00000480: DUP3 00000481: ADD 00000482: SWAP2 00000483: ADD 00000484: CALLDATALOAD 00000485: PUSH2 0x10e6 00000488: JUMP 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: ISZERO 0000048c: PUSH2 0x0494 0000048f: JUMPI 00000490: PUSH1 0x00 00000492: DUP1 00000493: REVERT 00000494: JUMPDEST 00000495: PUSH2 0x024f 00000498: PUSH1 0x01 0000049a: PUSH1 0xa0 0000049c: PUSH1 0x02 0000049e: EXP 0000049f: SUB 000004a0: PUSH1 0x04 000004a2: DUP1 000004a3: CALLDATALOAD 000004a4: DUP3 000004a5: AND 000004a6: SWAP2 000004a7: PUSH1 0x24 000004a9: DUP1 000004aa: CALLDATALOAD 000004ab: SWAP1 000004ac: SWAP2 000004ad: AND 000004ae: SWAP2 000004af: SWAP1 000004b0: PUSH1 0x64 000004b2: SWAP1 000004b3: PUSH1 0x44 000004b5: CALLDATALOAD 000004b6: SWAP1 000004b7: DUP2 000004b8: ADD 000004b9: SWAP1 000004ba: DUP4 000004bb: ADD 000004bc: CALLDATALOAD 000004bd: DUP1 000004be: PUSH1 0x20 000004c0: DUP2 000004c1: DUP2 000004c2: MUL 000004c3: ADD 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: SWAP1 000004c8: DUP2 000004c9: ADD 000004ca: PUSH1 0x40 000004cc: MSTORE 000004cd: DUP1 000004ce: SWAP4 000004cf: SWAP3 000004d0: SWAP2 000004d1: SWAP1 000004d2: DUP2 000004d3: DUP2 000004d4: MSTORE 000004d5: PUSH1 0x20 000004d7: ADD 000004d8: DUP4 000004d9: DUP4 000004da: PUSH1 0x20 000004dc: MUL 000004dd: DUP1 000004de: DUP3 000004df: DUP5 000004e0: CALLDATACOPY 000004e1: POP 000004e2: SWAP5 000004e3: SWAP7 000004e4: DUP7 000004e5: CALLDATALOAD 000004e6: SWAP7 000004e7: PUSH1 0x20 000004e9: DUP1 000004ea: DUP3 000004eb: ADD 000004ec: CALLDATALOAD 000004ed: SWAP8 000004ee: POP 000004ef: SWAP2 000004f0: SWAP6 000004f1: POP 000004f2: PUSH1 0x60 000004f4: DUP2 000004f5: ADD 000004f6: SWAP5 000004f7: POP 000004f8: PUSH1 0x40 000004fa: SWAP1 000004fb: DUP2 000004fc: ADD 000004fd: CALLDATALOAD 000004fe: DUP7 000004ff: ADD 00000500: DUP1 00000501: DUP4 00000502: ADD 00000503: SWAP5 00000504: POP 00000505: CALLDATALOAD 00000506: SWAP3 00000507: POP 00000508: DUP3 00000509: SWAP2 0000050a: PUSH1 0x1f 0000050c: DUP4 0000050d: ADD 0000050e: DUP2 0000050f: SWAP1 00000510: DIV 00000511: DUP2 00000512: MUL 00000513: ADD 00000514: SWAP1 00000515: MLOAD 00000516: SWAP1 00000517: DUP2 00000518: ADD 00000519: PUSH1 0x40 0000051b: MSTORE 0000051c: DUP2 0000051d: DUP2 0000051e: MSTORE 0000051f: SWAP3 00000520: SWAP2 00000521: SWAP1 00000522: PUSH1 0x20 00000524: DUP5 00000525: ADD 00000526: DUP4 00000527: DUP4 00000528: DUP1 00000529: DUP3 0000052a: DUP5 0000052b: CALLDATACOPY 0000052c: POP 0000052d: SWAP5 0000052e: SWAP7 0000052f: POP 00000530: PUSH2 0x1174 00000533: SWAP6 00000534: POP 00000535: POP 00000536: POP 00000537: POP 00000538: POP 00000539: POP 0000053a: JUMP 0000053b: JUMPDEST 0000053c: CALLVALUE 0000053d: ISZERO 0000053e: PUSH2 0x0546 00000541: JUMPI 00000542: PUSH1 0x00 00000544: DUP1 00000545: REVERT 00000546: JUMPDEST 00000547: PUSH2 0x024f 0000054a: PUSH1 0x04 0000054c: DUP1 0000054d: CALLDATALOAD 0000054e: SWAP1 0000054f: PUSH1 0x24 00000551: DUP1 00000552: CALLDATALOAD 00000553: SWAP2 00000554: PUSH1 0x44 00000556: CALLDATALOAD 00000557: SWAP2 00000558: PUSH1 0x64 0000055a: CALLDATALOAD 0000055b: SWAP1 0000055c: DUP2 0000055d: ADD 0000055e: SWAP2 0000055f: ADD 00000560: CALLDATALOAD 00000561: PUSH2 0x12ba 00000564: JUMP 00000565: JUMPDEST 00000566: CALLVALUE 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: PUSH2 0x024f 00000574: PUSH1 0x24 00000576: PUSH1 0x04 00000578: DUP1 00000579: CALLDATALOAD 0000057a: DUP3 0000057b: DUP2 0000057c: ADD 0000057d: SWAP3 0000057e: SWAP1 0000057f: DUP3 00000580: ADD 00000581: CALLDATALOAD 00000582: SWAP2 00000583: DUP2 00000584: CALLDATALOAD 00000585: SWAP2 00000586: DUP3 00000587: ADD 00000588: SWAP2 00000589: ADD 0000058a: CALLDATALOAD 0000058b: PUSH2 0x1360 0000058e: JUMP 0000058f: JUMPDEST 00000590: CALLVALUE 00000591: ISZERO 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: PUSH2 0x024f 0000059e: PUSH1 0x04 000005a0: DUP1 000005a1: CALLDATALOAD 000005a2: SWAP1 000005a3: PUSH1 0x24 000005a5: DUP1 000005a6: CALLDATALOAD 000005a7: SWAP2 000005a8: PUSH1 0x44 000005aa: CALLDATALOAD 000005ab: SWAP2 000005ac: PUSH1 0x64 000005ae: CALLDATALOAD 000005af: SWAP1 000005b0: DUP2 000005b1: ADD 000005b2: SWAP2 000005b3: ADD 000005b4: CALLDATALOAD 000005b5: PUSH2 0x13fa 000005b8: JUMP 000005b9: JUMPDEST 000005ba: CALLVALUE 000005bb: ISZERO 000005bc: PUSH2 0x05c4 000005bf: JUMPI 000005c0: PUSH1 0x00 000005c2: DUP1 000005c3: REVERT 000005c4: JUMPDEST 000005c5: PUSH2 0x024f 000005c8: PUSH1 0x04 000005ca: DUP1 000005cb: CALLDATALOAD 000005cc: PUSH1 0x24 000005ce: DUP2 000005cf: ADD 000005d0: SWAP2 000005d1: ADD 000005d2: CALLDATALOAD 000005d3: PUSH2 0x14a0 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 000005ed: PUSH4 0x13347323 000005f2: PUSH1 0x00 000005f4: DUP9 000005f5: DUP9 000005f6: DUP9 000005f7: DUP9 000005f8: DUP9 000005f9: DUP9 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: DUP9 000005fe: PUSH4 0xffffffff 00000603: AND 00000604: PUSH1 0xe0 00000606: PUSH1 0x02 00000608: EXP 00000609: MUL 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x04 0000060e: ADD 0000060f: DUP1 00000610: DUP9 00000611: DUP2 00000612: MSTORE 00000613: PUSH1 0x20 00000615: ADD 00000616: DUP8 00000617: PUSH1 0x01 00000619: PUSH1 0xa0 0000061b: PUSH1 0x02 0000061d: EXP 0000061e: SUB 0000061f: AND 00000620: PUSH1 0x01 00000622: PUSH1 0xa0 00000624: PUSH1 0x02 00000626: EXP 00000627: SUB 00000628: AND 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: DUP1 0000062f: PUSH1 0x20 00000631: ADD 00000632: DUP7 00000633: DUP2 00000634: MSTORE 00000635: PUSH1 0x20 00000637: ADD 00000638: DUP6 00000639: DUP2 0000063a: MSTORE 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: DUP1 0000063f: PUSH1 0x20 00000641: ADD 00000642: DUP1 00000643: PUSH1 0x20 00000645: ADD 00000646: DUP5 00000647: DUP2 00000648: SUB 00000649: DUP5 0000064a: MSTORE 0000064b: DUP10 0000064c: DUP2 0000064d: DUP2 0000064e: MLOAD 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x20 00000653: ADD 00000654: SWAP2 00000655: POP 00000656: DUP1 00000657: MLOAD 00000658: SWAP1 00000659: PUSH1 0x20 0000065b: ADD 0000065c: SWAP1 0000065d: PUSH1 0x20 0000065f: MUL 00000660: DUP1 00000661: DUP4 00000662: DUP4 00000663: PUSH1 0x00 00000665: JUMPDEST 00000666: DUP4 00000667: DUP2 00000668: LT 00000669: ISZERO 0000066a: PUSH2 0x067d 0000066d: JUMPI 0000066e: DUP1 0000066f: DUP3 00000670: ADD 00000671: MLOAD 00000672: DUP4 00000673: DUP3 00000674: ADD 00000675: MSTORE 00000676: PUSH1 0x20 00000678: ADD 00000679: PUSH2 0x0665 0000067c: JUMP 0000067d: JUMPDEST 0000067e: POP 0000067f: POP 00000680: POP 00000681: POP 00000682: SWAP1 00000683: POP 00000684: ADD 00000685: DUP5 00000686: DUP2 00000687: SUB 00000688: DUP4 00000689: MSTORE 0000068a: DUP7 0000068b: DUP2 0000068c: DUP2 0000068d: MLOAD 0000068e: DUP2 0000068f: MSTORE 00000690: PUSH1 0x20 00000692: ADD 00000693: SWAP2 00000694: POP 00000695: DUP1 00000696: MLOAD 00000697: SWAP1 00000698: PUSH1 0x20 0000069a: ADD 0000069b: SWAP1 0000069c: DUP1 0000069d: DUP4 0000069e: DUP4 0000069f: PUSH1 0x00 000006a1: JUMPDEST 000006a2: DUP4 000006a3: DUP2 000006a4: LT 000006a5: ISZERO 000006a6: PUSH2 0x06b9 000006a9: JUMPI 000006aa: DUP1 000006ab: DUP3 000006ac: ADD 000006ad: MLOAD 000006ae: DUP4 000006af: DUP3 000006b0: ADD 000006b1: MSTORE 000006b2: PUSH1 0x20 000006b4: ADD 000006b5: PUSH2 0x06a1 000006b8: JUMP 000006b9: JUMPDEST 000006ba: POP 000006bb: POP 000006bc: POP 000006bd: POP 000006be: SWAP1 000006bf: POP 000006c0: SWAP1 000006c1: DUP2 000006c2: ADD 000006c3: SWAP1 000006c4: PUSH1 0x1f 000006c6: AND 000006c7: DUP1 000006c8: ISZERO 000006c9: PUSH2 0x06e6 000006cc: JUMPI 000006cd: DUP1 000006ce: DUP3 000006cf: SUB 000006d0: DUP1 000006d1: MLOAD 000006d2: PUSH1 0x01 000006d4: DUP4 000006d5: PUSH1 0x20 000006d7: SUB 000006d8: PUSH2 0x0100 000006db: EXP 000006dc: SUB 000006dd: NOT 000006de: AND 000006df: DUP2 000006e0: MSTORE 000006e1: PUSH1 0x20 000006e3: ADD 000006e4: SWAP2 000006e5: POP 000006e6: JUMPDEST 000006e7: POP 000006e8: DUP5 000006e9: DUP2 000006ea: SUB 000006eb: DUP3 000006ec: MSTORE 000006ed: DUP6 000006ee: DUP2 000006ef: DUP2 000006f0: MLOAD 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x20 000006f5: ADD 000006f6: SWAP2 000006f7: POP 000006f8: DUP1 000006f9: MLOAD 000006fa: SWAP1 000006fb: PUSH1 0x20 000006fd: ADD 000006fe: SWAP1 000006ff: DUP1 00000700: DUP4 00000701: DUP4 00000702: PUSH1 0x00 00000704: JUMPDEST 00000705: DUP4 00000706: DUP2 00000707: LT 00000708: ISZERO 00000709: PUSH2 0x071c 0000070c: JUMPI 0000070d: DUP1 0000070e: DUP3 0000070f: ADD 00000710: MLOAD 00000711: DUP4 00000712: DUP3 00000713: ADD 00000714: MSTORE 00000715: PUSH1 0x20 00000717: ADD 00000718: PUSH2 0x0704 0000071b: JUMP 0000071c: JUMPDEST 0000071d: POP 0000071e: POP 0000071f: POP 00000720: POP 00000721: SWAP1 00000722: POP 00000723: SWAP1 00000724: DUP2 00000725: ADD 00000726: SWAP1 00000727: PUSH1 0x1f 00000729: AND 0000072a: DUP1 0000072b: ISZERO 0000072c: PUSH2 0x0749 0000072f: JUMPI 00000730: DUP1 00000731: DUP3 00000732: SUB 00000733: DUP1 00000734: MLOAD 00000735: PUSH1 0x01 00000737: DUP4 00000738: PUSH1 0x20 0000073a: SUB 0000073b: PUSH2 0x0100 0000073e: EXP 0000073f: SUB 00000740: NOT 00000741: AND 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x20 00000746: ADD 00000747: SWAP2 00000748: POP 00000749: JUMPDEST 0000074a: POP 0000074b: SWAP11 0000074c: POP 0000074d: POP 0000074e: POP 0000074f: POP 00000750: POP 00000751: POP 00000752: POP 00000753: POP 00000754: POP 00000755: POP 00000756: POP 00000757: PUSH1 0x00 00000759: PUSH1 0x40 0000075b: MLOAD 0000075c: DUP1 0000075d: DUP4 0000075e: SUB 0000075f: DUP2 00000760: DUP7 00000761: DUP1 00000762: EXTCODESIZE 00000763: ISZERO 00000764: ISZERO 00000765: PUSH2 0x076d 00000768: JUMPI 00000769: PUSH1 0x00 0000076b: DUP1 0000076c: REVERT 0000076d: JUMPDEST 0000076e: GAS 0000076f: DELEGATECALL 00000770: ISZERO 00000771: ISZERO 00000772: PUSH2 0x077a 00000775: JUMPI 00000776: PUSH1 0x00 00000778: DUP1 00000779: REVERT 0000077a: JUMPDEST 0000077b: POP 0000077c: POP 0000077d: POP 0000077e: POP 0000077f: POP 00000780: POP 00000781: POP 00000782: POP 00000783: POP 00000784: JUMP 00000785: JUMPDEST 00000786: PUSH1 0x17 00000788: SLOAD 00000789: PUSH1 0xa0 0000078b: PUSH1 0x02 0000078d: EXP 0000078e: SWAP1 0000078f: DIV 00000790: PUSH1 0xff 00000792: AND 00000793: ISZERO 00000794: PUSH2 0x079c 00000797: JUMPI 00000798: PUSH1 0x00 0000079a: DUP1 0000079b: REVERT 0000079c: JUMPDEST 0000079d: PUSH1 0x17 0000079f: DUP1 000007a0: SLOAD 000007a1: PUSH1 0xa0 000007a3: PUSH1 0x02 000007a5: EXP 000007a6: PUSH1 0xff 000007a8: MUL 000007a9: NOT 000007aa: AND 000007ab: PUSH1 0xa0 000007ad: PUSH1 0x02 000007af: EXP 000007b0: OR 000007b1: SWAP1 000007b2: SSTORE 000007b3: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 000007c8: PUSH4 0x961e1e1b 000007cd: PUSH1 0x00 000007cf: DUP1 000007d0: DUP5 000007d1: PUSH1 0x40 000007d3: MLOAD 000007d4: PUSH1 0xe0 000007d6: PUSH1 0x02 000007d8: EXP 000007d9: PUSH4 0xffffffff 000007de: DUP7 000007df: AND 000007e0: MUL 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x04 000007e5: DUP2 000007e6: ADD 000007e7: SWAP4 000007e8: SWAP1 000007e9: SWAP4 000007ea: MSTORE 000007eb: PUSH1 0x01 000007ed: PUSH1 0xa0 000007ef: PUSH1 0x02 000007f1: EXP 000007f2: SUB 000007f3: SWAP1 000007f4: SWAP2 000007f5: AND 000007f6: PUSH1 0x24 000007f8: DUP4 000007f9: ADD 000007fa: MSTORE 000007fb: ISZERO 000007fc: ISZERO 000007fd: PUSH1 0x44 000007ff: DUP3 00000800: ADD 00000801: MSTORE 00000802: PUSH1 0x64 00000804: ADD 00000805: PUSH1 0x00 00000807: PUSH1 0x40 00000809: MLOAD 0000080a: DUP1 0000080b: DUP4 0000080c: SUB 0000080d: DUP2 0000080e: DUP7 0000080f: DUP1 00000810: EXTCODESIZE 00000811: ISZERO 00000812: ISZERO 00000813: PUSH2 0x081b 00000816: JUMPI 00000817: PUSH1 0x00 00000819: DUP1 0000081a: REVERT 0000081b: JUMPDEST 0000081c: GAS 0000081d: DELEGATECALL 0000081e: ISZERO 0000081f: ISZERO 00000820: PUSH2 0x0828 00000823: JUMPI 00000824: PUSH1 0x00 00000826: DUP1 00000827: REVERT 00000828: JUMPDEST 00000829: POP 0000082a: POP 0000082b: PUSH1 0x17 0000082d: DUP1 0000082e: SLOAD 0000082f: PUSH1 0xa0 00000831: PUSH1 0x02 00000833: EXP 00000834: PUSH1 0xff 00000836: MUL 00000837: NOT 00000838: AND 00000839: SWAP1 0000083a: SSTORE 0000083b: POP 0000083c: POP 0000083d: JUMP 0000083e: JUMPDEST 0000083f: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000854: PUSH4 0x148b9557 00000859: PUSH1 0x00 0000085b: DUP11 0000085c: DUP11 0000085d: DUP11 0000085e: DUP11 0000085f: DUP11 00000860: DUP11 00000861: DUP11 00000862: DUP11 00000863: PUSH1 0x40 00000865: MLOAD 00000866: DUP11 00000867: PUSH4 0xffffffff 0000086c: AND 0000086d: PUSH1 0xe0 0000086f: PUSH1 0x02 00000871: EXP 00000872: MUL 00000873: DUP2 00000874: MSTORE 00000875: PUSH1 0x04 00000877: ADD 00000878: DUP1 00000879: DUP11 0000087a: DUP2 0000087b: MSTORE 0000087c: PUSH1 0x20 0000087e: ADD 0000087f: DUP10 00000880: PUSH1 0x01 00000882: PUSH1 0xa0 00000884: PUSH1 0x02 00000886: EXP 00000887: SUB 00000888: AND 00000889: PUSH1 0x01 0000088b: PUSH1 0xa0 0000088d: PUSH1 0x02 0000088f: EXP 00000890: SUB 00000891: AND 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: DUP9 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: DUP1 0000089e: PUSH1 0x20 000008a0: ADD 000008a1: DUP7 000008a2: DUP2 000008a3: MSTORE 000008a4: PUSH1 0x20 000008a6: ADD 000008a7: DUP6 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x20 000008ac: ADD 000008ad: DUP1 000008ae: PUSH1 0x20 000008b0: ADD 000008b1: DUP4 000008b2: DUP2 000008b3: SUB 000008b4: DUP4 000008b5: MSTORE 000008b6: DUP10 000008b7: DUP10 000008b8: DUP3 000008b9: DUP2 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: SWAP3 000008c0: POP 000008c1: DUP1 000008c2: DUP3 000008c3: DUP5 000008c4: CALLDATACOPY 000008c5: SWAP1 000008c6: SWAP2 000008c7: ADD 000008c8: DUP5 000008c9: DUP2 000008ca: SUB 000008cb: DUP4 000008cc: MSTORE 000008cd: DUP6 000008ce: DUP2 000008cf: MSTORE 000008d0: PUSH1 0x20 000008d2: ADD 000008d3: SWAP1 000008d4: POP 000008d5: DUP6 000008d6: DUP6 000008d7: DUP1 000008d8: DUP3 000008d9: DUP5 000008da: CALLDATACOPY 000008db: DUP3 000008dc: ADD 000008dd: SWAP2 000008de: POP 000008df: POP 000008e0: SWAP12 000008e1: POP 000008e2: POP 000008e3: POP 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: PUSH1 0x00 000008ef: PUSH1 0x40 000008f1: MLOAD 000008f2: DUP1 000008f3: DUP4 000008f4: SUB 000008f5: DUP2 000008f6: DUP7 000008f7: DUP1 000008f8: EXTCODESIZE 000008f9: ISZERO 000008fa: ISZERO 000008fb: PUSH2 0x0903 000008fe: JUMPI 000008ff: PUSH1 0x00 00000901: DUP1 00000902: REVERT 00000903: JUMPDEST 00000904: GAS 00000905: DELEGATECALL 00000906: ISZERO 00000907: ISZERO 00000908: PUSH2 0x0910 0000090b: JUMPI 0000090c: PUSH1 0x00 0000090e: DUP1 0000090f: REVERT 00000910: JUMPDEST 00000911: POP 00000912: POP 00000913: POP 00000914: POP 00000915: POP 00000916: POP 00000917: POP 00000918: POP 00000919: POP 0000091a: POP 0000091b: POP 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH1 0x17 00000920: SLOAD 00000921: PUSH1 0xa0 00000923: PUSH1 0x02 00000925: EXP 00000926: SWAP1 00000927: DIV 00000928: PUSH1 0xff 0000092a: AND 0000092b: ISZERO 0000092c: PUSH2 0x0934 0000092f: JUMPI 00000930: PUSH1 0x00 00000932: DUP1 00000933: REVERT 00000934: JUMPDEST 00000935: PUSH1 0x17 00000937: DUP1 00000938: SLOAD 00000939: PUSH1 0xa0 0000093b: PUSH1 0x02 0000093d: EXP 0000093e: PUSH1 0xff 00000940: MUL 00000941: NOT 00000942: AND 00000943: PUSH1 0xa0 00000945: PUSH1 0x02 00000947: EXP 00000948: OR 00000949: SWAP1 0000094a: SSTORE 0000094b: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000960: PUSH4 0x837ddfcd 00000965: PUSH1 0x00 00000967: DUP1 00000968: DUP7 00000969: DUP7 0000096a: DUP7 0000096b: PUSH1 0x40 0000096d: MLOAD 0000096e: PUSH1 0xe0 00000970: PUSH1 0x02 00000972: EXP 00000973: PUSH4 0xffffffff 00000978: DUP9 00000979: AND 0000097a: MUL 0000097b: DUP2 0000097c: MSTORE 0000097d: PUSH1 0x04 0000097f: DUP2 00000980: ADD 00000981: DUP7 00000982: DUP2 00000983: MSTORE 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: PUSH1 0x02 0000098a: EXP 0000098b: SUB 0000098c: DUP1 0000098d: DUP8 0000098e: AND 0000098f: PUSH1 0x24 00000991: DUP5 00000992: ADD 00000993: MSTORE 00000994: DUP6 00000995: AND 00000996: PUSH1 0x44 00000998: DUP4 00000999: ADD 0000099a: MSTORE 0000099b: PUSH1 0x80 0000099d: PUSH1 0x64 0000099f: DUP4 000009a0: ADD 000009a1: SWAP1 000009a2: DUP2 000009a3: MSTORE 000009a4: PUSH1 0x84 000009a6: DUP4 000009a7: ADD 000009a8: DUP5 000009a9: SWAP1 000009aa: MSTORE 000009ab: SWAP1 000009ac: SWAP2 000009ad: PUSH1 0xa4 000009af: ADD 000009b0: DUP5 000009b1: PUSH1 0x20 000009b3: DUP6 000009b4: MUL 000009b5: DUP1 000009b6: DUP3 000009b7: DUP5 000009b8: CALLDATACOPY 000009b9: DUP3 000009ba: ADD 000009bb: SWAP2 000009bc: POP 000009bd: POP 000009be: SWAP7 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: PUSH1 0x00 000009c8: PUSH1 0x40 000009ca: MLOAD 000009cb: DUP1 000009cc: DUP4 000009cd: SUB 000009ce: DUP2 000009cf: DUP7 000009d0: DUP1 000009d1: EXTCODESIZE 000009d2: ISZERO 000009d3: ISZERO 000009d4: PUSH2 0x09dc 000009d7: JUMPI 000009d8: PUSH1 0x00 000009da: DUP1 000009db: REVERT 000009dc: JUMPDEST 000009dd: GAS 000009de: DELEGATECALL 000009df: ISZERO 000009e0: ISZERO 000009e1: PUSH2 0x09e9 000009e4: JUMPI 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: REVERT 000009e9: JUMPDEST 000009ea: POP 000009eb: POP 000009ec: PUSH1 0x17 000009ee: DUP1 000009ef: SLOAD 000009f0: PUSH1 0xa0 000009f2: PUSH1 0x02 000009f4: EXP 000009f5: PUSH1 0xff 000009f7: MUL 000009f8: NOT 000009f9: AND 000009fa: SWAP1 000009fb: SSTORE 000009fc: POP 000009fd: POP 000009fe: POP 000009ff: POP 00000a00: JUMP 00000a01: JUMPDEST 00000a02: PUSH1 0x00 00000a04: DUP1 00000a05: PUSH1 0x00 00000a07: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000a1c: PUSH4 0x54fd4d50 00000a21: PUSH1 0x40 00000a23: MLOAD 00000a24: DUP2 00000a25: PUSH4 0xffffffff 00000a2a: AND 00000a2b: PUSH1 0xe0 00000a2d: PUSH1 0x02 00000a2f: EXP 00000a30: MUL 00000a31: DUP2 00000a32: MSTORE 00000a33: PUSH1 0x04 00000a35: ADD 00000a36: PUSH1 0x60 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: DUP1 00000a3c: DUP4 00000a3d: SUB 00000a3e: DUP2 00000a3f: DUP7 00000a40: DUP1 00000a41: EXTCODESIZE 00000a42: ISZERO 00000a43: ISZERO 00000a44: PUSH2 0x0a4c 00000a47: JUMPI 00000a48: PUSH1 0x00 00000a4a: DUP1 00000a4b: REVERT 00000a4c: JUMPDEST 00000a4d: GAS 00000a4e: DELEGATECALL 00000a4f: ISZERO 00000a50: ISZERO 00000a51: PUSH2 0x0a59 00000a54: JUMPI 00000a55: PUSH1 0x00 00000a57: DUP1 00000a58: REVERT 00000a59: JUMPDEST 00000a5a: POP 00000a5b: POP 00000a5c: POP 00000a5d: PUSH1 0x40 00000a5f: MLOAD 00000a60: DUP1 00000a61: MLOAD 00000a62: SWAP1 00000a63: PUSH1 0x20 00000a65: ADD 00000a66: DUP1 00000a67: MLOAD 00000a68: SWAP1 00000a69: PUSH1 0x20 00000a6b: ADD 00000a6c: DUP1 00000a6d: MLOAD 00000a6e: SWAP1 00000a6f: POP 00000a70: SWAP3 00000a71: POP 00000a72: SWAP3 00000a73: POP 00000a74: SWAP3 00000a75: POP 00000a76: SWAP1 00000a77: SWAP2 00000a78: SWAP3 00000a79: JUMP 00000a7a: JUMPDEST 00000a7b: PUSH1 0x00 00000a7d: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000a92: PUSH4 0x54729885 00000a97: DUP3 00000a98: PUSH1 0x01 00000a9a: PUSH1 0xa0 00000a9c: PUSH1 0x02 00000a9e: EXP 00000a9f: SUB 00000aa0: ADDRESS 00000aa1: AND 00000aa2: BALANCE 00000aa3: PUSH1 0x40 00000aa5: MLOAD 00000aa6: PUSH1 0xe0 00000aa8: PUSH1 0x02 00000aaa: EXP 00000aab: PUSH4 0xffffffff 00000ab0: DUP6 00000ab1: AND 00000ab2: MUL 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x04 00000ab7: DUP2 00000ab8: ADD 00000ab9: SWAP3 00000aba: SWAP1 00000abb: SWAP3 00000abc: MSTORE 00000abd: PUSH1 0x24 00000abf: DUP3 00000ac0: ADD 00000ac1: MSTORE 00000ac2: PUSH1 0x44 00000ac4: ADD 00000ac5: PUSH1 0x20 00000ac7: PUSH1 0x40 00000ac9: MLOAD 00000aca: DUP1 00000acb: DUP4 00000acc: SUB 00000acd: DUP2 00000ace: DUP7 00000acf: DUP1 00000ad0: EXTCODESIZE 00000ad1: ISZERO 00000ad2: ISZERO 00000ad3: PUSH2 0x0adb 00000ad6: JUMPI 00000ad7: PUSH1 0x00 00000ad9: DUP1 00000ada: REVERT 00000adb: JUMPDEST 00000adc: GAS 00000add: DELEGATECALL 00000ade: ISZERO 00000adf: ISZERO 00000ae0: PUSH2 0x0ae8 00000ae3: JUMPI 00000ae4: PUSH1 0x00 00000ae6: DUP1 00000ae7: REVERT 00000ae8: JUMPDEST 00000ae9: POP 00000aea: POP 00000aeb: POP 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: DUP1 00000af0: MLOAD 00000af1: SWAP2 00000af2: POP 00000af3: POP 00000af4: SWAP1 00000af5: JUMP 00000af6: JUMPDEST 00000af7: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000b0c: PUSH4 0xf980df95 00000b11: PUSH1 0x00 00000b13: DUP6 00000b14: DUP6 00000b15: DUP6 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: PUSH1 0xe0 00000b1b: PUSH1 0x02 00000b1d: EXP 00000b1e: PUSH4 0xffffffff 00000b23: DUP8 00000b24: AND 00000b25: MUL 00000b26: DUP2 00000b27: MSTORE 00000b28: PUSH1 0x04 00000b2a: DUP2 00000b2b: ADD 00000b2c: SWAP5 00000b2d: SWAP1 00000b2e: SWAP5 00000b2f: MSTORE 00000b30: PUSH1 0x01 00000b32: PUSH1 0xa0 00000b34: PUSH1 0x02 00000b36: EXP 00000b37: SUB 00000b38: SWAP3 00000b39: DUP4 00000b3a: AND 00000b3b: PUSH1 0x24 00000b3d: DUP6 00000b3e: ADD 00000b3f: MSTORE 00000b40: SWAP1 00000b41: ISZERO 00000b42: ISZERO 00000b43: PUSH1 0x44 00000b45: DUP5 00000b46: ADD 00000b47: MSTORE 00000b48: AND 00000b49: PUSH1 0x64 00000b4b: DUP3 00000b4c: ADD 00000b4d: MSTORE 00000b4e: PUSH1 0x84 00000b50: ADD 00000b51: PUSH1 0x00 00000b53: PUSH1 0x40 00000b55: MLOAD 00000b56: DUP1 00000b57: DUP4 00000b58: SUB 00000b59: DUP2 00000b5a: DUP7 00000b5b: DUP1 00000b5c: EXTCODESIZE 00000b5d: ISZERO 00000b5e: ISZERO 00000b5f: PUSH2 0x0b67 00000b62: JUMPI 00000b63: PUSH1 0x00 00000b65: DUP1 00000b66: REVERT 00000b67: JUMPDEST 00000b68: GAS 00000b69: DELEGATECALL 00000b6a: ISZERO 00000b6b: ISZERO 00000b6c: PUSH2 0x0b74 00000b6f: JUMPI 00000b70: PUSH1 0x00 00000b72: DUP1 00000b73: REVERT 00000b74: JUMPDEST 00000b75: POP 00000b76: POP 00000b77: POP 00000b78: POP 00000b79: POP 00000b7a: POP 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000b92: PUSH4 0x68540b6b 00000b97: PUSH1 0x00 00000b99: DUP4 00000b9a: PUSH1 0x40 00000b9c: MLOAD 00000b9d: PUSH1 0xe0 00000b9f: PUSH1 0x02 00000ba1: EXP 00000ba2: PUSH4 0xffffffff 00000ba7: DUP6 00000ba8: AND 00000ba9: MUL 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x04 00000bae: DUP2 00000baf: ADD 00000bb0: SWAP3 00000bb1: SWAP1 00000bb2: SWAP3 00000bb3: MSTORE 00000bb4: PUSH1 0x24 00000bb6: DUP3 00000bb7: ADD 00000bb8: MSTORE 00000bb9: PUSH1 0x44 00000bbb: ADD 00000bbc: PUSH1 0x00 00000bbe: PUSH1 0x40 00000bc0: MLOAD 00000bc1: DUP1 00000bc2: DUP4 00000bc3: SUB 00000bc4: DUP2 00000bc5: DUP7 00000bc6: DUP1 00000bc7: EXTCODESIZE 00000bc8: ISZERO 00000bc9: ISZERO 00000bca: PUSH2 0x0bd2 00000bcd: JUMPI 00000bce: PUSH1 0x00 00000bd0: DUP1 00000bd1: REVERT 00000bd2: JUMPDEST 00000bd3: GAS 00000bd4: DELEGATECALL 00000bd5: ISZERO 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdf 00000bda: JUMPI 00000bdb: PUSH1 0x00 00000bdd: DUP1 00000bde: REVERT 00000bdf: JUMPDEST 00000be0: POP 00000be1: POP 00000be2: POP 00000be3: POP 00000be4: JUMP 00000be5: JUMPDEST 00000be6: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000bfb: PUSH4 0x0e95c1df 00000c00: PUSH1 0x00 00000c02: DUP5 00000c03: DUP5 00000c04: PUSH1 0x40 00000c06: MLOAD 00000c07: PUSH1 0xe0 00000c09: PUSH1 0x02 00000c0b: EXP 00000c0c: PUSH4 0xffffffff 00000c11: DUP7 00000c12: AND 00000c13: MUL 00000c14: DUP2 00000c15: MSTORE 00000c16: PUSH1 0x04 00000c18: DUP2 00000c19: ADD 00000c1a: SWAP4 00000c1b: SWAP1 00000c1c: SWAP4 00000c1d: MSTORE 00000c1e: SWAP1 00000c1f: ISZERO 00000c20: ISZERO 00000c21: PUSH1 0x24 00000c23: DUP4 00000c24: ADD 00000c25: MSTORE 00000c26: PUSH1 0x01 00000c28: PUSH1 0xa0 00000c2a: PUSH1 0x02 00000c2c: EXP 00000c2d: SUB 00000c2e: AND 00000c2f: PUSH1 0x44 00000c31: DUP3 00000c32: ADD 00000c33: MSTORE 00000c34: PUSH1 0x64 00000c36: ADD 00000c37: PUSH1 0x00 00000c39: PUSH1 0x40 00000c3b: MLOAD 00000c3c: DUP1 00000c3d: DUP4 00000c3e: SUB 00000c3f: DUP2 00000c40: DUP7 00000c41: DUP1 00000c42: EXTCODESIZE 00000c43: ISZERO 00000c44: ISZERO 00000c45: PUSH2 0x0c4d 00000c48: JUMPI 00000c49: PUSH1 0x00 00000c4b: DUP1 00000c4c: REVERT 00000c4d: JUMPDEST 00000c4e: GAS 00000c4f: DELEGATECALL 00000c50: ISZERO 00000c51: ISZERO 00000c52: PUSH2 0x0c5a 00000c55: JUMPI 00000c56: PUSH1 0x00 00000c58: DUP1 00000c59: REVERT 00000c5a: JUMPDEST 00000c5b: POP 00000c5c: POP 00000c5d: POP 00000c5e: POP 00000c5f: POP 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000c77: PUSH4 0xc27d2d45 00000c7c: PUSH1 0x00 00000c7e: DUP4 00000c7f: PUSH1 0x40 00000c81: MLOAD 00000c82: PUSH1 0xe0 00000c84: PUSH1 0x02 00000c86: EXP 00000c87: PUSH4 0xffffffff 00000c8c: DUP6 00000c8d: AND 00000c8e: MUL 00000c8f: DUP2 00000c90: MSTORE 00000c91: PUSH1 0x04 00000c93: DUP2 00000c94: ADD 00000c95: SWAP3 00000c96: SWAP1 00000c97: SWAP3 00000c98: MSTORE 00000c99: PUSH1 0x01 00000c9b: PUSH1 0xa0 00000c9d: PUSH1 0x02 00000c9f: EXP 00000ca0: SUB 00000ca1: AND 00000ca2: PUSH1 0x24 00000ca4: DUP3 00000ca5: ADD 00000ca6: MSTORE 00000ca7: PUSH1 0x44 00000ca9: ADD 00000caa: PUSH1 0x00 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: DUP1 00000cb0: DUP4 00000cb1: SUB 00000cb2: DUP2 00000cb3: DUP7 00000cb4: DUP1 00000cb5: EXTCODESIZE 00000cb6: ISZERO 00000cb7: ISZERO 00000cb8: PUSH2 0x0bd2 00000cbb: JUMPI 00000cbc: PUSH1 0x00 00000cbe: DUP1 00000cbf: REVERT 00000cc0: JUMPDEST 00000cc1: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000cd6: PUSH4 0x081a2e06 00000cdb: PUSH1 0x00 00000cdd: DUP1 00000cde: PUSH1 0x01 00000ce0: PUSH1 0xa0 00000ce2: PUSH1 0x02 00000ce4: EXP 00000ce5: SUB 00000ce6: ADDRESS 00000ce7: AND 00000ce8: BALANCE 00000ce9: DUP13 00000cea: DUP13 00000ceb: DUP13 00000cec: DUP13 00000ced: DUP13 00000cee: DUP13 00000cef: DUP13 00000cf0: DUP13 00000cf1: PUSH1 0x40 00000cf3: MLOAD 00000cf4: DUP13 00000cf5: PUSH4 0xffffffff 00000cfa: AND 00000cfb: PUSH1 0xe0 00000cfd: PUSH1 0x02 00000cff: EXP 00000d00: MUL 00000d01: DUP2 00000d02: MSTORE 00000d03: PUSH1 0x04 00000d05: ADD 00000d06: DUP1 00000d07: DUP13 00000d08: DUP2 00000d09: MSTORE 00000d0a: PUSH1 0x20 00000d0c: ADD 00000d0d: DUP12 00000d0e: PUSH1 0x01 00000d10: PUSH1 0xa0 00000d12: PUSH1 0x02 00000d14: EXP 00000d15: SUB 00000d16: AND 00000d17: PUSH1 0x01 00000d19: PUSH1 0xa0 00000d1b: PUSH1 0x02 00000d1d: EXP 00000d1e: SUB 00000d1f: AND 00000d20: DUP2 00000d21: MSTORE 00000d22: PUSH1 0x20 00000d24: ADD 00000d25: DUP11 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x20 00000d2a: ADD 00000d2b: DUP10 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xa0 00000d30: PUSH1 0x02 00000d32: EXP 00000d33: SUB 00000d34: AND 00000d35: PUSH1 0x01 00000d37: PUSH1 0xa0 00000d39: PUSH1 0x02 00000d3b: EXP 00000d3c: SUB 00000d3d: AND 00000d3e: DUP2 00000d3f: MSTORE 00000d40: PUSH1 0x20 00000d42: ADD 00000d43: DUP9 00000d44: DUP2 00000d45: MSTORE 00000d46: PUSH1 0x20 00000d48: ADD 00000d49: DUP1 00000d4a: PUSH1 0x20 00000d4c: ADD 00000d4d: DUP7 00000d4e: DUP2 00000d4f: MSTORE 00000d50: PUSH1 0x20 00000d52: ADD 00000d53: DUP6 00000d54: DUP2 00000d55: MSTORE 00000d56: PUSH1 0x20 00000d58: ADD 00000d59: DUP1 00000d5a: PUSH1 0x20 00000d5c: ADD 00000d5d: DUP4 00000d5e: DUP2 00000d5f: SUB 00000d60: DUP4 00000d61: MSTORE 00000d62: DUP10 00000d63: DUP10 00000d64: DUP3 00000d65: DUP2 00000d66: DUP2 00000d67: MSTORE 00000d68: PUSH1 0x20 00000d6a: ADD 00000d6b: SWAP3 00000d6c: POP 00000d6d: DUP1 00000d6e: DUP3 00000d6f: DUP5 00000d70: CALLDATACOPY 00000d71: SWAP1 00000d72: SWAP2 00000d73: ADD 00000d74: DUP5 00000d75: DUP2 00000d76: SUB 00000d77: DUP4 00000d78: MSTORE 00000d79: DUP6 00000d7a: DUP2 00000d7b: MSTORE 00000d7c: PUSH1 0x20 00000d7e: ADD 00000d7f: SWAP1 00000d80: POP 00000d81: DUP6 00000d82: DUP6 00000d83: DUP1 00000d84: DUP3 00000d85: DUP5 00000d86: CALLDATACOPY 00000d87: DUP3 00000d88: ADD 00000d89: SWAP2 00000d8a: POP 00000d8b: POP 00000d8c: SWAP14 00000d8d: POP 00000d8e: POP 00000d8f: POP 00000d90: POP 00000d91: POP 00000d92: POP 00000d93: POP 00000d94: POP 00000d95: POP 00000d96: POP 00000d97: POP 00000d98: POP 00000d99: POP 00000d9a: POP 00000d9b: PUSH1 0x00 00000d9d: PUSH1 0x40 00000d9f: MLOAD 00000da0: DUP1 00000da1: DUP4 00000da2: SUB 00000da3: DUP2 00000da4: DUP7 00000da5: DUP1 00000da6: EXTCODESIZE 00000da7: ISZERO 00000da8: ISZERO 00000da9: PUSH2 0x0903 00000dac: JUMPI 00000dad: PUSH1 0x00 00000daf: DUP1 00000db0: REVERT 00000db1: JUMPDEST 00000db2: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000dc7: PUSH4 0x6a5471be 00000dcc: PUSH1 0x00 00000dce: DUP1 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: PUSH1 0xe0 00000dd4: PUSH1 0x02 00000dd6: EXP 00000dd7: PUSH4 0xffffffff 00000ddc: DUP6 00000ddd: AND 00000dde: MUL 00000ddf: DUP2 00000de0: MSTORE 00000de1: PUSH1 0x04 00000de3: DUP2 00000de4: ADD 00000de5: SWAP3 00000de6: SWAP1 00000de7: SWAP3 00000de8: MSTORE 00000de9: PUSH1 0x01 00000deb: PUSH1 0xa0 00000ded: PUSH1 0x02 00000def: EXP 00000df0: SUB 00000df1: AND 00000df2: PUSH1 0x24 00000df4: DUP3 00000df5: ADD 00000df6: MSTORE 00000df7: PUSH1 0x44 00000df9: ADD 00000dfa: PUSH1 0x00 00000dfc: PUSH1 0x40 00000dfe: MLOAD 00000dff: DUP1 00000e00: DUP4 00000e01: SUB 00000e02: DUP2 00000e03: DUP7 00000e04: DUP1 00000e05: EXTCODESIZE 00000e06: ISZERO 00000e07: ISZERO 00000e08: PUSH2 0x0e10 00000e0b: JUMPI 00000e0c: PUSH1 0x00 00000e0e: DUP1 00000e0f: REVERT 00000e10: JUMPDEST 00000e11: GAS 00000e12: DELEGATECALL 00000e13: ISZERO 00000e14: ISZERO 00000e15: PUSH2 0x0e1d 00000e18: JUMPI 00000e19: PUSH1 0x00 00000e1b: DUP1 00000e1c: REVERT 00000e1d: JUMPDEST 00000e1e: POP 00000e1f: POP 00000e20: POP 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000e38: PUSH4 0x38ac816e 00000e3d: PUSH1 0x00 00000e3f: DUP7 00000e40: DUP7 00000e41: PUSH1 0x40 00000e43: MLOAD 00000e44: PUSH32 0x6465706f73697400000000000000000000000000000000000000000000000000 00000e65: DUP2 00000e66: MSTORE 00000e67: PUSH1 0x07 00000e69: ADD 00000e6a: PUSH1 0x40 00000e6c: MLOAD 00000e6d: DUP1 00000e6e: SWAP2 00000e6f: SUB 00000e70: SWAP1 00000e71: KECCAK256 00000e72: ADDRESS 00000e73: CALLER 00000e74: DUP12 00000e75: DUP12 00000e76: PUSH1 0x40 00000e78: MLOAD 00000e79: SWAP5 00000e7a: DUP6 00000e7b: MSTORE 00000e7c: PUSH13 0x01000000000000000000000000 00000e8a: PUSH1 0x01 00000e8c: PUSH1 0xa0 00000e8e: PUSH1 0x02 00000e90: EXP 00000e91: SUB 00000e92: SWAP5 00000e93: DUP6 00000e94: AND 00000e95: DUP2 00000e96: MUL 00000e97: PUSH1 0x20 00000e99: DUP8 00000e9a: ADD 00000e9b: MSTORE 00000e9c: SWAP3 00000e9d: SWAP1 00000e9e: SWAP4 00000e9f: AND 00000ea0: SWAP1 00000ea1: SWAP2 00000ea2: MUL 00000ea3: PUSH1 0x34 00000ea5: DUP5 00000ea6: ADD 00000ea7: MSTORE 00000ea8: PUSH1 0x48 00000eaa: DUP4 00000eab: ADD 00000eac: MSTORE 00000ead: PUSH1 0x68 00000eaf: DUP3 00000eb0: ADD 00000eb1: MSTORE 00000eb2: PUSH1 0x88 00000eb4: ADD 00000eb5: PUSH1 0x40 00000eb7: MLOAD 00000eb8: DUP1 00000eb9: SWAP2 00000eba: SUB 00000ebb: SWAP1 00000ebc: KECCAK256 00000ebd: DUP8 00000ebe: DUP8 00000ebf: PUSH1 0x40 00000ec1: MLOAD 00000ec2: PUSH1 0xe0 00000ec4: PUSH1 0x02 00000ec6: EXP 00000ec7: PUSH4 0xffffffff 00000ecc: DUP10 00000ecd: AND 00000ece: MUL 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x04 00000ed3: DUP2 00000ed4: ADD 00000ed5: DUP8 00000ed6: DUP2 00000ed7: MSTORE 00000ed8: PUSH1 0x24 00000eda: DUP3 00000edb: ADD 00000edc: DUP8 00000edd: SWAP1 00000ede: MSTORE 00000edf: PUSH1 0x44 00000ee1: DUP3 00000ee2: ADD 00000ee3: DUP7 00000ee4: SWAP1 00000ee5: MSTORE 00000ee6: PUSH1 0x64 00000ee8: DUP3 00000ee9: ADD 00000eea: DUP6 00000eeb: SWAP1 00000eec: MSTORE 00000eed: PUSH1 0xa0 00000eef: PUSH1 0x84 00000ef1: DUP4 00000ef2: ADD 00000ef3: SWAP1 00000ef4: DUP2 00000ef5: MSTORE 00000ef6: PUSH1 0xa4 00000ef8: DUP4 00000ef9: ADD 00000efa: DUP5 00000efb: SWAP1 00000efc: MSTORE 00000efd: SWAP1 00000efe: SWAP2 00000eff: PUSH1 0xc4 00000f01: ADD 00000f02: DUP5 00000f03: DUP5 00000f04: DUP1 00000f05: DUP3 00000f06: DUP5 00000f07: CALLDATACOPY 00000f08: DUP3 00000f09: ADD 00000f0a: SWAP2 00000f0b: POP 00000f0c: POP 00000f0d: SWAP8 00000f0e: POP 00000f0f: POP 00000f10: POP 00000f11: POP 00000f12: POP 00000f13: POP 00000f14: POP 00000f15: POP 00000f16: PUSH1 0x00 00000f18: PUSH1 0x40 00000f1a: MLOAD 00000f1b: DUP1 00000f1c: DUP4 00000f1d: SUB 00000f1e: DUP2 00000f1f: DUP7 00000f20: DUP1 00000f21: EXTCODESIZE 00000f22: ISZERO 00000f23: ISZERO 00000f24: PUSH2 0x0f2c 00000f27: JUMPI 00000f28: PUSH1 0x00 00000f2a: DUP1 00000f2b: REVERT 00000f2c: JUMPDEST 00000f2d: GAS 00000f2e: DELEGATECALL 00000f2f: ISZERO 00000f30: ISZERO 00000f31: PUSH2 0x0f39 00000f34: JUMPI 00000f35: PUSH1 0x00 00000f37: DUP1 00000f38: REVERT 00000f39: JUMPDEST 00000f3a: POP 00000f3b: POP 00000f3c: POP 00000f3d: PUSH1 0x00 00000f3f: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000f54: PUSH4 0x914293e7 00000f59: SWAP1 00000f5a: SWAP2 00000f5b: CALLER 00000f5c: CALLVALUE 00000f5d: DUP9 00000f5e: PUSH1 0x40 00000f60: MLOAD 00000f61: PUSH1 0xe0 00000f63: PUSH1 0x02 00000f65: EXP 00000f66: PUSH4 0xffffffff 00000f6b: DUP8 00000f6c: AND 00000f6d: MUL 00000f6e: DUP2 00000f6f: MSTORE 00000f70: PUSH1 0x04 00000f72: DUP2 00000f73: ADD 00000f74: SWAP5 00000f75: SWAP1 00000f76: SWAP5 00000f77: MSTORE 00000f78: PUSH1 0x01 00000f7a: PUSH1 0xa0 00000f7c: PUSH1 0x02 00000f7e: EXP 00000f7f: SUB 00000f80: SWAP1 00000f81: SWAP3 00000f82: AND 00000f83: PUSH1 0x24 00000f85: DUP5 00000f86: ADD 00000f87: MSTORE 00000f88: PUSH1 0x44 00000f8a: DUP4 00000f8b: ADD 00000f8c: MSTORE 00000f8d: PUSH1 0x64 00000f8f: DUP3 00000f90: ADD 00000f91: MSTORE 00000f92: PUSH1 0x84 00000f94: ADD 00000f95: PUSH1 0x00 00000f97: PUSH1 0x40 00000f99: MLOAD 00000f9a: DUP1 00000f9b: DUP4 00000f9c: SUB 00000f9d: DUP2 00000f9e: DUP7 00000f9f: DUP1 00000fa0: EXTCODESIZE 00000fa1: ISZERO 00000fa2: ISZERO 00000fa3: PUSH2 0x0fab 00000fa6: JUMPI 00000fa7: PUSH1 0x00 00000fa9: DUP1 00000faa: REVERT 00000fab: JUMPDEST 00000fac: GAS 00000fad: DELEGATECALL 00000fae: ISZERO 00000faf: ISZERO 00000fb0: PUSH2 0x0fb8 00000fb3: JUMPI 00000fb4: PUSH1 0x00 00000fb6: DUP1 00000fb7: REVERT 00000fb8: JUMPDEST 00000fb9: POP 00000fba: POP 00000fbb: POP 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: POP 00000fc0: JUMP 00000fc1: JUMPDEST 00000fc2: PUSH1 0x00 00000fc4: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00000fd9: PUSH4 0xec5cbcd4 00000fde: DUP3 00000fdf: DUP5 00000fe0: PUSH1 0x40 00000fe2: MLOAD 00000fe3: PUSH1 0xe0 00000fe5: PUSH1 0x02 00000fe7: EXP 00000fe8: PUSH4 0xffffffff 00000fed: DUP6 00000fee: AND 00000fef: MUL 00000ff0: DUP2 00000ff1: MSTORE 00000ff2: PUSH1 0x04 00000ff4: DUP2 00000ff5: ADD 00000ff6: SWAP3 00000ff7: SWAP1 00000ff8: SWAP3 00000ff9: MSTORE 00000ffa: PUSH1 0x01 00000ffc: PUSH1 0xa0 00000ffe: PUSH1 0x02 00001000: EXP 00001001: SUB 00001002: AND 00001003: PUSH1 0x24 00001005: DUP3 00001006: ADD 00001007: MSTORE 00001008: PUSH1 0x44 0000100a: ADD 0000100b: PUSH1 0x20 0000100d: PUSH1 0x40 0000100f: MLOAD 00001010: DUP1 00001011: DUP4 00001012: SUB 00001013: DUP2 00001014: DUP7 00001015: DUP1 00001016: EXTCODESIZE 00001017: ISZERO 00001018: ISZERO 00001019: PUSH2 0x1021 0000101c: JUMPI 0000101d: PUSH1 0x00 0000101f: DUP1 00001020: REVERT 00001021: JUMPDEST 00001022: GAS 00001023: DELEGATECALL 00001024: ISZERO 00001025: ISZERO 00001026: PUSH2 0x102e 00001029: JUMPI 0000102a: PUSH1 0x00 0000102c: DUP1 0000102d: REVERT 0000102e: JUMPDEST 0000102f: POP 00001030: POP 00001031: POP 00001032: PUSH1 0x40 00001034: MLOAD 00001035: DUP1 00001036: MLOAD 00001037: SWAP4 00001038: SWAP3 00001039: POP 0000103a: POP 0000103b: POP 0000103c: JUMP 0000103d: JUMPDEST 0000103e: PUSH1 0x17 00001040: SLOAD 00001041: PUSH1 0xa0 00001043: PUSH1 0x02 00001045: EXP 00001046: SWAP1 00001047: DIV 00001048: PUSH1 0xff 0000104a: AND 0000104b: ISZERO 0000104c: PUSH2 0x1054 0000104f: JUMPI 00001050: PUSH1 0x00 00001052: DUP1 00001053: REVERT 00001054: JUMPDEST 00001055: PUSH1 0x17 00001057: DUP1 00001058: SLOAD 00001059: PUSH1 0xa0 0000105b: PUSH1 0x02 0000105d: EXP 0000105e: PUSH1 0xff 00001060: MUL 00001061: NOT 00001062: AND 00001063: PUSH1 0xa0 00001065: PUSH1 0x02 00001067: EXP 00001068: OR 00001069: SWAP1 0000106a: SSTORE 0000106b: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00001080: PUSH4 0x044a32e8 00001085: PUSH1 0x00 00001087: DUP1 00001088: DUP7 00001089: DUP7 0000108a: DUP7 0000108b: PUSH1 0x40 0000108d: MLOAD 0000108e: PUSH1 0xe0 00001090: PUSH1 0x02 00001092: EXP 00001093: PUSH4 0xffffffff 00001098: DUP9 00001099: AND 0000109a: MUL 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x04 0000109f: DUP2 000010a0: ADD 000010a1: SWAP6 000010a2: SWAP1 000010a3: SWAP6 000010a4: MSTORE 000010a5: PUSH1 0x01 000010a7: PUSH1 0xa0 000010a9: PUSH1 0x02 000010ab: EXP 000010ac: SUB 000010ad: SWAP4 000010ae: DUP5 000010af: AND 000010b0: PUSH1 0x24 000010b2: DUP7 000010b3: ADD 000010b4: MSTORE 000010b5: SWAP2 000010b6: SWAP1 000010b7: SWAP3 000010b8: AND 000010b9: PUSH1 0x44 000010bb: DUP5 000010bc: ADD 000010bd: MSTORE 000010be: SWAP1 000010bf: ISZERO 000010c0: ISZERO 000010c1: PUSH1 0x64 000010c3: DUP4 000010c4: ADD 000010c5: MSTORE 000010c6: ISZERO 000010c7: ISZERO 000010c8: PUSH1 0x84 000010ca: DUP3 000010cb: ADD 000010cc: MSTORE 000010cd: PUSH1 0xa4 000010cf: ADD 000010d0: PUSH1 0x00 000010d2: PUSH1 0x40 000010d4: MLOAD 000010d5: DUP1 000010d6: DUP4 000010d7: SUB 000010d8: DUP2 000010d9: DUP7 000010da: DUP1 000010db: EXTCODESIZE 000010dc: ISZERO 000010dd: ISZERO 000010de: PUSH2 0x09dc 000010e1: JUMPI 000010e2: PUSH1 0x00 000010e4: DUP1 000010e5: REVERT 000010e6: JUMPDEST 000010e7: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 000010fc: PUSH4 0xdde9806b 00001101: PUSH1 0x00 00001103: DUP7 00001104: DUP7 00001105: DUP7 00001106: DUP7 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: PUSH1 0xe0 0000110c: PUSH1 0x02 0000110e: EXP 0000110f: PUSH4 0xffffffff 00001114: DUP9 00001115: AND 00001116: MUL 00001117: DUP2 00001118: MSTORE 00001119: PUSH1 0x04 0000111b: DUP2 0000111c: ADD 0000111d: DUP7 0000111e: DUP2 0000111f: MSTORE 00001120: PUSH1 0x01 00001122: PUSH1 0xa0 00001124: PUSH1 0x02 00001126: EXP 00001127: SUB 00001128: DUP7 00001129: AND 0000112a: PUSH1 0x24 0000112c: DUP4 0000112d: ADD 0000112e: MSTORE 0000112f: PUSH1 0x44 00001131: DUP3 00001132: ADD 00001133: DUP6 00001134: SWAP1 00001135: MSTORE 00001136: PUSH1 0x80 00001138: PUSH1 0x64 0000113a: DUP4 0000113b: ADD 0000113c: SWAP1 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x84 00001141: DUP4 00001142: ADD 00001143: DUP5 00001144: SWAP1 00001145: MSTORE 00001146: SWAP1 00001147: SWAP2 00001148: PUSH1 0xa4 0000114a: ADD 0000114b: DUP5 0000114c: DUP5 0000114d: DUP1 0000114e: DUP3 0000114f: DUP5 00001150: CALLDATACOPY 00001151: DUP3 00001152: ADD 00001153: SWAP2 00001154: POP 00001155: POP 00001156: SWAP7 00001157: POP 00001158: POP 00001159: POP 0000115a: POP 0000115b: POP 0000115c: POP 0000115d: POP 0000115e: PUSH1 0x00 00001160: PUSH1 0x40 00001162: MLOAD 00001163: DUP1 00001164: DUP4 00001165: SUB 00001166: DUP2 00001167: DUP7 00001168: DUP1 00001169: EXTCODESIZE 0000116a: ISZERO 0000116b: ISZERO 0000116c: PUSH2 0x0fab 0000116f: JUMPI 00001170: PUSH1 0x00 00001172: DUP1 00001173: REVERT 00001174: JUMPDEST 00001175: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 0000118a: PUSH4 0x6c324928 0000118f: PUSH1 0x00 00001191: DUP9 00001192: DUP9 00001193: DUP9 00001194: DUP9 00001195: DUP9 00001196: DUP9 00001197: PUSH1 0x40 00001199: MLOAD 0000119a: DUP9 0000119b: PUSH4 0xffffffff 000011a0: AND 000011a1: PUSH1 0xe0 000011a3: PUSH1 0x02 000011a5: EXP 000011a6: MUL 000011a7: DUP2 000011a8: MSTORE 000011a9: PUSH1 0x04 000011ab: ADD 000011ac: DUP1 000011ad: DUP9 000011ae: DUP2 000011af: MSTORE 000011b0: PUSH1 0x20 000011b2: ADD 000011b3: DUP8 000011b4: PUSH1 0x01 000011b6: PUSH1 0xa0 000011b8: PUSH1 0x02 000011ba: EXP 000011bb: SUB 000011bc: AND 000011bd: PUSH1 0x01 000011bf: PUSH1 0xa0 000011c1: PUSH1 0x02 000011c3: EXP 000011c4: SUB 000011c5: AND 000011c6: DUP2 000011c7: MSTORE 000011c8: PUSH1 0x20 000011ca: ADD 000011cb: DUP7 000011cc: PUSH1 0x01 000011ce: PUSH1 0xa0 000011d0: PUSH1 0x02 000011d2: EXP 000011d3: SUB 000011d4: AND 000011d5: PUSH1 0x01 000011d7: PUSH1 0xa0 000011d9: PUSH1 0x02 000011db: EXP 000011dc: SUB 000011dd: AND 000011de: DUP2 000011df: MSTORE 000011e0: PUSH1 0x20 000011e2: ADD 000011e3: DUP1 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: DUP6 000011e8: DUP2 000011e9: MSTORE 000011ea: PUSH1 0x20 000011ec: ADD 000011ed: DUP5 000011ee: DUP2 000011ef: MSTORE 000011f0: PUSH1 0x20 000011f2: ADD 000011f3: DUP1 000011f4: PUSH1 0x20 000011f6: ADD 000011f7: DUP4 000011f8: DUP2 000011f9: SUB 000011fa: DUP4 000011fb: MSTORE 000011fc: DUP8 000011fd: DUP2 000011fe: DUP2 000011ff: MLOAD 00001200: DUP2 00001201: MSTORE 00001202: PUSH1 0x20 00001204: ADD 00001205: SWAP2 00001206: POP 00001207: DUP1 00001208: MLOAD 00001209: SWAP1 0000120a: PUSH1 0x20 0000120c: ADD 0000120d: SWAP1 0000120e: PUSH1 0x20 00001210: MUL 00001211: DUP1 00001212: DUP4 00001213: DUP4 00001214: PUSH1 0x00 00001216: JUMPDEST 00001217: DUP4 00001218: DUP2 00001219: LT 0000121a: ISZERO 0000121b: PUSH2 0x122e 0000121e: JUMPI 0000121f: DUP1 00001220: DUP3 00001221: ADD 00001222: MLOAD 00001223: DUP4 00001224: DUP3 00001225: ADD 00001226: MSTORE 00001227: PUSH1 0x20 00001229: ADD 0000122a: PUSH2 0x1216 0000122d: JUMP 0000122e: JUMPDEST 0000122f: POP 00001230: POP 00001231: POP 00001232: POP 00001233: SWAP1 00001234: POP 00001235: ADD 00001236: DUP4 00001237: DUP2 00001238: SUB 00001239: DUP3 0000123a: MSTORE 0000123b: DUP5 0000123c: DUP2 0000123d: DUP2 0000123e: MLOAD 0000123f: DUP2 00001240: MSTORE 00001241: PUSH1 0x20 00001243: ADD 00001244: SWAP2 00001245: POP 00001246: DUP1 00001247: MLOAD 00001248: SWAP1 00001249: PUSH1 0x20 0000124b: ADD 0000124c: SWAP1 0000124d: DUP1 0000124e: DUP4 0000124f: DUP4 00001250: PUSH1 0x00 00001252: JUMPDEST 00001253: DUP4 00001254: DUP2 00001255: LT 00001256: ISZERO 00001257: PUSH2 0x126a 0000125a: JUMPI 0000125b: DUP1 0000125c: DUP3 0000125d: ADD 0000125e: MLOAD 0000125f: DUP4 00001260: DUP3 00001261: ADD 00001262: MSTORE 00001263: PUSH1 0x20 00001265: ADD 00001266: PUSH2 0x1252 00001269: JUMP 0000126a: JUMPDEST 0000126b: POP 0000126c: POP 0000126d: POP 0000126e: POP 0000126f: SWAP1 00001270: POP 00001271: SWAP1 00001272: DUP2 00001273: ADD 00001274: SWAP1 00001275: PUSH1 0x1f 00001277: AND 00001278: DUP1 00001279: ISZERO 0000127a: PUSH2 0x1297 0000127d: JUMPI 0000127e: DUP1 0000127f: DUP3 00001280: SUB 00001281: DUP1 00001282: MLOAD 00001283: PUSH1 0x01 00001285: DUP4 00001286: PUSH1 0x20 00001288: SUB 00001289: PUSH2 0x0100 0000128c: EXP 0000128d: SUB 0000128e: NOT 0000128f: AND 00001290: DUP2 00001291: MSTORE 00001292: PUSH1 0x20 00001294: ADD 00001295: SWAP2 00001296: POP 00001297: JUMPDEST 00001298: POP 00001299: SWAP10 0000129a: POP 0000129b: POP 0000129c: POP 0000129d: POP 0000129e: POP 0000129f: POP 000012a0: POP 000012a1: POP 000012a2: POP 000012a3: POP 000012a4: PUSH1 0x00 000012a6: PUSH1 0x40 000012a8: MLOAD 000012a9: DUP1 000012aa: DUP4 000012ab: SUB 000012ac: DUP2 000012ad: DUP7 000012ae: DUP1 000012af: EXTCODESIZE 000012b0: ISZERO 000012b1: ISZERO 000012b2: PUSH2 0x076d 000012b5: JUMPI 000012b6: PUSH1 0x00 000012b8: DUP1 000012b9: REVERT 000012ba: JUMPDEST 000012bb: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 000012d0: PUSH4 0x2006b39d 000012d5: PUSH1 0x00 000012d7: DUP8 000012d8: DUP8 000012d9: DUP8 000012da: DUP8 000012db: DUP8 000012dc: PUSH1 0x40 000012de: MLOAD 000012df: DUP8 000012e0: PUSH4 0xffffffff 000012e5: AND 000012e6: PUSH1 0xe0 000012e8: PUSH1 0x02 000012ea: EXP 000012eb: MUL 000012ec: DUP2 000012ed: MSTORE 000012ee: PUSH1 0x04 000012f0: ADD 000012f1: DUP1 000012f2: DUP8 000012f3: DUP2 000012f4: MSTORE 000012f5: PUSH1 0x20 000012f7: ADD 000012f8: DUP7 000012f9: DUP2 000012fa: MSTORE 000012fb: PUSH1 0x20 000012fd: ADD 000012fe: DUP6 000012ff: DUP2 00001300: MSTORE 00001301: PUSH1 0x20 00001303: ADD 00001304: DUP5 00001305: DUP2 00001306: MSTORE 00001307: PUSH1 0x20 00001309: ADD 0000130a: DUP1 0000130b: PUSH1 0x20 0000130d: ADD 0000130e: DUP3 0000130f: DUP2 00001310: SUB 00001311: DUP3 00001312: MSTORE 00001313: DUP5 00001314: DUP5 00001315: DUP3 00001316: DUP2 00001317: DUP2 00001318: MSTORE 00001319: PUSH1 0x20 0000131b: ADD 0000131c: SWAP3 0000131d: POP 0000131e: PUSH1 0x20 00001320: MUL 00001321: DUP1 00001322: DUP3 00001323: DUP5 00001324: CALLDATACOPY 00001325: DUP3 00001326: ADD 00001327: SWAP2 00001328: POP 00001329: POP 0000132a: SWAP8 0000132b: POP 0000132c: POP 0000132d: POP 0000132e: POP 0000132f: POP 00001330: POP 00001331: POP 00001332: POP 00001333: PUSH1 0x00 00001335: PUSH1 0x40 00001337: MLOAD 00001338: DUP1 00001339: DUP4 0000133a: SUB 0000133b: DUP2 0000133c: DUP7 0000133d: DUP1 0000133e: EXTCODESIZE 0000133f: ISZERO 00001340: ISZERO 00001341: PUSH2 0x1349 00001344: JUMPI 00001345: PUSH1 0x00 00001347: DUP1 00001348: REVERT 00001349: JUMPDEST 0000134a: GAS 0000134b: DELEGATECALL 0000134c: ISZERO 0000134d: ISZERO 0000134e: PUSH2 0x1356 00001351: JUMPI 00001352: PUSH1 0x00 00001354: DUP1 00001355: REVERT 00001356: JUMPDEST 00001357: POP 00001358: POP 00001359: POP 0000135a: POP 0000135b: POP 0000135c: POP 0000135d: POP 0000135e: POP 0000135f: JUMP 00001360: JUMPDEST 00001361: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00001376: PUSH4 0x536b7ad5 0000137b: PUSH1 0x00 0000137d: DUP7 0000137e: DUP7 0000137f: DUP7 00001380: DUP7 00001381: PUSH1 0x40 00001383: MLOAD 00001384: DUP7 00001385: PUSH4 0xffffffff 0000138a: AND 0000138b: PUSH1 0xe0 0000138d: PUSH1 0x02 0000138f: EXP 00001390: MUL 00001391: DUP2 00001392: MSTORE 00001393: PUSH1 0x04 00001395: ADD 00001396: DUP1 00001397: DUP7 00001398: DUP2 00001399: MSTORE 0000139a: PUSH1 0x20 0000139c: ADD 0000139d: DUP1 0000139e: PUSH1 0x20 000013a0: ADD 000013a1: DUP1 000013a2: PUSH1 0x20 000013a4: ADD 000013a5: DUP4 000013a6: DUP2 000013a7: SUB 000013a8: DUP4 000013a9: MSTORE 000013aa: DUP8 000013ab: DUP8 000013ac: DUP3 000013ad: DUP2 000013ae: DUP2 000013af: MSTORE 000013b0: PUSH1 0x20 000013b2: ADD 000013b3: SWAP3 000013b4: POP 000013b5: PUSH1 0x20 000013b7: MUL 000013b8: DUP1 000013b9: DUP3 000013ba: DUP5 000013bb: CALLDATACOPY 000013bc: SWAP1 000013bd: SWAP2 000013be: ADD 000013bf: DUP5 000013c0: DUP2 000013c1: SUB 000013c2: DUP4 000013c3: MSTORE 000013c4: DUP6 000013c5: DUP2 000013c6: MSTORE 000013c7: PUSH1 0x20 000013c9: SWAP1 000013ca: DUP2 000013cb: ADD 000013cc: SWAP2 000013cd: POP 000013ce: DUP7 000013cf: SWAP1 000013d0: DUP7 000013d1: MUL 000013d2: DUP1 000013d3: DUP3 000013d4: DUP5 000013d5: CALLDATACOPY 000013d6: DUP3 000013d7: ADD 000013d8: SWAP2 000013d9: POP 000013da: POP 000013db: SWAP8 000013dc: POP 000013dd: POP 000013de: POP 000013df: POP 000013e0: POP 000013e1: POP 000013e2: POP 000013e3: POP 000013e4: PUSH1 0x00 000013e6: PUSH1 0x40 000013e8: MLOAD 000013e9: DUP1 000013ea: DUP4 000013eb: SUB 000013ec: DUP2 000013ed: DUP7 000013ee: DUP1 000013ef: EXTCODESIZE 000013f0: ISZERO 000013f1: ISZERO 000013f2: PUSH2 0x0fab 000013f5: JUMPI 000013f6: PUSH1 0x00 000013f8: DUP1 000013f9: REVERT 000013fa: JUMPDEST 000013fb: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 00001410: PUSH4 0xc636159e 00001415: PUSH1 0x00 00001417: DUP1 00001418: DUP9 00001419: DUP9 0000141a: DUP9 0000141b: DUP9 0000141c: DUP9 0000141d: PUSH1 0x40 0000141f: MLOAD 00001420: DUP9 00001421: PUSH4 0xffffffff 00001426: AND 00001427: PUSH1 0xe0 00001429: PUSH1 0x02 0000142b: EXP 0000142c: MUL 0000142d: DUP2 0000142e: MSTORE 0000142f: PUSH1 0x04 00001431: ADD 00001432: DUP1 00001433: DUP9 00001434: DUP2 00001435: MSTORE 00001436: PUSH1 0x20 00001438: ADD 00001439: DUP8 0000143a: PUSH1 0x01 0000143c: PUSH1 0xa0 0000143e: PUSH1 0x02 00001440: EXP 00001441: SUB 00001442: AND 00001443: PUSH1 0x01 00001445: PUSH1 0xa0 00001447: PUSH1 0x02 00001449: EXP 0000144a: SUB 0000144b: AND 0000144c: DUP2 0000144d: MSTORE 0000144e: PUSH1 0x20 00001450: ADD 00001451: DUP7 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x20 00001456: ADD 00001457: DUP6 00001458: DUP2 00001459: MSTORE 0000145a: PUSH1 0x20 0000145c: ADD 0000145d: DUP5 0000145e: DUP2 0000145f: MSTORE 00001460: PUSH1 0x20 00001462: ADD 00001463: DUP1 00001464: PUSH1 0x20 00001466: ADD 00001467: DUP3 00001468: DUP2 00001469: SUB 0000146a: DUP3 0000146b: MSTORE 0000146c: DUP5 0000146d: DUP5 0000146e: DUP3 0000146f: DUP2 00001470: DUP2 00001471: MSTORE 00001472: PUSH1 0x20 00001474: ADD 00001475: SWAP3 00001476: POP 00001477: DUP1 00001478: DUP3 00001479: DUP5 0000147a: CALLDATACOPY 0000147b: DUP3 0000147c: ADD 0000147d: SWAP2 0000147e: POP 0000147f: POP 00001480: SWAP9 00001481: POP 00001482: POP 00001483: POP 00001484: POP 00001485: POP 00001486: POP 00001487: POP 00001488: POP 00001489: POP 0000148a: PUSH1 0x00 0000148c: PUSH1 0x40 0000148e: MLOAD 0000148f: DUP1 00001490: DUP4 00001491: SUB 00001492: DUP2 00001493: DUP7 00001494: DUP1 00001495: EXTCODESIZE 00001496: ISZERO 00001497: ISZERO 00001498: PUSH2 0x1349 0000149b: JUMPI 0000149c: PUSH1 0x00 0000149e: DUP1 0000149f: REVERT 000014a0: JUMPDEST 000014a1: PUSH1 0x17 000014a3: SLOAD 000014a4: PUSH1 0xa0 000014a6: PUSH1 0x02 000014a8: EXP 000014a9: SWAP1 000014aa: DIV 000014ab: PUSH1 0xff 000014ad: AND 000014ae: ISZERO 000014af: PUSH2 0x14b7 000014b2: JUMPI 000014b3: PUSH1 0x00 000014b5: DUP1 000014b6: REVERT 000014b7: JUMPDEST 000014b8: PUSH1 0x17 000014ba: DUP1 000014bb: SLOAD 000014bc: PUSH1 0xa0 000014be: PUSH1 0x02 000014c0: EXP 000014c1: PUSH1 0xff 000014c3: MUL 000014c4: NOT 000014c5: AND 000014c6: PUSH1 0xa0 000014c8: PUSH1 0x02 000014ca: EXP 000014cb: OR 000014cc: SWAP1 000014cd: SSTORE 000014ce: PUSH20 0xedef75523582b5c0ab24cecdec6c4b51faf399d8 000014e3: PUSH4 0xc03bc3be 000014e8: PUSH1 0x00 000014ea: DUP1 000014eb: PUSH1 0x01 000014ed: PUSH1 0xa0 000014ef: PUSH1 0x02 000014f1: EXP 000014f2: SUB 000014f3: ADDRESS 000014f4: AND 000014f5: BALANCE 000014f6: DUP7 000014f7: DUP7 000014f8: PUSH1 0x40 000014fa: MLOAD 000014fb: PUSH1 0xe0 000014fd: PUSH1 0x02 000014ff: EXP 00001500: PUSH4 0xffffffff 00001505: DUP9 00001506: AND 00001507: MUL 00001508: DUP2 00001509: MSTORE 0000150a: PUSH1 0x04 0000150c: DUP2 0000150d: ADD 0000150e: DUP7 0000150f: DUP2 00001510: MSTORE 00001511: PUSH1 0x01 00001513: PUSH1 0xa0 00001515: PUSH1 0x02 00001517: EXP 00001518: SUB 00001519: DUP7 0000151a: AND 0000151b: PUSH1 0x24 0000151d: DUP4 0000151e: ADD 0000151f: MSTORE 00001520: PUSH1 0x44 00001522: DUP3 00001523: ADD 00001524: DUP6 00001525: SWAP1 00001526: MSTORE 00001527: PUSH1 0x80 00001529: PUSH1 0x64 0000152b: DUP4 0000152c: ADD 0000152d: SWAP1 0000152e: DUP2 0000152f: MSTORE 00001530: PUSH1 0x84 00001532: DUP4 00001533: ADD 00001534: DUP5 00001535: SWAP1 00001536: MSTORE 00001537: SWAP1 00001538: SWAP2 00001539: PUSH1 0xa4 0000153b: ADD 0000153c: DUP5 0000153d: PUSH1 0x20 0000153f: DUP6 00001540: MUL 00001541: DUP1 00001542: DUP3 00001543: DUP5 00001544: CALLDATACOPY 00001545: DUP3 00001546: ADD 00001547: SWAP2 00001548: POP 00001549: POP 0000154a: SWAP7 0000154b: POP 0000154c: POP 0000154d: POP 0000154e: POP 0000154f: POP 00001550: POP 00001551: POP 00001552: PUSH1 0x00 00001554: PUSH1 0x40 00001556: MLOAD 00001557: DUP1 00001558: DUP4 00001559: SUB 0000155a: DUP2 0000155b: DUP7 0000155c: DUP1 0000155d: EXTCODESIZE 0000155e: ISZERO 0000155f: ISZERO 00001560: PUSH2 0x1568 00001563: JUMPI 00001564: PUSH1 0x00 00001566: DUP1 00001567: REVERT 00001568: JUMPDEST 00001569: GAS 0000156a: DELEGATECALL 0000156b: ISZERO 0000156c: ISZERO 0000156d: PUSH2 0x1575 00001570: JUMPI 00001571: PUSH1 0x00 00001573: DUP1 00001574: REVERT 00001575: JUMPDEST 00001576: POP 00001577: POP 00001578: PUSH1 0x17 0000157a: DUP1 0000157b: SLOAD 0000157c: PUSH1 0xa0 0000157e: PUSH1 0x02 00001580: EXP 00001581: PUSH1 0xff 00001583: MUL 00001584: NOT 00001585: AND 00001586: SWAP1 00001587: SSTORE 00001588: POP 00001589: POP 0000158a: POP 0000158b: JUMP 0000158c: STOP 0000158d: LOG1 0000158e: PUSH6 0x627a7a723058 00001595: KECCAK256 00001596: UNKNOWN(0xC5) 00001597: SGT 00001598: PUSH30 0x29e7ae6b07edca4d7b228746fa106afb390edc073921fab0c01f59db0500 000015b7: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xbf136c4dd2c6d820672ec97a9da4815e48eef21b32d1156cbcf4caafa275768f
call_targets:
0xedef75523582b5c0ab24cecdec6c4b51faf399d8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbf136c4dd2c6d820672ec97a9da4815e48eef21b32d1156cbcf4caafa275768f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xedef75523582b5c0ab24cecdec6c4b51faf399d8"
],
"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": "0x089fff19",
"selector": "0x089fff19",
"calldata_variants": [
"0x089fff19",
"0x089fff190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12d7e533",
"selector": "0x12d7e533",
"calldata_variants": [
"0x12d7e533",
"0x12d7e5330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fb75dbf",
"selector": "0x1fb75dbf",
"calldata_variants": [
"0x1fb75dbf",
"0x1fb75dbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d923501",
"selector": "0x2d923501",
"calldata_variants": [
"0x2d923501",
"0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a89f648",
"selector": "0x5a89f648",
"calldata_variants": [
"0x5a89f648",
"0x5a89f6480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77d378fe",
"selector": "0x77d378fe",
"calldata_variants": [
"0x77d378fe",
"0x77d378fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89fb8a48",
"selector": "0x89fb8a48",
"calldata_variants": [
"0x89fb8a48",
"0x89fb8a480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 341,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1903,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 2077,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 16,
"untrusted_delegatecall_count": 16
}
|