/* Generated from ./lub.cloog by CLooG 0.15 64 bits in 0.00s. */
for (i=1;i<=M-1;i++) {
  for (j=i+1;j<=M;j++) {
    S1 ;
    for (k=i+1;k<=M;k++) {
      S2 ;
      S3 ;
    }
    S4 ;
  }
}