1# language: C
2c
3
4# parameter n
51 3
6#  n  1
71  0  1
81
9n
10
112 # Number of statements
12
131
14# {i, j | 1<=i<=n; i+1<=j<=n}
154 5
16#  i  j  n  1
171  1  0  0 -1
181 -1  0  1  0
191 -1  1  0 -1
201  0 -1  1  0
210  0  0
22
231
24# {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n}
256 6
26#  i  j  k  n  1
271  1  0  0  0 -1
281 -1  0  0  1  0
291 -1  1  0  0 -1
301  0 -1  0  1  0
311 -1  0  1  0 -1
321  0  0 -1  1  0
330  0  0
340
35
362 # Scattering functions
37# Et les instructions de chunking...
382 7
39# c1 c2  i  j  n  1
400  1  0 -1  0  0  0
410  0  1  0  0 -1  0
42
432 8
44# c1 c2  i  j  k  n  1
450  1  0  0  0 -1  0  0
460  0  1  0 -1  0  0  0
470
48