1 /* Generated from classen.cloog by CLooG v0.14.0 gmp bits in 1.54s. */
2 /* CLooG asked for 3980 KBytes. */
4 S1(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 1) ;
5 S2(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 1,other3
= 1,other4
= 1,other5
= 2,other6
= 1) ;
6 S3(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 2,other3
= 1,other4
= 1,other5
= 1,other6
= 2) ;
7 S4(coordT1
= 0,coordP1
= 1,other1
= 2,other2
= 2,other3
= 1,other4
= 1,other5
= 2,other6
= 2) ;
8 S8(coordT1
= 0,coordP1
= 1) ;
11 S1(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 1) ;
12 S8(coordT1
= 0,coordP1
= 1) ;
15 S5(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 1,other3
= 1,other4
= 1,other5
= 2,other6
= 1) ;
16 S1(coordT1
= 1,coordP1
= 1,other1
= 2,other2
= 1) ;
17 S2(coordT1
= 1,coordP1
= 1,other1
= 2,other2
= 1,other3
= 2,other4
= 1,other5
= 3,other6
= 1) ;
18 S3(coordT1
= 1,coordP1
= 1,other1
= 2,other2
= 2,other3
= 2,other4
= 1,other5
= 2,other6
= 2) ;
19 S4(coordT1
= 1,coordP1
= 1,other1
= 3,other2
= 2,other3
= 2,other4
= 1,other5
= 3,other6
= 2) ;
20 S6(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 2,other3
= 1,other4
= 1,other5
= 1,other6
= 2) ;
21 S7(coordT1
= 0,coordP1
= 1,other1
= 2,other2
= 2,other3
= 1,other4
= 1,other5
= 2,other6
= 2) ;
22 S1(coordT1
= 1,coordP1
= 2,other1
= 1,other2
= 2) ;
23 S2(coordT1
= 1,coordP1
= 2,other1
= 2,other2
= 2,other3
= 1,other4
= 2,other5
= 2,other6
= 2) ;
24 S3(coordT1
= 1,coordP1
= 2,other1
= 2,other2
= 3,other3
= 1,other4
= 2,other5
= 1,other6
= 3) ;
25 S4(coordT1
= 1,coordP1
= 2,other1
= 3,other2
= 3,other3
= 1,other4
= 2,other5
= 2,other6
= 3) ;
26 for (coordP1
=1;coordP1
<=2;coordP1
++) {
30 for (glT1
=2;glT1
<=m
-2;glT1
++) {
33 S5(coordP1
= 1,other1
= glT1
,other2
= 1,other3
= glT1
,other4
= 1,other6
= 1) ;
35 S1(coordT1
= glT1
,coordP1
= 1,other2
= 1) ;
40 S2(coordT1
= glT1
,coordP1
= 1,other2
= 1,other4
= 1,other6
= 1) ;
43 S3(coordT1
= glT1
,coordP1
= 1,other2
= 2,other4
= 1,other6
= 2) ;
47 S4(coordT1
= glT1
,coordP1
= 1,other2
= 2,other4
= 1,other6
= 2) ;
48 for (rp1
=2;rp1
<=glT1
;rp1
++) {
53 S5(coordP1
= rp1
,other1
= glT1
,other2
= rp1
,other4
= rp1
,other6
= rp1
) ;
61 S6(other1
= glT1
,other2
= rp1
,other6
= rp1
) ;
66 S7(other2
= rp1
,other6
= rp1
) ;
68 S1(coordT1
= glT1
,coordP1
= rp1
,other2
= rp1
) ;
73 S2(coordT1
= glT1
,coordP1
= rp1
,other2
= rp1
,other4
= rp1
,other6
= rp1
) ;
78 S3(coordT1
= glT1
,coordP1
= rp1
,other4
= rp1
) ;
84 S4(coordT1
= glT1
,coordP1
= rp1
,other4
= rp1
) ;
90 S6(coordP1
= glT1
,other1
= glT1
,other3
= 1,other4
= glT1
,other5
= 1) ;
94 S7(coordP1
= glT1
,other3
= 1,other4
= glT1
,other5
= 2) ;
97 S1(coordT1
= glT1
,other1
= 1) ;
104 S2(coordT1
= glT1
,other3
= 1,other5
= 2) ;
108 S3(coordT1
= glT1
,other3
= 1,other5
= 1) ;
113 S4(coordT1
= glT1
,other3
= 1,other5
= 2) ;
114 for (coordP1
=1;coordP1
<=glT1
+1;coordP1
++) {
124 S5(coordP1
= 1,other2
= 1,other4
= 1,other5
= m
,other6
= 1) ;
126 S1(coordP1
= 1,other1
= m
,other2
= 1) ;
128 S3(coordP1
= 1,other1
= m
,other2
= 2,other3
= m
,other4
= 1,other5
= m
,other6
= 2) ;
129 for (rp1
=2;rp1
<=m
-1;rp1
++) {
135 S5(coordP1
= rp1
,other2
= rp1
,other4
= rp1
,other6
= rp1
) ;
144 S6(other2
= rp1
,other6
= rp1
) ;
148 S7(other1
= m
,other2
= rp1
,other6
= rp1
) ;
151 S1(coordP1
= rp1
,other2
= rp1
) ;
156 S2(coordP1
= rp1
,other1
= m
,other2
= rp1
,other4
= rp1
,other6
= rp1
) ;
161 S3(coordP1
= rp1
,other1
= m
,other4
= rp1
) ;
167 S4(coordP1
= rp1
,other4
= rp1
) ;
174 S6(other2
= m
,other3
= 1,other5
= 1,other6
= m
) ;
176 S7(other1
= m
,other2
= m
,other3
= 1,other5
= 2,other6
= m
) ;
178 S1(coordP1
= m
,other1
= 1,other2
= m
) ;
180 S2(coordP1
= m
,other1
= m
,other2
= m
,other3
= 1,other4
= m
,other5
= 2,other6
= m
) ;
182 for (coordP1
=1;coordP1
<=m
;coordP1
++) {
186 for (glT1
=m
;glT1
<=2*m
-4;glT1
++) {
196 S5(other1
= glT1
,other5
= m
) ;
203 S6(other1
= glT1
,other3
= m
,other5
= m
) ;
206 S1(coordT1
= glT1
,other1
= m
) ;
213 S3(coordT1
= glT1
,other3
= m
,other5
= m
) ;
214 for (rp1
=glT1
-m
+3;rp1
<=m
-1;rp1
++) {
215 local1
= glT1
-rp1
+1 ;
217 other3
= glT1
-rp1
+1 ;
218 other5
= glT1
-rp1
+2 ;
219 S5(coordP1
= rp1
,other1
= glT1
,other2
= rp1
,other4
= rp1
,other6
= rp1
) ;
220 local1
= glT1
-rp1
+2 ;
224 other3
= glT1
-rp1
+2 ;
226 other5
= glT1
-rp1
+2 ;
227 S6(other1
= glT1
,other2
= rp1
,other6
= rp1
) ;
229 other3
= glT1
-rp1
+2 ;
231 other5
= glT1
-rp1
+3 ;
232 S7(other2
= rp1
,other6
= rp1
) ;
233 other1
= glT1
-rp1
+2 ;
234 S1(coordT1
= glT1
,coordP1
= rp1
,other2
= rp1
) ;
235 local1
= glT1
-rp1
+2 ;
237 other3
= glT1
-rp1
+2 ;
238 other5
= glT1
-rp1
+3 ;
239 S2(coordT1
= glT1
,coordP1
= rp1
,other2
= rp1
,other4
= rp1
,other6
= rp1
) ;
241 other3
= glT1
-rp1
+2 ;
242 other5
= glT1
-rp1
+2 ;
244 S3(coordT1
= glT1
,coordP1
= rp1
,other4
= rp1
) ;
247 other3
= glT1
-rp1
+2 ;
248 other5
= glT1
-rp1
+3 ;
250 S4(coordT1
= glT1
,coordP1
= rp1
,other4
= rp1
) ;
256 S5(coordP1
= m
,other1
= glT1
,other2
= m
,other4
= m
,other6
= m
) ;
264 S6(other1
= glT1
,other2
= m
,other6
= m
) ;
269 S7(other2
= m
,other6
= m
) ;
271 S1(coordT1
= glT1
,coordP1
= m
,other2
= m
) ;
276 S2(coordT1
= glT1
,coordP1
= m
,other2
= m
,other4
= m
,other6
= m
) ;
277 for (coordP1
=glT1
-m
+2;coordP1
<=m
;coordP1
++) {
301 S6(other3
= m
,other5
= m
) ;
311 S3(other2
= m
,other3
= m
,other5
= m
,other6
= m
) ;
317 S5(coordP1
= m
,other2
= m
,other4
= m
,other6
= m
) ;
326 S6(other2
= m
,other6
= m
) ;
330 S7(other2
= m
,other5
= m
,other6
= m
) ;
333 S1(coordP1
= m
,other2
= m
) ;
338 S2(coordP1
= m
,other2
= m
,other4
= m
,other5
= m
,other6
= m
) ;
340 for (coordP1
=m
-1;coordP1
<=m
;coordP1
++) {
345 S5(coordT1
= 0,coordP1
= 1,other1
= 1,other2
= 1,other3
= 1,other4
= 1,other5
= 2,other6
= 1) ;
346 S1(coordT1
= 1,coordP1
= 1,other1
= 2,other2
= 1) ;
347 S3(coordT1
= 1,coordP1
= 1,other1
= 2,other2
= 2,other3
= 2,other4
= 1,other5
= 2,other6
= 2) ;
348 S1(coordT1
= 1,coordP1
= 2,other1
= 1,other2
= 2) ;
349 S2(coordT1
= 1,coordP1
= 2,other1
= 2,other2
= 2,other3
= 1,other4
= 2,other5
= 2,other6
= 2) ;
357 S5(coordP1
= m
,other2
= m
,other4
= m
,other5
= m
,other6
= m
) ;
363 S6(other2
= m
,other3
= m
,other5
= m
,other6
= m
) ;
365 S1(coordP1
= m
,other1
= m
,other2
= m
) ;