1 /* Generated from vivien2.cloog by CLooG 64 bits in 4.14s. */
2 for (p1=-54*n+4;p1<=4;p1++) {
12 for (p1=7;p1<=9;p1++) {
13 for (p2=ceild(-p1+2,4);p2<=-1;p2++) {
23 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
38 for (p1=10;p1<=12;p1++) {
43 for (i=max(ceild(p1+1,4),3);i<=floord(p1-3,2);i++) {
53 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
59 for (p2=ceild(-p1+6,4);p2<=-1;p2++) {
64 for (p3=1;p3<=-p2;p3++) {
82 for (p1=14;p1<=2*n+2;p1++) {
83 for (p2=ceild(-p1+10,4);p2<=-1;p2++) {
93 for (p3=1;p3<=-p2;p3++) {
109 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
119 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
125 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
130 for (p3=1;p3<=-p2;p3++) {
143 for (p1=2*n+3;p1<=2*n+4;p1++) {
144 for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) {
150 for (p3=1;p3<=-p2;p3++) {
158 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
168 for (p3=1;p3<=-p2;p3++) {
184 for (i=ceild(p1+1,4);i<=n;i++) {
194 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
200 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
205 for (p3=1;p3<=-p2;p3++) {
214 for (p1=2*n+5;p1<=min(4*n-10,2*n+58);p1++) {
215 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
221 for (p3=1;p3<=-p2;p3++) {
229 for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
236 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
246 for (p3=1;p3<=-p2;p3++) {
258 for (i=ceild(p1+1,4);i<=n;i++) {
268 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
274 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
279 for (p3=1;p3<=-p2;p3++) {
288 for (p1=4*n-9;p1<=min(2*n+58,4*n-8);p1++) {
289 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
295 for (p3=1;p3<=-p2;p3++) {
303 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
314 for (i=ceild(p1+1,4);i<=n;i++) {
324 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
330 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
335 for (p3=1;p3<=-p2;p3++) {
344 for (p1=4*n-7;p1<=min(4*n-6,2*n+58);p1++) {
345 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
351 for (p3=1;p3<=-p2;p3++) {
359 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
370 for (i=ceild(p1+1,4);i<=n;i++) {
380 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
386 for (p2=ceild(-p1+6,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+9,4);p2++) {
400 for (p3=1;p3<=-p2;p3++) {
409 for (p1=4*n-5;p1<=2*n+58;p1++) {
410 for (p2=max(ceild(-p1+2*n+3,2),ceild(-p1+10,4));p2<=floord(-p1+2*n+4,2);p2++) {
421 for (i=ceild(p1+1,4);i<=n;i++) {
431 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
437 for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+6,4));p2<=floord(-p1+2*n+2,2);p2++) {
438 for (p3=1;p3<=-p2;p3++) {
447 for (p1=2*n+59;p1<=4*n-10;p1++) {
448 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
455 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
460 for (p3=1;p3<=-p2;p3++) {
468 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
478 for (p3=1;p3<=-p2;p3++) {
490 for (i=ceild(p1+1,4);i<=n;i++) {
496 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
502 for (p3=1;p3<=-p2;p3++) {
510 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
517 for (p1=max(4*n-9,2*n+59);p1<=4*n-8;p1++) {
518 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
525 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
530 for (p3=1;p3<=-p2;p3++) {
542 for (i=ceild(p1+1,4);i<=n;i++) {
548 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
554 for (p3=1;p3<=-p2;p3++) {
562 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
569 for (p1=max(2*n+59,4*n-7);p1<=4*n-6;p1++) {
570 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
577 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
582 for (p3=1;p3<=-p2;p3++) {
594 for (i=ceild(p1+1,4);i<=n;i++) {
600 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
606 for (p3=1;p3<=-p2;p3++) {
614 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
620 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
621 for (p3=1;p3<=-p2;p3++) {
630 for (p1=max(4*n-5,2*n+59);p1<=4*n-2;p1++) {
631 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) {
642 for (i=ceild(p1+1,4);i<=n;i++) {
648 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
654 for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+6,4));p2<=floord(-p1+2*n+2,2);p2++) {
655 for (p3=1;p3<=-p2;p3++) {
667 for (p1=4*n;p1<=4*n+1;p1++) {