Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- \ SCIP STATISTICS
- \ Problem name : t_scheduling
- \ Variables : 1110 (347 binary, 0 integer, 0 implicit integer, 763 continuous)
- \ Constraints : 648
- \ Obj. scale : 1
- \ Obj. offset : 0
- Minimize
- Obj: +1153.01640271656 y_47 +1122.64464978014 y_48 +956.46819282455 y_49 +1104.4504673405 y_50 +1501.47324111893 y_51
- +1103.90861735415 y_52 +1107.16434710954 y_53 +1526.49385552288 y_54 +1104.71893184149 y_55 +1181.75071784549 y_56
- +1103.90861735415 y_57 +1157.93532913942 y_58 +1118.86508478033 y_59 +1108.39882541558 y_60 +1581.76865519559 y_61
- +1086.53041825175 y_62 +1174.38424116418 y_63 +1000.11581213518 y_64 +1240.29292391982 y_65 +1566.63798614157 y_66
- +1213.31778521883 y_67 +1490.47561041535 y_68 +1041.59460600378 y_69 +1152.20591485374 y_70 +1051.86130173015 y_71
- +1130.99283803581 y_72 +1606.52241581278 y_73 +1578.3624828517 y_74 +1228.39667403372 y_75 +1074.98820503637 y_76
- +1584.79367340911 y_77 +1005.7434272025 y_78 +1051.86326660096 y_79 +1229.11475151548 y_80 +1103.91822465365 y_81
- +1103.80973317771 y_82 +1035.47473852518 y_83 +1150.19941248093 y_84 +1236.99144610498 y_85 +1576.8364780234 y_86
- +1077.16173322707 y_87 +1020.33530674104 y_88 +1566.63798614157 y_89 +1071.67363732598 y_90 +1584.4053121521 y_91
- +1213.17430128861 y_92 +1240.19223723723 y_93 +1062.57460759107 y_94 +1064.97075944222 y_95 +1103.90861735415 y_96
- +1518.96767965194 y_97 +1020.99162236917 y_98 +1501.25064025759 y_99 +1051.86130173015 y_100 +1127.20094906954 y_101
- +1501.25103098562 y_102 +1153.94733121504 y_103 +1125.48741203666 y_104 +1150.19941248093 y_105
- +1201.77067469006 y_106 +1293.19319561809 y_107 +1051.86309020298 y_108 +1581.76865519559 y_109
- +1080.1456457716 y_110 +1566.63798614157 y_111 +1051.86130173015 y_112 +1465.63119374352 y_113 +1501.25064025759 y_114
- +1138.04447079006 y_115 +1626.23048812545 y_116 +1519.83516525148 y_117 +1483.0410234631 y_118 +1006.11246317542 y_119
- +1005.7434272025 y_120 +1227.0637636998 y_121 +1374.1879529997 y_122 +1004.31117321656 y_123 +1020.8500034498 y_124
- +1297.49386219268 y_125 +1093.53201235684 y_126 +1020.93349617751 y_127 +1228.52755042148 y_128
- +1459.05746300745 y_129 +980.589251742461 y_130 +1483.0410234631 y_131 +1439.55726757458 y_132 +1093.53201235684 y_133
- +1040.80214271637 y_134 +1069.17365918597 y_135 +1011.92354939604 y_136 +1124.20670613526 y_137
- +1222.54082453391 y_138 +1494.72850734775 y_139 +938.401197951353 y_140 +1683.58534837649 y_141
- +1173.89587824149 y_142 +1190.55178159258 y_143 +1107.16434710954 y_144 +1068.46178805717 y_145
- +1166.32878040263 y_146 +1040.26777255995 y_147 +1195.56617713379 y_148 +1036.64865575689 y_149
- +1502.82945013401 y_150 +1149.64256399877 y_151 +1551.20624431688 y_152 +1022.43403201537 y_153
- +1024.59263866386 y_154 +1459.05746300745 y_155 +1032.26327004565 y_156 +1173.89587824149 y_157
- +1153.1051812442 y_158 +1039.96515737378 y_159 +951.531784675746 y_160 +1222.54082453391 y_161 +1122.34123988256 y_162
- +1584.79367340911 y_163 +1240.29292391982 y_164 +1030.59981172908 y_165 +1184.758707037 y_166 +1377.02646950923 y_167
- +963.960897970363 y_168 +1568.92425465182 y_169 +1459.05746300745 y_170 +1076.98303562967 y_171
- +1088.88350063661 y_172 +1472.4559677439 y_173 +1519.83516525148 y_174 +1090.10396911578 y_175 +1297.49386219268 y_176
- +1465.63119374352 y_177 +1093.53201235684 y_178 +1040.26777255995 y_179 +1193.64101019113 y_180
- +1472.58055098648 y_181 +1294.61767866761 y_182 +1502.82945013401 y_183 +1193.59445913819 y_184
- +1051.86130173015 y_185 +1194.66349435723 y_186 +1099.41786700433 y_187 +1018.66513320132 y_188
- +1051.86309020298 y_189 +1137.45742845937 y_190 +1288.00484952891 y_191 +1187.24131311868 y_192
- +1501.25103098562 y_193 +1104.01882985987 y_194 +1526.49373519815 y_195 +1051.86309020298 y_196
- +1153.01640271656 y_197 +1122.64464978014 y_198 +956.46819282455 y_199 +1104.4504673405 y_200 +1501.47324111893 y_201
- +1103.90861735415 y_202 +1107.16434710954 y_203 +1526.49385552288 y_204 +1104.71893184149 y_205
- +1181.75071784549 y_206 +1103.90861735415 y_207 +1157.93532913942 y_208 +1118.86508478033 y_209
- +1108.39882541558 y_210 +1581.76865519559 y_211 +1086.53041825175 y_212 +1174.38424116418 y_213
- +1000.11581213518 y_214 +1240.29292391982 y_215 +1566.63798614157 y_216 +1213.31778521883 y_217
- +1490.47561041535 y_218 +1041.59460600378 y_219 +1152.20591485374 y_220 +1051.86130173015 y_221
- +1130.99283803581 y_222 +1606.52241581278 y_223 +1578.3624828517 y_224 +1228.39667403372 y_225 +1074.98820503637 y_226
- +1584.79367340911 y_227 +1005.7434272025 y_228 +1051.86326660096 y_229 +1229.11475151548 y_230 +1103.91822465365 y_231
- +1103.80973317771 y_232 +1035.47473852518 y_233 +1150.19941248093 y_234 +1236.99144610498 y_235
- +1576.8364780234 y_236 +1077.16173322707 y_237 +1020.33530674104 y_238 +1566.63798614157 y_239 +1071.67363732598 y_240
- +1584.4053121521 y_241 +1213.17430128861 y_242 +1240.19223723723 y_243 +1062.57460759107 y_244 +1064.97075944222 y_245
- +1103.90861735415 y_246 +1518.96767965194 y_247 +1020.99162236917 y_248 +1501.25064025759 y_249
- +1051.86130173015 y_250 +1127.20094906954 y_251 +1501.25103098562 y_252 +1153.94733121504 y_253
- +1125.48741203666 y_254 +1150.19941248093 y_255 +1201.77067469006 y_256 +1293.19319561809 y_257
- +1051.86309020298 y_258 +1581.76865519559 y_259 +1080.1456457716 y_260 +1566.63798614157 y_261 +1051.86130173015 y_262
- +1465.63119374352 y_263 +1501.25064025759 y_264 +1138.04447079006 y_265 +1626.23048812545 y_266
- +1519.83516525148 y_267 +1483.0410234631 y_268 +1006.11246317542 y_269 +1005.7434272025 y_270 +1227.0637636998 y_271
- +1374.1879529997 y_272 +1004.31117321656 y_273 +1020.8500034498 y_274 +1297.49386219268 y_275 +1093.53201235684 y_276
- +1020.93349617751 y_277 +1228.52755042148 y_278 +1459.05746300745 y_279 +980.589251742461 y_280
- +1483.0410234631 y_281 +1439.55726757458 y_282 +1093.53201235684 y_283 +1040.80214271637 y_284 +1069.17365918597 y_285
- +1011.92354939604 y_286 +1124.20670613526 y_287 +1222.54082453391 y_288 +1494.72850734775 y_289
- +938.401197951353 y_290 +1683.58534837649 y_291 +1173.89587824149 y_292 +1190.55178159258 y_293
- +1068.46178805717 y_294 +1166.32878040263 y_295 +1195.56617713379 y_296 +1222.54082453391 y_297
- +1584.79367340911 y_298 +1240.29292391982 y_299 +10000000 z_0 +10000000 z_1 +1611.42559068481 y_300
- +10000000 z_2 +10000000 z_3 +11095.6069465528 y_301 +10000000 z_4 +10000000 z_5 +9306.26981273565 y_302
- +10000000 z_6 +10000000 z_7 +10000000 z_8 +10000000 z_9 +10000000 z_10 +10000000 z_11 +10000000 z_12
- +9085.75554070221 y_303 +10000000 z_13 +10000000 z_14 +10000000 z_15 +9082.76437561819 y_304 +10000000 z_16
- +10000000 z_17 +10000000 z_18 +10000000 z_19 +10000000 z_20 +10000000 z_21 +10000000 z_22 +10000000 z_23
- +12607.8601258471 y_305 +10000000 z_24 +11095.6069465528 y_306 +10000000 z_25 +10000000 z_26 +10000000 z_27
- +10000000 z_28 +10000000 z_29 +13182.5591799625 y_307 +10000000 z_30 +10000000 z_31 +10000000 z_32
- +11634.0349869553 y_308 +10000000 z_33 +11630.5713480508 y_309 +10000000 z_34 +10000000 z_35 +10000000 z_36
- +11415.2336670517 y_310 +10000000 z_37 +10000000 z_38 +11412.2100240846 y_311 +10000000 z_39 +11411.3156466953 y_312
- +11412.7360260869 y_313 +10000000 z_40 +11409.7123831198 y_314 +10000000 z_41 +10000000 z_42 +10000000 z_43
- +10000000 z_44 +10000000 z_45 +10000000 z_46 +10000000 z_47 +10000000 z_48 +10000000 z_49 +11261.2619898324 y_315
- +12248.9034185446 y_316 +10000000 z_50 +10000000 z_51 +10000000 z_52 +9819.56893365489 y_317 +9816.55522382542 y_318
- +10000000 z_53 +10000000 z_54 +10000000 z_55 +10000000 z_56 +10000000 z_57 +12172.3487595142 y_319
- +10000000 z_58 +10000000 z_59 +10000000 z_60 +12169.3251165474 y_320 +10000000 z_61 +10000000 z_62
- +10000000 z_63 +9373.23008043365 y_321 +9378.24326006271 y_322 +10000000 z_64 +9370.2203978527 y_323
- +10000000 z_65 +9375.31523092264 y_324 +10000000 z_66 +10000000 z_67 +12715.6230098312 y_325 +10000000 z_68
- +10000000 z_69 +10000000 z_70 +9667.07286392136 y_326 +10000000 z_71 +10000000 z_72 +12140.5614923142 y_327
- +10000000 z_73 +10000000 z_74 +10000000 z_75 +10000000 z_76 +10000000 z_77 +9624.17969741871 y_328
- +10000000 z_78 +10000000 z_79 +10000000 z_80 +12839.3916281806 y_329 +10000000 z_81 +10000000 z_82
- +10000000 z_83 +10000000 z_84 +11015.1116248986 y_330 +10000000 z_85 +11992.3017996605 y_331 +10000000 z_86
- +10000000 z_87 +10000000 z_88 +10000000 z_89 +10000000 z_90 +10000000 z_91 +10003.8348141589 y_332
- +10000000 z_92 +10000000 z_93 +10000000 z_94 +10000000 z_95 +12160.4231462863 y_333 +10000000 z_96
- +10000000 z_97 +9367.4554678628 y_334 +10000000 z_98 +10000000 z_99 +10000000 z_100 +9859.97913705166 y_335
- +10000000 z_101 +10000000 z_102 +10000000 z_103 +10000000 z_104 +9857.33011645354 y_336 +10000000 z_105
- +9981.81805516907 y_337 +10000000 z_106 +16241.6858988179 y_338 +10000000 z_107 +10000000 z_108
- +10000000 z_109 +15612.5634741285 y_339 +10000000 z_110 +10000000 z_111 +13540.7192241687 y_340
- +10000000 z_112 +10000000 z_113 +10000000 z_114 +13543.4307785414 y_341 +10000000 z_115 +11531.8795699385 y_342
- +10000000 z_116 +10000000 z_117 +13441.0567223768 y_343 +10000000 z_118 +10000000 z_119 +10000000 z_120
- +9022.55341800385 y_344 +10000000 z_121 +9019.31679120195 y_345 +10000000 z_122 +10000000 z_123
- +10000000 z_124 +10000000 z_125 +10000000 z_126 +10000000 z_127 +10283.391367843 y_346 +10000000 z_128
- +10962.4724408239 y_347 +10000000 z_129 +10000000 z_130 +10000000 z_131 +10785.4560546095 y_348
- +10951.1864464304 y_349 +10000000 z_132 +10000000 z_133 +10000000 z_134 +10716.0163971207 y_350
- +10884.2945411769 y_351 +11725.8578515809 y_352 +10000000 z_135 +11841.0946398783 y_353 +10000000 z_136
- +10000000 z_137 +14265.5508697368 y_354 +10000000 z_138 +10000000 z_139 +10000000 z_140 +7785.44783201539 y_355
- +10000000 z_141 +10000000 z_142 +10000000 z_143 +10000000 z_144 +7787.89131495864 y_356 +10000000 z_145
- +10000000 z_146 +7784.2504212278 y_357 +10000000 z_147 +10000000 z_148 +10000000 z_149 +10000000 z_150
- +8693.86265502133 y_358 +10000000 z_151 +10000000 z_152 +7958.74264827772 y_359 +10000000 z_153
- +10000000 z_154 +10000000 z_155 +8744.84532418663 y_360 +9478.7433134655 y_361 +7606.64765749216 y_362
- +10000000 z_156 +7603.42639588544 y_363 +10000000 z_157 +10000000 z_158 +10000000 z_159 +9013.23043033177 y_364
- +10000000 z_160 +10000000 z_161 +10085.8060545767 y_365 +10000000 z_162 +9184.56499821646 y_366
- +10000000 z_163 +9198.4117764939 y_367 +10000000 z_164 +9184.56499821646 y_368 +10000000 z_165 +10000000 z_166
- +9737.83788987384 y_369 +10000000 z_167 +10000000 z_168 +10000000 z_169 +10000000 z_170 +6687.29145075096 y_370
- +10000000 z_171 +6750.42122378886 y_371 +10000000 z_172 +10000000 z_173 +6707.86443773307 y_372
- +10000000 z_174 +6917.41869468485 y_373 +10000000 z_175 +6852.84146074413 y_374 +10000000 z_176
- +10000000 z_177 +7538.19644427722 y_375 +10000000 z_178 +8653.74661948302 y_376 +10000000 z_179
- +10000000 z_180 +8083.58939612778 y_377 +10000000 z_181 +10000000 z_182 +10000000 z_183 +7794.647611115 y_378
- +10000000 z_184 +10000000 z_185 +10000000 z_186 +10000000 z_187 +7239.36879364458 y_379 +10000000 z_188
- +10000000 z_189 +10000000 z_190 +10000000 z_191 +10000000 z_192 +8993.64701967452 y_380 +10000000 z_193
- +10000000 z_194 +10000000 z_195 +7761.16255722062 y_381 +10000000 z_196 +10000000 z_197 +10000000 z_198
- +10000000 z_199 +7303.27657966026 y_382 +10000000 z_200 +10000000 z_201 +7087.45950956723 y_383
- +10000000 z_202 +10000000 z_203 +10000000 z_204 +6471.06034442617 y_384 +10000000 z_205 +7347.02172243774 y_385
- +10000000 z_206 +10352.6901880358 y_386 +10000000 z_207 +10000000 z_208 +9042.47316138433 y_387
- +10000000 z_209 +10000000 z_210 +8417.64520414059 y_388 +10000000 z_211 +10000000 z_212 +7587.4452644033 y_389
- +10000000 z_213 +10000000 z_214 +7504.28806905 y_390 +10000000 z_215 +10000000 z_216 +8599.23392331 y_391
- +1646.56501549792 y_392 +10000000 z_217 +10000000 z_218 +7375.25059383671 y_393 +10000000 z_219
- +10000000 z_220 +7551.95378828635 y_394 +10000000 z_221 +7570.6927659633 y_395 +10000000 z_222 +8784.58149208937 y_396
- +10000000 z_223 +8612.13144409527 y_397 +10000000 z_224 +10000000 z_225 +11970.2383432695 y_398
- +10000000 z_226 +8514.87818540108 y_399 +10000000 z_227 +10000000 z_228 +2218.98173727085 y_400
- +10000000 z_229 +5367.24201081711 y_401 +10000000 z_230 +6209.0062671268 y_402 +10000000 z_231 +5986.81571165894 y_403
- +10000000 z_232 +6016.71831123567 y_404 +10000000 z_233 +10000000 z_234 +10000000 z_235 +6366.66085027827 y_405
- +6367.1287690863 y_406 +10000000 z_236 +6042.24077541549 y_407 +10000000 z_237 +10000000 z_238 +10000000 z_239
- +10000000 z_240 +7268.73596460888 y_408 +10000000 z_241 +10000000 z_242 +9059.31681510532 y_409
- +10000000 z_243 +10000000 z_244 +5763.75755058178 y_410 +10000000 z_245 +10000000 z_246 +10000000 z_247
- +6265.79546061875 y_411 +10000000 z_248 +6042.72386533597 y_412 +10000000 z_249 +10000000 z_250
- +6510.79135944296 y_413 +10000000 z_251 +10000000 z_252 +6445.15733971982 y_414 +10000000 z_253
- +10000000 z_254 +5882.57614758757 y_415 +10000000 z_255 +10000000 z_256 +14008.5701133735 y_416
- +10000000 z_257 +10000000 z_258 +10000000 z_259 +6804.8433767346 y_417 +10000000 z_260 +5316.75980114012 y_418
- +10000000 z_261 +10000000 z_262 +6016.71831123567 y_419 +10000000 z_263 +10000000 z_264 +10000000 z_265
- +6366.66085027827 y_420 +6367.1287690863 y_421 +5367.24201081711 y_422 +10000000 z_266 +10000000 z_267
- +10000000 z_268 +10000000 z_269 +6043.46925231728 y_423 +10000000 z_270 +6888.65799326478 y_424
- +10000000 z_271 +6536.29549924094 y_425 +10000000 z_272 +10000000 z_273 +10000000 z_274 +6008.15756695783 y_426
- +10000000 z_275 +7108.5472474462 y_427 +10000000 z_276 +10000000 z_277 +10000000 z_278 +5603.28762513444 y_428
- +10000000 z_279 +10000000 z_280 +10000000 z_281 +7199.56110629108 y_429 +10000000 z_282 +6707.75265792523 y_430
- +10000000 z_283 +10000000 z_284 +10000000 z_285 +6876.76114259935 y_431 +10000000 z_286 +10000000 z_287
- +10000000 z_288 +5692.56891664097 y_432 +10000000 z_289 +10000000 z_290 +6498.89603803513 y_433
- +10000000 z_291 +10000000 z_292 +10000000 z_293 +6188.55617033996 y_434 +10000000 z_294 +10000000 z_295
- +10000000 z_296 +7513.54108550889 y_435 +10000000 z_297 +11253.985152525 y_436 +10000000 z_298 +10000000 z_299
- +6099.28780462116 y_437 +1107.16434710954 y_0 +1040.26777255995 y_1 +1036.64865575689 y_2 +7207.24513501515 y_438
- +1502.82945013401 y_3 +7237.8000051759 y_439 +1149.64256399877 y_4 +1551.20624431688 y_5 +6700.02696065082 y_440
- +1022.43403201537 y_6 +1024.59263866386 y_7 +6948.6631403645 y_441 +1459.05746300745 y_8 +1032.26327004565 y_9
- +4805.75327401879 y_442 +1173.89587824149 y_10 +1153.1051812442 y_11 +1039.96515737378 y_12 +9106.87838186849 y_443
- +951.531784675746 y_13 +1122.34123988256 y_14 +1030.59981172908 y_15 +11638.075486315 y_444 +11894.6634501705 y_445
- +1184.758707037 y_16 +1377.02646950923 y_17 +6043.52444269631 y_446 +963.960897970363 y_18 +1568.92425465182 y_19
- +4885.01343949842 y_447 +4777.69712533381 y_448 +1459.05746300745 y_20 +1076.98303562967 y_21 +1088.88350063661 y_22
- +1472.4559677439 y_23 +4995.11935590258 y_449 +1519.83516525148 y_24 +1090.10396911578 y_25 +6903.67896935334 y_450
- +1297.49386219268 y_26 +1465.63119374352 y_27 +5405.57873579133 y_451 +1093.53201235684 y_28 +1040.26777255995 y_29
- +5034.88328022754 y_452 +1193.64101019113 y_30 +5398.3974470035 y_453 +1472.58055098648 y_31 +1294.61767866761 y_32
- +5437.38920333989 y_454 +1502.82945013401 y_33 +1193.59445913819 y_34 +1051.86130173015 y_35 +5266.04524147226 y_455
- +1194.66349435723 y_36 +1099.41786700433 y_37 +1018.66513320132 y_38 +5113.29443892007 y_456 +1051.86309020298 y_39
- +5320.57512599298 y_457 +1137.45742845937 y_40 +5291.40993229236 y_458 +1288.00484952891 y_41 +5531.11830109668 y_459
- +1187.24131311868 y_42 +1501.25103098562 y_43 +6027.7338684392 y_460 +1104.01882985987 y_44 +5677.23464717577 y_461
- +1526.49373519815 y_45 +1051.86309020298 y_46 +7423.07855662579 y_462
- Subject to
- covering_0: +1 z_0 +1 y_0 +1 y_325 +1 y_343 +1 y_344 +1 y_345 +1 y_377 +1 y_387 +1 y_391 >= +1
- covering_1: +1 z_1 +1 y_1 >= +1
- covering_2: +1 z_2 +1 y_2 >= +1
- covering_3: +1 z_3 +1 y_3 >= +1
- covering_4: +1 z_4 +1 y_4 >= +1
- covering_5: +1 z_5 +1 y_5 >= +1
- covering_6: +1 z_6 +1 y_6 >= +1
- covering_7: +1 z_7 +1 y_7 >= +1
- covering_8: +1 z_8 +1 y_8 >= +1
- covering_9: +1 z_9 +1 y_9 >= +1
- covering_10: +1 z_10 +1 y_10 >= +1
- covering_11: +1 z_11 +1 y_11 >= +1
- covering_12: +1 z_12 +1 y_12 >= +1
- covering_13: +1 z_13 +1 y_13 +1 y_433 +1 y_448 >= +1
- covering_14: +1 z_14 +1 y_14 >= +1
- covering_15: +1 z_15 +1 y_15 >= +1
- covering_16: +1 z_16 +1 y_16 >= +1
- covering_17: +1 z_17 +1 y_17 >= +1
- covering_18: +1 z_18 +1 y_18 +1 y_315 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_362 +1 y_363 +1 y_447
- +1 y_451 >= +1
- covering_19: +1 z_19 +1 y_19 >= +1
- covering_20: +1 z_20 +1 y_20 >= +1
- covering_21: +1 z_21 +1 y_21 +1 y_319 +1 y_320 +1 y_325 +1 y_328 +1 y_329 +1 y_333 +1 y_343 +1 y_361
- +1 y_380 +1 y_441 >= +1
- covering_22: +1 z_22 +1 y_22 +1 y_315 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_333 +1 y_376 +1 y_394 +1 y_430 +1 y_431 >= +1
- covering_23: +1 z_23 +1 y_23 >= +1
- covering_24: +1 z_24 +1 y_24 >= +1
- covering_25: +1 z_25 +1 y_25 >= +1
- covering_26: +1 z_26 +1 y_26 +1 y_427 >= +1
- covering_27: +1 z_27 +1 y_27 >= +1
- covering_28: +1 z_28 +1 y_28 >= +1
- covering_29: +1 z_29 +1 y_29 >= +1
- covering_30: +1 z_30 +1 y_30 +1 y_393 +1 y_394 +1 y_419 +1 y_437 +1 y_441 >= +1
- covering_31: +1 z_31 +1 y_31 >= +1
- covering_32: +1 z_32 +1 y_32 >= +1
- covering_33: +1 z_33 +1 y_33 >= +1
- covering_34: +1 z_34 +1 y_34 +1 y_452 >= +1
- covering_35: +1 z_35 +1 y_35 +1 y_315 +1 y_328 +1 y_333 +1 y_393 +1 y_427 >= +1
- covering_36: +1 z_36 +1 y_36 +1 y_428 +1 y_433 +1 y_434 +1 y_435 +1 y_437 +1 y_441 >= +1
- covering_37: +1 z_37 +1 y_37 +1 y_355 +1 y_358 +1 y_370 +1 y_376 +1 y_377 +1 y_380 +1 y_419 +1 y_420
- +1 y_421 +1 y_422 >= +1
- covering_38: +1 z_38 +1 y_38 >= +1
- covering_39: +1 z_39 +1 y_39 +1 y_301 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_329 +1 y_330 +1 y_343 >= +1
- covering_40: +1 z_40 +1 y_40 +1 y_344 +1 y_345 +1 y_359 +1 y_360 +1 y_361 +1 y_362 +1 y_363 +1 y_371
- +1 y_372 +1 y_394 >= +1
- covering_41: +1 z_41 +1 y_41 +1 y_452 >= +1
- covering_42: +1 z_42 +1 y_42 +1 y_422 +1 y_423 +1 y_428 >= +1
- covering_43: +1 z_43 +1 y_43 +1 y_417 +1 y_419 +1 y_420 +1 y_421 +1 y_427 >= +1
- covering_44: +1 z_44 +1 y_44 +1 y_328 +1 y_355 +1 y_356 +1 y_357 +1 y_358 >= +1
- covering_45: +1 z_45 +1 y_45 +1 y_391 +1 y_413 +1 y_433 +1 y_434 +1 y_435 +1 y_441 >= +1
- covering_46: +1 z_46 +1 y_46 +1 y_301 +1 y_315 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324
- +1 y_325 +1 y_344 +1 y_345 +1 y_362 +1 y_363 >= +1
- covering_47: +1 z_47 +1 y_47 +1 y_422 +1 y_423 +1 y_424 +1 y_437 >= +1
- covering_48: +1 z_48 +1 y_48 +1 y_343 +1 y_359 +1 y_360 +1 y_361 +1 y_400 +1 y_428 +1 y_430 +1 y_431
- >= +1
- covering_49: +1 z_49 +1 y_49 +1 y_451 +1 y_452 >= +1
- covering_50: +1 z_50 +1 y_50 +1 y_371 +1 y_372 +1 y_380 +1 y_387 +1 y_399 >= +1
- covering_51: +1 z_51 +1 y_51 +1 y_417 +1 y_419 +1 y_420 +1 y_421 >= +1
- covering_52: +1 z_52 +1 y_52 +1 y_370 +1 y_373 +1 y_374 +1 y_376 +1 y_377 +1 y_393 +1 y_394 >= +1
- covering_53: +1 z_53 +1 y_53 +1 y_301 +1 y_320 +1 y_323 +1 y_324 +1 y_328 +1 y_345 +1 y_355 +1 y_357
- +1 y_358 +1 y_363 >= +1
- covering_54: +1 z_54 +1 y_54 +1 y_391 +1 y_413 +1 y_422 +1 y_423 +1 y_424 >= +1
- covering_55: +1 z_55 +1 y_55 +1 y_319 +1 y_321 +1 y_322 +1 y_330 +1 y_344 +1 y_356 +1 y_362 >= +1
- covering_56: +1 z_56 +1 y_56 +1 y_361 +1 y_369 +1 y_372 +1 y_380 +1 y_387 >= +1
- covering_57: +1 z_57 +1 y_57 +1 y_329 +1 y_370 +1 y_371 +1 y_373 +1 y_374 +1 y_375 +1 y_376 +1 y_377
- >= +1
- covering_58: +1 z_58 +1 y_58 +1 y_427 +1 y_430 +1 y_431 +1 y_434 >= +1
- covering_59: +1 z_59 +1 y_59 +1 y_333 +1 y_343 +1 y_344 +1 y_345 +1 y_392 +1 y_393 +1 y_394 +1 y_428
- >= +1
- covering_60: +1 z_60 +1 y_60 +1 y_359 +1 y_362 +1 y_363 +1 y_399 >= +1
- covering_61: +1 z_61 +1 y_61 >= +1
- covering_62: +1 z_62 +1 y_62 +1 y_301 +1 y_328 +1 y_330 +1 y_355 +1 y_356 +1 y_357 +1 y_358 +1 y_360
- >= +1
- covering_63: +1 z_63 +1 y_63 +1 y_447 +1 y_448 >= +1
- covering_64: +1 z_64 +1 y_64 >= +1
- covering_65: +1 z_65 +1 y_65 +1 y_421 +1 y_433 >= +1
- covering_66: +1 z_66 +1 y_66 >= +1
- covering_67: +1 z_67 +1 y_67 +1 y_413 +1 y_417 +1 y_420 +1 y_435 +1 y_437 >= +1
- covering_68: +1 z_68 +1 y_68 +1 y_419 +1 y_422 +1 y_427 +1 y_431 >= +1
- covering_69: +1 z_69 +1 y_69 >= +1
- covering_70: +1 z_70 +1 y_70 >= +1
- covering_71: +1 z_71 +1 y_71 +1 y_315 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_329 +1 y_391 +1 y_423 >= +1
- covering_72: +1 z_72 +1 y_72 +1 y_369 +1 y_370 +1 y_371 +1 y_372 +1 y_373 +1 y_374 +1 y_376 +1 y_441
- >= +1
- covering_73: +1 z_73 +1 y_73 >= +1
- covering_74: +1 z_74 +1 y_74 >= +1
- covering_75: +1 z_75 +1 y_75 +1 y_425 +1 y_430 +1 y_434 +1 y_451 >= +1
- covering_76: +1 z_76 +1 y_76 +1 y_301 +1 y_328 +1 y_330 +1 y_356 +1 y_357 +1 y_359 +1 y_375 +1 y_377
- >= +1
- covering_77: +1 z_77 +1 y_77 +1 y_448 >= +1
- covering_78: +1 z_78 +1 y_78 >= +1
- covering_79: +1 z_79 +1 y_79 +1 y_333 +1 y_344 +1 y_345 +1 y_355 +1 y_358 +1 y_360 +1 y_361 +1 y_362
- +1 y_363 +1 y_387 +1 y_392 +1 y_424 >= +1
- covering_80: +1 z_80 +1 y_80 +1 y_428 +1 y_447 +1 y_452 >= +1
- covering_81: +1 z_81 +1 y_81 +1 y_380 +1 y_393 +1 y_394 +1 y_399 >= +1
- covering_82: +1 z_82 +1 y_82 +1 y_369 +1 y_370 +1 y_371 +1 y_372 +1 y_373 +1 y_374 +1 y_391 +1 y_413
- +1 y_417 >= +1
- covering_83: +1 z_83 +1 y_83 +1 y_300 +1 y_315 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324
- +1 y_325 +1 y_343 +1 y_400 +1 y_433 +1 y_435 +1 y_437 >= +1
- covering_84: +1 z_84 +1 y_84 +1 y_356 +1 y_357 +1 y_359 >= +1
- covering_85: +1 z_85 +1 y_85 +1 y_420 +1 y_421 +1 y_423 +1 y_425 +1 y_430 >= +1
- covering_86: +1 z_86 +1 y_86 +1 y_431 +1 y_448 +1 y_451 >= +1
- covering_87: +1 z_87 +1 y_87 +1 y_301 +1 y_328 +1 y_329 +1 y_330 +1 y_375 +1 y_376 +1 y_377 +1 y_434
- >= +1
- covering_88: +1 z_88 +1 y_88 >= +1
- covering_89: +1 z_89 +1 y_89 +1 y_447 >= +1
- covering_90: +1 z_90 +1 y_90 +1 y_333 +1 y_344 +1 y_345 +1 y_355 +1 y_358 +1 y_360 +1 y_361 +1 y_362
- +1 y_363 +1 y_366 >= +1
- covering_91: +1 z_91 +1 y_91 >= +1
- covering_92: +1 z_92 +1 y_92 +1 y_393 +1 y_399 >= +1
- covering_93: +1 z_93 +1 y_93 +1 y_413 +1 y_417 +1 y_425 >= +1
- covering_94: +1 z_94 +1 y_94 +1 y_315 +1 y_330 +1 y_356 +1 y_357 +1 y_359 +1 y_376 >= +1
- covering_95: +1 z_95 +1 y_95 +1 y_300 +1 y_301 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324
- +1 y_325 +1 y_328 +1 y_329 +1 y_343 +1 y_423 >= +1
- covering_96: +1 z_96 +1 y_96 +1 y_369 +1 y_370 +1 y_371 +1 y_372 +1 y_373 +1 y_374 +1 y_375 +1 y_377
- +1 y_429 >= +1
- covering_97: +1 z_97 +1 y_97 +1 y_355 +1 y_360 +1 y_366 +1 y_387 >= +1
- covering_98: +1 z_98 +1 y_98 >= +1
- covering_99: +1 z_99 +1 y_99 +1 y_374 +1 y_375 +1 y_387 >= +1
- covering_100: +1 z_100 +1 y_100 +1 y_301 +1 y_315 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324
- +1 y_325 +1 y_328 >= +1
- covering_101: +1 z_101 +1 y_101 +1 y_329 +1 y_330 +1 y_333 +1 y_343 +1 y_344 +1 y_345 +1 y_359 +1 y_360
- >= +1
- covering_102: +1 z_102 +1 y_102 +1 y_380 +1 y_391 +1 y_399 >= +1
- covering_103: +1 z_103 +1 y_103 +1 y_339 +1 y_424 +1 y_425 +1 y_440 >= +1
- covering_104: +1 z_104 +1 y_104 >= +1
- covering_105: +1 z_105 +1 y_105 +1 y_356 +1 y_357 +1 y_358 +1 y_361 +1 y_366 +1 y_369 +1 y_373 >= +1
- covering_106: +1 z_106 +1 y_106 +1 y_429 +1 y_435 >= +1
- covering_107: +1 z_107 +1 y_107 +1 y_375 +1 y_424 +1 y_440 >= +1
- covering_108: +1 z_108 +1 y_108 +1 y_301 +1 y_315 +1 y_330 +1 y_333 +1 y_354 +1 y_398 +1 y_399 +1 y_425
- >= +1
- covering_109: +1 z_109 +1 y_109 +1 y_366 +1 y_429 >= +1
- covering_110: +1 z_110 +1 y_110 >= +1
- covering_111: +1 z_111 +1 y_111 +1 y_338 +1 y_386 +1 y_429 +1 y_436 +1 y_440 >= +1
- covering_112: +1 z_112 +1 y_112 +1 y_301 +1 y_319 +1 y_320 +1 y_325 +1 y_329 +1 y_330 +1 y_333 +1 y_339
- +1 y_416 >= +1
- covering_113: +1 z_113 +1 y_113 >= +1
- covering_114: +1 z_114 +1 y_114 +1 y_366 +1 y_386 +1 y_398 +1 y_440 >= +1
- covering_115: +1 z_115 +1 y_115 +1 y_329 +1 y_338 +1 y_339 +1 y_354 +1 y_369 >= +1
- covering_116: +1 z_116 +1 y_116 >= +1
- covering_117: +1 z_117 +1 y_117 >= +1
- covering_118: +1 z_118 +1 y_118 >= +1
- covering_119: +1 z_119 +1 y_119 >= +1
- covering_120: +1 z_120 +1 y_120 >= +1
- covering_121: +1 z_121 +1 y_121 +1 y_305 +1 y_332 +1 y_337 +1 y_354 +1 y_385 +1 y_386 +1 y_403 +1 y_446
- >= +1
- covering_122: +1 z_122 +1 y_122 >= +1
- covering_123: +1 z_123 +1 y_123 >= +1
- covering_124: +1 z_124 +1 y_124 >= +1
- covering_125: +1 z_125 +1 y_125 +1 y_398 +1 y_403 +1 y_416 +1 y_436 +1 y_446 >= +1
- covering_126: +1 z_126 +1 y_126 >= +1
- covering_127: +1 z_127 +1 y_127 >= +1
- covering_128: +1 z_128 +1 y_128 >= +1
- covering_129: +1 z_129 +1 y_129 >= +1
- covering_130: +1 z_130 +1 y_130 >= +1
- covering_131: +1 z_131 +1 y_131 >= +1
- covering_132: +1 z_132 +1 y_132 >= +1
- covering_133: +1 z_133 +1 y_133 >= +1
- covering_134: +1 z_134 +1 y_134 >= +1
- covering_135: +1 z_135 +1 y_135 >= +1
- covering_136: +1 z_136 +1 y_136 >= +1
- covering_137: +1 z_137 +1 y_137 >= +1
- covering_138: +1 z_138 +1 y_138 +1 y_426 >= +1
- covering_139: +1 z_139 +1 y_139 >= +1
- covering_140: +1 z_140 +1 y_140 +1 y_303 +1 y_304 +1 y_317 +1 y_318 +1 y_327 +1 y_415 >= +1
- covering_141: +1 z_141 +1 y_141 >= +1
- covering_142: +1 z_142 +1 y_142 >= +1
- covering_143: +1 z_143 +1 y_143 >= +1
- covering_144: +1 z_144 +1 y_144 +1 y_303 +1 y_304 +1 y_339 >= +1
- covering_145: +1 z_145 +1 y_145 >= +1
- covering_146: +1 z_146 +1 y_146 +1 y_446 +1 y_453 >= +1
- covering_147: +1 z_147 +1 y_147 >= +1
- covering_148: +1 z_148 +1 y_148 >= +1
- covering_149: +1 z_149 +1 y_149 >= +1
- covering_150: +1 z_150 +1 y_150 >= +1
- covering_151: +1 z_151 +1 y_151 >= +1
- covering_152: +1 z_152 +1 y_152 >= +1
- covering_153: +1 z_153 +1 y_153 >= +1
- covering_154: +1 z_154 +1 y_154 >= +1
- covering_155: +1 z_155 +1 y_155 >= +1
- covering_156: +1 z_156 +1 y_156 >= +1
- covering_157: +1 z_157 +1 y_157 >= +1
- covering_158: +1 z_158 +1 y_158 >= +1
- covering_159: +1 z_159 +1 y_159 >= +1
- covering_160: +1 z_160 +1 y_160 +1 y_453 >= +1
- covering_161: +1 z_161 +1 y_161 +1 y_432 +1 y_446 >= +1
- covering_162: +1 z_162 +1 y_162 >= +1
- covering_163: +1 z_163 +1 y_163 >= +1
- covering_164: +1 z_164 +1 y_164 +1 y_438 +1 y_454 +1 y_459 >= +1
- covering_165: +1 z_165 +1 y_165 >= +1
- covering_166: +1 z_166 +1 y_166 >= +1
- covering_167: +1 z_167 +1 y_167 >= +1
- covering_168: +1 z_168 +1 y_168 +1 y_432 +1 y_453 >= +1
- covering_169: +1 z_169 +1 y_169 +1 y_459 >= +1
- covering_170: +1 z_170 +1 y_170 >= +1
- covering_171: +1 z_171 +1 y_171 +1 y_305 +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_317
- +1 y_318 +1 y_326 +1 y_327 +1 y_331 +1 y_332 +1 y_335 +1 y_336 +1 y_338 +1 y_342 +1 y_352 +1 y_353 +1 y_450
- >= +1
- covering_172: +1 z_172 +1 y_172 +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_326 +1 y_331
- +1 y_332 +1 y_334 +1 y_335 +1 y_336 +1 y_337 +1 y_340 +1 y_341 +1 y_342 +1 y_396 +1 y_397 +1 y_439 >= +1
- covering_173: +1 z_173 +1 y_173 >= +1
- covering_174: +1 z_174 +1 y_174 >= +1
- covering_175: +1 z_175 +1 y_175 >= +1
- covering_176: +1 z_176 +1 y_176 >= +1
- covering_177: +1 z_177 +1 y_177 >= +1
- covering_178: +1 z_178 +1 y_178 >= +1
- covering_179: +1 z_179 +1 y_179 >= +1
- covering_180: +1 z_180 +1 y_180 +1 y_404 +1 y_415 +1 y_432 >= +1
- covering_181: +1 z_181 +1 y_181 >= +1
- covering_182: +1 z_182 +1 y_182 >= +1
- covering_183: +1 z_183 +1 y_183 >= +1
- covering_184: +1 z_184 +1 y_184 +1 y_412 +1 y_438 >= +1
- covering_185: +1 z_185 +1 y_185 +1 y_326 +1 y_327 +1 y_331 +1 y_332 +1 y_334 +1 y_335 +1 y_336 +1 y_337
- +1 y_338 +1 y_432 >= +1
- covering_186: +1 z_186 +1 y_186 +1 y_449 +1 y_450 +1 y_459 >= +1
- covering_187: +1 z_187 +1 y_187 +1 y_379 +1 y_381 +1 y_385 +1 y_388 +1 y_401 +1 y_404 +1 y_405 +1 y_406
- +1 y_407 +1 y_415 >= +1
- covering_188: +1 z_188 +1 y_188 >= +1
- covering_189: +1 z_189 +1 y_189 +1 y_303 +1 y_304 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309 +1 y_310
- +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_317 +1 y_318 +1 y_340 +1 y_341 +1 y_342 +1 y_438 >= +1
- covering_190: +1 z_190 +1 y_190 +1 y_302 +1 y_378 +1 y_412 >= +1
- covering_191: +1 z_191 +1 y_191 >= +1
- covering_192: +1 z_192 +1 y_192 +1 y_395 +1 y_401 +1 y_418 >= +1
- covering_193: +1 z_193 +1 y_193 +1 y_404 +1 y_405 +1 y_406 +1 y_407 +1 y_416 +1 y_432 >= +1
- covering_194: +1 z_194 +1 y_194 +1 y_334 +1 y_335 +1 y_336 +1 y_346 +1 y_415 >= +1
- covering_195: +1 z_195 +1 y_195 +1 y_412 +1 y_414 +1 y_450 >= +1
- covering_196: +1 z_196 +1 y_196 +1 y_302 +1 y_303 +1 y_304 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309
- +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_317 +1 y_318 +1 y_327 +1 y_337 >= +1
- covering_197: +1 z_197 +1 y_197 +1 y_401 +1 y_410 +1 y_418 >= +1
- covering_198: +1 z_198 +1 y_198 +1 y_342 +1 y_378 +1 y_382 +1 y_396 +1 y_402 +1 y_403 +1 y_411 >= +1
- covering_199: +1 z_199 +1 y_199 +1 y_426 +1 y_439 +1 y_459 >= +1
- covering_200: +1 z_200 +1 y_200 +1 y_381 +1 y_388 +1 y_389 +1 y_395 +1 y_397 +1 y_408 >= +1
- covering_201: +1 z_201 +1 y_201 +1 y_404 +1 y_405 +1 y_406 +1 y_407 +1 y_415 +1 y_416 >= +1
- covering_202: +1 z_202 +1 y_202 +1 y_326 +1 y_367 +1 y_379 +1 y_383 +1 y_385 +1 y_390 +1 y_426 >= +1
- covering_203: +1 z_203 +1 y_203 +1 y_302 +1 y_304 +1 y_306 +1 y_307 +1 y_309 +1 y_311 +1 y_314 +1 y_318
- +1 y_334 +1 y_336 >= +1
- covering_204: +1 z_204 +1 y_204 +1 y_401 +1 y_410 +1 y_414 +1 y_438 +1 y_450 >= +1
- covering_205: +1 z_205 +1 y_205 +1 y_303 +1 y_308 +1 y_310 +1 y_313 +1 y_317 +1 y_335 +1 y_346 +1 y_348
- +1 y_349 +1 y_352 +1 y_353 >= +1
- covering_206: +1 z_206 +1 y_206 +1 y_378 +1 y_381 +1 y_389 +1 y_409 +1 y_418 +1 y_462 >= +1
- covering_207: +1 z_207 +1 y_207 +1 y_326 +1 y_332 +1 y_367 +1 y_379 +1 y_390 +1 y_402 +1 y_403 +1 y_408
- +1 y_411 >= +1
- covering_208: +1 z_208 +1 y_208 +1 y_302 +1 y_412 >= +1
- covering_209: +1 z_209 +1 y_209 +1 y_313 +1 y_314 +1 y_335 +1 y_336 +1 y_340 +1 y_342 +1 y_346 +1 y_347
- +1 y_348 +1 y_349 +1 y_352 +1 y_353 +1 y_354 +1 y_386 +1 y_388 >= +1
- covering_210: +1 z_210 +1 y_210 +1 y_364 +1 y_382 +1 y_383 +1 y_385 +1 y_395 +1 y_396 +1 y_397 +1 y_398
- >= +1
- covering_211: +1 z_211 +1 y_211 >= +1
- covering_212: +1 z_212 +1 y_212 +1 y_306 +1 y_308 +1 y_309 +1 y_312 +1 y_331 +1 y_334 +1 y_337 +1 y_341
- +1 y_350 +1 y_351 +1 y_365 +1 y_426 >= +1
- covering_213: +1 z_213 +1 y_213 +1 y_407 +1 y_449 +1 y_454 +1 y_456 +1 y_457 +1 y_458 >= +1
- covering_214: +1 z_214 +1 y_214 >= +1
- covering_215: +1 z_215 +1 y_215 +1 y_406 +1 y_418 +1 y_460 +1 y_462 >= +1
- covering_216: +1 z_216 +1 y_216 >= +1
- covering_217: +1 z_217 +1 y_217 +1 y_405 +1 y_409 +1 y_410 >= +1
- covering_218: +1 z_218 +1 y_218 +1 y_401 +1 y_403 +1 y_404 +1 y_408 >= +1
- covering_219: +1 z_219 +1 y_219 >= +1
- covering_220: +1 z_220 +1 y_220 +1 y_402 +1 y_411 +1 y_414 +1 y_461 >= +1
- covering_221: +1 z_221 +1 y_221 +1 y_302 +1 y_303 +1 y_304 +1 y_305 +1 y_307 +1 y_310 +1 y_311 +1 y_316
- +1 y_317 +1 y_318 +1 y_326 +1 y_327 +1 y_332 >= +1
- covering_222: +1 z_222 +1 y_222 +1 y_378 +1 y_379 +1 y_381 +1 y_384 +1 y_389 +1 y_390 >= +1
- covering_223: +1 z_223 +1 y_223 >= +1
- covering_224: +1 z_224 +1 y_224 >= +1
- covering_225: +1 z_225 +1 y_225 +1 y_436 +1 y_438 +1 y_439 +1 y_450 +1 y_453 >= +1
- covering_226: +1 z_226 +1 y_226 +1 y_306 +1 y_308 +1 y_309 +1 y_312 +1 y_331 +1 y_334 +1 y_337 +1 y_364
- +1 y_365 +1 y_367 +1 y_382 +1 y_383 +1 y_385 >= +1
- covering_227: +1 z_227 +1 y_227 +1 y_449 +1 y_454 +1 y_456 +1 y_457 +1 y_458 >= +1
- covering_228: +1 z_228 +1 y_228 >= +1
- covering_229: +1 z_229 +1 y_229 +1 y_335 +1 y_336 +1 y_339 +1 y_340 +1 y_341 +1 y_342 +1 y_346 +1 y_347
- +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_354 >= +1
- covering_230: +1 z_230 +1 y_230 +1 y_407 +1 y_426 >= +1
- covering_231: +1 z_231 +1 y_231 +1 y_388 +1 y_395 +1 y_396 +1 y_397 +1 y_398 +1 y_412 >= +1
- covering_232: +1 z_232 +1 y_232 +1 y_378 +1 y_379 +1 y_410 +1 y_414 +1 y_418 >= +1
- covering_233: +1 z_233 +1 y_233 +1 y_302 +1 y_303 +1 y_304 +1 y_305 +1 y_313 +1 y_314 +1 y_316 +1 y_317
- +1 y_318 +1 y_326 +1 y_327 +1 y_332 +1 y_338 >= +1
- covering_234: +1 z_234 +1 y_234 +1 y_364 +1 y_365 +1 y_367 +1 y_381 +1 y_382 +1 y_383 +1 y_384 +1 y_385
- +1 y_390 >= +1
- covering_235: +1 z_235 +1 y_235 +1 y_402 +1 y_405 +1 y_406 +1 y_409 +1 y_411 >= +1
- covering_236: +1 z_236 +1 y_236 +1 y_449 +1 y_456 +1 y_460 +1 y_461 +1 y_462 >= +1
- covering_237: +1 z_237 +1 y_237 +1 y_306 +1 y_307 +1 y_308 +1 y_309 +1 y_310 +1 y_311 +1 y_312 +1 y_331
- +1 y_334 +1 y_337 +1 y_386 +1 y_389 +1 y_416 +1 y_436 >= +1
- covering_238: +1 z_238 +1 y_238 >= +1
- covering_239: +1 z_239 +1 y_239 >= +1
- covering_240: +1 z_240 +1 y_240 +1 y_335 +1 y_336 +1 y_339 +1 y_340 +1 y_341 +1 y_342 +1 y_347 +1 y_350
- +1 y_351 +1 y_368 +1 y_444 +1 y_445 >= +1
- covering_241: +1 z_241 +1 y_241 +1 y_454 +1 y_457 >= +1
- covering_242: +1 z_242 +1 y_242 +1 y_408 +1 y_410 +1 y_414 +1 y_439 >= +1
- covering_243: +1 z_243 +1 y_243 +1 y_389 +1 y_402 +1 y_411 >= +1
- covering_244: +1 z_244 +1 y_244 +1 y_326 +1 y_327 +1 y_331 +1 y_332 +1 y_334 +1 y_337 +1 y_338 +1 y_352
- +1 y_353 >= +1
- covering_245: +1 z_245 +1 y_245 +1 y_302 +1 y_303 +1 y_304 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309
- +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_317 +1 y_318 +1 y_395 >= +1
- covering_246: +1 z_246 +1 y_246 +1 y_348 +1 y_349 +1 y_364 +1 y_365 +1 y_367 +1 y_381 +1 y_388 +1 y_390
- +1 y_396 +1 y_397 >= +1
- covering_247: +1 z_247 +1 y_247 +1 y_347 +1 y_350 +1 y_351 +1 y_368 +1 y_379 +1 y_382 +1 y_383 +1 y_384
- >= +1
- covering_248: +1 z_248 +1 y_248 >= +1
- covering_249: +1 z_249 +1 y_249 +1 y_382 +1 y_383 +1 y_384 +1 y_388 +1 y_389 +1 y_390 >= +1
- covering_250: +1 z_250 +1 y_250 +1 y_302 +1 y_303 +1 y_304 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309
- +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_317 +1 y_318 +1 y_326 +1 y_327 +1 y_331 >= +1
- covering_251: +1 z_251 +1 y_251 +1 y_316 +1 y_340 +1 y_341 +1 y_342 +1 y_346 +1 y_347 +1 y_348 +1 y_349
- +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_354 +1 y_367 +1 y_439 +1 y_445 >= +1
- covering_252: +1 z_252 +1 y_252 +1 y_378 +1 y_395 +1 y_396 +1 y_397 +1 y_409 >= +1
- covering_253: +1 z_253 +1 y_253 +1 y_408 +1 y_457 +1 y_458 +1 y_460 +1 y_461 >= +1
- covering_254: +1 z_254 +1 y_254 >= +1
- covering_255: +1 z_255 +1 y_255 +1 y_364 +1 y_365 +1 y_368 >= +1
- covering_256: +1 z_256 +1 y_256 +1 y_456 +1 y_462 >= +1
- covering_257: +1 z_257 +1 y_257 +1 y_384 +1 y_444 +1 y_445 +1 y_458 +1 y_460 +1 y_461 >= +1
- covering_258: +1 z_258 +1 y_258 +1 y_302 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309 +1 y_310 +1 y_311
- +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_346 +1 y_347 +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_354 +1 y_364
- +1 y_444 +1 y_462 >= +1
- covering_259: +1 z_259 +1 y_259 +1 y_368 >= +1
- covering_260: +1 z_260 +1 y_260 >= +1
- covering_261: +1 z_261 +1 y_261 +1 y_443 >= +1
- covering_262: +1 z_262 +1 y_262 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309 +1 y_316 +1 y_327 +1 y_331
- +1 y_340 +1 y_341 +1 y_346 +1 y_347 +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_365 +1 y_367
- +1 y_444 >= +1
- covering_263: +1 z_263 +1 y_263 >= +1
- covering_264: +1 z_264 +1 y_264 +1 y_368 >= +1
- covering_265: +1 z_265 +1 y_265 +1 y_307 +1 y_340 +1 y_341 +1 y_346 +1 y_347 +1 y_348 +1 y_349 +1 y_350
- +1 y_351 +1 y_352 +1 y_353 +1 y_364 +1 y_365 +1 y_409 +1 y_443 +1 y_444 +1 y_445 >= +1
- covering_266: +1 z_266 +1 y_266 >= +1
- covering_267: +1 z_267 +1 y_267 >= +1
- covering_268: +1 z_268 +1 y_268 >= +1
- covering_269: +1 z_269 +1 y_269 >= +1
- covering_270: +1 z_270 +1 y_270 >= +1
- covering_271: +1 z_271 +1 y_271 +1 y_442 +1 y_443 +1 y_444 +1 y_445 +1 y_455 >= +1
- covering_272: +1 z_272 +1 y_272 >= +1
- covering_273: +1 z_273 +1 y_273 >= +1
- covering_274: +1 z_274 +1 y_274 >= +1
- covering_275: +1 z_275 +1 y_275 +1 y_442 +1 y_443 >= +1
- covering_276: +1 z_276 +1 y_276 >= +1
- covering_277: +1 z_277 +1 y_277 >= +1
- covering_278: +1 z_278 +1 y_278 >= +1
- covering_279: +1 z_279 +1 y_279 >= +1
- covering_280: +1 z_280 +1 y_280 +1 y_455 >= +1
- covering_281: +1 z_281 +1 y_281 >= +1
- covering_282: +1 z_282 +1 y_282 >= +1
- covering_283: +1 z_283 +1 y_283 >= +1
- covering_284: +1 z_284 +1 y_284 >= +1
- covering_285: +1 z_285 +1 y_285 >= +1
- covering_286: +1 z_286 +1 y_286 >= +1
- covering_287: +1 z_287 +1 y_287 >= +1
- covering_288: +1 z_288 +1 y_288 +1 y_442 +1 y_455 >= +1
- covering_289: +1 z_289 +1 y_289 >= +1
- covering_290: +1 z_290 +1 y_290 >= +1
- covering_291: +1 z_291 +1 y_291 >= +1
- covering_292: +1 z_292 +1 y_292 >= +1
- covering_293: +1 z_293 +1 y_293 >= +1
- covering_294: +1 z_294 +1 y_294 >= +1
- covering_295: +1 z_295 +1 y_295 +1 y_442 >= +1
- covering_296: +1 z_296 +1 y_296 >= +1
- covering_297: +1 z_297 +1 y_297 +1 y_455 >= +1
- covering_298: +1 z_298 +1 y_298 >= +1
- covering_299: +1 z_299 +1 y_299 >= +1
- path_number: +1 y_0 +1 y_1 +1 y_2 +1 y_3 +1 y_4 +1 y_5 +1 y_6 +1 y_7 +1 y_8 +1 y_9 +1 y_10 +1 y_11 +1 y_12
- +1 y_13 +1 y_14 +1 y_15 +1 y_16 +1 y_17 +1 y_18 +1 y_19 +1 y_20 +1 y_21 +1 y_22 +1 y_23 +1 y_24 +1 y_25
- +1 y_26 +1 y_27 +1 y_28 +1 y_29 +1 y_30 +1 y_31 +1 y_32 +1 y_33 +1 y_34 +1 y_35 +1 y_36 +1 y_37 +1 y_38
- +1 y_39 +1 y_40 +1 y_41 +1 y_42 +1 y_43 +1 y_44 +1 y_45 +1 y_46 +1 y_47 +1 y_48 +1 y_49 +1 y_50 +1 y_51
- +1 y_52 +1 y_53 +1 y_54 +1 y_55 +1 y_56 +1 y_57 +1 y_58 +1 y_59 +1 y_60 +1 y_61 +1 y_62 +1 y_63 +1 y_64
- +1 y_65 +1 y_66 +1 y_67 +1 y_68 +1 y_69 +1 y_70 +1 y_71 +1 y_72 +1 y_73 +1 y_74 +1 y_75 +1 y_76 +1 y_77
- +1 y_78 +1 y_79 +1 y_80 +1 y_81 +1 y_82 +1 y_83 +1 y_84 +1 y_85 +1 y_86 +1 y_87 +1 y_88 +1 y_89 +1 y_90
- +1 y_91 +1 y_92 +1 y_93 +1 y_94 +1 y_95 +1 y_96 +1 y_97 +1 y_98 +1 y_99 +1 y_100 +1 y_101 +1 y_102 +1 y_103
- +1 y_104 +1 y_105 +1 y_106 +1 y_107 +1 y_108 +1 y_109 +1 y_110 +1 y_111 +1 y_112 +1 y_113 +1 y_114 +1 y_115
- +1 y_116 +1 y_117 +1 y_118 +1 y_119 +1 y_120 +1 y_121 +1 y_122 +1 y_123 +1 y_124 +1 y_125 +1 y_126 +1 y_127
- +1 y_128 +1 y_129 +1 y_130 +1 y_131 +1 y_132 +1 y_133 +1 y_134 +1 y_135 +1 y_136 +1 y_137 +1 y_138 +1 y_139
- +1 y_140 +1 y_141 +1 y_142 +1 y_143 +1 y_144 +1 y_145 +1 y_146 +1 y_147 +1 y_148 +1 y_149 +1 y_150 +1 y_151
- +1 y_152 +1 y_153 +1 y_154 +1 y_155 +1 y_156 +1 y_157 +1 y_158 +1 y_159 +1 y_160 +1 y_161 +1 y_162 +1 y_163
- +1 y_164 +1 y_165 +1 y_166 +1 y_167 +1 y_168 +1 y_169 +1 y_170 +1 y_171 +1 y_172 +1 y_173 +1 y_174 +1 y_175
- +1 y_176 +1 y_177 +1 y_178 +1 y_179 +1 y_180 +1 y_181 +1 y_182 +1 y_183 +1 y_184 +1 y_185 +1 y_186 +1 y_187
- +1 y_188 +1 y_189 +1 y_190 +1 y_191 +1 y_192 +1 y_193 +1 y_194 +1 y_195 +1 y_196 +1 y_197 +1 y_198 +1 y_199
- +1 y_200 +1 y_201 +1 y_202 +1 y_203 +1 y_204 +1 y_205 +1 y_206 +1 y_207 +1 y_208 +1 y_209 +1 y_210 +1 y_211
- +1 y_212 +1 y_213 +1 y_214 +1 y_215 +1 y_216 +1 y_217 +1 y_218 +1 y_219 +1 y_220 +1 y_221 +1 y_222 +1 y_223
- +1 y_224 +1 y_225 +1 y_226 +1 y_227 +1 y_228 +1 y_229 +1 y_230 +1 y_231 +1 y_232 +1 y_233 +1 y_234 +1 y_235
- +1 y_236 +1 y_237 +1 y_238 +1 y_239 +1 y_240 +1 y_241 +1 y_242 +1 y_243 +1 y_244 +1 y_245 +1 y_246 +1 y_247
- +1 y_248 +1 y_249 +1 y_250 +1 y_251 +1 y_252 +1 y_253 +1 y_254 +1 y_255 +1 y_256 +1 y_257 +1 y_258 +1 y_259
- +1 y_260 +1 y_261 +1 y_262 +1 y_263 +1 y_264 +1 y_265 +1 y_266 +1 y_267 +1 y_268 +1 y_269 +1 y_270 +1 y_271
- +1 y_272 +1 y_273 +1 y_274 +1 y_275 +1 y_276 +1 y_277 +1 y_278 +1 y_279 +1 y_280 +1 y_281 +1 y_282 +1 y_283
- +1 y_284 +1 y_285 +1 y_286 +1 y_287 +1 y_288 +1 y_289 +1 y_290 +1 y_291 +1 y_292 +1 y_293 +1 y_294 +1 y_295
- +1 y_296 +1 y_297 +1 y_298 +1 y_299 +1 y_300 +1 y_301 +1 y_302 +1 y_303 +1 y_304 +1 y_305 +1 y_306 +1 y_307
- +1 y_308 +1 y_309 +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_315 +1 y_316 +1 y_317 +1 y_318 +1 y_319
- +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325 +1 y_326 +1 y_327 +1 y_328 +1 y_329 +1 y_330 +1 y_331
- +1 y_332 +1 y_333 +1 y_334 +1 y_335 +1 y_336 +1 y_337 +1 y_338 +1 y_339 +1 y_340 +1 y_341 +1 y_342 +1 y_343
- +1 y_344 +1 y_345 +1 y_346 +1 y_347 +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_354 +1 y_355
- +1 y_356 +1 y_357 +1 y_358 +1 y_359 +1 y_360 +1 y_361 +1 y_362 +1 y_363 +1 y_364 +1 y_365 +1 y_366 +1 y_367
- +1 y_368 +1 y_369 +1 y_370 +1 y_371 +1 y_372 +1 y_373 +1 y_374 +1 y_375 +1 y_376 +1 y_377 +1 y_378 +1 y_379
- +1 y_380 +1 y_381 +1 y_382 +1 y_383 +1 y_384 +1 y_385 +1 y_386 +1 y_387 +1 y_388 +1 y_389 +1 y_390 +1 y_391
- +1 y_392 +1 y_393 +1 y_394 +1 y_395 +1 y_396 +1 y_397 +1 y_398 +1 y_399 +1 y_400 +1 y_401 +1 y_402 +1 y_403
- +1 y_404 +1 y_405 +1 y_406 +1 y_407 +1 y_408 +1 y_409 +1 y_410 +1 y_411 +1 y_412 +1 y_413 +1 y_414 +1 y_415
- +1 y_416 +1 y_417 +1 y_418 +1 y_419 +1 y_420 +1 y_421 +1 y_422 +1 y_423 +1 y_424 +1 y_425 +1 y_426 +1 y_427
- +1 y_428 +1 y_429 +1 y_430 +1 y_431 +1 y_432 +1 y_433 +1 y_434 +1 y_435 +1 y_436 +1 y_437 +1 y_438 +1 y_439
- +1 y_440 +1 y_441 +1 y_442 +1 y_443 +1 y_444 +1 y_445 +1 y_446 +1 y_447 +1 y_448 +1 y_449 +1 y_450 +1 y_451
- +1 y_452 +1 y_453 +1 y_454 +1 y_455 +1 y_456 +1 y_457 +1 y_458 +1 y_459 +1 y_460 +1 y_461 +1 y_462 <= +30
- linking_757_166: +1 y_83 +1 y_300 -1 x_757_166 +1 y_400 = +0
- linking_191_795: +1 y_95 +1 y_300 -1 x_191_795 +1 y_423 = +0
- linking_675_78: +1 y_39 +1 y_301 -1 x_675_78 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_329 +1 y_330 = +0
- linking_225_825: +1 y_112 +1 y_301 -1 x_225_825 +1 y_319 +1 y_320 +1 y_325 +1 y_330 +1 y_333 = +0
- linking_976_380: +1 y_190 +1 y_302 -1 x_976_380 +1 y_378 = +0
- linking_517_1118: +1 y_258 +1 y_302 -1 x_517_1118 +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_346
- +1 y_347 +1 y_349 +1 y_351 +1 y_354 +1 y_364 +1 y_462 = +0
- linking_879_280: +1 y_140 +1 y_303 -1 x_879_280 +1 y_304 +1 y_317 +1 y_318 +1 y_327 +1 y_415 = +0
- linking_289_897: +1 y_144 +1 y_303 -1 x_289_897 +1 y_304 +1 y_339 = +0
- linking_975_378: +1 y_189 +1 y_303 -1 x_975_378 +1 y_304 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309
- +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_317 +1 y_318 = +0
- linking_443_466: +1 y_302 +1 y_303 -1 x_443_466 +1 y_304 +1 y_305 +1 y_316 +1 y_317 +1 y_318 +1 y_326
- +1 y_327 = +0
- linking_467_490: +1 y_302 +1 y_303 -1 x_467_490 +1 y_304 +1 y_305 +1 y_313 +1 y_314 +1 y_316 +1 y_317
- +1 y_318 = +0
- linking_491_500: +1 y_302 +1 y_303 -1 x_491_500 +1 y_304 +1 y_305 +1 y_306 +1 y_307 +1 y_308 +1 y_309
- +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 = +0
- linking_501_1106: +1 y_250 +1 y_303 -1 x_501_1106 +1 y_304 +1 y_317 +1 y_318 +1 y_326 = +0
- linking_281_288: +1 y_303 +1 y_304 -1 x_281_288 = +0
- linking_379_392: +1 y_303 +1 y_304 -1 x_379_392 +1 y_305 +1 y_306 +1 y_310 +1 y_311 +1 y_312 +1 y_313
- +1 y_314 +1 y_316 +1 y_317 +1 y_318 = +0
- linking_393_406: +1 y_302 +1 y_304 -1 x_393_406 +1 y_306 +1 y_307 +1 y_309 +1 y_311 +1 y_314 +1 y_318
- = +0
- linking_838_242: +1 y_121 +1 y_305 -1 x_838_242 +1 y_332 +1 y_337 +1 y_385 +1 y_403 +1 y_446 = +0
- linking_243_856: +1 y_121 +1 y_305 -1 x_243_856 +1 y_332 +1 y_337 +1 y_354 +1 y_385 +1 y_386 = +0
- linking_937_342: +1 y_171 +1 y_305 -1 x_937_342 +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316
- +1 y_317 +1 y_318 +1 y_326 +1 y_327 +1 y_331 +1 y_332 +1 y_335 +1 y_336 +1 y_342 +1 y_352 +1 y_353 +1 y_450
- = +0
- linking_343_943: +1 y_171 +1 y_305 -1 x_343_943 +1 y_317 +1 y_318 +1 y_327 +1 y_335 +1 y_336 +1 y_342
- +1 y_352 +1 y_353 +1 y_450 = +0
- linking_393_998: +1 y_196 +1 y_305 -1 x_393_998 +1 y_312 +1 y_316 +1 y_327 +1 y_337 = +0
- linking_1033_442: +1 y_221 +1 y_305 -1 x_1033_442 +1 y_307 +1 y_316 +1 y_327 = +0
- linking_501_516: +1 y_302 +1 y_305 -1 x_501_516 +1 y_306 +1 y_307 +1 y_308 +1 y_309 +1 y_310 +1 y_311
- +1 y_312 +1 y_313 +1 y_314 = +0
- linking_525_1125: +1 y_262 +1 y_305 -1 x_525_1125 +1 y_306 +1 y_308 +1 y_309 +1 y_316 +1 y_327 +1 y_331
- +1 y_365 +1 y_367 = +0
- linking_517_524: +1 y_305 +1 y_306 -1 x_517_524 +1 y_307 +1 y_308 +1 y_309 +1 y_316 +1 y_348 +1 y_350
- +1 y_444 = +0
- linking_379_985: +1 y_189 +1 y_307 -1 x_379_985 +1 y_308 +1 y_309 +1 y_340 +1 y_341 = +0
- linking_987_392: +1 y_196 +1 y_307 -1 x_987_392 +1 y_308 +1 y_309 = +0
- linking_407_1011: +1 y_203 +1 y_307 -1 x_407_1011 = +0
- linking_475_490: +1 y_306 +1 y_307 -1 x_475_490 +1 y_308 +1 y_309 +1 y_310 +1 y_311 +1 y_312 = +0
- linking_531_1130: +1 y_265 +1 y_307 -1 x_531_1130 +1 y_340 +1 y_341 +1 y_346 +1 y_347 +1 y_348 +1 y_349
- +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_364 +1 y_365 +1 y_409 = +0
- linking_393_410: +1 y_303 +1 y_308 -1 x_393_410 +1 y_310 +1 y_313 +1 y_317 = +0
- linking_425_452: +1 y_306 +1 y_308 -1 x_425_452 +1 y_309 +1 y_312 +1 y_331 +1 y_334 +1 y_337 +1 y_365
- = +0
- linking_453_474: +1 y_306 +1 y_308 -1 x_453_474 +1 y_309 +1 y_312 +1 y_331 +1 y_334 +1 y_337 = +0
- linking_407_424: +1 y_306 +1 y_309 -1 x_407_424 +1 y_334 = +0
- linking_345_951: +1 y_172 +1 y_310 -1 x_345_951 +1 y_311 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_326
- +1 y_396 +1 y_397 +1 y_439 = +0
- linking_411_442: +1 y_303 +1 y_310 -1 x_411_442 +1 y_317 = +0
- linking_443_474: +1 y_307 +1 y_310 -1 x_443_474 +1 y_311 = +0
- linking_343_344: +1 y_310 +1 y_311 -1 x_343_344 +1 y_312 +1 y_313 +1 y_314 +1 y_316 +1 y_326 +1 y_331
- +1 y_332 = +0
- linking_407_442: +1 y_304 +1 y_311 -1 x_407_442 +1 y_318 = +0
- linking_1016_424: +1 y_212 +1 y_312 -1 x_1016_424 +1 y_331 +1 y_337 +1 y_341 +1 y_350 +1 y_351 +1 y_365
- = +0
- linking_419_466: +1 y_313 +1 y_314 -1 x_419_466 = +0
- linking_635_36: +1 y_18 +1 y_315 -1 x_635_36 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_362 +1 y_363 +1 y_447
- +1 y_451 = +0
- linking_37_639: +1 y_18 +1 y_315 -1 x_37_639 +1 y_321 +1 y_323 +1 y_362 +1 y_363 +1 y_447 +1 y_451 = +0
- linking_645_44: +1 y_22 +1 y_315 -1 x_645_44 +1 y_321 +1 y_323 +1 y_376 +1 y_394 +1 y_430 +1 y_431 = +0
- linking_45_651: +1 y_22 +1 y_315 -1 x_45_651 +1 y_319 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_430 +1 y_431 = +0
- linking_667_70: +1 y_35 +1 y_315 -1 x_667_70 +1 y_328 = +0
- linking_93_698: +1 y_46 +1 y_315 -1 x_93_698 +1 y_325 = +0
- linking_733_142: +1 y_71 +1 y_315 -1 x_733_142 +1 y_325 = +0
- linking_201_216: +1 y_301 +1 y_315 -1 x_201_216 = +0
- linking_217_818: +1 y_108 +1 y_315 -1 x_217_818 +1 y_354 +1 y_398 +1 y_399 +1 y_425 = +0
- linking_281_883: +1 y_140 +1 y_317 -1 x_281_883 +1 y_318 +1 y_327 +1 y_415 = +0
- linking_491_1095: +1 y_245 +1 y_317 -1 x_491_1095 +1 y_318 = +0
- linking_1098_500: +1 y_250 +1 y_317 -1 x_1098_500 +1 y_318 = +0
- linking_638_42: +1 y_21 +1 y_319 -1 x_638_42 +1 y_320 +1 y_325 +1 y_328 +1 y_329 +1 y_333 +1 y_361 +1 y_380
- +1 y_441 = +0
- linking_79_92: +1 y_301 +1 y_319 -1 x_79_92 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325 = +0
- linking_143_166: +1 y_315 +1 y_319 -1 x_143_166 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- = +0
- linking_167_190: +1 y_300 +1 y_319 -1 x_167_190 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_343 = +0
- linking_191_200: +1 y_301 +1 y_319 -1 x_191_200 +1 y_320 +1 y_321 +1 y_322 +1 y_323 +1 y_324 +1 y_325
- +1 y_328 = +0
- linking_43_44: +1 y_319 +1 y_320 -1 x_43_44 +1 y_325 +1 y_333 = +0
- linking_93_106: +1 y_301 +1 y_320 -1 x_93_106 +1 y_323 +1 y_324 +1 y_345 +1 y_363 = +0
- linking_201_224: +1 y_319 +1 y_320 -1 x_201_224 +1 y_325 = +0
- linking_93_110: +1 y_319 +1 y_321 -1 x_93_110 +1 y_322 +1 y_344 +1 y_362 = +0
- linking_111_142: +1 y_319 +1 y_321 -1 x_111_142 +1 y_322 = +0
- linking_201_806: +1 y_100 +1 y_321 -1 x_201_806 +1 y_322 +1 y_323 +1 y_324 +1 y_328 = +0
- linking_107_142: +1 y_320 +1 y_323 -1 x_107_142 +1 y_324 = +0
- linking_37_44: +1 y_322 +1 y_324 -1 x_37_44 = +0
- linking_600_0: +1 y_0 +1 y_325 -1 x_600_0 +1 y_343 +1 y_344 +1 y_345 +1 y_377 +1 y_387 +1 y_391 = +0
- linking_1_606: +1 y_0 +1 y_325 -1 x_1_606 +1 y_344 +1 y_345 +1 y_377 +1 y_387 +1 y_391 = +0
- linking_967_370: +1 y_185 +1 y_326 -1 x_967_370 +1 y_327 = +0
- linking_371_978: +1 y_185 +1 y_326 -1 x_371_978 +1 y_331 +1 y_332 +1 y_338 = +0
- linking_996_404: +1 y_202 +1 y_326 -1 x_996_404 +1 y_367 +1 y_379 +1 y_383 +1 y_385 +1 y_390 = +0
- linking_467_488: +1 y_326 +1 y_327 -1 x_467_488 +1 y_332 +1 y_338 = +0
- linking_489_500: +1 y_326 +1 y_327 -1 x_489_500 +1 y_331 = +0
- linking_43_643: +1 y_21 +1 y_328 -1 x_43_643 +1 y_329 +1 y_361 +1 y_380 +1 y_441 = +0
- linking_107_124: +1 y_301 +1 y_328 -1 x_107_124 +1 y_355 +1 y_357 +1 y_358 = +0
- linking_125_152: +1 y_301 +1 y_328 -1 x_125_152 +1 y_330 +1 y_356 +1 y_357 = +0
- linking_153_174: +1 y_301 +1 y_328 -1 x_153_174 +1 y_330 +1 y_375 +1 y_377 = +0
- linking_175_190: +1 y_301 +1 y_328 -1 x_175_190 +1 y_329 = +0
- linking_79_685: +1 y_39 +1 y_329 -1 x_79_685 +1 y_330 = +0
- linking_709_114: +1 y_57 +1 y_329 -1 x_709_114 +1 y_375 = +0
- linking_231_830: +1 y_115 +1 y_329 -1 x_231_830 +1 y_369 = +0
- linking_701_110: +1 y_55 +1 y_330 -1 x_701_110 = +0
- linking_189_790: +1 y_94 +1 y_330 -1 x_189_790 +1 y_356 +1 y_357 +1 y_376 = +0
- linking_801_202: +1 y_101 +1 y_330 -1 x_801_202 +1 y_333 +1 y_344 +1 y_345 = +0
- linking_217_224: +1 y_301 +1 y_330 -1 x_217_224 +1 y_333 = +0
- linking_501_524: +1 y_327 +1 y_331 -1 x_501_524 = +0
- linking_345_370: +1 y_331 +1 y_332 -1 x_345_370 +1 y_334 +1 y_335 +1 y_336 +1 y_337 = +0
- linking_1009_414: +1 y_207 +1 y_332 -1 x_1009_414 +1 y_411 = +0
- linking_415_442: +1 y_326 +1 y_332 -1 x_415_442 = +0
- linking_443_1051: +1 y_221 +1 y_332 -1 x_443_1051 = +0
- linking_1057_466: +1 y_233 +1 y_332 -1 x_1057_466 +1 y_338 = +0
- linking_489_1090: +1 y_244 +1 y_332 -1 x_489_1090 +1 y_334 +1 y_337 +1 y_338 +1 y_352 = +0
- linking_71_678: +1 y_35 +1 y_333 -1 x_71_678 +1 y_393 = +0
- linking_714_118: +1 y_59 +1 y_333 -1 x_714_118 +1 y_392 = +0
- linking_181_786: +1 y_90 +1 y_333 -1 x_181_786 +1 y_344 +1 y_345 +1 y_358 +1 y_361 +1 y_362 +1 y_363
- = +0
- linking_203_216: +1 y_330 +1 y_333 -1 x_203_216 = +0
- linking_945_344: +1 y_172 +1 y_334 -1 x_945_344 +1 y_335 +1 y_336 +1 y_337 +1 y_340 +1 y_341 +1 y_342
- +1 y_396 +1 y_397 +1 y_439 = +0
- linking_475_488: +1 y_331 +1 y_334 -1 x_475_488 +1 y_337 = +0
- linking_371_388: +1 y_334 +1 y_335 -1 x_371_388 +1 y_336 = +0
- linking_411_418: +1 y_313 +1 y_335 -1 x_411_418 +1 y_346 +1 y_348 +1 y_349 +1 y_352 +1 y_353 = +0
- linking_481_1086: +1 y_240 +1 y_335 -1 x_481_1086 +1 y_336 +1 y_339 +1 y_444 +1 y_445 = +0
- linking_389_406: +1 y_334 +1 y_336 -1 x_389_406 = +0
- linking_407_418: +1 y_314 +1 y_336 -1 x_407_418 = +0
- linking_419_458: +1 y_335 +1 y_336 -1 x_419_458 +1 y_340 +1 y_342 +1 y_346 +1 y_347 +1 y_348 +1 y_349
- +1 y_352 +1 y_353 +1 y_354 = +0
- linking_459_480: +1 y_335 +1 y_336 -1 x_459_480 +1 y_339 +1 y_340 +1 y_341 +1 y_342 = +0
- linking_371_392: +1 y_327 +1 y_337 -1 x_371_392 = +0
- linking_820_222: +1 y_111 +1 y_338 -1 x_820_222 +1 y_386 +1 y_436 = +0
- linking_803_206: +1 y_103 +1 y_339 -1 x_803_206 +1 y_424 +1 y_440 = +0
- linking_225_230: +1 y_329 +1 y_339 -1 x_225_230 = +0
- linking_1044_458: +1 y_229 +1 y_339 -1 x_1044_458 = +0
- linking_1014_418: +1 y_209 +1 y_340 -1 x_1014_418 +1 y_347 +1 y_354 +1 y_386 +1 y_388 = +0
- linking_525_530: +1 y_307 +1 y_340 -1 x_525_530 +1 y_341 +1 y_346 +1 y_347 +1 y_348 +1 y_349 +1 y_350
- +1 y_351 +1 y_352 +1 y_353 +1 y_444 = +0
- linking_345_378: +1 y_340 +1 y_341 -1 x_345_378 +1 y_342 = +0
- linking_481_502: +1 y_340 +1 y_341 -1 x_481_502 +1 y_342 = +0
- linking_503_524: +1 y_340 +1 y_341 -1 x_503_524 +1 y_352 +1 y_353 +1 y_367 = +0
- linking_503_1109: +1 y_251 +1 y_342 -1 x_503_1109 +1 y_439 = +0
- linking_191_202: +1 y_329 +1 y_343 -1 x_191_202 = +0
- linking_203_809: +1 y_101 +1 y_343 -1 x_203_809 +1 y_344 +1 y_345 +1 y_359 +1 y_360 = +0
- linking_676_80: +1 y_40 +1 y_344 -1 x_676_80 +1 y_345 +1 y_359 +1 y_360 +1 y_361 +1 y_362 +1 y_363 +1 y_371
- +1 y_372 = +0
- linking_119_158: +1 y_333 +1 y_344 -1 x_119_158 +1 y_345 +1 y_392 = +0
- linking_159_180: +1 y_333 +1 y_344 -1 x_159_180 +1 y_345 +1 y_355 = +0
- linking_81_92: +1 y_344 +1 y_345 -1 x_81_92 +1 y_362 +1 y_363 = +0
- linking_984_388: +1 y_194 +1 y_346 -1 x_984_388 = +0
- linking_389_410: +1 y_335 +1 y_346 -1 x_389_410 = +0
- linking_459_1067: +1 y_229 +1 y_346 -1 x_459_1067 +1 y_347 +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_354
- = +0
- linking_1101_502: +1 y_251 +1 y_346 -1 x_1101_502 +1 y_348 +1 y_349 +1 y_352 +1 y_354 +1 y_445 = +0
- linking_503_516: +1 y_316 +1 y_346 -1 x_503_516 +1 y_347 +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_354
- = +0
- linking_1121_524: +1 y_262 +1 y_346 -1 x_1121_524 +1 y_347 +1 y_349 +1 y_351 = +0
- linking_1070_480: +1 y_240 +1 y_347 -1 x_1070_480 +1 y_350 +1 y_351 +1 y_368 +1 y_444 +1 y_445 = +0
- linking_1001_410: +1 y_205 +1 y_348 -1 x_1001_410 +1 y_349 +1 y_352 +1 y_353 = +0
- linking_1085_492: +1 y_246 +1 y_348 -1 x_1085_492 +1 y_349 +1 y_381 +1 y_388 +1 y_390 +1 y_396 = +0
- linking_493_1093: +1 y_246 +1 y_348 -1 x_493_1093 +1 y_349 +1 y_364 +1 y_365 +1 y_381 = +0
- linking_425_458: +1 y_341 +1 y_350 -1 x_425_458 +1 y_351 = +0
- linking_481_494: +1 y_347 +1 y_350 -1 x_481_494 +1 y_351 +1 y_368 = +0
- linking_495_502: +1 y_347 +1 y_350 -1 x_495_502 +1 y_351 = +0
- linking_459_488: +1 y_352 +1 y_353 -1 x_459_488 = +0
- linking_816_216: +1 y_108 +1 y_354 -1 x_816_216 +1 y_398 = +0
- linking_827_230: +1 y_115 +1 y_354 -1 x_827_230 = +0
- linking_670_74: +1 y_37 +1 y_355 -1 x_670_74 +1 y_358 +1 y_370 +1 y_377 +1 y_380 +1 y_420 +1 y_421 +1 y_422
- = +0
- linking_89_106: +1 y_328 +1 y_355 -1 x_89_106 +1 y_357 +1 y_358 = +0
- linking_195_799: +1 y_97 +1 y_355 -1 x_195_799 = +0
- linking_684_88: +1 y_44 +1 y_356 -1 x_684_88 +1 y_357 = +0
- linking_111_124: +1 y_330 +1 y_356 -1 x_111_124 = +0
- linking_804_210: +1 y_105 +1 y_356 -1 x_804_210 +1 y_357 +1 y_358 +1 y_361 +1 y_369 = +0
- linking_211_812: +1 y_105 +1 y_356 -1 x_211_812 +1 y_357 +1 y_358 +1 y_361 +1 y_373 = +0
- linking_153_168: +1 y_356 +1 y_357 -1 x_153_168 +1 y_359 = +0
- linking_169_188: +1 y_356 +1 y_357 -1 x_169_188 +1 y_359 = +0
- linking_75_88: +1 y_355 +1 y_358 -1 x_75_88 = +0
- linking_125_158: +1 y_355 +1 y_358 -1 x_125_158 +1 y_360 = +0
- linking_159_767: +1 y_79 +1 y_358 -1 x_159_767 +1 y_360 +1 y_361 +1 y_362 +1 y_363 +1 y_392 +1 y_424
- = +0
- linking_770_180: +1 y_90 +1 y_358 -1 x_770_180 +1 y_360 +1 y_361 +1 y_362 +1 y_363 +1 y_366 = +0
- linking_97_705: +1 y_48 +1 y_359 -1 x_97_705 +1 y_360 +1 y_400 = +0
- linking_715_120: +1 y_60 +1 y_359 -1 x_715_120 +1 y_399 = +0
- linking_81_96: +1 y_359 +1 y_360 -1 x_81_96 +1 y_361 = +0
- linking_716_124: +1 y_62 +1 y_360 -1 x_716_124 = +0
- linking_181_194: +1 y_355 +1 y_360 -1 x_181_194 +1 y_366 = +0
- linking_121_158: +1 y_362 +1 y_363 -1 x_121_158 = +0
- linking_1015_420: +1 y_210 +1 y_364 -1 x_1015_420 +1 y_382 +1 y_395 +1 y_396 +1 y_397 +1 y_398 = +0
- linking_1104_510: +1 y_255 +1 y_364 -1 x_1104_510 +1 y_365 = +0
- linking_1127_530: +1 y_265 +1 y_364 -1 x_1127_530 +1 y_365 = +0
- linking_453_468: +1 y_364 +1 y_365 -1 x_453_468 +1 y_367 +1 y_382 +1 y_383 +1 y_385 = +0
- linking_469_492: +1 y_364 +1 y_365 -1 x_469_492 +1 y_367 = +0
- linking_229_831: +1 y_114 +1 y_366 -1 x_229_831 +1 y_440 = +0
- linking_405_414: +1 y_326 +1 y_367 -1 x_405_414 +1 y_379 +1 y_390 = +0
- linking_529_1131: +1 y_264 +1 y_368 -1 x_529_1131 = +0
- linking_706_112: +1 y_56 +1 y_369 -1 x_706_112 +1 y_387 = +0
- linking_193_793: +1 y_96 +1 y_369 -1 x_193_793 +1 y_370 +1 y_371 +1 y_372 +1 y_377 +1 y_429 = +0
- linking_75_682: +1 y_37 +1 y_370 -1 x_75_682 +1 y_376 +1 y_377 +1 y_380 = +0
- linking_696_104: +1 y_52 +1 y_370 -1 x_696_104 +1 y_373 +1 y_374 +1 y_376 +1 y_377 +1 y_393 = +0
- linking_145_164: +1 y_369 +1 y_370 -1 x_145_164 +1 y_371 +1 y_372 +1 y_373 +1 y_374 = +0
- linking_165_192: +1 y_369 +1 y_370 -1 x_165_192 +1 y_371 +1 y_372 +1 y_373 +1 y_374 = +0
- linking_115_144: +1 y_370 +1 y_371 -1 x_115_144 +1 y_373 +1 y_374 +1 y_376 = +0
- linking_81_100: +1 y_371 +1 y_372 -1 x_81_100 = +0
- linking_113_144: +1 y_369 +1 y_372 -1 x_113_144 = +0
- linking_105_114: +1 y_370 +1 y_373 -1 x_105_114 +1 y_374 +1 y_376 +1 y_377 = +0
- linking_199_811: +1 y_99 +1 y_374 -1 x_199_811 +1 y_387 = +0
- linking_193_198: +1 y_374 +1 y_375 -1 x_193_198 = +0
- linking_215_815: +1 y_107 +1 y_375 -1 x_215_815 +1 y_424 = +0
- linking_175_188: +1 y_330 +1 y_376 -1 x_175_188 = +0
- linking_115_152: +1 y_375 +1 y_377 -1 x_115_152 = +0
- linking_175_192: +1 y_375 +1 y_377 -1 x_175_192 = +0
- linking_465_1073: +1 y_232 +1 y_378 -1 x_465_1073 +1 y_418 = +0
- linking_1100_504: +1 y_252 +1 y_378 -1 x_1100_504 +1 y_409 = +0
- linking_505_1114: +1 y_252 +1 y_378 -1 x_505_1114 +1 y_395 +1 y_396 +1 y_397 = +0
- linking_970_374: +1 y_187 +1 y_379 -1 x_970_374 +1 y_381 +1 y_385 +1 y_388 +1 y_401 +1 y_405 +1 y_406
- +1 y_407 = +0
- linking_375_982: +1 y_187 +1 y_379 -1 x_375_982 +1 y_381 +1 y_385 +1 y_388 = +0
- linking_445_464: +1 y_378 +1 y_379 -1 x_445_464 = +0
- linking_495_1099: +1 y_247 +1 y_379 -1 x_495_1099 = +0
- linking_693_100: +1 y_50 +1 y_380 -1 x_693_100 +1 y_387 +1 y_399 = +0
- linking_101_112: +1 y_372 +1 y_380 -1 x_101_112 = +0
- linking_163_768: +1 y_81 +1 y_380 -1 x_163_768 +1 y_394 = +0
- linking_800_204: +1 y_102 +1 y_380 -1 x_800_204 +1 y_391 = +0
- linking_205_814: +1 y_102 +1 y_380 -1 x_205_814 +1 y_391 = +0
- linking_993_400: +1 y_200 +1 y_381 -1 x_993_400 +1 y_388 +1 y_389 +1 y_397 +1 y_408 = +0
- linking_413_444: +1 y_378 +1 y_381 -1 x_413_444 = +0
- linking_469_1081: +1 y_234 +1 y_381 -1 x_469_1081 +1 y_385 +1 y_390 = +0
- linking_991_396: +1 y_198 +1 y_382 -1 x_991_396 +1 y_396 +1 y_402 +1 y_403 +1 y_411 = +0
- linking_397_1005: +1 y_198 +1 y_382 -1 x_397_1005 +1 y_396 +1 y_411 = +0
- linking_421_452: +1 y_364 +1 y_382 -1 x_421_452 +1 y_383 +1 y_385 = +0
- linking_499_1111: +1 y_249 +1 y_382 -1 x_499_1111 +1 y_383 +1 y_388 +1 y_389 +1 y_390 = +0
- linking_469_494: +1 y_382 +1 y_383 -1 x_469_494 +1 y_384 = +0
- linking_495_498: +1 y_382 +1 y_383 -1 x_495_498 +1 y_384 = +0
- linking_1034_444: +1 y_222 +1 y_384 -1 x_1034_444 +1 y_389 = +0
- linking_445_468: +1 y_381 +1 y_384 -1 x_445_468 +1 y_390 = +0
- linking_515_1115: +1 y_257 +1 y_384 -1 x_515_1115 +1 y_458 +1 y_460 +1 y_461 = +0
- linking_405_420: +1 y_383 +1 y_385 -1 x_405_420 = +0
- linking_475_1082: +1 y_237 +1 y_386 -1 x_475_1082 +1 y_416 +1 y_436 = +0
- linking_101_704: +1 y_50 +1 y_387 -1 x_101_704 +1 y_399 = +0
- linking_113_158: +1 y_361 +1 y_387 -1 x_113_158 = +0
- linking_401_1004: +1 y_200 +1 y_388 -1 x_401_1004 +1 y_395 +1 y_397 = +0
- linking_463_1068: +1 y_231 +1 y_388 -1 x_463_1068 +1 y_396 +1 y_398 +1 y_412 = +0
- linking_401_412: +1 y_381 +1 y_389 -1 x_401_412 = +0
- linking_413_1020: +1 y_206 +1 y_389 -1 x_413_1020 = +0
- linking_415_444: +1 y_379 +1 y_390 -1 x_415_444 = +0
- linking_493_498: +1 y_388 +1 y_390 -1 x_493_498 = +0
- linking_683_90: +1 y_45 +1 y_391 -1 x_683_90 +1 y_413 = +0
- linking_165_773: +1 y_82 +1 y_391 -1 x_165_773 = +0
- linking_657_60: +1 y_30 +1 y_393 -1 x_657_60 +1 y_419 +1 y_437 +1 y_441 = +0
- linking_185_789: +1 y_92 +1 y_393 -1 x_185_789 = +0
- linking_105_118: +1 y_393 +1 y_394 -1 x_105_118 = +0
- linking_119_162: +1 y_393 +1 y_394 -1 x_119_162 = +0
- linking_979_384: +1 y_192 +1 y_395 -1 x_979_384 +1 y_418 = +0
- linking_421_462: +1 y_395 +1 y_396 -1 x_421_462 +1 y_397 +1 y_398 = +0
- linking_493_504: +1 y_396 +1 y_397 -1 x_493_504 = +0
- linking_826_228: +1 y_114 +1 y_398 -1 x_826_228 = +0
- linking_251_865: +1 y_125 +1 y_398 -1 x_251_865 +1 y_403 +1 y_416 +1 y_436 = +0
- linking_163_184: +1 y_393 +1 y_399 -1 x_163_184 = +0
- linking_691_96: +1 y_48 +1 y_400 -1 x_691_96 +1 y_430 +1 y_431 = +0
- linking_167_776: +1 y_83 +1 y_400 -1 x_167_776 +1 y_433 +1 y_435 +1 y_437 = +0
- linking_437_1066: +1 y_218 +1 y_401 -1 x_437_1066 +1 y_403 +1 y_404 = +0
- linking_487_1092: +1 y_243 +1 y_402 -1 x_487_1092 +1 y_411 = +0
- linking_397_414: +1 y_402 +1 y_403 -1 x_397_414 = +0
- linking_957_360: +1 y_180 +1 y_404 -1 x_957_360 +1 y_415 +1 y_432 = +0
- linking_375_386: +1 y_404 +1 y_405 -1 x_375_386 +1 y_406 +1 y_407 = +0
- linking_387_402: +1 y_404 +1 y_405 -1 x_387_402 +1 y_406 +1 y_407 +1 y_416 = +0
- linking_471_1080: +1 y_235 +1 y_405 -1 x_471_1080 +1 y_406 +1 y_409 = +0
- linking_461_1069: +1 y_230 +1 y_407 -1 x_461_1069 +1 y_426 = +0
- linking_415_436: +1 y_403 +1 y_408 -1 x_415_436 = +0
- linking_485_1089: +1 y_242 +1 y_408 -1 x_485_1089 +1 y_410 +1 y_414 = +0
- linking_1103_506: +1 y_253 +1 y_408 -1 x_1103_506 +1 y_458 +1 y_460 +1 y_461 = +0
- linking_507_1108: +1 y_253 +1 y_408 -1 x_507_1108 +1 y_457 = +0
- linking_1006_412: +1 y_206 +1 y_409 -1 x_1006_412 +1 y_462 = +0
- linking_435_470: +1 y_405 +1 y_409 -1 x_435_470 = +0
- linking_990_394: +1 y_197 +1 y_410 -1 x_990_394 = +0
- linking_395_408: +1 y_401 +1 y_410 -1 x_395_408 = +0
- linking_415_440: +1 y_402 +1 y_411 -1 x_415_440 = +0
- linking_441_470: +1 y_402 +1 y_411 -1 x_441_470 = +0
- linking_471_486: +1 y_402 +1 y_411 -1 x_471_486 = +0
- linking_963_368: +1 y_184 +1 y_412 -1 x_963_368 +1 y_438 = +0
- linking_91_108: +1 y_391 +1 y_413 -1 x_91_108 = +0
- linking_187_792: +1 y_93 +1 y_413 -1 x_187_792 +1 y_417 = +0
- linking_983_390: +1 y_195 +1 y_414 -1 x_983_390 = +0
- linking_465_484: +1 y_410 +1 y_414 -1 x_465_484 = +0
- linking_361_374: +1 y_404 +1 y_415 -1 x_361_374 = +0
- linking_403_1021: +1 y_201 +1 y_415 -1 x_403_1021 = +0
- linking_821_224: +1 y_112 +1 y_416 -1 x_821_224 = +0
- linking_977_386: +1 y_193 +1 y_416 -1 x_977_386 = +0
- linking_677_86: +1 y_43 +1 y_417 -1 x_677_86 = +0
- linking_135_164: +1 y_413 +1 y_417 -1 x_135_164 = +0
- linking_165_186: +1 y_413 +1 y_417 -1 x_165_186 = +0
- linking_385_394: +1 y_401 +1 y_418 -1 x_385_394 = +0
- linking_87_102: +1 y_417 +1 y_419 -1 x_87_102 +1 y_420 +1 y_421 = +0
- linking_137_766: +1 y_68 +1 y_419 -1 x_137_766 +1 y_422 +1 y_427 = +0
- linking_75_86: +1 y_419 +1 y_420 -1 x_75_86 +1 y_421 = +0
- linking_103_134: +1 y_417 +1 y_420 -1 x_103_134 = +0
- linking_171_780: +1 y_85 +1 y_420 -1 x_171_780 +1 y_421 +1 y_430 = +0
- linking_679_84: +1 y_42 +1 y_423 -1 x_679_84 = +0
- linking_85_94: +1 y_422 +1 y_423 -1 x_85_94 = +0
- linking_95_108: +1 y_422 +1 y_423 -1 x_95_108 +1 y_424 = +0
- linking_109_142: +1 y_391 +1 y_423 -1 x_109_142 = +0
- linking_690_94: +1 y_47 +1 y_424 -1 x_690_94 = +0
- linking_735_150: +1 y_75 +1 y_425 -1 x_735_150 +1 y_451 = +0
- linking_872_276: +1 y_138 +1 y_426 -1 x_872_276 = +0
- linking_277_882: +1 y_138 +1 y_426 -1 x_277_882 = +0
- linking_988_398: +1 y_199 +1 y_426 -1 x_988_398 +1 y_439 = +0
- linking_649_52: +1 y_26 +1 y_427 -1 x_649_52 = +0
- linking_666_72: +1 y_36 +1 y_428 -1 x_666_72 +1 y_433 +1 y_434 +1 y_435 = +0
- linking_97_118: +1 y_343 +1 y_428 -1 x_97_118 = +0
- linking_161_769: +1 y_80 +1 y_428 -1 x_161_769 +1 y_452 = +0
- linking_785_192: +1 y_96 +1 y_429 -1 x_785_192 = +0
- linking_805_212: +1 y_106 +1 y_429 -1 x_805_212 +1 y_435 = +0
- linking_223_828: +1 y_111 +1 y_429 -1 x_223_828 = +0
- linking_151_170: +1 y_425 +1 y_430 -1 x_151_170 = +0
- linking_97_116: +1 y_430 +1 y_431 -1 x_97_116 = +0
- linking_117_136: +1 y_427 +1 y_431 -1 x_117_136 = +0
- linking_173_787: +1 y_86 +1 y_431 -1 x_173_787 +1 y_448 +1 y_451 = +0
- linking_916_322: +1 y_161 +1 y_432 -1 x_916_322 = +0
- linking_337_938: +1 y_168 +1 y_432 -1 x_337_938 +1 y_453 = +0
- linking_387_1003: +1 y_193 +1 y_432 -1 x_387_1003 = +0
- linking_617_26: +1 y_13 +1 y_433 -1 x_617_26 +1 y_448 = +0
- linking_27_630: +1 y_13 +1 y_433 -1 x_27_630 +1 y_448 = +0
- linking_73_90: +1 y_433 +1 y_434 -1 x_73_90 +1 y_435 +1 y_441 = +0
- linking_117_150: +1 y_430 +1 y_434 -1 x_117_150 = +0
- linking_175_782: +1 y_87 +1 y_434 -1 x_175_782 = +0
- linking_91_707: +1 y_45 +1 y_435 -1 x_91_707 = +0
- linking_725_134: +1 y_67 +1 y_435 -1 x_725_134 +1 y_437 = +0
- linking_213_813: +1 y_106 +1 y_435 -1 x_213_813 = +0
- linking_1035_450: +1 y_225 +1 y_436 -1 x_1035_450 +1 y_439 +1 y_453 = +0
- linking_95_702: +1 y_47 +1 y_437 -1 x_95_702 = +0
- linking_135_166: +1 y_435 +1 y_437 -1 x_135_166 = +0
- linking_921_328: +1 y_164 +1 y_438 -1 x_921_328 +1 y_454 +1 y_459 = +0
- linking_329_935: +1 y_164 +1 y_438 -1 x_329_935 +1 y_454 = +0
- linking_451_1062: +1 y_225 +1 y_438 -1 x_451_1062 +1 y_450 +1 y_453 = +0
- linking_399_999: +1 y_199 +1 y_439 -1 x_399_999 +1 y_459 = +0
- linking_207_214: +1 y_424 +1 y_440 -1 x_207_214 = +0
- linking_223_228: +1 y_386 +1 y_440 -1 x_223_228 = +0
- linking_61_72: +1 y_437 +1 y_441 -1 x_61_72 = +0
- linking_145_754: +1 y_72 +1 y_441 -1 x_145_754 = +0
- linking_1138_542: +1 y_271 +1 y_442 -1 x_1138_542 +1 y_455 = +0
- linking_591_1192: +1 y_295 +1 y_442 -1 x_591_1192 = +0
- linking_1120_522: +1 y_261 +1 y_443 -1 x_1120_522 = +0
- linking_543_550: +1 y_442 +1 y_443 -1 x_543_550 = +0
- linking_551_1165: +1 y_275 +1 y_443 -1 x_551_1165 = +0
- linking_1107_514: +1 y_257 +1 y_444 -1 x_1107_514 = +0
- linking_531_542: +1 y_443 +1 y_444 -1 x_531_542 +1 y_445 = +0
- linking_543_1156: +1 y_271 +1 y_444 -1 x_543_1156 +1 y_445 = +0
- linking_243_250: +1 y_403 +1 y_446 -1 x_243_250 = +0
- linking_323_933: +1 y_161 +1 y_446 -1 x_323_933 = +0
- linking_722_126: +1 y_63 +1 y_447 -1 x_722_126 +1 y_448 = +0
- linking_179_788: +1 y_89 +1 y_447 -1 x_179_788 = +0
- linking_966_372: +1 y_186 +1 y_449 -1 x_966_372 +1 y_450 +1 y_459 = +0
- linking_373_980: +1 y_186 +1 y_449 -1 x_373_980 = +0
- linking_1022_426: +1 y_213 +1 y_449 -1 x_1022_426 +1 y_454 +1 y_456 +1 y_457 +1 y_458 = +0
- linking_473_1087: +1 y_236 +1 y_449 -1 x_473_1087 +1 y_456 +1 y_460 +1 y_461 +1 y_462 = +0
- linking_391_408: +1 y_414 +1 y_450 -1 x_391_408 = +0
- linking_409_450: +1 y_438 +1 y_450 -1 x_409_450 = +0
- linking_688_98: +1 y_49 +1 y_451 -1 x_688_98 = +0
- linking_99_699: +1 y_49 +1 y_451 -1 x_99_699 +1 y_452 = +0
- linking_663_68: +1 y_34 +1 y_452 -1 x_663_68 = +0
- linking_742_160: +1 y_80 +1 y_452 -1 x_742_160 = +0
- linking_887_292: +1 y_146 +1 y_453 -1 x_887_292 = +0
- linking_427_454: +1 y_449 +1 y_454 -1 x_427_454 +1 y_456 +1 y_457 +1 y_458 = +0
- linking_483_1094: +1 y_241 +1 y_454 -1 x_483_1094 = +0
- linking_577_1182: +1 y_288 +1 y_455 -1 x_577_1182 = +0
- linking_1195_594: +1 y_297 +1 y_455 -1 x_1195_594 = +0
- linking_595_1197: +1 y_297 +1 y_455 -1 x_595_1197 = +0
- linking_455_472: +1 y_449 +1 y_456 -1 x_455_472 = +0
- linking_1105_512: +1 y_256 +1 y_456 -1 x_1105_512 +1 y_462 = +0
- linking_513_1113: +1 y_256 +1 y_456 -1 x_513_1113 = +0
- linking_455_482: +1 y_454 +1 y_457 -1 x_455_482 = +0
- linking_455_1074: +1 y_227 +1 y_458 -1 x_455_1074 = +0
- linking_339_948: +1 y_169 +1 y_459 -1 x_339_948 = +0
- linking_1023_430: +1 y_215 +1 y_460 -1 x_1023_430 = +0
- linking_507_514: +1 y_458 +1 y_460 -1 x_507_514 +1 y_461 = +0
- linking_1032_440: +1 y_220 +1 y_461 -1 x_1032_440 = +0
- linking_413_430: +1 y_418 +1 y_462 -1 x_413_430 = +0
- linking_431_472: +1 y_460 +1 y_462 -1 x_431_472 = +0
- Bounds
- 0 <= x_757_166 <= 1
- 0 <= x_191_795 <= 1
- 0 <= x_675_78 <= 1
- 0 <= x_225_825 <= 1
- 0 <= x_976_380 <= 1
- 0 <= x_517_1118 <= 1
- 0 <= x_879_280 <= 1
- 0 <= x_289_897 <= 1
- 0 <= x_975_378 <= 1
- 0 <= x_443_466 <= 1
- 0 <= x_467_490 <= 1
- 0 <= x_491_500 <= 1
- 0 <= x_501_1106 <= 1
- 0 <= x_281_288 <= 1
- 0 <= x_379_392 <= 1
- 0 <= x_393_406 <= 1
- 0 <= x_838_242 <= 1
- 0 <= x_243_856 <= 1
- 0 <= x_937_342 <= 1
- 0 <= x_343_943 <= 1
- 0 <= x_393_998 <= 1
- 0 <= x_1033_442 <= 1
- 0 <= x_501_516 <= 1
- 0 <= x_525_1125 <= 1
- 0 <= x_517_524 <= 1
- 0 <= x_379_985 <= 1
- 0 <= x_987_392 <= 1
- 0 <= x_407_1011 <= 1
- 0 <= x_475_490 <= 1
- 0 <= x_531_1130 <= 1
- 0 <= x_393_410 <= 1
- 0 <= x_425_452 <= 1
- 0 <= x_453_474 <= 1
- 0 <= x_407_424 <= 1
- 0 <= x_345_951 <= 1
- 0 <= x_411_442 <= 1
- 0 <= x_443_474 <= 1
- 0 <= x_343_344 <= 1
- 0 <= x_407_442 <= 1
- 0 <= x_1016_424 <= 1
- 0 <= x_419_466 <= 1
- 0 <= x_635_36 <= 1
- 0 <= x_37_639 <= 1
- 0 <= x_645_44 <= 1
- 0 <= x_45_651 <= 1
- 0 <= x_667_70 <= 1
- 0 <= x_93_698 <= 1
- 0 <= x_733_142 <= 1
- 0 <= x_201_216 <= 1
- 0 <= x_217_818 <= 1
- 0 <= x_281_883 <= 1
- 0 <= x_491_1095 <= 1
- 0 <= x_1098_500 <= 1
- 0 <= x_638_42 <= 1
- 0 <= x_79_92 <= 1
- 0 <= x_143_166 <= 1
- 0 <= x_167_190 <= 1
- 0 <= x_191_200 <= 1
- 0 <= x_43_44 <= 1
- 0 <= x_93_106 <= 1
- 0 <= x_201_224 <= 1
- 0 <= x_93_110 <= 1
- 0 <= x_111_142 <= 1
- 0 <= x_201_806 <= 1
- 0 <= x_107_142 <= 1
- 0 <= x_37_44 <= 1
- 0 <= x_600_0 <= 1
- 0 <= x_1_606 <= 1
- 0 <= x_967_370 <= 1
- 0 <= x_371_978 <= 1
- 0 <= x_996_404 <= 1
- 0 <= x_467_488 <= 1
- 0 <= x_489_500 <= 1
- 0 <= x_43_643 <= 1
- 0 <= x_107_124 <= 1
- 0 <= x_125_152 <= 1
- 0 <= x_153_174 <= 1
- 0 <= x_175_190 <= 1
- 0 <= x_79_685 <= 1
- 0 <= x_709_114 <= 1
- 0 <= x_231_830 <= 1
- 0 <= x_701_110 <= 1
- 0 <= x_189_790 <= 1
- 0 <= x_801_202 <= 1
- 0 <= x_217_224 <= 1
- 0 <= x_501_524 <= 1
- 0 <= x_345_370 <= 1
- 0 <= x_1009_414 <= 1
- 0 <= x_415_442 <= 1
- 0 <= x_443_1051 <= 1
- 0 <= x_1057_466 <= 1
- 0 <= x_489_1090 <= 1
- 0 <= x_71_678 <= 1
- 0 <= x_714_118 <= 1
- 0 <= x_181_786 <= 1
- 0 <= x_203_216 <= 1
- 0 <= x_945_344 <= 1
- 0 <= x_475_488 <= 1
- 0 <= x_371_388 <= 1
- 0 <= x_411_418 <= 1
- 0 <= x_481_1086 <= 1
- 0 <= x_389_406 <= 1
- 0 <= x_407_418 <= 1
- 0 <= x_419_458 <= 1
- 0 <= x_459_480 <= 1
- 0 <= x_371_392 <= 1
- 0 <= x_820_222 <= 1
- 0 <= x_803_206 <= 1
- 0 <= x_225_230 <= 1
- 0 <= x_1044_458 <= 1
- 0 <= x_1014_418 <= 1
- 0 <= x_525_530 <= 1
- 0 <= x_345_378 <= 1
- 0 <= x_481_502 <= 1
- 0 <= x_503_524 <= 1
- 0 <= x_503_1109 <= 1
- 0 <= x_191_202 <= 1
- 0 <= x_203_809 <= 1
- 0 <= x_676_80 <= 1
- 0 <= x_119_158 <= 1
- 0 <= x_159_180 <= 1
- 0 <= x_81_92 <= 1
- 0 <= x_984_388 <= 1
- 0 <= x_389_410 <= 1
- 0 <= x_459_1067 <= 1
- 0 <= x_1101_502 <= 1
- 0 <= x_503_516 <= 1
- 0 <= x_1121_524 <= 1
- 0 <= x_1070_480 <= 1
- 0 <= x_1001_410 <= 1
- 0 <= x_1085_492 <= 1
- 0 <= x_493_1093 <= 1
- 0 <= x_425_458 <= 1
- 0 <= x_481_494 <= 1
- 0 <= x_495_502 <= 1
- 0 <= x_459_488 <= 1
- 0 <= x_816_216 <= 1
- 0 <= x_827_230 <= 1
- 0 <= x_670_74 <= 1
- 0 <= x_89_106 <= 1
- 0 <= x_195_799 <= 1
- 0 <= x_684_88 <= 1
- 0 <= x_111_124 <= 1
- 0 <= x_804_210 <= 1
- 0 <= x_211_812 <= 1
- 0 <= x_153_168 <= 1
- 0 <= x_169_188 <= 1
- 0 <= x_75_88 <= 1
- 0 <= x_125_158 <= 1
- 0 <= x_159_767 <= 1
- 0 <= x_770_180 <= 1
- 0 <= x_97_705 <= 1
- 0 <= x_715_120 <= 1
- 0 <= x_81_96 <= 1
- 0 <= x_716_124 <= 1
- 0 <= x_181_194 <= 1
- 0 <= x_121_158 <= 1
- 0 <= x_1015_420 <= 1
- 0 <= x_1104_510 <= 1
- 0 <= x_1127_530 <= 1
- 0 <= x_453_468 <= 1
- 0 <= x_469_492 <= 1
- 0 <= x_229_831 <= 1
- 0 <= x_405_414 <= 1
- 0 <= x_529_1131 <= 1
- 0 <= x_706_112 <= 1
- 0 <= x_193_793 <= 1
- 0 <= x_75_682 <= 1
- 0 <= x_696_104 <= 1
- 0 <= x_145_164 <= 1
- 0 <= x_165_192 <= 1
- 0 <= x_115_144 <= 1
- 0 <= x_81_100 <= 1
- 0 <= x_113_144 <= 1
- 0 <= x_105_114 <= 1
- 0 <= x_199_811 <= 1
- 0 <= x_193_198 <= 1
- 0 <= x_215_815 <= 1
- 0 <= x_175_188 <= 1
- 0 <= x_115_152 <= 1
- 0 <= x_175_192 <= 1
- 0 <= x_465_1073 <= 1
- 0 <= x_1100_504 <= 1
- 0 <= x_505_1114 <= 1
- 0 <= x_970_374 <= 1
- 0 <= x_375_982 <= 1
- 0 <= x_445_464 <= 1
- 0 <= x_495_1099 <= 1
- 0 <= x_693_100 <= 1
- 0 <= x_101_112 <= 1
- 0 <= x_163_768 <= 1
- 0 <= x_800_204 <= 1
- 0 <= x_205_814 <= 1
- 0 <= x_993_400 <= 1
- 0 <= x_413_444 <= 1
- 0 <= x_469_1081 <= 1
- 0 <= x_991_396 <= 1
- 0 <= x_397_1005 <= 1
- 0 <= x_421_452 <= 1
- 0 <= x_499_1111 <= 1
- 0 <= x_469_494 <= 1
- 0 <= x_495_498 <= 1
- 0 <= x_1034_444 <= 1
- 0 <= x_445_468 <= 1
- 0 <= x_515_1115 <= 1
- 0 <= x_405_420 <= 1
- 0 <= x_475_1082 <= 1
- 0 <= x_101_704 <= 1
- 0 <= x_113_158 <= 1
- 0 <= x_401_1004 <= 1
- 0 <= x_463_1068 <= 1
- 0 <= x_401_412 <= 1
- 0 <= x_413_1020 <= 1
- 0 <= x_415_444 <= 1
- 0 <= x_493_498 <= 1
- 0 <= x_683_90 <= 1
- 0 <= x_165_773 <= 1
- 0 <= x_657_60 <= 1
- 0 <= x_185_789 <= 1
- 0 <= x_105_118 <= 1
- 0 <= x_119_162 <= 1
- 0 <= x_979_384 <= 1
- 0 <= x_421_462 <= 1
- 0 <= x_493_504 <= 1
- 0 <= x_826_228 <= 1
- 0 <= x_251_865 <= 1
- 0 <= x_163_184 <= 1
- 0 <= x_691_96 <= 1
- 0 <= x_167_776 <= 1
- 0 <= x_437_1066 <= 1
- 0 <= x_487_1092 <= 1
- 0 <= x_397_414 <= 1
- 0 <= x_957_360 <= 1
- 0 <= x_375_386 <= 1
- 0 <= x_387_402 <= 1
- 0 <= x_471_1080 <= 1
- 0 <= x_461_1069 <= 1
- 0 <= x_415_436 <= 1
- 0 <= x_485_1089 <= 1
- 0 <= x_1103_506 <= 1
- 0 <= x_507_1108 <= 1
- 0 <= x_1006_412 <= 1
- 0 <= x_435_470 <= 1
- 0 <= x_990_394 <= 1
- 0 <= x_395_408 <= 1
- 0 <= x_415_440 <= 1
- 0 <= x_441_470 <= 1
- 0 <= x_471_486 <= 1
- 0 <= x_963_368 <= 1
- 0 <= x_91_108 <= 1
- 0 <= x_187_792 <= 1
- 0 <= x_983_390 <= 1
- 0 <= x_465_484 <= 1
- 0 <= x_361_374 <= 1
- 0 <= x_403_1021 <= 1
- 0 <= x_821_224 <= 1
- 0 <= x_977_386 <= 1
- 0 <= x_677_86 <= 1
- 0 <= x_135_164 <= 1
- 0 <= x_165_186 <= 1
- 0 <= x_385_394 <= 1
- 0 <= x_87_102 <= 1
- 0 <= x_137_766 <= 1
- 0 <= x_75_86 <= 1
- 0 <= x_103_134 <= 1
- 0 <= x_171_780 <= 1
- 0 <= x_679_84 <= 1
- 0 <= x_85_94 <= 1
- 0 <= x_95_108 <= 1
- 0 <= x_109_142 <= 1
- 0 <= x_690_94 <= 1
- 0 <= x_735_150 <= 1
- 0 <= x_872_276 <= 1
- 0 <= x_277_882 <= 1
- 0 <= x_988_398 <= 1
- 0 <= x_649_52 <= 1
- 0 <= x_666_72 <= 1
- 0 <= x_97_118 <= 1
- 0 <= x_161_769 <= 1
- 0 <= x_785_192 <= 1
- 0 <= x_805_212 <= 1
- 0 <= x_223_828 <= 1
- 0 <= x_151_170 <= 1
- 0 <= x_97_116 <= 1
- 0 <= x_117_136 <= 1
- 0 <= x_173_787 <= 1
- 0 <= x_916_322 <= 1
- 0 <= x_337_938 <= 1
- 0 <= x_387_1003 <= 1
- 0 <= x_617_26 <= 1
- 0 <= x_27_630 <= 1
- 0 <= x_73_90 <= 1
- 0 <= x_117_150 <= 1
- 0 <= x_175_782 <= 1
- 0 <= x_91_707 <= 1
- 0 <= x_725_134 <= 1
- 0 <= x_213_813 <= 1
- 0 <= x_1035_450 <= 1
- 0 <= x_95_702 <= 1
- 0 <= x_135_166 <= 1
- 0 <= x_921_328 <= 1
- 0 <= x_329_935 <= 1
- 0 <= x_451_1062 <= 1
- 0 <= x_399_999 <= 1
- 0 <= x_207_214 <= 1
- 0 <= x_223_228 <= 1
- 0 <= x_61_72 <= 1
- 0 <= x_145_754 <= 1
- 0 <= x_1138_542 <= 1
- 0 <= x_591_1192 <= 1
- 0 <= x_1120_522 <= 1
- 0 <= x_543_550 <= 1
- 0 <= x_551_1165 <= 1
- 0 <= x_1107_514 <= 1
- 0 <= x_531_542 <= 1
- 0 <= x_543_1156 <= 1
- 0 <= x_243_250 <= 1
- 0 <= x_323_933 <= 1
- 0 <= x_722_126 <= 1
- 0 <= x_179_788 <= 1
- 0 <= x_966_372 <= 1
- 0 <= x_373_980 <= 1
- 0 <= x_1022_426 <= 1
- 0 <= x_473_1087 <= 1
- 0 <= x_391_408 <= 1
- 0 <= x_409_450 <= 1
- 0 <= x_688_98 <= 1
- 0 <= x_99_699 <= 1
- 0 <= x_663_68 <= 1
- 0 <= x_742_160 <= 1
- 0 <= x_887_292 <= 1
- 0 <= x_427_454 <= 1
- 0 <= x_483_1094 <= 1
- 0 <= x_577_1182 <= 1
- 0 <= x_1195_594 <= 1
- 0 <= x_595_1197 <= 1
- 0 <= x_455_472 <= 1
- 0 <= x_1105_512 <= 1
- 0 <= x_513_1113 <= 1
- 0 <= x_455_482 <= 1
- 0 <= x_455_1074 <= 1
- 0 <= x_339_948 <= 1
- 0 <= x_1023_430 <= 1
- 0 <= x_507_514 <= 1
- 0 <= x_1032_440 <= 1
- 0 <= x_413_430 <= 1
- 0 <= x_431_472 <= 1
- Binaries
- x_757_166 x_191_795 x_675_78 x_225_825 x_976_380 x_517_1118 x_879_280 x_289_897 x_975_378 x_443_466 x_467_490
- x_491_500 x_501_1106 x_281_288 x_379_392 x_393_406 x_838_242 x_243_856 x_937_342 x_343_943 x_393_998
- x_1033_442 x_501_516 x_525_1125 x_517_524 x_379_985 x_987_392 x_407_1011 x_475_490 x_531_1130 x_393_410
- x_425_452 x_453_474 x_407_424 x_345_951 x_411_442 x_443_474 x_343_344 x_407_442 x_1016_424 x_419_466
- x_635_36 x_37_639 x_645_44 x_45_651 x_667_70 x_93_698 x_733_142 x_201_216 x_217_818 x_281_883 x_491_1095
- x_1098_500 x_638_42 x_79_92 x_143_166 x_167_190 x_191_200 x_43_44 x_93_106 x_201_224 x_93_110 x_111_142
- x_201_806 x_107_142 x_37_44 x_600_0 x_1_606 x_967_370 x_371_978 x_996_404 x_467_488 x_489_500 x_43_643
- x_107_124 x_125_152 x_153_174 x_175_190 x_79_685 x_709_114 x_231_830 x_701_110 x_189_790 x_801_202 x_217_224
- x_501_524 x_345_370 x_1009_414 x_415_442 x_443_1051 x_1057_466 x_489_1090 x_71_678 x_714_118 x_181_786
- x_203_216 x_945_344 x_475_488 x_371_388 x_411_418 x_481_1086 x_389_406 x_407_418 x_419_458 x_459_480
- x_371_392 x_820_222 x_803_206 x_225_230 x_1044_458 x_1014_418 x_525_530 x_345_378 x_481_502 x_503_524
- x_503_1109 x_191_202 x_203_809 x_676_80 x_119_158 x_159_180 x_81_92 x_984_388 x_389_410 x_459_1067 x_1101_502
- x_503_516 x_1121_524 x_1070_480 x_1001_410 x_1085_492 x_493_1093 x_425_458 x_481_494 x_495_502 x_459_488
- x_816_216 x_827_230 x_670_74 x_89_106 x_195_799 x_684_88 x_111_124 x_804_210 x_211_812 x_153_168 x_169_188
- x_75_88 x_125_158 x_159_767 x_770_180 x_97_705 x_715_120 x_81_96 x_716_124 x_181_194 x_121_158 x_1015_420
- x_1104_510 x_1127_530 x_453_468 x_469_492 x_229_831 x_405_414 x_529_1131 x_706_112 x_193_793 x_75_682
- x_696_104 x_145_164 x_165_192 x_115_144 x_81_100 x_113_144 x_105_114 x_199_811 x_193_198 x_215_815 x_175_188
- x_115_152 x_175_192 x_465_1073 x_1100_504 x_505_1114 x_970_374 x_375_982 x_445_464 x_495_1099 x_693_100
- x_101_112 x_163_768 x_800_204 x_205_814 x_993_400 x_413_444 x_469_1081 x_991_396 x_397_1005 x_421_452
- x_499_1111 x_469_494 x_495_498 x_1034_444 x_445_468 x_515_1115 x_405_420 x_475_1082 x_101_704 x_113_158
- x_401_1004 x_463_1068 x_401_412 x_413_1020 x_415_444 x_493_498 x_683_90 x_165_773 x_657_60 x_185_789
- x_105_118 x_119_162 x_979_384 x_421_462 x_493_504 x_826_228 x_251_865 x_163_184 x_691_96 x_167_776 x_437_1066
- x_487_1092 x_397_414 x_957_360 x_375_386 x_387_402 x_471_1080 x_461_1069 x_415_436 x_485_1089 x_1103_506
- x_507_1108 x_1006_412 x_435_470 x_990_394 x_395_408 x_415_440 x_441_470 x_471_486 x_963_368 x_91_108
- x_187_792 x_983_390 x_465_484 x_361_374 x_403_1021 x_821_224 x_977_386 x_677_86 x_135_164 x_165_186 x_385_394
- x_87_102 x_137_766 x_75_86 x_103_134 x_171_780 x_679_84 x_85_94 x_95_108 x_109_142 x_690_94 x_735_150
- x_872_276 x_277_882 x_988_398 x_649_52 x_666_72 x_97_118 x_161_769 x_785_192 x_805_212 x_223_828 x_151_170
- x_97_116 x_117_136 x_173_787 x_916_322 x_337_938 x_387_1003 x_617_26 x_27_630 x_73_90 x_117_150 x_175_782
- x_91_707 x_725_134 x_213_813 x_1035_450 x_95_702 x_135_166 x_921_328 x_329_935 x_451_1062 x_399_999 x_207_214
- x_223_228 x_61_72 x_145_754 x_1138_542 x_591_1192 x_1120_522 x_543_550 x_551_1165 x_1107_514 x_531_542
- x_543_1156 x_243_250 x_323_933 x_722_126 x_179_788 x_966_372 x_373_980 x_1022_426 x_473_1087 x_391_408
- x_409_450 x_688_98 x_99_699 x_663_68 x_742_160 x_887_292 x_427_454 x_483_1094 x_577_1182 x_1195_594 x_595_1197
- x_455_472 x_1105_512 x_513_1113 x_455_482 x_455_1074 x_339_948 x_1023_430 x_507_514 x_1032_440 x_413_430
- x_431_472
- End
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement