Quelle  ab1   Sprache: unbekannt

#Infinite cyclic
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,A],
  inverses := [A,a],
  equations := []
);