G	L(G)
• S → ABaC
• Ba → aaB
• BC → DC
• BC → E
• aD → Da
• AD → AB
• aE → Ea
• AE → epsilon	{a^2^n
S → A	B
A → aA	aAb
B → Bb	aBb
S → aSa	bSb
A → Aa	Ab
S → aTd	T
T → BMC	epsilon
B → aBb	epsilon
M → bMc	epsilon
C → cCd	epsilon
S → SS	epsilon
S → 1XX	X1X
X → 0S	S0S