1# language: C
2c
3
4# parameter n
51 3
6#  n  1
71  0  1
80
9
104 # Number of statements
11
121
13# {i, j | 1<=i<=n; i+1<=j<=n}
144 5
15#  i  j  n  1
161  1  0  0 -1
171 -1  0  1  0
181 -1  1  0 -1
191  0 -1  1  0
200  0  0
21 
221
23# {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n}
246 6
25#  i  j  k  n  1
261  1  0  0  0 -1
271 -1  0  0  1  0
281 -1  1  0  0 -1
291  0 -1  0  1  0
301 -1  0  1  0 -1
311  0  0 -1  1  0
320  0  0
33
341
35# {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n}
366 6
37#  i  j  k  n  1
381  1  0  0  0 -1
391 -1  0  0  1  0
401 -1  1  0  0 -1
411  0 -1  0  1  0
421 -1  0  1  0 -1
431  0  0 -1  1  0
440  0  0
45
461
47# {i, j | 1<=i<=n; i+1<=j<=n}
484 5
49#  i  j  n  1
501  1  0  0 -1
511 -1  0  1  0
521 -1  1  0 -1
531  0 -1  1  0
540  0  0
550
56 
570 # Scattering functions
58
59