# language: C
c

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

2 # Number of statements:

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

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

0 # Scattering functions