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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
/* Generated from orc.cloog by CLooG v0.14.0 gmp bits in 0.07s. */
/* CLooG asked for 404 KBytes. */
S1(i = 0) ;
S2(i = 0,j = 0) ;
for (p2=1;p2<=22;p2++) {
if ((p2+1)%2 == 0) {
j = (p2-1)/2 ;
S3(i = 0) ;
}
if (p2%2 == 0) {
S2(i = 0,j = p2/2) ;
}
}
S3(i = 0,j = 11) ;
for (p1=2;p1<=6;p1++) {
if ((p1+1)%3 == 0) {
i = (p1-2)/3 ;
S4 ;
}
if ((p1+2)%3 == 0) {
i = (p1-1)/3 ;
S2(j = 0) ;
}
if (p1%3 == 0) {
S1(i = p1/3) ;
}
for (p2=1;p2<=floord(-2*p1+68,3);p2++) {
if ((p1+2)%3 == 0) {
i = (p1-1)/3 ;
if ((p2+1)%2 == 0) {
j = (p2-1)/2 ;
S3 ;
}
if (p2%2 == 0) {
S2(j = p2/2) ;
}
}
}
for (p2=ceild(-2*p1+69,3);p2<=floord(-2*p1+71,3);p2++) {
if ((p1+2)%3 == 0) {
i = (p1-1)/3 ;
if ((p2+1)%2 == 0) {
j = (p2-1)/2 ;
S3 ;
}
}
}
}
S2(i = 2,j = 0) ;
for (p2=1;p2<=18;p2++) {
if ((p2+1)%2 == 0) {
j = (p2-1)/2 ;
S3(i = 2) ;
}
if (p2%2 == 0) {
S2(i = 2,j = p2/2) ;
}
}
S3(i = 2,j = 9) ;
S4(i = 2) ;
S5(i = 0) ;
S6(i = 0,j = 0) ;
for (p2=1;p2<=9;p2++) {
S6(i = 0,j = p2) ;
}
for (p1=2;p1<=42;p1++) {
if ((p1+1)%3 == 0) {
i = (p1-2)/3 ;
S7 ;
}
if ((p1+2)%3 == 0) {
i = (p1-1)/3 ;
S6(j = 0) ;
}
if (p1%3 == 0) {
S5(i = p1/3) ;
}
for (p2=1;p2<=9;p2++) {
if ((p1+2)%3 == 0) {
i = (p1-1)/3 ;
S6(j = p2) ;
}
}
}
S6(i = 14,j = 0) ;
for (p2=1;p2<=9;p2++) {
S6(i = 14,j = p2) ;
}
S7(i = 14) ;
|
