GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
4 3 0 0 0 2 0 0 0 3 0 0 0 5 polytope
