Get rid of the warning about ignoring the return value of fgets
[cloog.git] / test / faber.c
blobaeab0552ab3959c849041664943e09fd51a626a8
1 /* Generated from ./test/faber.cloog by CLooG v1.0.0 64 bits in 1.78s. */
2 /* CLooG asked for 548 KBytes. */
3 for (idx4=0;idx4<=10;idx4++) {
4 for (idx5=-6;idx5<=floord(idx4-84,14);idx5++) {
5 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
6 S6 ;
8 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
9 S1 ;
11 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
12 S2 ;
15 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
16 S3(idx5 = 1) ;
18 for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
19 S3(idx5 = 1) ;
20 S6(idx5 = 1) ;
22 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
23 S3(idx5 = 1) ;
25 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
26 S1(idx5 = 1) ;
28 for (idx5=2;idx5<=18;idx5++) {
29 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
30 S3 ;
32 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
33 S6 ;
35 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
36 S1 ;
39 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
40 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
41 S6 ;
43 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
44 S1 ;
47 S3(idx5 = 0,idx6 = 0) ;
48 S10(idx5 = 0,idx6 = 0) ;
49 for (idx6=13;idx6<=24;idx6++) {
50 S3(idx5 = 0) ;
52 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
53 S3(idx5 = 0) ;
55 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
56 S3(idx5 = 0) ;
57 S6(idx5 = 0) ;
59 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
60 S1(idx5 = 0) ;
62 for (idx5=19;idx5<=24;idx5++) {
63 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
64 S3 ;
68 for (idx4=11;idx4<=12;idx4++) {
69 for (idx5=-6;idx5<=floord(idx4-84,14);idx5++) {
70 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
71 S6 ;
73 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
74 S2 ;
76 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
77 S1 ;
80 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
81 S3(idx5 = 1) ;
83 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
84 S1(idx5 = 1) ;
86 for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
87 S3(idx5 = 1) ;
88 S6(idx5 = 1) ;
90 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
91 S3(idx5 = 1) ;
93 for (idx5=max(ceild(2*idx4+309,231),2);idx5<=18;idx5++) {
94 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
95 S3 ;
97 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
98 S1 ;
100 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
101 S6 ;
104 for (idx5=19;idx5<=24;idx5++) {
105 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
106 S3 ;
109 for (idx5=ceild(idx4-83,14);idx5<=-4;idx5++) {
110 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
111 S6 ;
113 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
114 S1 ;
117 for (idx5=-3;idx5<=floord(2*idx4-42,7);idx5++) {
118 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
119 S7 ;
121 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
122 S6 ;
124 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
125 S1 ;
128 for (idx5=ceild(2*idx4-41,7);idx5<=-1;idx5++) {
129 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
130 S6 ;
132 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
133 S1 ;
136 S3(idx5 = 0,idx6 = 0) ;
137 S10(idx5 = 0,idx6 = 0) ;
138 for (idx6=13;idx6<=24;idx6++) {
139 S3(idx5 = 0) ;
141 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
142 S3(idx5 = 0) ;
144 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
145 S3(idx5 = 0) ;
146 S6(idx5 = 0) ;
148 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
149 S1(idx5 = 0) ;
152 for (idx4=13;idx4<=17;idx4++) {
153 for (idx5=-6;idx5<=floord(idx4-84,14);idx5++) {
154 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
155 S6 ;
157 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
158 S2 ;
160 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
161 S1 ;
164 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
165 S3(idx5 = 1) ;
167 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
168 S1(idx5 = 1) ;
170 for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
171 S3(idx5 = 1) ;
172 S6(idx5 = 1) ;
174 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
175 S3(idx5 = 1) ;
177 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
178 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
179 S3 ;
181 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
182 S1 ;
184 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
185 S6 ;
188 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
189 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
190 S3 ;
193 for (idx5=ceild(idx4-83,14);idx5<=-4;idx5++) {
194 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
195 S6 ;
197 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
198 S1 ;
201 for (idx5=-3;idx5<=floord(2*idx4-42,7);idx5++) {
202 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
203 S7 ;
205 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
206 S6 ;
208 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
209 S1 ;
212 for (idx5=ceild(2*idx4-41,7);idx5<=-1;idx5++) {
213 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
214 S6 ;
216 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
217 S1 ;
220 S3(idx5 = 0,idx6 = 0) ;
221 S10(idx5 = 0,idx6 = 0) ;
222 for (idx6=13;idx6<=24;idx6++) {
223 S3(idx5 = 0) ;
225 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
226 S3(idx5 = 0) ;
228 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
229 S3(idx5 = 0) ;
230 S6(idx5 = 0) ;
232 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
233 S1(idx5 = 0) ;
235 for (idx5=2;idx5<=floord(2*idx4+308,231);idx5++) {
236 for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
237 S3 ;
239 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
240 S1 ;
242 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
243 S3 ;
244 S6 ;
246 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
247 S6 ;
250 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
251 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
252 S3 ;
254 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
255 S6 ;
259 for (idx4=18;idx4<=20;idx4++) {
260 for (idx5=-6;idx5<=floord(idx4-84,14);idx5++) {
261 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
262 S6 ;
264 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
265 S2 ;
267 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
268 S1 ;
271 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
272 S3(idx5 = 1) ;
274 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
275 S1(idx5 = 1) ;
277 for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
278 S3(idx5 = 1) ;
279 S6(idx5 = 1) ;
281 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
282 S3(idx5 = 1) ;
284 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
285 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
286 S3 ;
288 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
289 S1 ;
291 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
292 S6 ;
295 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
296 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
297 S3 ;
300 for (idx5=ceild(idx4-83,14);idx5<=-4;idx5++) {
301 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
302 S6 ;
304 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
305 S1 ;
308 for (idx5=-3;idx5<=-1;idx5++) {
309 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
310 S7 ;
312 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
313 S6 ;
315 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
316 S1 ;
319 S3(idx5 = 0,idx6 = 0) ;
320 S10(idx5 = 0,idx6 = 0) ;
321 for (idx6=13;idx6<=24;idx6++) {
322 S3(idx5 = 0) ;
324 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
325 S3(idx5 = 0) ;
327 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
328 S3(idx5 = 0) ;
329 S6(idx5 = 0) ;
331 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
332 S1(idx5 = 0) ;
334 for (idx5=2;idx5<=floord(2*idx4+308,231);idx5++) {
335 for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
336 S3 ;
338 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
339 S1 ;
341 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
342 S3 ;
343 S6 ;
345 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
346 S6 ;
349 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
350 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
351 S3 ;
353 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
354 S6 ;
358 for (idx4=21;idx4<=27;idx4++) {
359 for (idx5=-6;idx5<=floord(idx4-84,14);idx5++) {
360 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
361 S6 ;
363 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
364 S2 ;
366 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
367 S1 ;
370 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
371 S3(idx5 = 1) ;
373 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
374 S1(idx5 = 1) ;
376 for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
377 S3(idx5 = 1) ;
378 S6(idx5 = 1) ;
380 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
381 S3(idx5 = 1) ;
383 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
384 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
385 S3 ;
387 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
388 S1 ;
390 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
391 S6 ;
394 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
395 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
396 S3 ;
399 for (idx5=ceild(idx4-83,14);idx5<=-4;idx5++) {
400 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
401 S6 ;
403 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
404 S1 ;
407 for (idx5=-3;idx5<=-1;idx5++) {
408 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
409 S7 ;
411 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
412 S6 ;
414 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
415 S1 ;
418 S3(idx5 = 0,idx6 = 0) ;
419 S10(idx5 = 0,idx6 = 0) ;
420 for (idx6=1;idx6<=5;idx6++) {
421 S3(idx5 = 0) ;
423 for (idx6=6;idx6<=floord(2*idx4+84,21);idx6++) {
424 S3(idx5 = 0) ;
425 S7(idx5 = 0) ;
427 for (idx6=13;idx6<=24;idx6++) {
428 S3(idx5 = 0) ;
430 for (idx6=ceild(2*idx4+85,21);idx6<=7;idx6++) {
431 S3(idx5 = 0) ;
433 for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
434 S3(idx5 = 0) ;
436 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
437 S3(idx5 = 0) ;
438 S6(idx5 = 0) ;
440 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
441 S1(idx5 = 0) ;
443 for (idx5=2;idx5<=floord(2*idx4+308,231);idx5++) {
444 for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
445 S3 ;
447 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
448 S1 ;
450 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
451 S3 ;
452 S6 ;
454 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
455 S6 ;
458 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
459 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
460 S3 ;
462 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
463 S6 ;
467 for (idx4=28;idx4<=33;idx4++) {
468 for (idx5=-6;idx5<=-4;idx5++) {
469 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
470 S6 ;
472 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
473 S2 ;
475 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
476 S1 ;
479 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
480 S3(idx5 = 1) ;
482 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
483 S1(idx5 = 1) ;
485 for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
486 S3(idx5 = 1) ;
487 S6(idx5 = 1) ;
489 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
490 S3(idx5 = 1) ;
492 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
493 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
494 S3 ;
496 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
497 S1 ;
499 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
500 S6 ;
503 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
504 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
505 S3 ;
508 for (idx5=-3;idx5<=-1;idx5++) {
509 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
510 S7 ;
512 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
513 S6 ;
515 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
516 S1 ;
519 S3(idx5 = 0,idx6 = 0) ;
520 S10(idx5 = 0,idx6 = 0) ;
521 for (idx6=1;idx6<=5;idx6++) {
522 S3(idx5 = 0) ;
524 for (idx6=6;idx6<=floord(2*idx4+84,21);idx6++) {
525 S3(idx5 = 0) ;
526 S7(idx5 = 0) ;
528 for (idx6=13;idx6<=24;idx6++) {
529 S3(idx5 = 0) ;
531 for (idx6=ceild(2*idx4+85,21);idx6<=7;idx6++) {
532 S3(idx5 = 0) ;
534 for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
535 S3(idx5 = 0) ;
537 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
538 S3(idx5 = 0) ;
539 S6(idx5 = 0) ;
541 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
542 S1(idx5 = 0) ;
544 for (idx5=2;idx5<=floord(2*idx4+308,231);idx5++) {
545 for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
546 S3 ;
548 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
549 S1 ;
551 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
552 S3 ;
553 S6 ;
555 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
556 S6 ;
559 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
560 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
561 S3 ;
563 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
564 S6 ;
568 for (idx5=-6;idx5<=-4;idx5++) {
569 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
570 S6(idx4 = 34) ;
572 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
573 S2(idx4 = 34) ;
575 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
576 S1(idx4 = 34) ;
579 for (idx6=-8*(1);idx6<=floord(-6*(34)+77*1+923,77);idx6++) {
580 S3(idx4 = 34,idx5 = 1) ;
582 for (idx6=ceild(-3*(34)+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
583 S1(idx4 = 34,idx5 = 1) ;
585 for (idx6=ceild(-6*(34)+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
586 S3(idx4 = 34,idx5 = 1) ;
587 S6(idx4 = 34,idx5 = 1) ;
589 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
590 S3(idx4 = 34,idx5 = 1) ;
592 for (idx5=ceild(2*34+309,231);idx5<=18;idx5++) {
593 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
594 S3(idx4 = 34) ;
596 for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
597 S1(idx4 = 34) ;
599 for (idx6=max(ceild(-6*(34)+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
600 S6(idx4 = 34) ;
603 for (idx5=ceild(6*34+1387,77);idx5<=24;idx5++) {
604 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
605 S3(idx4 = 34) ;
608 for (idx5=-3;idx5<=-1;idx5++) {
609 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*34-7*idx5+84,21));idx6++) {
610 S7(idx4 = 34) ;
612 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(34)+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
613 S6(idx4 = 34) ;
615 for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
616 S1(idx4 = 34) ;
619 S3(idx4 = 34,idx5 = 0,idx6 = 0) ;
620 S10(idx4 = 34,idx5 = 0,idx6 = 0) ;
621 for (idx6=1;idx6<=5;idx6++) {
622 S3(idx4 = 34,idx5 = 0) ;
624 for (idx6=6;idx6<=min(7,floord(2*34+84,21));idx6++) {
625 S3(idx4 = 34,idx5 = 0) ;
626 S7(idx4 = 34,idx5 = 0) ;
628 for (idx6=13;idx6<=24;idx6++) {
629 S3(idx4 = 34,idx5 = 0) ;
631 for (idx6=8;idx6<=floord(-6*(34)+923,77);idx6++) {
632 S3(idx4 = 34,idx5 = 0) ;
634 for (idx6=ceild(-6*(34)+924,77);idx6<=12;idx6++) {
635 S3(idx4 = 34,idx5 = 0) ;
636 S6(idx4 = 34,idx5 = 0) ;
638 for (idx6=ceild(-3*(34)+672,14);idx6<=48;idx6++) {
639 S1(idx4 = 34,idx5 = 0) ;
641 for (idx5=2;idx5<=floord(2*34+308,231);idx5++) {
642 for (idx6=-8*idx5;idx6<=floord(-6*(34)+77*idx5+923,77);idx6++) {
643 S3(idx4 = 34) ;
645 for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
646 S1(idx4 = 34) ;
648 for (idx6=ceild(-6*(34)+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
649 S3(idx4 = 34) ;
650 S6(idx4 = 34) ;
652 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
653 S6(idx4 = 34) ;
656 for (idx5=19;idx5<=floord(6*34+1386,77);idx5++) {
657 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
658 S3(idx4 = 34) ;
660 for (idx6=ceild(-6*(34)+77*idx5+924,77);idx6<=30;idx6++) {
661 S6(idx4 = 34) ;
664 for (idx4=35;idx4<=36;idx4++) {
665 for (idx5=-6;idx5<=-4;idx5++) {
666 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
667 S6 ;
669 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
670 S2 ;
672 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
673 S1 ;
676 for (idx5=ceild(idx4-20,14);idx5<=1;idx5++) {
677 for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
678 S3 ;
680 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
681 S1 ;
683 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
684 S3 ;
685 S6 ;
687 for (idx6=ceild(6*idx5+73,6);idx6<=-8*idx5+24;idx6++) {
688 S3 ;
691 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
692 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
693 S3 ;
695 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
696 S1 ;
698 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
699 S6 ;
702 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
703 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
704 S3 ;
707 for (idx5=-3;idx5<=-1;idx5++) {
708 for (idx6=6;idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
709 S7 ;
711 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
712 S6 ;
714 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
715 S1 ;
718 S3(idx5 = 0,idx6 = 0) ;
719 S10(idx5 = 0,idx6 = 0) ;
720 for (idx6=1;idx6<=5;idx6++) {
721 S3(idx5 = 0) ;
723 for (idx6=6;idx6<=min(7,floord(2*idx4+84,21));idx6++) {
724 S3(idx5 = 0) ;
725 S7(idx5 = 0) ;
727 for (idx6=13;idx6<=24;idx6++) {
728 S3(idx5 = 0) ;
730 for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
731 S3(idx5 = 0) ;
733 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
734 S3(idx5 = 0) ;
735 S6(idx5 = 0) ;
737 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
738 S1(idx5 = 0) ;
740 for (idx5=1;idx5<=floord(idx4-21,14);idx5++) {
741 for (idx6=-8*idx5;idx6<=floord(2*idx5+11,2);idx6++) {
742 S3 ;
744 for (idx6=ceild(2*idx5+12,2);idx6<=floord(2*idx4-7*idx5+84,21);idx6++) {
745 S3 ;
746 S7 ;
748 for (idx6=ceild(2*idx4-7*idx5+85,21);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
749 S3 ;
751 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
752 S3 ;
753 S6 ;
755 for (idx6=ceild(6*idx5+73,6);idx6<=-8*idx5+24;idx6++) {
756 S3 ;
758 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
759 S1 ;
762 for (idx5=2;idx5<=floord(2*idx4+308,231);idx5++) {
763 for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
764 S3 ;
766 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
767 S1 ;
769 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
770 S3 ;
771 S6 ;
773 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
774 S6 ;
777 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
778 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
779 S3 ;
781 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
782 S6 ;
786 for (idx4=37;idx4<=41;idx4++) {
787 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
788 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
789 S2 ;
791 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
792 S1 ;
795 for (idx5=ceild(10*idx4-822,77);idx5<=-4;idx5++) {
796 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
797 S6 ;
799 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
800 S2 ;
802 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
803 S1 ;
806 for (idx5=-3;idx5<=floord(idx4-21,14);idx5++) {
807 for (idx6=max(6,ceild(2*idx5+12,2));idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
808 S7 ;
810 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
811 S6 ;
813 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
814 S1 ;
817 for (idx5=ceild(idx4-20,14);idx5<=18;idx5++) {
818 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
819 S6 ;
821 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
822 S1 ;
825 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
826 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
827 S6 ;
831 for (idx4=42;idx4<=44;idx4++) {
832 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
833 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
834 S2 ;
836 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
837 S1 ;
840 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4-21,14);idx5++) {
841 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
842 S7 ;
844 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
845 S6 ;
847 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
848 S1 ;
851 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
852 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
853 S6 ;
856 for (idx5=ceild(10*idx4-822,77);idx5<=floord(10*idx4-697,77);idx5++) {
857 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
858 S6 ;
860 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
861 S2 ;
863 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
864 S1 ;
867 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
868 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
869 S6 ;
871 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
872 S1 ;
875 for (idx5=6;idx5<=18;idx5++) {
876 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
877 S5 ;
879 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
880 S6 ;
882 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
883 S1 ;
886 for (idx5=-3;idx5<=floord(idx4-84,14);idx5++) {
887 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
888 S7 ;
890 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
891 S1 ;
893 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
894 S6 ;
896 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
897 S2 ;
900 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
901 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
902 S7 ;
904 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
905 S6 ;
907 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
908 S1 ;
911 for (idx5=0;idx5<=floord(idx4-42,77);idx5++) {
912 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
913 S7 ;
914 S9 ;
916 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
917 S9 ;
919 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
920 S9 ;
922 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
923 S9 ;
925 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
926 S6 ;
927 S9 ;
929 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
930 S1 ;
934 for (idx4=45;idx4<=46;idx4++) {
935 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
936 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
937 S2 ;
939 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
940 S1 ;
943 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4-21,14);idx5++) {
944 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
945 S7 ;
947 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
948 S6 ;
950 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
951 S1 ;
954 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
955 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
956 S6 ;
959 for (idx5=ceild(10*idx4-822,77);idx5<=floord(10*idx4-697,77);idx5++) {
960 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
961 S6 ;
963 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
964 S2 ;
966 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
967 S1 ;
970 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
971 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
972 S6 ;
974 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
975 S1 ;
978 for (idx5=6;idx5<=18;idx5++) {
979 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
980 S5 ;
982 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
983 S6 ;
985 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
986 S1 ;
989 for (idx5=-3;idx5<=floord(idx4-84,14);idx5++) {
990 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
991 S7 ;
993 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
994 S1 ;
996 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
997 S6 ;
999 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1000 S2 ;
1003 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
1004 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1005 S7 ;
1007 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1008 S6 ;
1010 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1011 S1 ;
1014 for (idx5=0;idx5<=floord(idx4-42,77);idx5++) {
1015 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1016 S7 ;
1017 S9 ;
1019 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1020 S9 ;
1022 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1023 S9 ;
1025 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1026 S9 ;
1028 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1029 S6 ;
1030 S9 ;
1032 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1033 S1 ;
1036 for (idx5=1;idx5<=floord(idx4-42,14);idx5++) {
1037 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1038 S9 ;
1040 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1041 S7 ;
1042 S9 ;
1044 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1045 S9 ;
1047 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1048 S9 ;
1050 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1051 S9 ;
1053 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1054 S6 ;
1055 S9 ;
1057 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1058 S1 ;
1062 for (idx4=47;idx4<=46;idx4++) {
1063 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
1064 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1065 S2 ;
1067 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1068 S1 ;
1071 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4-21,14);idx5++) {
1072 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
1073 S7 ;
1075 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1076 S6 ;
1078 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1079 S1 ;
1082 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
1083 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
1084 S6 ;
1087 for (idx5=ceild(10*idx4-822,77);idx5<=floord(10*idx4-697,77);idx5++) {
1088 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1089 S6 ;
1091 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1092 S2 ;
1094 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1095 S1 ;
1098 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
1099 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1100 S6 ;
1102 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1103 S1 ;
1106 for (idx5=6;idx5<=18;idx5++) {
1107 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
1108 S5 ;
1110 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1111 S6 ;
1113 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1114 S1 ;
1117 for (idx5=-3;idx5<=floord(idx4-84,14);idx5++) {
1118 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1119 S7 ;
1121 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1122 S1 ;
1124 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1125 S6 ;
1127 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1128 S2 ;
1131 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
1132 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1133 S7 ;
1135 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1136 S6 ;
1138 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1139 S1 ;
1142 for (idx5=0;idx5<=floord(30*idx4-1382,231);idx5++) {
1143 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1144 S7 ;
1145 S9 ;
1147 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1148 S9 ;
1150 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1151 S9 ;
1153 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1154 S6 ;
1155 S9 ;
1157 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1158 S1 ;
1161 for (idx5=ceild(30*idx4-1381,231);idx5<=floord(idx4-42,77);idx5++) {
1162 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1163 S7 ;
1164 S9 ;
1166 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1167 S9 ;
1169 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1170 S9 ;
1172 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1173 S9 ;
1175 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1176 S6 ;
1177 S9 ;
1179 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1180 S1 ;
1183 for (idx5=1;idx5<=floord(idx4-42,14);idx5++) {
1184 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1185 S9 ;
1187 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1188 S7 ;
1189 S9 ;
1191 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1192 S9 ;
1194 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1195 S9 ;
1197 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1198 S9 ;
1200 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1201 S6 ;
1202 S9 ;
1204 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1205 S1 ;
1209 for (idx5=ceild(47-120,14);idx5<=floord(10*47-823,77);idx5++) {
1210 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1211 S2(idx4 = 47) ;
1213 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1214 S1(idx4 = 47) ;
1217 for (idx5=ceild(47-41,14);idx5<=floord(47-21,14);idx5++) {
1218 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*47-7*idx5+84,21));idx6++) {
1219 S7(idx4 = 47) ;
1221 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(47)+77*idx5+924,77));idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1222 S6(idx4 = 47) ;
1224 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1225 S1(idx4 = 47) ;
1228 for (idx5=19;idx5<=floord(6*47+1386,77);idx5++) {
1229 for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=min(floord(-6*(47)+77*idx5+1140,77),30);idx6++) {
1230 S6(idx4 = 47) ;
1233 for (idx5=ceild(10*47-822,77);idx5<=floord(10*47-697,77);idx5++) {
1234 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1235 S6(idx4 = 47) ;
1237 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1238 S2(idx4 = 47) ;
1240 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1241 S1(idx4 = 47) ;
1244 for (idx5=ceild(47-20,14);idx5<=5;idx5++) {
1245 for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1246 S6(idx4 = 47) ;
1248 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1249 S1(idx4 = 47) ;
1252 for (idx5=6;idx5<=18;idx5++) {
1253 for (idx6=6;idx6<=min(floord(47+42,14),idx5);idx6++) {
1254 S5(idx4 = 47) ;
1256 for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1257 S6(idx4 = 47) ;
1259 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1260 S1(idx4 = 47) ;
1263 for (idx5=ceild(10*47-696,77);idx5<=floord(47-84,14);idx5++) {
1264 for (idx6=max(ceild(2*47-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1265 S7(idx4 = 47) ;
1267 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1268 S1(idx4 = 47) ;
1270 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1271 S6(idx4 = 47) ;
1273 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1274 S2(idx4 = 47) ;
1277 for (idx5=ceild(47-83,14);idx5<=-1;idx5++) {
1278 for (idx6=max(ceild(2*47-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1279 S7(idx4 = 47) ;
1281 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1282 S6(idx4 = 47) ;
1284 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1285 S1(idx4 = 47) ;
1288 for (idx5=0;idx5<=floord(47-42,77);idx5++) {
1289 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1290 S7(idx4 = 47) ;
1291 S9(idx4 = 47) ;
1293 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1294 S9(idx4 = 47) ;
1296 for (idx6=ceild(-6*(47)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1297 S9(idx4 = 47) ;
1299 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(47)+77*idx5+924,77));idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1300 S6(idx4 = 47) ;
1301 S9(idx4 = 47) ;
1303 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1304 S1(idx4 = 47) ;
1307 for (idx5=1;idx5<=floord(47-42,14);idx5++) {
1308 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1309 S9(idx4 = 47) ;
1311 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1312 S7(idx4 = 47) ;
1313 S9(idx4 = 47) ;
1315 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1316 S9(idx4 = 47) ;
1318 for (idx6=ceild(-6*(47)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1319 S9(idx4 = 47) ;
1321 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+923,77);idx6++) {
1322 S9(idx4 = 47) ;
1324 for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1325 S6(idx4 = 47) ;
1326 S9(idx4 = 47) ;
1328 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1329 S1(idx4 = 47) ;
1332 for (idx5=ceild(48-120,14);idx5<=floord(10*48-823,77);idx5++) {
1333 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1334 S2(idx4 = 48) ;
1336 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1337 S1(idx4 = 48) ;
1340 for (idx5=ceild(48-41,14);idx5<=floord(48-21,14);idx5++) {
1341 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*48-7*idx5+84,21));idx6++) {
1342 S7(idx4 = 48) ;
1344 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(48)+77*idx5+924,77));idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1345 S6(idx4 = 48) ;
1347 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1348 S1(idx4 = 48) ;
1351 for (idx5=19;idx5<=floord(6*48+1386,77);idx5++) {
1352 for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=min(floord(-6*(48)+77*idx5+1140,77),30);idx6++) {
1353 S6(idx4 = 48) ;
1356 for (idx5=ceild(10*48-822,77);idx5<=floord(10*48-697,77);idx5++) {
1357 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1358 S6(idx4 = 48) ;
1360 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1361 S2(idx4 = 48) ;
1363 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1364 S1(idx4 = 48) ;
1367 for (idx5=ceild(48-20,14);idx5<=5;idx5++) {
1368 for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1369 S6(idx4 = 48) ;
1371 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1372 S1(idx4 = 48) ;
1375 for (idx5=6;idx5<=18;idx5++) {
1376 for (idx6=6;idx6<=min(floord(48+42,14),idx5);idx6++) {
1377 S5(idx4 = 48) ;
1379 for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1380 S6(idx4 = 48) ;
1382 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1383 S1(idx4 = 48) ;
1386 for (idx5=ceild(10*48-696,77);idx5<=floord(48-84,14);idx5++) {
1387 for (idx6=max(ceild(2*48-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1388 S7(idx4 = 48) ;
1390 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1391 S1(idx4 = 48) ;
1393 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1394 S6(idx4 = 48) ;
1396 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1397 S2(idx4 = 48) ;
1400 for (idx5=ceild(48-83,14);idx5<=-1;idx5++) {
1401 for (idx6=max(ceild(2*48-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1402 S7(idx4 = 48) ;
1404 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1405 S6(idx4 = 48) ;
1407 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1408 S1(idx4 = 48) ;
1411 for (idx5=0;idx5<=floord(48-42,77);idx5++) {
1412 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1413 S7(idx4 = 48) ;
1414 S9(idx4 = 48) ;
1416 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1417 S9(idx4 = 48) ;
1419 for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1420 S9(idx4 = 48) ;
1422 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(48)+77*idx5+924,77));idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1423 S6(idx4 = 48) ;
1424 S9(idx4 = 48) ;
1426 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1427 S1(idx4 = 48) ;
1430 for (idx5=1;idx5<=floord(30*48-1382,231);idx5++) {
1431 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1432 S9(idx4 = 48) ;
1434 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1435 S7(idx4 = 48) ;
1436 S9(idx4 = 48) ;
1438 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1439 S9(idx4 = 48) ;
1441 for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1442 S9(idx4 = 48) ;
1444 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(48)+77*idx5+924,77));idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1445 S6(idx4 = 48) ;
1446 S9(idx4 = 48) ;
1448 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1449 S1(idx4 = 48) ;
1452 for (idx5=ceild(30*48-1381,231);idx5<=min(floord(-2*(48)+114,35),floord(48-42,14));idx5++) {
1453 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1454 S9(idx4 = 48) ;
1456 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1457 S7(idx4 = 48) ;
1458 S9(idx4 = 48) ;
1460 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1461 S9(idx4 = 48) ;
1463 for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1464 S9(idx4 = 48) ;
1466 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+923,77);idx6++) {
1467 S9(idx4 = 48) ;
1469 for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1470 S6(idx4 = 48) ;
1471 S9(idx4 = 48) ;
1473 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1474 S1(idx4 = 48) ;
1477 for (idx5=ceild(49-120,14);idx5<=floord(10*49-823,77);idx5++) {
1478 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1479 S2(idx4 = 49) ;
1481 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1482 S1(idx4 = 49) ;
1485 for (idx5=ceild(49-41,14);idx5<=min(floord(49-21,14),2);idx5++) {
1486 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*49-7*idx5+84,21));idx6++) {
1487 S7(idx4 = 49) ;
1489 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(49)+77*idx5+924,77));idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1490 S6(idx4 = 49) ;
1492 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1493 S1(idx4 = 49) ;
1496 for (idx5=19;idx5<=floord(6*49+1386,77);idx5++) {
1497 for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=min(floord(-6*(49)+77*idx5+1140,77),30);idx6++) {
1498 S6(idx4 = 49) ;
1501 for (idx5=ceild(10*49-822,77);idx5<=floord(10*49-697,77);idx5++) {
1502 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1503 S6(idx4 = 49) ;
1505 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1506 S2(idx4 = 49) ;
1508 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1509 S1(idx4 = 49) ;
1512 for (idx5=ceild(49-20,14);idx5<=5;idx5++) {
1513 for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1514 S6(idx4 = 49) ;
1516 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1517 S1(idx4 = 49) ;
1520 for (idx5=6;idx5<=18;idx5++) {
1521 for (idx6=6;idx6<=min(floord(49+42,14),idx5);idx6++) {
1522 S5(idx4 = 49) ;
1524 for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1525 S6(idx4 = 49) ;
1527 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1528 S1(idx4 = 49) ;
1531 for (idx5=ceild(10*49-696,77);idx5<=floord(49-84,14);idx5++) {
1532 for (idx6=max(ceild(2*49-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1533 S7(idx4 = 49) ;
1535 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1536 S1(idx4 = 49) ;
1538 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1539 S6(idx4 = 49) ;
1541 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1542 S2(idx4 = 49) ;
1545 for (idx5=ceild(49-83,14);idx5<=-1;idx5++) {
1546 for (idx6=max(ceild(2*49-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1547 S7(idx4 = 49) ;
1549 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1550 S6(idx4 = 49) ;
1552 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1553 S1(idx4 = 49) ;
1556 for (idx5=0;idx5<=floord(49-42,77);idx5++) {
1557 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1558 S7(idx4 = 49) ;
1559 S9(idx4 = 49) ;
1561 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1562 S9(idx4 = 49) ;
1564 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1565 S9(idx4 = 49) ;
1567 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(49)+77*idx5+924,77));idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1568 S6(idx4 = 49) ;
1569 S9(idx4 = 49) ;
1571 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1572 S1(idx4 = 49) ;
1575 for (idx5=1;idx5<=floord(30*49-1382,231);idx5++) {
1576 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1577 S9(idx4 = 49) ;
1579 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1580 S7(idx4 = 49) ;
1581 S9(idx4 = 49) ;
1583 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1584 S9(idx4 = 49) ;
1586 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1587 S9(idx4 = 49) ;
1589 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(49)+77*idx5+924,77));idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1590 S6(idx4 = 49) ;
1591 S9(idx4 = 49) ;
1593 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1594 S1(idx4 = 49) ;
1597 for (idx5=ceild(30*49-1381,231);idx5<=floord(-2*(49)+114,35);idx5++) {
1598 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1599 S9(idx4 = 49) ;
1601 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1602 S7(idx4 = 49) ;
1603 S9(idx4 = 49) ;
1605 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1606 S9(idx4 = 49) ;
1608 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1609 S9(idx4 = 49) ;
1611 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+923,77);idx6++) {
1612 S9(idx4 = 49) ;
1614 for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1615 S6(idx4 = 49) ;
1616 S9(idx4 = 49) ;
1618 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1619 S1(idx4 = 49) ;
1622 for (idx5=ceild(-2*(49)+115,35);idx5<=floord(49-42,14);idx5++) {
1623 for (idx6=-2*idx5+6;idx6<=floord(2*49-7*idx5+11,21);idx6++) {
1624 S9(idx4 = 49) ;
1626 for (idx6=ceild(2*49-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1627 S9(idx4 = 49) ;
1629 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1630 S7(idx4 = 49) ;
1631 S9(idx4 = 49) ;
1633 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1634 S9(idx4 = 49) ;
1636 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1637 S9(idx4 = 49) ;
1639 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+923,77);idx6++) {
1640 S9(idx4 = 49) ;
1642 for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1643 S6(idx4 = 49) ;
1644 S9(idx4 = 49) ;
1646 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1647 S1(idx4 = 49) ;
1650 for (idx4=50;idx4<=49;idx4++) {
1651 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
1652 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1653 S2 ;
1655 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1656 S1 ;
1659 for (idx5=ceild(idx4-41,14);idx5<=2;idx5++) {
1660 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
1661 S7 ;
1663 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1664 S6 ;
1666 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1667 S1 ;
1670 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
1671 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
1672 S6 ;
1675 for (idx5=ceild(10*idx4-822,77);idx5<=floord(10*idx4-697,77);idx5++) {
1676 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1677 S6 ;
1679 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1680 S2 ;
1682 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1683 S1 ;
1686 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
1687 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1688 S6 ;
1690 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1691 S1 ;
1694 for (idx5=6;idx5<=18;idx5++) {
1695 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
1696 S5 ;
1698 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1699 S6 ;
1701 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1702 S1 ;
1705 for (idx5=ceild(10*idx4-696,77);idx5<=floord(idx4-84,14);idx5++) {
1706 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1707 S7 ;
1709 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1710 S1 ;
1712 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1713 S6 ;
1715 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1716 S2 ;
1719 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
1720 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1721 S7 ;
1723 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1724 S6 ;
1726 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1727 S1 ;
1730 for (idx5=0;idx5<=floord(idx4-42,77);idx5++) {
1731 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1732 S7 ;
1733 S9 ;
1735 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1736 S9 ;
1738 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1739 S9 ;
1741 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1742 S6 ;
1743 S9 ;
1745 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1746 S1 ;
1749 for (idx5=1;idx5<=min(floord(-2*idx4+114,35),floord(30*idx4-1382,231));idx5++) {
1750 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1751 S9 ;
1753 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1754 S7 ;
1755 S9 ;
1757 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1758 S9 ;
1760 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1761 S9 ;
1763 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1764 S6 ;
1765 S9 ;
1767 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1768 S1 ;
1771 for (idx5=max(ceild(-2*idx4+115,35),ceild(30*idx4-1381,231));idx5<=floord(idx4-42,14);idx5++) {
1772 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
1773 S9 ;
1775 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1776 S9 ;
1778 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1779 S7 ;
1780 S9 ;
1782 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1783 S9 ;
1785 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1786 S9 ;
1788 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1789 S9 ;
1791 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1792 S6 ;
1793 S9 ;
1795 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1796 S1 ;
1800 for (idx5=ceild(50-120,14);idx5<=floord(10*50-823,77);idx5++) {
1801 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1802 S2(idx4 = 50) ;
1804 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1805 S1(idx4 = 50) ;
1808 for (idx5=ceild(50-41,14);idx5<=2;idx5++) {
1809 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*50-7*idx5+84,21));idx6++) {
1810 S7(idx4 = 50) ;
1812 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(50)+77*idx5+924,77));idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1813 S6(idx4 = 50) ;
1815 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1816 S1(idx4 = 50) ;
1819 for (idx5=19;idx5<=floord(6*50+1386,77);idx5++) {
1820 for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=min(floord(-6*(50)+77*idx5+1140,77),30);idx6++) {
1821 S6(idx4 = 50) ;
1824 for (idx5=ceild(10*50-822,77);idx5<=floord(10*50-697,77);idx5++) {
1825 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1826 S6(idx4 = 50) ;
1828 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1829 S2(idx4 = 50) ;
1831 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1832 S1(idx4 = 50) ;
1835 for (idx5=ceild(50-20,14);idx5<=5;idx5++) {
1836 for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1837 S6(idx4 = 50) ;
1839 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1840 S1(idx4 = 50) ;
1843 for (idx5=6;idx5<=18;idx5++) {
1844 for (idx6=6;idx6<=min(floord(50+42,14),idx5);idx6++) {
1845 S5(idx4 = 50) ;
1847 for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1848 S6(idx4 = 50) ;
1850 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1851 S1(idx4 = 50) ;
1854 for (idx5=ceild(10*50-696,77);idx5<=floord(50-84,14);idx5++) {
1855 for (idx6=max(ceild(2*50-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1856 S7(idx4 = 50) ;
1858 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1859 S1(idx4 = 50) ;
1861 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1862 S6(idx4 = 50) ;
1864 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1865 S2(idx4 = 50) ;
1868 for (idx5=ceild(50-83,14);idx5<=-1;idx5++) {
1869 for (idx6=max(ceild(2*50-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
1870 S7(idx4 = 50) ;
1872 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1873 S6(idx4 = 50) ;
1875 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1876 S1(idx4 = 50) ;
1879 for (idx5=0;idx5<=floord(50-42,77);idx5++) {
1880 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1881 S7(idx4 = 50) ;
1882 S9(idx4 = 50) ;
1884 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1885 S9(idx4 = 50) ;
1887 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1888 S9(idx4 = 50) ;
1890 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(50)+77*idx5+924,77));idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1891 S6(idx4 = 50) ;
1892 S9(idx4 = 50) ;
1894 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1895 S1(idx4 = 50) ;
1898 for (idx5=1;idx5<=floord(-2*(50)+114,35);idx5++) {
1899 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1900 S9(idx4 = 50) ;
1902 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1903 S7(idx4 = 50) ;
1904 S9(idx4 = 50) ;
1906 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1907 S9(idx4 = 50) ;
1909 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1910 S9(idx4 = 50) ;
1912 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(50)+77*idx5+924,77));idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1913 S6(idx4 = 50) ;
1914 S9(idx4 = 50) ;
1916 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1917 S1(idx4 = 50) ;
1920 for (idx5=ceild(-2*(50)+115,35);idx5<=floord(30*50-1382,231);idx5++) {
1921 for (idx6=-2*idx5+6;idx6<=floord(2*50-7*idx5+11,21);idx6++) {
1922 S9(idx4 = 50) ;
1924 for (idx6=ceild(2*50-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1925 S9(idx4 = 50) ;
1927 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1928 S7(idx4 = 50) ;
1929 S9(idx4 = 50) ;
1931 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1932 S9(idx4 = 50) ;
1934 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1935 S9(idx4 = 50) ;
1937 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(50)+77*idx5+924,77));idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1938 S6(idx4 = 50) ;
1939 S9(idx4 = 50) ;
1941 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1942 S1(idx4 = 50) ;
1945 for (idx5=ceild(30*50-1381,231);idx5<=floord(50-42,14);idx5++) {
1946 for (idx6=-2*idx5+6;idx6<=floord(2*50-7*idx5+11,21);idx6++) {
1947 S9(idx4 = 50) ;
1949 for (idx6=ceild(2*50-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1950 S9(idx4 = 50) ;
1952 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1953 S7(idx4 = 50) ;
1954 S9(idx4 = 50) ;
1956 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1957 S9(idx4 = 50) ;
1959 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1960 S9(idx4 = 50) ;
1962 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+923,77);idx6++) {
1963 S9(idx4 = 50) ;
1965 for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1966 S6(idx4 = 50) ;
1967 S9(idx4 = 50) ;
1969 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1970 S1(idx4 = 50) ;
1973 for (idx4=51;idx4<=52;idx4++) {
1974 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
1975 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1976 S2 ;
1978 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1979 S1 ;
1982 for (idx5=ceild(idx4-41,14);idx5<=2;idx5++) {
1983 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
1984 S7 ;
1986 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1987 S6 ;
1989 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1990 S1 ;
1993 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
1994 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
1995 S6 ;
1998 for (idx5=ceild(10*idx4-822,77);idx5<=floord(10*idx4-697,77);idx5++) {
1999 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2000 S6 ;
2002 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2003 S2 ;
2005 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2006 S1 ;
2009 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
2010 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2011 S6 ;
2013 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2014 S1 ;
2017 for (idx5=6;idx5<=18;idx5++) {
2018 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2019 S5 ;
2021 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2022 S6 ;
2024 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2025 S1 ;
2028 for (idx5=ceild(10*idx4-696,77);idx5<=floord(idx4-84,14);idx5++) {
2029 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2030 S7 ;
2032 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2033 S1 ;
2035 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2036 S6 ;
2038 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2039 S2 ;
2042 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
2043 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2044 S7 ;
2046 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2047 S6 ;
2049 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2050 S1 ;
2053 for (idx5=0;idx5<=floord(idx4-42,77);idx5++) {
2054 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2055 S7 ;
2056 S9 ;
2058 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2059 S9 ;
2061 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2062 S9 ;
2064 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2065 S6 ;
2066 S9 ;
2068 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2069 S1 ;
2072 for (idx5=1;idx5<=floord(-2*idx4+114,35);idx5++) {
2073 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
2074 S9 ;
2076 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2077 S7 ;
2078 S9 ;
2080 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2081 S9 ;
2083 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2084 S9 ;
2086 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2087 S6 ;
2088 S9 ;
2090 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2091 S1 ;
2094 for (idx5=ceild(-2*idx4+115,35);idx5<=min(floord(30*idx4-1382,231),floord(idx4-42,14));idx5++) {
2095 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
2096 S9 ;
2098 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2099 S9 ;
2101 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2102 S7 ;
2103 S9 ;
2105 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2106 S9 ;
2108 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2109 S9 ;
2111 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2112 S6 ;
2113 S9 ;
2115 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2116 S1 ;
2120 for (idx5=ceild(53-120,14);idx5<=floord(10*53-823,77);idx5++) {
2121 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2122 S2(idx4 = 53) ;
2124 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2125 S1(idx4 = 53) ;
2128 for (idx5=ceild(53-41,14);idx5<=2;idx5++) {
2129 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*53-7*idx5+84,21));idx6++) {
2130 S7(idx4 = 53) ;
2132 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(53)+77*idx5+924,77));idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2133 S6(idx4 = 53) ;
2135 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2136 S1(idx4 = 53) ;
2139 for (idx5=19;idx5<=floord(6*53+1386,77);idx5++) {
2140 for (idx6=ceild(-6*(53)+77*idx5+924,77);idx6<=min(floord(-6*(53)+77*idx5+1140,77),30);idx6++) {
2141 S6(idx4 = 53) ;
2144 for (idx5=ceild(10*53-822,77);idx5<=floord(53-84,14);idx5++) {
2145 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2146 S6(idx4 = 53) ;
2148 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2149 S2(idx4 = 53) ;
2151 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2152 S1(idx4 = 53) ;
2155 for (idx5=ceild(53-20,14);idx5<=5;idx5++) {
2156 for (idx6=ceild(-6*(53)+77*idx5+924,77);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2157 S6(idx4 = 53) ;
2159 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2160 S1(idx4 = 53) ;
2163 for (idx5=6;idx5<=18;idx5++) {
2164 for (idx6=6;idx6<=min(floord(53+42,14),idx5);idx6++) {
2165 S5(idx4 = 53) ;
2167 for (idx6=ceild(-6*(53)+77*idx5+924,77);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2168 S6(idx4 = 53) ;
2170 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2171 S1(idx4 = 53) ;
2174 for (idx5=max(ceild(53-83,14),ceild(10*53-696,77));idx5<=-1;idx5++) {
2175 for (idx6=max(ceild(2*53-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2176 S7(idx4 = 53) ;
2178 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2179 S6(idx4 = 53) ;
2181 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2182 S1(idx4 = 53) ;
2185 for (idx5=0;idx5<=floord(53-42,77);idx5++) {
2186 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2187 S7(idx4 = 53) ;
2188 S9(idx4 = 53) ;
2190 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2191 S9(idx4 = 53) ;
2193 for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2194 S9(idx4 = 53) ;
2196 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(53)+77*idx5+924,77));idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2197 S6(idx4 = 53) ;
2198 S9(idx4 = 53) ;
2200 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2201 S1(idx4 = 53) ;
2204 for (idx5=1;idx5<=floord(-2*(53)+114,35);idx5++) {
2205 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
2206 S9(idx4 = 53) ;
2208 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2209 S7(idx4 = 53) ;
2210 S9(idx4 = 53) ;
2212 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2213 S9(idx4 = 53) ;
2215 for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2216 S9(idx4 = 53) ;
2218 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(53)+77*idx5+924,77));idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2219 S6(idx4 = 53) ;
2220 S9(idx4 = 53) ;
2222 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2223 S1(idx4 = 53) ;
2226 for (idx5=ceild(-2*(53)+115,35);idx5<=floord(53-42,14);idx5++) {
2227 for (idx6=-2*idx5+6;idx6<=floord(2*53-7*idx5+11,21);idx6++) {
2228 S9(idx4 = 53) ;
2230 for (idx6=ceild(2*53-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2231 S9(idx4 = 53) ;
2233 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2234 S7(idx4 = 53) ;
2235 S9(idx4 = 53) ;
2237 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2238 S9(idx4 = 53) ;
2240 for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2241 S9(idx4 = 53) ;
2243 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(53)+77*idx5+924,77));idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2244 S6(idx4 = 53) ;
2245 S9(idx4 = 53) ;
2247 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2248 S1(idx4 = 53) ;
2251 for (idx5=ceild(54-120,14);idx5<=floord(10*54-823,77);idx5++) {
2252 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2253 S2(idx4 = 54) ;
2255 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2256 S1(idx4 = 54) ;
2259 for (idx5=ceild(54-41,14);idx5<=2;idx5++) {
2260 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*54-7*idx5+84,21));idx6++) {
2261 S7(idx4 = 54) ;
2263 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(54)+77*idx5+924,77));idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2264 S6(idx4 = 54) ;
2266 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2267 S1(idx4 = 54) ;
2270 for (idx5=19;idx5<=floord(6*54+1386,77);idx5++) {
2271 for (idx6=ceild(-6*(54)+77*idx5+924,77);idx6<=min(floord(-6*(54)+77*idx5+1140,77),30);idx6++) {
2272 S6(idx4 = 54) ;
2275 for (idx5=ceild(10*54-822,77);idx5<=floord(54-84,14);idx5++) {
2276 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2277 S6(idx4 = 54) ;
2279 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2280 S2(idx4 = 54) ;
2282 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2283 S1(idx4 = 54) ;
2286 for (idx5=ceild(54-20,14);idx5<=5;idx5++) {
2287 for (idx6=ceild(-6*(54)+77*idx5+924,77);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2288 S6(idx4 = 54) ;
2290 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2291 S1(idx4 = 54) ;
2294 for (idx5=6;idx5<=18;idx5++) {
2295 for (idx6=6;idx6<=min(floord(54+42,14),idx5);idx6++) {
2296 S5(idx4 = 54) ;
2298 for (idx6=ceild(-6*(54)+77*idx5+924,77);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2299 S6(idx4 = 54) ;
2301 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2302 S1(idx4 = 54) ;
2305 for (idx5=ceild(54-83,14);idx5<=floord(10*54-697,77);idx5++) {
2306 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2307 S6(idx4 = 54) ;
2309 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2310 S1(idx4 = 54) ;
2313 for (idx5=ceild(10*54-696,77);idx5<=-1;idx5++) {
2314 for (idx6=max(ceild(2*54-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2315 S7(idx4 = 54) ;
2317 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2318 S6(idx4 = 54) ;
2320 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2321 S1(idx4 = 54) ;
2324 for (idx5=0;idx5<=floord(54-42,77);idx5++) {
2325 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2326 S7(idx4 = 54) ;
2327 S9(idx4 = 54) ;
2329 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2330 S9(idx4 = 54) ;
2332 for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2333 S9(idx4 = 54) ;
2335 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(54)+77*idx5+924,77));idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2336 S6(idx4 = 54) ;
2337 S9(idx4 = 54) ;
2339 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2340 S1(idx4 = 54) ;
2343 for (idx5=1;idx5<=floord(-2*(54)+114,35);idx5++) {
2344 for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
2345 S9(idx4 = 54) ;
2347 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2348 S7(idx4 = 54) ;
2349 S9(idx4 = 54) ;
2351 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2352 S9(idx4 = 54) ;
2354 for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2355 S9(idx4 = 54) ;
2357 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(54)+77*idx5+924,77));idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2358 S6(idx4 = 54) ;
2359 S9(idx4 = 54) ;
2361 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2362 S1(idx4 = 54) ;
2365 for (idx5=ceild(-2*(54)+115,35);idx5<=floord(54-42,14);idx5++) {
2366 for (idx6=-2*idx5+6;idx6<=floord(2*54-7*idx5+11,21);idx6++) {
2367 S9(idx4 = 54) ;
2369 for (idx6=ceild(2*54-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2370 S9(idx4 = 54) ;
2372 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2373 S7(idx4 = 54) ;
2374 S9(idx4 = 54) ;
2376 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2377 S9(idx4 = 54) ;
2379 for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2380 S9(idx4 = 54) ;
2382 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(54)+77*idx5+924,77));idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2383 S6(idx4 = 54) ;
2384 S9(idx4 = 54) ;
2386 for (idx6=ceild(-3*(54)+