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++) {
8
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
11
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
15
for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
18
for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
22
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
25
for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
28
for (idx5=2;idx5<=18;idx5++) {
29
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
32
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
35
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
43
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
47
S3(idx5 = 0,idx6 = 0) ;
48
S10(idx5 = 0,idx6 = 0) ;
49
for (idx6=13;idx6<=24;idx6++) {
52
for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
55
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
59
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
62
for (idx5=19;idx5<=24;idx5++) {
63
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
73
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
76
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
80
for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
83
for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
86
for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
90
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
93
for (idx5=max(ceild(2*idx4+309,231),2);idx5<=18;idx5++) {
94
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
97
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
100
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
104
for (idx5=19;idx5<=24;idx5++) {
105
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
113
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
121
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
124
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
132
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
136
S3(idx5 = 0,idx6 = 0) ;
137
S10(idx5 = 0,idx6 = 0) ;
138
for (idx6=13;idx6<=24;idx6++) {
141
for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
144
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
148
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
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++) {
157
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
160
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
164
for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
167
for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
170
for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
174
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
177
for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
178
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
181
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
184
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
188
for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
189
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
197
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
205
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
208
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
216
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
220
S3(idx5 = 0,idx6 = 0) ;
221
S10(idx5 = 0,idx6 = 0) ;
222
for (idx6=13;idx6<=24;idx6++) {
225
for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
228
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
232
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
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++) {
239
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
242
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
246
for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
250
for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
251
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
254
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
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++) {
264
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
267
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
271
for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
274
for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
277
for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
281
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
284
for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
285
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
288
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
291
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
295
for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
296
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
304
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
312
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
315
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
319
S3(idx5 = 0,idx6 = 0) ;
320
S10(idx5 = 0,idx6 = 0) ;
321
for (idx6=13;idx6<=24;idx6++) {
324
for (idx6=1;idx6<=floord(-6*idx4+923,77);idx6++) {
327
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
331
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
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++) {
338
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
341
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
345
for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
349
for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
350
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
353
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
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++) {
363
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
366
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
370
for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
373
for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
376
for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
380
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
383
for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
384
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
387
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
390
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
394
for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
395
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
403
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
411
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
414
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
418
S3(idx5 = 0,idx6 = 0) ;
419
S10(idx5 = 0,idx6 = 0) ;
420
for (idx6=1;idx6<=5;idx6++) {
423
for (idx6=6;idx6<=floord(2*idx4+84,21);idx6++) {
427
for (idx6=13;idx6<=24;idx6++) {
430
for (idx6=ceild(2*idx4+85,21);idx6<=7;idx6++) {
433
for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
436
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
440
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
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++) {
447
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
450
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
454
for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
458
for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
459
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
462
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
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++) {
472
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
475
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
479
for (idx6=-8*(1);idx6<=floord(-6*idx4+77*1+923,77);idx6++) {
482
for (idx6=ceild(-3*idx4+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
485
for (idx6=ceild(-6*idx4+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
489
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
492
for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
493
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
496
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
499
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
503
for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
504
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
512
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
515
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
519
S3(idx5 = 0,idx6 = 0) ;
520
S10(idx5 = 0,idx6 = 0) ;
521
for (idx6=1;idx6<=5;idx6++) {
524
for (idx6=6;idx6<=floord(2*idx4+84,21);idx6++) {
528
for (idx6=13;idx6<=24;idx6++) {
531
for (idx6=ceild(2*idx4+85,21);idx6<=7;idx6++) {
534
for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
537
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
541
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
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++) {
548
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
551
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
555
for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
559
for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
560
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
563
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
568
for (idx5=-6;idx5<=-4;idx5++) {
569
for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+72,6);idx6++) {
572
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
575
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
579
for (idx6=-8*(1);idx6<=floord(-6*(34)+77*1+923,77);idx6++) {
580
S3(idx4 = 34,idx5 = 1) ;
582
for (idx6=ceild(-3*(34)+14*1+672,14);idx6<=floord(3*1+144,3);idx6++) {
583
S1(idx4 = 34,idx5 = 1) ;
585
for (idx6=ceild(-6*(34)+77*1+924,77);idx6<=floord(6*1+72,6);idx6++) {
586
S3(idx4 = 34,idx5 = 1) ;
587
S6(idx4 = 34,idx5 = 1) ;
589
for (idx6=ceild(6*1+73,6);idx6<=-8*(1)+24;idx6++) {
590
S3(idx4 = 34,idx5 = 1) ;
592
for (idx5=ceild(2*34+309,231);idx5<=18;idx5++) {
593
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
596
for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
599
for (idx6=max(ceild(-6*(34)+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
603
for (idx5=ceild(6*34+1387,77);idx5<=24;idx5++) {
604
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
612
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*(34)+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
615
for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
619
S3(idx4 = 34,idx5 = 0,idx6 = 0) ;
620
S10(idx4 = 34,idx5 = 0,idx6 = 0) ;
621
for (idx6=1;idx6<=5;idx6++) {
622
S3(idx4 = 34,idx5 = 0) ;
624
for (idx6=6;idx6<=min(7,floord(2*34+84,21));idx6++) {
625
S3(idx4 = 34,idx5 = 0) ;
626
S7(idx4 = 34,idx5 = 0) ;
628
for (idx6=13;idx6<=24;idx6++) {
629
S3(idx4 = 34,idx5 = 0) ;
631
for (idx6=8;idx6<=floord(-6*(34)+923,77);idx6++) {
632
S3(idx4 = 34,idx5 = 0) ;
634
for (idx6=ceild(-6*(34)+924,77);idx6<=12;idx6++) {
635
S3(idx4 = 34,idx5 = 0) ;
636
S6(idx4 = 34,idx5 = 0) ;
638
for (idx6=ceild(-3*(34)+672,14);idx6<=48;idx6++) {
639
S1(idx4 = 34,idx5 = 0) ;
641
for (idx5=2;idx5<=floord(2*34+308,231);idx5++) {
642
for (idx6=-8*idx5;idx6<=floord(-6*(34)+77*idx5+923,77);idx6++) {
645
for (idx6=ceild(-3*(34)+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
648
for (idx6=ceild(-6*(34)+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
652
for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
656
for (idx5=19;idx5<=floord(6*34+1386,77);idx5++) {
657
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
660
for (idx6=ceild(-6*(34)+77*idx5+924,77);idx6<=30;idx6++) {
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++) {
669
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
672
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+144,3);idx6++) {
676
for (idx5=ceild(idx4-20,14);idx5<=1;idx5++) {
677
for (idx6=-8*idx5;idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
680
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
683
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
687
for (idx6=ceild(6*idx5+73,6);idx6<=-8*idx5+24;idx6++) {
691
for (idx5=ceild(2*idx4+309,231);idx5<=18;idx5++) {
692
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
695
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
698
for (idx6=max(ceild(-6*idx4+77*idx5+924,77),-8*idx5+25);idx6<=floord(6*idx5+72,6);idx6++) {
702
for (idx5=ceild(6*idx4+1387,77);idx5<=24;idx5++) {
703
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
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++) {
711
for (idx6=max(ceild(12*idx5+252,30),ceild(-6*idx4+77*idx5+924,77));idx6<=floord(6*idx5+72,6);idx6++) {
714
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
718
S3(idx5 = 0,idx6 = 0) ;
719
S10(idx5 = 0,idx6 = 0) ;
720
for (idx6=1;idx6<=5;idx6++) {
723
for (idx6=6;idx6<=min(7,floord(2*idx4+84,21));idx6++) {
727
for (idx6=13;idx6<=24;idx6++) {
730
for (idx6=8;idx6<=floord(-6*idx4+923,77);idx6++) {
733
for (idx6=ceild(-6*idx4+924,77);idx6<=12;idx6++) {
737
for (idx6=ceild(-3*idx4+672,14);idx6<=48;idx6++) {
740
for (idx5=1;idx5<=floord(idx4-21,14);idx5++) {
741
for (idx6=-8*idx5;idx6<=floord(2*idx5+11,2);idx6++) {
744
for (idx6=ceild(2*idx5+12,2);idx6<=floord(2*idx4-7*idx5+84,21);idx6++) {
748
for (idx6=ceild(2*idx4-7*idx5+85,21);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
751
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(6*idx5+72,6);idx6++) {
755
for (idx6=ceild(6*idx5+73,6);idx6<=-8*idx5+24;idx6++) {
758
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
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++) {
766
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(3*idx5+144,3);idx6++) {
769
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=-8*idx5+24;idx6++) {
773
for (idx6=-8*idx5+25;idx6<=floord(6*idx5+72,6);idx6++) {
777
for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
778
for (idx6=-8*idx5;idx6<=-8*idx5+24;idx6++) {
781
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
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++) {
791
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
799
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
802
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
813
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
821
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
825
for (idx5=19;idx5<=floord(6*idx4+1386,77);idx5++) {
826
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=30;idx6++) {
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++) {
836
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
847
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
860
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
863
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
871
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
875
for (idx5=6;idx5<=18;idx5++) {
876
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
879
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
882
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
890
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
893
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
896
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
904
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
907
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
916
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
919
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
922
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
925
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
929
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
939
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
950
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
963
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
966
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
974
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
978
for (idx5=6;idx5<=18;idx5++) {
979
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
982
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
985
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
993
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
996
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
999
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1007
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1010
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1019
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1022
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1025
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1028
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1032
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1036
for (idx5=1;idx5<=floord(idx4-42,14);idx5++) {
1037
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1040
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1044
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1047
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1050
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1053
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1057
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1067
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
1078
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
1091
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1094
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1102
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1106
for (idx5=6;idx5<=18;idx5++) {
1107
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
1110
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1113
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1121
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1124
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1127
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1135
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1138
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1147
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1150
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1157
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1166
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1169
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1172
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1175
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1179
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1183
for (idx5=1;idx5<=floord(idx4-42,14);idx5++) {
1184
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1187
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1191
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1194
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1197
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1200
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1204
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1209
for (idx5=ceild(47-120,14);idx5<=floord(10*47-823,77);idx5++) {
1210
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1213
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1224
for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1237
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1240
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
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++) {
1248
for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1252
for (idx5=6;idx5<=18;idx5++) {
1253
for (idx6=6;idx6<=min(floord(47+42,14),idx5);idx6++) {
1256
for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1259
for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
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++) {
1267
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1270
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1273
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1281
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1284
for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
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++) {
1293
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1296
for (idx6=ceild(-6*(47)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1303
for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1307
for (idx5=1;idx5<=floord(47-42,14);idx5++) {
1308
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1311
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1315
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1318
for (idx6=ceild(-6*(47)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1321
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(47)+77*idx5+923,77);idx6++) {
1324
for (idx6=ceild(-6*(47)+77*idx5+924,77);idx6<=floord(-6*(47)+77*idx5+1140,77);idx6++) {
1328
for (idx6=ceild(-3*(47)+14*idx5+672,14);idx6<=floord(-3*(47)+14*idx5+780,14);idx6++) {
1332
for (idx5=ceild(48-120,14);idx5<=floord(10*48-823,77);idx5++) {
1333
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1336
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1347
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1360
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1363
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
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++) {
1371
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1375
for (idx5=6;idx5<=18;idx5++) {
1376
for (idx6=6;idx6<=min(floord(48+42,14),idx5);idx6++) {
1379
for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1382
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
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++) {
1390
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1393
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1396
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1404
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1407
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
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++) {
1416
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1419
for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1426
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1430
for (idx5=1;idx5<=floord(30*48-1382,231);idx5++) {
1431
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1434
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1438
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1441
for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1448
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
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++) {
1456
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1460
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1463
for (idx6=ceild(-6*(48)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1466
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(48)+77*idx5+923,77);idx6++) {
1469
for (idx6=ceild(-6*(48)+77*idx5+924,77);idx6<=floord(-6*(48)+77*idx5+1140,77);idx6++) {
1473
for (idx6=ceild(-3*(48)+14*idx5+672,14);idx6<=floord(-3*(48)+14*idx5+780,14);idx6++) {
1477
for (idx5=ceild(49-120,14);idx5<=floord(10*49-823,77);idx5++) {
1478
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1481
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1492
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1505
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1508
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
1516
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1520
for (idx5=6;idx5<=18;idx5++) {
1521
for (idx6=6;idx6<=min(floord(49+42,14),idx5);idx6++) {
1524
for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1527
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
1535
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1538
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1541
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1549
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1552
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
1561
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1564
for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1571
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
1575
for (idx5=1;idx5<=floord(30*49-1382,231);idx5++) {
1576
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1579
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1583
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1586
for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1593
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
1601
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1605
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1608
for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1611
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+923,77);idx6++) {
1614
for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1618
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
1626
for (idx6=ceild(2*49-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1629
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1633
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1636
for (idx6=ceild(-6*(49)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1639
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(49)+77*idx5+923,77);idx6++) {
1642
for (idx6=ceild(-6*(49)+77*idx5+924,77);idx6<=floord(-6*(49)+77*idx5+1140,77);idx6++) {
1646
for (idx6=ceild(-3*(49)+14*idx5+672,14);idx6<=floord(-3*(49)+14*idx5+780,14);idx6++) {
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++) {
1655
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
1666
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
1679
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1682
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1690
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1694
for (idx5=6;idx5<=18;idx5++) {
1695
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
1698
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1701
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1709
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1712
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1715
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1723
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1726
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1735
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1738
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1745
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1753
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1757
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1760
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1767
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
1775
for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1778
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1782
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1785
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1788
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+923,77);idx6++) {
1791
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
1795
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
1800
for (idx5=ceild(50-120,14);idx5<=floord(10*50-823,77);idx5++) {
1801
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1804
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1815
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
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++) {
1828
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
1831
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
1839
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1843
for (idx5=6;idx5<=18;idx5++) {
1844
for (idx6=6;idx6<=min(floord(50+42,14),idx5);idx6++) {
1847
for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1850
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
1858
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1861
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1864
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
1872
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1875
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
1884
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1887
for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1894
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
1898
for (idx5=1;idx5<=floord(-2*(50)+114,35);idx5++) {
1899
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
1902
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1906
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1909
for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1916
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
1924
for (idx6=ceild(2*50-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1927
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1931
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1934
for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
1941
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
1949
for (idx6=ceild(2*50-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
1952
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
1956
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
1959
for (idx6=ceild(-6*(50)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
1962
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(50)+77*idx5+923,77);idx6++) {
1965
for (idx6=ceild(-6*(50)+77*idx5+924,77);idx6<=floord(-6*(50)+77*idx5+1140,77);idx6++) {
1969
for (idx6=ceild(-3*(50)+14*idx5+672,14);idx6<=floord(-3*(50)+14*idx5+780,14);idx6++) {
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++) {
1978
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
1989
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2002
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2005
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2013
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2017
for (idx5=6;idx5<=18;idx5++) {
2018
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2021
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2024
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2032
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2035
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2038
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
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++) {
2046
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2049
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2058
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2061
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2068
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2072
for (idx5=1;idx5<=floord(-2*idx4+114,35);idx5++) {
2073
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
2076
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2080
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2083
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2090
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2098
for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2101
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2105
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2108
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2115
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2120
for (idx5=ceild(53-120,14);idx5<=floord(10*53-823,77);idx5++) {
2121
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2124
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
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++) {
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++) {
2135
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
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++) {
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++) {
2148
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2151
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
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++) {
2159
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2163
for (idx5=6;idx5<=18;idx5++) {
2164
for (idx6=6;idx6<=min(floord(53+42,14),idx5);idx6++) {
2167
for (idx6=ceild(-6*(53)+77*idx5+924,77);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2170
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
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++) {
2178
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(53)+77*idx5+1140,77);idx6++) {
2181
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
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++) {
2190
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2193
for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2200
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2204
for (idx5=1;idx5<=floord(-2*(53)+114,35);idx5++) {
2205
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
2208
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2212
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2215
for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2222
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
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++) {
2230
for (idx6=ceild(2*53-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2233
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2237
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2240
for (idx6=ceild(-6*(53)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2247
for (idx6=ceild(-3*(53)+14*idx5+672,14);idx6<=floord(-3*(53)+14*idx5+780,14);idx6++) {
2251
for (idx5=ceild(54-120,14);idx5<=floord(10*54-823,77);idx5++) {
2252
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2255
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
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++) {
2266
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
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++) {
2279
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2282
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
2290
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2294
for (idx5=6;idx5<=18;idx5++) {
2295
for (idx6=6;idx6<=min(floord(54+42,14),idx5);idx6++) {
2298
for (idx6=ceild(-6*(54)+77*idx5+924,77);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2301
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
2309
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
2317
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(54)+77*idx5+1140,77);idx6++) {
2320
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
2329
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2332
for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2339
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
2343
for (idx5=1;idx5<=floord(-2*(54)+114,35);idx5++) {
2344
for (idx6=-2*idx5+6;idx6<=floord(2*idx5+11,2);idx6++) {
2347
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2351
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2354
for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2361
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
2369
for (idx6=ceild(2*54-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2372
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2376
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2379
for (idx6=ceild(-6*(54)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2386
for (idx6=ceild(-3*(54)+14*idx5+672,14);idx6<=floord(-3*(54)+14*idx5+780,14);idx6++) {
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++) {
2395
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2406
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2419
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2422
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2430
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2434
for (idx5=6;idx5<=18;idx5++) {
2435
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2438
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2441
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2449
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2457
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2460
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2469
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2472
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2479
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2487
for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2490
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2494
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2497
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2504
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2509
for (idx5=ceild(55-120,14);idx5<=floord(10*55-823,77);idx5++) {
2510
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2513
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
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++) {
2524
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
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++) {
2537
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2540
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2548
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
2552
for (idx5=6;idx5<=18;idx5++) {
2553
for (idx6=6;idx6<=min(floord(55+42,14),idx5);idx6++) {
2556
for (idx6=ceild(-6*(55)+77*idx5+924,77);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2559
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2567
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2575
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2578
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2587
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2590
for (idx6=ceild(-6*(55)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2597
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2605
for (idx6=max(ceild(2*55-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
2609
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2612
for (idx6=ceild(-6*(55)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2615
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(55)+77*idx5+1140,77);idx6++) {
2619
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2627
for (idx6=ceild(2*55-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2630
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2634
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2637
for (idx6=ceild(-6*(55)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2644
for (idx6=ceild(-3*(55)+14*idx5+672,14);idx6<=floord(-3*(55)+14*idx5+780,14);idx6++) {
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++) {
2653
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2664
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2677
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2680
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2688
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2692
for (idx5=6;idx5<=18;idx5++) {
2693
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2696
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2699
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2707
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2715
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2718
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2727
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2730
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2737
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2745
for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
2749
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2752
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2755
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2759
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2767
for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2770
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2774
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2777
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2784
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2788
for (idx5=19;idx5<=floord(idx4+210,14);idx5++) {
2789
for (idx6=idx5-12;idx6<=floord(idx4+42,14);idx6++) {
2792
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
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++) {
2802
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2813
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
2826
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2829
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2837
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2841
for (idx5=6;idx5<=18;idx5++) {
2842
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
2845
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2848
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2856
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2864
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2867
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2875
for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
2879
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2882
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
2885
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2889
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
2897
for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
2900
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
2904
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
2907
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
2914
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
2918
for (idx5=19;idx5<=floord(idx4+210,14);idx5++) {
2919
for (idx6=idx5-12;idx6<=floord(idx4+42,14);idx6++) {
2922
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
2927
for (idx5=-4;idx5<=-3;idx5++) {
2928
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
2931
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(62)+14*idx5+780,14);idx6++) {
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) ;
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) ;
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) ;
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++) {
2949
for (idx6=ceild(12*-2+252,30);idx6<=floord(-6*(62)+77*-2+1140,77);idx6++) {
2950
S6(idx4 = 62,idx5 = -2) ;
2952
for (idx6=-2+24;idx6<=-2*(-2)+24;idx6++) {
2953
S2(idx4 = 62,idx5 = -2) ;
2955
for (idx6=ceild(-6*(-2)+90,3);idx6<=floord(-3*(62)+14*-2+780,14);idx6++) {
2956
S1(idx4 = 62,idx5 = -2) ;
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++) {
2962
for (idx6=ceild(-3*(62)+14*idx5+672,14);idx6<=floord(-3*(62)+14*idx5+780,14);idx6++) {
2966
for (idx5=6;idx5<=18;idx5++) {
2967
for (idx6=6;idx6<=min(floord(62+42,14),idx5);idx6++) {
2970
for (idx6=ceild(-6*(62)+77*idx5+924,77);idx6<=floord(-6*(62)+77*idx5+1140,77);idx6++) {
2973
for (idx6=ceild(-3*(62)+14*idx5+672,14);idx6<=floord(-3*(62)+14*idx5+780,14);idx6++) {
2977
for (idx6=ceild(12*-1+252,30);idx6<=floord(-6*(62)+77*-1+1140,77);idx6++) {
2978
S6(idx4 = 62,idx5 = -1) ;
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) ;
2983
for (idx6=-2*(0)+6;idx6<=floord(2*62-7*(0)+11,21);idx6++) {
2984
S9(idx4 = 62,idx5 = 0) ;
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) ;
2990
for (idx6=ceild(4*0+73,10);idx6<=floord(12*0+251,30);idx6++) {
2991
S9(idx4 = 62,idx5 = 0) ;
2993
for (idx6=ceild(-6*(62)+77*0+1141,77);idx6<=-2*(0)+24;idx6++) {
2994
S9(idx4 = 62,idx5 = 0) ;
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) ;
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) ;
3003
for (idx6=-2*(1)+6;idx6<=floord(2*62-7*(1)+11,21);idx6++) {
3004
S9(idx4 = 62,idx5 = 1) ;
3006
for (idx6=ceild(2*62-7*(1)+12,21);idx6<=floord(2*1+11,2);idx6++) {
3007
S9(idx4 = 62,idx5 = 1) ;
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) ;
3013
for (idx6=ceild(4*1+73,10);idx6<=floord(12*1+251,30);idx6++) {
3014
S9(idx4 = 62,idx5 = 1) ;
3016
for (idx6=ceild(-6*(62)+77*1+1141,77);idx6<=-2*(1)+24;idx6++) {
3017
S9(idx4 = 62,idx5 = 1) ;
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) ;
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) ;
3026
for (idx6=19-12;idx6<=floord(62+42,14);idx6++) {
3027
S5(idx4 = 62,idx5 = 19) ;
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) ;
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++) {
3037
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
3048
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
3061
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3064
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3072
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3076
for (idx5=6;idx5<=18;idx5++) {
3077
for (idx6=6;idx6<=min(floord(idx4+42,14),idx5);idx6++) {
3080
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3083
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3091
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3099
for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
3103
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3106
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3109
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3113
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3121
for (idx6=ceild(2*idx4-7*idx5+12,21);idx6<=floord(2*idx5+11,2);idx6++) {
3124
for (idx6=ceild(2*idx5+12,2);idx6<=floord(4*idx5+72,10);idx6++) {
3128
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3131
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
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++) {
3138
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3146
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3150
for (idx5=19;idx5<=floord(idx4+210,14);idx5++) {
3151
for (idx6=idx5-12;idx6<=floord(idx4+42,14);idx6++) {
3154
for (idx6=ceild(-6*idx4+77*idx5+924,77);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
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++) {
3164
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3172
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
3183
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3186
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3194
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3197
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3201
for (idx5=0;idx5<=floord(10*idx4-697,77);idx5++) {
3202
for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3205
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3209
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3212
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3216
for (idx6=2;idx6<=7;idx6++) {
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++) {
3227
for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3230
for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
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++) {
3237
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3240
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3244
for (idx5=19;idx5<=20;idx5++) {
3245
for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
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++) {
3251
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3259
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3267
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3270
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3274
for (idx6=max(ceild(2*idx4-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
3278
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3281
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3291
for (idx5=ceild(77-120,14);idx5<=floord(10*77-823,77);idx5++) {
3292
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3295
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
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++) {
3303
for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
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++) {
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++) {
3314
for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3317
for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
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++) {
3325
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3328
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3332
for (idx5=0;idx5<=floord(10*77-697,77);idx5++) {
3333
for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3336
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3340
for (idx6=ceild(-6*(77)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3343
for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3347
for (idx6=2;idx6<=7;idx6++) {
3348
S9(idx4 = 77,idx5 = 2) ;
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) ;
3358
for (idx6=ceild(-6*(77)+1295,77);idx6<=20;idx6++) {
3359
S9(idx4 = 77,idx5 = 2) ;
3361
for (idx6=ceild(-3*(77)+700,14);idx6<=floord(-3*(77)+808,14);idx6++) {
3362
S1(idx4 = 77,idx5 = 2) ;
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++) {
3368
for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3371
for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
3375
for (idx5=19;idx5<=20;idx5++) {
3376
for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(77+42,14));idx6++) {
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++) {
3382
for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3390
for (idx6=ceild(-3*(77)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3398
for (idx6=ceild(4*idx5+73,10);idx6<=floord(12*idx5+251,30);idx6++) {
3401
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(77)+77*idx5+1140,77);idx6++) {
3405
for (idx6=max(ceild(2*77-7*idx5+12,21),ceild(2*idx5+12,2));idx6<=floord(4*idx5+72,10);idx6++) {
3409
for (idx6=ceild(-6*(77)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3412
for (idx6=ceild(-3*(77)+14*idx5+672,14);idx6<=floord(-3*(77)+14*idx5+780,14);idx6++) {
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++) {
3421
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3429
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
3440
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3443
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3451
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3454
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3462
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3466
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3469
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3473
for (idx6=2;idx6<=7;idx6++) {
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++) {
3484
for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3487
for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
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++) {
3494
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3497
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3501
for (idx5=19;idx5<=20;idx5++) {
3502
for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
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++) {
3508
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3516
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3521
for (idx5=ceild(81-120,14);idx5<=floord(81-84,14);idx5++) {
3522
for (idx6=idx5+24;idx6<=-2*idx5+24;idx6++) {
3525
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
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++) {
3533
for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
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++) {
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++) {
3544
for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3547
for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3551
for (idx5=ceild(81-78,14);idx5<=1;idx5++) {
3552
for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3555
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*(81)+77*idx5+1140,77);idx6++) {
3559
for (idx6=ceild(-6*(81)+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3562
for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3566
for (idx6=2;idx6<=7;idx6++) {
3567
S9(idx4 = 81,idx5 = 2) ;
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) ;
3577
for (idx6=ceild(-6*(81)+1295,77);idx6<=20;idx6++) {
3578
S9(idx4 = 81,idx5 = 2) ;
3580
for (idx6=ceild(-3*(81)+700,14);idx6<=floord(-3*(81)+808,14);idx6++) {
3581
S1(idx4 = 81,idx5 = 2) ;
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++) {
3587
for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3590
for (idx6=ceild(-3*(81)+14*idx5+672,14);idx6<=floord(-3*(81)+14*idx5+780,14);idx6++) {
3594
for (idx5=19;idx5<=20;idx5++) {
3595
for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(81+42,14));idx6++) {
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++) {
3601
for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3609
for (idx6=ceild(-3*(81)+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3618
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3626
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
3637
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3640
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3649
for (idx5=ceild(idx4-78,14);idx5<=1;idx5++) {
3650
for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3653
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3657
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3660
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3664
for (idx6=2;idx6<=7;idx6++) {
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++) {
3675
for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3678
for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
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++) {
3685
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3688
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3692
for (idx5=19;idx5<=20;idx5++) {
3693
for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
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++) {
3699
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3707
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3717
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3725
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
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++) {
3736
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3739
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3748
for (idx5=ceild(idx4-78,14);idx5<=1;idx5++) {
3749
for (idx6=-2*idx5+6;idx6<=floord(12*idx5+251,30);idx6++) {
3752
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3756
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3759
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3763
for (idx6=2;idx6<=7;idx6++) {
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++) {
3774
for (idx6=ceild(-6*idx4+1295,77);idx6<=20;idx6++) {
3777
for (idx6=ceild(-3*idx4+700,14);idx6<=floord(-3*idx4+808,14);idx6++) {
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++) {
3784
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3787
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3791
for (idx5=19;idx5<=20;idx5++) {
3792
for (idx6=idx5-12;idx6<=min(floord(-idx5+36,2),floord(idx4+42,14));idx6++) {
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++) {
3798
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3806
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3810
for (idx5=3;idx5<=floord(idx4-42,14);idx5++) {
3811
for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
3814
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
3817
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3821
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3824
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3834
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3838
for (idx5=19;idx5<=20;idx5++) {
3839
for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
3842
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3845
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3849
for (idx6=4;idx6<=8;idx6++) {
3852
for (idx6=ceild(-3*idx4+686,14);idx6<=floord(-3*idx4+794,14);idx6++) {
3855
for (idx6=9;idx6<=floord(-6*idx4+1217,77);idx6++) {
3859
for (idx6=ceild(-6*idx4+1218,77);idx6<=22;idx6++) {
3862
for (idx5=2;idx5<=floord(idx4-42,14);idx5++) {
3863
for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
3866
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3870
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3873
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
3876
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3884
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3887
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3895
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3898
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3901
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3909
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3919
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
3923
for (idx5=19;idx5<=20;idx5++) {
3924
for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
3927
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3930
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3934
for (idx6=4;idx6<=22;idx6++) {
3937
for (idx6=ceild(-3*idx4+686,14);idx6<=floord(-3*idx4+794,14);idx6++) {
3940
for (idx5=2;idx5<=floord(idx4-42,14);idx5++) {
3941
for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
3944
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3948
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
3951
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
3954
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3962
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3965
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3973
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
3976
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
3979
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
3987
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
3997
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4001
for (idx5=19;idx5<=20;idx5++) {
4002
for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
4005
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4008
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4012
for (idx6=ceild(-3*idx4+686,14);idx6<=floord(-3*idx4+794,14);idx6++) {
4015
for (idx5=2;idx5<=floord(idx4-42,14);idx5++) {
4016
for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4019
for (idx6=ceild(12*idx5+252,30);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4023
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4026
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(3*idx5+72,3);idx6++) {
4029
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4037
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4040
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4048
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4051
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
4054
for (idx6=ceild(-3*idx4+14*idx5+672,14);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4062
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(3*idx5+72,3);idx6++) {
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++) {
4072
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4080
for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4084
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4087
for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
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++) {
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++) {
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++) {
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++) {
4105
for (idx5=19;idx5<=20;idx5++) {
4106
for (idx6=max(ceild(idx4+6,14),idx5-12);idx6<=floord(-idx5+36,2);idx6++) {
4109
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
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++) {
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++) {
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++) {
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++) {
4128
for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
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++) {
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++) {
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++) {
4145
for (idx5=2;idx5<=floord(10*idx4-823,77);idx5++) {
4146
for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4149
for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
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++) {
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++) {
4160
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
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++) {
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++) {
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++) {
4176
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
4180
for (idx5=ceild(10*idx4-822,77);idx5<=4;idx5++) {
4181
for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4184
for (idx6=max(ceild(12*idx5+252,30),ceild(6*idx5+36,6));idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4188
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4191
for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
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++) {
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++) {
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++) {
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++) {
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++) {
4213
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
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++) {
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++) {
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++) {
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++) {
4232
for (idx6=ceild(6*idx5+36,6);idx6<=min(floord(-6*idx4+77*idx5+1140,77),30);idx6++) {
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++) {
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++) {
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++) {
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++) {
4253
for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
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++) {
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++) {
4264
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
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++) {
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++) {
4274
for (idx5=5;idx5<=floord(idx4-42,14);idx5++) {
4275
for (idx6=idx5;idx6<=floord(12*idx5+251,30);idx6++) {
4278
for (idx6=ceild(12*idx5+252,30);idx6<=floord(6*idx5+35,6);idx6++) {
4281
for (idx6=ceild(6*idx5+36,6);idx6<=floord(-6*idx4+77*idx5+1140,77);idx6++) {
4285
for (idx6=ceild(-6*idx4+77*idx5+1141,77);idx6<=-2*idx5+24;idx6++) {
4288
for (idx6=ceild(-6*idx5+90,3);idx6<=min(floord(-3*idx4+14*idx5+654,14),floord(3*idx5+72,3));idx6++) {
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++) {
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++) {
4301
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4310
for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4311
for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4314
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4317
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4325
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4328
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4336
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4344
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
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++) {
4364
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4373
for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4374
for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4377
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4380
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4388
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4391
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4399
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4407
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4423
for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4424
for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4427
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4430
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4438
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4446
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4449
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4457
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4465
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4481
for (idx5=ceild(idx4-78,14);idx5<=floord(idx4-42,14);idx5++) {
4482
for (idx6=idx5;idx6<=-2*idx5+24;idx6++) {
4485
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4488
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4496
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4504
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4507
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4515
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4523
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4536
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4539
for (idx6=ceild(3*idx5+72,3);idx6<=floord(-3*idx4+14*idx5+780,14);idx6++) {
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++) {
4549
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4562
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4575
for (idx6=ceild(-3*idx4+14*idx5+546,14);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4590
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
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++) {
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++) {
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++) {
4618
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4632
for (idx5=14;idx5<=floord(6*idx4+1471,183);idx5++) {
4635
for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
4645
for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
4655
for (idx6=ceild(-6*idx5+90,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {
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++) {
4669
for (idx5=14;idx5<=floord(6*idx4+1471,183);idx5++) {
4672
for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
4676
for (idx5=ceild(6*idx4+1472,183);idx5<=24;idx5++) {
4679
for (idx6=ceild(3*idx5+1,3);idx6<=floord(-3*idx4+14*idx5+654,14);idx6++) {
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++) {