1! Generated from ./test/dartef.cloog by CLooG v1.0.0 64 bits in 0.32s.
2! CLooG asked for 164 KBytes.
3IF (n >= 1) THEN
4  t1 = -n+1
5  t2 = n+1
6  DO t3=n+3, 3*n+1
7    IF (MOD(t3-n-1,2) == 0) THEN
8      k = (t3-n-1)/2
9      S1(i = 1,j = n)
10    END IF
11  END DO
12END IF
13IF ((n >= 2) .AND. (n <= 2)) THEN
14  t1 = -n+2
15  DO t2=-n+4, 3*n-2
16    DO t3=t2+2, t2+2*n
17      IF (MOD(t1+t2,2) == 0) THEN
18        i = (t1+t2)/2
19        j = -t1+i
20        IF (MOD(t3-i-j,2) == 0) THEN
21          k = (t3-i-j)/2
22          S1
23        END IF
24      END IF
25    END DO
26  END DO
27  t2 = n+3
28  DO t3=1, n
29    IF (MOD(t1+t2-3,2) == 0) THEN
30      i = (t1+t2-3)/2
31      j = -t1+i+1
32      S2(k = t3)
33    END IF
34  END DO
35END IF
36IF (n >= 3) THEN
37  t1 = -n+2
38  DO t2=n, n+2
39    DO t3=t2+2, t2+2*n
40      IF (MOD(t1+t2,2) == 0) THEN
41        i = (t1+t2)/2
42        j = -t1+i
43        IF (MOD(t3-i-j,2) == 0) THEN
44          k = (t3-i-j)/2
45          S1
46        END IF
47      END IF
48    END DO
49  END DO
50  t2 = n+3
51  DO t3=1, n
52    i = t1+n-1
53    S2(j = n,k = t3)
54  END DO
55END IF
56DO t1=CEILING(REAL(-2*n+5)/REAL(2)), MIN(-n+6,-1)
57  DO t2=-t1+2, -t1+4
58    DO t3=t2+2, t2+2*n
59      IF (MOD(t1+t2,2) == 0) THEN
60        i = (t1+t2)/2
61        j = -t1+i
62        IF (MOD(t3-i-j,2) == 0) THEN
63          k = (t3-i-j)/2
64          S1
65        END IF
66      END IF
67    END DO
68  END DO
69  DO t2=-t1+5, t1+2*n
70    DO t3=1, n
71      IF (MOD(t1+t2-3,2) == 0) THEN
72        i = (t1+t2-3)/2
73        j = -t1+i+1
74        S2(k = t3)
75      END IF
76    END DO
77    DO t3=t2+2, t2+2*n
78      IF (MOD(t1+t2,2) == 0) THEN
79        i = (t1+t2)/2
80        j = -t1+i
81        IF (MOD(t3-i-j,2) == 0) THEN
82          k = (t3-i-j)/2
83          S1
84        END IF
85      END IF
86    END DO
87  END DO
88  t2 = t1+2*n+1
89  DO t3=1, n
90    i = t1+n-1
91    S2(j = n,k = t3)
92  END DO
93END DO
94IF (n == 2) THEN
95  DO t3=3+2, 3+2*n
96    IF (MOD(1+3,2) == 0) THEN
97      i = (1+3)/2
98      j = -(1)+i
99      IF (MOD(t3-i-j,2) == 0) THEN
100        k = (t3-i-j)/2
101        S1
102      END IF
103    END IF
104  END DO
105  DO t2=4, 6
106    DO t3=1, n
107      IF (MOD(1+t2-3,2) == 0) THEN
108        i = (1+t2-3)/2
109        j = -(1)+i+1
110        S2(k = t3)
111      END IF
112    END DO
113  END DO
114END IF
115DO t1=-n+7, -1
116  DO t2=-t1+2, -t1+4
117    DO t3=t2+2, t2+2*n
118      IF (MOD(t1+t2,2) == 0) THEN
119        i = (t1+t2)/2
120        j = -t1+i
121        IF (MOD(t3-i-j,2) == 0) THEN
122          k = (t3-i-j)/2
123          S1
124        END IF
125      END IF
126    END DO
127  END DO
128  DO t2=-t1+5, n-2
129    DO t3=1, t2+1
130      IF (MOD(t1+t2-3,2) == 0) THEN
131        i = (t1+t2-3)/2
132        j = -t1+i+1
133        S2(k = t3)
134      END IF
135    END DO
136    DO t3=n+1, t2+2*n
137      IF (MOD(t1+t2,2) == 0) THEN
138        i = (t1+t2)/2
139        j = -t1+i
140        IF (MOD(t3-i-j,2) == 0) THEN
141          k = (t3-i-j)/2
142          S1
143        END IF
144      END IF
145    END DO
146    DO t3=t2+2, n
147      IF (MOD(t1+t2-3,2) == 0) THEN
148        i = (t1+t2-3)/2
149        j = -t1+i+1
150        S2(k = t3)
151      END IF
152      IF (MOD(t1+t2,2) == 0) THEN
153        i = (t1+t2)/2
154        j = -t1+i
155        IF (MOD(t3-i-j,2) == 0) THEN
156          k = (t3-i-j)/2
157          S1
158        END IF
159      END IF
160    END DO
161  END DO
162  DO t2=n-1, t1+2*n
163    DO t3=1, n
164      IF (MOD(t1+t2-3,2) == 0) THEN
165        i = (t1+t2-3)/2
166        j = -t1+i+1
167        S2(k = t3)
168      END IF
169    END DO
170    DO t3=t2+2, t2+2*n
171      IF (MOD(t1+t2,2) == 0) THEN
172        i = (t1+t2)/2
173        j = -t1+i
174        IF (MOD(t3-i-j,2) == 0) THEN
175          k = (t3-i-j)/2
176          S1
177        END IF
178      END IF
179    END DO
180  END DO
181  t2 = t1+2*n+1
182  DO t3=1, n
183    i = t1+n-1
184    S2(j = n,k = t3)
185  END DO
186END DO
187IF (n >= 3) THEN
188  DO t1=0, MIN(1,-n+6)
189    DO t2=t1+2, -t1+4
190      DO t3=t2+2, t2+2*n
191        IF (MOD(t1+t2,2) == 0) THEN
192          i = (t1+t2)/2
193          j = -t1+i
194          IF (MOD(t3-i-j,2) == 0) THEN
195            k = (t3-i-j)/2
196            S1
197          END IF
198        END IF
199      END DO
200    END DO
201    DO t2=-t1+5, -t1+2*n
202      DO t3=1, n
203        IF (MOD(t1+t2-3,2) == 0) THEN
204          i = (t1+t2-3)/2
205          j = -t1+i+1
206          S2(k = t3)
207        END IF
208      END DO
209      DO t3=t2+2, t2+2*n
210        IF (MOD(t1+t2,2) == 0) THEN
211          i = (t1+t2)/2
212          j = -t1+i
213          IF (MOD(t3-i-j,2) == 0) THEN
214            k = (t3-i-j)/2
215            S1
216          END IF
217        END IF
218      END DO
219    END DO
220    DO t2=-t1+2*n+1, t1+2*n+1
221      DO t3=1, n
222        IF (MOD(t1+t2-3,2) == 0) THEN
223          i = (t1+t2-3)/2
224          j = -t1+i+1
225          S2(k = t3)
226        END IF
227      END DO
228    END DO
229  END DO
230END IF
231DO t1=MAX(-n+7,0), 1
232  DO t2=t1+2, -t1+4
233    DO t3=t2+2, t2+2*n
234      IF (MOD(t1+t2,2) == 0) THEN
235        i = (t1+t2)/2
236        j = -t1+i
237        IF (MOD(t3-i-j,2) == 0) THEN
238          k = (t3-i-j)/2
239          S1
240        END IF
241      END IF
242    END DO
243  END DO
244  DO t2=-t1+5, n-2
245    DO t3=1, t2+1
246      IF (MOD(t1+t2-3,2) == 0) THEN
247        i = (t1+t2-3)/2
248        j = -t1+i+1
249        S2(k = t3)
250      END IF
251    END DO
252    DO t3=n+1, t2+2*n
253      IF (MOD(t1+t2,2) == 0) THEN
254        i = (t1+t2)/2
255        j = -t1+i
256        IF (MOD(t3-i-j,2) == 0) THEN
257          k = (t3-i-j)/2
258          S1
259        END IF
260      END IF
261    END DO
262    DO t3=t2+2, n
263      IF (MOD(t1+t2-3,2) == 0) THEN
264        i = (t1+t2-3)/2
265        j = -t1+i+1
266        S2(k = t3)
267      END IF
268      IF (MOD(t1+t2,2) == 0) THEN
269        i = (t1+t2)/2
270        j = -t1+i
271        IF (MOD(t3-i-j,2) == 0) THEN
272          k = (t3-i-j)/2
273          S1
274        END IF
275      END IF
276    END DO
277  END DO
278  DO t2=n-1, -t1+2*n
279    DO t3=1, n
280      IF (MOD(t1+t2-3,2) == 0) THEN
281        i = (t1+t2-3)/2
282        j = -t1+i+1
283        S2(k = t3)
284      END IF
285    END DO
286    DO t3=t2+2, t2+2*n
287      IF (MOD(t1+t2,2) == 0) THEN
288        i = (t1+t2)/2
289        j = -t1+i
290        IF (MOD(t3-i-j,2) == 0) THEN
291          k = (t3-i-j)/2
292          S1
293        END IF
294      END IF
295    END DO
296  END DO
297  DO t2=-t1+2*n+1, t1+2*n+1
298    DO t3=1, n
299      IF (MOD(t1+t2-3,2) == 0) THEN
300        i = (t1+t2-3)/2
301        j = -t1+i+1
302        S2(k = t3)
303      END IF
304    END DO
305  END DO
306END DO
307DO t1=2, n-5
308  t2 = t1+2
309  DO t3=t2+2, t2+2*n
310    i = t1+1
311    IF (MOD(t3-i-1,2) == 0) THEN
312      k = (t3-i-1)/2
313      S1(j = 1)
314    END IF
315  END DO
316  DO t2=t1+3, n-2
317    DO t3=1, t2+1
318      IF (MOD(t1+t2-3,2) == 0) THEN
319        i = (t1+t2-3)/2
320        j = -t1+i+1
321        S2(k = t3)
322      END IF
323    END DO
324    DO t3=n+1, t2+2*n
325      IF (MOD(t1+t2,2) == 0) THEN
326        i = (t1+t2)/2
327        j = -t1+i
328        IF (MOD(t3-i-j,2) == 0) THEN
329          k = (t3-i-j)/2
330          S1
331        END IF
332      END IF
333    END DO
334    DO t3=t2+2, n
335      IF (MOD(t1+t2-3,2) == 0) THEN
336        i = (t1+t2-3)/2
337        j = -t1+i+1
338        S2(k = t3)
339      END IF
340      IF (MOD(t1+t2,2) == 0) THEN
341        i = (t1+t2)/2
342        j = -t1+i
343        IF (MOD(t3-i-j,2) == 0) THEN
344          k = (t3-i-j)/2
345          S1
346        END IF
347      END IF
348    END DO
349  END DO
350  DO t2=n-1, -t1+2*n
351    DO t3=1, n
352      IF (MOD(t1+t2-3,2) == 0) THEN
353        i = (t1+t2-3)/2
354        j = -t1+i+1
355        S2(k = t3)
356      END IF
357    END DO
358    DO t3=t2+2, t2+2*n
359      IF (MOD(t1+t2,2) == 0) THEN
360        i = (t1+t2)/2
361        j = -t1+i
362        IF (MOD(t3-i-j,2) == 0) THEN
363          k = (t3-i-j)/2
364          S1
365        END IF
366      END IF
367    END DO
368  END DO
369  DO t2=-t1+2*n+1, -t1+2*n+3
370    DO t3=1, n
371      IF (MOD(t1+t2-3,2) == 0) THEN
372        i = (t1+t2-3)/2
373        j = -t1+i+1
374        S2(k = t3)
375      END IF
376    END DO
377  END DO
378END DO
379DO t1=MAX(2,n-4), FLOOR(REAL(2*n-3)/REAL(2))
380  t2 = t1+2
381  DO t3=t2+2, t2+2*n
382    i = t1+1
383    IF (MOD(t3-i-1,2) == 0) THEN
384      k = (t3-i-1)/2
385      S1(j = 1)
386    END IF
387  END DO
388  DO t2=t1+3, -t1+2*n
389    DO t3=1, n
390      IF (MOD(t1+t2-3,2) == 0) THEN
391        i = (t1+t2-3)/2
392        j = -t1+i+1
393        S2(k = t3)
394      END IF
395    END DO
396    DO t3=t2+2, t2+2*n
397      IF (MOD(t1+t2,2) == 0) THEN
398        i = (t1+t2)/2
399        j = -t1+i
400        IF (MOD(t3-i-j,2) == 0) THEN
401          k = (t3-i-j)/2
402          S1
403        END IF
404      END IF
405    END DO
406  END DO
407  DO t2=-t1+2*n+1, -t1+2*n+3
408    DO t3=1, n
409      IF (MOD(t1+t2-3,2) == 0) THEN
410        i = (t1+t2-3)/2
411        j = -t1+i+1
412        S2(k = t3)
413      END IF
414    END DO
415  END DO
416END DO
417IF (n >= 3) THEN
418  t1 = n-1
419  t2 = n+1
420  DO t3=t2+2, t2+2*n
421    i = t1+1
422    IF (MOD(t3-i-1,2) == 0) THEN
423      k = (t3-i-1)/2
424      S1(j = 1)
425    END IF
426  END DO
427  DO t2=n+2, n+4
428    DO t3=1, n
429      IF (MOD(t1+t2-3,2) == 0) THEN
430        i = (t1+t2-3)/2
431        j = -t1+i+1
432        S2(k = t3)
433      END IF
434    END DO
435  END DO
436END IF
437IF (n >= 1) THEN
438  t2 = n+3
439  DO t3=1, n
440    S2(i = n,j = 1,k = t3)
441  END DO
442END IF
443