amb_space 2
strict_inequalities 2
-1  2
 3 -1