Math.Algebra.Group.StringRewriting
data
S