1 /* Generated from ./test/vivien.cloog by CLooG v0.14.0 64 bits in 0.27s. */
2 /* CLooG asked for 292 KBytes. */
3 for (p1
=-54*n
+4;p1
<=min(4,4*n
+1);p1
++) {
17 for (p1
=max(-54*n
+4,4*n
+2);p1
<=6;p1
++) {
23 for (p1
=7;p1
<=min(2*n
+2,9);p1
++) {
24 for (p2
=ceild(-p1
+2,4);p2
<=-1;p2
++) {
34 for (i
=ceild(p1
+1,4);i
<=min(floord(p1
-3,2),n
);i
++) {
49 for (p1
=2*n
+3;p1
<=min(4*n
-2,9);p1
++) {
50 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
60 for (i
=ceild(p1
+1,4);i
<=min(floord(p1
-3,2),n
);i
++) {
71 for (p1
=10;p1
<=min(12,2*n
+2);p1
++) {
72 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
78 for (p2
=ceild(-p1
+6,4);p2
<=-1;p2
++) {
83 for (p3
=1;p3
<=-p2
;p3
++) {
95 for (i
=max(3,ceild(p1
+1,4));i
<=min(floord(p1
-3,2),n
);i
++) {
110 if ((n
>= 5) && (n
<= 5)) {
114 for (p2
=-1;p2
<=floord(2*n
-13,2);p2
++) {
119 for (p3
=1;p3
<=-p2
;p3
++) {
127 for (p2
=n
-6;p2
<=-1;p2
++) {
128 for (p3
=1;p3
<=-p2
;p3
++) {
140 for (i
=4;i
<=min(5,n
);i
++) {
156 S5(i
= 2,j
= 9/2,k
= 1) ;
162 for (i
=4;i
<=min(5,n
);i
++) {
173 for (p1
=max(max(4*n
-5,10),2*n
+3);p1
<=min(12,2*n
+4);p1
++) {
174 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
180 for (p2
=max(ceild(-p1
+2*n
+1,2),ceild(-p1
+6,4));p2
<=-1;p2
++) {
181 for (p3
=1;p3
<=-p2
;p3
++) {
193 for (i
=max(3,ceild(p1
+1,4));i
<=min(floord(p1
-3,2),n
);i
++) {
204 for (p1
=14;p1
<=2*n
+2;p1
++) {
205 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
211 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+9,4);p2
++) {
216 for (p3
=1;p3
<=-p2
;p3
++) {
224 for (p2
=ceild(-p1
+10,4);p2
<=-1;p2
++) {
234 for (p3
=1;p3
<=-p2
;p3
++) {
250 for (i
=ceild(p1
+1,4);i
<=min(floord(p1
-3,2),n
);i
++) {
265 if ((n
>= 4) && (n
<= 4)) {
266 for (p2
=-2;p2
<=floord(2*n
-13,2);p2
++) {
272 for (p2
=-1;p2
<=floord(2*n
-11,2);p2
++) {
273 for (p3
=1;p3
<=-p2
;p3
++) {
290 for (p1
=2*n
+3;p1
<=min(4*n
-10,2*n
+4);p1
++) {
291 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
297 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+9,4);p2
++) {
302 for (p3
=1;p3
<=-p2
;p3
++) {
310 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
320 for (p3
=1;p3
<=-p2
;p3
++) {
328 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=-1;p2
++) {
334 for (p3
=1;p3
<=-p2
;p3
++) {
350 for (i
=ceild(p1
+1,4);i
<=min(floord(p1
-3,2),n
);i
++) {
361 for (p1
=2*n
+5;p1
<=min(4*n
-10,2*n
+58);p1
++) {
362 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
368 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+9,4);p2
++) {
373 for (p3
=1;p3
<=-p2
;p3
++) {
381 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
391 for (p3
=1;p3
<=-p2
;p3
++) {
399 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+2*n
+2,2);p2
++) {
405 for (p3
=1;p3
<=-p2
;p3
++) {
413 for (p2
=ceild(-p1
+2*n
+3,2);p2
<=min(floord(-p1
+2*n
+4,2),-1);p2
++) {
424 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
435 for (p1
=max(4*n
-9,2*n
+3);p1
<=min(4*n
-8,2*n
+4);p1
++) {
436 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
442 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
447 for (p3
=1;p3
<=-p2
;p3
++) {
455 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=-1;p2
++) {
461 for (p3
=1;p3
<=-p2
;p3
++) {
477 for (i
=ceild(p1
+1,4);i
<=min(floord(p1
-3,2),n
);i
++) {
488 for (p1
=max(4*n
-7,14);p1
<=2*n
+4;p1
++) {
489 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
495 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
500 for (p3
=1;p3
<=-p2
;p3
++) {
508 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+9,4);p2
++) {
509 for (p3
=1;p3
<=-p2
;p3
++) {
517 for (p2
=ceild(-p1
+10,4);p2
<=-1;p2
++) {
523 for (p3
=1;p3
<=-p2
;p3
++) {
539 for (i
=ceild(p1
+1,4);i
<=min(floord(p1
-3,2),n
);i
++) {
550 for (p1
=max(4*n
-9,2*n
+5);p1
<=min(4*n
-8,2*n
+58);p1
++) {
551 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
557 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
562 for (p3
=1;p3
<=-p2
;p3
++) {
570 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+2*n
+2,2);p2
++) {
576 for (p3
=1;p3
<=-p2
;p3
++) {
584 for (p2
=ceild(-p1
+2*n
+3,2);p2
<=min(floord(-p1
+2*n
+4,2),-1);p2
++) {
595 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
606 for (p1
=max(4*n
-7,2*n
+5);p1
<=min(4*n
-6,2*n
+58);p1
++) {
607 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
613 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
618 for (p3
=1;p3
<=-p2
;p3
++) {
626 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+9,4);p2
++) {
627 for (p3
=1;p3
<=-p2
;p3
++) {
635 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
+2,2);p2
++) {
641 for (p3
=1;p3
<=-p2
;p3
++) {
649 for (p2
=ceild(-p1
+2*n
+3,2);p2
<=min(floord(-p1
+2*n
+4,2),-1);p2
++) {
660 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
671 for (p1
=max(max(4*n
-5,14),2*n
+5);p1
<=min(4*n
-2,2*n
+58);p1
++) {
672 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
678 for (p2
=max(ceild(-p1
+2*n
+1,2),ceild(-p1
+6,4));p2
<=floord(-p1
+2*n
+2,2);p2
++) {
679 for (p3
=1;p3
<=-p2
;p3
++) {
687 for (p2
=max(ceild(-p1
+10,4),ceild(-p1
+2*n
+3,2));p2
<=min(floord(-p1
+2*n
+4,2),-1);p2
++) {
698 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
709 if ((n
<= 29) && (n
>= 3)) {
718 for (p1
=2*n
+59;p1
<=4*n
-10;p1
++) {
719 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
725 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+9,4);p2
++) {
730 for (p3
=1;p3
<=-p2
;p3
++) {
738 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
748 for (p3
=1;p3
<=-p2
;p3
++) {
756 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+2*n
+2,2);p2
++) {
762 for (p3
=1;p3
<=-p2
;p3
++) {
770 for (p2
=ceild(-p1
+2*n
+3,2);p2
<=floord(-p1
+2*n
+4,2);p2
++) {
781 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
788 for (p1
=max(4*n
-9,2*n
+59);p1
<=4*n
-8;p1
++) {
789 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
795 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
800 for (p3
=1;p3
<=-p2
;p3
++) {
808 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+2*n
+2,2);p2
++) {
814 for (p3
=1;p3
<=-p2
;p3
++) {
822 for (p2
=ceild(-p1
+2*n
+3,2);p2
<=floord(-p1
+2*n
+4,2);p2
++) {
833 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
840 for (p1
=max(4*n
-7,2*n
+59);p1
<=4*n
-6;p1
++) {
841 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+5,4);p2
++) {
847 for (p2
=ceild(-p1
+6,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
852 for (p3
=1;p3
<=-p2
;p3
++) {
860 for (p2
=ceild(-p1
+2*n
+1,2);p2
<=floord(-p1
+9,4);p2
++) {
861 for (p3
=1;p3
<=-p2
;p3
++) {
869 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
+2,2);p2
++) {
875 for (p3
=1;p3
<=-p2
;p3
++) {
883 for (p2
=ceild(-p1
+2*n
+3,2);p2
<=floord(-p1
+2*n
+4,2);p2
++) {
894 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
901 for (p1
=max(4*n
-5,2*n
+59);p1
<=4*n
-2;p1
++) {
902 for (p2
=ceild(-p1
+2,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
908 for (p2
=max(ceild(-p1
+2*n
+1,2),ceild(-p1
+6,4));p2
<=floord(-p1
+2*n
+2,2);p2
++) {
909 for (p3
=1;p3
<=-p2
;p3
++) {
917 for (p2
=max(ceild(-p1
+10,4),ceild(-p1
+2*n
+3,2));p2
<=floord(-p1
+2*n
+4,2);p2
++) {
928 for (i
=ceild(p1
+1,4);i
<=n
;i
++) {
935 for (p1
=max(4*n
,7);p1
<=min(4*n
+1,2*n
+58);p1
++) {
950 for (p1
=max(max(-54*n
+4,4*n
+2),7);p1
<=2*n
+58;p1
++) {
956 for (p1
=max(4*n
,2*n
+59);p1
<=4*n
+1;p1
++) {