1/* Generated from /home/skimo/git/cloog/test/./reservoir/pingali5.cloog by CLooG 0.14.0-225-g6e2d019 gmp bits in 0.02s. */
2if (M >= 2) {
3  for (c2=3;c2<=2*M-3;c2++) {
4    for (c4=ceild(c2+3,2);c4<=M;c4++) {
5      for (i=ceild(c2+1,2);i<=min(c2-1,c4-1);i++) {
6        S1(i,c2-i,c4);
7      }
8    }
9    for (c4=max(1,c2-M);c4<=floord(c2-1,2);c4++) {
10      S2(c2-c4,c4);
11    }
12    for (c4=ceild(c2+3,2);c4<=M;c4++) {
13      for (i=ceild(c2+1,2);i<=min(c2-1,c4-1);i++) {
14        S3(i,c2-i,c4);
15      }
16    }
17  }
18  for (c2=max(M+1,2*M-2);c2<=2*M-1;c2++) {
19    S2(M,c2-M);
20  }
21}
22