example/brisebarre.ll

   1 [PIP2-like future input] Please enter:
   2 - the context matrix,
   3 1 2
   4    1   0
   5 - the bignum column (start at 0, -1 if no bignum),
   6 -1
   7 - the constraint matrix.
   8 26 6
   9    1   3   0   0   0 -98300
  10    1  -3   0   0   0 98308
  11    1 432  36   6   1 -14757611
  12    1 -432 -36  -6  -1 14758510
  13    1  54   9   3   1 -1923190
  14    1 -54  -9  -3  -1 1923303
  15    1  48  12   6   3 -1782238
  16    1 -48 -12  -6  -3 1782339
  17    1  27   9   6   4 -1045164
  18    1 -27  -9  -6  -4 1045221
  19    1 432 180 150 125 -17434139
  20    1 -432 -180 -150 -125 17435038
  21    1   6   3   3   3 -252443
  22    1  -6  -3  -3  -3 252456
  23    1 432 252 294 343 -18949275
  24    1 -432 -252 -294 -343 18950174
  25    1  27  18  24  32 -1234720
  26    1 -27 -18 -24 -32 1234777
  27    1  48  36  54  81 -2288453
  28    1 -48 -36 -54 -81 2288554
  29    1  54  45  75 125 -2684050
  30    1 -54 -45 -75 -125 2684163
  31    1 432 396 726 1331 -22386005
  32    1 -432 -396 -726 -1331 22386904
  33    1   3   3   6  12 -162072
  34    1  -3  -3  -6 -12 162080
  35
  36 (list
  37  #[ 32767]
  38  #[ 16407]
  39  #[ 1989]
  40  #[ 218]
  41 )