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