# language: C
c

# parameter {n | n>=2} {m | m>=2}
2 4
#  m  n  1
1  1  0 -2
1  0  1 -2
1 # We set manually the parameter names: m, n
m n

1 # Number of statements:

1
# {i, j | 2<=i<=n 2<=j<=m n+2-i-j>=0}
5 6
#   i   j   m   n   1
1   1   0   0   0  -2
1  -1   0   0   1   0
1   0   1   0   0  -2
1   0  -1   1   0   0
1  -1  -1   0   1   2
0   0   0
1 # We set manually the iterator names: i, j
i j

0 # No scattering functions
