1/* Generated from /home/skimo/git/cloog/test/classen.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.45s. */
2if (m >= 1) {
3  if (m >= 2) {
4    S1(0,1,1,1);
5    S2(0,1,1,1,1,1,2,1);
6    S3(0,1,1,2,1,1,1,2);
7    S4(0,1,2,2,1,1,2,2);
8    S8(0,1);
9  }
10  if (m == 1) {
11    S1(0,1,1,1);
12    S8(0,1);
13  }
14  for (glT1=1;glT1<=2*m-4;glT1++) {
15    if (glT1 <= m-2) {
16      S5(glT1-1,1,glT1,1,glT1,1,glT1+1,1);
17      S1(glT1,1,glT1+1,1);
18      S2(glT1,1,glT1+1,1,glT1+1,1,glT1+2,1);
19      S3(glT1,1,glT1+1,2,glT1+1,1,glT1+1,2);
20      S4(glT1,1,glT1+2,2,glT1+1,1,glT1+2,2);
21    }
22    if (glT1 >= m) {
23      S5(glT1-1,glT1-m+2,glT1,glT1-m+2,m-1,glT1-m+2,m,glT1-m+2);
24      S6(glT1-1,glT1-m+1,glT1,glT1-m+2,m,glT1-m+1,m,glT1-m+2);
25      S1(glT1,glT1-m+2,m,glT1-m+2);
26      S3(glT1,glT1-m+2,glT1+1,glT1-m+3,m,glT1-m+2,m,glT1-m+3);
27    }
28    if (glT1 == m-1) {
29      S5(m-2,1,m-1,1,m-1,1,m,1);
30      S1(m-1,1,m,1);
31      S3(m-1,1,m,2,m,1,m,2);
32    }
33    for (rp1=max(2,glT1-m+3);rp1<=min(glT1,m-1);rp1++) {
34      S5(glT1-1,rp1,glT1,rp1,glT1-rp1+1,rp1,glT1-rp1+2,rp1);
35      S6(glT1-1,rp1-1,glT1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+2,rp1);
36      S7(glT1-1,rp1-1,glT1+1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+3,rp1);
37      S1(glT1,rp1,glT1-rp1+2,rp1);
38      S2(glT1,rp1,glT1+1,rp1,glT1-rp1+2,rp1,glT1-rp1+3,rp1);
39      S3(glT1,rp1,glT1+1,rp1+1,glT1-rp1+2,rp1,glT1-rp1+2,rp1+1);
40      S4(glT1,rp1,glT1+2,rp1+1,glT1-rp1+2,rp1,glT1-rp1+3,rp1+1);
41    }
42    if (glT1 <= m-2) {
43      S6(glT1-1,glT1,glT1,glT1+1,1,glT1,1,glT1+1);
44      S7(glT1-1,glT1,glT1+1,glT1+1,1,glT1,2,glT1+1);
45      S1(glT1,glT1+1,1,glT1+1);
46      S2(glT1,glT1+1,glT1+1,glT1+1,1,glT1+1,2,glT1+1);
47      S3(glT1,glT1+1,glT1+1,glT1+2,1,glT1+1,1,glT1+2);
48      S4(glT1,glT1+1,glT1+2,glT1+2,1,glT1+1,2,glT1+2);
49    }
50    if (glT1 >= m) {
51      S5(glT1-1,m,glT1,m,glT1-m+1,m,glT1-m+2,m);
52      S6(glT1-1,m-1,glT1,m,glT1-m+2,m-1,glT1-m+2,m);
53      S7(glT1-1,m-1,glT1+1,m,glT1-m+2,m-1,glT1-m+3,m);
54      S1(glT1,m,glT1-m+2,m);
55      S2(glT1,m,glT1+1,m,glT1-m+2,m,glT1-m+3,m);
56    }
57    if (glT1 == m-1) {
58      S6(m-2,m-1,m-1,m,1,m-1,1,m);
59      S7(m-2,m-1,m,m,1,m-1,2,m);
60      S1(m-1,m,1,m);
61      S2(m-1,m,m,m,1,m,2,m);
62    }
63    for (coordP1=max(1,glT1-m+2);coordP1<=min(m,glT1+1);coordP1++) {
64      S8(glT1,coordP1);
65    }
66  }
67  if (m >= 2) {
68    if (m >= 3) {
69      S5(2*m-4,m-1,2*m-3,m-1,m-1,m-1,m,m-1);
70      S6(2*m-4,m-2,2*m-3,m-1,m,m-2,m,m-1);
71      S1(2*m-3,m-1,m,m-1);
72      S3(2*m-3,m-1,2*m-2,m,m,m-1,m,m);
73    }
74    if (m == 2) {
75      S5(0,1,1,1,1,1,2,1);
76      S1(1,1,2,1);
77      S3(1,1,2,2,2,1,2,2);
78    }
79    if (m >= 3) {
80      S5(2*m-4,m,2*m-3,m,m-2,m,m-1,m);
81      S6(2*m-4,m-1,2*m-3,m,m-1,m-1,m-1,m);
82      S7(2*m-4,m-1,2*m-2,m,m-1,m-1,m,m);
83      S1(2*m-3,m,m-1,m);
84    }
85    if (m == 2) {
86      S6(0,1,1,2,1,1,1,2);
87      S7(0,1,2,2,1,1,2,2);
88      S1(1,2,1,2);
89    }
90    S2(2*m-3,m,2*m-2,m,m-1,m,m,m);
91    for (coordP1=m-1;coordP1<=m;coordP1++) {
92      S8(2*m-3,coordP1);
93    }
94  }
95  if (m >= 2) {
96    S5(2*m-3,m,2*m-2,m,m-1,m,m,m);
97    S6(2*m-3,m-1,2*m-2,m,m,m-1,m,m);
98    S1(2*m-2,m,m,m);
99    S8(2*m-2,m);
100  }
101}
102