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