# language: C
c

# parameters n m
1 4
#  n  m  1
1  0  1  0
0

4 # Number of statements

1
# S1 {i | 0<=i<=n}
2 5
#  i  n  m  1
1  1  0  0  0
1 -1  1  0  0
0  0  0

1
# S2 {i, j | 0<=i<=n; 0<=j<=m}
4 6
#  i  j  n  m  1
1  1  0  0  0  0
1 -1  0  1  0  0
1  0  1  0  0  0
1  0 -1  0  1  0
0  0  0

1
# S3 {i, j | 0<=i<=n; 0<=j<=m}
4 6
#  i  j  n  m  1
1  1  0  0  0  0
1 -1  0  1  0  0
1  0  1  0  0  0
1  0 -1  0  1  0
0  0  0

1
# S4 {i | 0<=i<=n}
2 5
#  i  n  m  1
1  1  0  0  0
1 -1  1  0  0
0  0  0
0

0 # Scattering functions
2 7
# c1 C2  i  n  m  1
0  1  0 -1  0  0  0
0  0  1  0  0  0 -1

2 8
# c1 C2  i  j  n  m  1
0  1  0 -1  0  0  0  0
0  0  1  0  0  0  0 -2

2 8
# c1 C2  i  j  n  m  1
0  1  0 -1  0  0  0  0
0  0  1  0  0  0  0 -3

2 7
# c1 C2  i  n  m  1
0  1  0 -1  0  0  0
0  0  1  0  0  0 -4
0