| blob | 2d14c7ca4b671f840b9cca7666219bbcc624bb61 |
1 /* Generated from ./darte.cloog by CLooG 0.15 64 bits in 0.24s. */
2 if (n >= 1) {
3 t1 = -n+1 ;
4 t2 = n+1 ;
5 for (t3=n+3;t3<=3*n+1;t3++) {
6 if ((t3+n+1)%2 == 0) {
7 k = (t3-n-1)/2 ;
8 S1(i = 1,j = n) ;
9 }
10 }
11 }
12 if (n >= 2) {
13 t1 = -n+2 ;
14 for (t2=max(n,-n+4);t2<=min(3*n-2,n+2);t2++) {
15 for (t3=t2+2;t3<=t2+2*n;t3++) {
16 if ((t2+n)%2 == 0) {
17 i = (t2-n+2)/2 ;
18 j = (t2+n-2)/2 ;
19 if ((t3+n)%2 == 0) {
20 k = (-t2+t3)/2 ;
21 S1 ;
22 }
23 }
24 }
25 }
26 t2 = n+3 ;
27 for (t3=1;t3<=n;t3++) {
28 S2(i = 1,j = n,k = t3) ;
29 }
30 }
31 if (n == 2) {
32 for (t3=5;t3<=7;t3++) {
33 if ((t3+1)%2 == 0) {
34 k = (t3-3)/2 ;
35 S1(i = 2,j = 1) ;
36 }
37 }
38 for (t2=4;t2<=5;t2++) {
39 for (t3=1;t3<=2;t3++) {
40 if (t2%2 == 0) {
41 i = (t2-2)/2 ;
42 j = (t2-2)/2 ;
43 S2(k = t3) ;
44 }
45 }
46 }
47 for (t3=1;t3<=2;t3++) {
48 S2(i = 2,j = 2,k = t3) ;
49 }
50 }
51 for (t1=ceild(-2*n+5,2);t1<=min(-n+6,0);t1++) {
52 for (t2=-t1+2;t2<=-t1+4;t2++) {
53 for (t3=t2+2;t3<=t2+2*n;t3++) {
54 if ((t1+t2)%2 == 0) {
55 i = (t1+t2)/2 ;
56 j = (-t1+t2)/2 ;
57 if ((t1+t3)%2 == 0) {
58 k = (-t2+t3)/2 ;
59 S1 ;
60 }
61 }
62 }
63 }
64 for (t2=-t1+5;t2<=t1+2*n;t2++) {
65 for (t3=1;t3<=n;t3++) {
66 if ((t1+t2+1)%2 == 0) {
67 i = (t1+t2-3)/2 ;
68 j = (-t1+t2-1)/2 ;
69 S2(k = t3) ;
70 }
71 }
72 for (t3=t2+2;t3<=t2+2*n;t3++) {
73 if ((t1+t2)%2 == 0) {
74 i = (t1+t2)/2 ;
75 j = (-t1+t2)/2 ;
76 if ((t1+t3)%2 == 0) {
77 k = (-t2+t3)/2 ;
78 S1 ;
79 }
80 }
81 }
82 }
83 t2 = t1+2*n+1 ;
84 for (t3=1;t3<=n;t3++) {
85 i = t1+n-1 ;
86 S2(j = n,k = t3) ;
87 }
88 }
89 for (t1=-n+7;t1<=0;t1++) {
90 for (t2=-t1+2;t2<=-t1+4;t2++) {
91 for (t3=t2+2;t3<=t2+2*n;t3++) {
92 if ((t1+t2)%2 == 0) {
93 i = (t1+t2)/2 ;
94 j = (-t1+t2)/2 ;
95 if ((t1+t3)%2 == 0) {
96 k = (-t2+t3)/2 ;
97 S1 ;
98 }
99 }
100 }
101 }
102 for (t2=-t1+5;t2<=n-2;t2++) {
103 for (t3=1;t3<=t2+1;t3++) {
104 if ((t1+t2+1)%2 == 0) {
105 i = (t1+t2-3)/2 ;
106 j = (-t1+t2-1)/2 ;
107 S2(k = t3) ;
108 }
109 }
110 for (t3=t2+2;t3<=n;t3++) {
111 if ((t1+t2+1)%2 == 0) {
112 i = (t1+t2-3)/2 ;
113 j = (-t1+t2-1)/2 ;
114 S2(k = t3) ;
115 }
116 if ((t1+t2)%2 == 0) {
117 i = (t1+t2)/2 ;
118 j = (-t1+t2)/2 ;
119 if ((t1+t3)%2 == 0) {
120 k = (-t2+t3)/2 ;
121 S1 ;
122 }
123 }
124 }
125 for (t3=n+1;t3<=t2+2*n;t3++) {
126 if ((t1+t2)%2 == 0) {
127 i = (t1+t2)/2 ;
128 j = (-t1+t2)/2 ;
129 if ((t1+t3)%2 == 0) {
130 k = (-t2+t3)/2 ;
131 S1 ;
132 }
133 }
134 }
135 }
136 for (t2=n-1;t2<=t1+2*n;t2++) {
137 for (t3=1;t3<=n;t3++) {
138 if ((t1+t2+1)%2 == 0) {
139 i = (t1+t2-3)/2 ;
140 j = (-t1+t2-1)/2 ;
141 S2(k = t3) ;
142 }
143 }
144 for (t3=t2+2;t3<=t2+2*n;t3++) {
145 if ((t1+t2)%2 == 0) {
146 i = (t1+t2)/2 ;
147 j = (-t1+t2)/2 ;
148 if ((t1+t3)%2 == 0) {
149 k = (-t2+t3)/2 ;
150 S1 ;
151 }
152 }
153 }
154 }
155 t2 = t1+2*n+1 ;
156 for (t3=1;t3<=n;t3++) {
157 i = t1+n-1 ;
158 S2(j = n,k = t3) ;
159 }
160 }
161 if (n >= 3) {
162 for (t1=1;t1<=min(-n+6,1);t1++) {
163 for (t2=t1+2;t2<=-t1+4;t2++) {
164 for (t3=t2+2;t3<=t2+2*n;t3++) {
165 if ((t1+t2)%2 == 0) {
166 i = (t1+t2)/2 ;
167 j = (-t1+t2)/2 ;
168 if ((t1+t3)%2 == 0) {
169 k = (-t2+t3)/2 ;
170 S1 ;
171 }
172 }
173 }
174 }
175 for (t2=-t1+5;t2<=-t1+2*n;t2++) {
176 for (t3=1;t3<=n;t3++) {
177 if ((t1+t2+1)%2 == 0) {
178 i = (t1+t2-3)/2 ;
179 j = (-t1+t2-1)/2 ;
180 S2(k = t3) ;
181 }
182 }
183 for (t3=t2+2;t3<=t2+2*n;t3++) {
184 if ((t1+t2)%2 == 0) {
185 i = (t1+t2)/2 ;
186 j = (-t1+t2)/2 ;
187 if ((t1+t3)%2 == 0) {
188 k = (-t2+t3)/2 ;
189 S1 ;
190 }
191 }
192 }
193 }
194 for (t2=-t1+2*n+1;t2<=t1+2*n;t2++) {
195 for (t3=1;t3<=n;t3++) {
196 if ((t1+t2+1)%2 == 0) {
197 i = (t1+t2-3)/2 ;
198 j = (-t1+t2-1)/2 ;
199 S2(k = t3) ;
200 }
201 }
202 }
203 t2 = t1+2*n+1 ;
204 for (t3=1;t3<=n;t3++) {
205 i = t1+n-1 ;
206 S2(j = n,k = t3) ;
207 }
208 }
209 }
210 for (t1=max(1,-n+7);t1<=1;t1++) {
211 for (t2=t1+2;t2<=-t1+4;t2++) {
212 for (t3=t2+2;t3<=t2+2*n;t3++) {
213 if ((t1+t2)%2 == 0) {
214 i = (t1+t2)/2 ;
215 j = (-t1+t2)/2 ;
216 if ((t1+t3)%2 == 0) {
217 k = (-t2+t3)/2 ;
218 S1 ;
219 }
220 }
221 }
222 }
223 for (t2=-t1+5;t2<=n-2;t2++) {
224 for (t3=1;t3<=t2+1;t3++) {
225 if ((t1+t2+1)%2 == 0) {
226 i = (t1+t2-3)/2 ;
227 j = (-t1+t2-1)/2 ;
228 S2(k = t3) ;
229 }
230 }
231 for (t3=t2+2;t3<=n;t3++) {
232 if ((t1+t2+1)%2 == 0) {
233 i = (t1+t2-3)/2 ;
234 j = (-t1+t2-1)/2 ;
235 S2(k = t3) ;
236 }
237 if ((t1+t2)%2 == 0) {
238 i = (t1+t2)/2 ;
239 j = (-t1+t2)/2 ;
240 if ((t1+t3)%2 == 0) {
241 k = (-t2+t3)/2 ;
242 S1 ;
243 }
244 }
245 }
246 for (t3=n+1;t3<=t2+2*n;t3++) {
247 if ((t1+t2)%2 == 0) {
248 i = (t1+t2)/2 ;
249 j = (-t1+t2)/2 ;
250 if ((t1+t3)%2 == 0) {
251 k = (-t2+t3)/2 ;
252 S1 ;
253 }
254 }
255 }
256 }
257 for (t2=n-1;t2<=-t1+2*n;t2++) {
258 for (t3=1;t3<=n;t3++) {
259 if ((t1+t2+1)%2 == 0) {
260 i = (t1+t2-3)/2 ;
261 j = (-t1+t2-1)/2 ;
262 S2(k = t3) ;
263 }
264 }
265 for (t3=t2+2;t3<=t2+2*n;t3++) {
266 if ((t1+t2)%2 == 0) {
267 i = (t1+t2)/2 ;
268 j = (-t1+t2)/2 ;
269 if ((t1+t3)%2 == 0) {
270 k = (-t2+t3)/2 ;
271 S1 ;
272 }
273 }
274 }
275 }
276 for (t2=-t1+2*n+1;t2<=t1+2*n;t2++) {
277 for (t3=1;t3<=n;t3++) {
278 if ((t1+t2+1)%2 == 0) {
279 i = (t1+t2-3)/2 ;
280 j = (-t1+t2-1)/2 ;
281 S2(k = t3) ;
282 }
283 }
284 }
285 t2 = t1+2*n+1 ;
286 for (t3=1;t3<=n;t3++) {
287 i = t1+n-1 ;
288 S2(j = n,k = t3) ;
289 }
290 }
291 for (t1=2;t1<=n-5;t1++) {
292 t2 = t1+2 ;
293 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
294 i = t1+1 ;
295 if ((t1+t3)%2 == 0) {
296 k = (-t1+t3-2)/2 ;
297 S1(j = 1) ;
298 }
299 }
300 for (t2=t1+3;t2<=n-2;t2++) {
301 for (t3=1;t3<=t2+1;t3++) {
302 if ((t1+t2+1)%2 == 0) {
303 i = (t1+t2-3)/2 ;
304 j = (-t1+t2-1)/2 ;
305 S2(k = t3) ;
306 }
307 }
308 for (t3=t2+2;t3<=n;t3++) {
309 if ((t1+t2+1)%2 == 0) {
310 i = (t1+t2-3)/2 ;
311 j = (-t1+t2-1)/2 ;
312 S2(k = t3) ;
313 }
314 if ((t1+t2)%2 == 0) {
315 i = (t1+t2)/2 ;
316 j = (-t1+t2)/2 ;
317 if ((t1+t3)%2 == 0) {
318 k = (-t2+t3)/2 ;
319 S1 ;
320 }
321 }
322 }
323 for (t3=n+1;t3<=t2+2*n;t3++) {
324 if ((t1+t2)%2 == 0) {
325 i = (t1+t2)/2 ;
326 j = (-t1+t2)/2 ;
327 if ((t1+t3)%2 == 0) {
328 k = (-t2+t3)/2 ;
329 S1 ;
330 }
331 }
332 }
333 }
334 for (t2=n-1;t2<=-t1+2*n;t2++) {
335 for (t3=1;t3<=n;t3++) {
336 if ((t1+t2+1)%2 == 0) {
337 i = (t1+t2-3)/2 ;
338 j = (-t1+t2-1)/2 ;
339 S2(k = t3) ;
340 }
341 }
342 for (t3=t2+2;t3<=t2+2*n;t3++) {
343 if ((t1+t2)%2 == 0) {
344 i = (t1+t2)/2 ;
345 j = (-t1+t2)/2 ;
346 if ((t1+t3)%2 == 0) {
347 k = (-t2+t3)/2 ;
348 S1 ;
349 }
350 }
351 }
352 }
353 for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
354 for (t3=1;t3<=n;t3++) {
355 if ((t1+t2+1)%2 == 0) {
356 i = (t1+t2-3)/2 ;
357 j = (-t1+t2-1)/2 ;
358 S2(k = t3) ;
359 }
360 }
361 }
362 }
363 for (t1=max(n-4,2);t1<=floord(2*n-3,2);t1++) {
364 t2 = t1+2 ;
365 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
366 i = t1+1 ;
367 if ((t1+t3)%2 == 0) {
368 k = (-t1+t3-2)/2 ;
369 S1(j = 1) ;
370 }
371 }
372 for (t2=t1+3;t2<=-t1+2*n;t2++) {
373 for (t3=1;t3<=n;t3++) {
374 if ((t1+t2+1)%2 == 0) {
375 i = (t1+t2-3)/2 ;
376 j = (-t1+t2-1)/2 ;
377 S2(k = t3) ;
378 }
379 }
380 for (t3=t2+2;t3<=t2+2*n;t3++) {
381 if ((t1+t2)%2 == 0) {
382 i = (t1+t2)/2 ;
383 j = (-t1+t2)/2 ;
384 if ((t1+t3)%2 == 0) {
385 k = (-t2+t3)/2 ;
386 S1 ;
387 }
388 }
389 }
390 }
391 for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
392 for (t3=1;t3<=n;t3++) {
393 if ((t1+t2+1)%2 == 0) {
394 i = (t1+t2-3)/2 ;
395 j = (-t1+t2-1)/2 ;
396 S2(k = t3) ;
397 }
398 }
399 }
400 }
401 if (n >= 3) {
402 t1 = n-1 ;
403 t2 = n+1 ;
404 for (t3=n+3;t3<=3*n+1;t3++) {
405 if ((t3+n+1)%2 == 0) {
406 k = (t3-n-1)/2 ;
407 S1(i = n,j = 1) ;
408 }
409 }
410 for (t2=n+2;t2<=n+4;t2++) {
411 for (t3=1;t3<=n;t3++) {
412 if ((t2+n)%2 == 0) {
413 i = (t2+n-4)/2 ;
414 j = (t2-n)/2 ;
415 S2(k = t3) ;
416 }
417 }
418 }
419 }
420 if (n >= 1) {
421 t2 = n+3 ;
422 for (t3=1;t3<=n;t3++) {
423 S2(i = n,j = 1,k = t3) ;
424 }
425 }