[axioms]

1 = ["S"]

[rules]

S->aS,2

2,S->Sb

S->
