1# language: C
2c
3
4# parameter n
51 3
61 0 1
71
8n
9
102 # Number of statements
11
121
13# {c1, c2, i, j | c1=i, c2=n, 1<=i<=n; i+1<=j<=n}
146 7
150  1  0 -1  0  0  0
160  0  1  0  0 -1  0
171  0  0  1  0  0 -1
181  0  0 -1  0  1  0
191  0  0 -1  1  0 -1
201  0  0  0 -1  1  0
210  0  0
22
231
24# {c1, c2, i, j, k | c1=k, c2=j, 1<=i<=n; i+1<=j<=n i+1<=k<=n}
258 8
260  1  0  0  0 -1  0  0
270  0  1  0 -1  0  0  0
281  0  0  1  0  0  0 -1
291  0  0 -1  0  0  1  0
301  0  0 -1  1  0  0 -1
311  0  0  0 -1  0  1  0
321  0  0 -1  0  1  0 -1
331  0  0  0  0 -1  1  0
340  0  0
350
36
370 # Scattering functions
38