example/sor1d.ll

   1 [PIP2-like future input] Please enter:
   2 - the context matrix,
   3 2 4
   4    1   1   0   0
   5    1   0   1   0
   6 - the bignum column (start at 0, -1 if no bignum),
   7 -1
   8 - the constraint matrix.
   9 20 8
  10    0  -1   0   0   0   0   0   2
  11    0   0  -1   0   0   0   0   1
  12    0   0   0  -1   0   0   0   2
  13    0   0   0   0  -1   0   0   4
  14    1   0   0   0   1   0   0  -2
  15    1  -2   0   2   1   0   0  -4
  16    1   0   0   0  -1   0   1  -1
  17    1   2   0  -2  -1   0   0   5
  18    1   0   0   1   0   0   0  -1
  19    1   0  -2   1   0   0   0   0
  20    1  -2   0   2   0   0   1  -5
  21    1   0   0  -1   0   1   0   0
  22    1   0   2  -1   0   0   0   1
  23    1   2   0  -2   0   0   0   3
  24    1   0   1   0   0   0   0   0
  25    1  -2   4   0   0   0   1  -3
  26    1   0  -2   0   0   1   0   0
  27    1   2  -4   0   0   0   0   3
  28    1   2   0   0   0   0   0   1
  29    1  -2   0   0   0   2   1  -5
  30
  31 (if #[ 0 1 -5]
  32  (if #[ 1 0 -2]
  33   (list
  34    #[ 0 0 2]
  35    #[ 0 0 1]
  36    #[ 0 0 2]
  37    #[ 0 0 4]
  38   )
  39   ()
  40  )
  41  ()
  42 )