# language: C
c

# parameter {n | n>= 0}
1 3
#  n  1
1  1  0
1
n

1 # Number of statements:

1
# {ii, i | t*ii<=i<=t*ii+t-1  0<=i<=n}
4 5
#  ii   i   n   1
1   0   1   0   0
1   0  -1   1   0
1  10  -1   0   9
1 -10   1   0   0
0   0   0
1
ii i

0 # Scattering functions

1 6
# c1  ii   i   n   1
0  1  -1  -2   0   0
0