/* Generated from /home/skimo/git/cloog/test/classen.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.45s. */
if (m >= 1) {
  if (m >= 2) {
    S1(0,1,1,1);
    S2(0,1,1,1,1,1,2,1);
    S3(0,1,1,2,1,1,1,2);
    S4(0,1,2,2,1,1,2,2);
    S8(0,1);
  }
  if (m == 1) {
    S1(0,1,1,1);
    S8(0,1);
  }
  for (glT1=1;glT1<=2*m-4;glT1++) {
    if (glT1 <= m-2) {
      S5(glT1-1,1,glT1,1,glT1,1,glT1+1,1);
      S1(glT1,1,glT1+1,1);
      S2(glT1,1,glT1+1,1,glT1+1,1,glT1+2,1);
      S3(glT1,1,glT1+1,2,glT1+1,1,glT1+1,2);
      S4(glT1,1,glT1+2,2,glT1+1,1,glT1+2,2);
    }
    if (glT1 >= m) {
      S5(glT1-1,glT1-m+2,glT1,glT1-m+2,m-1,glT1-m+2,m,glT1-m+2);
      S6(glT1-1,glT1-m+1,glT1,glT1-m+2,m,glT1-m+1,m,glT1-m+2);
      S1(glT1,glT1-m+2,m,glT1-m+2);
      S3(glT1,glT1-m+2,glT1+1,glT1-m+3,m,glT1-m+2,m,glT1-m+3);
    }
    if (glT1 == m-1) {
      S5(m-2,1,m-1,1,m-1,1,m,1);
      S1(m-1,1,m,1);
      S3(m-1,1,m,2,m,1,m,2);
    }
    for (rp1=max(2,glT1-m+3);rp1<=min(glT1,m-1);rp1++) {
      S5(glT1-1,rp1,glT1,rp1,glT1-rp1+1,rp1,glT1-rp1+2,rp1);
      S6(glT1-1,rp1-1,glT1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+2,rp1);
      S7(glT1-1,rp1-1,glT1+1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+3,rp1);
      S1(glT1,rp1,glT1-rp1+2,rp1);
      S2(glT1,rp1,glT1+1,rp1,glT1-rp1+2,rp1,glT1-rp1+3,rp1);
      S3(glT1,rp1,glT1+1,rp1+1,glT1-rp1+2,rp1,glT1-rp1+2,rp1+1);
      S4(glT1,rp1,glT1+2,rp1+1,glT1-rp1+2,rp1,glT1-rp1+3,rp1+1);
    }
    if (glT1 <= m-2) {
      S6(glT1-1,glT1,glT1,glT1+1,1,glT1,1,glT1+1);
      S7(glT1-1,glT1,glT1+1,glT1+1,1,glT1,2,glT1+1);
      S1(glT1,glT1+1,1,glT1+1);
      S2(glT1,glT1+1,glT1+1,glT1+1,1,glT1+1,2,glT1+1);
      S3(glT1,glT1+1,glT1+1,glT1+2,1,glT1+1,1,glT1+2);
      S4(glT1,glT1+1,glT1+2,glT1+2,1,glT1+1,2,glT1+2);
    }
    if (glT1 >= m) {
      S5(glT1-1,m,glT1,m,glT1-m+1,m,glT1-m+2,m);
      S6(glT1-1,m-1,glT1,m,glT1-m+2,m-1,glT1-m+2,m);
      S7(glT1-1,m-1,glT1+1,m,glT1-m+2,m-1,glT1-m+3,m);
      S1(glT1,m,glT1-m+2,m);
      S2(glT1,m,glT1+1,m,glT1-m+2,m,glT1-m+3,m);
    }
    if (glT1 == m-1) {
      S6(m-2,m-1,m-1,m,1,m-1,1,m);
      S7(m-2,m-1,m,m,1,m-1,2,m);
      S1(m-1,m,1,m);
      S2(m-1,m,m,m,1,m,2,m);
    }
    for (coordP1=max(1,glT1-m+2);coordP1<=min(m,glT1+1);coordP1++) {
      S8(glT1,coordP1);
    }
  }
  if (m >= 2) {
    if (m >= 3) {
      S5(2*m-4,m-1,2*m-3,m-1,m-1,m-1,m,m-1);
      S6(2*m-4,m-2,2*m-3,m-1,m,m-2,m,m-1);
      S1(2*m-3,m-1,m,m-1);
      S3(2*m-3,m-1,2*m-2,m,m,m-1,m,m);
    }
    if (m == 2) {
      S5(0,1,1,1,1,1,2,1);
      S1(1,1,2,1);
      S3(1,1,2,2,2,1,2,2);
    }
    if (m >= 3) {
      S5(2*m-4,m,2*m-3,m,m-2,m,m-1,m);
      S6(2*m-4,m-1,2*m-3,m,m-1,m-1,m-1,m);
      S7(2*m-4,m-1,2*m-2,m,m-1,m-1,m,m);
      S1(2*m-3,m,m-1,m);
    }
    if (m == 2) {
      S6(0,1,1,2,1,1,1,2);
      S7(0,1,2,2,1,1,2,2);
      S1(1,2,1,2);
    }
    S2(2*m-3,m,2*m-2,m,m-1,m,m,m);
    for (coordP1=m-1;coordP1<=m;coordP1++) {
      S8(2*m-3,coordP1);
    }
  }
  if (m >= 2) {
    S5(2*m-3,m,2*m-2,m,m-1,m,m,m);
    S6(2*m-3,m-1,2*m-2,m,m,m-1,m,m);
    S1(2*m-2,m,m,m);
    S8(2*m-2,m);
  }
}