# language: C
c

# parameters {n, m | n<=m n>=2 m>=2}
3 4
#  m  n  1
1  1 -1  0
1  1  0 -2
1  0  1 -2
0

3 # Number of statements

1
# {i | 1<=i<=n}
2 5
#  i  m  n  1
1  1  0  0 -1
1 -1  0  1  0
0  0  0
 
1
# {i, j | 1<=i<=n 1<=j<=m}
4 6
#  i  j  m  n  1
1  1  0  0  0 -1
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  1  0  0
0  0  0

1
# {i, j | 1<=i<=n 1<=j<=m}
4 6
#  i  j  m  n  1
1  1  0  0  0 -1
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  1  0  0
0  0  0
0

3 # Scattering functions
# Et les instructions de chunking (prog init)...
1 6
# c1  i  m  n  1
0  1 -1  0  0  0

1 7
# c1  i  j  m  n  1
0  1  0 -1  0 -1  0

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