1# language: C
2c
3
4# parameters n m
51 4
6#  n  m  1
71  0  1  0
80
9
104 # Number of statements
11
121
13# S1 {i | 0<=i<=n}
142 5
15#  i  n  m  1
161  1  0  0  0
171 -1  1  0  0
180  0  0
19
201
21# S2 {i, j | 0<=i<=n; 0<=j<=m}
224 6
23#  i  j  n  m  1
241  1  0  0  0  0
251 -1  0  1  0  0
261  0  1  0  0  0
271  0 -1  0  1  0
280  0  0
29
301
31# S3 {i, j | 0<=i<=n; 0<=j<=m}
324 6
33#  i  j  n  m  1
341  1  0  0  0  0
351 -1  0  1  0  0
361  0  1  0  0  0
371  0 -1  0  1  0
380  0  0
39
401
41# S4 {i | 0<=i<=n}
422 5
43#  i  n  m  1
441  1  0  0  0
451 -1  1  0  0
460  0  0
470
48
490 # Scattering functions
502 7
51# c1 C2  i  n  m  1
520  1  0 -1  0  0  0
530  0  1  0  0  0 -1
54
552 8
56# c1 C2  i  j  n  m  1
570  1  0 -1  0  0  0  0
580  0  1  0  0  0  0 -2
59
602 8
61# c1 C2  i  j  n  m  1
620  1  0 -1  0  0  0  0
630  0  1  0  0  0  0 -3
64
652 7
66# c1 C2  i  n  m  1
670  1  0 -1  0  0  0
680  0  1  0  0  0 -4
690
70