# language: C
c

# parameters {n | n>=16}
1 3
#  n  1
1  1 -16
0

2 # Number of statements

1
# {i, j | 1<=i<=n 5<=j<=n-10}
4 5
#  i  j  n  1
1  1  0  0 -1
1 -1  0  1  0
1  0  1  0 -5
1  0 -1  1 -10
0  0  0

1
# {i, j | 1<=i<=n 5<=j<=n-10}
4 5
#  i  j  n  1
1  1  0  0 -1
1 -1  0  1  0
1  0  1  0 -5
1  0 -1  1 -10
0  0  0
0

2 # Scattering functions
# Et les instructions de chunking (sol triviale)...
2 7
# c1 c2  i  j  n  1
0  1  0 -1  0  0  0
0  0  1  0 -1  0  0

2 7
# c1 c2  i  j  n  1
0  1  0  0 -1  0  0
0  0  1 -1  1  0  0
0

# Et les instructions de chunking (sol aux inverse)...
2 7
# c1 c2  i    j  n  1
0  1  0 -10  -3  0 -5
0  0  1 -4   -1  0  5

2 7
# c1 c2  i    j  n  1
0  1  0 -9   -4  0 -15
0  0  1 -5    0  0  0
0

2
# Et les instructions de chunking (sol aux egalites)...
2 7
# c1 c2  i    j  n  1
0  1  0  1   -2  0  -30
0  0  1 -1    1  0  30

2 7
# c1 c2  i    j  n  1
0  1  0 -1    1  0  15
0  0  1  1   -2  0 -30
0

# Et les instructions de chunking (sol triviale)...
2 7
# c1 c2  i  j  n  1
0  1  0 -1  0  0  0
0  0  1  0 -1  0  5

2 7
# c1 c2  i  j  n  1
0  1  0  0 -1  0 -10
0  0  1 -1  0  0  0
0