amb_space 2
inhom_inequalities 3
  0  2  1
  0 -2  3
  2 -2  3
grading
  7 0