1 /* Generated from ./darte.cloog by CLooG 64 bits in 1.04s. */
5 for (t3=n+3;t3<=3*n+1;t3++) {
14 for (t2=max(-n+4,n);t2<=min(3*n-2,n+2);t2++) {
15 for (t3=t2+2;t3<=t2+2*n;t3++) {
19 if ((t2 >= max(max(-n+4,n),t3-2*n)) && (t2 <= min(min(3*n-2,n+2),t3-2))) {
29 for (t3=1;t3<=n;t3++) {
30 if ((t3 >= 1) && (t3 <= n)) {
31 S2(i = 1,j = n,k = t3) ;
35 for (t1=ceild(-2*n+5,2);t1<=min(-n+6,0);t1++) {
36 for (t2=-t1+5;t2<=t1+2*n;t2++) {
37 for (t3=1;t3<=n;t3++) {
38 if ((t1 >= max(t2-2*n,-t2+5)) && (t1 <= min(-n+6,0))) {
39 if ((t1+t2+1)%2 == 0) {
41 if ((t1 >= max(-t2+5,t2-2*n)) && (t1 <= min(-n+6,0))) {
43 if ((t3 >= 1) && (t3 <= n)) {
50 for (t3=t2+2;t3<=t2+2*n;t3++) {
51 if ((t1 <= min(-n+6,0)) && (t1 >= max(t2-2*n,-t2+5))) {
54 if ((t1 >= max(-t2+5,t2-2*n)) && (t1 <= min(-n+6,0))) {
56 if ((t1 >= -t2+5) && (t1 <= min(-n+6,0)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
67 for (t2=-t1+2;t2<=-t1+4;t2++) {
68 for (t3=t2+2;t3<=t2+2*n;t3++) {
69 if ((t1 >= max(ceild(-2*n+5,2),-t2+2)) && (t1 <= min(min(-n+6,0),-t2+4))) {
72 if ((t1 >= max(ceild(-2*n+5,2),-t2+2)) && (t1 <= min(min(-n+6,0),-t2+4))) {
74 if ((t1 >= max(ceild(-2*n+5,2),-t2+2)) && (t1 <= min(min(-n+6,0),-t2+4)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
85 if ((t1 >= ceild(-2*n+5,2)) && (t1 <= min(0,-n+6))) {
87 for (t3=1;t3<=n;t3++) {
89 if ((t3 >= 1) && (t3 <= n)) {
95 for (t1=-n+7;t1<=0;t1++) {
96 for (t2=-t1+5;t2<=n-2;t2++) {
97 for (t3=1;t3<=t2+1;t3++) {
98 if ((t1 <= 0) && (t1 >= -t2+5)) {
99 if ((t1+t2+1)%2 == 0) {
101 if ((t1 >= -t2+5) && (t1 <= 0)) {
103 if ((t2 >= t3-1) && (t3 >= 1)) {
110 for (t3=t2+2;t3<=n;t3++) {
111 if ((t1 <= 0) && (t1 >= -t2+5)) {
112 if ((t1+t2+1)%2 == 0) {
114 if ((t1 >= -t2+5) && (t1 <= 0)) {
116 if ((t2 <= t3-2) && (t3 <= n)) {
122 if ((t1 <= 0) && (t1 >= -t2+5)) {
123 if ((t1+t2)%2 == 0) {
125 if ((t1 >= -t2+5) && (t1 <= 0)) {
127 if ((t1 >= -t2+5) && (t1 <= 0) && (t2 <= t3-2)) {
128 if ((t1+t3)%2 == 0) {
137 for (t3=n+1;t3<=t2+2*n;t3++) {
138 if ((t1 <= 0) && (t1 >= -t2+5)) {
139 if ((t1+t2)%2 == 0) {
141 if ((t1 >= -t2+5) && (t1 <= 0)) {
143 if ((t1 >= -t2+5) && (t1 <= 0) && (t2 <= n-2) && (t2 >= t3-2*n)) {
144 if ((t1+t3)%2 == 0) {
154 for (t2=n-1;t2<=t1+2*n;t2++) {
155 for (t3=1;t3<=n;t3++) {
156 if ((t1 >= max(t2-2*n,-n+7)) && (t1 <= 0)) {
157 if ((t1+t2+1)%2 == 0) {
159 if ((t1 >= max(-n+7,t2-2*n)) && (t1 <= 0)) {
161 if ((t3 >= 1) && (t3 <= n)) {
168 for (t3=t2+2;t3<=t2+2*n;t3++) {
169 if ((t1 <= 0) && (t1 >= max(-n+7,t2-2*n))) {
170 if ((t1+t2)%2 == 0) {
172 if ((t1 >= max(-n+7,t2-2*n)) && (t1 <= 0)) {
174 if ((t1 >= -n+7) && (t1 <= 0) && (t2 >= max(n-1,t3-2*n)) && (t2 <= t3-2)) {
175 if ((t1+t3)%2 == 0) {
185 for (t2=-t1+2;t2<=-t1+4;t2++) {
186 for (t3=t2+2;t3<=t2+2*n;t3++) {
187 if ((t1 <= min(0,-t2+4)) && (t1 >= max(-n+7,-t2+2))) {
188 if ((t1+t2)%2 == 0) {
190 if ((t1 >= max(-n+7,-t2+2)) && (t1 <= min(0,-t2+4))) {
192 if ((t1 >= max(-n+7,-t2+2)) && (t1 <= min(0,-t2+4)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
193 if ((t1+t3)%2 == 0) {
203 if ((t1 >= -n+7) && (t1 <= 0)) {
205 for (t3=1;t3<=n;t3++) {
207 if ((t3 >= 1) && (t3 <= n)) {
214 for (t1=1;t1<=min(-n+6,1);t1++) {
215 for (t2=-t1+5;t2<=-t1+2*n;t2++) {
216 for (t3=1;t3<=n;t3++) {
217 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n))) {
218 if ((t1+t2+1)%2 == 0) {
220 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-t2+2*n,-n+6),1))) {
222 if ((t3 >= 1) && (t3 <= n)) {
229 for (t3=t2+2;t3<=t2+2*n;t3++) {
230 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n))) {
231 if ((t1+t2)%2 == 0) {
233 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n))) {
235 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
236 if ((t1+t3)%2 == 0) {
246 for (t2=t1+2;t2<=-t1+4;t2++) {
247 for (t3=t2+2;t3<=t2+2*n;t3++) {
248 if ((t1 >= 1) && (t1 <= min(min(-n+6,t2-2),-t2+4))) {
249 if ((t1+t2)%2 == 0) {
251 if ((t1 >= 1) && (t1 <= min(min(-n+6,-t2+4),t2-2))) {
253 if ((t1 >= 1) && (t1 <= min(-n+6,-t2+4)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
254 if ((t1+t3)%2 == 0) {
264 for (t2=-t1+2*n+1;t2<=t1+2*n;t2++) {
265 for (t3=1;t3<=n;t3++) {
266 if ((t1 >= max(t2-2*n,-t2+2*n+1)) && (t1 <= min(-n+6,1))) {
267 if ((t1+t2+1)%2 == 0) {
269 if ((t1 >= max(-t2+2*n+1,t2-2*n)) && (t1 <= min(-n+6,1))) {
271 if ((t3 >= 1) && (t3 <= n)) {
279 if ((t1 >= 1) && (t1 <= min(1,-n+6))) {
281 for (t3=1;t3<=n;t3++) {
283 if ((t3 >= 1) && (t3 <= n)) {
290 for (t1=max(1,-n+7);t1<=1;t1++) {
291 for (t2=-t1+5;t2<=n-2;t2++) {
292 for (t3=1;t3<=t2+1;t3++) {
293 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
294 if ((t1+t2+1)%2 == 0) {
296 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
298 if ((t2 >= t3-1) && (t3 >= 1)) {
305 for (t3=t2+2;t3<=n;t3++) {
306 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
307 if ((t1+t2+1)%2 == 0) {
309 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
311 if ((t2 <= t3-2) && (t3 <= n)) {
317 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
318 if ((t1+t2)%2 == 0) {
320 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
322 if ((t1 >= max(1,-t2+5)) && (t1 <= 1) && (t2 <= t3-2)) {
323 if ((t1+t3)%2 == 0) {
332 for (t3=n+1;t3<=t2+2*n;t3++) {
333 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
334 if ((t1+t2)%2 == 0) {
336 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
338 if ((t1 >= max(1,-t2+5)) && (t1 <= 1) && (t2 <= n-2) && (t2 >= t3-2*n)) {
339 if ((t1+t3)%2 == 0) {
349 for (t2=n-1;t2<=-t1+2*n;t2++) {
350 for (t3=1;t3<=n;t3++) {
351 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n))) {
352 if ((t1+t2+1)%2 == 0) {
354 if ((t1 >= max(1,-n+7)) && (t1 <= min(-t2+2*n,1))) {
356 if ((t3 >= 1) && (t3 <= n)) {
363 for (t3=t2+2;t3<=t2+2*n;t3++) {
364 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n))) {
365 if ((t1+t2)%2 == 0) {
367 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n))) {
369 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n)) && (t2 >= max(n-1,t3-2*n)) && (t2 <= t3-2)) {
370 if ((t1+t3)%2 == 0) {
380 for (t2=t1+2;t2<=-t1+4;t2++) {
381 for (t3=t2+2;t3<=t2+2*n;t3++) {
382 if ((t1 >= max(1,-n+7)) && (t1 <= min(t2-2,-t2+4))) {
383 if ((t1+t2)%2 == 0) {
385 if ((t1 >= max(1,-n+7)) && (t1 <= min(-t2+4,t2-2))) {
387 if ((t1 >= max(1,-n+7)) && (t1 <= -t2+4) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
388 if ((t1+t3)%2 == 0) {
398 for (t2=-t1+2*n+1;t2<=t1+2*n;t2++) {
399 for (t3=1;t3<=n;t3++) {
400 if ((t1 >= max(max(t2-2*n,-n+7),-t2+2*n+1)) && (t1 <= 1)) {
401 if ((t1+t2+1)%2 == 0) {
403 if ((t1 >= max(max(-n+7,-t2+2*n+1),t2-2*n)) && (t1 <= 1)) {
405 if ((t3 >= 1) && (t3 <= n)) {
413 if ((t1 >= max(1,-n+7)) && (t1 <= 1)) {
415 for (t3=1;t3<=n;t3++) {
417 if ((t3 >= 1) && (t3 <= n)) {
423 for (t1=max(n-4,2);t1<=floord(2*n-3,2);t1++) {
424 if ((t1 <= floord(2*n-3,2)) && (t1 >= max(n-4,2))) {
426 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
427 if ((t1 <= min(t3-4,floord(2*n-3,2))) && (t1 >= max(max(t3-2*n-2,n-4),2))) {
429 if ((t1 <= min(floord(2*n-3,2),t3-4)) && (t1 >= max(max(n-4,2),t3-2*n-2))) {
430 if ((t1+t3)%2 == 0) {
438 for (t2=t1+3;t2<=-t1+2*n;t2++) {
439 for (t3=1;t3<=n;t3++) {
440 if ((t1 <= min(t2-3,-t2+2*n)) && (t1 >= max(n-4,2))) {
441 if ((t1+t2+1)%2 == 0) {
443 if ((t1 <= min(-t2+2*n,t2-3)) && (t1 >= max(n-4,2))) {
445 if ((t3 >= 1) && (t3 <= n)) {
452 for (t3=t2+2;t3<=t2+2*n;t3++) {
453 if ((t1 <= min(t2-3,-t2+2*n)) && (t1 >= max(n-4,2))) {
454 if ((t1+t2)%2 == 0) {
456 if ((t1 >= max(n-4,2)) && (t1 <= min(-t2+2*n,t2-3))) {
458 if ((t1 >= max(n-4,2)) && (t1 <= -t2+2*n) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
459 if ((t1+t3)%2 == 0) {
469 for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
470 for (t3=1;t3<=n;t3++) {
471 if ((t1 <= min(floord(2*n-3,2),-t2+2*n+3)) && (t1 >= max(max(n-4,2),-t2+2*n+1))) {
472 if ((t1+t2+1)%2 == 0) {
474 if ((t1 <= min(floord(2*n-3,2),-t2+2*n+3)) && (t1 >= max(max(n-4,2),-t2+2*n+1))) {
476 if ((t3 >= 1) && (t3 <= n)) {
488 for (t3=n+3;t3<=3*n+1;t3++) {
489 if ((t3+n+1)%2 == 0) {
494 for (t2=n+2;t2<=n+4;t2++) {
495 for (t3=1;t3<=n;t3++) {
499 if ((t3 >= 1) && (t3 <= n)) {
506 for (t1=2;t1<=n-5;t1++) {
507 if ((t1 >= 2) && (t1 <= n-5)) {
509 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
510 if ((t1 <= min(t3-4,n-5)) && (t1 >= max(t3-2*n-2,2))) {
512 if ((t1 >= max(2,t3-2*n-2)) && (t1 <= min(n-5,t3-4))) {
513 if ((t1+t3)%2 == 0) {
521 for (t2=t1+3;t2<=n-2;t2++) {
522 for (t3=1;t3<=t2+1;t3++) {
523 if ((t1 <= t2-3) && (t1 >= 2)) {
524 if ((t1+t2+1)%2 == 0) {
526 if ((t1 >= 2) && (t1 <= t2-3)) {
528 if ((t2 >= t3-1) && (t3 >= 1)) {
535 for (t3=t2+2;t3<=n;t3++) {
536 if ((t1 <= t2-3) && (t1 >= 2)) {
537 if ((t1+t2+1)%2 == 0) {
539 if ((t1 >= 2) && (t1 <= t2-3)) {
541 if ((t2 <= t3-2) && (t3 <= n)) {
547 if ((t1 <= t2-3) && (t1 >= 2)) {
548 if ((t1+t2)%2 == 0) {
550 if ((t1 >= 2) && (t1 <= t2-3)) {
552 if ((t1 >= 2) && (t2 <= t3-2)) {
553 if ((t1+t3)%2 == 0) {
562 for (t3=n+1;t3<=t2+2*n;t3++) {
563 if ((t1 <= t2-3) && (t1 >= 2)) {
564 if ((t1+t2)%2 == 0) {
566 if ((t1 >= 2) && (t1 <= t2-3)) {
568 if ((t1 >= 2) && (t2 <= n-2) && (t2 >= t3-2*n)) {
569 if ((t1+t3)%2 == 0) {
579 for (t2=n-1;t2<=-t1+2*n;t2++) {
580 for (t3=1;t3<=n;t3++) {
581 if ((t1 <= min(n-5,-t2+2*n)) && (t1 >= 2)) {
582 if ((t1+t2+1)%2 == 0) {
584 if ((t1 <= min(-t2+2*n,n-5)) && (t1 >= 2)) {
586 if ((t3 >= 1) && (t3 <= n)) {
593 for (t3=t2+2;t3<=t2+2*n;t3++) {
594 if ((t1 <= min(n-5,-t2+2*n)) && (t1 >= 2)) {
595 if ((t1+t2)%2 == 0) {
597 if ((t1 >= 2) && (t1 <= min(n-5,-t2+2*n))) {
599 if ((t1 >= 2) && (t1 <= min(n-5,-t2+2*n)) && (t2 >= max(n-1,t3-2*n)) && (t2 <= t3-2)) {
600 if ((t1+t3)%2 == 0) {
610 for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
611 for (t3=1;t3<=n;t3++) {
612 if ((t1 <= min(n-5,-t2+2*n+3)) && (t1 >= max(2,-t2+2*n+1))) {
613 if ((t1+t2+1)%2 == 0) {
615 if ((t1 >= max(2,-t2+2*n+1)) && (t1 <= min(n-5,-t2+2*n+3))) {
617 if ((t3 >= 1) && (t3 <= n)) {
627 for (t3=5;t3<=7;t3++) {
628 if ((t3 >= 5) && (t3 <= 7)) {
635 for (t2=4;t2<=5;t2++) {
636 for (t3=1;t3<=2;t3++) {
637 if ((t2 <= 5) && (t2 >= 4)) {
640 if ((t2 <= 5) && (t2 >= 4)) {
642 if ((t3 >= 1) && (t3 <= 2)) {
650 for (t3=1;t3<=2;t3++) {
651 if ((t3 >= 1) && (t3 <= 2)) {
652 S2(i = 2,j = 2,k = t3) ;
658 for (t3=1;t3<=n;t3++) {
659 if ((t3 >= 1) && (t3 <= n)) {
660 S2(i = n,j = 1,k = t3) ;