1/* Generated from /home/skimo/git/cloog/test/vivien2.cloog by CLooG 0.14.0-292-g2bfd6ac gmp bits in 0.10s. */ 2for (p1=-54*n+4;p1<=4;p1++) { 3 if (p1%2 == 0) { 4 S1((p1-2)/2); 5 } 6} 7S3(1); 8S4(1,2); 9S1(2); 10S6(1,2); 11for (p1=7;p1<=9;p1++) { 12 if (p1 == 8) { 13 S4(1,3); 14 } 15 if (p1 == 8) { 16 S1(3); 17 } 18 if (p1 == 8) { 19 S6(1,3); 20 } 21 if (p1 == 9) { 22 S3(2); 23 } 24 if ((p1+1)%2 == 0) { 25 S2((p1-3)/2,1); 26 } 27} 28for (p1=10;p1<=2*n+58;p1++) { 29 p2 = ceild(-p1+2,4); 30 if (p2 <= min(floord(-p1+2*n,2),floord(-p1+5,4))) { 31 if (p1%2 == 0) { 32 S4(-p2,(p1+2*p2)/2); 33 } 34 } 35 if (p1 >= 4*n-4) { 36 if (p1%2 == 0) { 37 for (p3=1;p3<=floord(p1-2*n-2,2);p3++) { 38 S5((p1-2*n)/2,n,p3); 39 } 40 } 41 } 42 p2 = ceild(-p1+6,4); 43 if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) { 44 if (p1%2 == 0) { 45 S4(-p2,(p1+2*p2)/2); 46 } 47 for (p3=1;p3<=-p2;p3++) { 48 if (p1%2 == 0) { 49 S5(-p2+1,(p1+2*p2-2)/2,p3); 50 } 51 } 52 } 53 for (p2=ceild(-p1+10,4);p2<=min(-1,floord(-p1+2*n,2));p2++) { 54 if (p1%2 == 0) { 55 S4(-p2,(p1+2*p2)/2); 56 } 57 if (p1%2 == 0) { 58 S6(-p2+2,(p1+2*p2-4)/2); 59 } 60 for (p3=1;p3<=-p2;p3++) { 61 if (p1%2 == 0) { 62 S5(-p2+1,(p1+2*p2-2)/2,p3); 63 } 64 } 65 } 66 if ((p1 >= 2*n+4) && (p1 <= 4*n-6)) { 67 if (p1%2 == 0) { 68 S6((p1-2*n+2)/2,n-1); 69 for (p3=1;p3<=floord(p1-2*n-2,2);p3++) { 70 S5((p1-2*n)/2,n,p3); 71 } 72 } 73 } 74 if (p1 >= 2*n+6) { 75 if (p1%2 == 0) { 76 S6((p1-2*n)/2,n); 77 } 78 } 79 if (p1 <= 2*n+4) { 80 if (p1%2 == 0) { 81 S6(2,(p1-4)/2); 82 } 83 if ((p1+3)%4 == 0) { 84 S3((p1-1)/4); 85 } 86 if (p1%2 == 0) { 87 S1((p1-2)/2); 88 } 89 } 90 if (p1 >= 2*n+5) { 91 if ((p1+3)%4 == 0) { 92 S3((p1-1)/4); 93 } 94 if (p1%2 == 0) { 95 S1((p1-2)/2); 96 } 97 } 98 if (p1 <= 2*n+2) { 99 if (p1%2 == 0) { 100 S6(1,(p1-2)/2); 101 } 102 } 103 for (p2=max(1,ceild(p1-2*n-1,2));p2<=floord(p1-3,4);p2++) { 104 if ((p1+1)%2 == 0) { 105 S2((p1-2*p2-1)/2,p2); 106 } 107 } 108} 109for (p1=2*n+59;p1<=4*n-2;p1++) { 110 p2 = ceild(-p1+2,4); 111 if (p2 <= min(floord(-p1+2*n,2),floord(-p1+5,4))) { 112 if (p1%2 == 0) { 113 S4(-p2,(p1+2*p2)/2); 114 } 115 } 116 if (p1 >= 4*n-4) { 117 if (p1%2 == 0) { 118 for (p3=1;p3<=floord(p1-2*n-2,2);p3++) { 119 S5((p1-2*n)/2,n,p3); 120 } 121 } 122 } 123 p2 = ceild(-p1+6,4); 124 if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) { 125 if (p1%2 == 0) { 126 S4(-p2,(p1+2*p2)/2); 127 } 128 for (p3=1;p3<=-p2;p3++) { 129 if (p1%2 == 0) { 130 S5(-p2+1,(p1+2*p2-2)/2,p3); 131 } 132 } 133 } 134 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) { 135 if (p1%2 == 0) { 136 S4(-p2,(p1+2*p2)/2); 137 } 138 if (p1%2 == 0) { 139 S6(-p2+2,(p1+2*p2-4)/2); 140 } 141 for (p3=1;p3<=-p2;p3++) { 142 if (p1%2 == 0) { 143 S5(-p2+1,(p1+2*p2-2)/2,p3); 144 } 145 } 146 } 147 if (p1 <= 4*n-6) { 148 if (p1%2 == 0) { 149 S6((p1-2*n+2)/2,n-1); 150 for (p3=1;p3<=floord(p1-2*n-2,2);p3++) { 151 S5((p1-2*n)/2,n,p3); 152 } 153 } 154 } 155 if (p1%2 == 0) { 156 S6((p1-2*n)/2,n); 157 } 158 if ((p1+3)%4 == 0) { 159 S3((p1-1)/4); 160 } 161 for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) { 162 if ((p1+1)%2 == 0) { 163 S2((p1-2*p2-1)/2,p2); 164 } 165 } 166} 167S2(n,n-1); 168S3(n); 169