1 /* Generated from darte.cloog by CLooG v0.14.0 gmp bits in 0.25s. */
2 /* CLooG asked for 460 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
++) {
28 for (t3
=1;t3
<=n
;t3
++) {
29 S2(i
= 1,j
= n
,k
= t3
) ;
34 for (t2
=n
;t2
<=n
+2;t2
++) {
35 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
47 for (t3
=1;t3
<=n
;t3
++) {
48 S2(i
= 1,j
= n
,k
= t3
) ;
51 for (t1
=ceild(-2*n
+5,2);t1
<=min(-n
+6,-1);t1
++) {
52 for (t2
=-t1
+2;t2
<=-t1
+4;t2
++) {
53 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
64 for (t2
=-t1
+5;t2
<=t1
+2*n
;t2
++) {
65 for (t3
=1;t3
<=n
;t3
++) {
66 if ((t1
+t2
+1)%2 == 0) {
72 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
84 for (t3
=1;t3
<=n
;t3
++) {
90 for (t3
=5;t3
<=7;t3
++) {
96 for (t2
=4;t2
<=6;t2
++) {
97 for (t3
=1;t3
<=2;t3
++) {
106 for (t1
=-n
+7;t1
<=-1;t1
++) {
107 for (t2
=-t1
+2;t2
<=-t1
+4;t2
++) {
108 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
109 if ((t1
+t2
)%2 == 0) {
112 if ((t1
+t3
)%2 == 0) {
119 for (t2
=-t1
+5;t2
<=n
-2;t2
++) {
120 for (t3
=1;t3
<=t2
+1;t3
++) {
121 if ((t1
+t2
+1)%2 == 0) {
127 for (t3
=t2
+2;t3
<=n
;t3
++) {
128 if ((t1
+t2
+1)%2 == 0) {
133 if ((t1
+t2
)%2 == 0) {
136 if ((t1
+t3
)%2 == 0) {
142 for (t3
=n
+1;t3
<=t2
+2*n
;t3
++) {
143 if ((t1
+t2
)%2 == 0) {
146 if ((t1
+t3
)%2 == 0) {
153 for (t2
=n
-1;t2
<=t1
+2*n
;t2
++) {
154 for (t3
=1;t3
<=n
;t3
++) {
155 if ((t1
+t2
+1)%2 == 0) {
161 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
162 if ((t1
+t2
)%2 == 0) {
165 if ((t1
+t3
)%2 == 0) {
173 for (t3
=1;t3
<=n
;t3
++) {
179 for (t1
=0;t1
<=min(1,-n
+6);t1
++) {
180 for (t2
=t1
+2;t2
<=-t1
+4;t2
++) {
181 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
182 if ((t1
+t2
)%2 == 0) {
185 if ((t1
+t3
)%2 == 0) {
192 for (t2
=-t1
+5;t2
<=-t1
+2*n
;t2
++) {
193 for (t3
=1;t3
<=n
;t3
++) {
194 if ((t1
+t2
+1)%2 == 0) {
200 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
201 if ((t1
+t2
)%2 == 0) {
204 if ((t1
+t3
)%2 == 0) {
211 for (t2
=-t1
+2*n
+1;t2
<=t1
+2*n
+1;t2
++) {
212 for (t3
=1;t3
<=n
;t3
++) {
213 if ((t1
+t2
+1)%2 == 0) {
222 for (t1
=max(-n
+7,0);t1
<=1;t1
++) {
223 for (t2
=t1
+2;t2
<=-t1
+4;t2
++) {
224 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
225 if ((t1
+t2
)%2 == 0) {
228 if ((t1
+t3
)%2 == 0) {
235 for (t2
=-t1
+5;t2
<=n
-2;t2
++) {
236 for (t3
=1;t3
<=t2
+1;t3
++) {
237 if ((t1
+t2
+1)%2 == 0) {
243 for (t3
=t2
+2;t3
<=n
;t3
++) {
244 if ((t1
+t2
+1)%2 == 0) {
249 if ((t1
+t2
)%2 == 0) {
252 if ((t1
+t3
)%2 == 0) {
258 for (t3
=n
+1;t3
<=t2
+2*n
;t3
++) {
259 if ((t1
+t2
)%2 == 0) {
262 if ((t1
+t3
)%2 == 0) {
269 for (t2
=n
-1;t2
<=-t1
+2*n
;t2
++) {
270 for (t3
=1;t3
<=n
;t3
++) {
271 if ((t1
+t2
+1)%2 == 0) {
277 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
278 if ((t1
+t2
)%2 == 0) {
281 if ((t1
+t3
)%2 == 0) {
288 for (t2
=-t1
+2*n
+1;t2
<=t1
+2*n
+1;t2
++) {
289 for (t3
=1;t3
<=n
;t3
++) {
290 if ((t1
+t2
+1)%2 == 0) {
298 for (t1
=2;t1
<=n
-5;t1
++) {
300 for (t3
=t1
+4;t3
<=t1
+2*n
+2;t3
++) {
302 if ((t1
+t3
)%2 == 0) {
307 for (t2
=t1
+3;t2
<=n
-2;t2
++) {
308 for (t3
=1;t3
<=t2
+1;t3
++) {
309 if ((t1
+t2
+1)%2 == 0) {
315 for (t3
=t2
+2;t3
<=n
;t3
++) {
316 if ((t1
+t2
+1)%2 == 0) {
321 if ((t1
+t2
)%2 == 0) {
324 if ((t1
+t3
)%2 == 0) {
330 for (t3
=n
+1;t3
<=t2
+2*n
;t3
++) {
331 if ((t1
+t2
)%2 == 0) {
334 if ((t1
+t3
)%2 == 0) {
341 for (t2
=n
-1;t2
<=-t1
+2*n
;t2
++) {
342 for (t3
=1;t3
<=n
;t3
++) {
343 if ((t1
+t2
+1)%2 == 0) {
349 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
350 if ((t1
+t2
)%2 == 0) {
353 if ((t1
+t3
)%2 == 0) {
360 for (t2
=-t1
+2*n
+1;t2
<=-t1
+2*n
+3;t2
++) {
361 for (t3
=1;t3
<=n
;t3
++) {
362 if ((t1
+t2
+1)%2 == 0) {
370 for (t1
=max(2,n
-4);t1
<=floord(2*n
-3,2);t1
++) {
372 for (t3
=t1
+4;t3
<=t1
+2*n
+2;t3
++) {
374 if ((t1
+t3
)%2 == 0) {
379 for (t2
=t1
+3;t2
<=-t1
+2*n
;t2
++) {
380 for (t3
=1;t3
<=n
;t3
++) {
381 if ((t1
+t2
+1)%2 == 0) {
387 for (t3
=t2
+2;t3
<=t2
+2*n
;t3
++) {
388 if ((t1
+t2
)%2 == 0) {
391 if ((t1
+t3
)%2 == 0) {
398 for (t2
=-t1
+2*n
+1;t2
<=-t1
+2*n
+3;t2
++) {
399 for (t3
=1;t3
<=n
;t3
++) {
400 if ((t1
+t2
+1)%2 == 0) {
411 for (t3
=n
+3;t3
<=3*n
+1;t3
++) {
412 if ((t3
+n
+1)%2 == 0) {
417 for (t2
=n
+2;t2
<=n
+4;t2
++) {
418 for (t3
=1;t3
<=n
;t3
++) {
429 for (t3
=1;t3
<=n
;t3
++) {
430 S2(i
= n
,j
= 1,k
= t3
) ;