example/square.ll

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