1 /* Generated by CLooG v0.10.7 */
2 S4(i = 1,j = 0,k = 0) ;
3 S7(i = 1,j = 0,k = 0) ;
4 S8(i = 1,j = 0,k = 3) ;
5 S2(i = 2,j = -7,k = 0) ;
6 S3(i = 2,j = -7,k = 1) ;
7 S6(i = 2,j = -7,k = 2) ;
8 S8(i = 2,j = 0,k = 3) ;
9 S5(i = 2,j = 1,k = 3) ;
10 S2(i = 3,j = -7,k = 0) ;
11 S3(i = 3,j = -7,k = 1) ;
12 S3(i = 3,j = -6,k = 1) ;
13 S6(i = 3,j = -6,k = 2) ;
14 S8(i = 3,j = 0,k = 3) ;
21 for (j=-6;j<=i-10;j++) {
28 for (j=1;j<=i-1;j++) {
32 S2(i = 9,j = -7,k = 0) ;
33 S3(i = 9,j = -7,k = 1) ;
34 for (j=-6;j<=-1;j++) {
37 S3(i = 9,j = 0,k = 1) ;
38 S6(i = 9,j = 0,k = 2) ;
39 S8(i = 9,j = 0,k = 3) ;
43 S2(i = 10,j = -7,k = 0) ;
44 S3(i = 10,j = -7,k = 1) ;
48 S3(i = 10,j = 1,k = 1) ;
49 S6(i = 10,j = 1,k = 2) ;
50 S5(i = 10,j = 1,k = 3) ;
51 S1(i = 10,j = 1,k = 4) ;
56 S1(i = 10,j = 10,k = 4) ;