1 /* Generated by CLooG v0.10.7 */
9 S1(i
= 3,j
= 0,k
= 0) ;
10 S2(i
= 3,j
= 0,k
= 0) ;
17 S1(i
= 4,j
= 0,k
= 0) ;
18 S2(i
= 4,j
= 0,k
= 0) ;
19 S3(i
= 4,j
= 0,k
= 0) ;
20 S5(i
= 4,j
= 0,k
= 0) ;
28 S6(i
= 5,j
= -4,k
= 0) ;
29 S7(i
= 5,j
= -4,k
= 0) ;
30 for (j
=-3;j
<=-1;j
++) {
33 S3(i
= 5,j
= 0,k
= 0) ;
34 S7(i
= 5,j
= 0,k
= 0) ;
35 S4(i
= 5,j
= 1,k
= -1) ;
36 S5(i
= 5,j
= 1,k
= 0) ;
43 S6(i
= 6,j
= -4,k
= 0) ;
44 S6(i
= 6,j
= -3,k
= 0) ;
45 S7(i
= 6,j
= -3,k
= 0) ;
46 for (j
=-2;j
<=-1;j
++) {
49 S3(i
= 6,j
= 0,k
= 0) ;
50 S7(i
= 6,j
= 0,k
= 0) ;
51 S4(i
= 6,j
= 1,k
= -1) ;
52 S4(i
= 6,j
= 2,k
= -1) ;
53 S5(i
= 6,j
= 2,k
= 0) ;
60 for (j
=-4;j
<=-3;j
++) {
63 S6(i
= 7,j
= -2,k
= 0) ;
64 S7(i
= 7,j
= -2,k
= 0) ;
65 S7(i
= 7,j
= -1,k
= 0) ;
66 S3(i
= 7,j
= 0,k
= 0) ;
67 S7(i
= 7,j
= 0,k
= 0) ;
71 S4(i
= 7,j
= 3,k
= -1) ;
72 S5(i
= 7,j
= 3,k
= 0) ;
73 S5(i
= 7,j
= 4,k
= 0) ;
74 S9(i
= 7,j
= 4,k
= 0) ;
75 S10(i
= 7,j
= 4,k
= 0) ;
76 S11(i
= 7,j
= 4,k
= 0) ;
77 S21(i
= 7,j
= 4,k
= 0) ;
78 S23(i
= 7,j
= 4,k
= 0) ;
79 S11(i
= 7,j
= 4,k
= 1) ;
80 S16(i
= 7,j
= 4,k
= 1) ;
81 S17(i
= 7,j
= 4,k
= 1) ;
85 S12(i
= 7,j
= 5,k
= 0) ;
86 S21(i
= 7,j
= 5,k
= 0) ;
87 S22(i
= 7,j
= 5,k
= 0) ;
88 S23(i
= 7,j
= 5,k
= 0) ;
89 S12(i
= 7,j
= 5,k
= 1) ;
90 S16(i
= 7,j
= 5,k
= 1) ;
91 S17(i
= 7,j
= 5,k
= 1) ;
95 S21(i
= 7,j
= 6,k
= 0) ;
96 S22(i
= 7,j
= 6,k
= 0) ;
97 S23(i
= 7,j
= 6,k
= 0) ;
104 S8(i
= 7,j
= 9,k
= 0) ;
105 S22(i
= 7,j
= 9,k
= 0) ;
106 for (j
=10;j
<=11;j
++) {
109 for (j
=-4;j
<=-2;j
++) {
112 S6(i
= 8,j
= -1,k
= 0) ;
113 S7(i
= 8,j
= -1,k
= 0) ;
114 S3(i
= 8,j
= 0,k
= 0) ;
115 S7(i
= 8,j
= 0,k
= 0) ;
116 S19(i
= 8,j
= 1,k
= -2) ;
117 S4(i
= 8,j
= 1,k
= -1) ;
118 S19(i
= 8,j
= 1,k
= -1) ;
119 S19(i
= 8,j
= 1,k
= 0) ;
120 S15(i
= 8,j
= 1,k
= 4) ;
121 S18(i
= 8,j
= 1,k
= 4) ;
122 for (k
=-4;k
<=-3;k
++) {
126 S14(i
= 8,j
= 2,k
= -2) ;
127 S19(i
= 8,j
= 2,k
= -2) ;
128 S20(i
= 8,j
= 2,k
= -2) ;
129 S4(i
= 8,j
= 2,k
= -1) ;
130 S14(i
= 8,j
= 2,k
= -1) ;
131 S19(i
= 8,j
= 2,k
= -1) ;
132 S20(i
= 8,j
= 2,k
= -1) ;
133 S14(i
= 8,j
= 2,k
= 0) ;
134 S19(i
= 8,j
= 2,k
= 0) ;
135 S20(i
= 8,j
= 2,k
= 0) ;
136 S15(i
= 8,j
= 2,k
= 4) ;
137 S18(i
= 8,j
= 2,k
= 4) ;
138 for (k
=-4;k
<=-2;k
++) {
142 S4(i
= 8,j
= 3,k
= -1) ;
143 S14(i
= 8,j
= 3,k
= -1) ;
144 S20(i
= 8,j
= 3,k
= -1) ;
145 S14(i
= 8,j
= 3,k
= 0) ;
146 S20(i
= 8,j
= 3,k
= 0) ;
147 S15(i
= 8,j
= 3,k
= 4) ;
148 S18(i
= 8,j
= 3,k
= 4) ;
149 for (k
=-4;k
<=-2;k
++) {
153 S4(i
= 8,j
= 4,k
= -1) ;
154 S14(i
= 8,j
= 4,k
= -1) ;
155 S20(i
= 8,j
= 4,k
= -1) ;
156 S5(i
= 8,j
= 4,k
= 0) ;
157 S9(i
= 8,j
= 4,k
= 0) ;
158 S10(i
= 8,j
= 4,k
= 0) ;
159 S14(i
= 8,j
= 4,k
= 0) ;
160 S20(i
= 8,j
= 4,k
= 0) ;
161 S23(i
= 8,j
= 4,k
= 0) ;
162 S13(i
= 8,j
= 4,k
= 1) ;
163 S21(i
= 8,j
= 4,k
= 1) ;
164 S23(i
= 8,j
= 4,k
= 1) ;
165 S24(i
= 8,j
= 4,k
= 1) ;
166 S13(i
= 8,j
= 4,k
= 2) ;
167 S16(i
= 8,j
= 4,k
= 2) ;
168 S17(i
= 8,j
= 4,k
= 2) ;
169 S24(i
= 8,j
= 4,k
= 2) ;
170 S13(i
= 8,j
= 4,k
= 3) ;
171 S24(i
= 8,j
= 4,k
= 3) ;
172 S13(i
= 8,j
= 4,k
= 4) ;
173 S15(i
= 8,j
= 4,k
= 4) ;
174 S23(i
= 8,j
= 5,k
= 0) ;
175 S11(i
= 8,j
= 5,k
= 1) ;
176 S21(i
= 8,j
= 5,k
= 1) ;
177 S22(i
= 8,j
= 5,k
= 1) ;
178 S23(i
= 8,j
= 5,k
= 1) ;
179 S24(i
= 8,j
= 5,k
= 1) ;
180 S11(i
= 8,j
= 5,k
= 2) ;
181 S16(i
= 8,j
= 5,k
= 2) ;
182 S17(i
= 8,j
= 5,k
= 2) ;
183 S24(i
= 8,j
= 5,k
= 2) ;
184 S11(i
= 8,j
= 5,k
= 3) ;
185 S24(i
= 8,j
= 5,k
= 3) ;
186 S11(i
= 8,j
= 5,k
= 4) ;
187 S15(i
= 8,j
= 5,k
= 4) ;
188 S23(i
= 8,j
= 6,k
= 0) ;
189 S12(i
= 8,j
= 6,k
= 1) ;
190 S21(i
= 8,j
= 6,k
= 1) ;
191 S22(i
= 8,j
= 6,k
= 1) ;
192 S23(i
= 8,j
= 6,k
= 1) ;
193 S24(i
= 8,j
= 6,k
= 1) ;
194 S12(i
= 8,j
= 6,k
= 2) ;
195 S16(i
= 8,j
= 6,k
= 2) ;
196 S17(i
= 8,j
= 6,k
= 2) ;
197 S24(i
= 8,j
= 6,k
= 2) ;
198 S12(i
= 8,j
= 6,k
= 3) ;
199 S24(i
= 8,j
= 6,k
= 3) ;
200 S12(i
= 8,j
= 6,k
= 4) ;
211 S22(i
= 8,j
= 9,k
= 1) ;
212 S7(i
= 9,j
= 0,k
= 0) ;
214 for (k
=-1;k
<=0;k
++) {
222 S20(i
= 9,j
= 3,k
= -4) ;
223 for (k
=-3;k
<=-2;k
++) {
227 for (k
=-1;k
<=0;k
++) {
236 S20(i
= 9,j
= 4,k
= -4) ;
237 for (k
=-3;k
<=-1;k
++) {
241 S9(i
= 9,j
= 4,k
= 0) ;
242 S10(i
= 9,j
= 4,k
= 0) ;
243 S14(i
= 9,j
= 4,k
= 0) ;
244 S20(i
= 9,j
= 4,k
= 0) ;
245 S23(i
= 9,j
= 4,k
= 0) ;
246 S23(i
= 9,j
= 4,k
= 1) ;
247 S13(i
= 9,j
= 4,k
= 2) ;
248 S21(i
= 9,j
= 4,k
= 2) ;
249 S23(i
= 9,j
= 4,k
= 2) ;
250 S24(i
= 9,j
= 4,k
= 2) ;
251 S13(i
= 9,j
= 4,k
= 3) ;
252 S16(i
= 9,j
= 4,k
= 3) ;
253 S17(i
= 9,j
= 4,k
= 3) ;
254 S24(i
= 9,j
= 4,k
= 3) ;
255 S13(i
= 9,j
= 4,k
= 4) ;
256 S15(i
= 9,j
= 4,k
= 4) ;
257 S18(i
= 9,j
= 4,k
= 4) ;
258 S15(i
= 9,j
= 4,k
= 5) ;
259 S18(i
= 9,j
= 4,k
= 5) ;
263 S13(i
= 9,j
= 5,k
= 2) ;
264 S21(i
= 9,j
= 5,k
= 2) ;
265 S22(i
= 9,j
= 5,k
= 2) ;
266 S23(i
= 9,j
= 5,k
= 2) ;
267 S24(i
= 9,j
= 5,k
= 2) ;
268 S13(i
= 9,j
= 5,k
= 3) ;
269 S16(i
= 9,j
= 5,k
= 3) ;
270 S17(i
= 9,j
= 5,k
= 3) ;
271 S24(i
= 9,j
= 5,k
= 3) ;
272 S13(i
= 9,j
= 5,k
= 4) ;
273 S15(i
= 9,j
= 5,k
= 4) ;
274 S15(i
= 9,j
= 5,k
= 5) ;
278 S11(i
= 9,j
= 6,k
= 2) ;
279 S21(i
= 9,j
= 6,k
= 2) ;
280 S22(i
= 9,j
= 6,k
= 2) ;
281 S23(i
= 9,j
= 6,k
= 2) ;
282 S24(i
= 9,j
= 6,k
= 2) ;
283 S11(i
= 9,j
= 6,k
= 3) ;
284 S16(i
= 9,j
= 6,k
= 3) ;
285 S17(i
= 9,j
= 6,k
= 3) ;
286 S24(i
= 9,j
= 6,k
= 3) ;
287 S11(i
= 9,j
= 6,k
= 4) ;
291 S12(i
= 9,j
= 7,k
= 2) ;
292 S21(i
= 9,j
= 7,k
= 2) ;
293 S22(i
= 9,j
= 7,k
= 2) ;
294 S23(i
= 9,j
= 7,k
= 2) ;
295 S24(i
= 9,j
= 7,k
= 2) ;
296 S12(i
= 9,j
= 7,k
= 3) ;
297 S16(i
= 9,j
= 7,k
= 3) ;
298 S17(i
= 9,j
= 7,k
= 3) ;
299 S24(i
= 9,j
= 7,k
= 3) ;
300 S12(i
= 9,j
= 7,k
= 4) ;
304 S21(i
= 9,j
= 8,k
= 2) ;
305 S22(i
= 9,j
= 8,k
= 2) ;
306 S23(i
= 9,j
= 8,k
= 2) ;
307 S24(i
= 9,j
= 8,k
= 2) ;
308 S24(i
= 9,j
= 8,k
= 3) ;
309 S22(i
= 9,j
= 9,k
= 2) ;
321 for (k
=-4;k
<=-3;k
++) {
324 for (k
=-2;k
<=-1;k
++) {
328 S9(i
= 10,j
= 4,k
= 0) ;
329 S10(i
= 10,j
= 4,k
= 0) ;
330 S14(i
= 10,j
= 4,k
= 0) ;
331 S19(i
= 10,j
= 4,k
= 0) ;
332 S20(i
= 10,j
= 4,k
= 0) ;
333 S13(i
= 10,j
= 4,k
= 3) ;
334 S21(i
= 10,j
= 4,k
= 3) ;
335 S24(i
= 10,j
= 4,k
= 3) ;
336 S26(i
= 10,j
= 4,k
= 3) ;
337 S13(i
= 10,j
= 4,k
= 4) ;
338 S15(i
= 10,j
= 4,k
= 4) ;
339 S16(i
= 10,j
= 4,k
= 4) ;
340 S17(i
= 10,j
= 4,k
= 4) ;
341 S18(i
= 10,j
= 4,k
= 4) ;
342 S25(i
= 10,j
= 4,k
= 4) ;
347 S13(i
= 10,j
= 5,k
= 3) ;
348 S21(i
= 10,j
= 5,k
= 3) ;
349 S22(i
= 10,j
= 5,k
= 3) ;
350 S24(i
= 10,j
= 5,k
= 3) ;
351 S26(i
= 10,j
= 5,k
= 3) ;
352 S13(i
= 10,j
= 5,k
= 4) ;
353 S15(i
= 10,j
= 5,k
= 4) ;
354 S16(i
= 10,j
= 5,k
= 4) ;
355 S17(i
= 10,j
= 5,k
= 4) ;
356 S18(i
= 10,j
= 5,k
= 4) ;
357 S25(i
= 10,j
= 5,k
= 4) ;
362 S13(i
= 10,j
= 6,k
= 3) ;
363 S21(i
= 10,j
= 6,k
= 3) ;
364 S22(i
= 10,j
= 6,k
= 3) ;
365 S24(i
= 10,j
= 6,k
= 3) ;
366 S13(i
= 10,j
= 6,k
= 4) ;
367 S16(i
= 10,j
= 6,k
= 4) ;
368 S17(i
= 10,j
= 6,k
= 4) ;
369 S11(i
= 10,j
= 7,k
= 3) ;
370 S21(i
= 10,j
= 7,k
= 3) ;
371 S22(i
= 10,j
= 7,k
= 3) ;
372 S24(i
= 10,j
= 7,k
= 3) ;
373 S11(i
= 10,j
= 7,k
= 4) ;
374 S16(i
= 10,j
= 7,k
= 4) ;
375 S17(i
= 10,j
= 7,k
= 4) ;
376 S12(i
= 10,j
= 8,k
= 3) ;
377 S21(i
= 10,j
= 8,k
= 3) ;
378 S22(i
= 10,j
= 8,k
= 3) ;
379 S24(i
= 10,j
= 8,k
= 3) ;
380 S12(i
= 10,j
= 8,k
= 4) ;
381 S16(i
= 10,j
= 8,k
= 4) ;
382 S17(i
= 10,j
= 8,k
= 4) ;
383 S22(i
= 10,j
= 9,k
= 3) ;
384 for (i
=11;i
<=14;i
++) {