# language: C
c

# parameters {M, N | M>=1 N >=1}
2 4
1  1  0 -1
1  0  1 -1
0

2 # Number of statements

1
# {i, j | i=0 0<=i<=N 1<=j<=M}
5 6
0  1  0  0  0  0
1  1  0  0  0  0
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  1  0  0
0  0  0

1
# {i, j | i>=1 0<=i<=N 1<=j<=M}
5 6
1  1  0  0  0 -1
1  1  0  0  0  0
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  1  0  0
0  0  0
0
 
0 # Scattering functions