# language: C
c

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

2 # Number of statements:

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

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

0 # Scattering functions