S: A A C
A: B B B
B: A
A:
C: B C A
B: B B
A: A B A