# language: C
c

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

4 # Number of statements

1
#{t1,t2 | 2<=t1<=N; t2=1; 3<=N}
5 5
#   i    j   M   1
0   0    1   0  -1
1   0    0   1  -3
1  -1    0   1   0
1   1    0   0  -2
1   0    0   0   1
0 0 0

1
#{t1,t2 | t2+1<=t1<=N; 2<=t2}
4 5
#   i    j    M   1
1   1   -1    0  -1
1   0    1    0  -2
1  -1    0    1   0
1   0    0    0   1
0 0 0

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

1
#{t1,t2 | t1=t2; 2<=t2<=N; 3<=N}
4 5
#   i   j    M   1
0   1   -1   0   0
1   0   0    1   -3
1   0   -1   1   0
1   0   1    0   -2
0 0 0
0

0 # Scattering functions