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