Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418384HAP_GCOMPLEX_SETUP:=[false];
HAP_GCOMPLEX_LIST:=[[rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ ],ListSign:=[ ],ListElt:=[ ])),rec(TheMatrixStab:=Group([ [ [ -5, 2, 10, 0 ], [ -28, -5, 0, 10 ], [ 3, 2, 5, -2 ], [ -28, 3, 28, 5 ] ]
, [ [ -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 ] ],
[ [ 5, -2, -10, 0 ], [ 28, 5, 0, -10 ], [ -3, -2, -5, 2 ],
[ 28, -3, -28, -5 ] ] ]),TheRotSubgroup:=Group([ [ [ -5, 2, 10, 0 ], [ -28, -5, 0, 10 ], [ 3, 2, 5, -2 ], [ -28, 3, 28, 5 ] ]
, [ [ -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 ] ],
[ [ 5, -2, -10, 0 ], [ 28, 5, 0, -10 ], [ -3, -2, -5, 2 ],
[ 28, -3, -28, -5 ] ] ]),BoundaryImage:=rec(ListIFace:=[ ],ListSign:=[ ],ListElt:=[ ])),rec(TheMatrixStab:=Group([ [ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -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 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ] ]),TheRotSubgroup:=Group([ [ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -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 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ] ]),BoundaryImage:=rec(ListIFace:=[ ],ListSign:=[ ],ListElt:=[ ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ ],ListSign:=[ ],ListElt:=[ ]))],[rec(TheMatrixStab:=Group([ [ [ -13, -2, 0, 4 ], [ 28, -13, -56, 0 ], [ -13, 2, 13, 2 ],
[ -28, -13, -28, 13 ] ],
[ [ -13, 2, 13, 2 ], [ -28, -13, -28, 13 ], [ 0, 4, 13, -2 ],
[ -56, 0, 28, 13 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, -4, -13, 2 ], [ 56, 0, -28, -13 ], [ -13, -2, 0, 4 ],
[ 28, -13, -56, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 0, 4, 13, -2 ], [ -56, 0, 28, 13 ], [ 13, 2, 0, -4 ],
[ -28, 13, 56, 0 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 13, -2, -13, -2 ], [ 28, 13, 28, -13 ], [ 0, -4, -13, 2 ],
[ 56, 0, -28, -13 ] ],
[ [ 13, 2, 0, -4 ], [ -28, 13, 56, 0 ], [ 13, -2, -13, -2 ],
[ 28, 13, 28, -13 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 1 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, -4, -13, 2 ], [ 56, 0, -28, -13 ], [ -13, -2, 0, 4 ],
[ 28, -13, -56, 0 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 3 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 3 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ -4, -2, -3, 2 ], [ 28, -4, -28, -3 ], [ -5, 0, 3, 1 ],
[ 0, -5, -14, 3 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 5, 1, 0, -2 ], [ -14, 5, 28, 0 ], [ 4, 0, -3, -1 ], [ 0, 4, 14, -3 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 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, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 1 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 4 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -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 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 4 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -5, 2, 10, 0 ], [ -28, -5, 0, 10 ], [ 3, 2, 5, -2 ], [ -28, 3, 28, 5 ] ]
,
[ [ 9, -1, -10, -2 ], [ 14, 9, 28, -10 ], [ 1, -2, -9, 1 ],
[ 28, 1, -14, -9 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 3, 4 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 21, -1, -16, -5 ], [ 14, 21, 70, -16 ], [ 11, -5, -25, 0 ],
[ 70, 11, 0, -25 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 3, 4 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ 5, -3, -15, 0 ], [ 42, 5, 0, -15 ], [ -5, -3, -10, 3 ],
[ 42, -5, -42, -10 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -24, 0, 15, 5 ], [ 0, -24, -70, 15 ], [ -15, 5, 24, 0 ],
[ -70, -15, 0, 24 ] ],
[ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 0, -5, -15, 3 ], [ 70, 0, -42, -15 ], [ -15, -3, 0, 5 ],
[ 42, -15, -70, 0 ] ],
[ [ 0, 5, 15, -3 ], [ -70, 0, 42, 15 ], [ 15, 3, 0, -5 ],
[ -42, 15, 70, 0 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ],
[ [ 24, 0, -15, -5 ], [ 0, 24, 70, -15 ], [ 15, -5, -24, 0 ],
[ 70, 15, 0, -24 ] ] ]),TheRotSubgroup:=Group([ [ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -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 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 3, 3 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ],
[ [ 0, 5, 15, -3 ], [ -70, 0, 42, 15 ], [ 15, 3, 0, -5 ],
[ -42, 15, 70, 0 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -13, -2, 4, 4 ], [ 28, -13, -56, 4 ], [ -14, 1, 13, 2 ],
[ -14, -14, -28, 13 ] ],
[ [ -13, 2, 14, 1 ], [ -28, -13, -14, 14 ], [ -4, 4, 13, -2 ],
[ -56, -4, 28, 13 ] ],
[ [ -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 ] ],
[ [ 13, -2, -14, -1 ], [ 28, 13, 14, -14 ], [ 4, -4, -13, 2 ],
[ 56, 4, -28, -13 ] ],
[ [ 13, 2, -4, -4 ], [ -28, 13, 56, -4 ], [ 14, -1, -13, -2 ],
[ 14, 14, 28, -13 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ] ]),TheRotSubgroup:=Group([ [ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -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 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 3, 3 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -13, 2, 14, 1 ], [ -28, -13, -14, 14 ], [ -4, 4, 13, -2 ],
[ -56, -4, 28, 13 ] ],
[ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ] ]))],[rec(TheMatrixStab:=Group([ [ [ -13, -2, 0, 4 ], [ 28, -13, -56, 0 ], [ -13, 2, 13, 2 ],
[ -28, -13, -28, 13 ] ],
[ [ -9, 4, 18, 0 ], [ -56, -9, 0, 18 ], [ 8, 4, 9, -4 ], [ -56, 8, 56, 9 ] ]
,
[ [ -5, 2, 10, 0 ], [ -28, -5, 0, 10 ], [ 3, 2, 5, -2 ], [ -28, 3, 28, 5 ] ]
, [ [ -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 ] ],
[ [ 5, -2, -10, 0 ], [ 28, 5, 0, -10 ], [ -3, -2, -5, 2 ],
[ 28, -3, -28, -5 ] ],
[ [ 9, -4, -18, 0 ], [ 56, 9, 0, -18 ], [ -8, -4, -9, 4 ],
[ 56, -8, -56, -9 ] ],
[ [ 13, 2, 0, -4 ], [ -28, 13, 56, 0 ], [ 13, -2, -13, -2 ],
[ 28, 13, 28, -13 ] ] ]),TheRotSubgroup:=Group([ [ [ -9, 4, 18, 0 ], [ -56, -9, 0, 18 ], [ 8, 4, 9, -4 ], [ -56, 8, 56, 9 ] ]
, [ [ -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 ] ],
[ [ 9, -4, -18, 0 ], [ 56, 9, 0, -18 ], [ -8, -4, -9, 4 ],
[ 56, -8, -56, -9 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2, 2, 2, 1, 2 ],ListSign:=[ 1, -1, 1, -1, -1, 1 ],ListElt:=[ [ [ 13, -2, -13, -2 ], [ 28, 13, 28, -13 ], [ 0, -4, -13, 2 ],
[ 56, 0, -28, -13 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ -13, -2, 0, 4 ], [ 28, -13, -56, 0 ], [ -13, 2, 13, 2 ],
[ -28, -13, -28, 13 ] ],
[ [ -9, 4, 18, 0 ], [ -56, -9, 0, 18 ], [ 8, 4, 9, -4 ], [ -56, 8, 56, 9 ] ]
,
[ [ -9, 4, 18, 0 ], [ -56, -9, 0, 18 ], [ 8, 4, 9, -4 ], [ -56, 8, 56, 9 ] ]
,
[ [ -5, 2, 10, 0 ], [ -28, -5, 0, 10 ], [ 3, 2, 5, -2 ], [ -28, 3, 28, 5 ]
] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 7, 3, 9 ],ListSign:=[ 1, 1, -1, -1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 5, -2, -10, 0 ], [ 28, 5, 0, -10 ], [ -3, -2, -5, 2 ],
[ 28, -3, -28, -5 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 15, 0, -10, -3 ], [ 0, 15, 42, -10 ], [ 10, -3, -15, 0 ],
[ 42, 10, 0, -15 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 7, 3, 10 ],ListSign:=[ 1, 1, -1, -1 ],ListElt:=[ [ [ 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, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ -10, 3, 15, 0 ], [ -42, -10, 0, 15 ], [ 5, 3, 5, -3 ],
[ -42, 5, 42, 5 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -3, 1, 6, 0 ], [ -14, -3, 0, 6 ], [ 1, 1, 3, -1 ], [ -14, 1, 14, 3 ] ],
[ [ -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 ] ],
[ [ 3, -1, -6, 0 ], [ 14, 3, 0, -6 ], [ -1, -1, -3, 1 ],
[ 14, -1, -14, -3 ] ] ]),TheRotSubgroup:=Group([ [ [ -3, 1, 6, 0 ], [ -14, -3, 0, 6 ], [ 1, 1, 3, -1 ], [ -14, 1, 14, 3 ] ],
[ [ -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 ] ],
[ [ 3, -1, -6, 0 ], [ 14, 3, 0, -6 ], [ -1, -1, -3, 1 ],
[ 14, -1, -14, -3 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 5, 2, 5 ],ListSign:=[ 1, -1, 1, -1 ],ListElt:=[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 3, -1, -6, 0 ], [ 14, 3, 0, -6 ], [ -1, -1, -3, 1 ],
[ 14, -1, -14, -3 ] ],
[ [ 3, -1, -6, 0 ], [ 14, 3, 0, -6 ], [ -1, -1, -3, 1 ],
[ 14, -1, -14, -3 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -11, 0, 8, 2 ], [ 0, -11, -28, 8 ], [ -8, 2, 11, 0 ],
[ -28, -8, 0, 11 ] ],
[ [ -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 ] ],
[ [ 11, 0, -8, -2 ], [ 0, 11, 28, -8 ], [ 8, -2, -11, 0 ],
[ 28, 8, 0, -11 ] ] ]),TheRotSubgroup:=Group([ [ [ -11, 0, 8, 2 ], [ 0, -11, -28, 8 ], [ -8, 2, 11, 0 ],
[ -28, -8, 0, 11 ] ],
[ [ -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 ] ],
[ [ 11, 0, -8, -2 ], [ 0, 11, 28, -8 ], [ 8, -2, -11, 0 ],
[ 28, 8, 0, -11 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 3, 12, 4, 4, 3, 12 ],ListSign:=[ 1, -1, -1, -1, 1, 1 ],ListElt:=[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ -15, 0, 10, 3 ], [ 0, -15, -42, 10 ], [ -10, 3, 15, 0 ],
[ -42, -10, 0, 15 ] ],
[ [ -3, 2, 11, 0 ], [ -28, -3, 0, 11 ], [ 3, 2, 8, -2 ], [ -28, 3, 28, 8 ] ]
, [ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ -11, 0, 8, 2 ], [ 0, -11, -28, 8 ], [ -8, 2, 11, 0 ],
[ -28, -8, 0, 11 ] ],
[ [ -1, 2, 6, -1 ], [ -28, -1, 14, 6 ], [ 4, 2, 3, -2 ], [ -28, 4, 28, 3 ]
] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 4, 5, 10, 8 ],ListSign:=[ 1, -1, 1, -1 ],ListElt:=[ [ [ -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 ] ],
[ [ -6, -1, 1, 2 ], [ 14, -6, -28, 1 ], [ -3, 1, 5, 0 ], [ -14, -3, 0, 5 ] ]
,
[ [ -3, 1, 6, 0 ], [ -14, -3, 0, 6 ], [ 1, 1, 3, -1 ], [ -14, 1, 14, 3 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 4, 5, 8, 9 ],ListSign:=[ 1, -1, -1, 1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ -4, 0, 3, 1 ], [ 0, -4, -14, 3 ], [ 1, 1, 3, -1 ], [ -14, 1, 14, 3 ] ],
[ [ 4, 2, 3, -2 ], [ -28, 4, 28, 3 ], [ 5, 0, -3, -1 ], [ 0, 5, 14, -3 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 2, 0 ], [ 0, -1, 0, 2 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 2, 0 ], [ 0, -1, 0, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 1, 0, -1, 0 ], [ 0, 1, 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 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 2, 0 ], [ 0, -1, 0, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 5, 6, 5, 5, 6, 5 ],ListSign:=[ 1, 1, -1, 1, -1, -1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 2, 0 ], [ 0, -1, 0, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -9, 1, 10, 2 ], [ -14, -9, -28, 10 ], [ -1, 2, 9, -1 ],
[ -28, -1, 14, 9 ] ],
[ [ -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 ] ],
[ [ 9, -1, -10, -2 ], [ 14, 9, 28, -10 ], [ 1, -2, -9, 1 ],
[ 28, 1, -14, -9 ] ] ]),TheRotSubgroup:=Group([ [ [ -9, 1, 10, 2 ], [ -14, -9, -28, 10 ], [ -1, 2, 9, -1 ],
[ -28, -1, 14, 9 ] ],
[ [ -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 ] ],
[ [ 9, -1, -10, -2 ], [ 14, 9, 28, -10 ], [ 1, -2, -9, 1 ],
[ 28, 1, -14, -9 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 7, 8, 7, 8 ],ListSign:=[ 1, -1, 1, -1 ],ListElt:=[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ -9, 1, 10, 2 ], [ -14, -9, -28, 10 ], [ -1, 2, 9, -1 ],
[ -28, -1, 14, 9 ] ],
[ [ -9, 1, 10, 2 ], [ -14, -9, -28, 10 ], [ -1, 2, 9, -1 ],
[ -28, -1, 14, 9 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -39, -5, 10, 11 ], [ 70, -39, -154, 10 ], [ -40, 5, 39, 5 ],
[ -70, -40, -70, 39 ] ],
[ [ -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 ] ],
[ [ 39, 5, -10, -11 ], [ -70, 39, 154, -10 ], [ 40, -5, -39, -5 ],
[ 70, 40, 70, -39 ] ] ]),TheRotSubgroup:=Group([ [ [ -39, -5, 10, 11 ], [ 70, -39, -154, 10 ], [ -40, 5, 39, 5 ],
[ -70, -40, -70, 39 ] ],
[ [ -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 ] ],
[ [ 39, 5, -10, -11 ], [ -70, 39, 154, -10 ], [ 40, -5, -39, -5 ],
[ 70, 40, 70, -39 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 9, 11, 10, 10, 9, 11 ],ListSign:=[ 1, 1, -1, -1, 1, -1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -24, 0, 15, 5 ], [ 0, -24, -70, 15 ], [ -15, 5, 24, 0 ],
[ -70, -15, 0, 24 ] ],
[ [ 0, -5, -15, 3 ], [ 70, 0, -42, -15 ], [ -15, -3, 0, 5 ],
[ 42, -15, -70, 0 ] ],
[ [ 38, 0, -25, -8 ], [ 0, 38, 112, -25 ], [ 25, -8, -40, 0 ],
[ 112, 25, 0, -40 ] ],
[ [ -39, -5, 10, 11 ], [ 70, -39, -154, 10 ], [ -40, 5, 39, 5 ],
[ -70, -40, -70, 39 ] ],
[ [ -39, -5, 10, 11 ], [ 70, -39, -154, 10 ], [ -40, 5, 39, 5 ],
[ -70, -40, -70, 39 ] ] ]))]];