# language: C
c

# parameter n
1 3
#  n  1
1  0  1
1
n

6 # Number of statements

1
# S1 {i | 1<=i<=n}
2 4
#  i  n  1
1  1  0 -1
1 -1  1  0
0 0 0

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

1
# S3 {i | 1<=i<=n}
2 4
#  i  n  1
1  1  0 -1
1 -1  1  0
0 0 0

1
# S4 {i, j | 1<=i<=n; i+1<=j<=n}
4 5
#  i  j  n  1
1  1  0  0 -1
1 -1  0  1  0
1 -1  1  0 -1
1  0 -1  1  0
0 0 0

1
# S5 {i, j, k | 1<=i<=n; i+1<=j<=n 1<=k<=i-1}
6 6
#  i  j  k  n  1
1  1  0  0  0 -1
1 -1  0  0  1  0
1 -1  1  0  0 -1
1  0 -1  0  1  0
1  0  0  1  0 -1
1  1  0 -1  0 -1
0 0 0

1
# S6 {i, j | 1<=i<=n; i+1<=j<=n}
4 5
#  i  j  n  1
1  1  0  0 -1
1 -1  0  1  0
1 -1  1  0 -1
1  0 -1  1  0
0 0 0
0

6 # Scattering functions
# Et les instructions de chunking (prog init)...
6 10
# c1 c2 c3 c4 c5 c6  i  n  1
0  1  0  0  0  0  0 -1  0  0
0  0  1  0  0  0  0  0  0 -1
0  0  0  1  0  0  0  0  0  0
0  0  0  0  1  0  0  0  0  0
0  0  0  0  0  1  0  0  0  0
0  0  0  0  0  0  1  0  0  0

6 11
# c1 c2 c3 c4 c5 c6  i  j  n  1
0  1  0  0  0  0  0 -1  0  0  0
0  0  1  0  0  0  0  0  0  0 -2
0  0  0  1  0  0  0  0 -1  0  0
0  0  0  0  1  0  0  0  0  0 -1
0  0  0  0  0  1  0  0  0  0  0
0  0  0  0  0  0  1  0  0  0  0

6 10
# c1 c2 c3 c4 c5 c6  i  n  1
0  1  0  0  0  0  0 -1  0  0
0  0  1  0  0  0  0  0  0 -3
0  0  0  1  0  0  0  0  0  0
0  0  0  0  1  0  0  0  0  0
0  0  0  0  0  1  0  0  0  0
0  0  0  0  0  0  1  0  0  0

6 11
# c1 c2 c3 c4 c5 c6  i  j  n  1
0  1  0  0  0  0  0 -1  0  0  0
0  0  1  0  0  0  0  0  0  0 -4
0  0  0  1  0  0  0  0 -1  0  0
0  0  0  0  1  0  0  0  0  0 -1
0  0  0  0  0  1  0  0  0  0  0
0  0  0  0  0  0  1  0  0  0  0

6 12
# c1 c2 c3 c4 c5 c6  i  j  k  n  1
0  1  0  0  0  0  0 -1  0  0  0  0
0  0  1  0  0  0  0  0  0  0  0 -4
0  0  0  1  0  0  0  0 -1  0  0  0
0  0  0  0  1  0  0  0  0  0  0 -2
0  0  0  0  0  1  0  0  0 -1  0  0
0  0  0  0  0  0  1  0  0  0  0 -1

6 11
# c1 c2 c3 c4 c5 c6  i  j  n  1
0  1  0  0  0  0  0 -1  0  0  0
0  0  1  0  0  0  0  0  0  0 -4
0  0  0  1  0  0  0  0 -1  0  0
0  0  0  0  1  0  0  0  0  0 -3
0  0  0  0  0  1  0  0  0  0  0
0  0  0  0  0  0  1  0  0  0  0
0