Upload Tizen:Base source

1 files changed, 893 insertions, 0 deletions

diff --git a/test/vivien.c.polylib b/test/vivien.c.polylib
new file mode 100644
index 0000000..28af551
--- /dev/null
+++ b/test/vivien.c.polylib
@@ -0,0 +1,893 @@
+/* Generated from vivien.cloog by CLooG v0.14.0 gmp bits in 0.62s. */
+/* CLooG asked for 1368 KBytes. */
+for (p1=-54*n+4;p1<=min(4,4*n+1);p1++) {
+  if (p1%2 == 0) {
+    i = (p1-2)/2 ;
+    S1 ;
+  }
+}
+if (n >= 1) {
+  S3(i = 1) ;
+}
+if (n >= 2) {
+  S4(i = 1,j = 2) ;
+  S1(i = 2) ;
+  S6(i = 1,j = 2) ;
+}
+for (p1=max(-54*n+4,4*n+2);p1<=6;p1++) {
+  if (p1%2 == 0) {
+    i = (p1-2)/2 ;
+    S1 ;
+  }
+}
+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 ;
+  }
+}
+for (p1=10;p1<=min(12,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<=-1;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) ;
+      }
+    }
+  }
+  if (p1%2 == 0) {
+    j = (p1-4)/2 ;
+    S6(i = 2) ;
+  }
+  for (i=max(3,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) ;
+  }
+}
+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=max(max(4*n-5,10),2*n+3);p1<=min(12,2*n+4);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+2*n+1,2),ceild(-p1+6,4));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(3,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=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) ;
+  }
+}
+if ((n >= 4) && (n <= 4)) {
+  S3(i = 3) ;
+  for (i=4;i<=n;i++) {
+    j = -i+6 ;
+    S2 ;
+  }
+}
+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=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+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=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,14),2*n+5);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+2*n+1,2),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) ;
+      }
+    }
+  }
+  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 <= 29) && (n >= 3)) {
+  p1 = 4*n-1 ;
+  j = n-1 ;
+  S2(i = n) ;
+}
+if (n == 2) {
+  S2(i = 2,j = 1) ;
+}
+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+2*n+1,2),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) ;
+      }
+    }
+  }
+  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 ;
+    }
+  }
+}
+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 ;
+  }
+}
+if (n >= 30) {
+  p1 = 4*n-1 ;
+  j = n-1 ;
+  S2(i = n) ;
+}
+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=max(4*n,2*n+59);p1<=4*n+1;p1++) {
+  if ((p1+3)%4 == 0) {
+    i = (p1-1)/4 ;
+    S3 ;
+  }
+}