Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 51952024 extreme rays 457 support hyperplanes embedding dimension = 16 rank = 16 (maximal) external index = 3 internal index = 1 size of triangulation = 1382 resulting sum of |det|s = 2531 grading: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 with denominator = 3 degrees of extreme rays: 1: 24 multiplicity = 2531 Hilbert series: 1 8 32 88 207 412 660 670 365 84 4 denominator with 16 factors: 1: 16 degree of Hilbert Series as rational function = -6 Hilbert polynomial: 1307674368000 4891636915200 8094764687040 7984354190544 5311458384960 2549079496600 920248268940 256935171493 56529188430 9925179550 1402551150 160319432 14897610 1140650 69870 2531 with common denominator = 1307674368000 *********************************************************************** 24 extreme rays: 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 457 support hyperplanes: -8 4 4 4 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 -8 4 4 4 4 -2 -2 4 -2 4 -2 1 1 1 1 -2 -4 2 2 2 2 -4 2 2 -1 2 -1 -1 2 -1 2 -1 -4 2 2 2 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 -4 2 2 2 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 -4 2 2 2 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 -4 2 2 2 2 -1 -1 2 -1 2 -1 -1 2 2 -1 -1 -4 2 2 2 2 -1 -1 2 -1 2 -1 1 0 0 0 0 -4 8 -4 8 -4 2 2 -4 2 2 -1 -1 2 -1 2 -1 -2 -2 4 4 -2 -2 4 -2 4 -2 -2 4 -2 1 1 1 -2 -2 4 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 -2 1 1 1 1 -2 1 1 -2 1 1 -2 4 -2 4 -2 -2 1 1 1 1 -2 1 1 -2 1 1 0 0 0 0 0 -2 1 1 1 1 -2 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 -2 2 0 0 0 0 0 0 -2 1 1 1 1 -2 1 1 -2 4 -2 -2 4 -2 4 -2 -2 1 1 1 1 -2 1 1 -1 1 0 0 0 0 0 0 -2 1 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 1 -2 1 1 1 -2 1 -2 1 1 1 1 -2 1 1 1 1 -2 1 1 1 1 -2 -2 1 1 1 1 -2 1 1 1 1 -2 2 0 0 0 0 -2 1 1 1 1 -2 2 0 -2 2 0 0 0 0 0 0 -2 1 1 1 1 -2 2 0 0 0 0 0 0 0 0 0 -2 1 1 1 1 -2 2 0 2 0 -2 2 0 0 0 0 -2 1 1 1 1 -2 4 -2 -2 4 -2 -2 4 -2 4 -2 -2 1 1 1 1 -2 4 -2 4 -2 -2 4 -2 -2 4 4 -2 1 1 1 1 -2 4 -2 4 -2 -2 4 -2 1 1 1 -2 1 1 1 1 -2 4 -2 4 -2 -2 4 -2 4 4 -2 -2 1 1 1 1 -2 4 -2 4 -2 -2 4 0 0 0 0 -2 1 1 1 1 -2 4 -2 4 -2 -2 4 4 -8 4 4 -2 1 1 1 1 -2 4 -2 4 -2 -2 4 4 4 4 -8 -2 1 1 1 1 -2 4 -2 4 -2 1 1 -2 1 1 1 -2 1 1 1 1 -2 4 -2 4 -2 2 0 0 0 0 0 -2 1 1 1 1 -1 0 1 -1 1 0 0 0 0 0 0 -2 1 1 1 1 0 -1 1 0 1 0 0 0 0 0 0 -2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 -2 1 1 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 -2 1 1 1 1 1 -2 1 1 1 1 -2 4 -2 4 -2 -2 1 1 1 1 1 -2 1 1 1 1 0 0 0 0 0 -2 1 1 1 1 1 -2 1 1 1 1 1 -2 1 1 1 -2 4 -2 4 -2 -2 4 -2 -2 4 -2 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 -2 4 -2 1 1 1 1 -2 -2 4 -2 4 -2 -2 4 -2 1 1 -2 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 1 1 -2 1 1 1 1 -2 -2 4 -2 4 -2 -2 4 -2 4 -2 -2 4 -2 1 1 1 -2 4 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 1 -2 4 -2 4 -2 -2 4 1 1 -2 1 1 -2 1 1 1 -2 4 -2 4 -2 -2 4 4 -2 -2 4 -2 1 1 -2 1 -2 4 -2 4 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -2 4 -2 4 -2 1 1 -2 1 1 -2 1 1 1 -2 1 -2 4 -2 4 -2 1 1 -2 1 1 -2 1 1 1 1 -2 -2 4 -2 4 -2 1 1 -2 1 1 -2 2 0 0 0 0 -2 4 -2 4 -2 1 1 -2 1 1 0 0 0 0 0 0 -2 4 -2 4 -2 1 1 -2 1 1 1 -2 1 1 -2 1 -2 4 -2 4 -2 1 1 1 1 -2 1 1 -2 1 1 1 -2 4 -2 4 -2 1 1 1 1 -2 1 1 0 0 0 0 -2 4 -2 4 -2 1 1 1 1 -2 1 1 1 -2 1 1 -2 4 -2 4 -2 1 1 1 1 -2 1 1 1 1 1 -2 -2 4 -2 4 -2 1 1 1 1 -2 2 0 0 0 0 0 -2 4 4 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 -2 4 4 -2 4 -2 -2 4 -2 4 -2 1 1 1 1 -2 -1 -1 2 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 -1 2 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 -1 -1 2 2 -1 -1 2 -1 2 -1 -1 2 -1 2 2 -1 -1 -1 2 2 -1 -1 2 -1 2 -1 -1 2 0 0 0 0 -1 -1 2 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 2 -1 -1 2 2 -1 -1 2 -1 2 -1 -1 2 2 2 2 -4 -1 -1 2 2 -1 -1 2 -1 2 -1 1 0 0 0 0 0 -1 0 1 1 0 -1 1 0 -1 1 0 0 0 0 0 0 -1 0 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 1 0 1 0 -1 1 0 0 0 0 -1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 1 0 -1 1 0 0 0 0 0 0 -1 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 1 0 1 0 -1 1 0 0 0 0 -1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 1 -1 0 1 -1 1 0 0 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 -1 2 2 -4 2 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 -1 2 2 -1 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 1 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 -1 2 0 0 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 -1 2 2 -4 2 2 -4 2 -1 2 -1 2 -1 -1 2 -1 1 0 -1 1 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 1 0 0 0 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 2 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 2 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 2 2 2 -4 -1 2 -1 2 -1 -1 2 -1 2 -1 1 0 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 2 0 -2 2 0 0 0 0 -1 2 -1 2 -1 -1 2 -1 2 2 -4 2 2 -4 2 2 -1 2 -1 2 -1 -1 2 -1 2 2 -4 2 2 2 2 -4 -1 2 -1 2 -1 -1 2 0 -2 2 0 0 0 0 0 0 -1 2 -1 2 -1 -1 2 0 0 0 0 0 0 0 0 0 -1 2 -1 2 -1 -1 2 1 0 -1 1 0 0 0 0 0 -1 2 -1 2 -1 -1 2 2 -4 2 2 -4 2 2 -4 2 -1 2 -1 2 -1 -1 2 2 -4 2 2 -4 8 -4 8 -4 -1 2 -1 2 -1 -1 2 2 -4 2 2 0 0 0 0 0 -1 2 -1 2 -1 -1 2 2 -4 2 2 2 -4 2 2 2 -1 2 -1 2 -1 -1 2 2 -1 -1 2 -1 -1 2 -1 2 -1 2 -1 2 -1 -1 2 2 -1 -1 2 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -1 -1 2 0 0 0 0 0 -1 2 -1 2 -1 -1 2 2 -1 -1 2 2 -4 2 2 2 -1 2 -1 2 -1 0 1 -1 1 0 -1 1 0 0 0 0 -1 2 -1 2 -1 0 1 -1 1 0 0 0 0 0 0 0 -1 2 -1 2 -1 0 1 1 0 -1 1 0 0 0 0 0 -1 2 -1 2 -1 1 0 0 0 0 0 0 0 0 0 0 -1 2 -1 2 -1 1 0 1 1 -1 1 0 0 0 0 0 -1 2 -1 2 -1 2 -1 -1 2 2 -1 -1 2 -1 2 -1 -1 2 2 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 2 2 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 -1 2 2 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -1 -1 -1 2 2 -1 2 -1 -1 2 -1 2 -1 1 0 0 0 0 0 -1 1 1 -1 0 1 -1 1 0 -1 1 0 0 0 0 0 -1 1 1 -1 0 1 -1 1 0 0 0 0 0 0 0 0 -1 1 1 -1 0 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 2 -2 1 1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 2 -1 2 -1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 1 0 0 0 0 0 0 0 0 0 0 2 -2 1 1 -2 1 0 0 0 0 0 0 0 0 0 1 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 1 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 -2 1 0 0 0 0 0 0 0 0 0 2 -2 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 2 -2 1 1 1 1 -2 0 0 0 0 0 0 0 0 0 2 -1 -1 2 -1 2 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 -1 1 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 1 -2 1 0 0 0 0 0 0 0 1 -1 1 0 -1 1 1 -1 0 0 0 0 0 0 0 0 1 -1 1 0 -1 2 -1 2 -1 0 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 1 -2 1 1 -2 1 0 0 0 0 0 0 0 1 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 -1 0 1 -1 0 1 0 0 0 0 0 0 1 -1 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 1 -1 0 1 -1 0 1 0 1 -1 0 0 0 0 0 0 1 -1 0 1 -1 0 1 1 -2 1 0 0 0 0 0 0 1 -1 0 1 -1 0 1 1 0 -1 0 0 0 0 0 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 1 -2 1 1 -2 1 0 0 0 0 0 0 1 -1 1 0 -1 1 0 -1 1 1 0 0 0 0 0 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 1 1 -1 0 0 0 0 0 0 1 -1 1 0 -1 1 1 -2 1 1 0 0 0 0 0 0 1 -1 1 0 -1 1 1 1 1 -2 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 1 -2 1 1 -2 1 1 0 0 0 0 0 0 1 -1 1 1 -2 1 1 1 1 -2 0 0 0 0 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -1 0 1 -1 0 1 1 0 0 0 0 0 0 1 0 1 -1 0 1 -1 1 1 0 0 0 0 0 0 0 1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 -1 0 1 1 -2 1 1 0 0 0 0 0 0 1 0 1 -1 0 1 1 1 1 -2 0 0 0 0 0 0 1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 -2 1 1 -2 1 0 0 0 0 0 0 1 1 -2 1 1 -2 4 -2 4 -2 0 0 0 0 0 0 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 1 -2 1 1 1 0 0 0 0 0 0 1 1 0 -1 1 0 -1 1 0 1 0 0 0 0 0 0 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 -1 1 1 -2 1 1 1 0 0 0 0 0 0 2 -2 0 2 -2 1 1 -2 1 1 0 0 0 0 0 0 2 -2 0 2 -2 1 1 1 1 -2 0 0 0 0 0 0 2 -2 0 2 -1 -1 2 -1 2 -1 0 0 0 0 0 0 2 -2 1 1 -2 1 1 -2 1 1 0 0 0 0 0 0 2 -2 1 1 -2 1 1 1 1 -2 0 0 0 0 0 0 2 -1 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 0 0 2 0 2 -2 0 2 -2 1 1 1 0 0 0 0 0 0 2 0 2 -2 1 1 -2 1 1 1 0 0 0 0 0 0 2 1 1 -2 1 1 -2 1 1 1 0 0 0 0 0 1 -1 0 1 1 0 -1 1 0 -1 1 0 0 0 0 0 1 -1 0 1 1 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 1 1 0 -1 1 1 -2 1 0 0 0 0 0 1 -1 0 1 1 0 -1 1 1 -1 0 0 0 0 0 0 1 -1 0 1 1 0 -1 2 -1 2 -1 0 0 0 0 0 1 -1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 1 1 -2 1 1 -2 1 0 0 0 0 0 1 -1 0 1 2 -1 -1 2 -1 2 -1 0 0 0 0 0 1 -1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 1 0 1 -1 0 1 -1 1 0 0 0 0 0 1 -1 1 1 0 1 -1 2 -1 2 -1 0 0 0 0 0 1 -1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 -1 1 1 0 1 1 -2 1 1 1 0 0 0 0 0 1 -1 2 -1 2 -1 -1 2 -1 -1 2 0 0 0 0 0 1 -1 2 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 0 1 -1 2 -1 2 -1 -1 2 2 -4 2 0 0 0 0 0 1 -1 2 -1 2 -1 -1 2 2 -1 -1 0 0 0 0 0 1 -1 2 -1 2 -1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 -1 1 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 -2 1 1 -2 1 1 0 0 0 0 0 1 1 -2 1 1 -2 1 1 1 -2 1 0 0 0 0 0 1 1 -2 1 1 -2 1 1 1 1 -2 0 0 0 0 0 1 1 -2 1 1 -2 2 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 1 -2 1 1 -2 1 0 0 0 0 0 1 1 1 1 -2 1 1 -2 1 1 1 0 0 0 0 0 1 1 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 -2 1 1 1 -2 1 1 0 0 0 0 0 1 1 1 1 -2 1 1 1 1 1 -2 0 0 0 0 0 1 1 1 1 -2 2 0 0 0 0 0 0 0 0 0 0 2 -2 1 1 1 1 -2 1 1 -2 1 0 0 0 0 0 2 -2 1 1 1 1 -2 4 -2 4 -2 0 0 0 0 0 2 -2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 2 -2 1 1 1 1 1 -2 1 1 1 0 0 0 0 0 2 -2 2 2 0 2 -2 1 1 -2 1 0 0 0 0 0 2 -2 4 -2 4 -2 1 1 -2 1 1 0 0 0 0 0 2 -2 4 -2 4 -2 1 1 1 1 -2 0 0 0 0 0 2 -1 -1 2 2 -1 -1 2 -1 2 -1 0 0 0 0 0 2 2 -4 2 2 -1 -1 2 -1 2 -1 0 0 0 0 1 -1 0 1 -1 1 0 -1 1 0 -1 1 0 0 0 0 1 -1 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 1 -1 0 1 -1 1 0 -1 1 1 -2 1 0 0 0 0 1 -1 0 1 -1 1 0 -1 1 1 -1 0 0 0 0 0 1 -1 0 1 -1 1 0 -1 2 -1 2 -1 0 0 0 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 -1 1 1 -2 1 1 -2 1 0 0 0 0 1 -1 0 1 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 1 -1 0 1 0 1 -1 0 1 -1 0 1 0 0 0 0 1 -1 0 1 0 1 -1 0 1 -1 1 0 0 0 0 0 1 -1 0 1 0 1 -1 0 1 0 1 -1 0 0 0 0 1 -1 0 1 0 1 -1 0 1 1 -2 1 0 0 0 0 1 -1 0 1 0 1 -1 0 1 1 0 -1 0 0 0 0 1 -1 0 1 0 1 -1 1 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 1 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 0 0 0 0 1 -1 2 -1 2 -1 -1 2 -1 2 2 -1 0 0 0 0 1 -1 2 -1 2 -1 -1 2 0 0 0 0 0 0 0 0 1 -1 2 -1 2 -1 -1 2 2 -4 2 2 0 0 0 0 1 -1 2 -1 2 -1 -1 2 2 2 2 -4 0 0 0 0 1 -1 2 -1 2 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 1 1 -2 1 1 -2 1 0 0 0 0 1 1 -2 1 1 1 1 -2 4 -2 4 -2 0 0 0 0 1 1 -2 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 1 1 1 -2 1 1 1 0 0 0 0 2 -2 0 2 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 2 -2 0 2 0 2 -2 1 1 -2 1 1 0 0 0 0 2 -2 0 2 0 2 -2 1 1 1 1 -2 0 0 0 0 2 -2 1 1 -2 1 1 -2 1 1 -2 1 0 0 0 0 2 -2 1 1 -2 1 1 -2 4 -2 4 -2 0 0 0 0 2 -2 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 2 -2 1 1 -2 1 1 1 -2 1 1 1 0 0 0 0 2 -2 1 1 1 1 -2 1 1 -2 1 1 0 0 0 0 2 -2 1 1 1 1 -2 1 1 1 1 -2 0 0 0 0 2 -2 4 -2 4 -2 -2 4 -2 1 1 1 0 0 0 0 2 -2 4 -2 4 -2 1 1 -2 1 1 1 0 0 0 0 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 0 0 0 0 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 0 0 0 0 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 0 0 0 0 2 -1 -1 2 -1 2 -1 -1 2 2 -1 -1 0 0 0 0 2 -1 -1 2 -1 2 -1 1 0 0 0 0 0 0 0 0 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 0 0 0 0 4 -2 -2 4 -2 4 -2 1 1 1 1 -2 0 0 0 1 -1 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 1 0 -1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 -1 1 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 1 0 -1 1 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -1 1 0 -1 1 0 1 0 0 0 0 0 0 0 1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 1 1 -2 1 -2 1 1 -2 1 1 -2 1 1 -2 2 0 0 0 0 1 -2 1 1 -2 1 1 -2 1 1 0 0 0 0 0 0 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -1 1 0 -1 1 0 0 0 0 1 -2 1 1 -2 1 1 -1 1 0 0 0 0 0 0 0 1 -2 1 1 -2 1 1 0 -1 1 0 0 0 0 0 0 1 -2 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 1 -2 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 -2 4 -2 4 -2 1 -2 1 1 -2 1 1 1 -2 1 1 0 0 0 0 0 1 -2 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 0 -1 1 0 0 0 0 0 1 -2 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 0 0 0 0 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 1 1 -2 1 -2 1 1 -2 1 1 1 1 -2 2 0 0 0 0 0 1 -2 1 1 -2 2 0 0 0 0 0 0 0 0 0 0 1 -2 1 1 -2 2 0 2 2 -2 2 0 0 0 0 0 1 -2 1 1 -2 4 -2 -2 4 4 -2 -2 4 -2 4 -2 1 -2 1 1 -1 0 1 -1 1 0 -1 1 0 0 0 0 1 -2 1 1 -1 0 1 -1 1 0 0 0 0 0 0 0 1 -2 1 1 -1 0 1 1 0 -1 1 0 0 0 0 0 1 -2 1 1 0 -1 1 0 -1 1 0 0 0 0 0 0 1 -2 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 1 -2 1 1 0 -1 1 0 1 0 -1 1 0 0 0 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 4 -2 4 -2 1 -2 1 1 1 -2 1 1 -2 1 1 0 0 0 0 0 1 -2 1 1 1 -2 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 1 1 -2 1 -1 0 1 -1 0 1 -1 1 0 -1 1 0 0 0 0 1 -1 0 1 -1 0 1 -1 1 0 0 0 0 0 0 0 1 -1 0 1 -1 0 1 1 0 -1 1 0 0 0 0 0 1 -1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 1 0 1 1 -1 1 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 1 0 -1 1 0 0 0 0 0 0 1 0 -1 1 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 1 0 1 0 -1 1 0 0 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -1 0 1 -1 0 1 1 0 0 0 0 0 0 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 -2 4 -2 4 -2 1 1 -2 1 1 -2 1 1 -2 1 1 0 0 0 0 0 1 1 -2 1 1 -2 1 1 -2 1 1 1 -2 1 1 1 1 1 -2 1 1 -2 1 1 -2 2 0 0 0 0 0 0 1 1 -2 1 1 -2 1 1 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 -2 1 1 -1 1 0 0 0 0 0 0 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 -2 1 1 1 1 -2 2 0 0 0 0 1 1 -2 1 1 -2 2 0 -2 2 0 0 0 0 0 0 1 1 -2 1 1 -2 2 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 -2 2 0 2 0 -2 2 0 0 0 0 1 1 -2 1 1 -2 4 -2 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 -2 4 4 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 1 1 1 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 4 4 -2 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 0 0 0 0 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 4 -8 4 4 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 4 4 4 -8 1 1 -2 1 1 -2 4 -2 4 -2 1 1 -2 1 1 1 1 1 -2 1 1 -2 4 -2 4 -2 2 0 0 0 0 0 1 1 -2 1 1 -1 0 1 -1 1 0 0 0 0 0 0 1 1 -2 1 1 0 -1 1 0 1 0 0 0 0 0 0 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 1 1 -2 4 -2 4 -2 1 1 -2 1 1 1 -2 1 1 1 1 0 0 0 0 0 1 1 -2 1 1 1 -2 1 1 1 1 1 -2 1 1 1 1 1 -1 0 1 -1 0 1 -1 1 0 0 0 0 0 0 1 1 0 -1 1 0 -1 1 0 1 0 0 0 0 0 0 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 -2 1 1 1 1 -2 4 -2 4 -2 1 1 1 -2 1 1 -2 1 1 1 1 0 0 0 0 0 1 1 1 -2 1 1 -2 1 1 1 1 1 -2 1 1 1 1 1 1 -2 1 1 -2 1 1 2 0 0 0 0 0 0 1 1 1 -2 1 1 -2 1 1 4 -2 -2 4 -2 4 -2 1 1 1 -2 1 1 -2 2 0 2 0 0 0 0 0 0 1 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 -2 4 1 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 -2 4 -2 1 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 4 -8 4 1 1 1 -2 1 1 -2 4 -2 4 -2 -2 4 4 -2 -2 1 1 1 -2 1 1 -2 4 -2 4 -2 1 1 -2 1 1 1 1 1 -2 1 1 -2 4 -2 4 -2 1 1 1 1 -2 1 1 1 -2 1 1 -2 4 -2 4 -2 2 0 0 0 0 1 1 1 -2 1 1 -1 0 1 1 0 0 0 0 0 0 1 1 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 -2 1 1 0 1 1 -1 1 0 0 0 0 0 1 1 1 -2 1 1 1 -2 1 1 -2 1 1 -2 1 1 1 1 1 -2 1 1 1 -2 1 1 -2 1 1 1 -2 1 1 1 1 -2 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 -2 2 0 0 0 0 1 1 1 -2 1 1 1 -2 1 1 0 0 0 0 0 0 1 1 1 -2 1 1 1 -2 1 1 1 -2 1 1 -2 1 1 1 1 -2 1 1 1 1 1 -2 1 1 -2 1 1 1 1 1 1 -2 1 1 1 1 1 -2 1 1 0 0 0 0 1 1 1 -2 1 1 1 1 1 -2 1 1 1 -2 1 1 1 1 1 -2 1 1 1 1 1 -2 1 1 1 1 1 -2 1 1 1 -2 1 1 1 1 1 -2 2 0 0 0 0 0 1 1 1 -2 2 0 -2 2 0 2 0 0 0 0 0 0 1 1 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 -2 4 -2 -2 4 -2 4 -2 -2 4 -2 -2 4 1 1 1 -2 4 -2 -2 4 -2 4 -2 -2 4 -2 4 -2 1 1 1 -2 4 -2 -2 4 -2 4 -2 -2 4 4 -8 4 1 1 1 -2 4 -2 -2 4 -2 4 -2 -2 4 4 -2 -2 1 1 1 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 1 1 1 -2 4 -2 -2 4 -2 4 -2 1 1 1 1 -2 1 1 1 -2 4 -2 -2 4 -2 4 -2 2 0 0 0 0 2 -4 2 2 -4 2 2 -4 2 2 -1 -1 2 -1 2 -1 2 -4 2 2 -4 2 2 -1 -1 2 -1 -1 2 -1 2 -1 2 -4 2 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 -1 2 2 -1 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 0 0 0 0 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 2 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 2 2 2 -4 2 -4 2 2 -1 -1 2 -1 2 -1 1 0 0 0 0 0 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 2 2 -1 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 0 0 0 0 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 2 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 2 2 2 -4 2 -1 -1 2 -1 -1 2 -1 2 -1 1 0 0 0 0 0 2 -1 2 -1 -1 2 -1 -1 2 2 -1 -1 2 -1 2 -1 2 2 -4 2 2 -4 2 2 -1 2 -1 -1 2 -1 2 -1 2 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 2 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 2 2 -4 2 2 -1 -1 2 -1 2 -1 -1 2 2 -1 -1 2 2 -4 2 2 -1 -1 2 -1 2 -1 1 0 0 0 0 2 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 -1 2 2 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 -1 2 -1 2 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -4 2 2 2 -1 -1 2 -1 -1 2 -1 2 -1 -1 2 2 -1 -1 2 2 -1 -1 2 -1 -1 2 -1 2 -1 1 0 0 0 0 2 2 2 -4 2 2 -1 -1 2 2 -1 -1 2 -1 2 -1 2 2 2 -4 2 2 2 -4 2 2 -1 -1 2 -1 2 -1 4 -8 4 4 -2 -2 4 -2 4 -2 -2 4 -2 1 1 1 4 -8 4 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 1 4 -2 -2 4 -2 -2 4 -2 4 -2 -2 4 -2 1 1 1 4 -2 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 1 4 4 -8 4 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 4 4 -8 4 4 -2 -2 4 -2 4 -2 1 1 1 1 -2 4 4 -2 -2 4 -2 -2 4 -2 4 -2 1 1 -2 1 1 4 4 -2 -2 4 -2 -2 4 -2 4 -2 1 1 1 1 -2 1 congruences: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 16 basis elements of lattice: 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3