| blob | 11d7ddf8b98028f4512af965b0a1c24f92b2cb9f |
1 /* Generated from ./vivien2.cloog by CLooG 0.15 64 bits in 0.62s. */
2 for (p1=-54*n+4;p1<=4;p1++) {
3 if (p1%2 == 0) {
4 i = (p1-2)/2 ;
5 S1 ;
6 }
7 }
8 S3(i = 1) ;
9 S4(i = 1,j = 2) ;
10 S1(i = 2) ;
11 S6(i = 1,j = 2) ;
12 for (p1=7;p1<=9;p1++) {
13 for (p2=ceild(-p1+2,4);p2<=-1;p2++) {
14 if (p1%2 == 0) {
15 j = (p1+2*p2)/2 ;
16 S4(i = -p2) ;
17 }
18 }
19 if ((p1+3)%4 == 0) {
20 i = (p1-1)/4 ;
21 S3 ;
22 }
23 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
24 if ((p1+1)%2 == 0) {
25 j = (p1-2*i-1)/2 ;
26 S2 ;
27 }
28 }
29 if (p1%2 == 0) {
30 i = (p1-2)/2 ;
31 S1 ;
32 }
33 if (p1%2 == 0) {
34 j = (p1-2)/2 ;
35 S6(i = 1) ;
36 }
37 }
38 for (p1=10;p1<=12;p1++) {
39 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
40 if (p1%2 == 0) {
41 j = (p1+2*p2)/2 ;
42 S4(i = -p2) ;
43 }
44 }
45 for (p2=ceild(-p1+6,4);p2<=-1;p2++) {
46 if (p1%2 == 0) {
47 j = (p1+2*p2)/2 ;
48 S4(i = -p2) ;
49 }
50 for (p3=1;p3<=-p2;p3++) {
51 i = -p2+1 ;
52 if (p1%2 == 0) {
53 j = (p1+2*p2-2)/2 ;
54 S5(k = p3) ;
55 }
56 }
57 }
58 if (p1%2 == 0) {
59 j = (p1-4)/2 ;
60 S6(i = 2) ;
61 }
62 for (i=max(ceild(p1+1,4),3);i<=floord(p1-3,2);i++) {
63 if ((p1+1)%2 == 0) {
64 j = (p1-2*i-1)/2 ;
65 S2 ;
66 }
67 }
68 if (p1%2 == 0) {
69 i = (p1-2)/2 ;
70 S1 ;
71 }
72 if (p1%2 == 0) {
73 j = (p1-2)/2 ;
74 S6(i = 1) ;
75 }
76 }
77 S3(i = 3) ;
78 for (i=4;i<=5;i++) {
79 j = -i+6 ;
80 S2 ;
81 }
82 for (p1=14;p1<=2*n+2;p1++) {
83 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
84 if (p1%2 == 0) {
85 j = (p1+2*p2)/2 ;
86 S4(i = -p2) ;
87 }
88 }
89 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
90 if (p1%2 == 0) {
91 j = (p1+2*p2)/2 ;
92 S4(i = -p2) ;
93 }
94 for (p3=1;p3<=-p2;p3++) {
95 i = -p2+1 ;
96 if (p1%2 == 0) {
97 j = (p1+2*p2-2)/2 ;
98 S5(k = p3) ;
99 }
100 }
101 }
102 for (p2=ceild(-p1+10,4);p2<=-1;p2++) {
103 if (p1%2 == 0) {
104 j = (p1+2*p2)/2 ;
105 S4(i = -p2) ;
106 }
107 i = -p2+2 ;
108 if (p1%2 == 0) {
109 j = (p1+2*p2-4)/2 ;
110 S6 ;
111 }
112 for (p3=1;p3<=-p2;p3++) {
113 i = -p2+1 ;
114 if (p1%2 == 0) {
115 j = (p1+2*p2-2)/2 ;
116 S5(k = p3) ;
117 }
118 }
119 }
120 if (p1%2 == 0) {
121 j = (p1-4)/2 ;
122 S6(i = 2) ;
123 }
124 if ((p1+3)%4 == 0) {
125 i = (p1-1)/4 ;
126 S3 ;
127 }
128 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
129 if ((p1+1)%2 == 0) {
130 j = (p1-2*i-1)/2 ;
131 S2 ;
132 }
133 }
134 if (p1%2 == 0) {
135 i = (p1-2)/2 ;
136 S1 ;
137 }
138 if (p1%2 == 0) {
139 j = (p1-2)/2 ;
140 S6(i = 1) ;
141 }
142 }
143 for (p1=2*n+3;p1<=2*n+4;p1++) {
144 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
145 if (p1%2 == 0) {
146 j = (p1+2*p2)/2 ;
147 S4(i = -p2) ;
148 }
149 }
150 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
151 if (p1%2 == 0) {
152 j = (p1+2*p2)/2 ;
153 S4(i = -p2) ;
154 }
155 for (p3=1;p3<=-p2;p3++) {
156 i = -p2+1 ;
157 if (p1%2 == 0) {
158 j = (p1+2*p2-2)/2 ;
159 S5(k = p3) ;
160 }
161 }
162 }
163 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
164 if (p1%2 == 0) {
165 j = (p1+2*p2)/2 ;
166 S4(i = -p2) ;
167 }
168 i = -p2+2 ;
169 if (p1%2 == 0) {
170 j = (p1+2*p2-4)/2 ;
171 S6 ;
172 }
173 for (p3=1;p3<=-p2;p3++) {
174 i = -p2+1 ;
175 if (p1%2 == 0) {
176 j = (p1+2*p2-2)/2 ;
177 S5(k = p3) ;
178 }
179 }
180 }
181 for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) {
182 i = -p2+2 ;
183 if (p1%2 == 0) {
184 j = (p1+2*p2-4)/2 ;
185 S6 ;
186 }
187 for (p3=1;p3<=-p2;p3++) {
188 i = -p2+1 ;
189 if (p1%2 == 0) {
190 j = (p1+2*p2-2)/2 ;
191 S5(k = p3) ;
192 }
193 }
194 }
195 if (p1%2 == 0) {
196 j = (p1-4)/2 ;
197 S6(i = 2) ;
198 }
199 if ((p1+3)%4 == 0) {
200 i = (p1-1)/4 ;
201 S3 ;
202 }
203 for (i=ceild(p1+1,4);i<=n;i++) {
204 if ((p1+1)%2 == 0) {
205 j = (p1-2*i-1)/2 ;
206 S2 ;
207 }
208 }
209 if (p1%2 == 0) {
210 i = (p1-2)/2 ;
211 S1 ;
212 }
213 }
214 for (p1=2*n+5;p1<=min(4*n-10,2*n+58);p1++) {
215 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
216 if (p1%2 == 0) {
217 j = (p1+2*p2)/2 ;
218 S4(i = -p2) ;
219 }
220 }
221 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
222 if (p1%2 == 0) {
223 j = (p1+2*p2)/2 ;
224 S4(i = -p2) ;
225 }
226 for (p3=1;p3<=-p2;p3++) {
227 i = -p2+1 ;
228 if (p1%2 == 0) {
229 j = (p1+2*p2-2)/2 ;
230 S5(k = p3) ;
231 }
232 }
233 }
234 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
235 if (p1%2 == 0) {
236 j = (p1+2*p2)/2 ;
237 S4(i = -p2) ;
238 }
239 i = -p2+2 ;
240 if (p1%2 == 0) {
241 j = (p1+2*p2-4)/2 ;
242 S6 ;
243 }
244 for (p3=1;p3<=-p2;p3++) {
245 i = -p2+1 ;
246 if (p1%2 == 0) {
247 j = (p1+2*p2-2)/2 ;
248 S5(k = p3) ;
249 }
250 }
251 }
252 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
253 i = -p2+2 ;
254 if (p1%2 == 0) {
255 j = (p1+2*p2-4)/2 ;
256 S6 ;
257 }
258 for (p3=1;p3<=-p2;p3++) {
259 i = -p2+1 ;
260 if (p1%2 == 0) {
261 j = (p1+2*p2-2)/2 ;
262 S5(k = p3) ;
263 }
264 }
265 }
266 for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
267 i = -p2+2 ;
268 if (p1%2 == 0) {
269 j = (p1+2*p2-4)/2 ;
270 S6 ;
271 }
272 }
273 if ((p1+3)%4 == 0) {
274 i = (p1-1)/4 ;
275 S3 ;
276 }
277 for (i=ceild(p1+1,4);i<=n;i++) {
278 if ((p1+1)%2 == 0) {
279 j = (p1-2*i-1)/2 ;
280 S2 ;
281 }
282 }
283 if (p1%2 == 0) {
284 i = (p1-2)/2 ;
285 S1 ;
286 }
287 }
288 for (p1=4*n-9;p1<=min(4*n-8,2*n+58);p1++) {
289 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
290 if (p1%2 == 0) {
291 j = (p1+2*p2)/2 ;
292 S4(i = -p2) ;
293 }
294 }
295 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
296 if (p1%2 == 0) {
297 j = (p1+2*p2)/2 ;
298 S4(i = -p2) ;
299 }
300 for (p3=1;p3<=-p2;p3++) {
301 i = -p2+1 ;
302 if (p1%2 == 0) {
303 j = (p1+2*p2-2)/2 ;
304 S5(k = p3) ;
305 }
306 }
307 }
308 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
309 i = -p2+2 ;
310 if (p1%2 == 0) {
311 j = (p1+2*p2-4)/2 ;
312 S6 ;
313 }
314 for (p3=1;p3<=-p2;p3++) {
315 i = -p2+1 ;
316 if (p1%2 == 0) {
317 j = (p1+2*p2-2)/2 ;
318 S5(k = p3) ;
319 }
320 }
321 }
322 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
323 i = -p2+2 ;
324 if (p1%2 == 0) {
325 j = (p1+2*p2-4)/2 ;
326 S6 ;
327 }
328 }
329 if ((p1+3)%4 == 0) {
330 i = (p1-1)/4 ;
331 S3 ;
332 }
333 for (i=ceild(p1+1,4);i<=n;i++) {
334 if ((p1+1)%2 == 0) {
335 j = (p1-2*i-1)/2 ;
336 S2 ;
337 }
338 }
339 if (p1%2 == 0) {
340 i = (p1-2)/2 ;
341 S1 ;
342 }
343 }
344 for (p1=4*n-7;p1<=min(4*n-6,2*n+58);p1++) {
345 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
346 if (p1%2 == 0) {
347 j = (p1+2*p2)/2 ;
348 S4(i = -p2) ;
349 }
350 }
351 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
352 if (p1%2 == 0) {
353 j = (p1+2*p2)/2 ;
354 S4(i = -p2) ;
355 }
356 for (p3=1;p3<=-p2;p3++) {
357 i = -p2+1 ;
358 if (p1%2 == 0) {
359 j = (p1+2*p2-2)/2 ;
360 S5(k = p3) ;
361 }
362 }
363 }
364 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
365 for (p3=1;p3<=-p2;p3++) {
366 i = -p2+1 ;
367 if (p1%2 == 0) {
368 j = (p1+2*p2-2)/2 ;
369 S5(k = p3) ;
370 }
371 }
372 }
373 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
374 i = -p2+2 ;
375 if (p1%2 == 0) {
376 j = (p1+2*p2-4)/2 ;
377 S6 ;
378 }
379 for (p3=1;p3<=-p2;p3++) {
380 i = -p2+1 ;
381 if (p1%2 == 0) {
382 j = (p1+2*p2-2)/2 ;
383 S5(k = p3) ;
384 }
385 }
386 }
387 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
388 i = -p2+2 ;
389 if (p1%2 == 0) {
390 j = (p1+2*p2-4)/2 ;
391 S6 ;
392 }
393 }
394 if ((p1+3)%4 == 0) {
395 i = (p1-1)/4 ;
396 S3 ;
397 }
398 for (i=ceild(p1+1,4);i<=n;i++) {
399 if ((p1+1)%2 == 0) {
400 j = (p1-2*i-1)/2 ;
401 S2 ;
402 }
403 }
404 if (p1%2 == 0) {
405 i = (p1-2)/2 ;
406 S1 ;
407 }
408 }
409 for (p1=4*n-5;p1<=2*n+58;p1++) {
410 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
411 if (p1%2 == 0) {
412 j = (p1+2*p2)/2 ;
413 S4(i = -p2) ;
414 }
415 }
416 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) {
417 for (p3=1;p3<=-p2;p3++) {
418 i = -p2+1 ;
419 if (p1%2 == 0) {
420 j = (p1+2*p2-2)/2 ;
421 S5(k = p3) ;
422 }
423 }
424 }
425 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) {
426 i = -p2+2 ;
427 if (p1%2 == 0) {
428 j = (p1+2*p2-4)/2 ;
429 S6 ;
430 }
431 }
432 if ((p1+3)%4 == 0) {
433 i = (p1-1)/4 ;
434 S3 ;
435 }
436 for (i=ceild(p1+1,4);i<=n;i++) {
437 if ((p1+1)%2 == 0) {
438 j = (p1-2*i-1)/2 ;
439 S2 ;
440 }
441 }
442 if (p1%2 == 0) {
443 i = (p1-2)/2 ;
444 S1 ;
445 }
446 }
447 for (p1=2*n+59;p1<=4*n-10;p1++) {
448 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
449 if (p1%2 == 0) {
450 j = (p1+2*p2)/2 ;
451 S4(i = -p2) ;
452 }
453 }
454 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
455 if (p1%2 == 0) {
456 j = (p1+2*p2)/2 ;
457 S4(i = -p2) ;
458 }
459 for (p3=1;p3<=-p2;p3++) {
460 i = -p2+1 ;
461 if (p1%2 == 0) {
462 j = (p1+2*p2-2)/2 ;
463 S5(k = p3) ;
464 }
465 }
466 }
467 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
468 if (p1%2 == 0) {
469 j = (p1+2*p2)/2 ;
470 S4(i = -p2) ;
471 }
472 i = -p2+2 ;
473 if (p1%2 == 0) {
474 j = (p1+2*p2-4)/2 ;
475 S6 ;
476 }
477 for (p3=1;p3<=-p2;p3++) {
478 i = -p2+1 ;
479 if (p1%2 == 0) {
480 j = (p1+2*p2-2)/2 ;
481 S5(k = p3) ;
482 }
483 }
484 }
485 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
486 i = -p2+2 ;
487 if (p1%2 == 0) {
488 j = (p1+2*p2-4)/2 ;
489 S6 ;
490 }
491 for (p3=1;p3<=-p2;p3++) {
492 i = -p2+1 ;
493 if (p1%2 == 0) {
494 j = (p1+2*p2-2)/2 ;
495 S5(k = p3) ;
496 }
497 }
498 }
499 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
500 i = -p2+2 ;
501 if (p1%2 == 0) {
502 j = (p1+2*p2-4)/2 ;
503 S6 ;
504 }
505 }
506 if ((p1+3)%4 == 0) {
507 i = (p1-1)/4 ;
508 S3 ;
509 }
510 for (i=ceild(p1+1,4);i<=n;i++) {
511 if ((p1+1)%2 == 0) {
512 j = (p1-2*i-1)/2 ;
513 S2 ;
514 }
515 }
516 }
517 for (p1=max(4*n-9,2*n+59);p1<=4*n-8;p1++) {
518 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
519 if (p1%2 == 0) {
520 j = (p1+2*p2)/2 ;
521 S4(i = -p2) ;
522 }
523 }
524 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
525 if (p1%2 == 0) {
526 j = (p1+2*p2)/2 ;
527 S4(i = -p2) ;
528 }
529 for (p3=1;p3<=-p2;p3++) {
530 i = -p2+1 ;
531 if (p1%2 == 0) {
532 j = (p1+2*p2-2)/2 ;
533 S5(k = p3) ;
534 }
535 }
536 }
537 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
538 i = -p2+2 ;
539 if (p1%2 == 0) {
540 j = (p1+2*p2-4)/2 ;
541 S6 ;
542 }
543 for (p3=1;p3<=-p2;p3++) {
544 i = -p2+1 ;
545 if (p1%2 == 0) {
546 j = (p1+2*p2-2)/2 ;
547 S5(k = p3) ;
548 }
549 }
550 }
551 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
552 i = -p2+2 ;
553 if (p1%2 == 0) {
554 j = (p1+2*p2-4)/2 ;
555 S6 ;
556 }
557 }
558 if ((p1+3)%4 == 0) {
559 i = (p1-1)/4 ;
560 S3 ;
561 }
562 for (i=ceild(p1+1,4);i<=n;i++) {
563 if ((p1+1)%2 == 0) {
564 j = (p1-2*i-1)/2 ;
565 S2 ;
566 }
567 }
568 }
569 for (p1=max(4*n-7,2*n+59);p1<=4*n-6;p1++) {
570 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
571 if (p1%2 == 0) {
572 j = (p1+2*p2)/2 ;
573 S4(i = -p2) ;
574 }
575 }
576 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
577 if (p1%2 == 0) {
578 j = (p1+2*p2)/2 ;
579 S4(i = -p2) ;
580 }
581 for (p3=1;p3<=-p2;p3++) {
582 i = -p2+1 ;
583 if (p1%2 == 0) {
584 j = (p1+2*p2-2)/2 ;
585 S5(k = p3) ;
586 }
587 }
588 }
589 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
590 for (p3=1;p3<=-p2;p3++) {
591 i = -p2+1 ;
592 if (p1%2 == 0) {
593 j = (p1+2*p2-2)/2 ;
594 S5(k = p3) ;
595 }
596 }
597 }
598 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
599 i = -p2+2 ;
600 if (p1%2 == 0) {
601 j = (p1+2*p2-4)/2 ;
602 S6 ;
603 }
604 for (p3=1;p3<=-p2;p3++) {
605 i = -p2+1 ;
606 if (p1%2 == 0) {
607 j = (p1+2*p2-2)/2 ;
608 S5(k = p3) ;
609 }
610 }
611 }
612 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
613 i = -p2+2 ;
614 if (p1%2 == 0) {
615 j = (p1+2*p2-4)/2 ;
616 S6 ;
617 }
618 }
619 if ((p1+3)%4 == 0) {
620 i = (p1-1)/4 ;
621 S3 ;
622 }
623 for (i=ceild(p1+1,4);i<=n;i++) {
624 if ((p1+1)%2 == 0) {
625 j = (p1-2*i-1)/2 ;
626 S2 ;
627 }
628 }
629 }
630 for (p1=max(4*n-5,2*n+59);p1<=4*n-2;p1++) {
631 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
632 if (p1%2 == 0) {
633 j = (p1+2*p2)/2 ;
634 S4(i = -p2) ;
635 }
636 }
637 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) {
638 for (p3=1;p3<=-p2;p3++) {
639 i = -p2+1 ;
640 if (p1%2 == 0) {
641 j = (p1+2*p2-2)/2 ;
642 S5(k = p3) ;
643 }
644 }
645 }
646 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) {
647 i = -p2+2 ;
648 if (p1%2 == 0) {
649 j = (p1+2*p2-4)/2 ;
650 S6 ;
651 }
652 }
653 if ((p1+3)%4 == 0) {
654 i = (p1-1)/4 ;
655 S3 ;
656 }
657 for (i=ceild(p1+1,4);i<=n;i++) {
658 if ((p1+1)%2 == 0) {
659 j = (p1-2*i-1)/2 ;
660 S2 ;
661 }
662 }
663 }
664 p1 = 4*n-1 ;
665 if (1%2 == 0) {
666 i = (2*n-1)/2 ;
667 S3 ;
668 }
669 j = n-1 ;
670 S2(i = n) ;
671 for (p1=4*n;p1<=4*n+1;p1++) {
672 if ((p1+3)%4 == 0) {
673 i = (p1-1)/4 ;
674 S3 ;
675 }
676 }