# Gauss Anticipated memory
#
# lambda = ( 1 1 1 )
#
# sigma = ( 1 0 0 )
#         ( 0 1 0 )

# P = a1, Q = a2
# R = i0, S = j0, T = k0
# U = N
#  i  j  k  P  Q  R  S  T  U  cte
7 11
0  1  0 -1  0  0  0  0  0  0  -1   # i = k+1
0  0  1 -1  0  0  0  0  0  0  -1   # j = k+1
1  0  0  1  0  0  0  0  0  0  -1   # k >= 1
1  0  0 -1  1  0  0  0  0  0   0   # k <= a1
1  0  0 -1  0  1  0  0  0  0   0   # k <= a2
1  0  0  1  1  1 -1 -1 -1  0  -1   # a1 + a2 + k >= i0 + j0 + k0 + 1
1  0  0 -1 -1 -1  0  0  1  2   1   # a1 + a2 + k <= k0 + 2 N + 1

# 6 params
#  P  Q  R  S  T  U cte
11 8
1  0  0  0  0  0  1  0   # N >= 0
1  0  0  1  0 -1  0  0   # i0 >= k0
1  0  0 -1  0  0  1  1   # i0 <= N + 1
1  0  0  0  1 -1  0  0   # j0 >= k
1  0  0  0 -1  0  1  0   # j0 <= N
1  0  0  0  0  1  0 -1   # k0 >= 1
1  0  0  0  0 -1  1  0   # k0 <= N
1  1  0  0  0 -1  0  0   # a1 >= k0
1 -1  0  0  0  0  1  1   # a1 <= N + 1
1  0  1  0  0 -1  0  0   # a2 >= k
1  0 -1  0  0  0  1  0   # a2 <= N

