# 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-2; 3<=j<=M+2}
4   5
#  i  j  M  1
0  1  -1 0  2
1  0  1  0  -3
1  0  -1 1  2
1  0  0  0  1
0 0 0
0

0 # Scattering functions