/* Generated from ../../../git/cloog/test/sor1d.cloog by CLooG 0.14.0-278-gcf1f323 gmp bits in 0.11s. */
if ((M >= 1) && (N >= 3)) {
  for (glT1=-1;glT1<=floord(3*M+N-5,100);glT1++) {
    for (rp1=max(max(0,ceild(100*glT1-2*M-N+5,100)),ceild(100*glT1-N-193,300));rp1<=min(min(floord(glT1+1,3),floord(M,100)),glT1);rp1++) {
      for (vT1=max(max(100*glT1-100*rp1,200*rp1-3),200*rp1-N+1);vT1<=min(min(min(2*M+N-5,100*glT1-100*rp1+99),200*rp1+N+193),100*glT1-100*rp1+N+95);vT1++) {
        if (rp1 >= max(1,ceild(vT1-N+7,200))) {
          S3(glT1-rp1,rp1-1,rp1,100*rp1-1,-200*rp1+vT1+6);
        }
        for (vP1=max(max(1,ceild(vT1-N+5,2)),100*rp1);vP1<=min(min(floord(vT1+2,2),M),100*rp1+99);vP1++) {
          S1(glT1-rp1,rp1,vP1,vT1-2*vP1+4);
        }
        if (rp1 <= min(floord(M-100,100),floord(vT1-197,200))) {
          S2(glT1-rp1,rp1,rp1+1,100*rp1+99,-200*rp1+vT1-194);
        }
      }
    }
    S4(glT1);
  }
}