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: 4184251067 module generators 0 Hilbert basis elements of recession monoid 16 support hyperplanes of polyhedron (homogenized) embedding dimension = 9 rank of recession monoid = 0 dehomogenization: 0 0 0 0 0 0 0 0 1 module rank = 1067 *********************************************************************** 1067 module generators: -4 0 0 0 0 0 0 0 1 -3 0 0 0 -1 0 0 0 1 -3 0 0 0 0 0 0 0 1 -3 0 0 0 1 0 0 0 1 -2 -1 0 0 0 0 -1 1 1 -2 -1 0 0 0 0 0 0 1 -2 -1 0 0 0 0 1 -1 1 -2 -1 1 0 0 0 0 0 1 -2 0 -1 -1 0 1 0 0 1 -2 0 -1 0 -1 0 1 0 1 -2 0 -1 0 0 0 0 -1 1 -2 0 -1 0 0 0 0 0 1 -2 0 -1 0 0 0 0 1 1 -2 0 -1 0 1 0 -1 0 1 -2 0 -1 0 1 0 0 0 1 -2 0 -1 1 0 -1 0 0 1 -2 0 0 -1 0 0 0 0 1 -2 0 0 -1 0 0 1 0 1 -2 0 0 0 -1 0 -1 0 1 -2 0 0 0 -1 0 0 0 1 -2 0 0 0 -1 0 1 0 1 -2 0 0 0 0 -1 -1 0 1 -2 0 0 0 0 -1 0 0 1 -2 0 0 0 0 0 -1 0 1 -2 0 0 0 0 0 0 -1 1 -2 0 0 0 0 0 0 0 1 -2 0 0 0 0 0 0 1 1 -2 0 0 0 0 0 1 0 1 -2 0 0 0 0 1 -1 0 1 -2 0 0 0 0 1 0 0 1 -2 0 0 0 1 0 0 0 1 -2 0 0 1 0 0 0 0 1 -2 0 0 1 0 0 1 0 1 -2 0 1 -1 0 -1 0 0 1 -2 0 1 0 -1 0 -1 0 1 -2 0 1 0 0 0 0 0 1 -2 0 1 0 1 0 0 0 1 -2 0 1 0 1 0 1 0 1 -2 0 1 1 0 1 0 0 1 -2 1 0 0 0 0 -1 -1 1 -2 1 0 0 0 0 0 0 1 -2 1 0 0 0 0 1 1 1 -2 1 1 0 0 0 0 0 1 -1 -1 -1 0 0 0 0 1 1 -1 -1 -1 0 0 0 1 -1 1 -1 -1 -1 0 0 1 -1 0 1 -1 -1 -1 0 0 1 0 -1 1 -1 -1 -1 0 1 -1 0 0 1 -1 -1 -1 0 1 0 0 -1 1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 1 0 -1 0 0 1 -1 -1 -1 1 0 0 0 0 1 -1 -1 0 -1 0 0 0 1 1 -1 -1 0 -1 0 0 1 -1 1 -1 -1 0 -1 0 0 1 0 1 -1 -1 0 -1 0 1 -1 0 1 -1 -1 0 -1 0 1 0 0 1 -1 -1 0 -1 1 0 0 -1 1 -1 -1 0 -1 1 0 0 0 1 -1 -1 0 0 -1 0 0 0 1 -1 -1 0 0 -1 0 1 0 1 -1 -1 0 0 -1 1 0 0 1 -1 -1 0 0 0 -1 -1 1 1 -1 -1 0 0 0 -1 0 -1 1 -1 -1 0 0 0 -1 0 0 1 -1 -1 0 0 0 -1 1 -1 1 -1 -1 0 0 0 -1 1 0 1 -1 -1 0 0 0 0 -1 0 1 -1 -1 0 0 0 0 -1 1 1 -1 -1 0 0 0 0 0 -1 1 -1 -1 0 0 0 0 0 0 1 -1 -1 0 0 0 0 0 1 1 -1 -1 0 0 0 0 1 -1 1 -1 -1 0 0 0 0 1 0 1 -1 -1 0 0 0 1 -1 0 1 -1 -1 0 0 0 1 0 -1 1 -1 -1 0 0 1 -1 0 0 1 -1 -1 0 0 1 -1 0 1 1 -1 -1 0 0 1 0 0 0 1 -1 -1 0 1 -1 0 -1 0 1 -1 -1 0 1 -1 0 0 0 1 -1 -1 0 1 -1 1 0 0 1 -1 -1 0 1 0 -1 0 0 1 -1 -1 0 1 0 0 -1 1 1 -1 -1 0 1 0 0 0 0 1 -1 -1 0 1 0 0 0 1 1 -1 -1 0 1 1 -1 1 0 1 -1 -1 1 -1 0 0 -1 0 1 -1 -1 1 -1 0 0 0 0 1 -1 -1 1 -1 0 0 0 1 1 -1 -1 1 0 -1 -1 0 -1 1 -1 -1 1 0 0 0 -1 1 1 -1 -1 1 0 0 0 0 -1 1 -1 -1 1 0 0 0 0 0 1 -1 -1 1 0 0 0 1 0 1 -1 -1 1 0 0 1 0 0 1 -1 -1 1 0 1 0 0 0 1 -1 -1 1 0 1 0 0 1 1 -1 -1 1 1 0 1 0 0 1 -1 0 -2 0 0 0 1 0 1 -1 0 -2 0 1 0 0 0 1 -1 0 -1 -1 0 0 0 0 1 -1 0 -1 -1 0 0 0 1 1 -1 0 -1 -1 0 0 1 0 1 -1 0 -1 -1 0 1 -1 0 1 -1 0 -1 -1 0 1 0 0 1 -1 0 -1 -1 0 1 0 1 1 -1 0 -1 -1 1 0 0 0 1 -1 0 -1 0 -1 0 0 0 1 -1 0 -1 0 -1 0 1 0 1 -1 0 -1 0 0 -1 0 0 1 -1 0 -1 0 0 -1 0 1 1 -1 0 -1 0 0 -1 1 1 1 -1 0 -1 0 0 0 -2 0 1 -1 0 -1 0 0 0 -1 -1 1 -1 0 -1 0 0 0 -1 0 1 -1 0 -1 0 0 0 -1 1 1 -1 0 -1 0 0 0 0 -1 1 -1 0 -1 0 0 0 0 0 1 -1 0 -1 0 0 0 0 1 1 -1 0 -1 0 0 0 1 0 1 -1 0 -1 0 0 1 0 -1 1 -1 0 -1 0 0 1 0 0 1 -1 0 -1 0 0 1 1 -1 1 -1 0 -1 0 1 0 -1 0 1 -1 0 -1 0 1 0 0 -1 1 -1 0 -1 0 1 0 0 0 1 -1 0 -1 0 1 0 0 1 1 -1 0 -1 1 0 -1 -1 0 1 -1 0 -1 1 0 -1 0 -1 1 -1 0 -1 1 0 -1 0 0 1 -1 0 -1 1 0 0 0 -1 1 -1 0 -1 1 0 0 0 0 1 -1 0 -1 1 0 0 1 0 1 -1 0 -1 1 1 0 0 0 1 -1 0 0 -1 -1 -1 1 0 1 -1 0 0 -1 -1 0 0 0 1 -1 0 0 -1 -1 0 0 1 1 -1 0 0 -1 -1 0 1 0 1 -1 0 0 -1 -1 1 -1 0 1 -1 0 0 -1 -1 1 0 1 1 -1 0 0 -1 0 -1 -1 0 1 -1 0 0 -1 0 -1 0 -1 1 -1 0 0 -1 0 -1 0 0 1 -1 0 0 -1 0 -1 0 1 1 -1 0 0 -1 0 -1 1 1 1 -1 0 0 -1 0 0 -1 -1 1 -1 0 0 -1 0 0 0 -1 1 -1 0 0 -1 0 0 0 0 1 -1 0 0 -1 0 0 1 0 1 -1 0 0 -1 0 0 1 1 1 -1 0 0 -1 0 1 0 0 1 -1 0 0 -1 0 1 1 0 1 -1 0 0 -1 1 -1 -1 -1 1 -1 0 0 -1 1 0 0 -1 1 -1 0 0 -1 1 0 0 0 1 -1 0 0 0 -2 0 0 0 1 -1 0 0 0 -1 -1 -1 0 1 -1 0 0 0 -1 -1 0 -1 1 -1 0 0 0 -1 -1 0 0 1 -1 0 0 0 -1 -1 1 -1 1 -1 0 0 0 -1 0 -2 0 1 -1 0 0 0 -1 0 -1 -1 1 -1 0 0 0 -1 0 -1 0 1 -1 0 0 0 -1 0 -1 1 1 -1 0 0 0 -1 0 0 -1 1 -1 0 0 0 -1 0 0 0 1 -1 0 0 0 -1 0 0 1 1 -1 0 0 0 -1 0 1 0 1 -1 0 0 0 -1 0 2 0 1 -1 0 0 0 -1 1 -1 0 1 -1 0 0 0 -1 1 0 0 1 -1 0 0 0 -1 1 0 1 1 -1 0 0 0 -1 1 1 1 1 -1 0 0 0 0 -1 -1 0 1 -1 0 0 0 0 -1 -1 1 1 -1 0 0 0 0 -1 0 -1 1 -1 0 0 0 0 -1 0 0 1 -1 0 0 0 0 0 -1 -1 1 -1 0 0 0 0 0 -1 0 1 -1 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 -1 1 -1 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 1 0 1 -1 0 0 0 0 0 1 1 1 -1 0 0 0 0 1 -1 -1 1 -1 0 0 0 0 1 -1 0 1 -1 0 0 0 0 1 0 0 1 -1 0 0 0 0 1 0 1 1 -1 0 0 0 1 -1 0 0 1 -1 0 0 0 1 -1 0 1 1 -1 0 0 0 1 0 -1 0 1 -1 0 0 0 1 0 0 -1 1 -1 0 0 0 1 0 0 0 1 -1 0 0 0 1 0 0 1 1 -1 0 0 0 1 0 1 0 1 -1 0 0 0 1 1 0 -1 1 -1 0 0 0 1 1 0 0 1 -1 0 0 0 2 0 0 0 1 -1 0 0 1 -1 -1 -1 0 1 -1 0 0 1 -1 -1 0 -1 1 -1 0 0 1 -1 0 0 -1 1 -1 0 0 1 -1 0 0 0 1 -1 0 0 1 -1 0 1 0 1 -1 0 0 1 -1 1 1 0 1 -1 0 0 1 0 -1 0 0 1 -1 0 0 1 0 -1 1 0 1 -1 0 0 1 0 0 -1 1 1 -1 0 0 1 0 0 0 0 1 -1 0 0 1 0 0 0 1 1 -1 0 0 1 0 0 1 -1 1 -1 0 0 1 0 0 1 0 1 -1 0 0 1 0 1 -1 0 1 -1 0 0 1 0 1 0 -1 1 -1 0 0 1 0 1 0 0 1 -1 0 0 1 0 1 0 1 1 -1 0 0 1 0 1 1 -1 1 -1 0 0 1 1 0 0 0 1 -1 0 0 1 1 0 0 1 1 -1 0 0 1 1 1 -1 1 1 -1 0 1 -1 0 -1 0 -1 1 -1 0 1 -1 0 -1 0 0 1 -1 0 1 -1 0 -1 1 0 1 -1 0 1 -1 0 0 0 0 1 -1 0 1 -1 0 0 1 1 1 -1 0 1 -1 1 0 0 -1 1 -1 0 1 0 -1 0 -1 0 1 -1 0 1 0 -1 0 0 0 1 -1 0 1 0 0 -1 -1 0 1 -1 0 1 0 0 -1 0 -1 1 -1 0 1 0 0 -1 0 0 1 -1 0 1 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 1 -1 0 1 0 0 0 1 0 1 -1 0 1 0 0 0 2 0 1 -1 0 1 0 0 1 -1 0 1 -1 0 1 0 0 1 0 0 1 -1 0 1 0 0 1 0 1 1 -1 0 1 0 1 -1 0 0 1 -1 0 1 0 1 0 0 0 1 -1 0 1 0 1 0 1 0 1 -1 0 1 0 1 1 0 0 1 -1 0 1 1 0 0 0 0 1 -1 0 1 1 0 0 1 -1 1 -1 0 1 1 0 1 0 0 1 -1 0 1 1 0 1 0 1 1 -1 0 1 1 0 1 1 0 1 -1 0 1 1 1 0 0 1 1 -1 0 2 0 0 0 -1 0 1 -1 0 2 0 1 0 0 0 1 -1 1 -1 -1 -1 0 0 -1 1 -1 1 -1 -1 0 0 0 0 1 -1 1 -1 -1 0 1 0 0 1 -1 1 -1 0 0 -1 -1 0 1 -1 1 -1 0 0 -1 0 1 1 -1 1 -1 0 0 0 0 -1 1 -1 1 -1 0 0 0 1 1 1 -1 1 -1 0 1 0 0 1 1 -1 1 -1 0 1 1 0 0 1 -1 1 0 -1 -1 -1 0 0 1 -1 1 0 -1 -1 0 -1 0 1 -1 1 0 -1 -1 0 0 0 1 -1 1 0 -1 0 0 -1 -1 1 -1 1 0 -1 0 0 0 -1 1 -1 1 0 -1 0 0 0 0 1 -1 1 0 -1 0 1 0 0 1 -1 1 0 -1 1 1 1 0 1 -1 1 0 0 -1 -1 0 0 1 -1 1 0 0 -1 0 0 0 1 -1 1 0 0 -1 0 1 0 1 -1 1 0 0 0 -1 -1 0 1 -1 1 0 0 0 -1 0 1 1 -1 1 0 0 0 0 -1 -1 1 -1 1 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 1 1 -1 1 0 0 0 0 1 0 1 -1 1 0 0 0 0 1 1 1 -1 1 0 0 0 1 -1 -1 1 -1 1 0 0 0 1 0 0 1 -1 1 0 0 0 1 0 1 1 -1 1 0 0 0 1 1 0 1 -1 1 0 0 0 1 1 1 1 -1 1 0 0 1 0 0 0 1 -1 1 0 0 1 1 0 -1 1 -1 1 0 0 1 1 0 0 1 -1 1 0 1 0 -1 -1 0 1 -1 1 0 1 0 -1 0 0 1 -1 1 0 1 0 0 0 -1 1 -1 1 0 1 0 0 1 0 1 -1 1 0 1 0 0 1 1 1 -1 1 0 1 1 0 0 0 1 -1 1 0 1 1 0 0 1 1 -1 1 1 -1 0 -1 0 0 1 -1 1 1 0 -1 1 0 1 1 -1 1 1 0 0 -1 0 0 1 -1 1 1 0 0 0 -1 -1 1 -1 1 1 0 0 0 0 0 1 -1 1 1 0 0 0 0 1 1 -1 1 1 0 0 0 1 0 1 -1 1 1 0 1 0 0 -1 1 -1 1 1 0 1 0 0 0 1 -1 1 1 1 0 0 -1 0 1 -1 1 1 1 0 0 0 -1 1 -1 1 1 1 0 0 0 0 1 0 -2 0 0 0 0 0 -1 1 0 -2 0 0 0 0 0 0 1 0 -2 0 0 0 0 0 1 1 0 -2 0 0 0 1 0 -1 1 0 -2 0 1 0 0 0 0 1 0 -1 -1 -1 0 1 0 0 1 0 -1 -1 -1 1 0 0 0 1 0 -1 -1 0 -1 1 0 0 1 0 -1 -1 0 0 -1 1 0 1 0 -1 -1 0 0 0 0 -1 1 0 -1 -1 0 0 0 0 0 1 0 -1 -1 0 0 0 0 1 1 0 -1 -1 0 0 0 1 0 1 0 -1 -1 0 0 1 0 0 1 0 -1 -1 0 1 -1 0 -1 1 0 -1 -1 0 1 -1 1 0 1 0 -1 -1 0 1 0 -1 0 1 0 -1 -1 0 1 0 0 0 1 0 -1 -1 1 -1 0 -1 0 1 0 -1 -1 1 -1 0 0 1 1 0 -1 -1 1 0 0 -1 0 1 0 -1 -1 1 0 0 0 0 1 0 -1 0 -2 0 1 0 0 1 0 -1 0 -1 -1 0 1 0 1 0 -1 0 -1 0 -1 0 1 1 0 -1 0 -1 0 0 -1 0 1 0 -1 0 -1 0 0 -1 1 1 0 -1 0 -1 0 0 0 -1 1 0 -1 0 -1 0 0 0 0 1 0 -1 0 -1 0 0 0 1 1 0 -1 0 -1 0 0 0 2 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 -1 0 0 1 1 1 0 -1 0 -1 0 1 0 -1 1 0 -1 0 -1 0 1 0 0 1 0 -1 0 -1 0 1 0 1 1 0 -1 0 -1 1 0 -1 0 1 0 -1 0 0 -1 -1 0 0 1 0 -1 0 0 -1 0 -1 -1 1 0 -1 0 0 -1 0 0 -1 1 0 -1 0 0 -1 0 0 0 1 0 -1 0 0 -1 0 0 1 1 0 -1 0 0 -1 0 1 0 1 0 -1 0 0 -1 0 1 1 1 0 -1 0 0 -1 1 1 0 1 0 -1 0 0 0 -2 0 0 1 0 -1 0 0 0 -1 -1 0 1 0 -1 0 0 0 -1 0 -1 1 0 -1 0 0 0 -1 0 0 1 0 -1 0 0 0 -1 0 1 1 0 -1 0 0 0 -1 1 0 1 0 -1 0 0 0 0 -1 0 1 0 -1 0 0 0 0 0 -2 1 0 -1 0 0 0 0 0 -1 1 0 -1 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 1 0 -1 0 0 0 0 0 2 1 0 -1 0 0 0 0 1 0 1 0 -1 0 0 0 1 -1 -1 1 0 -1 0 0 0 1 0 -1 1 0 -1 0 0 0 1 0 0 1 0 -1 0 0 0 1 1 -1 1 0 -1 0 0 1 -1 0 0 1 0 -1 0 0 1 0 -1 0 1 0 -1 0 0 1 0 -1 1 1 0 -1 0 0 1 0 0 -1 1 0 -1 0 0 1 0 0 0 1 0 -1 0 0 1 0 0 1 1 0 -1 0 0 1 0 1 -1 1 0 -1 0 0 1 1 -1 0 1 0 -1 0 1 -1 -1 -1 0 1 0 -1 0 1 -1 0 0 0 1 0 -1 0 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 1 0 -1 0 1 0 0 0 1 1 0 -1 0 1 0 1 0 -1 1 0 -1 0 1 0 1 0 0 1 0 -1 0 1 1 -1 1 0 1 0 -1 0 1 1 0 0 0 1 0 -1 1 -1 -1 0 0 0 1 0 -1 1 -1 0 1 0 0 1 0 -1 1 0 -1 -1 -1 0 1 0 -1 1 0 -1 -1 0 -1 1 0 -1 1 0 -1 0 0 0 1 0 -1 1 0 -1 0 1 0 1 0 -1 1 0 0 -1 -1 0 1 0 -1 1 0 0 0 -1 0 1 0 -1 1 0 0 0 0 -1 1 0 -1 1 0 0 0 0 0 1 0 -1 1 0 0 0 0 1 1 0 -1 1 0 0 1 0 0 1 0 -1 1 0 1 1 0 0 1 0 -1 1 1 0 0 0 0 1 0 -1 1 1 0 0 1 0 1 0 -1 1 1 1 0 0 1 1 0 -1 1 1 1 0 1 0 1 0 0 -2 0 0 0 -1 0 1 0 0 -2 0 0 0 0 0 1 0 0 -2 0 0 0 1 0 1 0 0 -1 -1 -1 0 1 -1 1 0 0 -1 -1 -1 1 0 0 1 0 0 -1 -1 0 -1 0 1 1 0 0 -1 -1 0 0 -1 0 1 0 0 -1 -1 0 0 0 0 1 0 0 -1 -1 0 0 0 1 1 0 0 -1 -1 0 0 1 -1 1 0 0 -1 -1 1 -1 0 0 1 0 0 -1 -1 1 0 0 0 1 0 0 -1 -1 1 0 0 1 1 0 0 -1 -1 1 0 1 0 1 0 0 -1 0 -1 -1 0 0 1 0 0 -1 0 -1 -1 0 1 1 0 0 -1 0 -1 -1 1 0 1 0 0 -1 0 -1 0 -1 -1 1 0 0 -1 0 -1 0 -1 0 1 0 0 -1 0 -1 0 -1 1 1 0 0 -1 0 -1 0 0 -1 1 0 0 -1 0 -1 0 0 0 1 0 0 -1 0 -1 0 0 1 1 0 0 -1 0 -1 0 1 0 1 0 0 -1 0 -1 1 0 -1 1 0 0 -1 0 -1 1 0 0 1 0 0 -1 0 -1 1 1 0 1 0 0 -1 0 0 -1 -1 -1 1 0 0 -1 0 0 -1 -1 0 1 0 0 -1 0 0 -1 0 -1 1 0 0 -1 0 0 -1 0 0 1 0 0 -1 0 0 0 -2 0 1 0 0 -1 0 0 0 -1 0 1 0 0 -1 0 0 0 0 -1 1 0 0 -1 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 1 0 0 -1 0 0 0 1 -1 1 0 0 -1 0 0 0 1 0 1 0 0 -1 0 0 0 1 1 1 0 0 -1 0 0 0 2 0 1 0 0 -1 0 0 1 -1 0 1 0 0 -1 0 0 1 -1 1 1 0 0 -1 0 0 1 0 0 1 0 0 -1 0 0 1 0 1 1 0 0 -1 0 1 -1 -1 -1 1 0 0 -1 0 1 0 -1 0 1 0 0 -1 0 1 0 0 0 1 0 0 -1 0 1 0 1 0 1 0 0 -1 0 1 1 -1 1 1 0 0 -1 1 -1 -1 0 0 1 0 0 -1 1 -1 0 1 1 1 0 0 -1 1 0 0 -1 0 1 0 0 -1 1 0 0 0 -1 1 0 0 -1 1 0 0 0 0 1 0 0 -1 1 0 0 1 1 1 0 0 -1 1 0 1 0 -1 1 0 0 -1 1 1 0 0 -1 1 0 0 -1 1 1 0 0 0 1 0 0 -1 1 1 0 1 0 1 0 0 -1 1 1 1 0 0 1 0 0 0 -2 0 -1 0 0 1 0 0 0 -2 0 0 0 -1 1 0 0 0 -2 0 0 0 0 1 0 0 0 -2 0 1 0 0 1 0 0 0 -1 -1 -1 0 0 1 0 0 0 -1 -1 -1 1 -1 1 0 0 0 -1 -1 0 -1 0 1 0 0 0 -1 -1 0 -1 1 1 0 0 0 -1 -1 0 0 -1 1 0 0 0 -1 -1 0 0 0 1 0 0 0 -1 -1 1 0 0 1 0 0 0 -1 0 -2 0 0 1 0 0 0 -1 0 -2 0 1 1 0 0 0 -1 0 -1 -1 0 1 0 0 0 -1 0 -1 0 -1 1 0 0 0 -1 0 -1 0 0 1 0 0 0 -1 0 -1 0 1 1 0 0 0 -1 0 -1 1 0 1 0 0 0 -1 0 0 -1 -1 1 0 0 0 -1 0 0 -1 0 1 0 0 0 -1 0 0 0 -1 1 0 0 0 -1 0 0 0 0 1 0 0 0 -1 0 0 0 1 1 0 0 0 -1 0 0 1 -1 1 0 0 0 -1 0 0 1 0 1 0 0 0 -1 0 1 -1 0 1 0 0 0 -1 0 1 0 0 1 0 0 0 -1 0 1 0 1 1 0 0 0 -1 0 1 1 0 1 0 0 0 -1 0 2 0 0 1 0 0 0 -1 1 -1 -1 -1 1 0 0 0 -1 1 -1 0 0 1 0 0 0 -1 1 0 0 -1 1 0 0 0 -1 1 0 0 0 1 0 0 0 -1 1 0 1 0 1 0 0 0 -1 1 0 1 1 1 0 0 0 -1 1 1 0 0 1 0 0 0 0 -3 0 0 0 1 0 0 0 0 -2 0 0 0 1 0 0 0 0 -1 -1 -1 1 1 0 0 0 0 -1 -1 0 -1 1 0 0 0 0 -1 -1 0 0 1 0 0 0 0 -1 -1 1 0 1 0 0 0 0 -1 0 -1 -1 1 0 0 0 0 -1 0 -1 0 1 0 0 0 0 -1 0 -1 1 1 0 0 0 0 -1 0 0 -1 1 0 0 0 0 -1 0 0 0 1 0 0 0 0 -1 0 0 1 1 0 0 0 0 -1 0 1 0 1 0 0 0 0 -1 1 -1 -1 1 0 0 0 0 -1 1 0 0 1 0 0 0 0 -1 1 0 1 1 0 0 0 0 -1 1 1 0 1 0 0 0 0 0 -2 0 0 1 0 0 0 0 0 -1 -1 0 1 0 0 0 0 0 -1 -1 1 1 0 0 0 0 0 -1 0 -2 1 0 0 0 0 0 -1 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 0 1 1 0 0 0 0 0 -1 1 0 1 0 0 0 0 0 -1 1 1 1 0 0 0 0 0 0 -2 0 1 0 0 0 0 0 0 -1 -1 1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 -1 1 1 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 1 -1 0 1 0 0 0 0 0 1 0 -1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 2 1 0 0 0 0 0 1 1 -1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 2 0 0 1 0 0 0 0 1 -1 -1 0 1 0 0 0 0 1 -1 0 -1 1 0 0 0 0 1 -1 0 0 1 0 0 0 0 1 -1 1 1 1 0 0 0 0 1 0 -1 0 1 0 0 0 0 1 0 0 -1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 -1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 -1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 -1 1 0 0 0 0 2 0 0 0 1 0 0 0 0 3 0 0 0 1 0 0 0 1 -1 -1 0 0 1 0 0 0 1 -1 0 -1 -1 1 0 0 0 1 -1 0 -1 0 1 0 0 0 1 -1 0 0 0 1 0 0 0 1 -1 0 0 1 1 0 0 0 1 -1 1 0 0 1 0 0 0 1 -1 1 1 1 1 0 0 0 1 0 -2 0 0 1 0 0 0 1 0 -1 -1 0 1 0 0 0 1 0 -1 0 -1 1 0 0 0 1 0 -1 0 0 1 0 0 0 1 0 -1 1 0 1 0 0 0 1 0 0 -1 0 1 0 0 0 1 0 0 -1 1 1 0 0 0 1 0 0 0 -1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 -1 0 1 0 0 0 1 0 1 0 -1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 2 0 -1 1 0 0 0 1 0 2 0 0 1 0 0 0 1 1 -1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 -1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 -1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 2 0 -1 0 0 1 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 1 1 0 0 0 2 0 1 0 0 1 0 0 1 -1 -1 -1 0 0 1 0 0 1 -1 -1 0 -1 0 1 0 0 1 -1 -1 0 0 0 1 0 0 1 -1 -1 0 0 1 1 0 0 1 -1 0 -1 0 1 1 0 0 1 -1 0 0 -1 -1 1 0 0 1 -1 0 0 0 0 1 0 0 1 -1 0 0 0 1 1 0 0 1 -1 0 0 1 0 1 0 0 1 -1 1 0 -1 -1 1 0 0 1 -1 1 1 0 0 1 0 0 1 0 -1 -1 1 -1 1 0 0 1 0 -1 0 -1 0 1 0 0 1 0 -1 0 0 0 1 0 0 1 0 -1 0 1 0 1 0 0 1 0 -1 1 1 1 1 0 0 1 0 0 -1 0 -1 1 0 0 1 0 0 -1 0 0 1 0 0 1 0 0 -1 1 -1 1 0 0 1 0 0 -1 1 0 1 0 0 1 0 0 0 -2 0 1 0 0 1 0 0 0 -1 -1 1 0 0 1 0 0 0 -1 0 1 0 0 1 0 0 0 -1 1 1 0 0 1 0 0 0 0 -1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 2 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 -1 -1 0 1 0 0 1 0 1 -1 0 0 1 0 0 1 0 1 -1 0 1 1 0 0 1 0 1 0 -1 0 1 0 0 1 0 1 0 0 -1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 -1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 -1 0 1 0 0 1 0 1 1 0 -1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 -1 0 -1 0 1 0 0 1 1 -1 0 0 -1 1 0 0 1 1 -1 0 0 0 1 0 0 1 1 -1 1 0 0 1 0 0 1 1 0 0 -1 1 1 0 0 1 1 0 0 0 -1 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 -1 1 0 0 1 1 1 -1 0 0 1 0 0 1 1 1 0 -1 1 1 0 0 2 0 0 0 -1 0 1 0 0 2 0 0 0 0 0 1 0 0 2 0 0 0 1 0 1 0 1 -1 -1 -1 0 -1 0 1 0 1 -1 -1 -1 0 0 -1 1 0 1 -1 -1 0 0 -1 0 1 0 1 -1 -1 0 0 0 0 1 0 1 -1 0 -1 -1 0 0 1 0 1 -1 0 0 -1 0 0 1 0 1 -1 0 0 0 0 -1 1 0 1 -1 0 0 0 0 0 1 0 1 -1 0 0 0 0 1 1 0 1 -1 0 0 0 1 0 1 0 1 -1 0 0 1 1 0 1 0 1 -1 0 1 0 -1 0 1 0 1 -1 0 1 0 0 0 1 0 1 -1 0 1 1 0 1 1 0 1 -1 0 1 1 1 0 1 0 1 -1 1 0 -1 0 0 1 0 1 -1 1 1 0 0 0 1 0 1 0 -1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 1 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 -1 0 1 1 0 1 0 -1 0 0 0 -1 1 0 1 0 -1 0 0 0 0 1 0 1 0 -1 0 1 0 0 1 0 1 0 -1 1 0 0 0 1 0 1 0 -1 1 1 1 0 1 0 1 0 0 -1 -1 1 0 1 0 1 0 0 -1 0 -1 1 1 0 1 0 0 -1 0 0 -1 1 0 1 0 0 -1 0 0 0 1 0 1 0 0 -1 0 0 1 1 0 1 0 0 -1 0 1 -1 1 0 1 0 0 -1 0 1 0 1 0 1 0 0 -1 1 0 0 1 0 1 0 0 0 -1 -1 1 1 0 1 0 0 0 -1 0 0 1 0 1 0 0 0 -1 0 1 1 0 1 0 0 0 -1 1 1 1 0 1 0 0 0 0 -1 0 1 0 1 0 0 0 0 0 -2 1 0 1 0 0 0 0 0 -1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 2 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 -1 0 1 0 1 0 0 0 1 0 -1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 2 0 0 1 0 1 0 0 1 -1 -1 0 1 0 1 0 0 1 0 -1 -1 1 0 1 0 0 1 0 -1 0 1 0 1 0 0 1 0 0 -1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 -1 0 1 0 1 0 1 0 1 0 -1 0 -1 1 0 1 0 1 0 -1 0 0 1 0 1 0 1 0 -1 0 1 1 0 1 0 1 0 0 -1 -1 1 0 1 0 1 0 0 -1 0 1 0 1 0 1 0 0 0 -2 1 0 1 0 1 0 0 0 -1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 -1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 -1 1 0 1 0 1 1 0 -1 0 1 0 1 0 2 0 -1 0 0 1 0 1 1 -1 0 0 0 0 1 0 1 1 -1 0 0 1 0 1 0 1 1 -1 1 0 0 -1 1 0 1 1 -1 1 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 1 0 -1 0 1 0 1 0 1 1 0 -1 1 -1 0 1 0 1 1 0 -1 1 0 1 1 0 1 1 0 0 -1 0 0 1 0 1 1 0 0 0 -1 0 1 0 1 1 0 0 0 0 -1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 -1 0 1 0 1 1 0 1 -1 0 0 1 0 1 1 1 -1 0 0 0 1 0 1 1 1 0 -1 0 0 1 0 2 0 -1 0 0 0 0 1 0 2 0 0 0 -1 0 1 1 0 2 0 0 0 0 0 -1 1 0 2 0 0 0 0 0 0 1 0 2 0 0 0 0 0 1 1 1 -1 -1 -1 0 0 0 0 1 1 -1 -1 -1 0 0 0 1 1 1 -1 -1 -1 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 1 -1 -1 0 -1 0 0 1 1 1 -1 -1 0 0 0 -1 0 1 1 -1 -1 0 0 0 0 -1 1 1 -1 -1 0 0 0 0 0 1 1 -1 -1 0 0 0 1 1 1 1 -1 -1 0 0 1 0 0 1 1 -1 -1 0 1 -1 0 -1 1 1 -1 -1 1 0 1 0 0 1 1 -1 0 -1 -1 0 0 -1 1 1 -1 0 -1 -1 0 0 0 1 1 -1 0 -1 0 0 -1 -1 1 1 -1 0 -1 0 0 -1 0 1 1 -1 0 -1 0 0 0 1 1 1 -1 0 -1 0 1 0 0 1 1 -1 0 -1 0 1 1 0 1 1 -1 0 0 -1 -1 0 0 1 1 -1 0 0 -1 -1 0 1 1 1 -1 0 0 -1 0 0 0 1 1 -1 0 0 0 -1 -1 -1 1 1 -1 0 0 0 -1 -1 0 1 1 -1 0 0 0 -1 0 -1 1 1 -1 0 0 0 -1 0 0 1 1 -1 0 0 0 -1 1 1 1 1 -1 0 0 0 0 -1 -1 1 1 -1 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 1 1 1 -1 0 0 0 0 1 0 1 1 -1 0 0 0 0 1 1 1 1 -1 0 0 0 1 0 -1 1 1 -1 0 0 0 1 1 0 1 1 -1 0 0 1 0 -1 0 1 1 -1 0 0 1 0 0 0 1 1 -1 0 0 1 1 0 0 1 1 -1 0 1 -1 -1 -1 0 1 1 -1 0 1 0 -1 0 0 1 1 -1 0 1 0 0 0 0 1 1 -1 0 1 0 0 0 1 1 1 -1 0 1 0 0 1 1 1 1 -1 0 1 1 0 0 0 1 1 -1 0 1 1 0 1 0 1 1 -1 0 1 1 1 0 0 1 1 -1 1 0 -1 -1 0 0 1 1 -1 1 0 -1 0 0 -1 1 1 -1 1 0 0 0 -1 -1 1 1 -1 1 0 0 0 0 1 1 1 -1 1 0 0 1 0 -1 1 1 -1 1 0 0 1 1 0 1 1 -1 1 1 0 -1 0 0 1 1 -1 1 1 0 0 0 0 1 1 -1 1 1 1 0 0 1 1 1 0 -2 0 -1 0 0 0 1 1 0 -2 0 0 0 1 0 1 1 0 -1 -1 -1 0 0 -1 1 1 0 -1 -1 0 -1 -1 0 1 1 0 -1 -1 0 -1 0 -1 1 1 0 -1 -1 0 -1 0 0 1 1 0 -1 -1 0 0 -1 1 1 1 0 -1 -1 0 0 0 0 1 1 0 -1 0 -1 -1 0 0 1 1 0 -1 0 -1 0 -1 0 1 1 0 -1 0 -1 0 0 0 1 1 0 -1 0 -1 1 0 0 1 1 0 -1 0 0 -1 0 -1 1 1 0 -1 0 0 -1 0 0 1 1 0 -1 0 0 -1 1 0 1 1 0 -1 0 0 0 -2 0 1 1 0 -1 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 1 1 0 -1 0 0 0 1 0 1 1 0 -1 0 0 1 0 0 1 1 0 -1 0 0 1 0 1 1 1 0 -1 0 0 1 1 0 1 1 0 -1 0 1 0 0 0 1 1 0 -1 0 1 0 1 0 1 1 0 -1 1 -1 0 0 1 1 1 0 -1 1 0 0 -1 -1 1 1 0 -1 1 0 0 0 0 1 1 0 -1 1 0 1 -1 0 1 1 0 -1 1 0 1 0 0 1 1 0 -1 1 0 1 0 1 1 1 0 0 -1 -1 -1 1 -1 1 1 0 0 -1 -1 0 0 -1 1 1 0 0 -1 -1 0 0 0 1 1 0 0 -1 0 -1 -1 1 1 1 0 0 -1 0 -1 0 -1 1 1 0 0 -1 0 -1 0 0 1 1 0 0 -1 0 -1 0 1 1 1 0 0 -1 0 -1 1 0 1 1 0 0 -1 0 0 -1 0 1 1 0 0 -1 0 0 -1 1 1 1 0 0 -1 0 0 0 -1 1 1 0 0 -1 0 0 0 0 1 1 0 0 -1 0 0 1 -1 1 1 0 0 -1 0 1 -1 0 1 1 0 0 -1 0 1 0 0 1 1 0 0 -1 1 -1 -1 0 1 1 0 0 -1 1 0 -1 0 1 1 0 0 -1 1 0 0 0 1 1 0 0 -1 1 0 0 1 1 1 0 0 -1 1 1 0 1 1 1 0 0 -1 1 1 1 0 1 1 0 0 0 -2 0 0 0 1 1 0 0 0 -1 -1 0 0 1 1 0 0 0 -1 -1 0 1 1 1 0 0 0 -1 0 -1 0 1 1 0 0 0 -1 0 0 -1 1 1 0 0 0 -1 0 0 0 1 1 0 0 0 -1 0 0 1 1 1 0 0 0 -1 0 1 0 1 1 0 0 0 -1 1 0 -1 1 1 0 0 0 -1 1 0 0 1 1 0 0 0 0 -1 0 -1 1 1 0 0 0 0 -1 0 0 1 1 0 0 0 0 -1 1 0 1 1 0 0 0 0 -1 1 1 1 1 0 0 0 0 0 -1 -1 1 1 0 0 0 0 0 -1 0 1 1 0 0 0 0 0 -1 1 1 1 0 0 0 0 0 0 -1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 -1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 -1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 -1 -1 -1 1 1 0 0 0 1 -1 0 -1 1 1 0 0 0 1 -1 0 0 1 1 0 0 0 1 -1 1 0 1 1 0 0 0 1 0 -2 0 1 1 0 0 0 1 0 -1 0 1 1 0 0 0 1 0 0 -1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 -1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 2 0 1 1 0 0 0 1 1 -1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 2 0 0 0 1 1 0 0 1 -1 0 0 0 1 1 0 0 1 -1 0 0 1 1 1 0 0 1 -1 1 1 1 1 1 0 0 1 0 -1 -1 0 1 1 0 0 1 0 -1 0 0 1 1 0 0 1 0 0 -1 -1 1 1 0 0 1 0 0 -1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 -1 -1 1 1 0 0 1 0 1 0 -1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 -1 0 -1 1 1 0 0 1 1 -1 1 0 1 1 0 0 1 1 0 -1 0 1 1 0 0 1 1 0 0 -1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 -1 0 1 1 0 1 -1 -1 0 0 0 1 1 0 1 -1 0 0 -1 0 1 1 0 1 -1 0 0 0 0 1 1 0 1 -1 0 0 0 1 1 1 0 1 -1 0 1 0 0 1 1 0 1 -1 0 1 0 1 1 1 0 1 -1 0 1 1 0 1 1 0 1 0 -1 0 0 -1 1 1 0 1 0 -1 0 0 0 1 1 0 1 0 -1 0 0 1 1 1 0 1 0 -1 0 1 0 1 1 0 1 0 0 -1 -1 1 1 1 0 1 0 0 -1 0 0 1 1 0 1 0 0 -1 0 1 1 1 0 1 0 0 0 -1 0 1 1 0 1 0 0 0 0 -1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 -1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 2 0 1 1 0 1 0 0 1 -1 -1 1 1 0 1 0 0 1 0 -1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 -1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 -1 0 0 0 1 1 0 1 1 0 -1 0 -1 1 1 0 1 1 0 -1 0 0 1 1 0 1 1 0 -1 1 0 1 1 0 1 1 0 0 -1 0 1 1 0 1 1 0 0 0 -1 1 1 0 1 1 0 0 0 0 1 1 0 2 0 -1 0 0 0 1 1 0 2 0 0 0 -1 0 1 1 1 -1 -1 0 -1 0 0 1 1 1 -1 0 -1 0 0 -1 1 1 1 -1 0 -1 0 0 0 1 1 1 -1 0 0 -1 0 0 1 1 1 -1 0 0 0 -1 0 1 1 1 -1 0 0 0 0 0 1 1 1 -1 0 0 0 0 1 1 1 1 -1 0 0 0 1 -1 1 1 1 -1 0 1 1 0 1 1 1 1 -1 1 0 0 0 -1 1 1 1 -1 1 0 0 0 0 1 1 1 -1 1 0 0 1 0 1 1 1 0 -1 -1 1 -1 0 1 1 1 0 -1 0 0 0 -1 1 1 1 0 -1 0 0 0 0 1 1 1 0 -1 0 0 1 -1 1 1 1 0 -1 0 1 0 0 1 1 1 0 -1 1 -1 0 0 1 1 1 0 -1 1 0 0 0 1 1 1 0 -1 1 0 1 0 1 1 1 0 0 -1 0 0 0 1 1 1 0 0 -1 1 0 -1 1 1 1 0 0 -1 1 0 0 1 1 1 0 0 0 -1 0 1 1 1 1 0 0 0 -1 1 0 1 1 1 0 0 0 0 -1 0 1 1 1 0 0 0 0 -1 1 1 1 1 0 0 0 0 0 -1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 -1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 -1 0 1 1 1 0 0 0 1 -1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 -1 1 1 1 0 0 1 -1 0 0 1 1 1 0 0 1 0 -1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 -1 0 0 0 1 1 1 0 1 -1 0 0 1 1 1 1 0 1 0 -1 0 0 1 1 1 0 1 0 -1 1 0 1 1 1 0 1 0 0 -1 0 1 1 1 0 1 0 0 -1 1 1 1 1 0 1 0 0 0 -1 1 1 1 1 -1 0 0 0 0 1 1 1 1 -1 0 1 0 0 1 1 1 1 -1 1 0 0 -1 1 1 1 1 0 -1 0 0 1 1 1 1 1 0 -1 1 0 0 1 1 1 1 0 0 -1 0 1 1 1 1 1 0 0 -1 1 0 1 1 1 1 0 0 0 -1 1 1 1 1 1 0 0 0 0 -1 1 2 -1 -1 0 0 0 0 0 1 2 -1 0 0 0 0 -1 -1 1 2 -1 0 0 0 0 0 0 1 2 -1 0 0 0 0 1 1 1 2 0 -1 -1 0 -1 0 0 1 2 0 -1 0 -1 0 -1 0 1 2 0 -1 0 -1 0 0 0 1 2 0 -1 0 0 0 0 0 1 2 0 -1 0 1 0 1 0 1 2 0 -1 1 0 1 0 0 1 2 0 0 -1 0 0 -1 0 1 2 0 0 -1 0 0 0 0 1 2 0 0 0 -1 0 0 0 1 2 0 0 0 0 -1 0 0 1 2 0 0 0 0 -1 1 0 1 2 0 0 0 0 0 -1 0 1 2 0 0 0 0 0 0 -1 1 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 1 2 0 0 0 0 0 1 0 1 2 0 0 0 0 1 0 0 1 2 0 0 0 0 1 1 0 1 2 0 0 0 1 0 -1 0 1 2 0 0 0 1 0 0 0 1 2 0 0 0 1 0 1 0 1 2 0 0 1 0 0 -1 0 1 2 0 0 1 0 0 0 0 1 2 0 1 -1 0 1 0 0 1 2 0 1 0 -1 0 0 0 1 2 0 1 0 -1 0 1 0 1 2 0 1 0 0 0 0 -1 1 2 0 1 0 0 0 0 0 1 2 0 1 0 0 0 0 1 1 2 0 1 0 1 0 -1 0 1 2 0 1 1 0 -1 0 0 1 2 1 -1 0 0 0 0 0 1 2 1 0 0 0 0 -1 1 1 2 1 0 0 0 0 0 0 1 2 1 0 0 0 0 1 -1 1 3 0 0 0 -1 0 0 0 1 3 0 0 0 0 0 0 0 1 3 0 0 0 1 0 0 0 1 4 0 0 0 0 0 0 0 1 0 Hilbert basis elements of recession monoid: 16 support hyperplanes of polyhedron (homogenized): 5488288000 10765664170 10141033905 9126689395 7761611325 6098258885 4200553780 2141423747 25000000000 5488288000 9126689395 4200553780 -2141423747 -7761611325 -10765664170 -10141033905 -6098258885 25000000000 5488288000 6098258885 -4200553780 -10765664170 -7761611325 2141423747 10141033905 9126689395 25000000000 5488288000 2141423747 -10141033905 -6098258885 7761611325 9126689395 -4200553780 -10765664170 25000000000 5488288000 -2141423747 -10141033905 6098258885 7761611325 -9126689395 -4200553780 10765664170 25000000000 5488288000 -6098258885 -4200553780 10765664170 -7761611325 -2141423747 10141033905 -9126689395 25000000000 5488288000 -9126689395 4200553780 2141423747 -7761611325 10765664170 -10141033905 6098258885 25000000000 5488288000 -10765664170 10141033905 -9126689395 7761611325 -6098258885 4200553780 -2141423747 25000000000 -5488288000 -10765664170 -10141033905 -9126689395 -7761611325 -6098258885 -4200553780 -2141423747 25000000000 -5488288000 -9126689395 -4200553780 2141423747 7761611325 10765664170 10141033905 6098258885 25000000000 -5488288000 -6098258885 4200553780 10765664170 7761611325 -2141423747 -10141033905 -9126689395 25000000000 -5488288000 -2141423747 10141033905 6098258885 -7761611325 -9126689395 4200553780 10765664170 25000000000 -5488288000 2141423747 10141033905 -6098258885 -7761611325 9126689395 4200553780 -10765664170 25000000000 -5488288000 6098258885 4200553780 -10765664170 7761611325 2141423747 -10141033905 9126689395 25000000000 -5488288000 9126689395 -4200553780 -2141423747 7761611325 -10765664170 10141033905 -6098258885 25000000000 -5488288000 10765664170 -10141033905 9126689395 -7761611325 6098258885 -4200553780 2141423747 25000000000