example/negative.ll

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