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

# S(z_0,p,a) =

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

# 6 params
#  P  Q  R  S  T  U cte
# i0 j0 k0  N a0 a1
1 8
1  0  0  0  1  0  0  1   # N >= -1

i0 j0 k0  N a0 a1

#1  1  0 -1  0  0  0 -2   # i0 >= k0+2
#1 -1  0  0  1  0  0  0   # i0 <= N
#0  0  1 -1  0  0  0 -1   # j0 = k0 + 1
#1  0  0  1  0  0  0  0   # k0 >= 0
#1  0  0 -1  1  0  0 -2   # k0 <= N-2
#0  1  0  0  0 -1  0  0   # a0 = i0
#1  0  0 -1  0  0  1 -1   # a1 >= k0 + 1
#1  0  0  0  1  0 -1  1   # a1 <= N + 1