amb_space 24
inequalities 4
1 1 1 1 1 1    -1 -1 -1 -1 -1 -1     0 0 0 0 0 0       0 0 0 0 0 0
0 0 0 0 0 0     1 1 1 1 1 1       -1 -1 -1 -1 -1 -1    0 0 0 0 0 0
0 0 0 0 0 0     0 0 0 0 0 0        1 1 1 1 1 1        -1 -1 -1 -1 -1 -1
-1 -1 -1 -1 -1 -1    1 1 1 1 1 1   -1 1 -1 1 -1 1      -1 1 -1 1 -1 1
nonnegative
total_degree