# language: C
c

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

2 # Number of statements:

1
# {i | 0<=i<=n}
2 4
#   i   n   1
1   1   0   0
1  -1   1   0
0   0   0

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

0 # Scattering functions

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