* test file for redundancy removal
* the redundant rows are
* 3 4 5 9 10
* LP type =  1   Seed = 123
H-representation
begin
  10  3  integer 
 0 1 0
 0 0 1
 -10000 651 693
 -10000 697 637
 -10000 368 824
 -10000 87 725
 -10000 387 219
 -10000 430 202
 -10000 356 988
 -10000 674 979
end