/* Generated from ././reservoir/tang-xue1.cloog by CLooG 0.15 64 bits in 0.05s. */
for (c2=0;c2<=9;c2++) {
  for (c4=max(c2-9,-1);c4<=min(c2+3,4);c4++) {
    for (c6=max(max(c2-c4,c2),1);c6<=min(min(c2-c4+4,c2+1),9);c6++) {
      for (c8=max(-c2+c4+c6,1);c8<=min(-c2+c4+c6+1,4);c8++) {
        if (c2%2 == 0) {
          if ((c2+c4)%2 == 0) {
            j = (-c2+c4)/2 ;
            k = -c2+c6 ;
            l = -c4+c8 ;
            S1(i = c2/2) ;
          }
        }
      }
    }
  }
}