example/boulet.ll

   1 [PIP2-like future input] Please enter:
   2 - the context matrix,
   3 0 3
   4 - the bignum column (start at 0, -1 if no bignum),
   5 -1
   6 - the constraint matrix.
   7 5 6
   8    1   1  -1   2   0   0
   9    1   0   1   1   4  20
  10    1   0  -1  -1   0   0
  11    1   0   1  -1   2  10
  12    1   0  -1   1   2  10
  13
  14 (if #[ 1 5]
  15  (list
  16   #[ -3 -15]
  17   #[ -1 -5]
  18   #[ 1 5]
  19  )
  20  ()
  21 )