1* file name: sampleh5.ine
2* test file for redundancy removal
3H-representation
4linearity 1 3
5begin
6 10 4 integer
7 0 1 0 0
8 0 0 1 0
9 0 0 0 1
10 0 2 0 0
11 0 0 0 3
12 1 -1 -1 -1
13 1 -1 -1 0
14 1 0 -1 -1
15 1 -1 0 -1
16 2 -1 -1 -1
17end
18maximize
19 0 1 1 1
20