1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/* Generated by CLooG v0.10.7 */
S4(i = 1,j = 0,k = 0) ;
S7(i = 1,j = 0,k = 0) ;
S8(i = 1,j = 0,k = 3) ;
S2(i = 2,j = -7,k = 0) ;
S3(i = 2,j = -7,k = 1) ;
S6(i = 2,j = -7,k = 2) ;
S8(i = 2,j = 0,k = 3) ;
S5(i = 2,j = 1,k = 3) ;
S2(i = 3,j = -7,k = 0) ;
S3(i = 3,j = -7,k = 1) ;
S3(i = 3,j = -6,k = 1) ;
S6(i = 3,j = -6,k = 2) ;
S8(i = 3,j = 0,k = 3) ;
for (j=1;j<=2;j++) {
S5(i = 3,k = 3) ;
}
for (i=4;i<=8;i++) {
S2(j = -7,k = 0) ;
S3(j = -7,k = 1) ;
for (j=-6;j<=i-10;j++) {
S3(k = 1) ;
}
j = i-9 ;
S3(k = 1) ;
S6(k = 2) ;
S8(j = 0,k = 3) ;
for (j=1;j<=i-1;j++) {
S5(k = 3) ;
}
}
S2(i = 9,j = -7,k = 0) ;
S3(i = 9,j = -7,k = 1) ;
for (j=-6;j<=-1;j++) {
S3(i = 9,k = 1) ;
}
S3(i = 9,j = 0,k = 1) ;
S6(i = 9,j = 0,k = 2) ;
S8(i = 9,j = 0,k = 3) ;
for (j=1;j<=8;j++) {
S5(i = 9,k = 3) ;
}
S2(i = 10,j = -7,k = 0) ;
S3(i = 10,j = -7,k = 1) ;
for (j=-6;j<=0;j++) {
S3(i = 10,k = 1) ;
}
S3(i = 10,j = 1,k = 1) ;
S6(i = 10,j = 1,k = 2) ;
S5(i = 10,j = 1,k = 3) ;
S1(i = 10,j = 1,k = 4) ;
for (j=2;j<=9;j++) {
S5(i = 10,k = 3) ;
S1(i = 10,k = 4) ;
}
S1(i = 10,j = 10,k = 4) ;
|
