1# language: C
2c
3
4# parameter n
53 5
6#  m  n  p  1
71  1 -1  0 -1
81  0 -1  1 -1
90  0  1  0 -6
101
11m n p
12
132 # Number of statements
14
151
16# {i, j, k | i=2*k+1; 1<=i<=m;  1<=j<=p}
175 8
18#  i  k  j  m  n  p  1
190  1 -2  0  0  0  0 -1 # i=2*k+1
201  1  0  0  0  0  0 -1 # 1<=i
211 -1  0  0  1  0  0  0 # i<=m
221  0  0  1  0  0  0 -1 # 1<=j
231  0  0 -1  0  0  1  0 # j<=p
240  0  0
25
261
27# {i, j, k | i=2*k+1; 1<=i<=n;  1<=j<=7-i}
285 8
29#  i  k  j  m  n  p  1
300  1 -2  0  0  0  0 -1 # i=2*k+1
311  1  0  0  0  0  0 -1 # 1<=i
321 -1  0  0  0  1  0  0 # i<=n
331  0  0  1  0  0  0 -1 # 1<=j
341 -1  0 -1  0  0  0  7 # j<=7-i
350  0  0
361
37i k j
38
390 # Scattering functions
40