?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
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 ;
7 }
8 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
9 S1 ;
10 }
11 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
12 S2 ;
13 }
14 }
15 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
16 S3(idx5 = 1) ;
17 }
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) ;
21 }
22 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
23 S3(idx5 = 1) ;
24 }
25 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
26 S1(idx5 = 1) ;
27 }
28 for (idx5=2;idx5<=18;idx5++) {
29 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
30 S3 ;
31 }
32 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
33 S6 ;
34 }
35 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
36 S1 ;
37 }
38 }
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 ;
42 }
43 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
44 S1 ;
45 }
46 }
47 S3(idx5 = 0,idx6 = 0) ;
48 S10(idx5 = 0,idx6 = 0) ;
49 for (idx6=13;idx6<=24;idx6++) {
50 S3(idx5 = 0) ;
51 }
52 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
53 S3(idx5 = 0) ;
54 }
55 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
56 S3(idx5 = 0) ;
57 S6(idx5 = 0) ;
58 }
59 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
60 S1(idx5 = 0) ;
61 }
62 for (idx5=19;idx5<=24;idx5++) {
63 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
64 S3 ;
65 }
66 }
67 }
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 ;
72 }
73 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
74 S2 ;
75 }
76 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
77 S1 ;
78 }
79 }
80 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
81 S3(idx5 = 1) ;
82 }
83 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
84 S1(idx5 = 1) ;
85 }
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) ;
89 }
90 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
91 S3(idx5 = 1) ;
92 }
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 ;
96 }
97 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
98 S1 ;
99 }
100 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
101 S6 ;
102 }
103 }
104 for (idx5=19;idx5<=24;idx5++) {
105 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
106 S3 ;
107 }
108 }
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 ;
112 }
113 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
114 S1 ;
115 }
116 }
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 ;
120 }
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 ;
123 }
124 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
125 S1 ;
126 }
127 }
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 ;
131 }
132 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
133 S1 ;
134 }
135 }
136 S3(idx5 = 0,idx6 = 0) ;
137 S10(idx5 = 0,idx6 = 0) ;
138 for (idx6=13;idx6<=24;idx6++) {
139 S3(idx5 = 0) ;
140 }
141 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
142 S3(idx5 = 0) ;
143 }
144 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
145 S3(idx5 = 0) ;
146 S6(idx5 = 0) ;
147 }
148 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
149 S1(idx5 = 0) ;
150 }
151 }
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 ;
156 }
157 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
158 S2 ;
159 }
160 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
161 S1 ;
162 }
163 }
164 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
165 S3(idx5 = 1) ;
166 }
167 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
168 S1(idx5 = 1) ;
169 }
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) ;
173 }
174 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
175 S3(idx5 = 1) ;
176 }
177 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
178 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
179 S3 ;
180 }
181 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
182 S1 ;
183 }
184 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
185 S6 ;
186 }
187 }
188 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
189 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
190 S3 ;
191 }
192 }
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 ;
196 }
197 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
198 S1 ;
199 }
200 }
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 ;
204 }
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 ;
207 }
208 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
209 S1 ;
210 }
211 }
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 ;
215 }
216 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
217 S1 ;
218 }
219 }
220 S3(idx5 = 0,idx6 = 0) ;
221 S10(idx5 = 0,idx6 = 0) ;
222 for (idx6=13;idx6<=24;idx6++) {
223 S3(idx5 = 0) ;
224 }
225 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
226 S3(idx5 = 0) ;
227 }
228 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
229 S3(idx5 = 0) ;
230 S6(idx5 = 0) ;
231 }
232 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
233 S1(idx5 = 0) ;
234 }
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 ;
238 }
239 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
240 S1 ;
241 }
242 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
243 S3 ;
244 S6 ;
245 }
246 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
247 S6 ;
248 }
249 }
250 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
251 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
252 S3 ;
253 }
254 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
255 S6 ;
256 }
257 }
258 }
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 ;
263 }
264 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
265 S2 ;
266 }
267 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
268 S1 ;
269 }
270 }
271 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
272 S3(idx5 = 1) ;
273 }
274 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
275 S1(idx5 = 1) ;
276 }
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) ;
280 }
281 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
282 S3(idx5 = 1) ;
283 }
284 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
285 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
286 S3 ;
287 }
288 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
289 S1 ;
290 }
291 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
292 S6 ;
293 }
294 }
295 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
296 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
297 S3 ;
298 }
299 }
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 ;
303 }
304 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
305 S1 ;
306 }
307 }
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 ;
311 }
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 ;
314 }
315 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
316 S1 ;
317 }
318 }
319 S3(idx5 = 0,idx6 = 0) ;
320 S10(idx5 = 0,idx6 = 0) ;
321 for (idx6=13;idx6<=24;idx6++) {
322 S3(idx5 = 0) ;
323 }
324 for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
325 S3(idx5 = 0) ;
326 }
327 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
328 S3(idx5 = 0) ;
329 S6(idx5 = 0) ;
330 }
331 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
332 S1(idx5 = 0) ;
333 }
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 ;
337 }
338 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
339 S1 ;
340 }
341 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
342 S3 ;
343 S6 ;
344 }
345 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
346 S6 ;
347 }
348 }
349 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
350 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
351 S3 ;
352 }
353 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
354 S6 ;
355 }
356 }
357 }
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 ;
362 }
363 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
364 S2 ;
365 }
366 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
367 S1 ;
368 }
369 }
370 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
371 S3(idx5 = 1) ;
372 }
373 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
374 S1(idx5 = 1) ;
375 }
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) ;
379 }
380 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
381 S3(idx5 = 1) ;
382 }
383 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
384 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
385 S3 ;
386 }
387 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
388 S1 ;
389 }
390 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
391 S6 ;
392 }
393 }
394 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
395 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
396 S3 ;
397 }
398 }
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 ;
402 }
403 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
404 S1 ;
405 }
406 }
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 ;
410 }
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 ;
413 }
414 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
415 S1 ;
416 }
417 }
418 S3(idx5 = 0,idx6 = 0) ;
419 S10(idx5 = 0,idx6 = 0) ;
420 for (idx6=1;idx6<=5;idx6++) {
421 S3(idx5 = 0) ;
422 }
423 for (idx6=6;idx6<=floord(2*idx4+84,21);idx6++) {
424 S3(idx5 = 0) ;
425 S7(idx5 = 0) ;
426 }
427 for (idx6=13;idx6<=24;idx6++) {
428 S3(idx5 = 0) ;
429 }
430 for (idx6=ceild(2*idx4+85,21);idx6<=7;idx6++) {
431 S3(idx5 = 0) ;
432 }
433 for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
434 S3(idx5 = 0) ;
435 }
436 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
437 S3(idx5 = 0) ;
438 S6(idx5 = 0) ;
439 }
440 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
441 S1(idx5 = 0) ;
442 }
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 ;
446 }
447 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
448 S1 ;
449 }
450 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
451 S3 ;
452 S6 ;
453 }
454 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
455 S6 ;
456 }
457 }
458 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
459 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
460 S3 ;
461 }
462 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
463 S6 ;
464 }
465 }
466 }
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 ;
471 }
472 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
473 S2 ;
474 }
475 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
476 S1 ;
477 }
478 }
479 for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
480 S3(idx5 = 1) ;
481 }
482 for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
483 S1(idx5 = 1) ;
484 }
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) ;
488 }
489 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
490 S3(idx5 = 1) ;
491 }
492 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
493 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
494 S3 ;
495 }
496 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
497 S1 ;
498 }
499 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
500 S6 ;
501 }
502 }
503 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
504 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
505 S3 ;
506 }
507 }
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 ;
511 }
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 ;
514 }
515 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
516 S1 ;
517 }
518 }
519 S3(idx5 = 0,idx6 = 0) ;
520 S10(idx5 = 0,idx6 = 0) ;
521 for (idx6=1;idx6<=5;idx6++) {
522 S3(idx5 = 0) ;
523 }
524 for (idx6=6;idx6<=floord(2*idx4+84,21);idx6++) {
525 S3(idx5 = 0) ;
526 S7(idx5 = 0) ;
527 }
528 for (idx6=13;idx6<=24;idx6++) {
529 S3(idx5 = 0) ;
530 }
531 for (idx6=ceild(2*idx4+85,21);idx6<=7;idx6++) {
532 S3(idx5 = 0) ;
533 }
534 for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
535 S3(idx5 = 0) ;
536 }
537 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
538 S3(idx5 = 0) ;
539 S6(idx5 = 0) ;
540 }
541 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
542 S1(idx5 = 0) ;
543 }
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 ;
547 }
548 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
549 S1 ;
550 }
551 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
552 S3 ;
553 S6 ;
554 }
555 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
556 S6 ;
557 }
558 }
559 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
560 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
561 S3 ;
562 }
563 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
564 S6 ;
565 }
566 }
567 }
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) ;
571 }
572 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
573 S2(idx4 = 34) ;
574 }
575 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
576 S1(idx4 = 34) ;
577 }
578 }
579 for (idx6=-8*(1);idx6<=floord(-6*(34)+77*1+923,77);idx6++) {
580 S3(idx4 = 34,idx5 = 1) ;
581 }
582 for (idx6=ceild(-3*(34)+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
583 S1(idx4 = 34,idx5 = 1) ;
584 }
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) ;
588 }
589 for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
590 S3(idx4 = 34,idx5 = 1) ;
591 }
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) ;
595 }
596 for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
597 S1(idx4 = 34) ;
598 }
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) ;
601 }
602 }
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) ;
606 }
607 }
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) ;
611 }
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) ;
614 }
615 for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
616 S1(idx4 = 34) ;
617 }
618 }
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) ;
623 }
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) ;
627 }
628 for (idx6=13;idx6<=24;idx6++) {
629 S3(idx4 = 34,idx5 = 0) ;
630 }
631 for (idx6=8;idx6<=floord(-6*(34)+923,77);idx6++) {
632 S3(idx4 = 34,idx5 = 0) ;
633 }
634 for (idx6=ceild(-6*(34)+924,77);idx6<=12;idx6++) {
635 S3(idx4 = 34,idx5 = 0) ;
636 S6(idx4 = 34,idx5 = 0) ;
637 }
638 for (idx6=ceild(-3*(34)+672,14);idx6<=48;idx6++) {
639 S1(idx4 = 34,idx5 = 0) ;
640 }
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) ;
644 }
645 for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
646 S1(idx4 = 34) ;
647 }
648 for (idx6=ceild(-6*(34)+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
649 S3(idx4 = 34) ;
650 S6(idx4 = 34) ;
651 }
652 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
653 S6(idx4 = 34) ;
654 }
655 }
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) ;
659 }
660 for (idx6=ceild(-6*(34)+77*idx5+924,77);idx6<=30;idx6++) {
661 S6(idx4 = 34) ;
662 }
663 }
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 ;
668 }
669 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
670 S2 ;
671 }
672 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
673 S1 ;
674 }
675 }
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 ;
679 }
680 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
681 S1 ;
682 }
683 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
684 S3 ;
685 S6 ;
686 }
687 for (idx6=ceild(6*idx5+73,6);idx6<=-8*idx5+24;idx6++) {
688 S3 ;
689 }
690 }
691 for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
692 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
693 S3 ;
694 }
695 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
696 S1 ;
697 }
698 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
699 S6 ;
700 }
701 }
702 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
703 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
704 S3 ;
705 }
706 }
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 ;
710 }
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 ;
713 }
714 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
715 S1 ;
716 }
717 }
718 S3(idx5 = 0,idx6 = 0) ;
719 S10(idx5 = 0,idx6 = 0) ;
720 for (idx6=1;idx6<=5;idx6++) {
721 S3(idx5 = 0) ;
722 }
723 for (idx6=6;idx6<=min(7,floord(2*idx4+84,21));idx6++) {
724 S3(idx5 = 0) ;
725 S7(idx5 = 0) ;
726 }
727 for (idx6=13;idx6<=24;idx6++) {
728 S3(idx5 = 0) ;
729 }
730 for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
731 S3(idx5 = 0) ;
732 }
733 for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
734 S3(idx5 = 0) ;
735 S6(idx5 = 0) ;
736 }
737 for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
738 S1(idx5 = 0) ;
739 }
740 for (idx5=1;idx5<=floord(idx4-21,14);idx5++) {
741 for (idx6=-8*idx5;idx6<=floord(2*idx5+11,2);idx6++) {
742 S3 ;
743 }
744 for (idx6=ceild(2*idx5+12,2);idx6<=floord(2*idx4-7*idx5+84,21);idx6++) {
745 S3 ;
746 S7 ;
747 }
748 for (idx6=ceild(2*idx4-7*idx5+85,21);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
749 S3 ;
750 }
751 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
752 S3 ;
753 S6 ;
754 }
755 for (idx6=ceild(6*idx5+73,6);idx6<=-8*idx5+24;idx6++) {
756 S3 ;
757 }
758 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
759 S1 ;
760 }
761 }
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 ;
765 }
766 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
767 S1 ;
768 }
769 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
770 S3 ;
771 S6 ;
772 }
773 for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
774 S6 ;
775 }
776 }
777 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
778 for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
779 S3 ;
780 }
781 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
782 S6 ;
783 }
784 }
785 }
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 ;
790 }
791 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
792 S1 ;
793 }
794 }
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 ;
798 }
799 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
800 S2 ;
801 }
802 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
803 S1 ;
804 }
805 }
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 ;
809 }
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 ;
812 }
813 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
814 S1 ;
815 }
816 }
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 ;
820 }
821 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
822 S1 ;
823 }
824 }
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 ;
828 }
829 }
830 }
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 ;
835 }
836 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
837 S1 ;
838 }
839 }
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 ;
843 }
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 ;
846 }
847 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
848 S1 ;
849 }
850 }
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 ;
854 }
855 }
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 ;
859 }
860 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
861 S2 ;
862 }
863 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
864 S1 ;
865 }
866 }
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 ;
870 }
871 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
872 S1 ;
873 }
874 }
875 for (idx5=6;idx5<=18;idx5++) {
876 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
877 S5 ;
878 }
879 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
880 S6 ;
881 }
882 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
883 S1 ;
884 }
885 }
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 ;
889 }
890 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
891 S1 ;
892 }
893 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
894 S6 ;
895 }
896 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
897 S2 ;
898 }
899 }
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 ;
903 }
904 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
905 S6 ;
906 }
907 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
908 S1 ;
909 }
910 }
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 ;
915 }
916 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
917 S9 ;
918 }
919 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
920 S9 ;
921 }
922 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
923 S9 ;
924 }
925 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
926 S6 ;
927 S9 ;
928 }
929 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
930 S1 ;
931 }
932 }
933 }
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 ;
938 }
939 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
940 S1 ;
941 }
942 }
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 ;
946 }
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 ;
949 }
950 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
951 S1 ;
952 }
953 }
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 ;
957 }
958 }
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 ;
962 }
963 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
964 S2 ;
965 }
966 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
967 S1 ;
968 }
969 }
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 ;
973 }
974 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
975 S1 ;
976 }
977 }
978 for (idx5=6;idx5<=18;idx5++) {
979 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
980 S5 ;
981 }
982 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
983 S6 ;
984 }
985 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
986 S1 ;
987 }
988 }
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 ;
992 }
993 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
994 S1 ;
995 }
996 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
997 S6 ;
998 }
999 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1000 S2 ;
1001 }
1002 }
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 ;
1006 }
1007 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1008 S6 ;
1009 }
1010 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1011 S1 ;
1012 }
1013 }
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 ;
1018 }
1019 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1020 S9 ;
1021 }
1022 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1023 S9 ;
1024 }
1025 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1026 S9 ;
1027 }
1028 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1029 S6 ;
1030 S9 ;
1031 }
1032 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1033 S1 ;
1034 }
1035 }
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 ;
1039 }
1040 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1041 S7 ;
1042 S9 ;
1043 }
1044 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1045 S9 ;
1046 }
1047 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1048 S9 ;
1049 }
1050 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1051 S9 ;
1052 }
1053 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1054 S6 ;
1055 S9 ;
1056 }
1057 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1058 S1 ;
1059 }
1060 }
1061 }
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 ;
1066 }
1067 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1068 S1 ;
1069 }
1070 }
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 ;
1074 }
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 ;
1077 }
1078 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1079 S1 ;
1080 }
1081 }
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 ;
1085 }
1086 }
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 ;
1090 }
1091 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1092 S2 ;
1093 }
1094 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1095 S1 ;
1096 }
1097 }
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 ;
1101 }
1102 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1103 S1 ;
1104 }
1105 }
1106 for (idx5=6;idx5<=18;idx5++) {
1107 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
1108 S5 ;
1109 }
1110 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1111 S6 ;
1112 }
1113 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1114 S1 ;
1115 }
1116 }
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 ;
1120 }
1121 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1122 S1 ;
1123 }
1124 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1125 S6 ;
1126 }
1127 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1128 S2 ;
1129 }
1130 }
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 ;
1134 }
1135 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1136 S6 ;
1137 }
1138 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1139 S1 ;
1140 }
1141 }
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 ;
1146 }
1147 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1148 S9 ;
1149 }
1150 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1151 S9 ;
1152 }
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 ;
1156 }
1157 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1158 S1 ;
1159 }
1160 }
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 ;
1165 }
1166 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1167 S9 ;
1168 }
1169 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1170 S9 ;
1171 }
1172 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1173 S9 ;
1174 }
1175 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1176 S6 ;
1177 S9 ;
1178 }
1179 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1180 S1 ;
1181 }
1182 }
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 ;
1186 }
1187 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1188 S7 ;
1189 S9 ;
1190 }
1191 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1192 S9 ;
1193 }
1194 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1195 S9 ;
1196 }
1197 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1198 S9 ;
1199 }
1200 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1201 S6 ;
1202 S9 ;
1203 }
1204 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1205 S1 ;
1206 }
1207 }
1208 }
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) ;
1212 }
1213 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1214 S1(idx4 = 47) ;
1215 }
1216 }
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) ;
1220 }
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) ;
1223 }
1224 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1225 S1(idx4 = 47) ;
1226 }
1227 }
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) ;
1231 }
1232 }
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) ;
1236 }
1237 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1238 S2(idx4 = 47) ;
1239 }
1240 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1241 S1(idx4 = 47) ;
1242 }
1243 }
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) ;
1247 }
1248 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1249 S1(idx4 = 47) ;
1250 }
1251 }
1252 for (idx5=6;idx5<=18;idx5++) {
1253 for (idx6=6;idx6<=min(floord(47+42,14),idx5);idx6++) {
1254 S5(idx4 = 47) ;
1255 }
1256 for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1257 S6(idx4 = 47) ;
1258 }
1259 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1260 S1(idx4 = 47) ;
1261 }
1262 }
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) ;
1266 }
1267 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1268 S1(idx4 = 47) ;
1269 }
1270 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1271 S6(idx4 = 47) ;
1272 }
1273 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1274 S2(idx4 = 47) ;
1275 }
1276 }
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) ;
1280 }
1281 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1282 S6(idx4 = 47) ;
1283 }
1284 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1285 S1(idx4 = 47) ;
1286 }
1287 }
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) ;
1292 }
1293 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1294 S9(idx4 = 47) ;
1295 }
1296 for (idx6=ceild(-6*(47)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1297 S9(idx4 = 47) ;
1298 }
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) ;
1302 }
1303 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1304 S1(idx4 = 47) ;
1305 }
1306 }
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) ;
1310 }
1311 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1312 S7(idx4 = 47) ;
1313 S9(idx4 = 47) ;
1314 }
1315 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1316 S9(idx4 = 47) ;
1317 }
1318 for (idx6=ceild(-6*(47)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1319 S9(idx4 = 47) ;
1320 }
1321 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+923,77);idx6++) {
1322 S9(idx4 = 47) ;
1323 }
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) ;
1327 }
1328 for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1329 S1(idx4 = 47) ;
1330 }
1331 }
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) ;
1335 }
1336 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1337 S1(idx4 = 48) ;
1338 }
1339 }
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) ;
1343 }
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) ;
1346 }
1347 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1348 S1(idx4 = 48) ;
1349 }
1350 }
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) ;
1354 }
1355 }
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) ;
1359 }
1360 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1361 S2(idx4 = 48) ;
1362 }
1363 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1364 S1(idx4 = 48) ;
1365 }
1366 }
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) ;
1370 }
1371 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1372 S1(idx4 = 48) ;
1373 }
1374 }
1375 for (idx5=6;idx5<=18;idx5++) {
1376 for (idx6=6;idx6<=min(floord(48+42,14),idx5);idx6++) {
1377 S5(idx4 = 48) ;
1378 }
1379 for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1380 S6(idx4 = 48) ;
1381 }
1382 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1383 S1(idx4 = 48) ;
1384 }
1385 }
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) ;
1389 }
1390 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1391 S1(idx4 = 48) ;
1392 }
1393 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1394 S6(idx4 = 48) ;
1395 }
1396 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1397 S2(idx4 = 48) ;
1398 }
1399 }
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) ;
1403 }
1404 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1405 S6(idx4 = 48) ;
1406 }
1407 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1408 S1(idx4 = 48) ;
1409 }
1410 }
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) ;
1415 }
1416 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1417 S9(idx4 = 48) ;
1418 }
1419 for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1420 S9(idx4 = 48) ;
1421 }
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) ;
1425 }
1426 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1427 S1(idx4 = 48) ;
1428 }
1429 }
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) ;
1433 }
1434 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1435 S7(idx4 = 48) ;
1436 S9(idx4 = 48) ;
1437 }
1438 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1439 S9(idx4 = 48) ;
1440 }
1441 for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1442 S9(idx4 = 48) ;
1443 }
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) ;
1447 }
1448 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1449 S1(idx4 = 48) ;
1450 }
1451 }
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) ;
1455 }
1456 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1457 S7(idx4 = 48) ;
1458 S9(idx4 = 48) ;
1459 }
1460 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1461 S9(idx4 = 48) ;
1462 }
1463 for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1464 S9(idx4 = 48) ;
1465 }
1466 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+923,77);idx6++) {
1467 S9(idx4 = 48) ;
1468 }
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) ;
1472 }
1473 for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1474 S1(idx4 = 48) ;
1475 }
1476 }
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) ;
1480 }
1481 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1482 S1(idx4 = 49) ;
1483 }
1484 }
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) ;
1488 }
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) ;
1491 }
1492 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1493 S1(idx4 = 49) ;
1494 }
1495 }
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) ;
1499 }
1500 }
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) ;
1504 }
1505 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1506 S2(idx4 = 49) ;
1507 }
1508 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1509 S1(idx4 = 49) ;
1510 }
1511 }
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) ;
1515 }
1516 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1517 S1(idx4 = 49) ;
1518 }
1519 }
1520 for (idx5=6;idx5<=18;idx5++) {
1521 for (idx6=6;idx6<=min(floord(49+42,14),idx5);idx6++) {
1522 S5(idx4 = 49) ;
1523 }
1524 for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1525 S6(idx4 = 49) ;
1526 }
1527 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1528 S1(idx4 = 49) ;
1529 }
1530 }
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) ;
1534 }
1535 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1536 S1(idx4 = 49) ;
1537 }
1538 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1539 S6(idx4 = 49) ;
1540 }
1541 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1542 S2(idx4 = 49) ;
1543 }
1544 }
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) ;
1548 }
1549 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1550 S6(idx4 = 49) ;
1551 }
1552 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1553 S1(idx4 = 49) ;
1554 }
1555 }
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) ;
1560 }
1561 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1562 S9(idx4 = 49) ;
1563 }
1564 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1565 S9(idx4 = 49) ;
1566 }
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) ;
1570 }
1571 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1572 S1(idx4 = 49) ;
1573 }
1574 }
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) ;
1578 }
1579 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1580 S7(idx4 = 49) ;
1581 S9(idx4 = 49) ;
1582 }
1583 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1584 S9(idx4 = 49) ;
1585 }
1586 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1587 S9(idx4 = 49) ;
1588 }
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) ;
1592 }
1593 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1594 S1(idx4 = 49) ;
1595 }
1596 }
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) ;
1600 }
1601 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1602 S7(idx4 = 49) ;
1603 S9(idx4 = 49) ;
1604 }
1605 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1606 S9(idx4 = 49) ;
1607 }
1608 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1609 S9(idx4 = 49) ;
1610 }
1611 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+923,77);idx6++) {
1612 S9(idx4 = 49) ;
1613 }
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) ;
1617 }
1618 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1619 S1(idx4 = 49) ;
1620 }
1621 }
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) ;
1625 }
1626 for (idx6=ceild(2*49-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1627 S9(idx4 = 49) ;
1628 }
1629 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1630 S7(idx4 = 49) ;
1631 S9(idx4 = 49) ;
1632 }
1633 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1634 S9(idx4 = 49) ;
1635 }
1636 for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1637 S9(idx4 = 49) ;
1638 }
1639 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+923,77);idx6++) {
1640 S9(idx4 = 49) ;
1641 }
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) ;
1645 }
1646 for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1647 S1(idx4 = 49) ;
1648 }
1649 }
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 ;
1654 }
1655 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1656 S1 ;
1657 }
1658 }
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 ;
1662 }
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 ;
1665 }
1666 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1667 S1 ;
1668 }
1669 }
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 ;
1673 }
1674 }
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 ;
1678 }
1679 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1680 S2 ;
1681 }
1682 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1683 S1 ;
1684 }
1685 }
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 ;
1689 }
1690 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1691 S1 ;
1692 }
1693 }
1694 for (idx5=6;idx5<=18;idx5++) {
1695 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
1696 S5 ;
1697 }
1698 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1699 S6 ;
1700 }
1701 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1702 S1 ;
1703 }
1704 }
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 ;
1708 }
1709 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1710 S1 ;
1711 }
1712 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1713 S6 ;
1714 }
1715 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1716 S2 ;
1717 }
1718 }
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 ;
1722 }
1723 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1724 S6 ;
1725 }
1726 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1727 S1 ;
1728 }
1729 }
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 ;
1734 }
1735 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1736 S9 ;
1737 }
1738 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1739 S9 ;
1740 }
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 ;
1744 }
1745 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1746 S1 ;
1747 }
1748 }
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 ;
1752 }
1753 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1754 S7 ;
1755 S9 ;
1756 }
1757 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1758 S9 ;
1759 }
1760 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1761 S9 ;
1762 }
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 ;
1766 }
1767 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1768 S1 ;
1769 }
1770 }
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 ;
1774 }
1775 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1776 S9 ;
1777 }
1778 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1779 S7 ;
1780 S9 ;
1781 }
1782 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1783 S9 ;
1784 }
1785 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1786 S9 ;
1787 }
1788 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1789 S9 ;
1790 }
1791 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1792 S6 ;
1793 S9 ;
1794 }
1795 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1796 S1 ;
1797 }
1798 }
1799 }
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) ;
1803 }
1804 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1805 S1(idx4 = 50) ;
1806 }
1807 }
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) ;
1811 }
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) ;
1814 }
1815 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1816 S1(idx4 = 50) ;
1817 }
1818 }
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) ;
1822 }
1823 }
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) ;
1827 }
1828 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1829 S2(idx4 = 50) ;
1830 }
1831 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1832 S1(idx4 = 50) ;
1833 }
1834 }
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) ;
1838 }
1839 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1840 S1(idx4 = 50) ;
1841 }
1842 }
1843 for (idx5=6;idx5<=18;idx5++) {
1844 for (idx6=6;idx6<=min(floord(50+42,14),idx5);idx6++) {
1845 S5(idx4 = 50) ;
1846 }
1847 for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1848 S6(idx4 = 50) ;
1849 }
1850 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1851 S1(idx4 = 50) ;
1852 }
1853 }
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) ;
1857 }
1858 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1859 S1(idx4 = 50) ;
1860 }
1861 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1862 S6(idx4 = 50) ;
1863 }
1864 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1865 S2(idx4 = 50) ;
1866 }
1867 }
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) ;
1871 }
1872 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1873 S6(idx4 = 50) ;
1874 }
1875 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1876 S1(idx4 = 50) ;
1877 }
1878 }
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) ;
1883 }
1884 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1885 S9(idx4 = 50) ;
1886 }
1887 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1888 S9(idx4 = 50) ;
1889 }
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) ;
1893 }
1894 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1895 S1(idx4 = 50) ;
1896 }
1897 }
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) ;
1901 }
1902 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1903 S7(idx4 = 50) ;
1904 S9(idx4 = 50) ;
1905 }
1906 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1907 S9(idx4 = 50) ;
1908 }
1909 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1910 S9(idx4 = 50) ;
1911 }
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) ;
1915 }
1916 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1917 S1(idx4 = 50) ;
1918 }
1919 }
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) ;
1923 }
1924 for (idx6=ceild(2*50-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1925 S9(idx4 = 50) ;
1926 }
1927 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1928 S7(idx4 = 50) ;
1929 S9(idx4 = 50) ;
1930 }
1931 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1932 S9(idx4 = 50) ;
1933 }
1934 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1935 S9(idx4 = 50) ;
1936 }
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) ;
1940 }
1941 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1942 S1(idx4 = 50) ;
1943 }
1944 }
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) ;
1948 }
1949 for (idx6=ceild(2*50-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1950 S9(idx4 = 50) ;
1951 }
1952 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1953 S7(idx4 = 50) ;
1954 S9(idx4 = 50) ;
1955 }
1956 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1957 S9(idx4 = 50) ;
1958 }
1959 for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1960 S9(idx4 = 50) ;
1961 }
1962 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+923,77);idx6++) {
1963 S9(idx4 = 50) ;
1964 }
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) ;
1968 }
1969 for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1970 S1(idx4 = 50) ;
1971 }
1972 }
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 ;
1977 }
1978 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1979 S1 ;
1980 }
1981 }
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 ;
1985 }
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 ;
1988 }
1989 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1990 S1 ;
1991 }
1992 }
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 ;
1996 }
1997 }
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 ;
2001 }
2002 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2003 S2 ;
2004 }
2005 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2006 S1 ;
2007 }
2008 }
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 ;
2012 }
2013 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2014 S1 ;
2015 }
2016 }
2017 for (idx5=6;idx5<=18;idx5++) {
2018 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2019 S5 ;
2020 }
2021 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2022 S6 ;
2023 }
2024 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2025 S1 ;
2026 }
2027 }
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 ;
2031 }
2032 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2033 S1 ;
2034 }
2035 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2036 S6 ;
2037 }
2038 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2039 S2 ;
2040 }
2041 }
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 ;
2045 }
2046 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2047 S6 ;
2048 }
2049 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2050 S1 ;
2051 }
2052 }
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 ;
2057 }
2058 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2059 S9 ;
2060 }
2061 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2062 S9 ;
2063 }
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 ;
2067 }
2068 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2069 S1 ;
2070 }
2071 }
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 ;
2075 }
2076 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2077 S7 ;
2078 S9 ;
2079 }
2080 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2081 S9 ;
2082 }
2083 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2084 S9 ;
2085 }
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 ;
2089 }
2090 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2091 S1 ;
2092 }
2093 }
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 ;
2097 }
2098 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2099 S9 ;
2100 }
2101 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2102 S7 ;
2103 S9 ;
2104 }
2105 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2106 S9 ;
2107 }
2108 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2109 S9 ;
2110 }
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 ;
2114 }
2115 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2116 S1 ;
2117 }
2118 }
2119 }
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) ;
2123 }
2124 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2125 S1(idx4 = 53) ;
2126 }
2127 }
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) ;
2131 }
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) ;
2134 }
2135 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2136 S1(idx4 = 53) ;
2137 }
2138 }
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) ;
2142 }
2143 }
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) ;
2147 }
2148 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2149 S2(idx4 = 53) ;
2150 }
2151 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2152 S1(idx4 = 53) ;
2153 }
2154 }
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) ;
2158 }
2159 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2160 S1(idx4 = 53) ;
2161 }
2162 }
2163 for (idx5=6;idx5<=18;idx5++) {
2164 for (idx6=6;idx6<=min(floord(53+42,14),idx5);idx6++) {
2165 S5(idx4 = 53) ;
2166 }
2167 for (idx6=ceild(-6*(53)+77*idx5+924,77);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2168 S6(idx4 = 53) ;
2169 }
2170 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2171 S1(idx4 = 53) ;
2172 }
2173 }
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) ;
2177 }
2178 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2179 S6(idx4 = 53) ;
2180 }
2181 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2182 S1(idx4 = 53) ;
2183 }
2184 }
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) ;
2189 }
2190 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2191 S9(idx4 = 53) ;
2192 }
2193 for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2194 S9(idx4 = 53) ;
2195 }
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) ;
2199 }
2200 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2201 S1(idx4 = 53) ;
2202 }
2203 }
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) ;
2207 }
2208 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2209 S7(idx4 = 53) ;
2210 S9(idx4 = 53) ;
2211 }
2212 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2213 S9(idx4 = 53) ;
2214 }
2215 for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2216 S9(idx4 = 53) ;
2217 }
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) ;
2221 }
2222 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2223 S1(idx4 = 53) ;
2224 }
2225 }
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) ;
2229 }
2230 for (idx6=ceild(2*53-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2231 S9(idx4 = 53) ;
2232 }
2233 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2234 S7(idx4 = 53) ;
2235 S9(idx4 = 53) ;
2236 }
2237 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2238 S9(idx4 = 53) ;
2239 }
2240 for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2241 S9(idx4 = 53) ;
2242 }
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) ;
2246 }
2247 for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2248 S1(idx4 = 53) ;
2249 }
2250 }
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) ;
2254 }
2255 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2256 S1(idx4 = 54) ;
2257 }
2258 }
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) ;
2262 }
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) ;
2265 }
2266 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2267 S1(idx4 = 54) ;
2268 }
2269 }
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) ;
2273 }
2274 }
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) ;
2278 }
2279 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2280 S2(idx4 = 54) ;
2281 }
2282 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2283 S1(idx4 = 54) ;
2284 }
2285 }
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) ;
2289 }
2290 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2291 S1(idx4 = 54) ;
2292 }
2293 }
2294 for (idx5=6;idx5<=18;idx5++) {
2295 for (idx6=6;idx6<=min(floord(54+42,14),idx5);idx6++) {
2296 S5(idx4 = 54) ;
2297 }
2298 for (idx6=ceild(-6*(54)+77*idx5+924,77);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2299 S6(idx4 = 54) ;
2300 }
2301 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2302 S1(idx4 = 54) ;
2303 }
2304 }
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) ;
2308 }
2309 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2310 S1(idx4 = 54) ;
2311 }
2312 }
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) ;
2316 }
2317 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2318 S6(idx4 = 54) ;
2319 }
2320 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2321 S1(idx4 = 54) ;
2322 }
2323 }
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) ;
2328 }
2329 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2330 S9(idx4 = 54) ;
2331 }
2332 for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2333 S9(idx4 = 54) ;
2334 }
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) ;
2338 }
2339 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2340 S1(idx4 = 54) ;
2341 }
2342 }
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) ;
2346 }
2347 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2348 S7(idx4 = 54) ;
2349 S9(idx4 = 54) ;
2350 }
2351 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2352 S9(idx4 = 54) ;
2353 }
2354 for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2355 S9(idx4 = 54) ;
2356 }
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) ;
2360 }
2361 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2362 S1(idx4 = 54) ;
2363 }
2364 }
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) ;
2368 }
2369 for (idx6=ceild(2*54-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2370 S9(idx4 = 54) ;
2371 }
2372 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2373 S7(idx4 = 54) ;
2374 S9(idx4 = 54) ;
2375 }
2376 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2377 S9(idx4 = 54) ;
2378 }
2379 for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2380 S9(idx4 = 54) ;
2381 }
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) ;
2385 }
2386 for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2387 S1(idx4 = 54) ;
2388 }
2389 }
2390 for (idx4=55;idx4<=54;idx4++) {
2391 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
2392 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2393 S2 ;
2394 }
2395 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2396 S1 ;
2397 }
2398 }
2399 for (idx5=ceild(idx4-41,14);idx5<=2;idx5++) {
2400 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
2401 S7 ;
2402 }
2403 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2404 S6 ;
2405 }
2406 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2407 S1 ;
2408 }
2409 }
2410 for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
2411 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
2412 S6 ;
2413 }
2414 }
2415 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-84,14);idx5++) {
2416 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2417 S6 ;
2418 }
2419 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2420 S2 ;
2421 }
2422 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2423 S1 ;
2424 }
2425 }
2426 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
2427 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2428 S6 ;
2429 }
2430 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2431 S1 ;
2432 }
2433 }
2434 for (idx5=6;idx5<=18;idx5++) {
2435 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2436 S5 ;
2437 }
2438 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2439 S6 ;
2440 }
2441 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2442 S1 ;
2443 }
2444 }
2445 for (idx5=ceild(idx4-83,14);idx5<=floord(10*idx4-697,77);idx5++) {
2446 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2447 S6 ;
2448 }
2449 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2450 S1 ;
2451 }
2452 }
2453 for (idx5=ceild(10*idx4-696,77);idx5<=-1;idx5++) {
2454 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2455 S7 ;
2456 }
2457 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2458 S6 ;
2459 }
2460 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2461 S1 ;
2462 }
2463 }
2464 for (idx5=0;idx5<=min(floord(-2*idx4+114,35),floord(idx4-42,77));idx5++) {
2465 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2466 S7 ;
2467 S9 ;
2468 }
2469 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2470 S9 ;
2471 }
2472 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2473 S9 ;
2474 }
2475 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2476 S6 ;
2477 S9 ;
2478 }
2479 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2480 S1 ;
2481 }
2482 }
2483 for (idx5=max(ceild(-2*idx4+115,35),ceild(4*idx4-207,56));idx5<=floord(idx4-42,14);idx5++) {
2484 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
2485 S9 ;
2486 }
2487 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2488 S9 ;
2489 }
2490 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2491 S7 ;
2492 S9 ;
2493 }
2494 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2495 S9 ;
2496 }
2497 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2498 S9 ;
2499 }
2500 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2501 S6 ;
2502 S9 ;
2503 }
2504 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2505 S1 ;
2506 }
2507 }
2508 }
2509 for (idx5=ceild(55-120,14);idx5<=floord(10*55-823,77);idx5++) {
2510 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2511 S2(idx4 = 55) ;
2512 }
2513 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2514 S1(idx4 = 55) ;
2515 }
2516 }
2517 for (idx5=ceild(55-41,14);idx5<=2;idx5++) {
2518 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*55-7*idx5+84,21));idx6++) {
2519 S7(idx4 = 55) ;
2520 }
2521 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(55)+77*idx5+924,77));idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2522 S6(idx4 = 55) ;
2523 }
2524 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2525 S1(idx4 = 55) ;
2526 }
2527 }
2528 for (idx5=19;idx5<=floord(6*55+1386,77);idx5++) {
2529 for (idx6=ceild(-6*(55)+77*idx5+924,77);idx6<=min(floord(-6*(55)+77*idx5+1140,77),30);idx6++) {
2530 S6(idx4 = 55) ;
2531 }
2532 }
2533 for (idx5=ceild(10*55-822,77);idx5<=floord(55-84,14);idx5++) {
2534 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2535 S6(idx4 = 55) ;
2536 }
2537 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2538 S2(idx4 = 55) ;
2539 }
2540 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2541 S1(idx4 = 55) ;
2542 }
2543 }
2544 for (idx5=ceild(55-20,14);idx5<=5;idx5++) {
2545 for (idx6=ceild(-6*(55)+77*idx5+924,77);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2546 S6(idx4 = 55) ;
2547 }
2548 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2549 S1(idx4 = 55) ;
2550 }
2551 }
2552 for (idx5=6;idx5<=18;idx5++) {
2553 for (idx6=6;idx6<=min(floord(55+42,14),idx5);idx6++) {
2554 S5(idx4 = 55) ;
2555 }
2556 for (idx6=ceild(-6*(55)+77*idx5+924,77);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2557 S6(idx4 = 55) ;
2558 }
2559 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2560 S1(idx4 = 55) ;
2561 }
2562 }
2563 for (idx5=ceild(55-83,14);idx5<=floord(10*55-697,77);idx5++) {
2564 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2565 S6(idx4 = 55) ;
2566 }
2567 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2568 S1(idx4 = 55) ;
2569 }
2570 }
2571 for (idx5=ceild(10*55-696,77);idx5<=-1;idx5++) {
2572 for (idx6=max(ceild(2*55-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2573 S7(idx4 = 55) ;
2574 }
2575 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2576 S6(idx4 = 55) ;
2577 }
2578 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2579 S1(idx4 = 55) ;
2580 }
2581 }
2582 for (idx5=0;idx5<=floord(-2*(55)+114,35);idx5++) {
2583 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2584 S7(idx4 = 55) ;
2585 S9(idx4 = 55) ;
2586 }
2587 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2588 S9(idx4 = 55) ;
2589 }
2590 for (idx6=ceild(-6*(55)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2591 S9(idx4 = 55) ;
2592 }
2593 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(55)+77*idx5+924,77));idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2594 S6(idx4 = 55) ;
2595 S9(idx4 = 55) ;
2596 }
2597 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2598 S1(idx4 = 55) ;
2599 }
2600 }
2601 for (idx5=ceild(-2*(55)+115,35);idx5<=floord(4*55-208,56);idx5++) {
2602 for (idx6=-2*idx5+6;idx6<=floord(2*55-7*idx5+11,21);idx6++) {
2603 S9(idx4 = 55) ;
2604 }
2605 for (idx6=max(ceild(2*55-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
2606 S7(idx4 = 55) ;
2607 S9(idx4 = 55) ;
2608 }
2609 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2610 S9(idx4 = 55) ;
2611 }
2612 for (idx6=ceild(-6*(55)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2613 S9(idx4 = 55) ;
2614 }
2615 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2616 S6(idx4 = 55) ;
2617 S9(idx4 = 55) ;
2618 }
2619 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2620 S1(idx4 = 55) ;
2621 }
2622 }
2623 for (idx5=ceild(4*55-207,56);idx5<=floord(55-42,14);idx5++) {
2624 for (idx6=-2*idx5+6;idx6<=floord(2*55-7*idx5+11,21);idx6++) {
2625 S9(idx4 = 55) ;
2626 }
2627 for (idx6=ceild(2*55-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2628 S9(idx4 = 55) ;
2629 }
2630 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2631 S7(idx4 = 55) ;
2632 S9(idx4 = 55) ;
2633 }
2634 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2635 S9(idx4 = 55) ;
2636 }
2637 for (idx6=ceild(-6*(55)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2638 S9(idx4 = 55) ;
2639 }
2640 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(55)+77*idx5+924,77));idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2641 S6(idx4 = 55) ;
2642 S9(idx4 = 55) ;
2643 }
2644 for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2645 S1(idx4 = 55) ;
2646 }
2647 }
2648 for (idx4=56;idx4<=57;idx4++) {
2649 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
2650 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2651 S2 ;
2652 }
2653 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2654 S1 ;
2655 }
2656 }
2657 for (idx5=ceild(idx4-41,14);idx5<=2;idx5++) {
2658 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
2659 S7 ;
2660 }
2661 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2662 S6 ;
2663 }
2664 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2665 S1 ;
2666 }
2667 }
2668 for (idx5=ceild(idx4+211,14);idx5<=floord(6*idx4+1386,77);idx5++) {
2669 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
2670 S6 ;
2671 }
2672 }
2673 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-84,14);idx5++) {
2674 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2675 S6 ;
2676 }
2677 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2678 S2 ;
2679 }
2680 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2681 S1 ;
2682 }
2683 }
2684 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
2685 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2686 S6 ;
2687 }
2688 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2689 S1 ;
2690 }
2691 }
2692 for (idx5=6;idx5<=18;idx5++) {
2693 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2694 S5 ;
2695 }
2696 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2697 S6 ;
2698 }
2699 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2700 S1 ;
2701 }
2702 }
2703 for (idx5=ceild(idx4-83,14);idx5<=floord(10*idx4-697,77);idx5++) {
2704 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2705 S6 ;
2706 }
2707 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2708 S1 ;
2709 }
2710 }
2711 for (idx5=ceild(10*idx4-696,77);idx5<=-1;idx5++) {
2712 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2713 S7 ;
2714 }
2715 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2716 S6 ;
2717 }
2718 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2719 S1 ;
2720 }
2721 }
2722 for (idx5=0;idx5<=floord(-2*idx4+114,35);idx5++) {
2723 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2724 S7 ;
2725 S9 ;
2726 }
2727 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2728 S9 ;
2729 }
2730 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2731 S9 ;
2732 }
2733 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2734 S6 ;
2735 S9 ;
2736 }
2737 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2738 S1 ;
2739 }
2740 }
2741 for (idx5=ceild(-2*idx4+115,35);idx5<=floord(4*idx4-208,56);idx5++) {
2742 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
2743 S9 ;
2744 }
2745 for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
2746 S7 ;
2747 S9 ;
2748 }
2749 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2750 S9 ;
2751 }
2752 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2753 S9 ;
2754 }
2755 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2756 S6 ;
2757 S9 ;
2758 }
2759 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2760 S1 ;
2761 }
2762 }
2763 for (idx5=ceild(4*idx4-207,56);idx5<=floord(idx4-42,14);idx5++) {
2764 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
2765 S9 ;
2766 }
2767 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2768 S9 ;
2769 }
2770 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2771 S7 ;
2772 S9 ;
2773 }
2774 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2775 S9 ;
2776 }
2777 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2778 S9 ;
2779 }
2780 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2781 S6 ;
2782 S9 ;
2783 }
2784 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2785 S1 ;
2786 }
2787 }
2788 for (idx5=19;idx5<=floord(idx4+210,14);idx5++) {
2789 for (idx6=idx5-12;idx6<=floord(idx4+42,14);idx6++) {
2790 S5 ;
2791 }
2792 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2793 S6 ;
2794 }
2795 }
2796 }
2797 for (idx4=58;idx4<=61;idx4++) {
2798 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
2799 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2800 S2 ;
2801 }
2802 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2803 S1 ;
2804 }
2805 }
2806 for (idx5=ceild(idx4-41,14);idx5<=2;idx5++) {
2807 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
2808 S7 ;
2809 }
2810 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2811 S6 ;
2812 }
2813 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2814 S1 ;
2815 }
2816 }
2817 for (idx5=ceild(idx4+211,14);idx5<=floord(6*idx4+1386,77);idx5++) {
2818 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
2819 S6 ;
2820 }
2821 }
2822 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-84,14);idx5++) {
2823 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2824 S6 ;
2825 }
2826 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2827 S2 ;
2828 }
2829 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2830 S1 ;
2831 }
2832 }
2833 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
2834 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2835 S6 ;
2836 }
2837 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2838 S1 ;
2839 }
2840 }
2841 for (idx5=6;idx5<=18;idx5++) {
2842 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2843 S5 ;
2844 }
2845 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2846 S6 ;
2847 }
2848 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2849 S1 ;
2850 }
2851 }
2852 for (idx5=ceild(idx4-83,14);idx5<=floord(10*idx4-697,77);idx5++) {
2853 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2854 S6 ;
2855 }
2856 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2857 S1 ;
2858 }
2859 }
2860 for (idx5=ceild(10*idx4-696,77);idx5<=-1;idx5++) {
2861 for (idx6=max(ceild(2*idx4-7*idx5+12,21),6);idx6<=floord(4*idx5+72,10);idx6++) {
2862 S7 ;
2863 }
2864 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2865 S6 ;
2866 }
2867 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2868 S1 ;
2869 }
2870 }
2871 for (idx5=0;idx5<=floord(4*idx4-208,56);idx5++) {
2872 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
2873 S9 ;
2874 }
2875 for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
2876 S7 ;
2877 S9 ;
2878 }
2879 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2880 S9 ;
2881 }
2882 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2883 S9 ;
2884 }
2885 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2886 S6 ;
2887 S9 ;
2888 }
2889 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2890 S1 ;
2891 }
2892 }
2893 for (idx5=ceild(4*idx4-207,56);idx5<=floord(idx4-42,14);idx5++) {
2894 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
2895 S9 ;
2896 }
2897 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2898 S9 ;
2899 }
2900 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2901 S7 ;
2902 S9 ;
2903 }
2904 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2905 S9 ;
2906 }
2907 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2908 S9 ;
2909 }
2910 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2911 S6 ;
2912 S9 ;
2913 }
2914 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2915 S1 ;
2916 }
2917 }
2918 for (idx5=19;idx5<=floord(idx4+210,14);idx5++) {
2919 for (idx6=idx5-12;idx6<=floord(idx4+42,14);idx6++) {
2920 S5 ;
2921 }
2922 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2923 S6 ;
2924 }
2925 }
2926 }
2927 for (idx5=-4;idx5<=-3;idx5++) {
2928 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2929 S2(idx4 = 62) ;
2930 }
2931 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(62)+14*idx5+780,14);idx6++) {
2932 S1(idx4 = 62) ;
2933 }
2934 }
2935 for (idx6=ceild(2*2+12,2);idx6<=min(floord(4*2+72,10),floord(2*62-7*(2)+84,21));idx6++) {
2936 S7(idx4 = 62,idx5 = 2) ;
2937 }
2938 for (idx6=max(ceild(12*2+252,30),ceild(-6*(62)+77*2+924,77));idx6<=floord(-6*(62)+77*2+1140,77);idx6++) {
2939 S6(idx4 = 62,idx5 = 2) ;
2940 }
2941 for (idx6=ceild(-3*(62)+14*2+672,14);idx6<=floord(-3*(62)+14*2+780,14);idx6++) {
2942 S1(idx4 = 62,idx5 = 2) ;
2943 }
2944 for (idx5=20;idx5<=22;idx5++) {
2945 for (idx6=ceild(-6*(62)+77*idx5+924,77);idx6<=min(floord(-6*(62)+77*idx5+1140,77),30);idx6++) {
2946 S6(idx4 = 62) ;
2947 }
2948 }
2949 for (idx6=ceild(12*-2+252,30);idx6<=floord(-6*(62)+77*-2+1140,77);idx6++) {
2950 S6(idx4 = 62,idx5 = -2) ;
2951 }
2952 for (idx6=-2+24;idx6<=-2*(-2)+24;idx6++) {
2953 S2(idx4 = 62,idx5 = -2) ;
2954 }
2955 for (idx6=ceild(-6*(-2)+90,3);idx6<=floord(-3*(62)+14*-2+780,14);idx6++) {
2956 S1(idx4 = 62,idx5 = -2) ;
2957 }
2958 for (idx5=3;idx5<=5;idx5++) {
2959 for (idx6=ceild(-6*(62)+77*idx5+924,77);idx6<=floord(-6*(62)+77*idx5+1140,77);idx6++) {
2960 S6(idx4 = 62) ;
2961 }
2962 for (idx6=ceild(-3*(62)+14*idx5+672,14);idx6<=floord(-3*(62)+14*idx5+780,14);idx6++) {
2963 S1(idx4 = 62) ;
2964 }
2965 }
2966 for (idx5=6;idx5<=18;idx5++) {
2967 for (idx6=6;idx6<=min(floord(62+42,14),idx5);idx6++) {
2968 S5(idx4 = 62) ;
2969 }
2970 for (idx6=ceild(-6*(62)+77*idx5+924,77);idx6<=floord(-6*(62)+77*idx5+1140,77);idx6++) {
2971 S6(idx4 = 62) ;
2972 }
2973 for (idx6=ceild(-3*(62)+14*idx5+672,14);idx6<=floord(-3*(62)+14*idx5+780,14);idx6++) {
2974 S1(idx4 = 62) ;
2975 }
2976 }
2977 for (idx6=ceild(12*-1+252,30);idx6<=floord(-6*(62)+77*-1+1140,77);idx6++) {
2978 S6(idx4 = 62,idx5 = -1) ;
2979 }
2980 for (idx6=ceild(-3*(62)+14*-1+672,14);idx6<=floord(-3*(62)+14*-1+780,14);idx6++) {
2981 S1(idx4 = 62,idx5 = -1) ;
2982 }
2983 for (idx6=-2*(0)+6;idx6<=floord(2*62-7*(0)+11,21);idx6++) {
2984 S9(idx4 = 62,idx5 = 0) ;
2985 }
2986 for (idx6=max(ceild(2*62-7*(0)+12,21),ceild(2*0+12,2));idx6<=floord(4*0+72,10);idx6++) {
2987 S7(idx4 = 62,idx5 = 0) ;
2988 S9(idx4 = 62,idx5 = 0) ;
2989 }
2990 for (idx6=ceild(4*0+73,10);idx6<=floord(12*0+251,30);idx6++) {
2991 S9(idx4 = 62,idx5 = 0) ;
2992 }
2993 for (idx6=ceild(-6*(62)+77*0+1141,77);idx6<=-2*(0)+24;idx6++) {
2994 S9(idx4 = 62,idx5 = 0) ;
2995 }
2996 for (idx6=ceild(12*0+252,30);idx6<=floord(-6*(62)+77*0+1140,77);idx6++) {
2997 S6(idx4 = 62,idx5 = 0) ;
2998 S9(idx4 = 62,idx5 = 0) ;
2999 }
3000 for (idx6=ceild(-3*(62)+14*0+672,14);idx6<=floord(-3*(62)+14*0+780,14);idx6++) {
3001 S1(idx4 = 62,idx5 = 0) ;
3002 }
3003 for (idx6=-2*(1)+6;idx6<=floord(2*62-7*(1)+11,21);idx6++) {
3004 S9(idx4 = 62,idx5 = 1) ;
3005 }
3006 for (idx6=ceild(2*62-7*(1)+12,21);idx6<=floord(2*1+11,2);idx6++) {
3007 S9(idx4 = 62,idx5 = 1) ;
3008 }
3009 for (idx6=ceild(2*1+12,2);idx6<=floord(4*1+72,10);idx6++) {
3010 S7(idx4 = 62,idx5 = 1) ;
3011 S9(idx4 = 62,idx5 = 1) ;
3012 }
3013 for (idx6=ceild(4*1+73,10);idx6<=floord(12*1+251,30);idx6++) {
3014 S9(idx4 = 62,idx5 = 1) ;
3015 }
3016 for (idx6=ceild(-6*(62)+77*1+1141,77);idx6<=-2*(1)+24;idx6++) {
3017 S9(idx4 = 62,idx5 = 1) ;
3018 }
3019 for (idx6=max(ceild(12*1+252,30),ceild(-6*(62)+77*1+924,77));idx6<=floord(-6*(62)+77*1+1140,77);idx6++) {
3020 S6(idx4 = 62,idx5 = 1) ;
3021 S9(idx4 = 62,idx5 = 1) ;
3022 }
3023 for (idx6=ceild(-3*(62)+14*1+672,14);idx6<=floord(-3*(62)+14*1+780,14);idx6++) {
3024 S1(idx4 = 62,idx5 = 1) ;
3025 }
3026 for (idx6=19-12;idx6<=floord(62+42,14);idx6++) {
3027 S5(idx4 = 62,idx5 = 19) ;
3028 }
3029 for (idx6=ceild(-6*(62)+77*19+924,77);idx6<=floord(-6*(62)+77*19+1140,77);idx6++) {
3030 S6(idx4 = 62,idx5 = 19) ;
3031 }
3032 for (idx4=63;idx4<=69;idx4++) {
3033 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
3034 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3035 S2 ;
3036 }
3037 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3038 S1 ;
3039 }
3040 }
3041 for (idx5=ceild(idx4-41,14);idx5<=2;idx5++) {
3042 for (idx6=ceild(2*idx5+12,2);idx6<=min(floord(4*idx5+72,10),floord(2*idx4-7*idx5+84,21));idx6++) {
3043 S7 ;
3044 }
3045 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3046 S6 ;
3047 }
3048 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3049 S1 ;
3050 }
3051 }
3052 for (idx5=ceild(idx4+211,14);idx5<=floord(6*idx4+1386,77);idx5++) {
3053 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3054 S6 ;
3055 }
3056 }
3057 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-84,14);idx5++) {
3058 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3059 S6 ;
3060 }
3061 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3062 S2 ;
3063 }
3064 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3065 S1 ;
3066 }
3067 }
3068 for (idx5=ceild(idx4-20,14);idx5<=5;idx5++) {
3069 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3070 S6 ;
3071 }
3072 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3073 S1 ;
3074 }
3075 }
3076 for (idx5=6;idx5<=18;idx5++) {
3077 for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
3078 S5 ;
3079 }
3080 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3081 S6 ;
3082 }
3083 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3084 S1 ;
3085 }
3086 }
3087 for (idx5=ceild(idx4-83,14);idx5<=-1;idx5++) {
3088 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3089 S6 ;
3090 }
3091 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3092 S1 ;
3093 }
3094 }
3095 for (idx5=0;idx5<=floord(4*idx4-208,56);idx5++) {
3096 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
3097 S9 ;
3098 }
3099 for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
3100 S7 ;
3101 S9 ;
3102 }
3103 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3104 S9 ;
3105 }
3106 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3107 S9 ;
3108 }
3109 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3110 S6 ;
3111 S9 ;
3112 }
3113 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3114 S1 ;
3115 }
3116 }
3117 for (idx5=ceild(4*idx4-207,56);idx5<=floord(idx4-42,14);idx5++) {
3118 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
3119 S9 ;
3120 }
3121 for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
3122 S9 ;
3123 }
3124 for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
3125 S7 ;
3126 S9 ;
3127 }
3128 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3129 S9 ;
3130 }
3131 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3132 S9 ;
3133 }
3134 for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3135 S6 ;
3136 S9 ;
3137 }
3138 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3139 S1 ;
3140 }
3141 }
3142 for (idx5=3;idx5<=floord(idx4-21,14);idx5++) {
3143 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3144 S6 ;
3145 }
3146 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3147 S1 ;
3148 }
3149 }
3150 for (idx5=19;idx5<=floord(idx4+210,14);idx5++) {
3151 for (idx6=idx5-12;idx6<=floord(idx4+42,14);idx6++) {
3152 S5 ;
3153 }
3154 for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3155 S6 ;
3156 }
3157 }
3158 }
3159 for (idx4=70;idx4<=76;idx4++) {
3160 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
3161 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3162 S2 ;
3163 }
3164 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3165 S1 ;
3166 }
3167 }
3168 for (idx5=ceild(idx4-83,14);idx5<=floord(idx4-79,14);idx5++) {
3169 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3170 S6 ;
3171 }
3172 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3173 S1 ;
3174 }
3175 }
3176 for (idx5=6;idx5<=18;idx5++) {
3177 for (idx6=max(ceild(idx4+6,14),6);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
3178 S5 ;
3179 }
3180 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3181 S6 ;
3182 }
3183 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3184 S8 ;
3185 }
3186 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3187 S1 ;
3188 }
3189 }
3190 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-84,14);idx5++) {
3191 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3192 S6 ;
3193 }
3194 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3195 S2 ;
3196 }
3197 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3198 S1 ;
3199 }
3200 }
3201 for (idx5=0;idx5<=floord(10*idx4-697,77);idx5++) {
3202 for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3203 S9 ;
3204 }
3205 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3206 S6 ;
3207 S9 ;
3208 }
3209 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3210 S9 ;
3211 }
3212 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3213 S1 ;
3214 }
3215 }
3216 for (idx6=2;idx6<=7;idx6++) {
3217 S9(idx5 = 2) ;
3218 }
3219 S7(idx5 = 2,idx6 = 8) ;
3220 S9(idx5 = 2,idx6 = 8) ;
3221 S8(idx5 = 2,idx6 = 26) ;
3222 S9(idx5 = 2,idx6 = 9) ;
3223 for (idx6=10;idx6<=floord(-6*idx4+1294,77);idx6++) {
3224 S6(idx5 = 2) ;
3225 S9(idx5 = 2) ;
3226 }
3227 for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3228 S9(idx5 = 2) ;
3229 }
3230 for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
3231 S1(idx5 = 2) ;
3232 }
3233 for (idx5=3;idx5<=floord(idx4+5,14);idx5++) {
3234 for (idx6=max(max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77)),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3235 S6 ;
3236 }
3237 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3238 S8 ;
3239 }
3240 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3241 S1 ;
3242 }
3243 }
3244 for (idx5=19;idx5<=20;idx5++) {
3245 for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
3246 S5 ;
3247 }
3248 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3249 S6 ;
3250 }
3251 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3252 S8 ;
3253 }
3254 }
3255 for (idx5=21;idx5<=floord(6*idx4+1386,77);idx5++) {
3256 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3257 S6 ;
3258 }
3259 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3260 S8 ;
3261 }
3262 }
3263 for (idx5=ceild(10*idx4-696,77);idx5<=1;idx5++) {
3264 for (idx6=-2*idx5+6;idx6<=floord(2*idx4-7*idx5+11,21);idx6++) {
3265 S9 ;
3266 }
3267 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3268 S9 ;
3269 }
3270 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3271 S6 ;
3272 S9 ;
3273 }
3274 for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
3275 S7 ;
3276 S9 ;
3277 }
3278 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3279 S9 ;
3280 }
3281 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3282 S1 ;
3283 }
3284 }
3285 for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
3286 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3287 S8 ;
3288 }
3289 }
3290 }
3291 for (idx5=ceild(77-120,14);idx5<=floord(10*77-823,77);idx5++) {
3292 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3293 S2(idx4 = 77) ;
3294 }
3295 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3296 S1(idx4 = 77) ;
3297 }
3298 }
3299 for (idx5=ceild(77-83,14);idx5<=floord(77-79,14);idx5++) {
3300 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3301 S6(idx4 = 77) ;
3302 }
3303 for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3304 S1(idx4 = 77) ;
3305 }
3306 }
3307 for (idx5=6;idx5<=18;idx5++) {
3308 for (idx6=max(ceild(77+6,14),6);idx6<=min(min(floord(-idx5+36,2),floord(77+42,14)),idx5);idx6++) {
3309 S5(idx4 = 77) ;
3310 }
3311 for (idx6=max(ceild(-6*(77)+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3312 S6(idx4 = 77) ;
3313 }
3314 for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3315 S8(idx4 = 77) ;
3316 }
3317 for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3318 S1(idx4 = 77) ;
3319 }
3320 }
3321 for (idx5=ceild(10*77-822,77);idx5<=floord(77-84,14);idx5++) {
3322 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3323 S6(idx4 = 77) ;
3324 }
3325 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3326 S2(idx4 = 77) ;
3327 }
3328 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3329 S1(idx4 = 77) ;
3330 }
3331 }
3332 for (idx5=0;idx5<=floord(10*77-697,77);idx5++) {
3333 for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3334 S9(idx4 = 77) ;
3335 }
3336 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3337 S6(idx4 = 77) ;
3338 S9(idx4 = 77) ;
3339 }
3340 for (idx6=ceild(-6*(77)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3341 S9(idx4 = 77) ;
3342 }
3343 for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3344 S1(idx4 = 77) ;
3345 }
3346 }
3347 for (idx6=2;idx6<=7;idx6++) {
3348 S9(idx4 = 77,idx5 = 2) ;
3349 }
3350 S7(idx4 = 77,idx5 = 2,idx6 = 8) ;
3351 S9(idx4 = 77,idx5 = 2,idx6 = 8) ;
3352 S8(idx4 = 77,idx5 = 2,idx6 = 26) ;
3353 S9(idx4 = 77,idx5 = 2,idx6 = 9) ;
3354 for (idx6=10;idx6<=floord(-6*(77)+1294,77);idx6++) {
3355 S6(idx4 = 77,idx5 = 2) ;
3356 S9(idx4 = 77,idx5 = 2) ;
3357 }
3358 for (idx6=ceild(-6*(77)+1295,77);idx6<=20;idx6++) {
3359 S9(idx4 = 77,idx5 = 2) ;
3360 }
3361 for (idx6=ceild(-3*(77)+700,14);idx6<=floord(-3*(77)+808,14);idx6++) {
3362 S1(idx4 = 77,idx5 = 2) ;
3363 }
3364 for (idx5=3;idx5<=floord(77+5,14);idx5++) {
3365 for (idx6=max(max(ceild(12*idx5+252,30),ceild(-6*(77)+77*idx5+924,77)),ceild(6*idx5+36,6));idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3366 S6(idx4 = 77) ;
3367 }
3368 for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3369 S8(idx4 = 77) ;
3370 }
3371 for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3372 S1(idx4 = 77) ;
3373 }
3374 }
3375 for (idx5=19;idx5<=20;idx5++) {
3376 for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(77+42,14));idx6++) {
3377 S5(idx4 = 77) ;
3378 }
3379 for (idx6=max(ceild(-6*(77)+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3380 S6(idx4 = 77) ;
3381 }
3382 for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3383 S8(idx4 = 77) ;
3384 }
3385 }
3386 for (idx5=21;idx5<=24;idx5++) {
3387 for (idx6=max(ceild(-6*(77)+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=min(floord(-6*(77)+77*idx5+1140,77),30);idx6++) {
3388 S6(idx4 = 77) ;
3389 }
3390 for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3391 S8(idx4 = 77) ;
3392 }
3393 }
3394 for (idx5=ceild(10*77-696,77);idx5<=1;idx5++) {
3395 for (idx6=-2*idx5+6;idx6<=floord(2*77-7*idx5+11,21);idx6++) {
3396 S9(idx4 = 77) ;
3397 }
3398 for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3399 S9(idx4 = 77) ;
3400 }
3401 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3402 S6(idx4 = 77) ;
3403 S9(idx4 = 77) ;
3404 }
3405 for (idx6=max(ceild(2*77-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
3406 S7(idx4 = 77) ;
3407 S9(idx4 = 77) ;
3408 }
3409 for (idx6=ceild(-6*(77)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3410 S9(idx4 = 77) ;
3411 }
3412 for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3413 S1(idx4 = 77) ;
3414 }
3415 }
3416 for (idx4=78;idx4<=80;idx4++) {
3417 for (idx5=ceild(idx4-120,14);idx5<=floord(10*idx4-823,77);idx5++) {
3418 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3419 S2 ;
3420 }
3421 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3422 S1 ;
3423 }
3424 }
3425 for (idx5=ceild(idx4-83,14);idx5<=floord(idx4-79,14);idx5++) {
3426 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3427 S6 ;
3428 }
3429 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3430 S1 ;
3431 }
3432 }
3433 for (idx5=max(6,ceild(idx4+6,14));idx5<=18;idx5++) {
3434 for (idx6=max(ceild(idx4+6,14),6);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
3435 S5 ;
3436 }
3437 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3438 S6 ;
3439 }
3440 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3441 S8 ;
3442 }
3443 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3444 S1 ;
3445 }
3446 }
3447 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-84,14);idx5++) {
3448 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3449 S6 ;
3450 }
3451 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3452 S2 ;
3453 }
3454 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3455 S1 ;
3456 }
3457 }
3458 for (idx5=max(0,ceild(idx4-78,14));idx5<=1;idx5++) {
3459 for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3460 S9 ;
3461 }
3462 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3463 S6 ;
3464 S9 ;
3465 }
3466 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3467 S9 ;
3468 }
3469 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3470 S1 ;
3471 }
3472 }
3473 for (idx6=2;idx6<=7;idx6++) {
3474 S9(idx5 = 2) ;
3475 }
3476 S7(idx5 = 2,idx6 = 8) ;
3477 S9(idx5 = 2,idx6 = 8) ;
3478 S8(idx5 = 2,idx6 = 26) ;
3479 S9(idx5 = 2,idx6 = 9) ;
3480 for (idx6=10;idx6<=floord(-6*idx4+1294,77);idx6++) {
3481 S6(idx5 = 2) ;
3482 S9(idx5 = 2) ;
3483 }
3484 for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3485 S9(idx5 = 2) ;
3486 }
3487 for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
3488 S1(idx5 = 2) ;
3489 }
3490 for (idx5=3;idx5<=floord(idx4+5,14);idx5++) {
3491 for (idx6=max(max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77)),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3492 S6 ;
3493 }
3494 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3495 S8 ;
3496 }
3497 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3498 S1 ;
3499 }
3500 }
3501 for (idx5=19;idx5<=20;idx5++) {
3502 for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
3503 S5 ;
3504 }
3505 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3506 S6 ;
3507 }
3508 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3509 S8 ;
3510 }
3511 }
3512 for (idx5=21;idx5<=24;idx5++) {
3513 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3514 S6 ;
3515 }
3516 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3517 S8 ;
3518 }
3519 }
3520 }
3521 for (idx5=ceild(81-120,14);idx5<=floord(81-84,14);idx5++) {
3522 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3523 S2(idx4 = 81) ;
3524 }
3525 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3526 S1(idx4 = 81) ;
3527 }
3528 }
3529 for (idx5=max(ceild(10*81-822,77),ceild(81-83,14));idx5<=floord(81-79,14);idx5++) {
3530 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(81)+77*idx5+1140,77);idx6++) {
3531 S6(idx4 = 81) ;
3532 }
3533 for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3534 S1(idx4 = 81) ;
3535 }
3536 }
3537 for (idx5=ceild(81+6,14);idx5<=18;idx5++) {
3538 for (idx6=max(ceild(81+6,14),6);idx6<=min(min(floord(-idx5+36,2),floord(81+42,14)),idx5);idx6++) {
3539 S5(idx4 = 81) ;
3540 }
3541 for (idx6=max(ceild(-6*(81)+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*(81)+77*idx5+1140,77);idx6++) {
3542 S6(idx4 = 81) ;
3543 }
3544 for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3545 S8(idx4 = 81) ;
3546 }
3547 for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3548 S1(idx4 = 81) ;
3549 }
3550 }
3551 for (idx5=ceild(81-78,14);idx5<=1;idx5++) {
3552 for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3553 S9(idx4 = 81) ;
3554 }
3555 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(81)+77*idx5+1140,77);idx6++) {
3556 S6(idx4 = 81) ;
3557 S9(idx4 = 81) ;
3558 }
3559 for (idx6=ceild(-6*(81)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3560 S9(idx4 = 81) ;
3561 }
3562 for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3563 S1(idx4 = 81) ;
3564 }
3565 }
3566 for (idx6=2;idx6<=7;idx6++) {
3567 S9(idx4 = 81,idx5 = 2) ;
3568 }
3569 S7(idx4 = 81,idx5 = 2,idx6 = 8) ;
3570 S9(idx4 = 81,idx5 = 2,idx6 = 8) ;
3571 S8(idx4 = 81,idx5 = 2,idx6 = 26) ;
3572 S9(idx4 = 81,idx5 = 2,idx6 = 9) ;
3573 for (idx6=10;idx6<=floord(-6*(81)+1294,77);idx6++) {
3574 S6(idx4 = 81,idx5 = 2) ;
3575 S9(idx4 = 81,idx5 = 2) ;
3576 }
3577 for (idx6=ceild(-6*(81)+1295,77);idx6<=20;idx6++) {
3578 S9(idx4 = 81,idx5 = 2) ;
3579 }
3580 for (idx6=ceild(-3*(81)+700,14);idx6<=floord(-3*(81)+808,14);idx6++) {
3581 S1(idx4 = 81,idx5 = 2) ;
3582 }
3583 for (idx5=3;idx5<=floord(81+5,14);idx5++) {
3584 for (idx6=max(max(ceild(12*idx5+252,30),ceild(-6*(81)+77*idx5+924,77)),ceild(6*idx5+36,6));idx6<=floord(-6*(81)+77*idx5+1140,77);idx6++) {
3585 S6(idx4 = 81) ;
3586 }
3587 for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3588 S8(idx4 = 81) ;
3589 }
3590 for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3591 S1(idx4 = 81) ;
3592 }
3593 }
3594 for (idx5=19;idx5<=20;idx5++) {
3595 for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(81+42,14));idx6++) {
3596 S5(idx4 = 81) ;
3597 }
3598 for (idx6=max(ceild(-6*(81)+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*(81)+77*idx5+1140,77);idx6++) {
3599 S6(idx4 = 81) ;
3600 }
3601 for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3602 S8(idx4 = 81) ;
3603 }
3604 }
3605 for (idx5=21;idx5<=24;idx5++) {
3606 for (idx6=max(ceild(-6*(81)+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=min(floord(-6*(81)+77*idx5+1140,77),30);idx6++) {
3607 S6(idx4 = 81) ;
3608 }
3609 for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3610 S8(idx4 = 81) ;
3611 }
3612 }
3613 for (idx4=82;idx4<=83;idx4++) {
3614 for (idx5=ceild(idx4-120,14);idx5<=floord(idx4-84,14);idx5++) {
3615 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3616 S2 ;
3617 }
3618 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3619 S1 ;
3620 }
3621 }
3622 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-79,14);idx5++) {
3623 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3624 S6 ;
3625 }
3626 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3627 S1 ;
3628 }
3629 }
3630 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
3631 for (idx6=max(ceild(idx4+6,14),6);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
3632 S5 ;
3633 }
3634 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3635 S6 ;
3636 }
3637 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3638 S8 ;
3639 }
3640 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3641 S1 ;
3642 }
3643 }
3644 for (idx5=ceild(idx4-83,14);idx5<=floord(10*idx4-823,77);idx5++) {
3645 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3646 S1 ;
3647 }
3648 }
3649 for (idx5=ceild(idx4-78,14);idx5<=1;idx5++) {
3650 for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3651 S9 ;
3652 }
3653 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3654 S6 ;
3655 S9 ;
3656 }
3657 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3658 S9 ;
3659 }
3660 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3661 S1 ;
3662 }
3663 }
3664 for (idx6=2;idx6<=7;idx6++) {
3665 S9(idx5 = 2) ;
3666 }
3667 S7(idx5 = 2,idx6 = 8) ;
3668 S9(idx5 = 2,idx6 = 8) ;
3669 S8(idx5 = 2,idx6 = 26) ;
3670 S9(idx5 = 2,idx6 = 9) ;
3671 for (idx6=10;idx6<=floord(-6*idx4+1294,77);idx6++) {
3672 S6(idx5 = 2) ;
3673 S9(idx5 = 2) ;
3674 }
3675 for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3676 S9(idx5 = 2) ;
3677 }
3678 for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
3679 S1(idx5 = 2) ;
3680 }
3681 for (idx5=3;idx5<=floord(idx4+5,14);idx5++) {
3682 for (idx6=max(max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77)),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3683 S6 ;
3684 }
3685 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3686 S8 ;
3687 }
3688 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3689 S1 ;
3690 }
3691 }
3692 for (idx5=19;idx5<=20;idx5++) {
3693 for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
3694 S5 ;
3695 }
3696 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3697 S6 ;
3698 }
3699 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3700 S8 ;
3701 }
3702 }
3703 for (idx5=21;idx5<=24;idx5++) {
3704 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3705 S6 ;
3706 }
3707 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3708 S8 ;
3709 }
3710 }
3711 }
3712 for (idx4=84;idx4<=85;idx4++) {
3713 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
3714 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3715 S2 ;
3716 }
3717 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3718 S1 ;
3719 }
3720 }
3721 for (idx5=ceild(10*idx4-822,77);idx5<=floord(idx4-79,14);idx5++) {
3722 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3723 S6 ;
3724 }
3725 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3726 S1 ;
3727 }
3728 }
3729 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
3730 for (idx6=max(ceild(idx4+6,14),6);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
3731 S5 ;
3732 }
3733 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3734 S6 ;
3735 }
3736 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3737 S8 ;
3738 }
3739 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3740 S1 ;
3741 }
3742 }
3743 for (idx5=ceild(idx4-83,14);idx5<=floord(10*idx4-823,77);idx5++) {
3744 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3745 S1 ;
3746 }
3747 }
3748 for (idx5=ceild(idx4-78,14);idx5<=1;idx5++) {
3749 for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3750 S9 ;
3751 }
3752 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3753 S6 ;
3754 S9 ;
3755 }
3756 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3757 S9 ;
3758 }
3759 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3760 S1 ;
3761 }
3762 }
3763 for (idx6=2;idx6<=7;idx6++) {
3764 S9(idx5 = 2) ;
3765 }
3766 S7(idx5 = 2,idx6 = 8) ;
3767 S9(idx5 = 2,idx6 = 8) ;
3768 S8(idx5 = 2,idx6 = 26) ;
3769 S9(idx5 = 2,idx6 = 9) ;
3770 for (idx6=10;idx6<=floord(-6*idx4+1294,77);idx6++) {
3771 S6(idx5 = 2) ;
3772 S9(idx5 = 2) ;
3773 }
3774 for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3775 S9(idx5 = 2) ;
3776 }
3777 for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
3778 S1(idx5 = 2) ;
3779 }
3780 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
3781 for (idx6=max(max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77)),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3782 S6 ;
3783 }
3784 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3785 S8 ;
3786 }
3787 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3788 S1 ;
3789 }
3790 }
3791 for (idx5=19;idx5<=20;idx5++) {
3792 for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
3793 S5 ;
3794 }
3795 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3796 S6 ;
3797 }
3798 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3799 S8 ;
3800 }
3801 }
3802 for (idx5=21;idx5<=24;idx5++) {
3803 for (idx6=max(ceild(-6*idx4+77*idx5+924,77),ceild(6*idx5+36,6));idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3804 S6 ;
3805 }
3806 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3807 S8 ;
3808 }
3809 }
3810 for (idx5=3;idx5<=floord(idx4-42,14);idx5++) {
3811 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
3812 S9 ;
3813 }
3814 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
3815 S8 ;
3816 }
3817 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3818 S6 ;
3819 S9 ;
3820 }
3821 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3822 S9 ;
3823 }
3824 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3825 S1 ;
3826 }
3827 }
3828 }
3829 for (idx4=86;idx4<=89;idx4++) {
3830 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
3831 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3832 S2 ;
3833 }
3834 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3835 S1 ;
3836 }
3837 }
3838 for (idx5=19;idx5<=20;idx5++) {
3839 for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
3840 S5 ;
3841 }
3842 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3843 S6 ;
3844 }
3845 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3846 S8 ;
3847 }
3848 }
3849 for (idx6=4;idx6<=8;idx6++) {
3850 S9(idx5 = 1) ;
3851 }
3852 for (idx6=ceild(-3*idx4+686,14);idx6<=floord(-3*idx4+794,14);idx6++) {
3853 S1(idx5 = 1) ;
3854 }
3855 for (idx6=9;idx6<=floord(-6*idx4+1217,77);idx6++) {
3856 S6(idx5 = 1) ;
3857 S9(idx5 = 1) ;
3858 }
3859 for (idx6=ceild(-6*idx4+1218,77);idx6<=22;idx6++) {
3860 S9(idx5 = 1) ;
3861 }
3862 for (idx5=2;idx5<=floord(idx4-42,14);idx5++) {
3863 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
3864 S9 ;
3865 }
3866 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3867 S6 ;
3868 S9 ;
3869 }
3870 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3871 S9 ;
3872 }
3873 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
3874 S8 ;
3875 }
3876 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3877 S1 ;
3878 }
3879 }
3880 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
3881 for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3882 S6 ;
3883 }
3884 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3885 S8 ;
3886 }
3887 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3888 S1 ;
3889 }
3890 }
3891 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
3892 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
3893 S5 ;
3894 }
3895 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3896 S6 ;
3897 }
3898 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3899 S8 ;
3900 }
3901 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3902 S1 ;
3903 }
3904 }
3905 for (idx5=21;idx5<=24;idx5++) {
3906 for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3907 S6 ;
3908 }
3909 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3910 S8 ;
3911 }
3912 }
3913 }
3914 for (idx4=90;idx4<=92;idx4++) {
3915 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
3916 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3917 S2 ;
3918 }
3919 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3920 S1 ;
3921 }
3922 }
3923 for (idx5=19;idx5<=20;idx5++) {
3924 for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
3925 S5 ;
3926 }
3927 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3928 S6 ;
3929 }
3930 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3931 S8 ;
3932 }
3933 }
3934 for (idx6=4;idx6<=22;idx6++) {
3935 S9(idx5 = 1) ;
3936 }
3937 for (idx6=ceild(-3*idx4+686,14);idx6<=floord(-3*idx4+794,14);idx6++) {
3938 S1(idx5 = 1) ;
3939 }
3940 for (idx5=2;idx5<=floord(idx4-42,14);idx5++) {
3941 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
3942 S9 ;
3943 }
3944 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3945 S6 ;
3946 S9 ;
3947 }
3948 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3949 S9 ;
3950 }
3951 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
3952 S8 ;
3953 }
3954 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3955 S1 ;
3956 }
3957 }
3958 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
3959 for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3960 S6 ;
3961 }
3962 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3963 S8 ;
3964 }
3965 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3966 S1 ;
3967 }
3968 }
3969 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
3970 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
3971 S5 ;
3972 }
3973 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3974 S6 ;
3975 }
3976 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3977 S8 ;
3978 }
3979 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3980 S1 ;
3981 }
3982 }
3983 for (idx5=21;idx5<=24;idx5++) {
3984 for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
3985 S6 ;
3986 }
3987 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3988 S8 ;
3989 }
3990 }
3991 }
3992 for (idx4=93;idx4<=97;idx4++) {
3993 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
3994 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3995 S2 ;
3996 }
3997 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3998 S1 ;
3999 }
4000 }
4001 for (idx5=19;idx5<=20;idx5++) {
4002 for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
4003 S5 ;
4004 }
4005 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4006 S6 ;
4007 }
4008 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4009 S8 ;
4010 }
4011 }
4012 for (idx6=ceild(-3*idx4+686,14);idx6<=floord(-3*idx4+794,14);idx6++) {
4013 S1(idx5 = 1) ;
4014 }
4015 for (idx5=2;idx5<=floord(idx4-42,14);idx5++) {
4016 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4017 S9 ;
4018 }
4019 for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4020 S6 ;
4021 S9 ;
4022 }
4023 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4024 S9 ;
4025 }
4026 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
4027 S8 ;
4028 }
4029 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4030 S1 ;
4031 }
4032 }
4033 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4034 for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4035 S6 ;
4036 }
4037 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4038 S8 ;
4039 }
4040 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4041 S1 ;
4042 }
4043 }
4044 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
4045 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4046 S5 ;
4047 }
4048 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4049 S6 ;
4050 }
4051 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4052 S8 ;
4053 }
4054 for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4055 S1 ;
4056 }
4057 }
4058 for (idx5=21;idx5<=24;idx5++) {
4059 for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
4060 S6 ;
4061 }
4062 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4063 S8 ;
4064 }
4065 }
4066 }
4067 for (idx4=98;idx4<=101;idx4++) {
4068 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
4069 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
4070 S2 ;
4071 }
4072 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4073 S1 ;
4074 }
4075 }
4076 for (idx5=ceild(10*idx4-822,77);idx5<=min(4,floord(idx4-42,14));idx5++) {
4077 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4078 S9 ;
4079 }
4080 for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4081 S6 ;
4082 S9 ;
4083 }
4084 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4085 S9 ;
4086 }
4087 for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4088 S8 ;
4089 }
4090 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4091 S1 ;
4092 }
4093 }
4094 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4095 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4096 S6 ;
4097 }
4098 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4099 S8 ;
4100 }
4101 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4102 S1 ;
4103 }
4104 }
4105 for (idx5=19;idx5<=20;idx5++) {
4106 for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
4107 S5 ;
4108 }
4109 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4110 S6 ;
4111 }
4112 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4113 S8 ;
4114 }
4115 }
4116 for (idx5=ceild(-13*idx4+3479,105);idx5<=floord(-idx4+251,7);idx5++) {
4117 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4118 S6 ;
4119 }
4120 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4121 S8 ;
4122 }
4123 }
4124 for (idx5=ceild(-idx4+252,7);idx5<=24;idx5++) {
4125 for (idx6=max(ceild(-3*idx5+126,6),ceild(3*idx5-36,3));idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4126 S4 ;
4127 }
4128 for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
4129 S6 ;
4130 }
4131 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4132 S8 ;
4133 }
4134 }
4135 for (idx5=25;idx5<=42;idx5++) {
4136 for (idx6=ceild(3*idx5-36,3);idx6<=min(floord(3*idx4+14*idx5-462,14),30);idx6++) {
4137 S4 ;
4138 }
4139 }
4140 for (idx5=1;idx5<=floord(idx4-79,14);idx5++) {
4141 for (idx6=max(max(ceild(-6*idx5+90,3),ceild(-3*idx4+14*idx5+672,14)),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4142 S1 ;
4143 }
4144 }
4145 for (idx5=2;idx5<=floord(10*idx4-823,77);idx5++) {
4146 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4147 S9 ;
4148 }
4149 for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4150 S8 ;
4151 }
4152 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4153 S1 ;
4154 }
4155 }
4156 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
4157 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4158 S5 ;
4159 }
4160 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4161 S6 ;
4162 }
4163 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4164 S8 ;
4165 }
4166 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4167 S1 ;
4168 }
4169 }
4170 }
4171 for (idx4=102;idx4<=113;idx4++) {
4172 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
4173 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
4174 S2 ;
4175 }
4176 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4177 S1 ;
4178 }
4179 }
4180 for (idx5=ceild(10*idx4-822,77);idx5<=4;idx5++) {
4181 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4182 S9 ;
4183 }
4184 for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4185 S6 ;
4186 S9 ;
4187 }
4188 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4189 S9 ;
4190 }
4191 for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4192 S8 ;
4193 }
4194 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4195 S1 ;
4196 }
4197 }
4198 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4199 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4200 S6 ;
4201 }
4202 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4203 S8 ;
4204 }
4205 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4206 S1 ;
4207 }
4208 }
4209 for (idx5=19;idx5<=min(20,floord(-idx4+246,7));idx5++) {
4210 for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
4211 S5 ;
4212 }
4213 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4214 S6 ;
4215 }
4216 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4217 S8 ;
4218 }
4219 }
4220 for (idx5=ceild(-13*idx4+3479,105);idx5<=floord(-idx4+251,7);idx5++) {
4221 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4222 S6 ;
4223 }
4224 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4225 S8 ;
4226 }
4227 }
4228 for (idx5=ceild(-idx4+252,7);idx5<=24;idx5++) {
4229 for (idx6=max(ceild(-3*idx5+126,6),ceild(3*idx5-36,3));idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4230 S4 ;
4231 }
4232 for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
4233 S6 ;
4234 }
4235 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4236 S8 ;
4237 }
4238 }
4239 for (idx5=25;idx5<=42;idx5++) {
4240 for (idx6=ceild(3*idx5-36,3);idx6<=min(floord(3*idx4+14*idx5-462,14),30);idx6++) {
4241 S4 ;
4242 }
4243 }
4244 for (idx5=1;idx5<=floord(idx4-79,14);idx5++) {
4245 for (idx6=max(max(ceild(-6*idx5+90,3),ceild(-3*idx4+14*idx5+672,14)),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4246 S1 ;
4247 }
4248 }
4249 for (idx5=max(ceild(idx4-78,14),2);idx5<=floord(10*idx4-823,77);idx5++) {
4250 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4251 S9 ;
4252 }
4253 for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4254 S8 ;
4255 }
4256 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4257 S1 ;
4258 }
4259 }
4260 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
4261 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4262 S5 ;
4263 }
4264 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4265 S6 ;
4266 }
4267 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4268 S8 ;
4269 }
4270 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4271 S1 ;
4272 }
4273 }
4274 for (idx5=5;idx5<=floord(idx4-42,14);idx5++) {
4275 for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4276 S9 ;
4277 }
4278 for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+35,6);idx6++) {
4279 S9 ;
4280 }
4281 for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4282 S6 ;
4283 S9 ;
4284 }
4285 for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4286 S9 ;
4287 }
4288 for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
4289 S8 ;
4290 }
4291 for (idx6=max(ceild(-3*idx4+14*idx5+672,14),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4292 S1 ;
4293 }
4294 }
4295 }
4296 for (idx4=114;idx4<=118;idx4++) {
4297 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
4298 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
4299 S2 ;
4300 }
4301 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4302 S1 ;
4303 }
4304 }
4305 for (idx5=1;idx5<=floord(idx4-79,14);idx5++) {
4306 for (idx6=max(ceild(-6*idx5+90,3),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4307 S1 ;
4308 }
4309 }
4310 for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4311 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4312 S9 ;
4313 }
4314 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4315 S8 ;
4316 }
4317 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4318 S1 ;
4319 }
4320 }
4321 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
4322 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4323 S5 ;
4324 }
4325 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4326 S8 ;
4327 }
4328 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4329 S1 ;
4330 }
4331 }
4332 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4333 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4334 S8 ;
4335 }
4336 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4337 S1 ;
4338 }
4339 }
4340 for (idx5=ceild(-idx4+252,7);idx5<=24;idx5++) {
4341 for (idx6=max(ceild(-3*idx5+126,6),ceild(3*idx5-36,3));idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4342 S4 ;
4343 }
4344 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4345 S8 ;
4346 }
4347 }
4348 for (idx5=25;idx5<=42;idx5++) {
4349 for (idx6=ceild(3*idx5-36,3);idx6<=min(floord(3*idx4+14*idx5-462,14),30);idx6++) {
4350 S4 ;
4351 }
4352 }
4353 for (idx5=19;idx5<=floord(-idx4+251,7);idx5++) {
4354 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4355 S8 ;
4356 }
4357 }
4358 }
4359 for (idx4=119;idx4<=120;idx4++) {
4360 for (idx5=ceild(idx4-120,14);idx5<=0;idx5++) {
4361 for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
4362 S2 ;
4363 }
4364 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4365 S1 ;
4366 }
4367 }
4368 for (idx5=1;idx5<=floord(idx4-79,14);idx5++) {
4369 for (idx6=max(ceild(-6*idx5+90,3),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4370 S1 ;
4371 }
4372 }
4373 for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4374 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4375 S9 ;
4376 }
4377 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4378 S8 ;
4379 }
4380 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4381 S1 ;
4382 }
4383 }
4384 for (idx5=ceild(idx4+6,14);idx5<=18;idx5++) {
4385 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4386 S5 ;
4387 }
4388 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4389 S8 ;
4390 }
4391 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4392 S1 ;
4393 }
4394 }
4395 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4396 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4397 S8 ;
4398 }
4399 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4400 S1 ;
4401 }
4402 }
4403 for (idx5=19;idx5<=24;idx5++) {
4404 for (idx6=max(ceild(-3*idx5+126,6),ceild(3*idx5-36,3));idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4405 S4 ;
4406 }
4407 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4408 S8 ;
4409 }
4410 }
4411 for (idx5=25;idx5<=42;idx5++) {
4412 for (idx6=ceild(3*idx5-36,3);idx6<=min(floord(3*idx4+14*idx5-462,14),30);idx6++) {
4413 S4 ;
4414 }
4415 }
4416 }
4417 for (idx4=121;idx4<=125;idx4++) {
4418 for (idx5=ceild(idx4-120,14);idx5<=floord(idx4-79,14);idx5++) {
4419 for (idx6=max(ceild(-6*idx5+90,3),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4420 S1 ;
4421 }
4422 }
4423 for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4424 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4425 S9 ;
4426 }
4427 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4428 S8 ;
4429 }
4430 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4431 S1 ;
4432 }
4433 }
4434 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4435 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4436 S8 ;
4437 }
4438 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4439 S1 ;
4440 }
4441 }
4442 for (idx5=ceild(idx4+6,14);idx5<=floord(-idx4+246,7);idx5++) {
4443 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4444 S5 ;
4445 }
4446 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4447 S8 ;
4448 }
4449 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4450 S1 ;
4451 }
4452 }
4453 for (idx5=ceild(-idx4+247,7);idx5<=18;idx5++) {
4454 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4455 S8 ;
4456 }
4457 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4458 S1 ;
4459 }
4460 }
4461 for (idx5=19;idx5<=24;idx5++) {
4462 for (idx6=max(max(ceild(-3*idx5+126,6),ceild(3*idx4+14*idx5-570,14)),ceild(3*idx5-36,3));idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4463 S4 ;
4464 }
4465 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4466 S8 ;
4467 }
4468 }
4469 for (idx5=25;idx5<=42;idx5++) {
4470 for (idx6=max(ceild(3*idx4+14*idx5-570,14),ceild(3*idx5-36,3));idx6<=min(floord(3*idx4+14*idx5-462,14),30);idx6++) {
4471 S4 ;
4472 }
4473 }
4474 }
4475 for (idx4=126;idx4<=148;idx4++) {
4476 for (idx5=ceild(idx4-120,14);idx5<=floord(idx4-79,14);idx5++) {
4477 for (idx6=max(ceild(-6*idx5+90,3),ceild(3*idx5+72,3));idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4478 S1 ;
4479 }
4480 }
4481 for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4482 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4483 S9 ;
4484 }
4485 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4486 S8 ;
4487 }
4488 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4489 S1 ;
4490 }
4491 }
4492 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4493 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4494 S8 ;
4495 }
4496 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4497 S1 ;
4498 }
4499 }
4500 for (idx5=ceild(idx4+6,14);idx5<=floord(-idx4+246,7);idx5++) {
4501 for (idx6=ceild(idx4+6,14);idx6<=min(min(floord(-idx5+36,2),floord(idx4+42,14)),idx5);idx6++) {
4502 S5 ;
4503 }
4504 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4505 S8 ;
4506 }
4507 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4508 S1 ;
4509 }
4510 }
4511 for (idx5=ceild(-idx4+247,7);idx5<=floord(-idx4+251,7);idx5++) {
4512 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4513 S8 ;
4514 }
4515 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4516 S1 ;
4517 }
4518 }
4519 for (idx5=19;idx5<=24;idx5++) {
4520 for (idx6=max(max(ceild(-3*idx5+126,6),ceild(3*idx4+14*idx5-570,14)),ceild(3*idx5-36,3));idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4521 S4 ;
4522 }
4523 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4524 S8 ;
4525 }
4526 }
4527 for (idx5=25;idx5<=min(42,floord(-3*idx4+990,14));idx5++) {
4528 for (idx6=max(ceild(3*idx4+14*idx5-570,14),ceild(3*idx5-36,3));idx6<=min(floord(3*idx4+14*idx5-462,14),30);idx6++) {
4529 S4 ;
4530 }
4531 }
4532 for (idx5=ceild(-idx4+252,7);idx5<=18;idx5++) {
4533 for (idx6=ceild(-3*idx5+126,6);idx6<=floord(3*idx4+14*idx5-462,14);idx6++) {
4534 S4 ;
4535 }
4536 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4537 S8 ;
4538 }
4539 for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4540 S1 ;
4541 }
4542 }
4543 }
4544 for (idx4=149;idx4<=162;idx4++) {
4545 for (idx5=ceild(idx4-78,14);idx5<=min(floord(idx4-42,14),8);idx5++) {
4546 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4547 S9 ;
4548 }
4549 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4550 S8 ;
4551 }
4552 }
4553 for (idx5=ceild(idx4-41,14);idx5<=floord(idx4+5,14);idx5++) {
4554 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4555 S8 ;
4556 }
4557 }
4558 for (idx5=ceild(idx4+6,14);idx5<=floord(-idx4+246,7);idx5++) {
4559 for (idx6=ceild(idx4+6,14);idx6<=min(floord(-idx5+36,2),idx5);idx6++) {
4560 S5 ;
4561 }
4562 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4563 S8 ;
4564 }
4565 }
4566 for (idx5=ceild(-idx4+247,7);idx5<=floord(-11*idx4+2965,91);idx5++) {
4567 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4568 S8 ;
4569 }
4570 }
4571 for (idx5=max(14,ceild(-idx4+252,7));idx5<=24;idx5++) {
4572 for (idx6=max(ceild(-3*idx5+126,6),ceild(3*idx4+14*idx5-570,14));idx6<=min(floord(3*idx4+14*idx5-462,14),floord(3*idx5,3));idx6++) {
4573 S4 ;
4574 }
4575 for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4576 S8 ;
4577 }
4578 }
4579 for (idx5=25;idx5<=floord(-3*idx4+990,14);idx5++) {
4580 for (idx6=ceild(3*idx4+14*idx5-570,14);idx6<=min(min(floord(3*idx4+14*idx5-462,14),30),floord(3*idx5,3));idx6++) {
4581 S4 ;
4582 }
4583 }
4584 }
4585 for (idx4=163;idx4<=181;idx4++) {
4586 for (idx5=ceild(idx4-78,14);idx5<=8;idx5++) {
4587 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4588 S9 ;
4589 }
4590 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4591 S8 ;
4592 }
4593 }
4594 for (idx5=25;idx5<=floord(-3*idx4+990,14);idx5++) {
4595 for (idx6=ceild(3*idx4+14*idx5-570,14);idx6<=min(30,floord(3*idx5,3));idx6++) {
4596 S4 ;
4597 }
4598 }
4599 for (idx5=9;idx5<=13;idx5++) {
4600 for (idx6=max(max(ceild(-6*idx5+90,3),ceild(-3*idx4+14*idx5+546,14)),ceild(3*idx5,3));idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4601 S8 ;
4602 }
4603 }
4604 for (idx5=14;idx5<=24;idx5++) {
4605 for (idx6=max(ceild(3*idx4+14*idx5-570,14),ceild(-3*idx5+126,6));idx6<=floord(3*idx5,3);idx6++) {
4606 S4 ;
4607 }
4608 for (idx6=max(ceild(-3*idx4+14*idx5+546,14),ceild(3*idx5+1,3));idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4609 S8 ;
4610 }
4611 }
4612 }
4613 for (idx4=182;idx4<=188;idx4++) {
4614 for (idx5=ceild(idx4-78,14);idx5<=8;idx5++) {
4615 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4616 S9 ;
4617 }
4618 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4619 S8 ;
4620 }
4621 }
4622 for (idx5=25;idx5<=floord(-3*idx4+990,14);idx5++) {
4623 for (idx6=ceild(3*idx4+14*idx5-570,14);idx6<=min(30,floord(3*idx5,3));idx6++) {
4624 S4 ;
4625 }
4626 }
4627 for (idx5=9;idx5<=13;idx5++) {
4628 for (idx6=max(max(ceild(-6*idx5+90,3),ceild(-3*idx4+14*idx5+546,14)),ceild(3*idx5,3));idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4629 S8 ;
4630 }
4631 }
4632 for (idx5=14;idx5<=floord(6*idx4+1471,183);idx5++) {
4633 S4(idx6 = idx5) ;
4634 S8(idx6 = idx5) ;
4635 for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4636 S8 ;
4637 }
4638 }
4639 for (idx5=ceild(6*idx4+1472,183);idx5<=24;idx5++) {
4640 for (idx6=max(ceild(3*idx4+14*idx5-570,14),ceild(-3*idx5+126,6));idx6<=floord(-3*idx4+61*idx5+545,61);idx6++) {
4641 S4 ;
4642 }
4643 S4(idx6 = idx5) ;
4644 S8(idx6 = idx5) ;
4645 for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4646 S8 ;
4647 }
4648 }
4649 }
4650 for (idx4=189;idx4<=190;idx4++) {
4651 for (idx5=ceild(idx4-78,14);idx5<=8;idx5++) {
4652 for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4653 S9 ;
4654 }
4655 for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4656 S8 ;
4657 }
4658 }
4659 for (idx5=25;idx5<=floord(-3*idx4+990,14);idx5++) {
4660 for (idx6=ceild(3*idx4+14*idx5-570,14);idx6<=min(30,floord(3*idx5,3));idx6++) {
4661 S4 ;
4662 }
4663 }
4664 for (idx5=9;idx5<=13;idx5++) {
4665 for (idx6=max(max(ceild(-6*idx5+90,3),ceild(-3*idx4+14*idx5+546,14)),ceild(3*idx5,3));idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4666 S8 ;
4667 }
4668 }
4669 for (idx5=14;idx5<=floord(6*idx4+1471,183);idx5++) {
4670 S4(idx6 = idx5) ;
4671 S8(idx6 = idx5) ;
4672 for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4673 S8 ;
4674 }
4675 }
4676 for (idx5=ceild(6*idx4+1472,183);idx5<=24;idx5++) {
4677 S4(idx6 = idx5) ;
4678 S8(idx6 = idx5) ;
4679 for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4680 S8 ;
4681 }
4682 }
4683 }
4684 for (idx4=191;idx4<=218;idx4++) {
4685 for (idx5=ceild(idx4-78,14);idx5<=24;idx5++) {
4686 for (idx6=max(ceild(-6*idx5+90,3),ceild(3*idx5,3));idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4687 S8 ;
4688 }
4689 }
4690 }
Code generator for polyhedra scanning