This repository has been archived by the owner on Oct 25, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 6
/
bus123.lp
5068 lines (5065 loc) · 155 KB
/
bus123.lp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Minimize
+ xt_14 + yt_14 + 100000 s_0 + 100000 s_1 + 100000 s_2 + 100000 s_3 + 100000 s_4 + 100000 s_5 + 100000 s_6 + 100000 s_7 + 100000 s_8 + 100000 s_9 + 100000 s_10 + 100000 s_11 + 100000 s_12 + 100000 s_13 + 100000 s_14 + 100000 s_15 + 100000 s_16 + 100000 s_17 + 100000 s_18 + 100000 s_19 + 100000 s_20 + 100000 s_21 + 100000 s_22 + 100000 s_23 + 100000 s_24 + 100000 s_25 + 100000 s_26 + 100000 s_27 + 100000 s_28 + w_l_15 + xt_15 + yt_15 + 100000 s_29 + 100000 s_30 + 100000 s_31 + 100000 s_32 + 100000 s_33 + 100000 s_34 + 100000 s_35 + 100000 s_36 + 100000 s_37 + 100000 s_38 + 100000 s_39 + 100000 s_40 + 100000 s_41 + 100000 s_42 + w_l_16 + xt_16 + yt_16 + 100000 s_43 + 100000 s_44 + 100000 s_45 + 100000 s_46 + 100000 s_47 + 100000 s_48 + 100000 s_49 + 100000 s_50 + 100000 s_51 + 100000 s_52 + 100000 s_53 + 100000 s_54 + 100000 s_55 + 100000 s_56 + 100000 s_57 + w_r_17 + w_l_17 + xt_17 + yt_17 + 100000 s_58 + 100000 s_59 + 100000 s_60 + 100000 s_61 + 100000 s_62 + 100000 s_63 + 100000 s_64 + 100000 s_65 + 100000 s_66 + 100000 s_67 + 100000 s_68 + 100000 s_69 + 100000 s_70 + 100000 s_71 + 100000 s_72 + 100000 s_73 + 100000 s_74 + 100000 s_75 + 100000 s_76 + 100000 s_77 + 100000 s_78 + 100000 s_79 + 100000 s_80 + 100000 s_81 + 100000 s_82 + 100000 s_83 + 100000 s_84 + 100000 s_85 + 100000 s_86 + 100000 s_87 + 100000 s_88 + 100000 s_89 + 100000 s_90 + 100000 s_91 + 100000 s_92 + 100000 s_93 + 100000 s_94 + 100000 s_95 + 100000 s_96 + 100000 s_97 + 100000 s_98 + 100000 s_99 + 100000 s_100 + 100000 s_101 + 100000 s_102 + 100000 s_103 + 100000 s_104 + 100000 s_105 + 100000 s_106 + 100000 s_107 + 100000 s_108 + 100000 s_109 + 100000 s_110 + 100000 s_111 + 100000 s_112 + 100000 s_113 + 100000 s_114 + 100000 s_115 + 100000 s_116 + 100000 s_117 + 100000 s_118 + 100000 s_119 + 100000 s_120 + 100000 s_121 + 100000 s_122 + 100000 s_123 + 100000 s_124 + 100000 s_125 + 100000 s_126 + 100000 s_127 + 100000 s_128 + xt_27 + yt_27 + 100000 s_129 + 100000 s_130 + 100000 s_131 + 100000 s_132 + 100000 s_133 + 100000 s_134 + 100000 s_135 + 100000 s_136 + 100000 s_137 + 100000 s_138 + 100000 s_139 + 100000 s_140 + 100000 s_141 + 100000 s_142 + 100000 s_143 + 100000 s_144 + 100000 s_145 + 100000 s_146 + 100000 s_147 + 100000 s_148 + 100000 s_149 + 100000 s_150 + 100000 s_151 + 100000 s_152 + w_r_28 + xt_28 + yt_28 + 100000 s_153 + 100000 s_154 + w_l_29 + xt_29 + yt_29 + 100000 s_155 + 100000 s_156 + 100000 s_157 + 100000 s_158 + 100000 s_159 + 100000 s_160 + 100000 s_161 + 100000 s_162 + 100000 s_163 + 100000 s_164 + 100000 s_165 + 100000 s_166 + 100000 s_167 + 100000 s_168 + 100000 s_169 + 100000 s_170 + 100000 s_171 + 100000 s_172 + 100000 s_173 + 100000 s_174 + xt_30 + yt_30 + 100000 s_175 + 100000 s_176 + 100000 s_177 + 100000 s_178 + 100000 s_179 + 100000 s_180 + 100000 s_181 + 100000 s_182 + 100000 s_183 + 100000 s_184 + 100000 s_185 + 100000 s_186 + 100000 s_187 + 100000 s_188 + 100000 s_189 + 100000 s_190 + 100000 s_191 + 100000 s_192 + 100000 s_193 + 100000 s_194 + 100000 s_195 + 100000 s_196 + 100000 s_197 + 100000 s_198 + 100000 s_199 + 100000 s_200 + 100000 s_201 + 100000 s_202 + 100000 s_203 + 100000 s_204 + 100000 s_205 + 100000 s_206 + 100000 s_207 + 100000 s_208 + 100000 s_209 + 100000 s_210 + 100000 s_211 + 100000 s_212 + 100000 s_213 + 100000 s_214 + 100000 s_215 + 100000 s_216 + 100000 s_217 + 100000 s_218 + 100000 s_219 + 100000 s_220 + 100000 s_221 + 100000 s_222 + 100000 s_223 + 100000 s_224 + 100000 s_225 + 100000 s_226 + 100000 s_227 + 100000 s_228 + 100000 s_229 + 100000 s_230 + 100000 s_231 + 100000 s_232 + 100000 s_233 + 100000 s_234 + 100000 s_235 + 100000 s_236 + 100000 s_237 + 100000 s_238 + 100000 s_239 + 100000 s_240 + 100000 s_241 + 100000 s_242 + 100000 s_243 + 100000 s_244 + 100000 s_245 + 100000 s_246 + 100000 s_247 + 100000 s_248 + 100000 s_249 + 100000 s_250 + 100000 s_251 + 100000 s_252 + 100000 s_253 + 100000 s_254 + 100000 s_255 + 100000 s_256 + 100000 s_257 + 100000 s_258 + 100000 s_259 + 100000 s_260 + 100000 s_261 + 100000 s_262 + 100000 s_263 + 100000 s_264 + 100000 s_265 + 100000 s_266 + 100000 s_267 + 100000 s_268 + 100000 s_269 + 100000 s_270 + 100000 s_271 + 100000 s_272 + 100000 s_273 + 100000 s_274 + 100000 s_275 + 100000 s_276 + 100000 s_277 + 100000 s_278 + 100000 s_279 + 100000 s_280 + w_r_42 + w_l_42 + xt_42 + yt_42 + 100000 s_281 + 100000 s_282 + 100000 s_283 + 100000 s_284 + 100000 s_285 + 100000 s_286 + 100000 s_287 + 100000 s_288 + 100000 s_289 + 100000 s_290 + 100000 s_291 + 100000 s_292 + 100000 s_293 + 100000 s_294 + 100000 s_295 + 100000 s_296 + 100000 s_297 + 100000 s_298 + 100000 s_299 + 100000 s_300 + 100000 s_301 + 100000 s_302 + 100000 s_303 + 100000 s_304 + 100000 s_305 + 100000 s_306 + 100000 s_307 + 100000 s_308 + 100000 s_309 + 100000 s_310 + 100000 s_311 + 100000 s_312 + 100000 s_313 + 100000 s_314 + 100000 s_315 + 100000 s_316 + 100000 s_317 + 100000 s_318 + 100000 s_319 + 100000 s_320 + 100000 s_321 + 100000 s_322 + 100000 s_323 + 100000 s_324 + 100000 s_325 + 100000 s_326 + 100000 s_327 + 100000 s_328 + 100000 s_329 + 100000 s_330 + 100000 s_331 + 100000 s_332 + 100000 s_333 + 100000 s_334 + 100000 s_335 + 100000 s_336 + 100000 s_337 + 100000 s_338 + 100000 s_339 + 100000 s_340 + 100000 s_341 + 100000 s_342 + 100000 s_343 + 100000 s_344 + 100000 s_345 + 100000 s_346 + 100000 s_347 + 100000 s_348 + 100000 s_349 + 100000 s_350 + 100000 s_351 + 100000 s_352 + 100000 s_353 + 100000 s_354 + w_r_43 + w_l_43 + xt_43 + yt_43 + 100000 s_355 + 100000 s_356 + 100000 s_357 + 100000 s_358 + 100000 s_359 + 100000 s_360 + 100000 s_361 + 100000 s_362 + 100000 s_363 + 100000 s_364 + 100000 s_365 + 100000 s_366 + 100000 s_367 + 100000 s_368 + 100000 s_369 + 100000 s_370 + 100000 s_371 + 100000 s_372 + 100000 s_373 + 100000 s_374 + 100000 s_375 + 100000 s_376 + 100000 s_377 + 100000 s_378 + 100000 s_379 + 100000 s_380 + 100000 s_381 + 100000 s_382 + 100000 s_383 + 100000 s_384 + 100000 s_385 + 100000 s_386 + 100000 s_387 + 100000 s_388 + 100000 s_389 + 100000 s_390 + 100000 s_391 + 100000 s_392 + 100000 s_393 + 100000 s_394 + 100000 s_395 + 100000 s_396 + 100000 s_397 + 100000 s_398 + 100000 s_399 + 100000 s_400 + 100000 s_401 + 100000 s_402 + 100000 s_403 + 100000 s_404 + 100000 s_405 + 100000 s_406 + 100000 s_407 + 100000 s_408 + 100000 s_409 + 100000 s_410 + 100000 s_411 + 100000 s_412 + 100000 s_413 + 100000 s_414 + 100000 s_415 + 100000 s_416 + 100000 s_417 + 100000 s_418 + 100000 s_419 + 100000 s_420 + 100000 s_421 + 100000 s_422 + 100000 s_423 + 100000 s_424 + 100000 s_425 + 100000 s_426 + 100000 s_427 + 100000 s_428 + 100000 s_429 + 100000 s_430 + 100000 s_431 + 100000 s_432 + 100000 s_433 + w_r_44 + w_l_44 + xt_44 + yt_44 + 100000 s_434 + 100000 s_435 + 100000 s_436 + 100000 s_437 + 100000 s_438 + 100000 s_439 + 100000 s_440 + 100000 s_441 + 100000 s_442 + 100000 s_443 + 100000 s_444 + 100000 s_445 + 100000 s_446 + 100000 s_447 + 100000 s_448 + 100000 s_449 + 100000 s_450 + 100000 s_451 + 100000 s_452 + 100000 s_453 + 100000 s_454 + 100000 s_455 + 100000 s_456 + 100000 s_457 + 100000 s_458 + 100000 s_459 + 100000 s_460 + 100000 s_461 + 100000 s_462 + 100000 s_463 + 100000 s_464 + 100000 s_465 + 100000 s_466 + 100000 s_467 + 100000 s_468 + 100000 s_469 + 100000 s_470 + 100000 s_471 + 100000 s_472 + 100000 s_473 + 100000 s_474 + 100000 s_475 + 100000 s_476 + 100000 s_477 + 100000 s_478 + 100000 s_479 + 100000 s_480 + 100000 s_481 + 100000 s_482 + 100000 s_483 + 100000 s_484 + 100000 s_485 + 100000 s_486 + 100000 s_487 + 100000 s_488 + 100000 s_489 + 100000 s_490 + 100000 s_491 + 100000 s_492 + xt_47 + yt_47 + 100000 s_493 + 100000 s_494 + 100000 s_495 + 100000 s_496 + 100000 s_497 + 100000 s_498 + 100000 s_499 + 100000 s_500 + 100000 s_501 + 100000 s_502 + 100000 s_503 + 100000 s_504 + 100000 s_505 + 100000 s_506 + 100000 s_507 + 100000 s_508 + 100000 s_509 + 100000 s_510 + 100000 s_511 + 100000 s_512 + xt_48 + yt_48 + 100000 s_513 + 100000 s_514 + 100000 s_515 + 100000 s_516 + 100000 s_517 + 100000 s_518 + 100000 s_519 + 100000 s_520 + 100000 s_521 + 100000 s_522 + 100000 s_523 + 100000 s_524 + 100000 s_525 + 100000 s_526 + 100000 s_527 + 100000 s_528 + 100000 s_529 + 100000 s_530 + 100000 s_531 + 100000 s_532 + 100000 s_533 + 100000 s_534 + w_l_49 + xt_49 + yt_49 + 100000 s_535 + 100000 s_536 + 100000 s_537 + 100000 s_538 + w_l_50 + xt_50 + yt_50 + 100000 s_539 + 100000 s_540 + 100000 s_541 + 100000 s_542 + 100000 s_543 + 100000 s_544 + 100000 s_545 + 100000 s_546 + 100000 s_547 + 100000 s_548 + w_r_51 + w_l_51 + xt_51 + yt_51 + 100000 s_549 + 100000 s_550 + 100000 s_551 + 100000 s_552 + 100000 s_553 + 100000 s_554 + 100000 s_555 + 100000 s_556 + 100000 s_557 + 100000 s_558 + 100000 s_559 + 100000 s_560 + 100000 s_561 + 100000 s_562 + 100000 s_563 + 100000 s_564 + 100000 s_565 + 100000 s_566 + 100000 s_567 + 100000 s_568 + 100000 s_569 + 100000 s_570 + 100000 s_571 + 100000 s_572 + 100000 s_573 + 100000 s_574 + 100000 s_575 + 100000 s_576 + 100000 s_577 + 100000 s_578 + 100000 s_579 + 100000 s_580 + 100000 s_581 + 100000 s_582 + 100000 s_583 + 100000 s_584 + 100000 s_585 + 100000 s_586 + 100000 s_587 + 100000 s_588 + 100000 s_589 + 100000 s_590 + 100000 s_591 + 100000 s_592 + 100000 s_593 + 100000 s_594 + 100000 s_595 + 100000 s_596 + 100000 s_597 + 100000 s_598 + 100000 s_599 + 100000 s_600 + 100000 s_601 + 100000 s_602 + 100000 s_603 + 100000 s_604 + 100000 s_605 + 100000 s_606 + 100000 s_607 + 100000 s_608 + 100000 s_609 + 100000 s_610 + 100000 s_611 + 100000 s_612 + 100000 s_613 + 100000 s_614 + 100000 s_615 + 100000 s_616 + 100000 s_617 + 100000 s_618 + 100000 s_619 + 100000 s_620 + 100000 s_621 + 100000 s_622 + 100000 s_623 + 100000 s_624 + 100000 s_625 + 100000 s_626 + 100000 s_627 + 100000 s_628 + 100000 s_629 + 100000 s_630 + 100000 s_631 + 100000 s_632 + 100000 s_633 + 100000 s_634 + 100000 s_635 + 100000 s_636 + 100000 s_637 + 100000 s_638 + 100000 s_639 + xt_74 + yt_74 + 100000 s_640 + 100000 s_641 + 100000 s_642 + 100000 s_643 + 100000 s_644 + 100000 s_645 + 100000 s_646 + 100000 s_647 + 100000 s_648 + 100000 s_649 + 100000 s_650 + 100000 s_651 + 100000 s_652 + 100000 s_653 + 100000 s_654 + 100000 s_655 + 100000 s_656 + 100000 s_657 + 100000 s_658 + 100000 s_659 + 100000 s_660 + 100000 s_661 + 100000 s_662 + 100000 s_663 + 100000 s_664 + 100000 s_665 + 100000 s_666 + 100000 s_667 + 100000 s_668 + 100000 s_669 + 100000 s_670 + w_l_75 + xt_75 + yt_75 + 100000 s_671 + 100000 s_672 + 100000 s_673 + 100000 s_674 + 100000 s_675 + 100000 s_676 + 100000 s_677 + 100000 s_678 + 100000 s_679 + 100000 s_680 + 100000 s_681 + 100000 s_682 + 100000 s_683 + w_r_76 + w_l_76 + xt_76 + yt_76 + 100000 s_684 + 100000 s_685 + 100000 s_686 + 100000 s_687 + 100000 s_688 + 100000 s_689 + 100000 s_690 + 100000 s_691 + 100000 s_692 + 100000 s_693 + 100000 s_694 + 100000 s_695 + 100000 s_696 + 100000 s_697 + 100000 s_698 + w_r_77 + w_l_77 + xt_77 + yt_77 + 100000 s_699 + 100000 s_700 + 100000 s_701 + 100000 s_702 + 100000 s_703 + 100000 s_704 + 100000 s_705 + 100000 s_706 + 100000 s_707 + 100000 s_708 + 100000 s_709 + 100000 s_710 + 100000 s_711 + 100000 s_712 + 100000 s_713 + 100000 s_714 + 100000 s_715 + 100000 s_716 + 100000 s_717 + 100000 s_718 + xt_78 + yt_78 + 100000 s_719 + 100000 s_720 + 100000 s_721 + 100000 s_722 + 100000 s_723 + 100000 s_724 + 100000 s_725 + 100000 s_726 + 100000 s_727 + 100000 s_728 + 100000 s_729 + 100000 s_730 + 100000 s_731 + 100000 s_732 + 100000 s_733 + 100000 s_734 + 100000 s_735 + 100000 s_736 + 100000 s_737 + 100000 s_738 + 100000 s_739 + 100000 s_740 + 100000 s_741 + 100000 s_742 + 100000 s_743 + 100000 s_744 + 100000 s_745 + 100000 s_746 + 100000 s_747 + 100000 s_748 + 100000 s_749 + 100000 s_750 + 100000 s_751 + 100000 s_752 + 100000 s_753 + 100000 s_754 + 100000 s_755 + 100000 s_756 + 100000 s_757 + 100000 s_758 + 100000 s_759 + 100000 s_760 + 100000 s_761 + 100000 s_762 + 100000 s_763 + 100000 s_764 + 100000 s_765 + 100000 s_766 + 100000 s_767 + 100000 s_768 + 100000 s_769 + 100000 s_770 + 100000 s_771 + 100000 s_772 + 100000 s_773 + 100000 s_774 + 100000 s_775 + 100000 s_776 + 100000 s_777 + xt_90 + yt_90 + 100000 s_778 + 100000 s_779 + 100000 s_780 + 100000 s_781 + 100000 s_782 + 100000 s_783 + 100000 s_784 + 100000 s_785 + 100000 s_786 + 100000 s_787 + 100000 s_788 + 100000 s_789 + 100000 s_790 + 100000 s_791 + 100000 s_792 + 100000 s_793 + 100000 s_794 + 100000 s_795 + 100000 s_796 + 100000 s_797 + 100000 s_798 + 100000 s_799 + 100000 s_800 + 100000 s_801 + 100000 s_802 + 100000 s_803 + 100000 s_804 + 100000 s_805 + 100000 s_806 + 100000 s_807 + w_r_91 + w_l_91 + xt_91 + yt_91 + 100000 s_808 + 100000 s_809 + 100000 s_810 + 100000 s_811 + 100000 s_812 + 100000 s_813 + 100000 s_814 + 100000 s_815 + 100000 s_816 + 100000 s_817 + 100000 s_818 + 100000 s_819 + 100000 s_820 + 100000 s_821 + w_r_92 + w_l_92 + xt_92 + yt_92 + 100000 s_822 + 100000 s_823 + 100000 s_824 + 100000 s_825 + 100000 s_826 + 100000 s_827 + 100000 s_828 + 100000 s_829 + 100000 s_830 + 100000 s_831 + 100000 s_832 + 100000 s_833 + 100000 s_834 + 100000 s_835 + xt_93 + yt_93 + 100000 s_836 + 100000 s_837 + 100000 s_838 + 100000 s_839 + 100000 s_840 + 100000 s_841 + 100000 s_842 + 100000 s_843 + 100000 s_844 + 100000 s_845 + 100000 s_846 + 100000 s_847 + 100000 s_848 + 100000 s_849 + 100000 s_850 + 100000 s_851 + 100000 s_852 + 100000 s_853 + 100000 s_854 + 100000 s_855 + 100000 s_856 + 100000 s_857 + 100000 s_858 + 100000 s_859 + 100000 s_860 + 100000 s_861 + 100000 s_862 + 100000 s_863 + 100000 s_864 + 100000 s_865 + 100000 s_866 + 100000 s_867 + 100000 s_868 + 100000 s_869 + 100000 s_870 + 100000 s_871 + 100000 s_872 + 100000 s_873 + 100000 s_874 + 100000 s_875 + 100000 s_876 + 100000 s_877 + 100000 s_878 + 100000 s_879 + 100000 s_880 + 100000 s_881 + 100000 s_882 + 100000 s_883 + 100000 s_884 + 100000 s_885 + 100000 s_886 + 100000 s_887 + 100000 s_888 + 100000 s_889 + 100000 s_890 + 100000 s_891 + 100000 s_892 + 100000 s_893 + 100000 s_894 + 100000 s_895 + 100000 s_896 + 100000 s_897 + 100000 s_898 + 100000 s_899 + 100000 s_900 + 100000 s_901 + 100000 s_902 + 100000 s_903 + 100000 s_904 + 100000 s_905 + 100000 s_906 + 100000 s_907 + 100000 s_908 + 100000 s_909 + 100000 s_910 + 100000 s_911 + 100000 s_912 + 100000 s_913 + 100000 s_914 + 100000 s_915 + w_r_116 + w_l_116 + xt_116 + yt_116 + 100000 s_916 + 100000 s_917 + 100000 s_918 + 100000 s_919 + 100000 s_920 + 100000 s_921 + 100000 s_922 + 100000 s_923 + 100000 s_924 + 100000 s_925 + 100000 s_926 + 100000 s_927 + 100000 s_928 + 100000 s_929 + 100000 s_930 + 100000 s_931 + 100000 s_932 + 100000 s_933 + 100000 s_934 + 100000 s_935 + 100000 s_936 + 100000 s_937 + 100000 s_938 + 100000 s_939 + 100000 s_940 + 100000 s_941 + 100000 s_942 + 100000 s_943 + 100000 s_944 + 100000 s_945 + 100000 s_946 + 100000 s_947 + 100000 s_948 + 100000 s_949 + 100000 s_950 + 100000 s_951 + 100000 s_952 + 100000 s_953 + 100000 s_954 + 100000 s_955 + 100000 s_956 + 100000 s_957 + 100000 s_958 + 100000 s_959 + 100000 s_960 + 100000 s_961 + 100000 s_962 + 100000 s_963 + 100000 s_964 + 100000 s_965 + 100000 s_966 + 100000 s_967 + 100000 s_968 + 100000 s_969 + 100000 s_970 + 100000 s_971 + 100000 s_972 + 100000 s_973 + 100000 s_974 + 100000 s_975 + 100000 s_976 + 100000 s_977 + 100000 s_978 + 100000 s_979 + 100000 s_980 + 100000 s_981 + 100000 s_982 + 100000 s_983 + 100000 s_984 + 100000 s_985 + 100000 s_986 + 100000 s_987 + 100000 s_988 + 100000 s_989 + 100000 s_990 + 100000 s_991 + 100000 s_992 + 100000 s_993 + 100000 s_994 + 100000 s_995 + 100000 s_996 + 100000 s_997 + 100000 s_998 + 100000 s_999 + 100000 s_1000 + 100000 s_1001 + 100000 s_1002 + 100000 s_1003 + 100000 s_1004 + 100000 s_1005 + 100000 s_1006 + 100000 s_1007 + w_r_117 + w_l_117 + xt_117 + yt_117 + 100000 s_1008 + 100000 s_1009 + 100000 s_1010 + 100000 s_1011 + 100000 s_1012 + 100000 s_1013 + 100000 s_1014 + 100000 s_1015 + 100000 s_1016 + 100000 s_1017 + 100000 s_1018 + 100000 s_1019 + 100000 s_1020 + 100000 s_1021 + 100000 s_1022 + 100000 s_1023 + 100000 s_1024 + 100000 s_1025 + 100000 s_1026 + 100000 s_1027 + 100000 s_1028 + 100000 s_1029 + 100000 s_1030 + 100000 s_1031 + 100000 s_1032 + 100000 s_1033 + 100000 s_1034 + 100000 s_1035 + 100000 s_1036 + 100000 s_1037 + 100000 s_1038 + 100000 s_1039 + 100000 s_1040 + 100000 s_1041 + 100000 s_1042 + 100000 s_1043 + 100000 s_1044 + 100000 s_1045 + 100000 s_1046 + 100000 s_1047 + 100000 s_1048 + 100000 s_1049 + 100000 s_1050 + 100000 s_1051 + 100000 s_1052 + 100000 s_1053 + 100000 s_1054 + 100000 s_1055 + 100000 s_1056 + 100000 s_1057 + 100000 s_1058 + 100000 s_1059 + 100000 s_1060 + 100000 s_1061 + 100000 s_1062 + 100000 s_1063 + 100000 s_1064 + 100000 s_1065 + 100000 s_1066 + 100000 s_1067 + 100000 s_1068 + 100000 s_1069 + xt_121 + yt_121 + 100000 s_1070 + 100000 s_1071 + 100000 s_1072 + 100000 s_1073 + 100000 s_1074 + 100000 s_1075 + 100000 s_1076 + 100000 s_1077 + 100000 s_1078 + 100000 s_1079 + 100000 s_1080 + 100000 s_1081 + 100000 s_1082 + 100000 s_1083 + 100000 s_1084 + 100000 s_1085 + 100000 s_1086 + 100000 s_1087 + 100000 s_1088 + 100000 s_1089 + 100000 s_1090 + 100000 s_1091 + 100000 s_1092 + 100000 s_1093 + 100000 s_1094 + 100000 s_1095 + 100000 s_1096 + 100000 s_1097 + w_r_122 + xt_122 + yt_122 + 100000 s_1098 + 100000 s_1099 + 100000 s_1100 + 100000 s_1101 + 100000 s_1102 + 100000 s_1103 + 100000 s_1104 + w_r_123 + xt_123 + yt_123 + 100000 s_1105 + 100000 s_1106 + 100000 s_1107 + 100000 s_1108 + 100000 s_1109 + 100000 s_1110 + 100000 s_1111 + 100000 s_1112 + 100000 s_1113 + 100000 s_1114 + 100000 s_1115 + 100000 s_1116 + 100000 s_1117 + 100000 s_1118 + 100000 s_1119 + 100000 s_1120 + 100000 s_1121 + xt_124 + yt_124 + 100000 s_1122 + 100000 s_1123 + 100000 s_1124 + 100000 s_1125 + 100000 s_1126 + 100000 s_1127 + 100000 s_1128 + 100000 s_1129 + 100000 s_1130 + 100000 s_1131 + 100000 s_1132 + 100000 s_1133 + 100000 s_1134 + 100000 s_1135 + 100000 s_1136 + 100000 s_1137 + 100000 s_1138 + 100000 s_1139 + 100000 s_1140 + 100000 s_1141 + 100000 s_1142 + 100000 s_1143 + 100000 s_1144 + 100000 s_1145 + 100000 s_1146 + 100000 s_1147 + 100000 s_1148 + 100000 s_1149 + 100000 s_1150 + 100000 s_1151 + 100000 s_1152 + 100000 s_1153 + 100000 s_1154 + 100000 s_1155 + 100000 s_1156 + 100000 s_1157 + 100000 s_1158 + 100000 s_1159 + 100000 s_1160 + 100000 s_1161 + 100000 s_1162 + 100000 s_1163 + 100000 s_1164 + 100000 s_1165 + 100000 s_1166 + 100000 s_1167 + 100000 s_1168 + 100000 s_1169 + 100000 s_1170 + 100000 s_1171 + 100000 s_1172 + 100000 s_1173 + 100000 s_1174 + 100000 s_1175 + 100000 s_1176 + 100000 s_1177 + 100000 s_1178 + 100000 s_1179 + 100000 s_1180 + xt_125 + yt_125 + 100000 s_1181 + 100000 s_1182 + 100000 s_1183 + 100000 s_1184 + 100000 s_1185 + 100000 s_1186 + 100000 s_1187 + 100000 s_1188 + 100000 s_1189 + 100000 s_1190 + 100000 s_1191 + 100000 s_1192 + 100000 s_1193 + 100000 s_1194 + 100000 s_1195 + 100000 s_1196 + 100000 s_1197 + 100000 s_1198 + 100000 s_1199 + 100000 s_1200 + 100000 s_1201 + 100000 s_1202 + 100000 s_1203 + 100000 s_1204 + 100000 s_1205 + 100000 s_1206 + 100000 s_1207 + 100000 s_1208 + 100000 s_1209 + 100000 s_1210 + 100000 s_1211 + 100000 s_1212 + 100000 s_1213 + 100000 s_1214 + 100000 s_1215 + 100000 s_1216 + 100000 s_1217 + 100000 s_1218 + 100000 s_1219 + 100000 s_1220 + 100000 s_1221 + 100000 s_1222 + 100000 s_1223 + 100000 s_1224 + 100000 s_1225 + 100000 s_1226 + 100000 s_1227 + 100000 s_1228 + 100000 s_1229 + 100000 s_1230 + 100000 s_1231 + 100000 s_1232 + 100000 s_1233 + 100000 s_1234 + 100000 s_1235 + 100000 s_1236 + 100000 s_1237 + 100000 s_1238 + 100000 s_1239 + 100000 s_1240 + xt_136 + yt_136 + 100000 s_1241 + 100000 s_1242 + 100000 s_1243 + 100000 s_1244 + 100000 s_1245 + 100000 s_1246 + 100000 s_1247 + 100000 s_1248 + 100000 s_1249 + 100000 s_1250 + 100000 s_1251 + 100000 s_1252 + 100000 s_1253 + 100000 s_1254 + 100000 s_1255 + 100000 s_1256 + 100000 s_1257 + 100000 s_1258 + 100000 s_1259 + 100000 s_1260 + 100000 s_1261 + 100000 s_1262 + 100000 s_1263 + 100000 s_1264 + 100000 s_1265 + 100000 s_1266 + 100000 s_1267 + 100000 s_1268 + 100000 s_1269 + 100000 s_1270 + 100000 s_1271 + 100000 s_1272 + 100000 s_1273 + 100000 s_1274 + 100000 s_1275 + 100000 s_1276 + w_r_137 + w_l_137 + xt_137 + yt_137 + 100000 s_1277 + 100000 s_1278 + 100000 s_1279 + 100000 s_1280 + 100000 s_1281 + 100000 s_1282 + 100000 s_1283 + 100000 s_1284 + 100000 s_1285 + 100000 s_1286 + w_r_138 + w_l_138 + xt_138 + yt_138 + 100000 s_1287 + 100000 s_1288 + 100000 s_1289 + 100000 s_1290 + 100000 s_1291 + 100000 s_1292 + 100000 s_1293 + 100000 s_1294 + 100000 s_1295 + 100000 s_1296 + 100000 s_1297 + 100000 s_1298 + 100000 s_1299 + 100000 s_1300 + 100000 s_1301 + 100000 s_1302 + 100000 s_1303 + 100000 s_1304 + 100000 s_1305 + 100000 s_1306 + 100000 s_1307 + 100000 s_1308 + 100000 s_1309 + 100000 s_1310 + xt_139 + yt_139 + 100000 s_1311 + 100000 s_1312 + 100000 s_1313 + 100000 s_1314 + 100000 s_1315 + 100000 s_1316 + 100000 s_1317 + 100000 s_1318 + 100000 s_1319 + 100000 s_1320 + 100000 s_1321 + 100000 s_1322 + 100000 s_1323 + 100000 s_1324 + 100000 s_1325 + 100000 s_1326 + 100000 s_1327 + 100000 s_1328 + 100000 s_1329 + 100000 s_1330 + 100000 s_1331 + 100000 s_1332 + 100000 s_1333 + 100000 s_1334 + 100000 s_1335 + 100000 s_1336 + 100000 s_1337 + 100000 s_1338 + 100000 s_1339 + 100000 s_1340 + 100000 s_1341 + 100000 s_1342 + 100000 s_1343 + 100000 s_1344 + 100000 s_1345 + 100000 s_1346 + 100000 s_1347 + 100000 s_1348 + 100000 s_1349 + 100000 s_1350 + 100000 s_1351 + 100000 s_1352 + 100000 s_1353 + 100000 s_1354 + 100000 s_1355 + 100000 s_1356 + 100000 s_1357 + 100000 s_1358 + 100000 s_1359 + 100000 s_1360 + 100000 s_1361 + 100000 s_1362 + 100000 s_1363 + 100000 s_1364 + 100000 s_1365 + 100000 s_1366 + 100000 s_1367 + 100000 s_1368 + 100000 s_1369 + 100000 s_1370 + 100000 s_1371 + 100000 s_1372 + 100000 s_1373 + 100000 s_1374 + 100000 s_1375 + 100000 s_1376 + 100000 s_1377 + 100000 s_1378 + 100000 s_1379 + 100000 s_1380 + 100000 s_1381 + 100000 s_1382 + 100000 s_1383 + 100000 s_1384 + xt_168 + yt_168 + 100000 s_1385 + 100000 s_1386 + 100000 s_1387 + 100000 s_1388 + 100000 s_1389 + 100000 s_1390 + 100000 s_1391 + 100000 s_1392 + 100000 s_1393 + 100000 s_1394 + 100000 s_1395 + 100000 s_1396 + 100000 s_1397 + 100000 s_1398 + 100000 s_1399 + 100000 s_1400 + 100000 s_1401 + 100000 s_1402 + 100000 s_1403 + 100000 s_1404 + 100000 s_1405 + 100000 s_1406 + 100000 s_1407 + 100000 s_1408 + 100000 s_1409 + 100000 s_1410 + 100000 s_1411 + 100000 s_1412 + 100000 s_1413 + 100000 s_1414 + 100000 s_1415 + 100000 s_1416 + w_r_169 + w_l_169 + xt_169 + yt_169 + 100000 s_1417 + 100000 s_1418 + 100000 s_1419 + 100000 s_1420 + 100000 s_1421 + 100000 s_1422 + 100000 s_1423 + 100000 s_1424 + 100000 s_1425 + 100000 s_1426 + 100000 s_1427 + 100000 s_1428 + 100000 s_1429 + 100000 s_1430 + 100000 s_1431 + 100000 s_1432 + 100000 s_1433 + 100000 s_1434 + 100000 s_1435 + 100000 s_1436 + 100000 s_1437 + 100000 s_1438 + 100000 s_1439 + 100000 s_1440 + 100000 s_1441 + 100000 s_1442 + 100000 s_1443 + 100000 s_1444 + 100000 s_1445 + 100000 s_1446 + 100000 s_1447 + 100000 s_1448 + 100000 s_1449 + 100000 s_1450 + 100000 s_1451 + 100000 s_1452 + 100000 s_1453 + 100000 s_1454 + 100000 s_1455 + 100000 s_1456 + 100000 s_1457 + 100000 s_1458 + 100000 s_1459 + 100000 s_1460 + 100000 s_1461 + 100000 s_1462 + 100000 s_1463 + 100000 s_1464 + 100000 s_1465 + 100000 s_1466 + 100000 s_1467 + 100000 s_1468 + 100000 s_1469 + 100000 s_1470 + 100000 s_1471 + w_l_170 + xt_170 + yt_170 + 100000 s_1472 + 100000 s_1473 + 100000 s_1474 + 100000 s_1475 + 100000 s_1476 + 100000 s_1477 + 100000 s_1478 + 100000 s_1479 + 100000 s_1480 + 100000 s_1481 + 100000 s_1482 + 100000 s_1483 + 100000 s_1484 + 100000 s_1485 + 100000 s_1486 + 100000 s_1487 + 100000 s_1488 + 100000 s_1489 + 100000 s_1490 + 100000 s_1491 + 100000 s_1492 + 100000 s_1493 + 100000 s_1494 + 100000 s_1495 + 100000 s_1496 + 100000 s_1497 + 100000 s_1498 + 100000 s_1499 + 100000 s_1500 + 100000 s_1501 + 100000 s_1502 + 100000 s_1503 + 100000 s_1504 + 100000 s_1505 + 100000 s_1506 + 100000 s_1507 + 100000 s_1508 + 100000 s_1509 + 100000 s_1510 + 100000 s_1511 + 100000 s_1512 + 100000 s_1513 + 100000 s_1514 + 100000 s_1515 + 100000 s_1516 + 100000 s_1517 + 100000 s_1518 + 100000 s_1519 + 100000 s_1520 + 100000 s_1521 + 100000 s_1522 + 100000 s_1523 + 100000 s_1524 + 100000 s_1525 + 100000 s_1526 + 100000 s_1527 + 100000 s_1528 + 100000 s_1529 + 100000 s_1530 + 100000 s_1531 + 100000 s_1532 + 100000 s_1533 + 100000 s_1534 + 100000 s_1535 + 100000 s_1536 + 100000 s_1537 + 100000 s_1538 + 100000 s_1539 + 100000 s_1540 + 100000 s_1541 + xt_171 + yt_171 + 100000 s_1542 + 100000 s_1543 + 100000 s_1544 + 100000 s_1545 + 100000 s_1546 + 100000 s_1547 + 100000 s_1548 + 100000 s_1549 + 100000 s_1550 + 100000 s_1551 + 100000 s_1552 + 100000 s_1553 + 100000 s_1554 + 100000 s_1555 + 100000 s_1556 + 100000 s_1557 + 100000 s_1558 + 100000 s_1559 + 100000 s_1560 + 100000 s_1561 + 100000 s_1562 + 100000 s_1563 + 100000 s_1564 + 100000 s_1565 + 100000 s_1566 + 100000 s_1567 + 100000 s_1568 + 100000 s_1569 + 100000 s_1570 + 100000 s_1571 + 100000 s_1572 + 100000 s_1573 + 100000 s_1574 + 100000 s_1575 + 100000 s_1576 + 100000 s_1577 + 100000 s_1578 + 100000 s_1579 + 100000 s_1580 + 100000 s_1581 + 100000 s_1582 + 100000 s_1583 + 100000 s_1584 + 100000 s_1585 + 100000 s_1586 + 100000 s_1587 + 100000 s_1588 + 100000 s_1589 + 100000 s_1590 + 100000 s_1591 + xt_172 + yt_172 + 100000 s_1592 + 100000 s_1593 + 100000 s_1594 + 100000 s_1595 + 100000 s_1596 + 100000 s_1597 + 100000 s_1598 + 100000 s_1599 + 100000 s_1600 + 100000 s_1601 + 100000 s_1602 + 100000 s_1603 + 100000 s_1604 + 100000 s_1605 + 100000 s_1606 + 100000 s_1607 + 100000 s_1608 + 100000 s_1609 + 100000 s_1610 + 100000 s_1611 + 100000 s_1612 + 100000 s_1613 + 100000 s_1614 + 100000 s_1615 + 100000 s_1616 + 100000 s_1617 + 100000 s_1618 + 100000 s_1619 + 100000 s_1620 + 100000 s_1621 + 100000 s_1622 + 100000 s_1623 + 100000 s_1624 + 100000 s_1625 + 100000 s_1626 + 100000 s_1627 + 100000 s_1628 + 100000 s_1629 + 100000 s_1630 + 100000 s_1631 + 100000 s_1632 + 100000 s_1633 + 100000 s_1634 + 100000 s_1635 + 100000 s_1636 + 100000 s_1637 + 100000 s_1638 + 100000 s_1639 + 100000 s_1640 + xt_173 + yt_173 + 100000 s_1641 + 100000 s_1642 + 100000 s_1643 + 100000 s_1644 + 100000 s_1645 + 100000 s_1646 + 100000 s_1647 + 100000 s_1648 + 100000 s_1649 + 100000 s_1650 + 100000 s_1651 + 100000 s_1652 + 100000 s_1653 + 100000 s_1654 + 100000 s_1655 + 100000 s_1656 + 100000 s_1657 + 100000 s_1658 + 100000 s_1659 + 100000 s_1660 + 100000 s_1661 + 100000 s_1662 + 100000 s_1663 + 100000 s_1664 + 100000 s_1665 + 100000 s_1666 + 100000 s_1667 + 100000 s_1668 + 100000 s_1669 + 100000 s_1670 + 100000 s_1671 + 100000 s_1672 + 100000 s_1673 + 100000 s_1674 + 100000 s_1675 + 100000 s_1676 + 100000 s_1677 + 100000 s_1678 + 100000 s_1679 + 100000 s_1680 + 100000 s_1681 + 100000 s_1682 + 100000 s_1683 + 100000 s_1684 + xt_183 + yt_183 + 100000 s_1685 + 100000 s_1686 + 100000 s_1687 + 100000 s_1688 + 100000 s_1689 + 100000 s_1690 + 100000 s_1691 + 100000 s_1692 + 100000 s_1693 + 100000 s_1694 + 100000 s_1695 + 100000 s_1696 + 100000 s_1697 + 100000 s_1698 + 100000 s_1699 + 100000 s_1700 + 100000 s_1701 + 100000 s_1702 + 100000 s_1703 + 100000 s_1704 + 100000 s_1705 + 100000 s_1706 + 100000 s_1707 + 100000 s_1708 + 100000 s_1709 + 100000 s_1710 + 100000 s_1711 + 100000 s_1712 + 100000 s_1713 + 100000 s_1714 + 100000 s_1715 + 100000 s_1716 + 100000 s_1717 + 100000 s_1718 + 100000 s_1719 + 100000 s_1720 + 100000 s_1721 + 100000 s_1722 + 100000 s_1723 + 100000 s_1724 + 100000 s_1725 + 100000 s_1726 + w_r_184 + w_l_184 + xt_184 + yt_184 + 100000 s_1727 + 100000 s_1728 + 100000 s_1729 + 100000 s_1730 + 100000 s_1731 + 100000 s_1732 + 100000 s_1733 + 100000 s_1734 + 100000 s_1735 + 100000 s_1736 + 100000 s_1737 + 100000 s_1738 + 100000 s_1739 + 100000 s_1740 + 100000 s_1741 + 100000 s_1742 + 100000 s_1743 + 100000 s_1744 + 100000 s_1745 + 100000 s_1746 + 100000 s_1747 + 100000 s_1748 + 100000 s_1749 + 100000 s_1750 + 100000 s_1751 + 100000 s_1752 + 100000 s_1753 + 100000 s_1754 + 100000 s_1755 + 100000 s_1756 + 100000 s_1757 + 100000 s_1758 + 100000 s_1759 + 100000 s_1760 + 100000 s_1761 + 100000 s_1762 + 100000 s_1763 + 100000 s_1764 + 100000 s_1765 + 100000 s_1766 + 100000 s_1767 + 100000 s_1768 + 100000 s_1769 + 100000 s_1770 + 100000 s_1771 + 100000 s_1772 + 100000 s_1773 + 100000 s_1774 + 100000 s_1775 + 100000 s_1776 + 100000 s_1777 + 100000 s_1778 + 100000 s_1779 + 100000 s_1780 + 100000 s_1781 + 100000 s_1782 + 100000 s_1783 + 100000 s_1784 + 100000 s_1785 + 100000 s_1786 + 100000 s_1787 + 100000 s_1788 + 100000 s_1789 + 100000 s_1790 + 100000 s_1791 + 100000 s_1792 + 100000 s_1793 + 100000 s_1794 + 100000 s_1795 + 100000 s_1796 + 100000 s_1797 + 100000 s_1798 + 100000 s_1799 + 100000 s_1800 + 100000 s_1801 + 100000 s_1802 + 100000 s_1803 + 100000 s_1804 + 100000 s_1805 + 100000 s_1806 + 100000 s_1807 + 100000 s_1808 + 100000 s_1809 + 100000 s_1810 + 100000 s_1811 + 100000 s_1812 + 100000 s_1813 + 100000 s_1814 + 100000 s_1815 + xt_185 + yt_185 + 100000 s_1816 + 100000 s_1817 + 100000 s_1818 + 100000 s_1819 + 100000 s_1820 + 100000 s_1821 + 100000 s_1822 + 100000 s_1823 + 100000 s_1824 + 100000 s_1825 + 100000 s_1826 + 100000 s_1827 + 100000 s_1828 + 100000 s_1829 + 100000 s_1830 + 100000 s_1831 + 100000 s_1832 + 100000 s_1833 + 100000 s_1834 + 100000 s_1835 + 100000 s_1836 + 100000 s_1837 + 100000 s_1838 + 100000 s_1839 + 100000 s_1840 + 100000 s_1841 + 100000 s_1842 + 100000 s_1843 + 100000 s_1844 + 100000 s_1845 + 100000 s_1846 + 100000 s_1847 + 100000 s_1848 + 100000 s_1849 + 100000 s_1850 + 100000 s_1851 + 100000 s_1852 + 100000 s_1853 + 100000 s_1854 + 100000 s_1855 + 100000 s_1856 + 100000 s_1857 + 100000 s_1858 + 100000 s_1859 + 100000 s_1860 + 100000 s_1861 + 100000 s_1862 + 100000 s_1863 + 100000 s_1864 + 100000 s_1865 + 100000 s_1866 + 100000 s_1867 + xt_186 + yt_186 + 100000 s_1868 + 100000 s_1869 + 100000 s_1870 + 100000 s_1871 + 100000 s_1872 + 100000 s_1873 + 100000 s_1874 + 100000 s_1875 + 100000 s_1876 + 100000 s_1877 + 100000 s_1878 + 100000 s_1879 + 100000 s_1880 + 100000 s_1881 + 100000 s_1882 + 100000 s_1883 + 100000 s_1884 + 100000 s_1885 + 100000 s_1886 + 100000 s_1887 + 100000 s_1888 + 100000 s_1889 + 100000 s_1890 + 100000 s_1891 + 100000 s_1892 + 100000 s_1893 + 100000 s_1894 + 100000 s_1895 + 100000 s_1896 + 100000 s_1897 + 100000 s_1898 + 100000 s_1899 + 100000 s_1900 + 100000 s_1901 + 100000 s_1902 + 100000 s_1903 + 100000 s_1904 + 100000 s_1905 + 100000 s_1906 + 100000 s_1907 + 100000 s_1908 + 100000 s_1909 + 100000 s_1910 + 100000 s_1911 + 100000 s_1912 + 100000 s_1913 + 100000 s_1914 + 100000 s_1915 + 100000 s_1916 + 100000 s_1917 + 100000 s_1918 + 100000 s_1919 + 100000 s_1920 + 100000 s_1921 + 100000 s_1922 + 100000 s_1923 + 100000 s_1924 + 100000 s_1925 + 100000 s_1926 + 100000 s_1927 + w_r_187 + w_l_187 + xt_187 + yt_187 + 100000 s_1928 + 100000 s_1929 + 100000 s_1930 + 100000 s_1931 + 100000 s_1932 + 100000 s_1933 + 100000 s_1934 + 100000 s_1935 + 100000 s_1936 + 100000 s_1937 + 100000 s_1938 + 100000 s_1939 + 100000 s_1940 + 100000 s_1941 + 100000 s_1942 + 100000 s_1943 + 100000 s_1944 + 100000 s_1945 + 100000 s_1946 + 100000 s_1947 + 100000 s_1948 + 100000 s_1949 + 100000 s_1950 + 100000 s_1951 + 100000 s_1952 + 100000 s_1953 + 100000 s_1954 + 100000 s_1955 + 100000 s_1956 + 100000 s_1957 + 100000 s_1958 + 100000 s_1959 + 100000 s_1960 + 100000 s_1961 + 100000 s_1962 + 100000 s_1963 + 100000 s_1964 + 100000 s_1965 + 100000 s_1966 + 100000 s_1967 + 100000 s_1968 + 100000 s_1969 + 100000 s_1970 + 100000 s_1971 + 100000 s_1972 + 100000 s_1973 + 100000 s_1974 + 100000 s_1975 + 100000 s_1976 + 100000 s_1977 + 100000 s_1978 + 100000 s_1979 + 100000 s_1980 + 100000 s_1981 + 100000 s_1982 + 100000 s_1983 + 100000 s_1984 + 100000 s_1985 + 100000 s_1986 + 100000 s_1987 + 100000 s_1988 + 100000 s_1989 + 100000 s_1990 + 100000 s_1991 + 100000 s_1992 + 100000 s_1993 + 100000 s_1994 + 100000 s_1995 + 100000 s_1996 + 100000 s_1997 + 100000 s_1998 + 100000 s_1999 + 100000 s_2000 + 100000 s_2001 + 100000 s_2002 + 100000 s_2003 + 100000 s_2004 + 100000 s_2005 + 100000 s_2006 + 100000 s_2007 + 100000 s_2008 + xt_193 + yt_193 + 100000 s_2009 + 100000 s_2010 + 100000 s_2011 + 100000 s_2012 + 100000 s_2013 + 100000 s_2014 + 100000 s_2015 + 100000 s_2016 + 100000 s_2017 + 100000 s_2018 + 100000 s_2019 + 100000 s_2020 + 100000 s_2021 + 100000 s_2022 + 100000 s_2023 + 100000 s_2024 + 100000 s_2025 + 100000 s_2026 + 100000 s_2027 + 100000 s_2028 + 100000 s_2029 + 100000 s_2030 + 100000 s_2031 + 100000 s_2032 + 100000 s_2033 + 100000 s_2034 + 100000 s_2035 + 100000 s_2036 + 100000 s_2037 + w_l_194 + xt_194 + yt_194 + 100000 s_2038 + 100000 s_2039 + 100000 s_2040 + 100000 s_2041 + 100000 s_2042 + 100000 s_2043 + 100000 s_2044 + 100000 s_2045 + 100000 s_2046 + 100000 s_2047 + w_r_195 + w_l_195 + xt_195 + yt_195 + 100000 s_2048 + 100000 s_2049 + 100000 s_2050 + 100000 s_2051 + 100000 s_2052 + 100000 s_2053 + 100000 s_2054 + 100000 s_2055 + 100000 s_2056 + 100000 s_2057 + 100000 s_2058 + 100000 s_2059 + 100000 s_2060 + 100000 s_2061 + 100000 s_2062 + 100000 s_2063 + 100000 s_2064 + 100000 s_2065 + 100000 s_2066 + 100000 s_2067 + 100000 s_2068 + xt_196 + yt_196 + 100000 s_2069 + 100000 s_2070 + 100000 s_2071 + 100000 s_2072 + 100000 s_2073 + 100000 s_2074 + 100000 s_2075 + 100000 s_2076 + 100000 s_2077 + 100000 s_2078 + 100000 s_2079 + 100000 s_2080 + 100000 s_2081 + 100000 s_2082 + 100000 s_2083 + 100000 s_2084 + 100000 s_2085 + 100000 s_2086 + 100000 s_2087 + 100000 s_2088 + 100000 s_2089 + 100000 s_2090 + 100000 s_2091 + 100000 s_2092 + 100000 s_2093 + 100000 s_2094 + 100000 s_2095 + 100000 s_2096 + 100000 s_2097 + 100000 s_2098 + 100000 s_2099 + 100000 s_2100 + 100000 s_2101 + 100000 s_2102 + 100000 s_2103 + 100000 s_2104 + 100000 s_2105 + 100000 s_2106 + 100000 s_2107 + 100000 s_2108 + 100000 s_2109 + 100000 s_2110 + 100000 s_2111 + 100000 s_2112 + 100000 s_2113 + 100000 s_2114 + 100000 s_2115 + 100000 s_2116 + 100000 s_2117 + 100000 s_2118 + 100000 s_2119 + 100000 s_2120 + 100000 s_2121 + 100000 s_2122 + 100000 s_2123 + 100000 s_2124 + 100000 s_2125 + 100000 s_2126 + 100000 s_2127 + 100000 s_2128 + 100000 s_2129 + 100000 s_2130 + 100000 s_2131 + 100000 s_2132 + 100000 s_2133 + 100000 s_2134 + 100000 s_2135 + 100000 s_2136 + 100000 s_2137 + 100000 s_2138 + 100000 s_2139
Subject To
1 y_14 + -0 x_14 - s_0 <= 138.926
1 y_14 + -1 x_14 + s_1 >= -26.2924
1 y_14 + -0 x_14 - s_2 <= 137.973
1 y_14 + -0 x_14 + s_3 >= 135.052
1 y_14 + -0 x_14 - s_4 <= 139.878
1 y_14 + 0 x_14 - s_5 <= 136.22
1 y_14 + 1 x_14 - s_6 <= 304.501
1 y_14 + -0 x_14 - s_7 <= 136.068
1 y_14 + -0 x_14 + s_8 >= 132.194
1 y_14 + -0 x_14 - s_9 <= 138.925
1 y_14 + -1 x_14 + s_10 >= -27.2449
1 y_14 + -0 x_14 + s_11 >= 132.195
1 y_14 + -0 x_14 - s_12 <= 137.196
1 y_14 + 1 x_14 - s_13 <= 298.189
1 y_14 + 1 x_14 - s_14 <= 304.451
1 y_14 + -0 x_14 - s_15 <= 137.02
1 y_14 + -0 x_14 - s_16 <= 137.973
0 y_14 + 1 x_14 + s_17 >= 160.968
1 y_14 + 1 x_14 + s_18 >= 295.945
1 y_14 + -0 x_14 + s_19 >= 134.1
1 y_14 + 0 x_14 + s_20 >= 131.054
1 y_14 + 0 x_14 + s_21 >= 131.141
1 y_14 + 0 x_14 + s_22 >= 131.141
1 y_14 + -0 x_14 + s_23 >= 131.242
1 y_14 + -0 x_14 - s_24 <= 139.878
1 y_14 + -0 x_14 + s_25 >= 131.242
1 y_14 + -0 x_14 - s_26 <= 137.021
1 y_14 + -0 x_14 - s_27 <= 136.068
1 y_14 + -0 x_14 + s_28 >= 133.147
x_14 - xt_14 <= 161.485
x_14 + xt_14 >= 161.485
y_14 - yt_14 <= 135.55
y_14 + yt_14 >= 135.55
0 y_15 + 1 x_15 - s_29 <= 166.02
1 y_15 + 1 x_15 - s_30 <= 305.464
0 y_15 + 1 x_15 - s_31 <= 168.42
0 y_15 + 1 x_15 - s_32 <= 168.42
1 y_15 + -0.999999 x_15 + s_33 >= -33.4135
1 y_15 + -1 x_15 + s_34 >= -33.2913
1 y_15 + -1 x_15 + s_35 >= -33.2913
1 y_15 + -1 x_15 + s_36 >= -35.2636
1 y_15 + -1 x_15 + s_37 >= -35.1413
1 y_15 + -1 x_15 + s_38 >= -35.1413
1 y_15 + -0 x_15 + s_39 - w_l_15 >= 132.18
1 y_15 + 0 x_15 + s_40 - w_l_15 >= 132.154
1 y_15 + 0 x_15 + s_41 - w_l_15 >= 131.141
1 y_15 + 0 x_15 + s_42 - w_l_15 >= 131.141
x_15 - xt_15 <= 165.36
x_15 + xt_15 >= 165.36
y_15 - yt_15 <= 135.55
y_15 + yt_15 >= 135.55
1 y_16 + -1 x_16 + s_43 - w_l_16 >= -34.7285
1 y_16 + -0 x_16 - s_44 <= 140.645
1 y_16 + 1 x_16 - s_45 <= 307.101
1 y_16 + 1 x_16 - s_46 <= 306.978
1 y_16 + 1 x_16 - s_47 <= 306.978
1 y_16 + -0 x_16 + s_48 >= 132.632
1 y_16 + 0 x_16 + s_49 >= 132.692
1 y_16 + 0 x_16 + s_50 >= 132.692
1 y_16 + -1 x_16 + s_51 - w_l_16 >= -41.9285
1 y_16 + -0 x_16 + s_52 >= 131.982
1 y_16 + 0 x_16 + s_53 >= 132.042
1 y_16 + 0 x_16 + s_54 >= 132.042
1 y_16 + 0 x_16 + s_55 >= 133.155
1 y_16 + -1 x_16 + s_56 - w_l_16 >= -42.6285
1 y_16 + -1 x_16 + s_57 - w_l_16 >= -42.6285
x_16 - xt_16 <= 169.885
x_16 + xt_16 >= 169.885
y_16 - yt_16 <= 136.525
y_16 + yt_16 >= 136.525
0 y_17 + 1 x_17 - s_58 <= 173.439
0 y_17 + 1 x_17 - s_59 <= 172.64
0 y_17 + 1 x_17 + s_60 >= 170.426
0 y_17 + 1 x_17 - s_61 <= 173.439
1 y_17 + -0 x_17 - s_62 + w_r_17 <= 137.922
0 y_17 + 1 x_17 + s_63 >= 172.026
1 y_17 + -1 x_17 - s_64 <= -31.5259
1 y_17 + -1 x_17 + s_65 >= -37.3597
1 y_17 + 0 x_17 + s_66 - w_l_17 >= 134.98
1 y_17 + 0 x_17 + s_67 - w_l_17 >= 135.041
1 y_17 + 0 x_17 + s_68 - w_l_17 >= 134.658
1 y_17 + -1 x_17 + s_69 >= -37.3597
1 y_17 + 1 x_17 + s_70 >= 306.506
1 y_17 + -1 x_17 + s_71 >= -38.9596
1 y_17 + 1 x_17 + s_72 >= 306.506
0 y_17 + 1 x_17 - s_73 <= 173.439
1 y_17 + 1 x_17 + s_74 >= 304.906
1 y_17 + -0 x_17 - s_75 + w_r_17 <= 140.046
1 y_17 + 1 x_17 - s_76 <= 310.889
1 y_17 + 1 x_17 - s_77 <= 310.74
1 y_17 + 0 x_17 + s_78 - w_l_17 >= 137.38
1 y_17 + 0 x_17 + s_79 - w_l_17 >= 137.441
1 y_17 + 0 x_17 + s_80 - w_l_17 >= 137.441
1 y_17 + -1 x_17 + s_81 >= -35.7597
1 y_17 + 1 x_17 + s_82 >= 304.106
1 y_17 + -1 x_17 + s_83 >= -36.5596
1 y_17 + 0 x_17 + s_84 - w_l_17 >= 135.458
1 y_17 + 1 x_17 + s_85 >= 305.706
0 y_17 + 1 x_17 - s_86 <= 173.439
0 y_17 + 1 x_17 + s_87 >= 170.426
0 y_17 + 1 x_17 - s_88 <= 173.439
1 y_17 + 1 x_17 - s_89 <= 309.94
1 y_17 + -0 x_17 - s_90 + w_r_17 <= 137.922
0 y_17 + 1 x_17 + s_91 >= 170.426
1 y_17 + 1 x_17 - s_92 <= 313.14
1 y_17 + -1 x_17 - s_93 <= -30.726
1 y_17 + -1 x_17 + s_94 >= -38.1595
1 y_17 + -1 x_17 + s_95 >= -39.7597
1 y_17 + -1 x_17 + s_96 >= -38.9599
1 y_17 + 0 x_17 + s_97 - w_l_17 >= 133.858
1 y_17 + -1 x_17 + s_98 >= -40.6886
1 y_17 + -1 x_17 + s_99 >= -40.5663
1 y_17 + -1 x_17 + s_100 >= -40.5596
1 y_17 + -1 x_17 + s_101 >= -38.1598
1 y_17 + 0 x_17 + s_102 - w_l_17 >= 133.858
1 y_17 + -1 x_17 + s_103 >= -38.1598
1 y_17 + 0 x_17 + s_104 - w_l_17 >= 134.658
1 y_17 + -1 x_17 + s_105 >= -36.5598
1 y_17 + 1 x_17 + s_106 >= 307.306
1 y_17 + -1 x_17 + s_107 >= -34.9596
1 y_17 + 1 x_17 + s_108 >= 308.906
0 y_17 + 1 x_17 - s_109 <= 172.64
0 y_17 + 1 x_17 + s_110 >= 171.226
1 y_17 + 1 x_17 - s_111 <= 311.54
1 y_17 + -0 x_17 - s_112 + w_r_17 <= 138.722
1 y_17 + 1 x_17 - s_113 <= 311.54
1 y_17 + -0 x_17 - s_114 + w_r_17 <= 139.522
1 y_17 + 0 x_17 + s_115 - w_l_17 >= 136.258
1 y_17 + -0 x_17 - s_116 + w_r_17 <= 138.722
1 y_17 + -0 x_17 - s_117 + w_r_17 <= 140.346
1 y_17 + 1 x_17 - s_118 <= 312.339
1 y_17 + 1 x_17 - s_119 <= 312.301
1 y_17 + 1 x_17 - s_120 <= 312.489
1 y_17 + 1 x_17 - s_121 <= 312.34
0 y_17 + 1 x_17 - s_122 <= 172.64
1 y_17 + 0 x_17 + s_123 - w_l_17 >= 133.058
1 y_17 + -1 x_17 + s_124 >= -38.9596
1 y_17 + -1 x_17 + s_125 >= -39.7597
1 y_17 + 0 x_17 + s_126 - w_l_17 >= 133.058
1 y_17 + 1 x_17 + s_127 >= 308.157
1 y_17 + -0 x_17 - s_128 + w_r_17 <= 139.485
x_17 - xt_17 <= 172.185
x_17 + xt_17 >= 172.185
y_17 - yt_17 <= 137.5
y_17 + yt_17 >= 137.5
1 y_27 + -0 x_27 + s_129 >= 139.815
1 y_27 + -1 x_27 + s_130 >= -21.5299
1 y_27 + -0 x_27 + s_131 >= 140.767
1 y_27 + -1 x_27 + s_132 >= -23.9386
0 y_27 + 1 x_27 - s_133 <= 164.381
1 y_27 + -0 x_27 + s_134 >= 136.957
1 y_27 + -0 x_27 - s_135 <= 141.996
1 y_27 + 0 x_27 - s_136 <= 141.62
1 y_27 + 1 x_27 - s_137 <= 302.866
1 y_27 + 1 x_27 - s_138 <= 302.866
1 y_27 + -0 x_27 - s_139 <= 141.783
1 y_27 + -1 x_27 + s_140 >= -20.5774
1 y_27 + 0 x_27 + s_141 >= 137.704
1 y_27 + -1 x_27 + s_142 >= -23.2886
0 y_27 + 1 x_27 - s_143 <= 164.031
1 y_27 + -0 x_27 + s_144 >= 137.909
1 y_27 + -0 x_27 + s_145 >= 138.862
1 y_27 + -0 x_27 - s_146 <= 142.735
0 y_27 + 1 x_27 + s_147 >= 160.968
1 y_27 + 1 x_27 + s_148 >= 301.66
1 y_27 + -0 x_27 - s_149 <= 142.736
1 y_27 + -0 x_27 + s_150 >= 137.91
1 y_27 + -0 x_27 + s_151 >= 136.957
1 y_27 + -0 x_27 - s_152 <= 141.783
x_27 - xt_27 <= 161.485
x_27 + xt_27 >= 161.485
y_27 - yt_27 <= 141.25
y_27 + yt_27 >= 141.25
1 y_28 + -0 x_28 - s_153 + w_r_28 <= 141.56
1 y_28 + -0 x_28 - s_154 + w_r_28 <= 141.56
x_28 - xt_28 <= 162.585
x_28 + xt_28 >= 162.585
y_28 - yt_28 <= 141.25
y_28 + yt_28 >= 141.25
1 y_29 + 1 x_29 + s_155 - w_l_29 >= 297.842
1 y_29 + 1 x_29 + s_156 - w_l_29 >= 297.842
0 y_29 + 1 x_29 - s_157 <= 167.218
0 y_29 + 1 x_29 - s_158 <= 167.218
1 y_29 + -0 x_29 - s_159 <= 138.258
1 y_29 + -0 x_29 - s_160 <= 138.258
0 y_29 + 1 x_29 - s_161 <= 168.668
0 y_29 + 1 x_29 - s_162 <= 168.668
1 y_29 + -1 x_29 + s_163 >= -30.3285
1 y_29 + -1 x_29 + s_164 >= -30.3285
1 y_29 + 0 x_29 + s_165 >= 133.405
1 y_29 + -1 x_29 + s_166 >= -35.5008
1 y_29 + 1 x_29 + s_167 - w_l_29 >= 292.142
1 y_29 + -1 x_29 + s_168 >= -35.3785
1 y_29 + -1 x_29 + s_169 >= -32.1785
1 y_29 + -1 x_29 + s_170 >= -32.1785
1 y_29 + 1 x_29 + s_171 - w_l_29 >= 293.092
1 y_29 + 1 x_29 + s_172 - w_l_29 >= 293.092
1 y_29 + -1 x_29 + s_173 >= -36.0785
1 y_29 + -1 x_29 + s_174 >= -36.0785
x_29 - xt_29 <= 166.635
x_29 + xt_29 >= 166.635
y_29 - yt_29 <= 137.975
y_29 + yt_29 >= 137.975
1 y_30 + 1 x_30 - s_175 <= 312.102
1 y_30 + 1 x_30 - s_176 <= 312.102
1 y_30 + -0 x_30 - s_177 <= 136.895
1 y_30 + 1 x_30 - s_178 <= 313.702
1 y_30 + -0 x_30 - s_179 <= 137.695
1 y_30 + 1 x_30 - s_180 <= 307.964
1 y_30 + -0 x_30 - s_181 <= 136.933
1 y_30 + -0 x_30 - s_182 <= 136.933
1 y_30 + 1 x_30 - s_183 <= 310.502
1 y_30 + -0 x_30 - s_184 <= 136.895
1 y_30 + -0 x_30 - s_185 <= 138.495
0 y_30 + 1 x_30 - s_186 <= 173.738
0 y_30 + 1 x_30 - s_187 <= 172.938
1 y_30 + -1 x_30 - s_188 <= -35.3635
0 y_30 + 1 x_30 - s_189 <= 174.538
1 y_30 + -0 x_30 - s_190 <= 135.295
0 y_30 + 1 x_30 - s_191 <= 174.538
0 y_30 + 1 x_30 + s_192 >= 169.328
1 y_30 + -1 x_30 - s_193 <= -25.4192
1 y_30 + 0 x_30 - s_194 <= 138.593
1 y_30 + 1 x_30 - s_195 <= 312.102
0 y_30 + 1 x_30 - s_196 <= 171.803
1 y_30 + 1 x_30 - s_197 <= 308.928
1 y_30 + 1 x_30 - s_198 <= 308.928
0 y_30 + 1 x_30 - s_199 <= 172.938
1 y_30 + 1 x_30 + s_200 >= 302.744
0 y_30 + 1 x_30 - s_201 <= 172.938
1 y_30 + 1 x_30 - s_202 <= 304.902
0 y_30 + 1 x_30 + s_203 >= 169.328
0 y_30 + 1 x_30 - s_204 <= 174.538
1 y_30 + -0 x_30 - s_205 <= 136.095
1 y_30 + 1 x_30 - s_206 <= 312.902
1 y_30 + 1 x_30 - s_207 <= 311.302
1 y_30 + -0 x_30 - s_208 <= 137.695
1 y_30 + -0 x_30 - s_209 <= 137.695
1 y_30 + 1 x_30 - s_210 <= 314.502
1 y_30 + -0 x_30 - s_211 <= 139.295
0 y_30 + 1 x_30 - s_212 <= 174.538
0 y_30 + 1 x_30 - s_213 <= 174.538
1 y_30 + -1 x_30 + s_214 >= -43.1217
1 y_30 + 1 x_30 + s_215 >= 301.006
1 y_30 + 1 x_30 + s_216 >= 300.542
1 y_30 + 1 x_30 + s_217 >= 300.542
1 y_30 + 1 x_30 + s_218 >= 301.144
1 y_30 + -1 x_30 + s_219 >= -36.7219
0 y_30 + 1 x_30 - s_220 <= 173.738
1 y_30 + 1 x_30 + s_221 >= 303.544
0 y_30 + 1 x_30 - s_222 <= 174.203
1 y_30 + -1 x_30 + s_223 >= -41.5285
0 y_30 + 1 x_30 - s_224 <= 174.538
0 y_30 + 1 x_30 - s_225 <= 172.938
1 y_30 + -1 x_30 + s_226 >= -35.9221
0 y_30 + 1 x_30 - s_227 <= 173.738
1 y_30 + 1 x_30 + s_228 >= 304.344
0 y_30 + 1 x_30 - s_229 <= 173.738
1 y_30 + -0 x_30 - s_230 <= 135.295
1 y_30 + 1 x_30 - s_231 <= 309.702
1 y_30 + -0 x_30 - s_232 <= 136.095
1 y_30 + 1 x_30 - s_233 <= 311.302
1 y_30 + -0 x_30 - s_234 <= 136.895
1 y_30 + 1 x_30 - s_235 <= 312.902
1 y_30 + -0 x_30 - s_236 <= 138.495
1 y_30 + 1 x_30 - s_237 <= 312.902
1 y_30 + -0 x_30 - s_238 <= 139.295
1 y_30 + 0 x_30 + s_239 >= 130.885
1 y_30 + -1 x_30 + s_240 >= -44.7219
1 y_30 + -1 x_30 + s_241 >= -43.2508
1 y_30 + -1 x_30 + s_242 >= -43.122
1 y_30 + 0 x_30 + s_243 >= 131.685
1 y_30 + 0 x_30 + s_244 >= 129.63
1 y_30 + -1 x_30 + s_245 >= -40.0508
1 y_30 + 0 x_30 + s_246 >= 129.667
1 y_30 + 0 x_30 + s_247 >= 129.667
1 y_30 + 0 x_30 + s_248 >= 130.085
1 y_30 + -1 x_30 + s_249 >= -43.9221
1 y_30 + 0 x_30 + s_250 >= 130.085
1 y_30 + -1 x_30 + s_251 >= -42.3219
1 y_30 + -1 x_30 + s_252 >= -38.4508
1 y_30 + 0 x_30 + s_253 >= 131.267
1 y_30 + 0 x_30 + s_254 >= 131.267
1 y_30 + -1 x_30 + s_255 >= -39.122
1 y_30 + -1 x_30 + s_256 >= -43.122
1 y_30 + 0 x_30 + s_257 >= 130.885
1 y_30 + -1 x_30 + s_258 >= -41.5218
1 y_30 + -1 x_30 + s_259 >= -38.3219
1 y_30 + -0 x_30 - s_260 <= 135.295
1 y_30 + -1 x_30 + s_261 >= -42.3219
1 y_30 + -0 x_30 - s_262 <= 138.495
1 y_30 + -1 x_30 + s_263 >= -37.522
1 y_30 + -1 x_30 - s_264 <= -24.7692
1 y_30 + 1 x_30 - s_265 <= 313.851
1 y_30 + 1 x_30 - s_266 <= 313.702
1 y_30 + 1 x_30 - s_267 <= 310.502
1 y_30 + -1 x_30 + s_268 >= -36.7219
1 y_30 + -1 x_30 + s_269 >= -40.8136
1 y_30 + -1 x_30 + s_270 >= -40.8508
1 y_30 + -1 x_30 + s_271 >= -40.7219
1 y_30 + -1 x_30 + s_272 >= -39.9218
1 y_30 + -1 x_30 + s_273 >= -41.6136
1 y_30 + -1 x_30 + s_274 >= -42.2285
1 y_30 + -1 x_30 + s_275 >= -42.2285
1 y_30 + -1 x_30 + s_276 >= -41.522
1 y_30 + -1 x_30 + s_277 >= -40.7219
1 y_30 + -1 x_30 + s_278 >= -35.9218
1 y_30 + -0 x_30 - s_279 <= 136.059
1 y_30 + -0 x_30 - s_280 <= 139.259
x_30 - xt_30 <= 170.11
x_30 + xt_30 >= 170.11
y_30 - yt_30 <= 134.5
y_30 + yt_30 >= 134.5
1 y_42 + -1 x_42 - s_281 + w_r_42 <= -21.6054
1 y_42 + -1 x_42 + s_282 - w_l_42 >= -26.6546
0 y_42 + 1 x_42 - s_283 <= 166.438
1 y_42 + -1 x_42 - s_284 + w_r_42 <= -23.5739
0 y_42 + 1 x_42 - s_285 <= 167.238
1 y_42 + -1 x_42 + s_286 - w_l_42 >= -25.7021
1 y_42 + -1 x_42 + s_287 - w_l_42 >= -25.2136
1 y_42 + -1 x_42 + s_288 - w_l_42 >= -25.7785
1 y_42 + -1 x_42 + s_289 - w_l_42 >= -25.7785
1 y_42 + -1 x_42 + s_290 - w_l_42 >= -24.7496
0 y_42 + 1 x_42 - s_291 <= 168.038
0 y_42 + 1 x_42 - s_292 <= 166.438
1 y_42 + -0 x_42 - s_293 <= 139.07
0 y_42 + 1 x_42 - s_294 <= 167.703
1 y_42 + -0 x_42 - s_295 <= 138.983
0 y_42 + 1 x_42 - s_296 <= 167.643
0 y_42 + 1 x_42 - s_297 <= 168.038
1 y_42 + -0 x_42 - s_298 <= 138.904
1 y_42 + -1 x_42 - s_299 + w_r_42 <= -21.6689
0 y_42 + 1 x_42 - s_300 <= 167.238
0 y_42 + 1 x_42 - s_301 <= 166.438
0 y_42 + 1 x_42 - s_302 <= 166.438
1 y_42 + -0 x_42 - s_303 <= 140.07
1 y_42 + 0 x_42 - s_304 <= 139.693
1 y_42 + -0 x_42 - s_305 <= 139.633
1 y_42 + -0 x_42 - s_306 <= 139.633
1 y_42 + -0 x_42 - s_307 <= 139.857
0 y_42 + 1 x_42 - s_308 <= 166.438
0 y_42 + 1 x_42 - s_309 <= 168.038
0 y_42 + 1 x_42 - s_310 <= 166.438
0 y_42 + 1 x_42 - s_311 <= 166.438
0 y_42 + 1 x_42 - s_312 <= 168.038
0 y_42 + 1 x_42 - s_313 <= 166.438
1 y_42 + 1 x_42 - s_314 <= 304.302
1 y_42 + -1 x_42 + s_315 - w_l_42 >= -36.4136
1 y_42 + -1 x_42 + s_316 - w_l_42 >= -36.8785
1 y_42 + -1 x_42 + s_317 - w_l_42 >= -36.8785
1 y_42 + -1 x_42 + s_318 - w_l_42 >= -36.3221
1 y_42 + -1 x_42 + s_319 - w_l_42 >= -37.1219
0 y_42 + 1 x_42 - s_320 <= 167.238
0 y_42 + 1 x_42 - s_321 <= 168.038
0 y_42 + 1 x_42 - s_322 <= 167.238
0 y_42 + 1 x_42 - s_323 <= 167.238
0 y_42 + 1 x_42 - s_324 <= 168.038
0 y_42 + 1 x_42 - s_325 <= 167.238
0 y_42 + 1 x_42 - s_326 <= 167.238
0 y_42 + 1 x_42 - s_327 <= 168.038
1 y_42 + -0 x_42 + s_328 >= 134.121
0 y_42 + 1 x_42 - s_329 <= 168.038
1 y_42 + -1 x_42 - s_330 + w_r_42 <= -22.6214
0 y_42 + 1 x_42 - s_331 <= 168.038
1 y_42 + -0 x_42 + s_332 >= 135.073
1 y_42 + -1 x_42 + s_333 - w_l_42 >= -37.922
1 y_42 + -0 x_42 + s_334 >= 134.121
1 y_42 + -1 x_42 - s_335 + w_r_42 <= -24.4064
1 y_42 + -1 x_42 - s_336 + w_r_42 <= -24.3692
1 y_42 + -0 x_42 - s_337 <= 138.42
1 y_42 + -1 x_42 - s_338 + w_r_42 <= -24.5264
1 y_42 + -1 x_42 - s_339 + w_r_42 <= -22.5579
1 y_42 + -0 x_42 - s_340 <= 140.809
0 y_42 + 1 x_42 - s_341 <= 168.038
1 y_42 + 1 x_42 + s_342 >= 300.335
1 y_42 + 1 x_42 + s_343 >= 299.383
1 y_42 + -0 x_42 + s_344 >= 136.026
1 y_42 + -0 x_42 - s_345 <= 138.904
1 y_42 + -1 x_42 - s_346 + w_r_42 <= -20.6529
1 y_42 + -1 x_42 + s_347 - w_l_42 >= -36.3218
1 y_42 + -0 x_42 - s_348 <= 140.809
1 y_42 + -1 x_42 - s_349 + w_r_42 <= -23.5104
0 y_42 + 1 x_42 + s_350 >= 162.569
1 y_42 + -0 x_42 + s_351 >= 135.073
1 y_42 + -0 x_42 - s_352 <= 139.857
0 y_42 + 1 x_42 - s_353 <= 167.202
0 y_42 + 1 x_42 - s_354 <= 167.202
x_42 - xt_42 <= 163.06
x_42 + xt_42 >= 163.06
y_42 - yt_42 <= 138.4
y_42 + yt_42 >= 138.4
0 y_43 + 1 x_43 + s_355 >= 164.318
0 y_43 + 1 x_43 - s_356 <= 171.089
0 y_43 + 1 x_43 - s_357 <= 170.29
1 y_43 + 0 x_43 + s_358 - w_l_43 >= 137.858
0 y_43 + 1 x_43 - s_359 <= 171.089
1 y_43 + 1 x_43 + s_360 >= 304.121
1 y_43 + 0 x_43 + s_361 - w_l_43 >= 138.658
1 y_43 + 1 x_43 + s_362 >= 301.469
1 y_43 + -1 x_43 + s_363 >= -29.2514
1 y_43 + 1 x_43 + s_364 >= 301.554
1 y_43 + 1 x_43 + s_365 >= 301.554
1 y_43 + -1 x_43 + s_366 >= -29.1663
1 y_43 + -1 x_43 + s_367 >= -29.1663
0 y_43 + 1 x_43 - s_368 <= 169.489
1 y_43 + 1 x_43 + s_369 >= 301.264
1 y_43 + -1 x_43 + s_370 >= -28.6099
1 y_43 + 0 x_43 + s_371 - w_l_43 >= 139.458
1 y_43 + -1 x_43 + s_372 >= -35.0097
0 y_43 + 1 x_43 + s_373 >= 165.739
0 y_43 + 1 x_43 + s_374 >= 165.826
0 y_43 + 1 x_43 + s_375 >= 165.334
0 y_43 + 1 x_43 + s_376 >= 165.334
1 y_43 + -1 x_43 + s_377 >= -30.2096
1 y_43 + -1 x_43 + s_378 >= -28.6099
1 y_43 + -1 x_43 + s_379 >= -35.0097
1 y_43 + -1 x_43 - s_380 <= -23.3186
1 y_43 + -1 x_43 - s_381 <= -23.9814
1 y_43 + -1 x_43 + s_382 >= -31.1386
1 y_43 + -1 x_43 - s_383 <= -24.1037
1 y_43 + -1 x_43 - s_384 <= -24.1037
1 y_43 + -1 x_43 + s_385 >= -31.0163
1 y_43 + -1 x_43 + s_386 >= -31.0163
1 y_43 + -1 x_43 + s_387 >= -33.4097
1 y_43 + -1 x_43 - s_388 <= -23.4761
1 y_43 + -1 x_43 + s_389 >= -34.2096
1 y_43 + -1 x_43 + s_390 >= -31.0097
1 y_43 + -1 x_43 + s_391 >= -29.4098
0 y_43 + 1 x_43 - s_392 <= 171.089
1 y_43 + 0 x_43 + s_393 - w_l_43 >= 137.058
0 y_43 + 1 x_43 - s_394 <= 171.089
0 y_43 + 1 x_43 - s_395 <= 169.489
1 y_43 + 0 x_43 + s_396 - w_l_43 >= 138.658
1 y_43 + 0 x_43 + s_397 - w_l_43 >= 138.658
0 y_43 + 1 x_43 - s_398 <= 171.089
1 y_43 + 0 x_43 + s_399 - w_l_43 >= 140.258
1 y_43 + -1 x_43 + s_400 >= -35.8095
1 y_43 + -1 x_43 + s_401 >= -34.2098
1 y_43 + -1 x_43 + s_402 >= -29.4098
1 y_43 + -1 x_43 + s_403 >= -32.6096
1 y_43 + -1 x_43 + s_404 >= -29.4098
0 y_43 + 1 x_43 - s_405 <= 170.29
1 y_43 + 0 x_43 + s_406 - w_l_43 >= 137.858
0 y_43 + 1 x_43 - s_407 <= 170.29
1 y_43 + 0 x_43 + s_408 - w_l_43 >= 139.458
0 y_43 + 1 x_43 - s_409 <= 169.489
1 y_43 + 0 x_43 + s_410 - w_l_43 >= 140.258
1 y_43 + -1 x_43 + s_411 >= -30.2099
0 y_43 + 1 x_43 + s_412 >= 165.334
1 y_43 + 0 x_43 + s_413 - w_l_43 >= 139.458
1 y_43 + 1 x_43 + s_414 >= 303.019
1 y_43 + -1 x_43 - s_415 <= -28.0814
1 y_43 + -0 x_43 - s_416 + w_r_43 <= 140.346
0 y_43 + 1 x_43 - s_417 <= 169.505
0 y_43 + 1 x_43 - s_418 <= 170.081
0 y_43 + 1 x_43 - s_419 <= 170.205
0 y_43 + 1 x_43 - s_420 <= 170.29
1 y_43 + 1 x_43 + s_421 >= 303.169
0 y_43 + 1 x_43 + s_422 >= 164.318
0 y_43 + 1 x_43 - s_423 <= 170.29
1 y_43 + -1 x_43 - s_424 <= -22.5236
1 y_43 + 1 x_43 + s_425 >= 300.248
0 y_43 + 1 x_43 + s_426 >= 164.318
0 y_43 + 1 x_43 + s_427 >= 164.318
1 y_43 + -1 x_43 - s_428 <= -21.5076
1 y_43 + 1 x_43 + s_429 >= 302.153
1 y_43 + 1 x_43 + s_430 >= 301.2
0 y_43 + 1 x_43 + s_431 >= 164.318
1 y_43 + -1 x_43 + s_432 >= -28.558
1 y_43 + 0 x_43 + s_433 - w_l_43 >= 140.295
x_43 - xt_43 <= 168.635
x_43 + xt_43 >= 168.635
y_43 - yt_43 <= 140.3
y_43 + yt_43 >= 140.3
1 y_44 + -1 x_44 + s_434 >= -35.9219
1 y_44 + -1 x_44 + s_435 >= -34.322
1 y_44 + 1 x_44 + s_436 - w_l_44 >= 306.744
1 y_44 + -1 x_44 + s_437 >= -34.3217
1 y_44 + 1 x_44 + s_438 - w_l_44 >= 308.344
1 y_44 + 0 x_44 + s_439 >= 138.38
1 y_44 + 1 x_44 + s_440 - w_l_44 >= 308.842
1 y_44 + 1 x_44 + s_441 - w_l_44 >= 308.842
1 y_44 + -1 x_44 + s_442 >= -34.322
1 y_44 + 1 x_44 + s_443 - w_l_44 >= 308.344
0 y_44 + 1 x_44 + s_444 >= 169.728
1 y_44 + -1 x_44 + s_445 >= -37.5219
1 y_44 + 1 x_44 + s_446 - w_l_44 >= 304.969
1 y_44 + 1 x_44 + s_447 - w_l_44 >= 305.092
1 y_44 + 1 x_44 + s_448 - w_l_44 >= 305.144
1 y_44 + -1 x_44 + s_449 >= -37.5219
1 y_44 + 1 x_44 + s_450 - w_l_44 >= 305.144
1 y_44 + -1 x_44 + s_451 >= -39.1218
1 y_44 + 1 x_44 + s_452 - w_l_44 >= 305.144
1 y_44 + -1 x_44 + s_453 >= -37.5219
1 y_44 + 1 x_44 + s_454 - w_l_44 >= 303.544
1 y_44 + -1 x_44 + s_455 >= -33.6508
1 y_44 + -1 x_44 + s_456 >= -33.5285
1 y_44 + -1 x_44 + s_457 >= -33.5285
1 y_44 + -1 x_44 + s_458 >= -35.9219
1 y_44 + -1 x_44 + s_459 >= -36.7218
1 y_44 + 1 x_44 + s_460 - w_l_44 >= 305.944
1 y_44 + 1 x_44 + s_461 - w_l_44 >= 304.344
1 y_44 + -1 x_44 + s_462 >= -36.7218
1 y_44 + 1 x_44 + s_463 - w_l_44 >= 305.944
1 y_44 + -1 x_44 + s_464 >= -35.1218
1 y_44 + -1 x_44 + s_465 >= -33.5219
1 y_44 + 1 x_44 + s_466 - w_l_44 >= 309.144
1 y_44 + 1 x_44 + s_467 - w_l_44 >= 307.544
0 y_44 + 1 x_44 - s_468 <= 174.138
0 y_44 + 1 x_44 + s_469 >= 169.728
1 y_44 + -1 x_44 + s_470 >= -38.3217
1 y_44 + -1 x_44 + s_471 >= -38.322
1 y_44 + 1 x_44 + s_472 - w_l_44 >= 304.344
1 y_44 + -1 x_44 + s_473 >= -36.722
1 y_44 + 1 x_44 + s_474 - w_l_44 >= 305.944
1 y_44 + -1 x_44 + s_475 >= -35.1218
1 y_44 + 1 x_44 + s_476 - w_l_44 >= 307.544
1 y_44 + -1 x_44 + s_477 >= -35.1221
1 y_44 + 1 x_44 + s_478 - w_l_44 >= 307.544
1 y_44 + -1 x_44 + s_479 >= -33.5219
1 y_44 + 1 x_44 + s_480 - w_l_44 >= 309.144
1 y_44 + 1 x_44 - s_481 + w_r_44 <= 312.902
0 y_44 + 1 x_44 + s_482 >= 171.327
1 y_44 + 1 x_44 + s_483 - w_l_44 >= 306.744
1 y_44 + 1 x_44 + s_484 - w_l_44 >= 309.944
1 y_44 + -0 x_44 - s_485 <= 139.72
1 y_44 + 1 x_44 - s_486 + w_r_44 <= 313.701
0 y_44 + 1 x_44 - s_487 <= 173.13
0 y_44 + 1 x_44 - s_488 <= 173.253
0 y_44 + 1 x_44 - s_489 <= 173.338
1 y_44 + -1 x_44 + s_490 >= -35.9219
1 y_44 + 1 x_44 + s_491 - w_l_44 >= 306.795
0 y_44 + 1 x_44 + s_492 >= 170.564
x_44 - xt_44 <= 172.91
x_44 + xt_44 >= 172.91
y_44 - yt_44 <= 139.7
y_44 + yt_44 >= 139.7
1 y_47 + -0 x_47 + s_493 >= 139.815
1 y_47 + -0 x_47 + s_494 >= 138.862
1 y_47 + -1 x_47 + s_495 >= -19.3264
1 y_47 + -1 x_47 + s_496 >= -19.8913
1 y_47 + -0 x_47 + s_497 >= 141.719
1 y_47 + -1 x_47 + s_498 >= -19.7999
1 y_47 + -1 x_47 + s_499 >= -24.1136
0 y_47 + 1 x_47 - s_500 <= 164.556
1 y_47 + -1 x_47 + s_501 >= -20.7524
1 y_47 + 0 x_47 + s_502 >= 137.704
1 y_47 + -1 x_47 + s_503 >= -23.4636
0 y_47 + 1 x_47 - s_504 <= 164.206
1 y_47 + -0 x_47 + s_505 >= 137.909
1 y_47 + -0 x_47 + s_506 >= 138.862
1 y_47 + -0 x_47 - s_507 <= 142.735
1 y_47 + 1 x_47 + s_508 >= 302.438
1 y_47 + -0 x_47 + s_509 >= 140.767
1 y_47 + -0 x_47 - s_510 <= 142.736
1 y_47 + -0 x_47 + s_511 >= 137.91
0 y_47 + 1 x_47 + s_512 >= 160.793
x_47 - xt_47 <= 161.31
x_47 + xt_47 >= 161.31
y_47 - yt_47 <= 142.25
y_47 + yt_47 >= 142.25
1 y_48 + 1 x_48 + s_513 >= 300.345
1 y_48 + -1 x_48 + s_514 >= -21.5421
1 y_48 + 0 x_48 + s_515 >= 141.705
1 y_48 + -1 x_48 + s_516 >= -19.7285
1 y_48 + 1 x_48 + s_517 >= 303.266
1 y_48 + -1 x_48 + s_518 >= -19.6371
1 y_48 + -1 x_48 + s_519 >= -23.9508
0 y_48 + 1 x_48 - s_520 <= 164.505
1 y_48 + -0 x_48 + s_521 >= 137.158
1 y_48 + -1 x_48 + s_522 >= -20.5896
1 y_48 + 0 x_48 + s_523 >= 137.905
1 y_48 + -1 x_48 + s_524 >= -23.3008
0 y_48 + 1 x_48 - s_525 <= 164.155
1 y_48 + -0 x_48 + s_526 >= 138.111
1 y_48 + 1 x_48 + s_527 >= 299.393
1 y_48 + -0 x_48 - s_528 <= 142.534
1 y_48 + 1 x_48 + s_529 >= 302.25
1 y_48 + 1 x_48 + s_530 >= 301.298
1 y_48 + -0 x_48 - s_531 <= 142.534
1 y_48 + -0 x_48 + s_532 >= 138.111
1 y_48 + -0 x_48 + s_533 >= 137.158
0 y_48 + 1 x_48 + s_534 >= 160.844
x_48 - xt_48 <= 161.635
x_48 + xt_48 >= 161.635
y_48 - yt_48 <= 142.075
y_48 + yt_48 >= 142.075
1 y_49 + -1 x_49 + s_535 >= -30.1136
1 y_49 + -1 x_49 + s_536 >= -29.9913
1 y_49 + -1 x_49 + s_537 >= -29.9913
1 y_49 + 0 x_49 + s_538 - w_l_49 >= 141.591
x_49 - xt_49 <= 164.66
x_49 + xt_49 >= 164.66
y_49 - yt_49 <= 141.9
y_49 + yt_49 >= 141.9
1 y_50 + 1 x_50 + s_539 - w_l_50 >= 304.856
1 y_50 + 1 x_50 + s_540 - w_l_50 >= 308.719
1 y_50 + 1 x_50 + s_541 - w_l_50 >= 308.842
1 y_50 + 1 x_50 + s_542 - w_l_50 >= 308.842
1 y_50 + 1 x_50 + s_543 - w_l_50 >= 305.092
1 y_50 + -1 x_50 + s_544 >= -37.1285
1 y_50 + 1 x_50 + s_545 - w_l_50 >= 295.169
1 y_50 + 0 x_50 + s_546 >= 134.58
1 y_50 + -1 x_50 + s_547 >= -37.8285
1 y_50 + -1 x_50 + s_548 >= -37.8285
x_50 - xt_50 <= 169.91
x_50 + xt_50 >= 169.91
y_50 - yt_50 <= 139.5
y_50 + yt_50 >= 139.5
0 y_51 + 1 x_51 - s_549 <= 174.138
1 y_51 + -0 x_51 - s_550 <= 137.295
0 y_51 + 1 x_51 + s_551 >= 169.728
1 y_51 + 1 x_51 - s_552 + w_r_51 <= 313.702
1 y_51 + -0 x_51 - s_553 <= 137.295
1 y_51 + -0 x_51 - s_554 <= 136.62
1 y_51 + -0 x_51 - s_555 <= 136.533
1 y_51 + -0 x_51 - s_556 <= 136.533
1 y_51 + 1 x_51 - s_557 + w_r_51 <= 310.502
0 y_51 + 1 x_51 + s_558 >= 171.327
1 y_51 + -0 x_51 - s_559 <= 138.095
1 y_51 + -1 x_51 + s_560 >= -37.5219
1 y_51 + 1 x_51 + s_561 - w_l_51 >= 304.969
1 y_51 + 1 x_51 + s_562 - w_l_51 >= 305.092
1 y_51 + 1 x_51 + s_563 - w_l_51 >= 305.144
1 y_51 + -1 x_51 + s_564 >= -37.5219
1 y_51 + 1 x_51 + s_565 - w_l_51 >= 305.144
1 y_51 + -1 x_51 + s_566 >= -39.1218
0 y_51 + 1 x_51 + s_567 >= 169.728
1 y_51 + -1 x_51 + s_568 >= -37.5219
1 y_51 + 1 x_51 + s_569 - w_l_51 >= 303.544
1 y_51 + -0 x_51 - s_570 <= 139.42
1 y_51 + 0 x_51 - s_571 <= 138.193
1 y_51 + -0 x_51 - s_572 <= 138.095
1 y_51 + 1 x_51 + s_573 - w_l_51 >= 302.744
1 y_51 + -1 x_51 + s_574 >= -36.7218
1 y_51 + 1 x_51 + s_575 - w_l_51 >= 305.944
1 y_51 + 1 x_51 + s_576 - w_l_51 >= 304.344
0 y_51 + 1 x_51 - s_577 <= 174.138
0 y_51 + 1 x_51 + s_578 >= 169.728
0 y_51 + 1 x_51 - s_579 <= 174.138
1 y_51 + -0 x_51 - s_580 <= 137.295
1 y_51 + -0 x_51 - s_581 <= 137.295
0 y_51 + 1 x_51 + s_582 >= 169.728
1 y_51 + -0 x_51 - s_583 <= 138.895
1 y_51 + -0 x_51 - s_584 <= 138.895
1 y_51 + -1 x_51 + s_585 >= -38.3217
1 y_51 + -1 x_51 + s_586 >= -39.9219
1 y_51 + -1 x_51 + s_587 >= -42.3217
1 y_51 + 1 x_51 + s_588 - w_l_51 >= 301.006
1 y_51 + 1 x_51 + s_589 - w_l_51 >= 300.542
1 y_51 + 1 x_51 + s_590 - w_l_51 >= 300.542
1 y_51 + 1 x_51 + s_591 - w_l_51 >= 301.144
1 y_51 + 1 x_51 + s_592 - w_l_51 >= 301.944
1 y_51 + -1 x_51 + s_593 >= -39.1221
1 y_51 + 1 x_51 + s_594 - w_l_51 >= 303.544
1 y_51 + -1 x_51 + s_595 >= -40.8508
1 y_51 + -1 x_51 + s_596 >= -40.7285
1 y_51 + -1 x_51 + s_597 >= -40.7218
1 y_51 + -1 x_51 + s_598 >= -38.322
1 y_51 + 1 x_51 + s_599 - w_l_51 >= 304.344
1 y_51 + -1 x_51 + s_600 >= -38.322
1 y_51 + 1 x_51 + s_601 - w_l_51 >= 304.344
1 y_51 + -1 x_51 + s_602 >= -36.722
1 y_51 + 1 x_51 + s_603 - w_l_51 >= 305.944
1 y_51 + 1 x_51 - s_604 + w_r_51 <= 309.702
0 y_51 + 1 x_51 + s_605 >= 171.327
0 y_51 + 1 x_51 - s_606 <= 173.338
0 y_51 + 1 x_51 + s_607 >= 170.527
1 y_51 + -0 x_51 - s_608 <= 138.095
1 y_51 + -0 x_51 - s_609 <= 138.095
1 y_51 + -0 x_51 - s_610 <= 138.895
1 y_51 + -0 x_51 - s_611 <= 138.895
1 y_51 + 1 x_51 + s_612 - w_l_51 >= 301.144
1 y_51 + 1 x_51 + s_613 - w_l_51 >= 300.969
1 y_51 + 1 x_51 + s_614 - w_l_51 >= 301.092
1 y_51 + 1 x_51 + s_615 - w_l_51 >= 301.092
1 y_51 + -1 x_51 + s_616 >= -40.7218
1 y_51 + 1 x_51 + s_617 - w_l_51 >= 301.944
1 y_51 + 1 x_51 + s_618 - w_l_51 >= 306.744
1 y_51 + -1 x_51 + s_619 >= -41.5219
1 y_51 + -0 x_51 - s_620 <= 138.095
1 y_51 + 1 x_51 + s_621 - w_l_51 >= 302.744
1 y_51 + -0 x_51 - s_622 <= 139.72
1 y_51 + 0 x_51 - s_623 <= 139.143
1 y_51 + -0 x_51 - s_624 <= 139.17
1 y_51 + 0 x_51 - s_625 <= 138.993
1 y_51 + -0 x_51 - s_626 <= 138.895
0 y_51 + 1 x_51 - s_627 <= 173.338
1 y_51 + 1 x_51 + s_628 - w_l_51 >= 303.544
1 y_51 + -1 x_51 + s_629 >= -40.0508
1 y_51 + -1 x_51 + s_630 >= -39.9219
1 y_51 + -1 x_51 + s_631 >= -39.1218
1 y_51 + -1 x_51 + s_632 >= -40.8136
1 y_51 + -1 x_51 + s_633 >= -41.4285
1 y_51 + -1 x_51 + s_634 >= -41.4285
1 y_51 + -1 x_51 + s_635 >= -40.722
1 y_51 + -1 x_51 + s_636 >= -39.9219
1 y_51 + 1 x_51 + s_637 - w_l_51 >= 302.744
0 y_51 + 1 x_51 + s_638 >= 170.564
1 y_51 + -0 x_51 - s_639 <= 138.859
x_51 - xt_51 <= 172.91
x_51 + xt_51 >= 172.91
y_51 - yt_51 <= 136.5
y_51 + yt_51 >= 136.5
1 y_74 + -1 x_74 + s_640 >= -33.3221
1 y_74 + 1 x_74 - s_641 <= 287.586
0 y_74 + 1 x_74 - s_642 <= 159.3
0 y_74 + 1 x_74 - s_643 <= 159.3
1 y_74 + 1 x_74 + s_644 >= 279.038
0 y_74 + 1 x_74 - s_645 <= 160.316
0 y_74 + 1 x_74 + s_646 >= 155.698
0 y_74 + 1 x_74 - s_647 <= 160.58
1 y_74 + 1 x_74 - s_648 <= 287.65
0 y_74 + 1 x_74 - s_649 <= 160.58
0 y_74 + 1 x_74 - s_650 <= 161.143
0 y_74 + 1 x_74 - s_651 <= 161.143
0 y_74 + 1 x_74 - s_652 <= 160.316
1 y_74 + 1 x_74 - s_653 <= 285.745
0 y_74 + 1 x_74 - s_654 <= 157.203
0 y_74 + 1 x_74 - s_655 <= 158.143
0 y_74 + 1 x_74 - s_656 <= 158.143
0 y_74 + 1 x_74 - s_657 <= 157.014
0 y_74 + 1 x_74 - s_658 <= 157.967
1 y_74 + 1 x_74 - s_659 <= 286.634
0 y_74 + 1 x_74 - s_660 <= 159.3
1 y_74 + 1 x_74 - s_661 <= 284.729
1 y_74 + -1 x_74 + s_662 >= -34.2746
1 y_74 + -1 x_74 + s_663 >= -35.2271
1 y_74 + 1 x_74 - s_664 <= 286.697
1 y_74 + -1 x_74 + s_665 >= -32.3696
1 y_74 + 1 x_74 - s_666 <= 285.681
1 y_74 + -1 x_74 + s_667 >= -32.3061
1 y_74 + 1 x_74 - s_668 <= 289.101
1 y_74 + 1 x_74 - s_669 <= 288.602
0 y_74 + 1 x_74 - s_670 <= 160.316
x_74 - xt_74 <= 156.16
x_74 + xt_74 >= 156.16
y_74 - yt_74 <= 124
y_74 + yt_74 >= 124
1 y_75 + 1 x_75 - s_671 <= 287.578
0 y_75 + 1 x_75 - s_672 <= 159.73
0 y_75 + 1 x_75 - s_673 <= 162.653
0 y_75 + 1 x_75 - s_674 <= 159.643
0 y_75 + 1 x_75 - s_675 <= 159.643
1 y_75 + -1 x_75 + s_676 - w_l_75 >= -33.7136
1 y_75 + 1 x_75 - s_677 <= 284.651
1 y_75 + -1 x_75 + s_678 - w_l_75 >= -33.6285
1 y_75 + -1 x_75 + s_679 - w_l_75 >= -33.6285
1 y_75 + 1 x_75 - s_680 <= 288.651
0 y_75 + 1 x_75 - s_681 <= 160.83
1 y_75 + 1 x_75 - s_682 <= 288.528
1 y_75 + 1 x_75 - s_683 <= 288.528
x_75 - xt_75 <= 158.26
x_75 + xt_75 >= 158.26
y_75 - yt_75 <= 126.1
y_75 + yt_75 >= 126.1
1 y_76 + -0 x_76 - s_684 + w_r_76 <= 129.51
1 y_76 + -1 x_76 + s_685 >= -35.5764
1 y_76 + -1 x_76 + s_686 >= -38.5636
1 y_76 + -1 x_76 + s_687 >= -35.4913
1 y_76 + -1 x_76 + s_688 >= -35.4913
1 y_76 + 0 x_76 + s_689 - w_l_76 >= 124.954
1 y_76 + -1 x_76 + s_690 >= -36.2136
1 y_76 + 0 x_76 + s_691 - w_l_76 >= 125.041
1 y_76 + 0 x_76 + s_692 - w_l_76 >= 125.041
0 y_76 + 1 x_76 - s_693 <= 166.97
0 y_76 + 1 x_76 - s_694 <= 166.97
1 y_76 + 0 x_76 - s_695 + w_r_76 <= 130.52
1 y_76 + 1 x_76 - s_696 <= 291.776
1 y_76 + -0 x_76 - s_697 + w_r_76 <= 130.46
1 y_76 + -0 x_76 - s_698 + w_r_76 <= 130.46
x_76 - xt_76 <= 162.66
x_76 + xt_76 >= 162.66
y_76 - yt_76 <= 127.9
y_76 + yt_76 >= 127.9
1 y_77 + -0 x_77 - s_699 <= 133.545
1 y_77 + 1 x_77 - s_700 <= 300.651
1 y_77 + -0 x_77 - s_701 <= 133.458
1 y_77 + -0 x_77 - s_702 <= 133.458
1 y_77 + 1 x_77 - s_703 <= 300.678
1 y_77 + -1 x_77 - s_704 + w_r_77 <= -32.4415
1 y_77 + 0 x_77 + s_705 >= 125.205
1 y_77 + -1 x_77 + s_706 - w_l_77 >= -41.2008
1 y_77 + 1 x_77 + s_707 >= 288.942
1 y_77 + 1 x_77 + s_708 >= 288.942
0 y_77 + 1 x_77 - s_709 <= 168.568
0 y_77 + 1 x_77 - s_710 <= 168.568
1 y_77 + 1 x_77 + s_711 >= 292.456
1 y_77 + -1 x_77 + s_712 - w_l_77 >= -38.8508
1 y_77 + 1 x_77 - s_713 <= 296.678
1 y_77 + 1 x_77 - s_714 <= 296.678
1 y_77 + -1 x_77 - s_715 + w_r_77 <= -31.3692
1 y_77 + -0 x_77 - s_716 <= 129.895
1 y_77 + -1 x_77 - s_717 + w_r_77 <= -31.4915
1 y_77 + -1 x_77 - s_718 + w_r_77 <= -31.4915
x_77 - xt_77 <= 166.985
x_77 + xt_77 >= 166.985
y_77 - yt_77 <= 129.625
y_77 + yt_77 >= 129.625
1 y_78 + 0 x_78 - s_719 <= 133.745
1 y_78 + -0 x_78 - s_720 <= 134.085
1 y_78 + 1 x_78 - s_721 <= 303.79
1 y_78 + 1 x_78 - s_722 <= 306.99
1 y_78 + -0 x_78 - s_723 <= 134.447
1 y_78 + -0 x_78 - s_724 <= 135.247
1 y_78 + -0 x_78 - s_725 <= 133.647
1 y_78 + 0 x_78 - s_726 <= 135.945
1 y_78 + 1 x_78 - s_727 <= 308.739
1 y_78 + 1 x_78 - s_728 <= 308.616
1 y_78 + 1 x_78 - s_729 <= 308.616
1 y_78 + 1 x_78 - s_730 <= 308.59
1 y_78 + -0 x_78 - s_731 <= 132.847
1 y_78 + 1 x_78 - s_732 <= 307.79
1 y_78 + 1 x_78 - s_733 <= 304.59
1 y_78 + -0 x_78 - s_734 <= 134.447
1 y_78 + -0 x_78 - s_735 <= 136.047
1 y_78 + -1 x_78 + s_736 >= -39.2098
1 y_78 + 1 x_78 - s_737 <= 300.59
1 y_78 + -0 x_78 - s_738 <= 132.847
1 y_78 + 1 x_78 - s_739 <= 306.19
1 y_78 + 1 x_78 - s_740 <= 302.99
1 y_78 + -0 x_78 - s_741 <= 133.647
1 y_78 + -0 x_78 - s_742 <= 135.247
1 y_78 + 1 x_78 - s_743 <= 309.39
1 y_78 + -0 x_78 - s_744 <= 136.047
1 y_78 + -1 x_78 + s_745 >= -37.6098
1 y_78 + -1 x_78 + s_746 >= -40.0096
1 y_78 + 0 x_78 + s_747 >= 128.479
1 y_78 + -1 x_78 + s_748 >= -43.3386
1 y_78 + -1 x_78 + s_749 >= -43.2098
1 y_78 + -1 x_78 + s_750 >= -37.6096
1 y_78 + -1 x_78 + s_751 >= -40.8014
1 y_78 + -1 x_78 + s_752 >= -40.1386
1 y_78 + -1 x_78 + s_753 >= -40.7663
1 y_78 + -1 x_78 + s_754 >= -40.7663
1 y_78 + -1 x_78 + s_755 >= -40.0099
1 y_78 + -1 x_78 + s_756 >= -39.2098
0 y_78 + 1 x_78 - s_757 <= 173.164
1 y_78 + -1 x_78 + s_758 >= -38.5386
1 y_78 + -1 x_78 + s_759 >= -38.4163
1 y_78 + -1 x_78 + s_760 >= -38.4163
1 y_78 + -1 x_78 + s_761 >= -39.2098
1 y_78 + -1 x_78 + s_762 >= -38.4097
0 y_78 + 1 x_78 - s_763 <= 173.164
1 y_78 + -1 x_78 + s_764 >= -38.4097
1 y_78 + -0 x_78 - s_765 <= 135.247
0 y_78 + 1 x_78 - s_766 <= 169.965
1 y_78 + 1 x_78 - s_767 <= 302.19
1 y_78 + 0 x_78 + s_768 >= 128.779
1 y_78 + -1 x_78 + s_769 >= -41.5886
1 y_78 + -1 x_78 + s_770 >= -40.9014
0 y_78 + 1 x_78 - s_771 <= 170.78
0 y_78 + 1 x_78 - s_772 <= 173.164
0 y_78 + 1 x_78 - s_773 <= 173.164
1 y_78 + 1 x_78 - s_774 <= 301.39
1 y_78 + -0 x_78 - s_775 <= 136.01
1 y_78 + -1 x_78 + s_776 >= -40.7581
1 y_78 + -1 x_78 + s_777 >= -43.958
x_78 - xt_78 <= 168.71
x_78 + xt_78 >= 168.71
y_78 - yt_78 <= 131.625
y_78 + yt_78 >= 131.625
1 y_90 + -0 x_90 - s_778 <= 133.21
1 y_90 + 1 x_90 + s_779 >= 290.23
1 y_90 + -0 x_90 + s_780 >= 125.527
1 y_90 + -0 x_90 - s_781 <= 134.163
1 y_90 + -1 x_90 + s_782 >= -32.4514
1 y_90 + -1 x_90 + s_783 >= -32.0074
1 y_90 + -0 x_90 + s_784 >= 126.479
1 y_90 + 1 x_90 + s_785 >= 284.231
1 y_90 + 1 x_90 + s_786 >= 284.354
1 y_90 + 1 x_90 + s_787 >= 284.354
1 y_90 + -0 x_90 - s_788 <= 131.305
1 y_90 + -0 x_90 - s_789 <= 132.258
0 y_90 + 1 x_90 + s_790 >= 160.968
1 y_90 + -0 x_90 + s_791 >= 128.385
1 y_90 + -0 x_90 + s_792 >= 126.48
1 y_90 + -1 x_90 + s_793 >= -32.9599
1 y_90 + -0 x_90 - s_794 <= 131.306
1 y_90 + -0 x_90 + s_795 >= 127.432
1 y_90 + -0 x_90 - s_796 <= 134.163
1 y_90 + 0 x_90 + s_797 >= 129.18
1 y_90 + -1 x_90 + s_798 >= -32.8014
1 y_90 + -0 x_90 + s_799 >= 129.337
1 y_90 + -0 x_90 - s_800 <= 133.211
1 y_90 + -0 x_90 - s_801 <= 130.546
1 y_90 + 1 x_90 - s_802 <= 291.766
1 y_90 + 1 x_90 - s_803 <= 291.766
1 y_90 + -0 x_90 - s_804 <= 130.353
1 y_90 + -0 x_90 + s_805 >= 125.527
1 y_90 + -0 x_90 - s_806 <= 130.353
1 y_90 + -0 x_90 - s_807 <= 132.258
x_90 - xt_90 <= 161.485
x_90 + xt_90 >= 161.485
y_90 - yt_90 <= 129.85
y_90 + yt_90 >= 129.85
1 y_91 + 0 x_91 - s_808 + w_r_91 <= 134.42
1 y_91 + 1 x_91 - s_809 <= 298.866
1 y_91 + -0 x_91 - s_810 + w_r_91 <= 131.01
1 y_91 + -0 x_91 - s_811 + w_r_91 <= 131.01
1 y_91 + 0 x_91 + s_812 - w_l_91 >= 129.441
1 y_91 + 0 x_91 + s_813 - w_l_91 >= 129.441
1 y_91 + 1 x_91 + s_814 >= 289.254
1 y_91 + 1 x_91 + s_815 >= 289.254
1 y_91 + -0 x_91 - s_816 + w_r_91 <= 130.36
1 y_91 + -0 x_91 - s_817 + w_r_91 <= 130.36
1 y_91 + -0 x_91 - s_818 + w_r_91 <= 130.46
1 y_91 + -0 x_91 - s_819 + w_r_91 <= 130.46
0 y_91 + 1 x_91 - s_820 <= 169.445
0 y_91 + 1 x_91 - s_821 <= 169.445
x_91 - xt_91 <= 167.035
x_91 + xt_91 >= 167.035
y_91 - yt_91 <= 129.85
y_91 + yt_91 >= 129.85
1 y_92 + -0 x_92 - s_822 <= 135.908
1 y_92 + -0 x_92 - s_823 <= 135.908
1 y_92 + 0 x_92 - s_824 <= 133.168
1 y_92 + -0 x_92 - s_825 <= 133.108
1 y_92 + -0 x_92 - s_826 <= 135.508
1 y_92 + -0 x_92 - s_827 <= 135.508
1 y_92 + -1 x_92 - s_828 + w_r_92 <= -37.8415
1 y_92 + -1 x_92 - s_829 + w_r_92 <= -37.8415
1 y_92 + 1 x_92 + s_830 >= 302.692
1 y_92 + 1 x_92 + s_831 >= 302.692
0 y_92 + 1 x_92 + s_832 >= 171.502
0 y_92 + 1 x_92 + s_833 >= 171.502
1 y_92 + -1 x_92 + s_834 - w_l_92 >= -42.6285
1 y_92 + -1 x_92 + s_835 - w_l_92 >= -42.6285
x_92 - xt_92 <= 173.485
x_92 + xt_92 >= 173.485
y_92 - yt_92 <= 131.075
y_92 + yt_92 >= 131.075
1 y_93 + 0 x_93 + s_836 >= 129.285
1 y_93 + -0 x_93 - s_837 <= 136.895
1 y_93 + -0 x_93 - s_838 <= 137.02
1 y_93 + -1 x_93 - s_839 <= -33.8415
1 y_93 + -1 x_93 - s_840 <= -33.8415
1 y_93 + -0 x_93 - s_841 <= 136.895
1 y_93 + -1 x_93 - s_842 <= -33.3638
1 y_93 + -0 x_93 - s_843 <= 134.495
1 y_93 + -1 x_93 - s_844 <= -36.3692
1 y_93 + -1 x_93 - s_845 <= -35.6915
1 y_93 + -1 x_93 - s_846 <= -36.5637
1 y_93 + -0 x_93 - s_847 <= 133.695
1 y_93 + -1 x_93 - s_848 <= -34.9635
1 y_93 + -0 x_93 - s_849 <= 133.695
1 y_93 + -0 x_93 - s_850 <= 135.295
1 y_93 + 0 x_93 - s_851 <= 135.393
1 y_93 + -0 x_93 - s_852 <= 136.533
1 y_93 + -0 x_93 - s_853 <= 136.533
1 y_93 + -0 x_93 - s_854 <= 135.295
1 y_93 + -0 x_93 - s_855 <= 134.495
1 y_93 + -1 x_93 - s_856 <= -35.7636
1 y_93 + -0 x_93 - s_857 <= 136.095
1 y_93 + -0 x_93 - s_858 <= 134.495
1 y_93 + -0 x_93 - s_859 <= 132.895
1 y_93 + -1 x_93 + s_860 >= -43.5217
0 y_93 + 1 x_93 + s_861 >= 170.127
1 y_93 + -0 x_93 - s_862 <= 132.895
0 y_93 + 1 x_93 + s_863 >= 170.127
1 y_93 + -0 x_93 - s_864 <= 132.895
0 y_93 + 1 x_93 + s_865 >= 170.927
1 y_93 + -0 x_93 - s_866 <= 133.695
0 y_93 + 1 x_93 + s_867 >= 170.127
1 y_93 + -0 x_93 - s_868 <= 135.295
1 y_93 + -1 x_93 - s_869 <= -34.1637
1 y_93 + -0 x_93 - s_870 <= 136.095
1 y_93 + -1 x_93 - s_871 <= -34.1637
1 y_93 + -0 x_93 - s_872 <= 136.895
1 y_93 + -1 x_93 - s_873 <= -32.5637
1 y_93 + -1 x_93 + s_874 >= -45.1219
1 y_93 + 1 x_93 + s_875 >= 299.144
1 y_93 + 1 x_93 + s_876 >= 300.706
1 y_93 + 1 x_93 + s_877 >= 303.769
1 y_93 + 1 x_93 + s_878 >= 303.944
0 y_93 + 1 x_93 + s_879 >= 170.127
1 y_93 + 1 x_93 + s_880 >= 300.606
1 y_93 + 1 x_93 + s_881 >= 300.569
1 y_93 + 1 x_93 + s_882 >= 300.642
1 y_93 + 1 x_93 + s_883 >= 300.642
1 y_93 + 1 x_93 + s_884 >= 300.744
1 y_93 + 0 x_93 + s_885 >= 130.085
1 y_93 + 1 x_93 + s_886 >= 299.944
1 y_93 + 1 x_93 + s_887 >= 304.744
1 y_93 + 1 x_93 + s_888 >= 301.369
0 y_93 + 1 x_93 + s_889 >= 170.477
0 y_93 + 1 x_93 + s_890 >= 170.477
1 y_93 + 1 x_93 + s_891 >= 301.544
1 y_93 + 0 x_93 + s_892 >= 130.885
0 y_93 + 1 x_93 + s_893 >= 170.127
1 y_93 + 1 x_93 + s_894 >= 305.544
0 y_93 + 1 x_93 + s_895 >= 170.927
1 y_93 + -1 x_93 - s_896 <= -34.9638
1 y_93 + -1 x_93 + s_897 >= -42.7219
0 y_93 + 1 x_93 + s_898 >= 170.927
1 y_93 + -0 x_93 - s_899 <= 136.095