tests/lexmin/test7i.pip

   1 0 2
   2
   3 -1
   4
   5 7 9
   6 1 1 0 0 0 0 0 0 -2
   7 1 1 2 0 0 0 0 0 -3
   8 1 1 2 3 0 0 0 0 -7
   9 1 1 2 3 4 0 0 0 -25
  10 1 1 2 3 4 5 0 0 -121
  11 1 1 2 3 4 5 6 0 -721
  12 1 1 2 3 4 5 6 7 -5041