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: 41838424 extreme rays 457 support hyperplanes embedding dimension = 16 rank = 16 (maximal) external index = 3 internal index = 1 original monoid is not integrally closed witness for not being integrally closed: 0 0 0 0 0 0 2 1 2 2 1 0 1 1 1 1 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 *********************************************************************** 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