example/big.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 4 5
   8    1  -1   0   1   0
   9    1   0  -1   1   0
  10    1  -1   3  -2  12
  11    1   2  -1  -1   3
  12
  13 (list
  14  #[ 1 -4]
  15  #[ 1 -5]
  16 )