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