# language: C
c

# One parameter : n
1 3
#  n  1
1  0  1
# We want to set the parameter names...
1
# and 'n' is the name of the unique parameter
n

2 # Number of statements: 2.

1
# {i, j | 1<=i<=n-1; i+1<=j<=n}
4 5
#  i  j  n  1
1  1  0  0 -1
1 -1  0  1 -1
1 -1  1  0 -1
1  0 -1  1  0
0  0  0

1
# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
6 6
#  i  j  k  n  1
1  1  0  0  0 -1
1 -1  0  0  1 -1
1 -1  1  0  0 -1
1  0 -1  0  1  0
1 -1  0  1  0 -1
1  0  0 -1  1  0
0  0  0
# We want to let CLooG set the iterator names.
0

2
# Scattering functions
1 6
# c1  i  j  n  1
0  1 -1  0  0  0

1 7
# c1  i  j  k  n  1
0  1  0  0 -1  0  0
1
proc

2
# Scattering functions
3 8
# c1 c2 c3  i  j  n  1
0  1  0  0 -1  0  0  0
0  0  1  0  0  0  0  0
0  0  0  1  0  0  0  0

3 9
# c1 c2 c3  i  j  k  n  1
0  1  0  0  0  0 -1  0  0
0  0  1  0  0  0  0  0 -1
0  0  0  1  0  0 -1  0  0
0