/* Generated from test/multi-stride.cloog by CLooG v0.14.0 gmp bits in 0.00s. */
/* CLooG asked for 60 KBytes. */
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 ;
    }
  }
}