example/esced.ll

   1 [PIP2-like future input] Please enter:
   2 - the context matrix,
   3 0 2
   4 - the bignum column (start at 0, -1 if no bignum),
   5 -1
   6 - the constraint matrix.
   7 16 18
   8    1   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0   0   0
   9    1   0   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0   0
  10    1   0   0   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0
  11    1   0   0   0   0   0   0   0   0   0   0   0   0   1  -1   0   0   0
  12    1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0
  13    1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0   0
  14    0   0   0   0  -1   0   0   0   0   1  -1   0   0   0   0   0   0   0
  15    0   0   0   0   0  -1   0   0   0   0   0   1   0   0   0   0   0   0
  16    0  -1   0   0   0   0   0   0   0   0   1  -1   0   0   0   0   0   0
  17    0   0   0   0   0   0  -1   0   0   0   0   0   1  -1   0  -1   0   0
  18    0   0   0   0   0   0   0  -1   0   0   0   0   0   0   1   0   0   0
  19    0   0   0   0   0   0   0   0  -1   0   0   0   0   0   0   0   1   0
  20    0   0   0   0   0   0   0   0   0   0   0   0   0   1  -1   0   0   0
  21    0   0  -1   0   0   0   0   0   0   0   0   0   0   0   0   1  -1   0
  22    1   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0  -1
  23    1   0   1   1   0   0   0   0   0   0   0   0   0   0   0   0   0  -1
  24
  25 (list
  26  #[ 1]
  27  #[ 0]
  28  #[ 1]
  29  #[ 0]
  30  #[ 0]
  31  #[ 0]
  32  #[ 1]
  33  #[ 0]
  34  #[ 1]
  35  #[ 1]
  36  #[ 0]
  37  #[ 1]
  38  #[ 1]
  39  #[ 1]
  40  #[ 0]
  41  #[ 0]
  42 )