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) ;