Cross Reference: /src/external/mit/isl/dist/test_inputs/boulet.pip

      1 0 3
      2 
      3 -1
      4 
      5 5 6
      6 1 1 -1  2 0 0
      7 1 0  1  1 4 20
      8 1 0 -1 -1 0 0
      9 1 0  1 -1 2 10
     10 1 0 -1  1 2 10
     11 
     12 Urs_parms
     13 Urs_unknowns
     14