4
3
1 0 0
0 1 0
-1 0 1
0 -1 1
inequalities
1
3
0 0 1
grading
1
4
1 0 0 -2
inhom_inequalities