1# language: C
2c
3
4# One parameter : n
51 3
6#  n  1
71  0  1
8# We want to set the parameter names...
91
10# and 'n' is the name of the unique parameter
11n
12
132 # Number of statements: 2.
14
151
16# {i, j | 1<=i<=n-1; i+1<=j<=n}
174 5
18#  i  j  n  1
191  1  0  0 -1
201 -1  0  1 -1
211 -1  1  0 -1
221  0 -1  1  0
230  0  0
24
251
26# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
276 6
28#  i  j  k  n  1
291  1  0  0  0 -1
301 -1  0  0  1 -1
311 -1  1  0  0 -1
321  0 -1  0  1  0
331 -1  0  1  0 -1
341  0  0 -1  1  0
350  0  0
36# We want to let CLooG set the iterator names.
370
38
39
402
41# Scattering functions
421 6
43# c1  i  j  n  1
440  1 -1  0  0  0
45
461 7
47# c1  i  j  k  n  1
480  1  0  0 -1  0  0
491
50p1
51
52