/* Generated by CLooG v0.10.7 */
for (i=0;i<=min(10,M);i++) {
  for (j=0;j<=min(10,M);j++) {
    S1 ;
  }
}