# language: C
c

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

4 # Number of statements

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

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

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

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

0 # Scattering functions