/* Generated from ./donotsimp.cloog by CLooG 0.15 64 bits in 0.01s. */
for (c2=1;c2<=10;c2++) {
  for (c4=1;c4<=c2;c4++) {
    S1(i = c2,j = c4) ;
  }
  for (c4=11;c4<=M;c4++) {
    S2(i = c2,j = c4) ;
  }
}