1# language: C
2c
3
4# parameter {n | n>= 0}
51 3
6#  n  1
71  1  0
81
9n
10
111 # Number of statements:
12
131
14# {ii, i, j | t*ii<=i<=t*ii+t-1  0<=i<=n  0<=j<=n}
156 6
16#  ii   i   j   n   1
171   0   1   0   0   0
181   0  -1   0   1   0
191   0   0   1   0   0
201   0   0  -1   1   0
211   3  -2  -1   0   2
221  -3   2   1   0   0
230   0   0
241
25ii i j
26
270 # Scattering functions
28
291 7
30# c1  ii   i   j   n   1
310  1  -1  -2   0   0   0
320
33