1 /* Generated from ./vivien.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.07s. */
3 for (p1
=-54*n
+4;p1
<=4;p1
++) {
19 for (p1
=7;p1
<=min(9,4*n
-2);p1
++) {
36 for (p1
=10;p1
<=min(2*n
+58,4*n
-2);p1
++) {
38 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+5,4))) {
40 S4(-p2
,((p1
+2*p2
)/2));
45 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
46 S5(((p1
-2*n
)/2),n
,p3
);
51 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+9,4))) {
53 S4(-p2
,((p1
+2*p2
)/2));
55 for (p3
=1;p3
<=-p2
;p3
++) {
57 S5((-p2
+1),((p1
+2*p2
-2)/2),p3
);
61 for (p2
=ceild(-p1
+10,4);p2
<=min(-1,floord(-p1
+2*n
,2));p2
++) {
63 S4(-p2
,((p1
+2*p2
)/2));
66 S6((-p2
+2),((p1
+2*p2
-4)/2));
68 for (p3
=1;p3
<=-p2
;p3
++) {
70 S5((-p2
+1),((p1
+2*p2
-2)/2),p3
);
74 if ((p1
>= 2*n
+4) && (p1
<= 4*n
-6)) {
76 S6(((p1
-2*n
+2)/2),(n
-1));
77 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
78 S5(((p1
-2*n
)/2),n
,p3
);
111 for (p2
=max(1,ceild(p1
-2*n
-1,2));p2
<=floord(p1
-3,4);p2
++) {
113 S2(((p1
-2*p2
-1)/2),p2
);
117 if ((n
>= 2) && (n
<= 29)) {
120 if ((n
>= 2) && (n
<= 29)) {
123 if ((n
>= 2) && (n
<= 28)) {
126 for (p1
=max(7,4*n
+2);p1
<=2*n
+58;p1
++) {
131 for (p1
=2*n
+59;p1
<=4*n
-2;p1
++) {
133 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+5,4))) {
135 S4(-p2
,((p1
+2*p2
)/2));
140 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
141 S5(((p1
-2*n
)/2),n
,p3
);
146 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+9,4))) {
148 S4(-p2
,((p1
+2*p2
)/2));
150 for (p3
=1;p3
<=-p2
;p3
++) {
152 S5((-p2
+1),((p1
+2*p2
-2)/2),p3
);
156 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
158 S4(-p2
,((p1
+2*p2
)/2));
161 S6((-p2
+2),((p1
+2*p2
-4)/2));
163 for (p3
=1;p3
<=-p2
;p3
++) {
165 S5((-p2
+1),((p1
+2*p2
-2)/2),p3
);
171 S6(((p1
-2*n
+2)/2),(n
-1));
172 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
173 S5(((p1
-2*n
)/2),n
,p3
);
183 for (p2
=ceild(p1
-2*n
-1,2);p2
<=floord(p1
-3,4);p2
++) {
185 S2(((p1
-2*p2
-1)/2),p2
);