1# language: C
2c
3
4# parameters {n | n>=16}
51 3
6#  n  1
71  1 -16
80
9
102 # Number of statements
11
121
13# {i, j | 1<=i<=n 5<=j<=n-10}
144 5
15#  i  j  n  1
161  1  0  0 -1
171 -1  0  1  0
181  0  1  0 -5
191  0 -1  1 -10
200  0  0
21
221
23# {i, j | 1<=i<=n 5<=j<=n-10}
244 5
25#  i  j  n  1
261  1  0  0 -1
271 -1  0  1  0
281  0  1  0 -5
291  0 -1  1 -10
300  0  0
310
32
332 # Scattering functions
34# Et les instructions de chunking (sol triviale)...
352 7
36# c1 c2  i  j  n  1
370  1  0 -1  0  0  0
380  0  1  0 -1  0  0
39
402 7
41# c1 c2  i  j  n  1
420  1  0  0 -1  0  0
430  0  1 -1  1  0  0
440
45
46# Et les instructions de chunking (sol aux inverse)...
472 7
48# c1 c2  i    j  n  1
490  1  0 -10  -3  0 -5
500  0  1 -4   -1  0  5
51
522 7
53# c1 c2  i    j  n  1
540  1  0 -9   -4  0 -15
550  0  1 -5    0  0  0
560
57
582
59# Et les instructions de chunking (sol aux egalites)...
602 7
61# c1 c2  i    j  n  1
620  1  0  1   -2  0  -30
630  0  1 -1    1  0  30
64
652 7
66# c1 c2  i    j  n  1
670  1  0 -1    1  0  15
680  0  1  1   -2  0 -30
690
70
71# Et les instructions de chunking (sol triviale)...
722 7
73# c1 c2  i  j  n  1
740  1  0 -1  0  0  0
750  0  1  0 -1  0  5
76
772 7
78# c1 c2  i  j  n  1
790  1  0  0 -1  0 -10
800  0  1 -1  0  0  0
810
82
83