1 /* Generated from ./vivien.cloog by CLooG 0.15 64 bits in 2.55s. */
2 for (p1=-54*n+4;p1<=4;p1++) {
16 for (p1=7;p1<=min(2*n+2,9);p1++) {
17 for (p2=ceild(-p1+2,4);p2<=-1;p2++) {
27 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
42 for (p1=2*n+3;p1<=min(4*n-2,9);p1++) {
43 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
53 for (i=ceild(p1+1,4);i<=n;i++) {
75 S5(i = 2,j = 4,k = 1) ;
78 for (p1=max(4*n-9,2*n+3);p1<=min(4*n-8,2*n+4);p1++) {
87 for (i=ceild(p1+1,4);i<=n;i++) {
97 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
103 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
108 for (p3=1;p3<=-p2;p3++) {
116 for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) {
122 for (p3=1;p3<=-p2;p3++) {
131 for (p1=n+6;p1<=min(2*n+2,11);p1++) {
136 for (i=3;i<=floord(p1-3,2);i++) {
146 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
152 for (p2=ceild(-p1+6,4);p2<=-1;p2++) {
157 for (p3=1;p3<=-p2;p3++) {
165 for (p2=max(ceild(-p1+2*n+3,2),ceild(-p1+12,2));p2<=1;p2++) {
173 for (p1=max(max(4*n-5,2*n+5),14);p1<=min(4*n-2,2*n+58);p1++) {
174 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) {
175 for (p3=1;p3<=-p2;p3++) {
183 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
194 for (i=ceild(p1+1,4);i<=n;i++) {
204 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
211 if ((n >= 5) && (n <= 5)) {
223 S5(i = 2,j = 3,k = 1) ;
233 for (p1=14;p1<=2*n+2;p1++) {
234 for (p2=ceild(-p1+10,4);p2<=-1;p2++) {
244 for (p3=1;p3<=-p2;p3++) {
260 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
270 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
276 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
281 for (p3=1;p3<=-p2;p3++) {
294 for (p1=max(4*n-7,2*n+5);p1<=min(4*n-6,2*n+58);p1++) {
295 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
296 for (p3=1;p3<=-p2;p3++) {
304 for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
315 for (i=ceild(p1+1,4);i<=n;i++) {
325 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
331 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
336 for (p3=1;p3<=-p2;p3++) {
344 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
350 for (p3=1;p3<=-p2;p3++) {
359 for (p1=2*n+3;p1<=min(4*n-10,2*n+4);p1++) {
360 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
370 for (p3=1;p3<=-p2;p3++) {
386 for (i=ceild(p1+1,4);i<=n;i++) {
396 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
402 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
407 for (p3=1;p3<=-p2;p3++) {
415 for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) {
421 for (p3=1;p3<=-p2;p3++) {
430 for (p1=2*n+5;p1<=min(4*n-10,2*n+58);p1++) {
431 for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
438 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
448 for (p3=1;p3<=-p2;p3++) {
460 for (i=ceild(p1+1,4);i<=n;i++) {
470 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
476 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
481 for (p3=1;p3<=-p2;p3++) {
489 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
495 for (p3=1;p3<=-p2;p3++) {
504 for (p1=max(4*n-9,2*n+5);p1<=min(4*n-8,2*n+58);p1++) {
505 for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
516 for (i=ceild(p1+1,4);i<=n;i++) {
526 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
532 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
537 for (p3=1;p3<=-p2;p3++) {
545 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
551 for (p3=1;p3<=-p2;p3++) {
560 for (p1=max(max(4*n-5,2*n+3),10);p1<=min(2*n+4,12);p1++) {
561 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=-1;p2++) {
562 for (p3=1;p3<=-p2;p3++) {
574 for (i=max(ceild(p1+1,4),3);i<=n;i++) {
584 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
591 for (p1=2*n+5;p1<=min(floord(8*n+61,7),4*n-2);p1++) {
592 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n+2,2);p2++) {
593 for (p3=1;p3<=-p2;p3++) {
605 for (i=ceild(p1+1,4);i<=n;i++) {
615 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
622 for (p1=max(4*n-7,14);p1<=2*n+4;p1++) {
623 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
624 for (p3=1;p3<=-p2;p3++) {
640 for (i=ceild(p1+1,4);i<=n;i++) {
650 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
656 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
661 for (p3=1;p3<=-p2;p3++) {
669 for (p2=ceild(-p1+10,4);p2<=-1;p2++) {
675 for (p3=1;p3<=-p2;p3++) {
684 if ((n >= 3) && (n <= 29)) {
696 for (p1=max(max(-54*n+4,4*n+2),5);p1<=6;p1++) {
702 for (p1=max(4*n,7);p1<=min(4*n+1,2*n+58);p1++) {
712 for (p1=max(max(-54*n+4,4*n+2),7);p1<=2*n+58;p1++) {
718 for (p1=2*n+59;p1<=4*n-10;p1++) {
719 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
726 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
731 for (p3=1;p3<=-p2;p3++) {
739 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
749 for (p3=1;p3<=-p2;p3++) {
761 for (i=ceild(p1+1,4);i<=n;i++) {
767 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
773 for (p3=1;p3<=-p2;p3++) {
781 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
788 for (p1=max(4*n-9,2*n+59);p1<=4*n-8;p1++) {
789 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
796 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
801 for (p3=1;p3<=-p2;p3++) {
813 for (i=ceild(p1+1,4);i<=n;i++) {
819 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
825 for (p3=1;p3<=-p2;p3++) {
833 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
840 for (p1=max(4*n-7,2*n+59);p1<=4*n-6;p1++) {
841 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
848 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
853 for (p3=1;p3<=-p2;p3++) {
865 for (i=ceild(p1+1,4);i<=n;i++) {
871 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
877 for (p3=1;p3<=-p2;p3++) {
885 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
891 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
892 for (p3=1;p3<=-p2;p3++) {
901 for (p1=max(4*n-5,2*n+59);p1<=4*n-2;p1++) {
902 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) {
913 for (i=ceild(p1+1,4);i<=n;i++) {
919 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
925 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) {
926 for (p3=1;p3<=-p2;p3++) {
944 for (p1=max(4*n,2*n+59);p1<=4*n+1;p1++) {