11 6 # Number of statements
22 # S2 {i, j | 1<=i<=n; 1<=j<=i-1}
40 # S4 {i, j | 1<=i<=n; i+1<=j<=n}
50 # S5 {i, j, k | 1<=i<=n; i+1<=j<=n 1<=k<=i-1}
62 # S6 {i, j | 1<=i<=n; i+1<=j<=n}
72 6 # Scattering functions
73 # Et les instructions de chunking (prog init)...
75 # c1 c2 c3 c4 c5 c6 i n 1
84 # c1 c2 c3 c4 c5 c6 i j n 1
85 0 1 0 0 0 0 0 -1 0 0 0
86 0 0 1 0 0 0 0 0 0 0 -2
87 0 0 0 1 0 0 0 0 -1 0 0
88 0 0 0 0 1 0 0 0 0 0 -1
93 # c1 c2 c3 c4 c5 c6 i n 1
102 # c1 c2 c3 c4 c5 c6 i j n 1
103 0 1 0 0 0 0 0 -1 0 0 0
104 0 0 1 0 0 0 0 0 0 0 -4
105 0 0 0 1 0 0 0 0 -1 0 0
106 0 0 0 0 1 0 0 0 0 0 -1
107 0 0 0 0 0 1 0 0 0 0 0
108 0 0 0 0 0 0 1 0 0 0 0
111 # c1 c2 c3 c4 c5 c6 i j k n 1
112 0 1 0 0 0 0 0 -1 0 0 0 0
113 0 0 1 0 0 0 0 0 0 0 0 -4
114 0 0 0 1 0 0 0 0 -1 0 0 0
115 0 0 0 0 1 0 0 0 0 0 0 -2
116 0 0 0 0 0 1 0 0 0 -1 0 0
117 0 0 0 0 0 0 1 0 0 0 0 -1
120 # c1 c2 c3 c4 c5 c6 i j n 1
121 0 1 0 0 0 0 0 -1 0 0 0
122 0 0 1 0 0 0 0 0 0 0 -4
123 0 0 0 1 0 0 0 0 -1 0 0
124 0 0 0 0 1 0 0 0 0 0 -3
125 0 0 0 0 0 1 0 0 0 0 0
126 0 0 0 0 0 0 1 0 0 0 0