1/* Generated from /home/skimo/git/cloog/test/darte.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.05s. */ 2if (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); 6 } 7 } 8 for (t1=-n+2;t1<=n-1;t1++) { 9 if (t1 >= 2) { 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); 13 } 14 } 15 } 16 for (t2=max(-t1+2,t1+2);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); 21 } 22 } 23 } 24 } 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); 29 } 30 } 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); 34 } 35 if ((t1+t2)%2 == 0) { 36 if ((t1+t3)%2 == 0) { 37 S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2); 38 } 39 } 40 } 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); 45 } 46 } 47 } 48 } 49 if (t1 <= -1) { 50 for (t3=1;t3<=n;t3++) { 51 S2(t1+n-1,n,t3); 52 } 53 } 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); 58 } 59 } 60 } 61 } 62 for (t3=1;t3<=n;t3++) { 63 S2(n,1,t3); 64 } 65} 66