diff options
Diffstat (limited to 'test/vivien.c.ppl')
| -rw-r--r-- | test/vivien.c.ppl | 943 |
1 files changed, 0 insertions, 943 deletions
diff --git a/test/vivien.c.ppl b/test/vivien.c.ppl deleted file mode 100644 index e002295..0000000 --- a/test/vivien.c.ppl +++ /dev/null @@ -1,943 +0,0 @@ -/* Generated from ./vivien.cloog by CLooG 0.15 64 bits in 0.81s. */ -for (p1=-54*n+4;p1<=4;p1++) { - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -if (n >= 1) { - S3(i = 1) ; -} -for (p1=max(max(-54*n+4,4*n+2),5);p1<=6;p1++) { - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -if (n >= 2) { - S4(i = 1,j = 2) ; - S1(i = 2) ; - S6(i = 1,j = 2) ; -} -for (p1=7;p1<=min(2*n+2,9);p1++) { - for (p2=ceild(-p1+2,4);p2<=-1;p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } - if (p1%2 == 0) { - j = (p1-2)/2 ; - S6(i = 1) ; - } -} -for (p1=2*n+3;p1<=min(4*n-2,9);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -if (n >= 5) { - S4(i = 2,j = 3) ; - S4(i = 1,j = 4) ; - S5(i = 2,j = 3,k = 1) ; - S6(i = 2,j = 3) ; - S1(i = 4) ; - S6(i = 1,j = 4) ; -} -if (n >= 6) { - for (i=3;i<=4;i++) { - j = -i+5 ; - S2 ; - } -} -if ((n <= 4) && (n >= 4)) { - p1 = 2*n+2 ; - for (p2=ceild(-n,2);p2<=floord(-2*n+3,4);p2++) { - j = p2+n+1 ; - S4(i = -p2) ; - } - for (p2=ceild(-n+2,2);p2<=-1;p2++) { - j = p2+n+1 ; - S4(i = -p2) ; - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - j = p2+n ; - S5(k = p3) ; - } - } - j = n-1 ; - S6(i = 2) ; - for (i=3;i<=floord(2*n-1,2);i++) { - if (1%2 == 0) { - j = (-2*i+2*n+1)/2 ; - S2 ; - } - } - S1(i = n) ; - for (p2=-n+5;p2<=1;p2++) { - i = -p2+2 ; - j = p2+n-1 ; - S6 ; - } -} -for (p1=max(max(4*n-5,2*n+3),10);p1<=min(2*n+4,12);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=-1;p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - if (p1%2 == 0) { - j = (p1-4)/2 ; - S6(i = 2) ; - } - for (i=max(ceild(p1+1,4),3);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=2*n+5;p1<=min(4*n-2,13);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n+2,2);p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -if ((n >= 5) && (n <= 5)) { - for (i=3;i<=4;i++) { - j = -i+5 ; - S2 ; - } -} -if (n >= 5) { - S4(i = 2,j = 4) ; - S4(i = 1,j = 5) ; - S5(i = 2,j = 4,k = 1) ; - S6(i = 2,j = 4) ; - S1(i = 5) ; - S6(i = 1,j = 5) ; -} -if ((n >= 5) && (n <= 5)) { - S3(i = 3) ; - for (i=4;i<=n;i++) { - j = -i+6 ; - S2 ; - } -} -if (n >= 6) { - S3(i = 3) ; - for (i=4;i<=5;i++) { - j = -i+6 ; - S2 ; - } -} -for (p1=14;p1<=2*n+2;p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=-1;p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - if (p1%2 == 0) { - j = (p1-4)/2 ; - S6(i = 2) ; - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } - if (p1%2 == 0) { - j = (p1-2)/2 ; - S6(i = 1) ; - } -} -for (p1=2*n+3;p1<=min(4*n-10,2*n+4);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - if (p1%2 == 0) { - j = (p1-4)/2 ; - S6(i = 2) ; - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=max(4*n-9,2*n+3);p1<=min(4*n-8,2*n+4);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - if (p1%2 == 0) { - j = (p1-4)/2 ; - S6(i = 2) ; - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=max(4*n-7,14);p1<=2*n+4;p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=-1;p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - if (p1%2 == 0) { - j = (p1-4)/2 ; - S6(i = 2) ; - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=2*n+5;p1<=min(4*n-10,2*n+58);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=max(4*n-9,2*n+5);p1<=min(4*n-8,2*n+58);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=max(4*n-7,2*n+5);p1<=min(4*n-6,2*n+58);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=max(max(4*n-5,2*n+5),14);p1<=min(4*n-2,2*n+58);p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=min(floord(-p1+2*n+4,2),-1);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -if ((n >= 3) && (n <= 29)) { - p1 = 4*n-1 ; - j = n-1 ; - S2(i = n) ; - if (1%2 == 0) { - i = (4*n-3)/2 ; - S1 ; - } -} -if (n == 2) { - S2(i = 2,j = 1) ; -} -for (p1=max(4*n,7);p1<=min(4*n+1,2*n+58);p1++) { - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=max(max(-54*n+4,4*n+2),7);p1<=2*n+58;p1++) { - if (p1%2 == 0) { - i = (p1-2)/2 ; - S1 ; - } -} -for (p1=2*n+59;p1<=4*n-10;p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } -} -for (p1=max(4*n-9,2*n+59);p1<=4*n-8;p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } -} -for (p1=max(4*n-7,2*n+59);p1<=4*n-6;p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } -} -for (p1=max(4*n-5,2*n+59);p1<=4*n-2;p1++) { - for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) { - if (p1%2 == 0) { - j = (p1+2*p2)/2 ; - S4(i = -p2) ; - } - } - for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) { - for (p3=1;p3<=-p2;p3++) { - i = -p2+1 ; - if (p1%2 == 0) { - j = (p1+2*p2-2)/2 ; - S5(k = p3) ; - } - } - } - for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) { - i = -p2+2 ; - if (p1%2 == 0) { - j = (p1+2*p2-4)/2 ; - S6 ; - } - } - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } - for (i=ceild(p1+1,4);i<=n;i++) { - if ((p1+1)%2 == 0) { - j = (p1-2*i-1)/2 ; - S2 ; - } - } -} -if (n >= 30) { - p1 = 4*n-1 ; - if (1%2 == 0) { - i = (2*n-1)/2 ; - S3 ; - } - j = n-1 ; - S2(i = n) ; -} -for (p1=max(4*n,2*n+59);p1<=4*n+1;p1++) { - if ((p1+3)%4 == 0) { - i = (p1-1)/4 ; - S3 ; - } -} |