example/ex2.ll

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