Quellcode-Bibliothek spacegrp.grp

#############################################################################
##
#A  spacegrp.grp              Cryst library                      Bettina Eick
#A                                                              Franz G"ahler
#A                                                              Werner Nickel
##
#Y  Copyright 1997-1999  by  Bettina Eick,  Franz G"ahler  and  Werner Nickel
##
##  Data for IT space groups
##

#############################################################################
##
#M  SpaceGroupList2d . . . . . . . . . . . . . . .data for 2d IT space groups
##
BindGlobal("SpaceGroupList2d",
[rec(
1:=rec(generators:=[],basis:=[[1,0],[0,1]],
normgens:=[[[1,0],[0,1]],[[-1,0],[0,-1]],[[0,1],[1,0]],
[[1,1],[0,-1]],[[-1,-2],[1,1]]],
normsize:=infinity)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]]]
,basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[-1,0],[0,-1]],
[[0,1],[1,0]],[[1,1],[0,-1]],
[[-1,-2],[1,1]]],normsize:=infinity)),
rec(1:=rec(generators:=[[[-1,0,0],[0,1,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,1]],[[-1,0],[0,-1]],
[[1,0],[0,-1]],[[-1,0],[0,1]],
[[1,0],[0,1]]],normsize:=4)),
rec(1:=rec(generators:=[[[-1,0,0],[0,1,0],[0,1/2,1]]
],basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,1]],[[-1,0],[0,-1]],
[[1,0],[0,-1]],[[-1,0],[0,1]],
[[1,0],[0,1]]],normsize:=4)),
rec(1:=rec(generators:=[[[-1,0,0],[0,1,0],[0,0,1]]],
basis:=[[1/2,1/2],[0,1]],
normgens:=[[[-1,0],[0,1]],[[-1,0],[0,-1]],
[[1,0],[0,-1]],[[-1,0],[0,1]]],
normsize:=4)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[-1,0],[0,1]],
[[-1,0],[0,-1]],[[1,0],[0,-1]],
[[0,1],[1,0]]],normsize:=8)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[1/2,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[-1,0],[0,1]],
[[-1,0],[0,-1]],[[1,0],[0,-1]],
[[0,1],[1,0]]],normsize:=8)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[1/2,1/2,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[-1,0],[0,1]],
[[-1,0],[0,-1]],[[1,0],[0,-1]],
[[0,1],[1,0]]],normsize:=8)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],
basis:=[[1/2,1/2],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[-1,0],[0,1]],
[[-1,0],[0,-1]],[[1,0],[0,-1]],
[[0,1],[-1,0]]],normsize:=8)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[0,1],[-1,0]],
[[-1,0],[0,-1]],[[0,1],[1,0]],
[[1,0],[0,-1]]],normsize:=8)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[0,1],[-1,0]],
[[-1,0],[0,1]],[[-1,0],[0,-1]],
[[0,1],[1,0]],[[1,0],[0,-1]]],
normsize:=8)),
rec(1:=rec(generators:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[1/2,1/2,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[-1,0],[0,-1]],[[0,1],[-1,0]],
[[-1,0],[0,1]],[[-1,0],[0,-1]],
[[0,1],[1,0]],[[1,0],[0,-1]]],
normsize:=8)),
rec(1:=rec(generators:=[[[0,1,0],[-1,-1,0],[0,0,1]]]
,basis:=[[1,0],[0,1]],
normgens:=[[[0,1],[-1,-1]],[[1,1],[-1,0]],
[[1,1],[0,-1]]],normsize:=12)),
rec(1:=rec(generators:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[0,1],[-1,-1]],[[0,-1],[-1,0]],
[[1,1],[-1,0]],[[1,1],[0,-1]]],
normsize:=12)),
rec(1:=rec(generators:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[0,1],[-1,-1]],[[0,1],[1,0]],
[[1,1],[-1,0]],[[1,1],[0,-1]]],
normsize:=12)),
rec(1:=rec(generators:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[0,1],[-1,-1]],[[-1,0],[0,-1]],
[[1,1],[-1,0]],[[1,1],[0,-1]]],
normsize:=12)),
rec(1:=rec(generators:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],
basis:=[[1,0],[0,1]],
normgens:=[[[0,1],[-1,-1]],[[-1,0],[0,-1]],
[[0,-1],[-1,0]],[[1,1],[-1,0]],
[[1,1],[0,-1]]],normsize:=12))]);

#############################################################################
##
#M  SpaceGroupList3d . . . . . . . . . . . . . . .data for 3d IT space groups
##
BindGlobal("SpaceGroupList3d",
[rec(
1:=rec(generators:=[],basis:=[[1,0,0],[0,1,0],[0,
0,1]],
normgens:=[[[1,0,0],[0,1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,-1],[0,-1,0],[1,1,1]],
[[0,1,1],[-1,0,0],[0,0,-1]],
[[1,1,1],[0,0,1],[0,-1,-1]]],
normsize:=infinity)),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,-1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,-1],[0,-1,0],[1,1,1]],
[[0,1,1],[-1,0,0],[0,0,-1]],
[[1,1,1],[0,0,1],[0,-1,-1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,2],[0,1,0],[0,0,-1]],
[[1,0,4],[0,-1,0],[-1,0,-3]],
[[1,0,-2],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[-1,0,-2],[0,1,0],[1,0,1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,-1,0],[0,1,0],[0,0,-1]],
[[1,0,0],[-2,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[1,0,0,0],[0,1,0,0],
[0,0,-1,0],[1/2,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,2],[0,1,0],[0,0,-1]],
[[1,0,4],[0,-1,0],[-1,0,-3]],
[[1,0,-2],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[-1,0,-2],[0,1,0],[1,0,1]]],
normsize:=infinity),
c:=rec(generators:=[[[1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,-1,0],[0,1,0],[0,0,-1]],
[[1,0,0],[-2,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,1/2,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,2],[0,1,0],[0,0,-1]],
[[1,0,4],[0,-1,0],[-1,0,-3]],
[[1,0,-2],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[-1,0,-2],[0,1,0],[1,0,1]]],
normsize:=infinity),
c:=rec(generators:=[[[1,0,0,0],[0,1,0,0],
[0,0,-1,0],[1/2,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,-1,0],[0,1,0],[0,0,-1]],
[[1,0,0],[-2,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,2],[0,1,0],[0,0,-1]],
[[1,0,4],[0,-1,0],[-1,0,-3]],
[[1,0,-2],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[-1,0,-2],[0,1,0],[1,0,1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,-1,0],[0,1,0],[0,0,-1]],
[[1,0,0],[-2,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[0,0,-1],[0,1,0],[1,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[1,0,2],[0,1,0],[0,0,-1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,1,0],[-1,0,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]],
[[2,1,0],[-1,0,0],[0,0,1]]],
normsize:=infinity)),
rec(b:=rec(generators:=[[[-1,0,0,0],[0,1,0,0],
[0,0,-1,0],[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,2],[0,1,0],[0,0,-1]],
[[1,0,4],[0,-1,0],[-1,0,-3]],
[[1,0,-2],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[-1,0,-1]],
[[-1,0,-2],[0,1,0],[1,0,1]]],
normsize:=infinity),
c:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,-1,0],[0,1,0],[0,0,-1]],
[[1,0,0],[-2,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[-1,-1,0],[0,1,0],[0,0,1]]],
normsize:=infinity)),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],
[0,0,1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[0,0,-1],[1,0,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,0,1],[0,1,0]],
[[0,1,0],[1,0,0],[0,0,1]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,0,1],[0,1,0]],
[[0,1,0],[1,0,0],[0,0,1]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]]],normsize:=16)
),
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=8)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,1/2,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=8)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,0,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=8)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=8)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,1]]],normsize:=16)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/4,1/4,1/4,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,1,0],[0,0,1]]],normsize:=16)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,0,1],[-1,0,0],[0,1,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[1,0,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[0,0,-1],[1,0,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/4,1/4,1/4,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[0,0,-1],[1,0,0]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[3/4,3/4,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[3/4,0,3/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[0,0,-1],[1,0,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,0,1],[0,1,0]],
[[0,1,0],[1,0,0],[0,0,1]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,0,1],[0,1,0]],
[[0,1,0],[1,0,0],[0,0,1]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,0,1],[0,1,0]],
[[0,1,0],[1,0,0],[0,0,1]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[1,0,0],[0,0,1],[0,1,0]],
[[0,1,0],[1,0,0],[0,0,1]]],normsize:=48)),
rec(
1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/4,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,3/4,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,1/2,1/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[3/4,1/4,1/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/4,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,1/4,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,1/4,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,3/4,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,3/4,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,3/4,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/4,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,3/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/4,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/4,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,3/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,"/www.3org/TR///-."
[-10,][,10,0,-],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec=generators[[100,][,10,][,,
1,][000]
[[0,1<classChapSects> chap2_mj.>2 span>-   modules  catspan "impleMath">\^1)/>groupsspan>/a
[//2,,]java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
[0,,][,,00,,0,-1,0],
12,,/,],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens/
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,span< =n;/>a=.#8527>23 a>span
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1class">br /<span class="nocss>;&bsp;/pan< href"hap2_mj.#79385660821"244TransposeCat1Group>/>
2=
ec(=[-1,,0,][,1,0,00,,
],[1/2,1/2,0,1]],
[[<=""<br=&;>a=htmljava.lang.StringIndexOutOfBoundsException: Range [109, 106) out of bounds for length 136
[1/2,0,0,1]],
[-,,,][,,,][,,-0,
[0,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis[100]010,001]
normgens/
[0,,],[-,,0,001],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[-,0,,[,java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
[0,,0],-,,][,,],
[[-1,<<a="X7BAD9A7F7AFEEC89"name="7"></a><p
,
rec(1:=rec(generators:=[[[
1,0],[0,0,0,1]],
[
[0,0,1/2,1]],
[[-,,,0],[,1,,][,,-,]
[,,,],
[,,,][,-1,0],,-,]java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
0]]java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
basis:=[[1,0,0],[0,1,  automorphisms   automorphisms
normgens:=[[[-1
[,,][1,,],00,1]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
[1,0][,0][,,1],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[0,1,[1,00][001]]
[[-1,0,0],[0,1,0],
,
rec(1:java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 50
1,0],[0,0,0,1]],
[01,0,-100,0,0010,
0,/],
[[-1,0,0,0]=">&t;<span <pan class=Gjava.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 97
[012,],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[
< f"< =func"java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 253
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[0,10]-10,,[0,01],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16))
,
rec =java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 92
1[,,,],
java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 32
java.lang.StringIndexOutOfBoundsException: Index 378 out of bounds for length 17
[0,,0,0,][0,,1,],
[0,0,1/2,1]],
[[-1,0,0,0],[0l;-&]xi
[1/2,1 
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:[[[1,,][,1,][0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[10,[,00,0,],
[[-1,0,0],[0,1,0],[0,
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,
],[1/2,1/2,0,1]],
[[0,1,0,0]=java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 105
[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
0,0,,1]]],
asis100],,,0,0,],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,
[,00][,
[[0,1,0],[-1,0,0],[0,0,1]],
[-10,],0,,]00,]],16))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-5 4]
1,0],[0,0,0,1]],
[[1,00,-,00][,,1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[,001]java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
[[-1 < =f"ExternalSetXModcode> for a crossed moduleis source group considered as a G-set of the range group using the crossed module action.</p>
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
[01,][10,0][0,0,],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0][0,0,1,
[,0][-,][,,]]
[0,,][10,0][,01],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize
2:=
rec(:[[-1,,0,0,0-1,,,[01,
],[1/2,1/2,0,1]],
[java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/,,/,],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis[00]010,0,01]
=[100][,1,][,,],
[[0,1,0],[-1,0,0],[0,0,1]],
[-,,][,1,0],[,,1],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[010,-1,00,001,
[1,0]010,001],=16)
,
rec(1:=recspanG>;/><java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 136
1,0],[0,0,0,1]],
[[0,1,0java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
[0,0,1/2,1]],
[-100,,0,,,][,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:[[100,0,,],0,01]
normgens:<With  standardcrossedconstructorslistedabove asbuilding blocks,sub modules,normalcrossed modules span class="impleMath"\( lhdcalX)/ <java.lang.StringIndexOutOfBoundsException: Range [209, 208) out of bounds for length 448
[[0,1,0],[-1,0,0],[0,0,1]],
[[,0,,-]]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[0,1,]-10,],[,,],
[[-1,0java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[/2,21/,],
[,,,][,,,][0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
><aX""java.lang.StringIndexOutOfBoundsException: Range [54, 52) out of bounds for length 62
[[0,1,0],[-1,0,0],[0,0,1]],
[[-100,01,],,-
[[-1,0,0],[0,-1,0],[0,0,-1]],
[][,-],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 0
,
=(=[10,0,0-,,0],[,0,
10,0,0,],
[0,,00,-0,0,][,,,]
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[div"<>
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[00],0-10,,,-],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16
2:=
rec(generators:=[[[-1,0,0,0],[(,(]
],[1/2,1/2,0,1]],
[[0,1,0,0],[
[/0/,]
[,0,[,,,[,,10],
[0,1/2,0,1]],> Peiffer>=java.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 257
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0 s_s_2
[0,0,0,1]]],
basis=[1,,01,],00,1],
[[1,0,0-,][0,1],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,classjava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 84
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[-< classGAPprompt>><span  java.lang.StringIndexOutOfBoundsException: Range [93, 91) out of bounds for length 117
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:/pre<div>
,
rec(1:=rec(:[[1000,0-1,,0,00java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,1<classcenter\
[1/2,1/2,0,1]],
[,,,],[,100,[,,-,0java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[1,,][,1,][,1]java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
[[0,1,0],[-1,0,0],[<ivclass=f"<func "%>tr><td class="tdleft"><code class="func">‣ PreCat1Group</code>( <var class="Arg">args</var> )</td><td class="tdright">( function )</td></tr></table></div>
[[-1,0,0],[0,1,0],[0,0,-1]],
[0,,1,0][,,1],
[-1,0][,-0][0,,-1]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,li code"ode">();<  class"">(tspan is an,whichisequivalent codeclass"ode>java.lang.StringIndexOutOfBoundsException: Range [191, 190) out of bounds for length 207
],[1/2,1/2,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[-,,,0][,-,0,0][0,0,-10]
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[,1,0][-,,],01],
[[1,0,0]],0,0][0,0,]]normsize:=16)
,
rec(1:=rec(generatorsjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,,],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[-,,0,[,,0],0,,-],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-1,0],[0,0,1]],
[[,,0,[,,][,0-1],)java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[-1,0,0,0 1,
[0,0,0,1]],
[1,,,][,,,][,,1,0,
[0,0,1/2,1]],
[[-1,0,0,0],[0,-Group(,,)]java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[,-,0][-,0,],[0,,-1],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
10,[2121/,]]
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[0,1/2,1/4,1]],
[  source
[1/2,0,3/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,1/2,1/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[-,,,0,10,00,],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[1,0,0],[0,-<iv ="xample"pre
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16),
2:=
rec(generators:[[,,,][,10,][,,,0
][/,,/,]java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/4,3/4,1/4,1]]
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[-10,,0,,100,00,10,
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens=[[-1,,][,1,0,00,]]
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],"gap&t; class=""C : java.lang.StringIndexOutOfBoundsException: Range [80, 79) out of bounds for length 95
[[-1,0,0],[0,-1class"APprompt"gap><span="APinput">rec2 : PreXModRecordOfPreCat1GroupC);/>
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
[1,0][-1,,0,,]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
[[1,0,0],[0,1,0],[0,0,-1]]],normsize "S3" "C2" ]
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,1/2,1/2,1]],
[0,,,0][,000][00,,],
[,2141]java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/4,1]],
[-1,00,][,1,,][00-1]
/
basis
normgens:
[,0,1,,,[0,1],
java.lang.StringIndexOutOfBoundsException: Index 212 out of bounds for length 28
[[-1,0,0],[0,-1,0],[0,0,-1]][4gt )java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[10,0],0,-1,],0,0,1],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,0,1/2,1]],
[[0,1,0,0],[-1,0,0,0],[0,0,1,0],
[1/4,3/4,1/4,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
-,,][0-,][,,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[-,][100]00-],
[[1,0,0],[0,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=16))
,
rec:rec(enerators=[[,,,][-,1,java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
1,0],[0,0,0,1]]],
basis:=[[1,0classjava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 120
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[ G";/java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 116
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[ *f42f7,f6*f7^ ]
1,0],[0,0,1/3,1]]],
basis:=[[1,0,0],[0,1,0],<span>&</><panGIsCat1Group(  ;/java.lang.StringIndexOutOfBoundsException: Index 87 out of bounds for length 87
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,10][-100,[,,]],ormsize24)
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[-,00,0-10,00-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(h:=recspanGAPprompt;span>span "GAPinputPC5 : PreCat1GroupByTailHeadEmbedding  t );/span>
1,0],[0,0,0,1]]],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[-1,0][0,-,],00,-],
[[-1,-1,0],[1,0,0],[0,0,1]],
[[1,1,0],[0,-1,0],[0[(,,,,)] -&t (,234,)]
r:=
rec(generators:=[[[0,1java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=12)),
rec(
1:(generators=[[0,0,][-,-1,0,],00,,
0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
:=[[,,,][1-,00,[,0,
,0]01]java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[-,00,[,-1,0,[,0,],
[[-1,-1,0],[1,0,0],[0,0,1]],
[[1,1,0],[0,-1,/li
r:=
=[[,100,0,1,[,000,
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[001]]
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[0<li>
[-1,00][-,][,,1],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=12)),
rec(
1:=rec(generators:=[[[0,1,0,0],Crossedmodule ([G8&;d12) :- 
0],[0,0,0,1]],
[[0,,1,0,],-1,,0,][00,-10,
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[,10],1,00,00-1]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
,][0,0,-1],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
0,,,]]
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0<=func"table ="func" width="00">tr><tdclass="tdleft"><code class="func">‣ AllCat1GroupsWithImage</code>( <var class="Arg">G</var>, <var class="Arg">R</var> )</td><td class="tdright">( operation )</td></tr></table></div>
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[01,][1,0,][0,
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,divfunc>tableclass"unc"width"100"<>td "tdleft">code""&#;</code> varjava.lang.StringIndexOutOfBoundsException: Range [158, 157) out of bounds for length 271
1,0],[0,0,1/3,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,-1,0],
[0,0,2/3,1]]],
basis:=[java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 0
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0< classGAPprompt>&;span "c2: Subgroup(d12,[(,)25(,)] ) /spanjava.lang.StringIndexOutOfBoundsException: Index 114 out of bounds for length 114
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,1/3,1]],
[0,,00,100,][,,10,
[0,0,0,1]]],
=[,00,01,][,,],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]]....
[[0,-1,0,0],[-1,0,0,0],[0,0,-1,0],
[0,0,1/3,1]]],
basis:=[[1,0,0],[0,1,0],java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
normgens
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[-,0,,[,10],[0,0-1]]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis=1,00,[,1,0],[0,,11]]
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[01,0]10,][00,1]]
[[-,0,,0],0,1,][,,1]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
[,,-,00],0,01]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[0,1,][100]00,],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(h:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[0,1,,],1,0,00],00,1,]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
[0,0,0,1]]],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens=[[0,1,],[-,-1,0,[0,0,1],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,-1,0],[1,0,0],[0,0,1]],
[[1,1,0],[0,-1,0],[0,0,1]]],normsize:=12),
r:=
ecgenerators:[01,,0],0,,,,],10,,0],
[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:[1,,][01,0,001]
normgens:=[[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=12)),
rec
1>  =ode>java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 558
0],[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,1,0],
[,0,01]]],
basis:=[[1,0,0],[0,1,0],[0<iv class"example>prejava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[0,][,10,00,1]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[:=24)
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[0,0,:head generators:
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[,0,0],[0,0,,0,[0,1],
[1,,0],[1,,0][0,,1]],24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,1],
[[0,-1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis(
java.lang.StringIndexOutOfBoundsException: Range [20, 8) out of bounds for length 39
[0,10][-,,0,[01]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[-1,0,0],[0,-1,0],[0,0,-java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[[,-,0],[-1,,],00,]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec==[0100][-1-,,][,,
1,0],[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[01/,]],
basis=10,0],[,,][,0,1],
normgens:=[<class"" =f" 100%>tr>td class="tdleft< "unc"&#227; StructureDescription>(<class">DimensionalGroup<var <td><td class=">(nbspoperationnbsp)<>tr
[[0,1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-,0],[-,0,],[0,1],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(h:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,-1,0,0],[-1,0,0java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[0,0,0,1]]],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[,-1,],[1,,],0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[--,0,1,,][,,],
[[1,1,0],[0,-1,0],[0,0,1]]],normsize:=12),
r:div"<IsSub2DimensionalGroup</ode> <var class="rg><var <varclass"">R0/var> </td<tdclass"tdright">( operation )</td></tr></table></div>
rec(generators:=[[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:[[0,,0],[,01][1,0,0]java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
[[0,1,0],[1,0,0],[0,0,1]],
[[0,-1< =""Thegroupoid  a<spanclass="SimpleMath">(1)/>group/span>h4
[100,,01][,,]]normsize12),
rec
h:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0121],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens=,,,[110,,,1]java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
[0,,,[,0,,00,]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,-1,0],[1,0,0],[0,0,1]],
[,1,0][0,1,][0,1]],normsize:=)java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
r:=
rec(generators:=[[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[GAPprompt"gap><span <span class="GAPinput">X33 := XModByBoundaryAndAction( bdy, act );; </span>
[[0,1,0],[1,0,0],[0,0,1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=12)),
rec(
1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,,-,0,00][0,,1,],
[0,0,1/2,1]],
[[-1,,,0][0,-,0,0][0,0,1,],
[0,0,0,1]]],
basis:=[[1,0,0],[0,java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0

[[0,-1,0],[-1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-10,],[0,-10][0,,1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:[1,,][01,],0,,],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
1,0,,1]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[11,0][1,,]00,]]normsize))
s="gap;<><pan =GAPinput"(  1112) (1113) )<span
ec=rec=[[,,,0][,1,,][,,
1,0],[0,0,0,1]],
[0,,,][,000,00-10,
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[,,,1],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(h:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,-1,0],[1,0,0],[0,0,1]],
[[1,1,0],[0,-1,0],[0,0,1]]],normsize:=12),
r:=
rec(generators:=[[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=12)),
rec(
h:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/3,2/3,2/3],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,-1,0],[1,0,0],[0,0,1]],
[[1,1,0],[0,-1,0],[0,0,1]]],normsize:=12),
r:=
rec(generators:=[[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[-1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]]],normsize:=12)),
rec(
1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,1,
0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,1/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,1/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,1/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,1/3,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,2/3,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,2/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,2/3,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,1/3,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,1/3,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0]<?xmlversion=".0"encodingUTF8">
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
]--1,,0,0,0java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
10][0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[,10,0,[10,0],[0,10,
[0,,/1],
basis=[1,,0,],[0,,][,,1],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[,-0,[,,][,,],
[0,-,0],[,0-1],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[10],-,00],0,,]]
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
rec(:[[0,10,][--100,0,0,
1,[,,,]]java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
sjava.lang.StringIndexOutOfBoundsException: Range [13, 11) out of bounds for length 89
[12,]
[[0,-1,0,0],[-1,0,java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[0,0,0,1]<=""<table =100%>trtd">codeclass="java.lang.StringIndexOutOfBoundsException: Range [92, 91) out of bounds for length 231
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0
[[-1,0,0],[0,-1,0],[0,0,1IsSinglePieceDomain"]
[[0,-1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[-0,[-,00,01]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[10,0,0],[0,1,0,],[0,,10]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
[0,0,0,1]],
[0-,00,[-00,0],[00,10,
[gt
asis00][,0],[0,0,1]],
normgens:=[[[0,1,0],[-1[(,) -;4,[(13,   & - ( - &;6] 
[[1,0,0],[0,1,0],[0,0,-1]],
[[,-,0,-1,,][,01]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[-1,0,0],[0,-1,0],[0,0,-1]],
[0,1,0,[-1,,0]],0,,0,1]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[0,-1,0,0],[-1,0,0,0],[0,0,1,0],
[0,0,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[0,1,0,0],[-1,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,1,0],
[0,0,1/2,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[0,1,0],[-1,-1,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[-1,0,0],[0,0,1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[1,1,0],[-1,0,0],[0,0,1]]],normsize:=24))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/4,1/4,1/4,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/4,1/4,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/4,0,1/4,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,3/4,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[1/4,3/4,3/4,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,1/4,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,1/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,1,0],
[1/4,1/4,1/4,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/2,1/2,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,0,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1,0,0],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,1],[1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,-1,0],[0,0,1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[1/2,1/2,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,3/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[1/4,1/4,1/4,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[3/4,1/4,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/4,1/2,3/4,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,1/2,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,1/2,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[1/2,1/2,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,3/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[3/4,3/4,3/4,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48),
2:=
rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,1,0
],[1/4,3/4,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[3/4,1/2,1/4,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,0,1/2],[0,1/2,1/2],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,1,0],[1,0,0],[0,0,1]],
[[0,0,1],[0,1,0],[1,0,0]],
[[1,0,0],[0,0,-1],[0,-1,0]],
[[1,0,0],[0,1,0],[0,0,-1]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[0,0,0,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,0,0,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[0,0,0,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48))
,
rec(1:=rec(generators:=[[[-1,0,0,0],[0,-1,0,0],[0,0,
1,0],[1/2,0,1/2,1]],
[[-1,0,0,0],[0,1,0,0],[0,0,-1,0],
[0,1/2,1/2,1]],
[[0,1,0,0],[0,0,1,0],[1,0,0,0],
[0,0,0,1]],
[[0,1,0,0],[1,0,0,0],[0,0,-1,0],
[3/4,1/4,1/4,1]],
[[-1,0,0,0],[0,-1,0,0],[0,0,-1,0],
[0,0,0,1]]],
basis:=[[1/2,1/2,1/2],[0,1,0],[0,0,1]],
normgens:=[[[-1,0,0],[0,-1,0],[0,0,1]],
[[-1,0,0],[0,1,0],[0,0,-1]],
[[0,1,0],[0,0,1],[1,0,0]],
[[0,1,0],[1,0,0],[0,0,-1]],
[[-1,0,0],[0,-1,0],[0,0,-1]],
[[0,-1,0],[0,0,-1],[-1,0,0]],
[[1,0,0],[0,0,1],[0,1,0]],
[[1,0,0],[0,0,-1],[0,1,0]]],normsize:=48)
)]);