# language: C
f

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

1 # Number of statements:

1
# {i, jj, j |  1<=i<=n t*jj<=j<=t*jj+t-1  1<=j<=n}
6 6
#  i  jj   j   n   1
1  1   0   0   0  -1
1 -1   0   0   1   0
1  0   0   1   0  -1
1  0   0  -1   1   0
1  0  10  -1   0   9
1  0 -10   1   0   0
0  0   0
1
i jj j

1 # Scattering functions


2 8
# c1  c2   i  jj   j   n   1
0  1   0   0  -1   0   0   0
0  0   1  -1   0  -1   0   0
0


1 7
# c1   i  jj   j   n   1
0  1   0  -1   0   0   0
0