1 /* Generated from ./darte.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.02s. */
2 if (n >= 1) {
3 for (t3=n+3;t3<=3*n+1;t3++) {
4 if ((t3+n+1)%2 == 0) {
5 S1(1,n,((t3-n-1)/2));
8 for (t1=-n+2;t1<=n-1;t1++) {
9 if (t1 >= 0) {
10 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
11 if ((t1+t3)%2 == 0) {
12 S1((t1+1),1,((-t1+t3-2)/2));
16 for (t2=max(-t1+2,t1+3);t2<=-t1+4;t2++) {
17 for (t3=t2+2;t3<=t2+2*n;t3++) {
18 if ((t1+t2)%2 == 0) {
19 if ((t1+t3)%2 == 0) {
20 S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
25 for (t2=max(-t1+5,t1+3);t2<=min(-t1+2*n,t1+2*n);t2++) {
26 for (t3=1;t3<=min(n,t2+1);t3++) {
27 if ((t1+t2+1)%2 == 0) {
28 S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
31 for (t3=t2+2;t3<=n;t3++) {
32 if ((t1+t2+1)%2 == 0) {
33 S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
35 if ((t1+t2)%2 == 0) {
36 if ((t1+t3)%2 == 0) {
37 S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
41 for (t3=max(n+1,t2+2);t3<=t2+2*n;t3++) {
42 if ((t1+t2)%2 == 0) {
43 if ((t1+t3)%2 == 0) {
44 S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
49 if (t1 <= -1) {
50 for (t3=1;t3<=n;t3++) {
51 S2((t1+n-1),n,t3);
54 for (t2=-t1+2*n+1;t2<=min(-t1+2*n+3,t1+2*n+1);t2++) {
55 for (t3=1;t3<=n;t3++) {
56 if ((t1+t2+1)%2 == 0) {
57 S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
62 for (t3=1;t3<=n;t3++) {
63 S2(n,1,t3);