_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  tidyint := 10,
  generatorOrder := [w,W,u,U],
  inverses := [W,w,U,u],
  equations := [
  ]
);
