1# language: C
2c
3
4# parameter n
51 3
61 0 1
70
8
92 # Number of statements
10
111
12# {c1, c2, i, j | c1=i, c2=n, 1<=i<=n; i+1<=j<=n}
136 7
140  1 -1  0  0  0  0
150  0  0  1  0 -1  0
161  0  1  0  0  0 -1
171  0 -1  0  0  1  0
181  0 -1  0  1  0 -1
191  0  0  0 -1  1  0
200  0  0
21 
221
23# {c1, c2, i, j, k | c1=k, c2=j, 1<=i<=n; i+1<=j<=n i+1<=k<=n}
248 8
250  1  0  0  0 -1  0  0
260  0  0 -1  1  0  0  0
271  0  1  0  0  0  0 -1
281  0 -1  0  0  0  1  0
291  0 -1  1  0  0  0 -1
301  0  0 -1  0  0  1  0
311  0 -1  0  0  1  0 -1
321  0  0  0  0 -1  1  0
330  0  0
340
35
360 # Scattering functions
37