# language: C
c

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

2 # Number of statements

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

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

0 # Scattering functions