1/* Generated from /home/skimo/git/cloog/test/thomasset.cloog by CLooG 0.14.0-292-g2bfd6ac gmp bits in 0.04s. */
2if (n >= 1) {
3  for (c1=0;c1<=floord(n-4,3);c1++) {
4    for (i=3*c1+1;i<=3*c1+3;i++) {
5      S1(i,c1);
6    }
7  }
8  c1 = floord(n-1,3);
9  if (c1 >= ceild(n-2,3)) {
10    if (c1 == 0) {
11      S1(1,0);
12      for (j=1;j<=n;j++) {
13        S2(1,j,0,0,0);
14      }
15    }
16    if (c1 >= 1) {
17      for (j=1;j<=2;j++) {
18        S2(1,j,0,c1,0);
19      }
20    }
21    for (i=max(2,3*c1+1);i<=n;i++) {
22      S1(i,c1);
23    }
24  }
25  if (3*c1 == n-3) {
26    for (i=n-2;i<=n;i++) {
27      if (n%3 == 0) {
28        S1(i,(n-3)/3);
29      }
30    }
31  }
32  if (c1 >= ceild(n-2,3)) {
33    for (c2=1;c2<=n-1;c2++) {
34      for (j=1;j<=2;j++) {
35        S2(c2+1,j,0,c1,0);
36      }
37    }
38  }
39  for (c1=ceild(n,3);c1<=floord(2*n,3);c1++) {
40    for (c2=0;c2<=n-1;c2++) {
41      for (j=max(1,3*c1-n);j<=min(n,3*c1-n+4);j++) {
42        p = max(ceild(3*c1-j,3),ceild(n-2,3));
43        if (p <= min(floord(n,3),floord(3*c1-j+2,3))) {
44          S2(c2+1,j,0,p,c1-p);
45        }
46      }
47    }
48  }
49}
50