1# language: C
2c
3
4# parameters {n, m | n<=m n>=2 m>=2}
53 4
6#  m  n  1
71  1 -1  0
81  1  0 -2
91  0  1 -2
100
11
123 # Number of statements
13
141
15# {i | 1<=i<=n}
162 5
17#  i  m  n  1
181  1  0  0 -1
191 -1  0  1  0
200  0  0
21 
221
23# {i, j | 1<=i<=n 1<=j<=m}
244 6
25#  i  j  m  n  1
261  1  0  0  0 -1
271 -1  0  0  1  0
281  0  1  0  0 -1
291  0 -1  1  0  0
300  0  0
31
321
33# {i, j | 1<=i<=n 1<=j<=m}
344 6
35#  i  j  m  n  1
361  1  0  0  0 -1
371 -1  0  0  1  0
381  0  1  0  0 -1
391  0 -1  1  0  0
400  0  0
410
42
433 # Scattering functions
44# Et les instructions de chunking (prog init)...
451 6
46# c1  i  m  n  1
470  1 -1  0  0  0
48
491 7
50# c1  i  j  m  n  1
510  1  0 -1  0 -1  0
52
531 7
54# c1  i  j  m  n  1
550  1  0 -1  0 -2  0
560
57