example/sven.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 2 3
   8    1   1  -4
   9    1  -1  10
  10
  11 (if #[ 1 -4]
  12  (if #[ -1 10]
  13   (list
  14   )
  15   ()
  16  )
  17  ()
  18 )