amb_space 3
inequalities 4
1 0 0
0 1 0
-1 0 1
0 -1 1
inhom_inequalities 1
1 0 0 -2
grading
unit_vector 3