# language: C
c

# Context
# {M,N | 1>=0}
1   4
# M N 1
1 0 0 1
0

1 # Number of statements

1
# {i,j |1<=i<=N; 0<=j<=M; j<=i; j+i<=N}, i.e.
# {i,j | (1,j)<=i<=-j+N; 0<=j<=M}
6   6
#  i  j  M  N  1
1  1  0  0  0  -1
1  0  1  0  0  0
1  0  -1 1  0  0
1  1  -1 0  0  0
1  -1 -1 0  1  0
1  0  0  0  0  1
0  0  0
0

0 # Scattering functions