test/faber.c.ppl

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