# language: C
c

# parameter n
1 3
1 0 1
1
n

2 # Number of statements

1
# {c1, c2, i, j | c1=i, c2=n, 1<=i<=n; i+1<=j<=n}
6 7
0  1  0 -1  0  0  0
0  0  1  0  0 -1  0
1  0  0  1  0  0 -1
1  0  0 -1  0  1  0
1  0  0 -1  1  0 -1
1  0  0  0 -1  1  0
0  0  0

1
# {c1, c2, i, j, k | c1=k, c2=j, 1<=i<=n; i+1<=j<=n i+1<=k<=n}
8 8
0  1  0  0  0 -1  0  0
0  0  1  0 -1  0  0  0
1  0  0  1  0  0  0 -1
1  0  0 -1  0  0  1  0
1  0  0 -1  1  0  0 -1
1  0  0  0 -1  0  1  0
1  0  0 -1  0  1  0 -1
1  0  0  0  0 -1  1  0
0  0  0
0

0 # Scattering functions