# language: C
c

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

2 # Number of statements

1
#
4  6
#  i  j  M  N  1
1  0  1  0  0  0
1  1 -1  0  0  0
1 -1  0  1  0  0
1  0  0  0  0  1
0  0  0

1
#
5  6
#  i  j  M  N  1
1  0  1  0  0  0
1  1 -1  0  0  0
1 -1  0  1  0  0
1  0 -1  0  1  0
1  0  0  0  0  1
0  0  0
0

0 # Scattering functions