amb_space 24
inequalities 6
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    -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
-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          1  1  1  1  1  1         0 0 0 0 0 0        -1 -1 -1 -1 -1 -1
nonnegative
total_degree
Multiplicity