GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
4 3 1 0 0 0 1 0 -1 0 0 0 -1 0 inequalities 1 3 0 0 1 equations
