S -> s
A -> a
B -> b
S -> A B
C -> A A
D -> B B
D -> D D

