/* Generated by CLooG v0.10.7 */
for (;i<=0;i++) {
  S1 ;
}
for (i=1;i<=N;i++) {
  S1 ;
  for (j=1;j<=M;j++) {
    S2 ;
  }
}
for (i=N+1;;i++) {
  S1 ;
}