1# language: C
2c
3
4# parameter n
51 3
6#  n  1
71  0  1
80
9
106 # Number of statements
11
121
13# S1 {i | 1<=i<=n}
142 4
15#  i  n  1
161  1  0 -1
171 -1  1  0
180  0  0
19
201
21# S2 {i, j | 1<=i<=n; 1<=j<=i-1}
224 5
23#  i  j  n  1
241  1  0  0 -1
251 -1  0  1  0
261  0  1  0 -1
271  1 -1  0 -1
280  0  0
29
301
31# S3 {i | 1<=i<=n}
322 4
33#  i  n  1
341  1  0 -1
351 -1  1  0
360  0  0
37
381
39# S4 {i, j | 1<=i<=n; i+1<=j<=n}
404 5
41#  i  j  n  1
421  1  0  0 -1
431 -1  0  1  0
441 -1  1  0 -1
451  0 -1  1  0
460  0  0
47
481
49# S5 {i, j, k | 1<=i<=n; i+1<=j<=n 1<=k<=i-1}
506 6
51#  i  j  k  n  1
521  1  0  0  0 -1
531 -1  0  0  1  0
541 -1  1  0  0 -1
551  0 -1  0  1  0
561  0  0  1  0 -1
571  1  0 -1  0 -1
580  0  0
59
601
61# S6 {i, j | 1<=i<=n; i+1<=j<=n}
624 5
63#  i  j  n  1
641  1  0  0 -1
651 -1  0  1  0
661 -1  1  0 -1
671  0 -1  1  0
680  0  0
690
70
716 # Scattering functions
72# Et les instructions de chunking (parallele)...
733 7
74# c1 c2 c3  i  n  1
750  1  0  0  0  0  0
760  0  1  0 -1  0  0
770  0  0  1  0  0  0
78
793 8
80# c1 c2 c3  i  j  n  1
810  1  0  0  0 -3  0  0
820  0  1  0 -1  0  0  0
830  0  0  1  0  0  0  0
84
853 7
86# c1 c2 c3  i  n  1
870  1  0  0 -3  0  2
880  0  1  0  0  0  0
890  0  0  1  0  0  0
90
913 8
92# c1 c2 c3  i  j  n  1
930  1  0  0  0  0  0  0
940  0  1  0 -1  0  0  0
950  0  0  1  0 -1  0  0
96
973 9
98# c1 c2 c3  i  j  k  n  1
990  1  0  0  0  0 -3  0  1
1000  0  1  0  0 -1  0  0  0
1010  0  0  1  0  0 -1  0  0
102
1033 8
104# c1 c2 c3  i  j  n  1
1050  1  0  0 -3  0  0  1
1060  0  1  0  0 -1  0  0
1070  0  0  1  0  0  0  0
1080
109