/* Generated from ./multi-stride.cloog by CLooG 0.15 64 bits in 0.00s. */
for (i=0;i<=100;i++) {
  if ((i+1)%2 == 0) {
    j = (i-1)/2 ;
    if ((i+4)%6 == 0) {
      k = (i-2)/6 ;
      S1 ;
    }
  }
}