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