| blob | 47be372d00c985a005e984aa57c1c75343eaf290 |
1 /* Generated from ./darte.cloog by CLooG 64 bits in 1.04s. */
2 if (n >= 1) {
3 t1 = -n+1 ;
4 t2 = n+1 ;
5 for (t3=n+3;t3<=3*n+1;t3++) {
6 if ((t3+n+1)%2 == 0) {
7 k = (t3-n-1)/2 ;
8 S1(i = 1,j = n) ;
9 }
10 }
11 }
12 if (n >= 2) {
13 t1 = -n+2 ;
14 for (t2=max(-n+4,n);t2<=min(3*n-2,n+2);t2++) {
15 for (t3=t2+2;t3<=t2+2*n;t3++) {
16 if ((t2+n)%2 == 0) {
17 i = (t2-n+2)/2 ;
18 j = (t2+n-2)/2 ;
19 if ((t2 >= max(max(-n+4,n),t3-2*n)) && (t2 <= min(min(3*n-2,n+2),t3-2))) {
20 if ((t3+n)%2 == 0) {
21 k = (-t2+t3)/2 ;
22 S1 ;
23 }
24 }
25 }
26 }
27 }
28 t2 = n+3 ;
29 for (t3=1;t3<=n;t3++) {
30 if ((t3 >= 1) && (t3 <= n)) {
31 S2(i = 1,j = n,k = t3) ;
32 }
33 }
34 }
35 for (t1=ceild(-2*n+5,2);t1<=min(-n+6,0);t1++) {
36 for (t2=-t1+5;t2<=t1+2*n;t2++) {
37 for (t3=1;t3<=n;t3++) {
38 if ((t1 >= max(t2-2*n,-t2+5)) && (t1 <= min(-n+6,0))) {
39 if ((t1+t2+1)%2 == 0) {
40 i = (t1+t2-3)/2 ;
41 if ((t1 >= max(-t2+5,t2-2*n)) && (t1 <= min(-n+6,0))) {
42 j = (-t1+t2-1)/2 ;
43 if ((t3 >= 1) && (t3 <= n)) {
44 S2(k = t3) ;
45 }
46 }
47 }
48 }
49 }
50 for (t3=t2+2;t3<=t2+2*n;t3++) {
51 if ((t1 <= min(-n+6,0)) && (t1 >= max(t2-2*n,-t2+5))) {
52 if ((t1+t2)%2 == 0) {
53 i = (t1+t2)/2 ;
54 if ((t1 >= max(-t2+5,t2-2*n)) && (t1 <= min(-n+6,0))) {
55 j = (-t1+t2)/2 ;
56 if ((t1 >= -t2+5) && (t1 <= min(-n+6,0)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
57 if ((t1+t3)%2 == 0) {
58 k = (-t2+t3)/2 ;
59 S1 ;
60 }
61 }
62 }
63 }
64 }
65 }
66 }
67 for (t2=-t1+2;t2<=-t1+4;t2++) {
68 for (t3=t2+2;t3<=t2+2*n;t3++) {
69 if ((t1 >= max(ceild(-2*n+5,2),-t2+2)) && (t1 <= min(min(-n+6,0),-t2+4))) {
70 if ((t1+t2)%2 == 0) {
71 i = (t1+t2)/2 ;
72 if ((t1 >= max(ceild(-2*n+5,2),-t2+2)) && (t1 <= min(min(-n+6,0),-t2+4))) {
73 j = (-t1+t2)/2 ;
74 if ((t1 >= max(ceild(-2*n+5,2),-t2+2)) && (t1 <= min(min(-n+6,0),-t2+4)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
75 if ((t1+t3)%2 == 0) {
76 k = (-t2+t3)/2 ;
77 S1 ;
78 }
79 }
80 }
81 }
82 }
83 }
84 }
85 if ((t1 >= ceild(-2*n+5,2)) && (t1 <= min(0,-n+6))) {
86 t2 = t1+2*n+1 ;
87 for (t3=1;t3<=n;t3++) {
88 i = t1+n-1 ;
89 if ((t3 >= 1) && (t3 <= n)) {
90 S2(j = n,k = t3) ;
91 }
92 }
93 }
94 }
95 for (t1=-n+7;t1<=0;t1++) {
96 for (t2=-t1+5;t2<=n-2;t2++) {
97 for (t3=1;t3<=t2+1;t3++) {
98 if ((t1 <= 0) && (t1 >= -t2+5)) {
99 if ((t1+t2+1)%2 == 0) {
100 i = (t1+t2-3)/2 ;
101 if ((t1 >= -t2+5) && (t1 <= 0)) {
102 j = (-t1+t2-1)/2 ;
103 if ((t2 >= t3-1) && (t3 >= 1)) {
104 S2(k = t3) ;
105 }
106 }
107 }
108 }
109 }
110 for (t3=t2+2;t3<=n;t3++) {
111 if ((t1 <= 0) && (t1 >= -t2+5)) {
112 if ((t1+t2+1)%2 == 0) {
113 i = (t1+t2-3)/2 ;
114 if ((t1 >= -t2+5) && (t1 <= 0)) {
115 j = (-t1+t2-1)/2 ;
116 if ((t2 <= t3-2) && (t3 <= n)) {
117 S2(k = t3) ;
118 }
119 }
120 }
121 }
122 if ((t1 <= 0) && (t1 >= -t2+5)) {
123 if ((t1+t2)%2 == 0) {
124 i = (t1+t2)/2 ;
125 if ((t1 >= -t2+5) && (t1 <= 0)) {
126 j = (-t1+t2)/2 ;
127 if ((t1 >= -t2+5) && (t1 <= 0) && (t2 <= t3-2)) {
128 if ((t1+t3)%2 == 0) {
129 k = (-t2+t3)/2 ;
130 S1 ;
131 }
132 }
133 }
134 }
135 }
136 }
137 for (t3=n+1;t3<=t2+2*n;t3++) {
138 if ((t1 <= 0) && (t1 >= -t2+5)) {
139 if ((t1+t2)%2 == 0) {
140 i = (t1+t2)/2 ;
141 if ((t1 >= -t2+5) && (t1 <= 0)) {
142 j = (-t1+t2)/2 ;
143 if ((t1 >= -t2+5) && (t1 <= 0) && (t2 <= n-2) && (t2 >= t3-2*n)) {
144 if ((t1+t3)%2 == 0) {
145 k = (-t2+t3)/2 ;
146 S1 ;
147 }
148 }
149 }
150 }
151 }
152 }
153 }
154 for (t2=n-1;t2<=t1+2*n;t2++) {
155 for (t3=1;t3<=n;t3++) {
156 if ((t1 >= max(t2-2*n,-n+7)) && (t1 <= 0)) {
157 if ((t1+t2+1)%2 == 0) {
158 i = (t1+t2-3)/2 ;
159 if ((t1 >= max(-n+7,t2-2*n)) && (t1 <= 0)) {
160 j = (-t1+t2-1)/2 ;
161 if ((t3 >= 1) && (t3 <= n)) {
162 S2(k = t3) ;
163 }
164 }
165 }
166 }
167 }
168 for (t3=t2+2;t3<=t2+2*n;t3++) {
169 if ((t1 <= 0) && (t1 >= max(-n+7,t2-2*n))) {
170 if ((t1+t2)%2 == 0) {
171 i = (t1+t2)/2 ;
172 if ((t1 >= max(-n+7,t2-2*n)) && (t1 <= 0)) {
173 j = (-t1+t2)/2 ;
174 if ((t1 >= -n+7) && (t1 <= 0) && (t2 >= max(n-1,t3-2*n)) && (t2 <= t3-2)) {
175 if ((t1+t3)%2 == 0) {
176 k = (-t2+t3)/2 ;
177 S1 ;
178 }
179 }
180 }
181 }
182 }
183 }
184 }
185 for (t2=-t1+2;t2<=-t1+4;t2++) {
186 for (t3=t2+2;t3<=t2+2*n;t3++) {
187 if ((t1 <= min(0,-t2+4)) && (t1 >= max(-n+7,-t2+2))) {
188 if ((t1+t2)%2 == 0) {
189 i = (t1+t2)/2 ;
190 if ((t1 >= max(-n+7,-t2+2)) && (t1 <= min(0,-t2+4))) {
191 j = (-t1+t2)/2 ;
192 if ((t1 >= max(-n+7,-t2+2)) && (t1 <= min(0,-t2+4)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
193 if ((t1+t3)%2 == 0) {
194 k = (-t2+t3)/2 ;
195 S1 ;
196 }
197 }
198 }
199 }
200 }
201 }
202 }
203 if ((t1 >= -n+7) && (t1 <= 0)) {
204 t2 = t1+2*n+1 ;
205 for (t3=1;t3<=n;t3++) {
206 i = t1+n-1 ;
207 if ((t3 >= 1) && (t3 <= n)) {
208 S2(j = n,k = t3) ;
209 }
210 }
211 }
212 }
213 if (n >= 3) {
214 for (t1=1;t1<=min(-n+6,1);t1++) {
215 for (t2=-t1+5;t2<=-t1+2*n;t2++) {
216 for (t3=1;t3<=n;t3++) {
217 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n))) {
218 if ((t1+t2+1)%2 == 0) {
219 i = (t1+t2-3)/2 ;
220 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-t2+2*n,-n+6),1))) {
221 j = (-t1+t2-1)/2 ;
222 if ((t3 >= 1) && (t3 <= n)) {
223 S2(k = t3) ;
224 }
225 }
226 }
227 }
228 }
229 for (t3=t2+2;t3<=t2+2*n;t3++) {
230 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n))) {
231 if ((t1+t2)%2 == 0) {
232 i = (t1+t2)/2 ;
233 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n))) {
234 j = (-t1+t2)/2 ;
235 if ((t1 >= max(1,-t2+5)) && (t1 <= min(min(-n+6,1),-t2+2*n)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
236 if ((t1+t3)%2 == 0) {
237 k = (-t2+t3)/2 ;
238 S1 ;
239 }
240 }
241 }
242 }
243 }
244 }
245 }
246 for (t2=t1+2;t2<=-t1+4;t2++) {
247 for (t3=t2+2;t3<=t2+2*n;t3++) {
248 if ((t1 >= 1) && (t1 <= min(min(-n+6,t2-2),-t2+4))) {
249 if ((t1+t2)%2 == 0) {
250 i = (t1+t2)/2 ;
251 if ((t1 >= 1) && (t1 <= min(min(-n+6,-t2+4),t2-2))) {
252 j = (-t1+t2)/2 ;
253 if ((t1 >= 1) && (t1 <= min(-n+6,-t2+4)) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
254 if ((t1+t3)%2 == 0) {
255 k = (-t2+t3)/2 ;
256 S1 ;
257 }
258 }
259 }
260 }
261 }
262 }
263 }
264 for (t2=-t1+2*n+1;t2<=t1+2*n;t2++) {
265 for (t3=1;t3<=n;t3++) {
266 if ((t1 >= max(t2-2*n,-t2+2*n+1)) && (t1 <= min(-n+6,1))) {
267 if ((t1+t2+1)%2 == 0) {
268 i = (t1+t2-3)/2 ;
269 if ((t1 >= max(-t2+2*n+1,t2-2*n)) && (t1 <= min(-n+6,1))) {
270 j = (-t1+t2-1)/2 ;
271 if ((t3 >= 1) && (t3 <= n)) {
272 S2(k = t3) ;
273 }
274 }
275 }
276 }
277 }
278 }
279 if ((t1 >= 1) && (t1 <= min(1,-n+6))) {
280 t2 = t1+2*n+1 ;
281 for (t3=1;t3<=n;t3++) {
282 i = t1+n-1 ;
283 if ((t3 >= 1) && (t3 <= n)) {
284 S2(j = n,k = t3) ;
285 }
286 }
287 }
288 }
289 }
290 for (t1=max(1,-n+7);t1<=1;t1++) {
291 for (t2=-t1+5;t2<=n-2;t2++) {
292 for (t3=1;t3<=t2+1;t3++) {
293 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
294 if ((t1+t2+1)%2 == 0) {
295 i = (t1+t2-3)/2 ;
296 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
297 j = (-t1+t2-1)/2 ;
298 if ((t2 >= t3-1) && (t3 >= 1)) {
299 S2(k = t3) ;
300 }
301 }
302 }
303 }
304 }
305 for (t3=t2+2;t3<=n;t3++) {
306 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
307 if ((t1+t2+1)%2 == 0) {
308 i = (t1+t2-3)/2 ;
309 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
310 j = (-t1+t2-1)/2 ;
311 if ((t2 <= t3-2) && (t3 <= n)) {
312 S2(k = t3) ;
313 }
314 }
315 }
316 }
317 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
318 if ((t1+t2)%2 == 0) {
319 i = (t1+t2)/2 ;
320 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
321 j = (-t1+t2)/2 ;
322 if ((t1 >= max(1,-t2+5)) && (t1 <= 1) && (t2 <= t3-2)) {
323 if ((t1+t3)%2 == 0) {
324 k = (-t2+t3)/2 ;
325 S1 ;
326 }
327 }
328 }
329 }
330 }
331 }
332 for (t3=n+1;t3<=t2+2*n;t3++) {
333 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
334 if ((t1+t2)%2 == 0) {
335 i = (t1+t2)/2 ;
336 if ((t1 >= max(1,-t2+5)) && (t1 <= 1)) {
337 j = (-t1+t2)/2 ;
338 if ((t1 >= max(1,-t2+5)) && (t1 <= 1) && (t2 <= n-2) && (t2 >= t3-2*n)) {
339 if ((t1+t3)%2 == 0) {
340 k = (-t2+t3)/2 ;
341 S1 ;
342 }
343 }
344 }
345 }
346 }
347 }
348 }
349 for (t2=n-1;t2<=-t1+2*n;t2++) {
350 for (t3=1;t3<=n;t3++) {
351 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n))) {
352 if ((t1+t2+1)%2 == 0) {
353 i = (t1+t2-3)/2 ;
354 if ((t1 >= max(1,-n+7)) && (t1 <= min(-t2+2*n,1))) {
355 j = (-t1+t2-1)/2 ;
356 if ((t3 >= 1) && (t3 <= n)) {
357 S2(k = t3) ;
358 }
359 }
360 }
361 }
362 }
363 for (t3=t2+2;t3<=t2+2*n;t3++) {
364 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n))) {
365 if ((t1+t2)%2 == 0) {
366 i = (t1+t2)/2 ;
367 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n))) {
368 j = (-t1+t2)/2 ;
369 if ((t1 >= max(1,-n+7)) && (t1 <= min(1,-t2+2*n)) && (t2 >= max(n-1,t3-2*n)) && (t2 <= t3-2)) {
370 if ((t1+t3)%2 == 0) {
371 k = (-t2+t3)/2 ;
372 S1 ;
373 }
374 }
375 }
376 }
377 }
378 }
379 }
380 for (t2=t1+2;t2<=-t1+4;t2++) {
381 for (t3=t2+2;t3<=t2+2*n;t3++) {
382 if ((t1 >= max(1,-n+7)) && (t1 <= min(t2-2,-t2+4))) {
383 if ((t1+t2)%2 == 0) {
384 i = (t1+t2)/2 ;
385 if ((t1 >= max(1,-n+7)) && (t1 <= min(-t2+4,t2-2))) {
386 j = (-t1+t2)/2 ;
387 if ((t1 >= max(1,-n+7)) && (t1 <= -t2+4) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
388 if ((t1+t3)%2 == 0) {
389 k = (-t2+t3)/2 ;
390 S1 ;
391 }
392 }
393 }
394 }
395 }
396 }
397 }
398 for (t2=-t1+2*n+1;t2<=t1+2*n;t2++) {
399 for (t3=1;t3<=n;t3++) {
400 if ((t1 >= max(max(t2-2*n,-n+7),-t2+2*n+1)) && (t1 <= 1)) {
401 if ((t1+t2+1)%2 == 0) {
402 i = (t1+t2-3)/2 ;
403 if ((t1 >= max(max(-n+7,-t2+2*n+1),t2-2*n)) && (t1 <= 1)) {
404 j = (-t1+t2-1)/2 ;
405 if ((t3 >= 1) && (t3 <= n)) {
406 S2(k = t3) ;
407 }
408 }
409 }
410 }
411 }
412 }
413 if ((t1 >= max(1,-n+7)) && (t1 <= 1)) {
414 t2 = t1+2*n+1 ;
415 for (t3=1;t3<=n;t3++) {
416 i = t1+n-1 ;
417 if ((t3 >= 1) && (t3 <= n)) {
418 S2(j = n,k = t3) ;
419 }
420 }
421 }
422 }
423 for (t1=max(n-4,2);t1<=floord(2*n-3,2);t1++) {
424 if ((t1 <= floord(2*n-3,2)) && (t1 >= max(n-4,2))) {
425 t2 = t1+2 ;
426 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
427 if ((t1 <= min(t3-4,floord(2*n-3,2))) && (t1 >= max(max(t3-2*n-2,n-4),2))) {
428 i = t1+1 ;
429 if ((t1 <= min(floord(2*n-3,2),t3-4)) && (t1 >= max(max(n-4,2),t3-2*n-2))) {
430 if ((t1+t3)%2 == 0) {
431 k = (-t1+t3-2)/2 ;
432 S1(j = 1) ;
433 }
434 }
435 }
436 }
437 }
438 for (t2=t1+3;t2<=-t1+2*n;t2++) {
439 for (t3=1;t3<=n;t3++) {
440 if ((t1 <= min(t2-3,-t2+2*n)) && (t1 >= max(n-4,2))) {
441 if ((t1+t2+1)%2 == 0) {
442 i = (t1+t2-3)/2 ;
443 if ((t1 <= min(-t2+2*n,t2-3)) && (t1 >= max(n-4,2))) {
444 j = (-t1+t2-1)/2 ;
445 if ((t3 >= 1) && (t3 <= n)) {
446 S2(k = t3) ;
447 }
448 }
449 }
450 }
451 }
452 for (t3=t2+2;t3<=t2+2*n;t3++) {
453 if ((t1 <= min(t2-3,-t2+2*n)) && (t1 >= max(n-4,2))) {
454 if ((t1+t2)%2 == 0) {
455 i = (t1+t2)/2 ;
456 if ((t1 >= max(n-4,2)) && (t1 <= min(-t2+2*n,t2-3))) {
457 j = (-t1+t2)/2 ;
458 if ((t1 >= max(n-4,2)) && (t1 <= -t2+2*n) && (t2 <= t3-2) && (t2 >= t3-2*n)) {
459 if ((t1+t3)%2 == 0) {
460 k = (-t2+t3)/2 ;
461 S1 ;
462 }
463 }
464 }
465 }
466 }
467 }
468 }
469 for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
470 for (t3=1;t3<=n;t3++) {
471 if ((t1 <= min(floord(2*n-3,2),-t2+2*n+3)) && (t1 >= max(max(n-4,2),-t2+2*n+1))) {
472 if ((t1+t2+1)%2 == 0) {
473 i = (t1+t2-3)/2 ;
474 if ((t1 <= min(floord(2*n-3,2),-t2+2*n+3)) && (t1 >= max(max(n-4,2),-t2+2*n+1))) {
475 j = (-t1+t2-1)/2 ;
476 if ((t3 >= 1) && (t3 <= n)) {
477 S2(k = t3) ;
478 }
479 }
480 }
481 }
482 }
483 }
484 }
485 if (n >= 3) {
486 t1 = n-1 ;
487 t2 = n+1 ;
488 for (t3=n+3;t3<=3*n+1;t3++) {
489 if ((t3+n+1)%2 == 0) {
490 k = (t3-n-1)/2 ;
491 S1(i = n,j = 1) ;
492 }
493 }
494 for (t2=n+2;t2<=n+4;t2++) {
495 for (t3=1;t3<=n;t3++) {
496 if ((t2+n)%2 == 0) {
497 i = (t2+n-4)/2 ;
498 j = (t2-n)/2 ;
499 if ((t3 >= 1) && (t3 <= n)) {
500 S2(k = t3) ;
501 }
502 }
503 }
504 }
505 }
506 for (t1=2;t1<=n-5;t1++) {
507 if ((t1 >= 2) && (t1 <= n-5)) {
508 t2 = t1+2 ;
509 for (t3=t1+4;t3<=t1+2*n+2;t3++) {
510 if ((t1 <= min(t3-4,n-5)) && (t1 >= max(t3-2*n-2,2))) {
511 i = t1+1 ;
512 if ((t1 >= max(2,t3-2*n-2)) && (t1 <= min(n-5,t3-4))) {
513 if ((t1+t3)%2 == 0) {
514 k = (-t1+t3-2)/2 ;
515 S1(j = 1) ;
516 }
517 }
518 }
519 }
520 }
521 for (t2=t1+3;t2<=n-2;t2++) {
522 for (t3=1;t3<=t2+1;t3++) {
523 if ((t1 <= t2-3) && (t1 >= 2)) {
524 if ((t1+t2+1)%2 == 0) {
525 i = (t1+t2-3)/2 ;
526 if ((t1 >= 2) && (t1 <= t2-3)) {
527 j = (-t1+t2-1)/2 ;
528 if ((t2 >= t3-1) && (t3 >= 1)) {
529 S2(k = t3) ;
530 }
531 }
532 }
533 }
534 }
535 for (t3=t2+2;t3<=n;t3++) {
536 if ((t1 <= t2-3) && (t1 >= 2)) {
537 if ((t1+t2+1)%2 == 0) {
538 i = (t1+t2-3)/2 ;
539 if ((t1 >= 2) && (t1 <= t2-3)) {
540 j = (-t1+t2-1)/2 ;
541 if ((t2 <= t3-2) && (t3 <= n)) {
542 S2(k = t3) ;
543 }
544 }
545 }
546 }
547 if ((t1 <= t2-3) && (t1 >= 2)) {
548 if ((t1+t2)%2 == 0) {
549 i = (t1+t2)/2 ;
550 if ((t1 >= 2) && (t1 <= t2-3)) {
551 j = (-t1+t2)/2 ;
552 if ((t1 >= 2) && (t2 <= t3-2)) {
553 if ((t1+t3)%2 == 0) {
554 k = (-t2+t3)/2 ;
555 S1 ;
556 }
557 }
558 }
559 }
560 }
561 }
562 for (t3=n+1;t3<=t2+2*n;t3++) {
563 if ((t1 <= t2-3) && (t1 >= 2)) {
564 if ((t1+t2)%2 == 0) {
565 i = (t1+t2)/2 ;
566 if ((t1 >= 2) && (t1 <= t2-3)) {
567 j = (-t1+t2)/2 ;
568 if ((t1 >= 2) && (t2 <= n-2) && (t2 >= t3-2*n)) {
569 if ((t1+t3)%2 == 0) {
570 k = (-t2+t3)/2 ;
571 S1 ;
572 }
573 }
574 }
575 }
576 }
577 }
578 }
579 for (t2=n-1;t2<=-t1+2*n;t2++) {
580 for (t3=1;t3<=n;t3++) {
581 if ((t1 <= min(n-5,-t2+2*n)) && (t1 >= 2)) {
582 if ((t1+t2+1)%2 == 0) {
583 i = (t1+t2-3)/2 ;
584 if ((t1 <= min(-t2+2*n,n-5)) && (t1 >= 2)) {
585 j = (-t1+t2-1)/2 ;
586 if ((t3 >= 1) && (t3 <= n)) {
587 S2(k = t3) ;
588 }
589 }
590 }
591 }
592 }
593 for (t3=t2+2;t3<=t2+2*n;t3++) {
594 if ((t1 <= min(n-5,-t2+2*n)) && (t1 >= 2)) {
595 if ((t1+t2)%2 == 0) {
596 i = (t1+t2)/2 ;
597 if ((t1 >= 2) && (t1 <= min(n-5,-t2+2*n))) {
598 j = (-t1+t2)/2 ;
599 if ((t1 >= 2) && (t1 <= min(n-5,-t2+2*n)) && (t2 >= max(n-1,t3-2*n)) && (t2 <= t3-2)) {
600 if ((t1+t3)%2 == 0) {
601 k = (-t2+t3)/2 ;
602 S1 ;
603 }
604 }
605 }
606 }
607 }
608 }
609 }
610 for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
611 for (t3=1;t3<=n;t3++) {
612 if ((t1 <= min(n-5,-t2+2*n+3)) && (t1 >= max(2,-t2+2*n+1))) {
613 if ((t1+t2+1)%2 == 0) {
614 i = (t1+t2-3)/2 ;
615 if ((t1 >= max(2,-t2+2*n+1)) && (t1 <= min(n-5,-t2+2*n+3))) {
616 j = (-t1+t2-1)/2 ;
617 if ((t3 >= 1) && (t3 <= n)) {
618 S2(k = t3) ;
619 }
620 }
621 }
622 }
623 }
624 }
625 }
626 if (n == 2) {
627 for (t3=5;t3<=7;t3++) {
628 if ((t3 >= 5) && (t3 <= 7)) {
629 if ((t3+1)%2 == 0) {
630 k = (t3-3)/2 ;
631 S1(i = 2,j = 1) ;
632 }
633 }
634 }
635 for (t2=4;t2<=5;t2++) {
636 for (t3=1;t3<=2;t3++) {
637 if ((t2 <= 5) && (t2 >= 4)) {
638 if (t2%2 == 0) {
639 i = (t2-2)/2 ;
640 if ((t2 <= 5) && (t2 >= 4)) {
641 j = (t2-2)/2 ;
642 if ((t3 >= 1) && (t3 <= 2)) {
643 S2(k = t3) ;
644 }
645 }
646 }
647 }
648 }
649 }
650 for (t3=1;t3<=2;t3++) {
651 if ((t3 >= 1) && (t3 <= 2)) {
652 S2(i = 2,j = 2,k = t3) ;
653 }
654 }
655 }
656 if (n >= 1) {
657 t2 = n+3 ;
658 for (t3=1;t3<=n;t3++) {
659 if ((t3 >= 1) && (t3 <= n)) {
660 S2(i = n,j = 1,k = t3) ;
661 }
662 }
663 }