Quelle  d22

#This group is actually D_22 (although it wasn't meant to be).
#All generators are unexpectedly involutory. 
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,A,b,B,c,C,d,D,e,E,f,F],
  inverses := [A,a,B,b,C,c,D,d,E,e,F,f],
  equations := [
  [a*C*A*d,IdWord],
  [b*f*B*E,IdWord],
  [c*e*C*D,IdWord],
  [d*F*D*a,IdWord],
  [e*b*E*A,IdWord],
  [f*C*F*B,IdWord]
               ]
);