# language: C
c

# parameters {n, m | n<=m}
1 4
#1  1 -1  0
1  0  0  1
1
n m

2 # Number of statements

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

0 # Scattering functions