# language: C
c

# Context
# {M | M >= 1}
2 3
#  M  1
1  1 -1
1  0  1
0

2 # Number of statements

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

1
# {i, j | 2<=j<=i<=M}
4 5
#  i  j  M  1
1  0  1  0 -2
1  1 -1  0  0
1 -1  0  1  0
1  0  0  0  1
0  0  0
0

0 # Scattering functions