CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

Views: 418427
HAP_GCOMPLEX_SETUP:=[false]; 
HAP_GCOMPLEX_LIST:=[[rec(TheMatrixStab:=Group([ [ [ -3, 0, 1, 1 ], [ 0, -3, -5, 2 ], [ -2, 1, 2, 0 ], [ -5, -1, 0, 2 ] ], 
  [ [ -2, 0, 0, 1 ], [ 0, -2, -5, 1 ], [ -1, 1, 2, 0 ], [ -5, 0, 0, 2 ] ], 
  [ [ -2, 0, 1, 1 ], [ 0, -2, -5, 2 ], [ -2, 1, 3, 0 ], [ -5, -1, 0, 3 ] ], 
  [ [ -2, 1, 2, 0 ], [ -5, -1, 0, 2 ], [ 1, 1, 1, -1 ], [ -5, 2, 5, 0 ] ], 
  [ [ -2, 1, 3, 0 ], [ -5, -1, 0, 3 ], [ 0, 1, 2, -1 ], [ -5, 1, 5, 1 ] ], 
  [ [ -1, -1, -2, 1 ], [ 5, -2, -5, -1 ], [ -2, 0, 0, 1 ], [ 0, -2, -5, 1 ] ],
  [ [ -1, -1, -1, 1 ], [ 5, -2, -5, 0 ], [ -3, 0, 1, 1 ], [ 0, -3, -5, 2 ] ], 
  [ [ -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, 1, 2, 0 ], [ -5, 0, 0, 2 ], [ 1, 1, 2, -1 ], [ -5, 2, 5, 1 ] ], 
  [ [ 0, -1, -2, 1 ], [ 5, -1, -5, -1 ], [ -2, 0, 1, 1 ], [ 0, -2, -5, 2 ] ], 
  [ [ 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, 1, 2, -1 ], [ -5, 1, 5, 1 ], [ 2, 0, -1, -1 ], [ 0, 2, 5, -2 ] ], 
  [ [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ], [ -1, -1, -2, 1 ], [ 5, -2, -5, -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, 1, 1, -1 ], [ -5, 2, 5, 0 ], [ 3, 0, -1, -1 ], [ 0, 3, 5, -2 ] ], 
  [ [ 1, 1, 2, -1 ], [ -5, 2, 5, 1 ], [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ] ], 
  [ [ 2, -1, -3, 0 ], [ 5, 1, 0, -3 ], [ 0, -1, -2, 1 ], [ 5, -1, -5, -1 ] ], 
  [ [ 2, -1, -2, 0 ], [ 5, 1, 0, -2 ], [ -1, -1, -1, 1 ], [ 5, -2, -5, 0 ] ], 
  [ [ 2, 0, -1, -1 ], [ 0, 2, 5, -2 ], [ 2, -1, -3, 0 ], [ 5, 1, 0, -3 ] ], 
  [ [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ], [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ] ], 
  [ [ 3, 0, -1, -1 ], [ 0, 3, 5, -2 ], [ 2, -1, -2, 0 ], [ 5, 1, 0, -2 ] ] ]),TheRotSubgroup:=Group([ [ [ -3, 0, 1, 1 ], [ 0, -3, -5, 2 ], [ -2, 1, 2, 0 ], [ -5, -1, 0, 2 ] ], 
  [ [ -2, 0, 0, 1 ], [ 0, -2, -5, 1 ], [ -1, 1, 2, 0 ], [ -5, 0, 0, 2 ] ], 
  [ [ -2, 0, 1, 1 ], [ 0, -2, -5, 2 ], [ -2, 1, 3, 0 ], [ -5, -1, 0, 3 ] ], 
  [ [ -2, 1, 2, 0 ], [ -5, -1, 0, 2 ], [ 1, 1, 1, -1 ], [ -5, 2, 5, 0 ] ], 
  [ [ -2, 1, 3, 0 ], [ -5, -1, 0, 3 ], [ 0, 1, 2, -1 ], [ -5, 1, 5, 1 ] ], 
  [ [ -1, -1, -2, 1 ], [ 5, -2, -5, -1 ], [ -2, 0, 0, 1 ], [ 0, -2, -5, 1 ] ],
  [ [ -1, -1, -1, 1 ], [ 5, -2, -5, 0 ], [ -3, 0, 1, 1 ], [ 0, -3, -5, 2 ] ], 
  [ [ -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, 1, 2, 0 ], [ -5, 0, 0, 2 ], [ 1, 1, 2, -1 ], [ -5, 2, 5, 1 ] ], 
  [ [ 0, -1, -2, 1 ], [ 5, -1, -5, -1 ], [ -2, 0, 1, 1 ], [ 0, -2, -5, 2 ] ], 
  [ [ 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, 1, 2, -1 ], [ -5, 1, 5, 1 ], [ 2, 0, -1, -1 ], [ 0, 2, 5, -2 ] ], 
  [ [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ], [ -1, -1, -2, 1 ], [ 5, -2, -5, -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, 1, 1, -1 ], [ -5, 2, 5, 0 ], [ 3, 0, -1, -1 ], [ 0, 3, 5, -2 ] ], 
  [ [ 1, 1, 2, -1 ], [ -5, 2, 5, 1 ], [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ] ], 
  [ [ 2, -1, -3, 0 ], [ 5, 1, 0, -3 ], [ 0, -1, -2, 1 ], [ 5, -1, -5, -1 ] ], 
  [ [ 2, -1, -2, 0 ], [ 5, 1, 0, -2 ], [ -1, -1, -1, 1 ], [ 5, -2, -5, 0 ] ], 
  [ [ 2, 0, -1, -1 ], [ 0, 2, 5, -2 ], [ 2, -1, -3, 0 ], [ 5, 1, 0, -3 ] ], 
  [ [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ], [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ] ], 
  [ [ 3, 0, -1, -1 ], [ 0, 3, 5, -2 ], [ 2, -1, -2, 0 ], [ 5, 1, 0, -2 ] ] ]),BoundaryImage:=rec(ListIFace:=[  ],ListSign:=[  ],ListElt:=[  ])),rec(TheMatrixStab:=Group([ [ [ -10, 0, 3, 4 ], [ 0, -10, -20, 7 ], [ -7, 4, 10, 0 ], 
      [ -20, -3, 0, 10 ] ], 
  [ [ -7, 4, 10, 0 ], [ -20, -3, 0, 10 ], [ 3, 4, 7, -4 ], [ -20, 7, 20, 3 ] ]
    , 
  [ [ -3, -4, -7, 4 ], [ 20, -7, -20, -3 ], [ -10, 0, 3, 4 ], 
      [ 0, -10, -20, 7 ] ], 
  [ [ -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 ] ], 
  [ [ 3, 4, 7, -4 ], [ -20, 7, 20, 3 ], [ 10, 0, -3, -4 ], [ 0, 10, 20, -7 ] ]
    , 
  [ [ 7, -4, -10, 0 ], [ 20, 3, 0, -10 ], [ -3, -4, -7, 4 ], 
      [ 20, -7, -20, -3 ] ], 
  [ [ 10, 0, -3, -4 ], [ 0, 10, 20, -7 ], [ 7, -4, -10, 0 ], 
      [ 20, 3, 0, -10 ] ] ]),TheRotSubgroup:=Group([ [ [ -10, 0, 3, 4 ], [ 0, -10, -20, 7 ], [ -7, 4, 10, 0 ], 
      [ -20, -3, 0, 10 ] ], 
  [ [ -7, 4, 10, 0 ], [ -20, -3, 0, 10 ], [ 3, 4, 7, -4 ], [ -20, 7, 20, 3 ] ]
    , 
  [ [ -3, -4, -7, 4 ], [ 20, -7, -20, -3 ], [ -10, 0, 3, 4 ], 
      [ 0, -10, -20, 7 ] ], 
  [ [ -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 ] ], 
  [ [ 3, 4, 7, -4 ], [ -20, 7, 20, 3 ], [ 10, 0, -3, -4 ], [ 0, 10, 20, -7 ] ]
    , 
  [ [ 7, -4, -10, 0 ], [ 20, 3, 0, -10 ], [ -3, -4, -7, 4 ], 
      [ 20, -7, -20, -3 ] ], 
  [ [ 10, 0, -3, -4 ], [ 0, 10, 20, -7 ], [ 7, -4, -10, 0 ], 
      [ 20, 3, 0, -10 ] ] ]),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, 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:=[ 1, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 2, -1, -2, 0 ], [ 5, 1, 0, -2 ], [ -1, -1, -1, 1 ], [ 5, -2, -5, 0 ] ], 
  [ [ 3, 4, 7, -4 ], [ -20, 7, 20, 3 ], [ 10, 0, -3, -4 ], [ 0, 10, 20, -7 ] 
     ] ])),rec(TheMatrixStab:=Group([ [ [ -2, 0, 0, 1 ], [ 0, -2, -5, 1 ], [ -1, 1, 2, 0 ], [ -5, 0, 0, 2 ] ], 
  [ [ -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 ] ], 
  [ [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ], [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ] ] ]),TheRotSubgroup:=Group([ [ [ -2, 0, 0, 1 ], [ 0, -2, -5, 1 ], [ -1, 1, 2, 0 ], [ -5, 0, 0, 2 ] ], 
  [ [ -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 ] ], 
  [ [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ], [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, -1, -2, 1 ], [ 5, -1, -5, -1 ], [ -2, 0, 1, 1 ], [ 0, -2, -5, 2 ] ], 
  [ [ 6, -2, -5, -1 ], [ 10, 4, 5, -6 ], [ 2, -3, -6, 1 ], [ 15, -1, -5, -5 ] 
     ] ])),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:=[ [ [ -3, 0, 1, 1 ], [ 0, -3, -5, 2 ], [ -1, -1, -1, 1 ], [ 5, -2, -5, 0 ] ], 
  [ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ]))],[rec(TheMatrixStab:=Group([ [ [ -8, 0, 3, 3 ], [ 0, -8, -15, 6 ], [ -6, 3, 8, 0 ], [ -15, -3, 0, 8 ] ], 
  [ [ -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 ] ], 
  [ [ 8, 0, -3, -3 ], [ 0, 8, 15, -6 ], [ 6, -3, -8, 0 ], [ 15, 3, 0, -8 ] ] ]),TheRotSubgroup:=Group([ [ [ -8, 0, 3, 3 ], [ 0, -8, -15, 6 ], [ -6, 3, 8, 0 ], [ -15, -3, 0, 8 ] ], 
  [ [ -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 ] ], 
  [ [ 8, 0, -3, -3 ], [ 0, 8, 15, -6 ], [ 6, -3, -8, 0 ], [ 15, 3, 0, -8 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2, 1, 2 ],ListSign:=[ 1, -1, 1, -1 ],ListElt:=[ [ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ], 
  [ [ -2, 3, 6, -2 ], [ -15, 1, 10, 4 ], [ 4, 2, 1, -3 ], [ -10, 6, 15, -2 ] ]
    , 
  [ [ 5, -3, -8, 0 ], [ 15, 2, 0, -8 ], [ -2, -3, -6, 3 ], 
      [ 15, -5, -15, -3 ] ], 
  [ [ 2, 0, 0, -1 ], [ 0, 2, 5, -1 ], [ 1, -1, -2, 0 ], [ 5, 0, 0, -2 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -9, -2, 0, 4 ], [ 10, -11, -20, 4 ], [ -13, 3, 9, 2 ], 
      [ -15, -10, -10, 11 ] ], 
  [ [ -7, 6, 12, -2 ], [ -30, -1, 10, 10 ], [ 6, 6, 7, -6 ], 
      [ -30, 12, 30, 1 ] ], 
  [ [ -3, 4, 8, -2 ], [ -20, 1, 10, 6 ], [ 5, 3, 3, -4 ], [ -15, 8, 20, -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 ] ], 
  [ [ 3, -4, -8, 2 ], [ 20, -1, -10, -6 ], [ -5, -3, -3, 4 ], 
      [ 15, -8, -20, 1 ] ], 
  [ [ 7, -6, -12, 2 ], [ 30, 1, -10, -10 ], [ -6, -6, -7, 6 ], 
      [ 30, -12, -30, -1 ] ], 
  [ [ 9, 2, 0, -4 ], [ -10, 11, 20, -4 ], [ 13, -3, -9, -2 ], 
      [ 15, 10, 10, -11 ] ] ]),TheRotSubgroup:=Group([ [ [ -7, 6, 12, -2 ], [ -30, -1, 10, 10 ], [ 6, 6, 7, -6 ], 
      [ -30, 12, 30, 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 ] ], 
  [ [ 7, -6, -12, 2 ], [ 30, 1, -10, -10 ], [ -6, -6, -7, 6 ], 
      [ 30, -12, -30, -1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 2, 3, 2, 2, 3 ],ListSign:=[ 1, -1, -1, 1, -1, -1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 8, 0, -4, -3 ], [ 0, 8, 15, -7 ], [ 7, -3, -9, 0 ], [ 15, 4, 0, -9 ] ], 
  [ [ 0, 2, 1, -1 ], [ -10, 2, 5, 0 ], [ 4, 1, -1, -1 ], [ -5, 5, 5, -2 ] ], 
  [ [ 12, 0, -6, -5 ], [ 0, 12, 25, -11 ], [ 11, -5, -16, 0 ], 
      [ 25, 6, 0, -16 ] ], 
  [ [ -9, -2, 0, 4 ], [ 10, -11, -20, 4 ], [ -13, 3, 9, 2 ], 
      [ -15, -10, -10, 11 ] ], 
  [ [ -1, -1, 2, 0 ], [ 5, -2, 0, 2 ], [ -3, 0, 2, -1 ], [ 0, -3, 5, 1 ] ] ]))]];