amb_space 2

inhom_equations 1
 1 1 -1

inhom_inequalities 4
-1  1 -1
 1 -1  1
 1  1 -1
-1 -1  1