example/cg1.ll

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