/* HilbertBasis */
amb_space 3
inhom_inequalities 3
1 0 0 1
0 0 1 0
0 0 -1 0
grading
unit_vector 1