1/* Generated from ../../../git/cloog/test/walters.cloog by CLooG 0.16.1-3-g354eed5 gmp bits in 0.01s. */
2S2(1,0,1,0);
3S4(1,0,1,0);
4S3(2,0,1,1);
5S4(2,0,1,1);
6for (i=3;i<=10;i++) {
7  if ((i+1)%3 == 0) {
8    S3(i,(i-2)/3,(i+1)/3,(i+1)/3);
9  }
10  if ((i+2)%3 == 0) {
11    S2(i,(i-1)/3,(i+2)/3,(i-1)/3);
12  }
13  if (i%3 == 0) {
14    S1(i,i/3,i/3,i/3);
15  }
16  div36 = floord(i,3);
17  div37 = ceild(2*i-3*div36-1,3);
18  if (div37 <= floord(i+2,3)) {
19    S4(i,div36,div37,i-div36-div37);
20  }
21}
22