amb_space 2 inhom_equations 1 2 0 1 inhom_inequalities 1 0 1 0