/* Generated from ../../../git/cloog/test/orc.cloog by CLooG 0.16.2-5-g590827b gmp bits in 0.03s. */
S1(0);
S2(0,0);
for (p2=1;p2<=22;p2++) {
  if ((p2+1)%2 == 0) {
    S3(0,(p2-1)/2);
  }
  if (p2%2 == 0) {
    S2(0,p2/2);
  }
}
S3(0,11);
for (p1=2;p1<=6;p1++) {
  if ((p1+1)%3 == 0) {
    S4((p1-2)/3);
  }
  if (p1%3 == 0) {
    S1(p1/3);
  }
  if (p1 == 4) {
    S2(1,0);
  }
  if (p1 == 4) {
    for (p2=1;p2<=20;p2++) {
      if ((p2+1)%2 == 0) {
        S3(1,(p2-1)/2);
      }
      if (p2%2 == 0) {
        S2(1,p2/2);
      }
    }
  }
  if (p1 == 4) {
    S3(1,10);
  }
}
S2(2,0);
for (p2=1;p2<=18;p2++) {
  if ((p2+1)%2 == 0) {
    S3(2,(p2-1)/2);
  }
  if (p2%2 == 0) {
    S2(2,p2/2);
  }
}
S3(2,9);
S4(2);
S5(0);
for (p2=0;p2<=9;p2++) {
  S6(0,p2);
}
for (p1=2;p1<=42;p1++) {
  if ((p1+1)%3 == 0) {
    S7((p1-2)/3);
  }
  if (p1%3 == 0) {
    S5(p1/3);
  }
  for (p2=0;p2<=9;p2++) {
    if ((p1+2)%3 == 0) {
      S6((p1-1)/3,p2);
    }
  }
}
for (p2=0;p2<=9;p2++) {
  S6(14,p2);
}
S7(14);