1/* Generated from ../../../git/cloog/test/cholesky2.cloog by CLooG 0.16.1-2-g33ac553 gmp bits in 0.02s. */
2if (M >= 1) {
3  for (c2=1;c2<=M-1;c2++) {
4    S1(c2);
5    for (c3=c2+1;c3<=M;c3++) {
6      S4(c2,c3);
7    }
8  }
9  S1(M);
10  S3(1);
11  if (M >= 3) {
12    S6(1,2);
13    for (c2=3;c2<=M;c2++) {
14      S6(1,c2);
15      for (i=2;i<=c2-1;i++) {
16        S5(i,c2,1);
17      }
18    }
19  }
20  if (M == 2) {
21    S6(1,2);
22  }
23  for (c1=3;c1<=3*M-7;c1++) {
24    if ((c1+2)%3 == 0) {
25      S3((c1+2)/3);
26    }
27    if (c1%3 == 0) {
28      S2((c1+3)/3,c1/3);
29    }
30    if ((c1+1)%3 == 0) {
31      S6((c1+1)/3,(c1+4)/3);
32    }
33    if (c1%3 == 0) {
34      S2((c1+6)/3,c1/3);
35    }
36    for (c2=ceild(c1+7,3);c2<=M;c2++) {
37      if ((c1+1)%3 == 0) {
38        S6((c1+1)/3,c2);
39      }
40      if (c1%3 == 0) {
41        S2(c2,c1/3);
42      }
43      if ((c1+1)%3 == 0) {
44        for (i=ceild(c1+4,3);i<=c2-1;i++) {
45          S5(i,c2,(c1+1)/3);
46        }
47      }
48    }
49  }
50  if (M >= 3) {
51    for (c2=M-1;c2<=M;c2++) {
52      S2(c2,M-2);
53    }
54  }
55  if (M >= 3) {
56    S3(M-1);
57  }
58  if (M >= 3) {
59    S6(M-1,M);
60  }
61  if (M >= 2) {
62    S2(M,M-1);
63  }
64  if (M >= 2) {
65    S3(M);
66  }
67}
68