# language: C
c

# Context
3 4
#  m  n  1
1  1 -1  0  # m > n
1  1  0  0  # m >= 0
1  0  1 -2  # n >= 2
1
m n

2 # Number of statements

1
3 6
#  i  j  m  n  1
1  1  0  0  0 -1 # i >= 1
1  0 -1  1  0  0 # j <= m
1 -1  1  0  0  1 # j >= i-1
0  0  0

1
4 6
#  i  j  m  n  1
1  1  0  0  0 -2 # i >= 2
1 -1  0  0  1  0 # i <= n
1  0  1  0  0  0 # j >= 0
1  0 -1  0  1  0 # j <= n
0  0  0
0

0 # Scattering functions