1/* Generated from /home/skimo/git/cloog/test/darte.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.05s. */
2if (n >= 1) {
3  for (t3=n+3;t3<=3*n+1;t3++) {
4    if ((t3+n+1)%2 == 0) {
5      S1(1,n,(t3-n-1)/2);
6    }
7  }
8  for (t1=-n+2;t1<=n-1;t1++) {
9    if (t1 >= 2) {
10      for (t3=t1+4;t3<=t1+2*n+2;t3++) {
11        if ((t1+t3)%2 == 0) {
12          S1(t1+1,1,(-t1+t3-2)/2);
13        }
14      }
15    }
16    for (t2=max(-t1+2,t1+2);t2<=-t1+4;t2++) {
17      for (t3=t2+2;t3<=t2+2*n;t3++) {
18        if ((t1+t2)%2 == 0) {
19          if ((t1+t3)%2 == 0) {
20            S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2);
21          }
22        }
23      }
24    }
25    for (t2=max(-t1+5,t1+3);t2<=min(-t1+2*n,t1+2*n);t2++) {
26      for (t3=1;t3<=min(n,t2+1);t3++) {
27        if ((t1+t2+1)%2 == 0) {
28          S2((t1+t2-3)/2,(-t1+t2-1)/2,t3);
29        }
30      }
31      for (t3=t2+2;t3<=n;t3++) {
32        if ((t1+t2+1)%2 == 0) {
33          S2((t1+t2-3)/2,(-t1+t2-1)/2,t3);
34        }
35        if ((t1+t2)%2 == 0) {
36          if ((t1+t3)%2 == 0) {
37            S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2);
38          }
39        }
40      }
41      for (t3=max(n+1,t2+2);t3<=t2+2*n;t3++) {
42        if ((t1+t2)%2 == 0) {
43          if ((t1+t3)%2 == 0) {
44            S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2);
45          }
46        }
47      }
48    }
49    if (t1 <= -1) {
50      for (t3=1;t3<=n;t3++) {
51        S2(t1+n-1,n,t3);
52      }
53    }
54    for (t2=-t1+2*n+1;t2<=min(-t1+2*n+3,t1+2*n+1);t2++) {
55      for (t3=1;t3<=n;t3++) {
56        if ((t1+t2+1)%2 == 0) {
57          S2((t1+t2-3)/2,(-t1+t2-1)/2,t3);
58        }
59      }
60    }
61  }
62  for (t3=1;t3<=n;t3++) {
63    S2(n,1,t3);
64  }
65}
66