13
2 # Number of statements
16
# {i, j, k | i=2*k+1; 1<=i<=m; 1<=j<=p}
19
0 1 -2 0 0 0 0 -1 # i=2*k+1
20
1 1 0 0 0 0 0 -1 # 1<=i
21
1 -1 0 0 1 0 0 0 # i<=m
22
1 0 0 1 0 0 0 -1 # 1<=j
23
1 0 0 -1 0 0 1 0 # j<=p
27
# {i, j, k | i=2*k+1; 1<=i<=n; 1<=j<=7-i}
30
0 1 -2 0 0 0 0 -1 # i=2*k+1
31
1 1 0 0 0 0 0 -1 # 1<=i
32
1 -1 0 0 0 1 0 0 # i<=n
33
1 0 0 1 0 0 0 -1 # 1<=j
34
1 -1 0 -1 0 0 0 7 # j<=7-i
39
0 # Scattering functions