::= a b c ::= a b c b ::= b c ::= b c c b ::= b a ::= a a a ::= a a