example/expansion.ll

   1 [PIP2-like future input] Please enter:
   2 - the context matrix,
   3 4 5
   4  1 1 0 0 -2
   5  1 -1 0 0 5
   6  1 0 1 0 -2
   7  1 0 -1 0 10
   8 - the bignum column (start at 0, -1 if no bignum),
   9 3
  10 - the constraint matrix.
  11 39 23
  12  0 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0
  13  0 0 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 -1 0
  14  0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0
  15  0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  16  0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 1 1
  17  0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 1 1
  18  1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 -2
  19  1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 0 1 0
  20  1 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 1 0 -2
  21  1 0 0 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 1 0 -2
  22  1 0 0 0 0 0 0 0 0 1 0 -2 0 0 0 0 0 0 0 0 0 1 1
  23  1 0 0 0 0 0 0 0 0 1 0 0 -2 0 0 0 0 0 0 0 0 1 1
  24  1 0 0 0 0 0 0 0 0 1 0 0 0 -2 0 0 0 0 0 0 0 1 1
  25  1 0 0 0 0 0 0 0 0 1 0 0 0 0 -2 0 0 0 0 0 0 1 1
  26  1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -2 0 0 0 0 0 1 1
  27  1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -2 0 0 0 0 1 1
  28  1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 -2 0 0 0 1 1
  29  1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2 0 0 1 1
  30  1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 -1
  31  1 0 0 0 0 0 0 0 0 -1 0 2 0 0 0 0 0 0 0 0 0 -1 -1
  32  1 0 0 0 0 0 0 0 0 -1 0 0 2 0 0 0 0 0 0 0 0 -1 0
  33  1 0 0 0 0 0 0 0 0 -1 0 0 0 2 0 0 0 0 0 0 0 -1 0
  34  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 2 0 0 0 0 0 0 -1 -1
  35  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 2 0 0 0 0 0 -1 0
  36  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 2 0 0 0 0 -1 0
  37  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 2 0 0 0 -1 0
  38  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 2 0 0 -1 0
  39  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 1 -1
  40  1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 2
  41  1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0
  42  1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1 0
  43  1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 -1 0
  44  1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0
  45  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0
  46  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0
  47  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -2
  48  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 5
  49  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -2
  50  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 10
  51
  52 (if #[ 0 -1 0 3]
  53  (newparm 3 (div #[ 0 1 0 0] 2))
  54  (list
  55   #[ 0 0 1 0 1]
  56   #[ 0 0 1 0 0]
  57   #[ 0 0 1 -2 1]
  58   #[ 0 0 1 0 1]
  59   #[ 0 0 1 2 -1]
  60   #[ 0 0 1 2 -1]
  61   #[ 0 0 0 0 0]
  62   #[ 0 0 1 0 2]
  63   #[ 0 0 1 2 -1]
  64   #[ 0 0 0 0 0]
  65   #[ 0 0 1 1 0]
  66   #[ 0 0 1 1 0]
  67   #[ 0 0 1 1 0]
  68   #[ 0 0 1 1 0]
  69   #[ 0 0 1 1 0]
  70   #[ 0 0 1 1 0]
  71   #[ 0 0 1 1 0]
  72   #[ 0 0 1 1 0]
  73  )
  74  (list
  75   #[ 0 0 1 1]
  76   #[ 0 0 1 0]
  77   #[ 0 0 1 -1]
  78   #[ 0 0 1 1]
  79   #[ 0 0 1 1]
  80   #[ 0 0 1 1]
  81   #[ 0 0 0 0]
  82   #[ 0 0 1 2]
  83   #[ 0 0 1 1]
  84   #[ 0 0 0 0]
  85   #[ 0 0 1 1]
  86   #[ 0 0 1 1]
  87   #[ 0 0 1 1]
  88   #[ 0 0 1 1]
  89   #[ 0 0 1 1]
  90   #[ 0 0 1 1]
  91   #[ 0 0 1 1]
  92   #[ 0 0 1 1]
  93  )
  94 )