testsets/pip/seghir-e6.pip

   1 0 5
   2
   3 -1
   4
   5 9 7
   6  0 0 0 1 1 0 -4
   7  1 2 4 0 1 0 0
   8  1 -2 -3 0 -1 0 -1
   9  1 5 6 0 2 0 0
  10  1 -2 -3 0 -1 1 0
  11  1 -5 -6 0 -2 1 2
  12  1 -12 -19 0 -6 4 3
  13  1 7 9 0 3 0 5
  14  1 0 0 0 0 0 1
  15
  16 Urs_parms
  17 Urs_unknowns