Language of context-sensitive grammar
There are basically two possible types of derivations:


Ones that start $S \to^* X^naY^n$.
Ones that start $S \to^* X^nbY^n$.


Derivations of the first type will produce $a^{2n+1}$, those of the second type will produce $b^{n+1} a^n$.