# language: C
c

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

1 # Number of statements:

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

1 # Scattering functions

1 6
# c1   j   i   n   1
0  1  -1  -1   0   0
0