1 /* Generated from ./test/darte.cloog by CLooG v0.14.0 64 bits in 0.13s. */
2 /* CLooG asked for 168 KBytes. */
6 for (t3
=n
+3;t3
<=3*n
+1;t3
++) {
13 if ((n
>= 2) && (n
<= 2)) {
15 for (t2
=-n
+4;t2
<=3*n
-2;t2
++) {
16 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
17 if ((t2
-n
+2)%2 == 0) {
19 if ((t2
+n
-2)%2 == 0) {
21 if ((-t2
+t3
)%2 == 0) {
30 for (t3
=1;t3
<=n
;t3
++) {
31 S2(i
= 1,j
= n
,k
= t3
) ;
36 for (t2
=n
;t2
<=n
+2;t2
++) {
37 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
38 if ((t2
-n
+2)%2 == 0) {
40 if ((t2
+n
-2)%2 == 0) {
42 if ((-t2
+t3
)%2 == 0) {
51 for (t3
=1;t3
<=n
;t3
++) {
52 S2(i
= 1,j
= n
,k
= t3
) ;
55 for (t1
=ceild(-2*n
+5,2);t1
<=min(-n
+6,-1);t1
++) {
56 for (t2
=-t1
+2;t2
<=-t1
+4;t2
++) {
57 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
60 if ((-t1
+t2
)%2 == 0) {
62 if ((-t2
+t3
)%2 == 0) {
70 for (t2
=-t1
+5;t2
<=t1
+2*n
;t2
++) {
71 for (t3
=1;t3
<=n
;t3
++) {
72 if ((t1
+t2
-3)%2 == 0) {
74 if ((-t1
+t2
-1)%2 == 0) {
80 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
83 if ((-t1
+t2
)%2 == 0) {
85 if ((-t2
+t3
)%2 == 0) {
94 for (t3
=1;t3
<=n
;t3
++) {
100 for (t3
=5;t3
<=2*n
+3;t3
++) {
106 for (t2
=4;t2
<=6;t2
++) {
107 for (t3
=1;t3
<=n
;t3
++) {
118 for (t1
=-n
+7;t1
<=-1;t1
++) {
119 for (t2
=-t1
+2;t2
<=-t1
+4;t2
++) {
120 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
121 if ((t1
+t2
)%2 == 0) {
123 if ((-t1
+t2
)%2 == 0) {
125 if ((-t2
+t3
)%2 == 0) {
133 for (t2
=-t1
+5;t2
<=n
-2;t2
++) {
134 for (t3
=1;t3
<=t2
+1;t3
++) {
135 if ((t1
+t2
-3)%2 == 0) {
137 if ((-t1
+t2
-1)%2 == 0) {
143 for (t3
=t2
+2;t3
<=n
;t3
++) {
144 if ((t1
+t2
-3)%2 == 0) {
146 if ((-t1
+t2
-1)%2 == 0) {
151 if ((t1
+t2
)%2 == 0) {
153 if ((-t1
+t2
)%2 == 0) {
155 if ((-t2
+t3
)%2 == 0) {
162 for (t3
=n
+1;t3
<=t2
+2*n
;t3
++) {
163 if ((t1
+t2
)%2 == 0) {
165 if ((-t1
+t2
)%2 == 0) {
167 if ((-t2
+t3
)%2 == 0) {
175 for (t2
=n
-1;t2
<=t1
+2*n
;t2
++) {
176 for (t3
=1;t3
<=n
;t3
++) {
177 if ((t1
+t2
-3)%2 == 0) {
179 if ((-t1
+t2
-1)%2 == 0) {
185 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
186 if ((t1
+t2
)%2 == 0) {
188 if ((-t1
+t2
)%2 == 0) {
190 if ((-t2
+t3
)%2 == 0) {
199 for (t3
=1;t3
<=n
;t3
++) {
205 for (t1
=0;t1
<=min(1,-n
+6);t1
++) {
206 for (t2
=t1
+2;t2
<=-t1
+4;t2
++) {
207 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
208 if ((t1
+t2
)%2 == 0) {
210 if ((-t1
+t2
)%2 == 0) {
212 if ((-t2
+t3
)%2 == 0) {
220 for (t2
=-t1
+5;t2
<=-t1
+2*n
;t2
++) {
221 for (t3
=1;t3
<=n
;t3
++) {
222 if ((t1
+t2
-3)%2 == 0) {
224 if ((-t1
+t2
-1)%2 == 0) {
230 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
231 if ((t1
+t2
)%2 == 0) {
233 if ((-t1
+t2
)%2 == 0) {
235 if ((-t2
+t3
)%2 == 0) {
243 for (t2
=-t1
+2*n
+1;t2
<=t1
+2*n
+1;t2
++) {
244 for (t3
=1;t3
<=n
;t3
++) {
245 if ((t1
+t2
-3)%2 == 0) {
247 if ((-t1
+t2
-1)%2 == 0) {
256 for (t1
=max(-n
+7,0);t1
<=1;t1
++) {
257 for (t2
=t1
+2;t2
<=-t1
+4;t2
++) {
258 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
259 if ((t1
+t2
)%2 == 0) {
261 if ((-t1
+t2
)%2 == 0) {
263 if ((-t2
+t3
)%2 == 0) {
271 for (t2
=-t1
+5;t2
<=n
-2;t2
++) {
272 for (t3
=1;t3
<=t2
+1;t3
++) {
273 if ((t1
+t2
-3)%2 == 0) {
275 if ((-t1
+t2
-1)%2 == 0) {
281 for (t3
=t2
+2;t3
<=n
;t3
++) {
282 if ((t1
+t2
-3)%2 == 0) {
284 if ((-t1
+t2
-1)%2 == 0) {
289 if ((t1
+t2
)%2 == 0) {
291 if ((-t1
+t2
)%2 == 0) {
293 if ((-t2
+t3
)%2 == 0) {
300 for (t3
=n
+1;t3
<=t2
+2*n
;t3
++) {
301 if ((t1
+t2
)%2 == 0) {
303 if ((-t1
+t2
)%2 == 0) {
305 if ((-t2
+t3
)%2 == 0) {
313 for (t2
=n
-1;t2
<=-t1
+2*n
;t2
++) {
314 for (t3
=1;t3
<=n
;t3
++) {
315 if ((t1
+t2
-3)%2 == 0) {
317 if ((-t1
+t2
-1)%2 == 0) {
323 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
324 if ((t1
+t2
)%2 == 0) {
326 if ((-t1
+t2
)%2 == 0) {
328 if ((-t2
+t3
)%2 == 0) {
336 for (t2
=-t1
+2*n
+1;t2
<=t1
+2*n
+1;t2
++) {
337 for (t3
=1;t3
<=n
;t3
++) {
338 if ((t1
+t2
-3)%2 == 0) {
340 if ((-t1
+t2
-1)%2 == 0) {
348 for (t1
=2;t1
<=n
-5;t1
++) {
350 for (t3
=t1
+4;t3
<=t1
+2*n
+2;t3
++) {
352 if ((-t1
+t3
-2)%2 == 0) {
357 for (t2
=t1
+3;t2
<=n
-2;t2
++) {
358 for (t3
=1;t3
<=t2
+1;t3
++) {
359 if ((t1
+t2
-3)%2 == 0) {
361 if ((-t1
+t2
-1)%2 == 0) {
367 for (t3
=t2
+2;t3
<=n
;t3
++) {
368 if ((t1
+t2
-3)%2 == 0) {
370 if ((-t1
+t2
-1)%2 == 0) {
375 if ((t1
+t2
)%2 == 0) {
377 if ((-t1
+t2
)%2 == 0) {
379 if ((-t2
+t3
)%2 == 0) {
386 for (t3
=n
+1;t3
<=t2
+2*n
;t3
++) {
387 if ((t1
+t2
)%2 == 0) {
389 if ((-t1
+t2
)%2 == 0) {
391 if ((-t2
+t3
)%2 == 0) {
399 for (t2
=n
-1;t2
<=-t1
+2*n
;t2
++) {
400 for (t3
=1;t3
<=n
;t3
++) {
401 if ((t1
+t2
-3)%2 == 0) {
403 if ((-t1
+t2
-1)%2 == 0) {
409 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
410 if ((t1
+t2
)%2 == 0) {
412 if ((-t1
+t2
)%2 == 0) {
414 if ((-t2
+t3
)%2 == 0) {
422 for (t2
=-t1
+2*n
+1;t2
<=-t1
+2*n
+3;t2
++) {
423 for (t3
=1;t3
<=n
;t3
++) {
424 if ((t1
+t2
-3)%2 == 0) {
426 if ((-t1
+t2
-1)%2 == 0) {
434 for (t1
=max(2,n
-4);t1
<=floord(2*n
-3,2);t1
++) {
436 for (t3
=t1
+4;t3
<=t1
+2*n
+2;t3
++) {
438 if ((-t1
+t3
-2)%2 == 0) {
443 for (t2
=t1
+3;t2
<=-t1
+2*n
;t2
++) {
444 for (t3
=1;t3
<=n
;t3
++) {
445 if ((t1
+t2
-3)%2 == 0) {
447 if ((-t1
+t2
-1)%2 == 0) {
453 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
454 if ((t1
+t2
)%2 == 0) {
456 if ((-t1
+t2
)%2 == 0) {
458 if ((-t2
+t3
)%2 == 0) {
466 for (t2
=-t1
+2*n
+1;t2
<=-t1
+2*n
+3;t2
++) {
467 for (t3
=1;t3
<=n
;t3
++) {
468 if ((t1
+t2
-3)%2 == 0) {
470 if ((-t1
+t2
-1)%2 == 0) {
481 for (t3
=n
+3;t3
<=3*n
+1;t3
++) {
482 if ((t3
-n
-1)%2 == 0) {
487 for (t2
=n
+2;t2
<=n
+4;t2
++) {
488 for (t3
=1;t3
<=n
;t3
++) {
489 if ((t2
+n
-4)%2 == 0) {
501 for (t3
=1;t3
<=n
;t3
++) {
502 S2(i
= n
,j
= 1,k
= t3
) ;