1# language: C
2c
3
4# parameter {n d | n >= 0 d >= 0}
52 4
6#  n  d  1
71  1  0  0
81  0  1  0
91
10n d
11
122 # Number of statements:
13
141
15# {i, j | n<=i<=2*n n<=j<=2*n}
164 6
17#   i   j   n   d   1
181   1   0  -1   0   0
191  -1   0   2   0   0
201   0   1  -1   0   0
211   0  -1   2   0   0
220   0   0
23
241
25# {i, j | n+d<=i<=2*n+d n+d<=j<=2*n+d}
264 6
27#   i   j   n   d   1
281   1   0  -1  -1   0
291  -1   0   2   1   0
301   0   1  -1  -1   0
311   0  -1   2   1   0
320   0   0
330
34
350 # Scattering functions
36