Advertisement
Guest User

Set covering problem

a guest
Mar 22nd, 2018
121
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 77.34 KB | None | 0 0
  1. \ SCIP STATISTICS
  2. \ Problem name : t_scheduling
  3. \ Variables : 1110 (347 binary, 0 integer, 0 implicit integer, 763 continuous)
  4. \ Constraints : 648
  5. \ Obj. scale : 1
  6. \ Obj. offset : 0
  7. Minimize
  8. Obj: +1153.01640271656 y_47 +1122.64464978014 y_48 +956.46819282455 y_49 +1104.4504673405 y_50 +1501.47324111893 y_51
  9. +1103.90861735415 y_52 +1107.16434710954 y_53 +1526.49385552288 y_54 +1104.71893184149 y_55 +1181.75071784549 y_56
  10. +1103.90861735415 y_57 +1157.93532913942 y_58 +1118.86508478033 y_59 +1108.39882541558 y_60 +1581.76865519559 y_61
  11. +1086.53041825175 y_62 +1174.38424116418 y_63 +1000.11581213518 y_64 +1240.29292391982 y_65 +1566.63798614157 y_66
  12. +1213.31778521883 y_67 +1490.47561041535 y_68 +1041.59460600378 y_69 +1152.20591485374 y_70 +1051.86130173015 y_71
  13. +1130.99283803581 y_72 +1606.52241581278 y_73 +1578.3624828517 y_74 +1228.39667403372 y_75 +1074.98820503637 y_76
  14. +1584.79367340911 y_77 +1005.7434272025 y_78 +1051.86326660096 y_79 +1229.11475151548 y_80 +1103.91822465365 y_81
  15. +1103.80973317771 y_82 +1035.47473852518 y_83 +1150.19941248093 y_84 +1236.99144610498 y_85 +1576.8364780234 y_86
  16. +1077.16173322707 y_87 +1020.33530674104 y_88 +1566.63798614157 y_89 +1071.67363732598 y_90 +1584.4053121521 y_91
  17. +1213.17430128861 y_92 +1240.19223723723 y_93 +1062.57460759107 y_94 +1064.97075944222 y_95 +1103.90861735415 y_96
  18. +1518.96767965194 y_97 +1020.99162236917 y_98 +1501.25064025759 y_99 +1051.86130173015 y_100 +1127.20094906954 y_101
  19. +1501.25103098562 y_102 +1153.94733121504 y_103 +1125.48741203666 y_104 +1150.19941248093 y_105
  20. +1201.77067469006 y_106 +1293.19319561809 y_107 +1051.86309020298 y_108 +1581.76865519559 y_109
  21. +1080.1456457716 y_110 +1566.63798614157 y_111 +1051.86130173015 y_112 +1465.63119374352 y_113 +1501.25064025759 y_114
  22. +1138.04447079006 y_115 +1626.23048812545 y_116 +1519.83516525148 y_117 +1483.0410234631 y_118 +1006.11246317542 y_119
  23. +1005.7434272025 y_120 +1227.0637636998 y_121 +1374.1879529997 y_122 +1004.31117321656 y_123 +1020.8500034498 y_124
  24. +1297.49386219268 y_125 +1093.53201235684 y_126 +1020.93349617751 y_127 +1228.52755042148 y_128
  25. +1459.05746300745 y_129 +980.589251742461 y_130 +1483.0410234631 y_131 +1439.55726757458 y_132 +1093.53201235684 y_133
  26. +1040.80214271637 y_134 +1069.17365918597 y_135 +1011.92354939604 y_136 +1124.20670613526 y_137
  27. +1222.54082453391 y_138 +1494.72850734775 y_139 +938.401197951353 y_140 +1683.58534837649 y_141
  28. +1173.89587824149 y_142 +1190.55178159258 y_143 +1107.16434710954 y_144 +1068.46178805717 y_145
  29. +1166.32878040263 y_146 +1040.26777255995 y_147 +1195.56617713379 y_148 +1036.64865575689 y_149
  30. +1502.82945013401 y_150 +1149.64256399877 y_151 +1551.20624431688 y_152 +1022.43403201537 y_153
  31. +1024.59263866386 y_154 +1459.05746300745 y_155 +1032.26327004565 y_156 +1173.89587824149 y_157
  32. +1153.1051812442 y_158 +1039.96515737378 y_159 +951.531784675746 y_160 +1222.54082453391 y_161 +1122.34123988256 y_162
  33. +1584.79367340911 y_163 +1240.29292391982 y_164 +1030.59981172908 y_165 +1184.758707037 y_166 +1377.02646950923 y_167
  34. +963.960897970363 y_168 +1568.92425465182 y_169 +1459.05746300745 y_170 +1076.98303562967 y_171
  35. +1088.88350063661 y_172 +1472.4559677439 y_173 +1519.83516525148 y_174 +1090.10396911578 y_175 +1297.49386219268 y_176
  36. +1465.63119374352 y_177 +1093.53201235684 y_178 +1040.26777255995 y_179 +1193.64101019113 y_180
  37. +1472.58055098648 y_181 +1294.61767866761 y_182 +1502.82945013401 y_183 +1193.59445913819 y_184
  38. +1051.86130173015 y_185 +1194.66349435723 y_186 +1099.41786700433 y_187 +1018.66513320132 y_188
  39. +1051.86309020298 y_189 +1137.45742845937 y_190 +1288.00484952891 y_191 +1187.24131311868 y_192
  40. +1501.25103098562 y_193 +1104.01882985987 y_194 +1526.49373519815 y_195 +1051.86309020298 y_196
  41. +1153.01640271656 y_197 +1122.64464978014 y_198 +956.46819282455 y_199 +1104.4504673405 y_200 +1501.47324111893 y_201
  42. +1103.90861735415 y_202 +1107.16434710954 y_203 +1526.49385552288 y_204 +1104.71893184149 y_205
  43. +1181.75071784549 y_206 +1103.90861735415 y_207 +1157.93532913942 y_208 +1118.86508478033 y_209
  44. +1108.39882541558 y_210 +1581.76865519559 y_211 +1086.53041825175 y_212 +1174.38424116418 y_213
  45. +1000.11581213518 y_214 +1240.29292391982 y_215 +1566.63798614157 y_216 +1213.31778521883 y_217
  46. +1490.47561041535 y_218 +1041.59460600378 y_219 +1152.20591485374 y_220 +1051.86130173015 y_221
  47. +1130.99283803581 y_222 +1606.52241581278 y_223 +1578.3624828517 y_224 +1228.39667403372 y_225 +1074.98820503637 y_226
  48. +1584.79367340911 y_227 +1005.7434272025 y_228 +1051.86326660096 y_229 +1229.11475151548 y_230 +1103.91822465365 y_231
  49. +1103.80973317771 y_232 +1035.47473852518 y_233 +1150.19941248093 y_234 +1236.99144610498 y_235
  50. +1576.8364780234 y_236 +1077.16173322707 y_237 +1020.33530674104 y_238 +1566.63798614157 y_239 +1071.67363732598 y_240
  51. +1584.4053121521 y_241 +1213.17430128861 y_242 +1240.19223723723 y_243 +1062.57460759107 y_244 +1064.97075944222 y_245
  52. +1103.90861735415 y_246 +1518.96767965194 y_247 +1020.99162236917 y_248 +1501.25064025759 y_249
  53. +1051.86130173015 y_250 +1127.20094906954 y_251 +1501.25103098562 y_252 +1153.94733121504 y_253
  54. +1125.48741203666 y_254 +1150.19941248093 y_255 +1201.77067469006 y_256 +1293.19319561809 y_257
  55. +1051.86309020298 y_258 +1581.76865519559 y_259 +1080.1456457716 y_260 +1566.63798614157 y_261 +1051.86130173015 y_262
  56. +1465.63119374352 y_263 +1501.25064025759 y_264 +1138.04447079006 y_265 +1626.23048812545 y_266
  57. +1519.83516525148 y_267 +1483.0410234631 y_268 +1006.11246317542 y_269 +1005.7434272025 y_270 +1227.0637636998 y_271
  58. +1374.1879529997 y_272 +1004.31117321656 y_273 +1020.8500034498 y_274 +1297.49386219268 y_275 +1093.53201235684 y_276
  59. +1020.93349617751 y_277 +1228.52755042148 y_278 +1459.05746300745 y_279 +980.589251742461 y_280
  60. +1483.0410234631 y_281 +1439.55726757458 y_282 +1093.53201235684 y_283 +1040.80214271637 y_284 +1069.17365918597 y_285
  61. +1011.92354939604 y_286 +1124.20670613526 y_287 +1222.54082453391 y_288 +1494.72850734775 y_289
  62. +938.401197951353 y_290 +1683.58534837649 y_291 +1173.89587824149 y_292 +1190.55178159258 y_293
  63. +1068.46178805717 y_294 +1166.32878040263 y_295 +1195.56617713379 y_296 +1222.54082453391 y_297
  64. +1584.79367340911 y_298 +1240.29292391982 y_299 +10000000 z_0 +10000000 z_1 +1611.42559068481 y_300
  65. +10000000 z_2 +10000000 z_3 +11095.6069465528 y_301 +10000000 z_4 +10000000 z_5 +9306.26981273565 y_302
  66. +10000000 z_6 +10000000 z_7 +10000000 z_8 +10000000 z_9 +10000000 z_10 +10000000 z_11 +10000000 z_12
  67. +9085.75554070221 y_303 +10000000 z_13 +10000000 z_14 +10000000 z_15 +9082.76437561819 y_304 +10000000 z_16
  68. +10000000 z_17 +10000000 z_18 +10000000 z_19 +10000000 z_20 +10000000 z_21 +10000000 z_22 +10000000 z_23
  69. +12607.8601258471 y_305 +10000000 z_24 +11095.6069465528 y_306 +10000000 z_25 +10000000 z_26 +10000000 z_27
  70. +10000000 z_28 +10000000 z_29 +13182.5591799625 y_307 +10000000 z_30 +10000000 z_31 +10000000 z_32
  71. +11634.0349869553 y_308 +10000000 z_33 +11630.5713480508 y_309 +10000000 z_34 +10000000 z_35 +10000000 z_36
  72. +11415.2336670517 y_310 +10000000 z_37 +10000000 z_38 +11412.2100240846 y_311 +10000000 z_39 +11411.3156466953 y_312
  73. +11412.7360260869 y_313 +10000000 z_40 +11409.7123831198 y_314 +10000000 z_41 +10000000 z_42 +10000000 z_43
  74. +10000000 z_44 +10000000 z_45 +10000000 z_46 +10000000 z_47 +10000000 z_48 +10000000 z_49 +11261.2619898324 y_315
  75. +12248.9034185446 y_316 +10000000 z_50 +10000000 z_51 +10000000 z_52 +9819.56893365489 y_317 +9816.55522382542 y_318
  76. +10000000 z_53 +10000000 z_54 +10000000 z_55 +10000000 z_56 +10000000 z_57 +12172.3487595142 y_319
  77. +10000000 z_58 +10000000 z_59 +10000000 z_60 +12169.3251165474 y_320 +10000000 z_61 +10000000 z_62
  78. +10000000 z_63 +9373.23008043365 y_321 +9378.24326006271 y_322 +10000000 z_64 +9370.2203978527 y_323
  79. +10000000 z_65 +9375.31523092264 y_324 +10000000 z_66 +10000000 z_67 +12715.6230098312 y_325 +10000000 z_68
  80. +10000000 z_69 +10000000 z_70 +9667.07286392136 y_326 +10000000 z_71 +10000000 z_72 +12140.5614923142 y_327
  81. +10000000 z_73 +10000000 z_74 +10000000 z_75 +10000000 z_76 +10000000 z_77 +9624.17969741871 y_328
  82. +10000000 z_78 +10000000 z_79 +10000000 z_80 +12839.3916281806 y_329 +10000000 z_81 +10000000 z_82
  83. +10000000 z_83 +10000000 z_84 +11015.1116248986 y_330 +10000000 z_85 +11992.3017996605 y_331 +10000000 z_86
  84. +10000000 z_87 +10000000 z_88 +10000000 z_89 +10000000 z_90 +10000000 z_91 +10003.8348141589 y_332
  85. +10000000 z_92 +10000000 z_93 +10000000 z_94 +10000000 z_95 +12160.4231462863 y_333 +10000000 z_96
  86. +10000000 z_97 +9367.4554678628 y_334 +10000000 z_98 +10000000 z_99 +10000000 z_100 +9859.97913705166 y_335
  87. +10000000 z_101 +10000000 z_102 +10000000 z_103 +10000000 z_104 +9857.33011645354 y_336 +10000000 z_105
  88. +9981.81805516907 y_337 +10000000 z_106 +16241.6858988179 y_338 +10000000 z_107 +10000000 z_108
  89. +10000000 z_109 +15612.5634741285 y_339 +10000000 z_110 +10000000 z_111 +13540.7192241687 y_340
  90. +10000000 z_112 +10000000 z_113 +10000000 z_114 +13543.4307785414 y_341 +10000000 z_115 +11531.8795699385 y_342
  91. +10000000 z_116 +10000000 z_117 +13441.0567223768 y_343 +10000000 z_118 +10000000 z_119 +10000000 z_120
  92. +9022.55341800385 y_344 +10000000 z_121 +9019.31679120195 y_345 +10000000 z_122 +10000000 z_123
  93. +10000000 z_124 +10000000 z_125 +10000000 z_126 +10000000 z_127 +10283.391367843 y_346 +10000000 z_128
  94. +10962.4724408239 y_347 +10000000 z_129 +10000000 z_130 +10000000 z_131 +10785.4560546095 y_348
  95. +10951.1864464304 y_349 +10000000 z_132 +10000000 z_133 +10000000 z_134 +10716.0163971207 y_350
  96. +10884.2945411769 y_351 +11725.8578515809 y_352 +10000000 z_135 +11841.0946398783 y_353 +10000000 z_136
  97. +10000000 z_137 +14265.5508697368 y_354 +10000000 z_138 +10000000 z_139 +10000000 z_140 +7785.44783201539 y_355
  98. +10000000 z_141 +10000000 z_142 +10000000 z_143 +10000000 z_144 +7787.89131495864 y_356 +10000000 z_145
  99. +10000000 z_146 +7784.2504212278 y_357 +10000000 z_147 +10000000 z_148 +10000000 z_149 +10000000 z_150
  100. +8693.86265502133 y_358 +10000000 z_151 +10000000 z_152 +7958.74264827772 y_359 +10000000 z_153
  101. +10000000 z_154 +10000000 z_155 +8744.84532418663 y_360 +9478.7433134655 y_361 +7606.64765749216 y_362
  102. +10000000 z_156 +7603.42639588544 y_363 +10000000 z_157 +10000000 z_158 +10000000 z_159 +9013.23043033177 y_364
  103. +10000000 z_160 +10000000 z_161 +10085.8060545767 y_365 +10000000 z_162 +9184.56499821646 y_366
  104. +10000000 z_163 +9198.4117764939 y_367 +10000000 z_164 +9184.56499821646 y_368 +10000000 z_165 +10000000 z_166
  105. +9737.83788987384 y_369 +10000000 z_167 +10000000 z_168 +10000000 z_169 +10000000 z_170 +6687.29145075096 y_370
  106. +10000000 z_171 +6750.42122378886 y_371 +10000000 z_172 +10000000 z_173 +6707.86443773307 y_372
  107. +10000000 z_174 +6917.41869468485 y_373 +10000000 z_175 +6852.84146074413 y_374 +10000000 z_176
  108. +10000000 z_177 +7538.19644427722 y_375 +10000000 z_178 +8653.74661948302 y_376 +10000000 z_179
  109. +10000000 z_180 +8083.58939612778 y_377 +10000000 z_181 +10000000 z_182 +10000000 z_183 +7794.647611115 y_378
  110. +10000000 z_184 +10000000 z_185 +10000000 z_186 +10000000 z_187 +7239.36879364458 y_379 +10000000 z_188
  111. +10000000 z_189 +10000000 z_190 +10000000 z_191 +10000000 z_192 +8993.64701967452 y_380 +10000000 z_193
  112. +10000000 z_194 +10000000 z_195 +7761.16255722062 y_381 +10000000 z_196 +10000000 z_197 +10000000 z_198
  113. +10000000 z_199 +7303.27657966026 y_382 +10000000 z_200 +10000000 z_201 +7087.45950956723 y_383
  114. +10000000 z_202 +10000000 z_203 +10000000 z_204 +6471.06034442617 y_384 +10000000 z_205 +7347.02172243774 y_385
  115. +10000000 z_206 +10352.6901880358 y_386 +10000000 z_207 +10000000 z_208 +9042.47316138433 y_387
  116. +10000000 z_209 +10000000 z_210 +8417.64520414059 y_388 +10000000 z_211 +10000000 z_212 +7587.4452644033 y_389
  117. +10000000 z_213 +10000000 z_214 +7504.28806905 y_390 +10000000 z_215 +10000000 z_216 +8599.23392331 y_391
  118. +1646.56501549792 y_392 +10000000 z_217 +10000000 z_218 +7375.25059383671 y_393 +10000000 z_219
  119. +10000000 z_220 +7551.95378828635 y_394 +10000000 z_221 +7570.6927659633 y_395 +10000000 z_222 +8784.58149208937 y_396
  120. +10000000 z_223 +8612.13144409527 y_397 +10000000 z_224 +10000000 z_225 +11970.2383432695 y_398
  121. +10000000 z_226 +8514.87818540108 y_399 +10000000 z_227 +10000000 z_228 +2218.98173727085 y_400
  122. +10000000 z_229 +5367.24201081711 y_401 +10000000 z_230 +6209.0062671268 y_402 +10000000 z_231 +5986.81571165894 y_403
  123. +10000000 z_232 +6016.71831123567 y_404 +10000000 z_233 +10000000 z_234 +10000000 z_235 +6366.66085027827 y_405
  124. +6367.1287690863 y_406 +10000000 z_236 +6042.24077541549 y_407 +10000000 z_237 +10000000 z_238 +10000000 z_239
  125. +10000000 z_240 +7268.73596460888 y_408 +10000000 z_241 +10000000 z_242 +9059.31681510532 y_409
  126. +10000000 z_243 +10000000 z_244 +5763.75755058178 y_410 +10000000 z_245 +10000000 z_246 +10000000 z_247
  127. +6265.79546061875 y_411 +10000000 z_248 +6042.72386533597 y_412 +10000000 z_249 +10000000 z_250
  128. +6510.79135944296 y_413 +10000000 z_251 +10000000 z_252 +6445.15733971982 y_414 +10000000 z_253
  129. +10000000 z_254 +5882.57614758757 y_415 +10000000 z_255 +10000000 z_256 +14008.5701133735 y_416
  130. +10000000 z_257 +10000000 z_258 +10000000 z_259 +6804.8433767346 y_417 +10000000 z_260 +5316.75980114012 y_418
  131. +10000000 z_261 +10000000 z_262 +6016.71831123567 y_419 +10000000 z_263 +10000000 z_264 +10000000 z_265
  132. +6366.66085027827 y_420 +6367.1287690863 y_421 +5367.24201081711 y_422 +10000000 z_266 +10000000 z_267
  133. +10000000 z_268 +10000000 z_269 +6043.46925231728 y_423 +10000000 z_270 +6888.65799326478 y_424
  134. +10000000 z_271 +6536.29549924094 y_425 +10000000 z_272 +10000000 z_273 +10000000 z_274 +6008.15756695783 y_426
  135. +10000000 z_275 +7108.5472474462 y_427 +10000000 z_276 +10000000 z_277 +10000000 z_278 +5603.28762513444 y_428
  136. +10000000 z_279 +10000000 z_280 +10000000 z_281 +7199.56110629108 y_429 +10000000 z_282 +6707.75265792523 y_430
  137. +10000000 z_283 +10000000 z_284 +10000000 z_285 +6876.76114259935 y_431 +10000000 z_286 +10000000 z_287
  138. +10000000 z_288 +5692.56891664097 y_432 +10000000 z_289 +10000000 z_290 +6498.89603803513 y_433
  139. +10000000 z_291 +10000000 z_292 +10000000 z_293 +6188.55617033996 y_434 +10000000 z_294 +10000000 z_295
  140. +10000000 z_296 +7513.54108550889 y_435 +10000000 z_297 +11253.985152525 y_436 +10000000 z_298 +10000000 z_299
  141. +6099.28780462116 y_437 +1107.16434710954 y_0 +1040.26777255995 y_1 +1036.64865575689 y_2 +7207.24513501515 y_438
  142. +1502.82945013401 y_3 +7237.8000051759 y_439 +1149.64256399877 y_4 +1551.20624431688 y_5 +6700.02696065082 y_440
  143. +1022.43403201537 y_6 +1024.59263866386 y_7 +6948.6631403645 y_441 +1459.05746300745 y_8 +1032.26327004565 y_9
  144. +4805.75327401879 y_442 +1173.89587824149 y_10 +1153.1051812442 y_11 +1039.96515737378 y_12 +9106.87838186849 y_443
  145. +951.531784675746 y_13 +1122.34123988256 y_14 +1030.59981172908 y_15 +11638.075486315 y_444 +11894.6634501705 y_445
  146. +1184.758707037 y_16 +1377.02646950923 y_17 +6043.52444269631 y_446 +963.960897970363 y_18 +1568.92425465182 y_19
  147. +4885.01343949842 y_447 +4777.69712533381 y_448 +1459.05746300745 y_20 +1076.98303562967 y_21 +1088.88350063661 y_22
  148. +1472.4559677439 y_23 +4995.11935590258 y_449 +1519.83516525148 y_24 +1090.10396911578 y_25 +6903.67896935334 y_450
  149. +1297.49386219268 y_26 +1465.63119374352 y_27 +5405.57873579133 y_451 +1093.53201235684 y_28 +1040.26777255995 y_29
  150. +5034.88328022754 y_452 +1193.64101019113 y_30 +5398.3974470035 y_453 +1472.58055098648 y_31 +1294.61767866761 y_32
  151. +5437.38920333989 y_454 +1502.82945013401 y_33 +1193.59445913819 y_34 +1051.86130173015 y_35 +5266.04524147226 y_455
  152. +1194.66349435723 y_36 +1099.41786700433 y_37 +1018.66513320132 y_38 +5113.29443892007 y_456 +1051.86309020298 y_39
  153. +5320.57512599298 y_457 +1137.45742845937 y_40 +5291.40993229236 y_458 +1288.00484952891 y_41 +5531.11830109668 y_459
  154. +1187.24131311868 y_42 +1501.25103098562 y_43 +6027.7338684392 y_460 +1104.01882985987 y_44 +5677.23464717577 y_461
  155. +1526.49373519815 y_45 +1051.86309020298 y_46 +7423.07855662579 y_462
  156. Subject to
  157. 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
  158. covering_1: +1 z_1 +1 y_1 >= +1
  159. covering_2: +1 z_2 +1 y_2 >= +1
  160. covering_3: +1 z_3 +1 y_3 >= +1
  161. covering_4: +1 z_4 +1 y_4 >= +1
  162. covering_5: +1 z_5 +1 y_5 >= +1
  163. covering_6: +1 z_6 +1 y_6 >= +1
  164. covering_7: +1 z_7 +1 y_7 >= +1
  165. covering_8: +1 z_8 +1 y_8 >= +1
  166. covering_9: +1 z_9 +1 y_9 >= +1
  167. covering_10: +1 z_10 +1 y_10 >= +1
  168. covering_11: +1 z_11 +1 y_11 >= +1
  169. covering_12: +1 z_12 +1 y_12 >= +1
  170. covering_13: +1 z_13 +1 y_13 +1 y_433 +1 y_448 >= +1
  171. covering_14: +1 z_14 +1 y_14 >= +1
  172. covering_15: +1 z_15 +1 y_15 >= +1
  173. covering_16: +1 z_16 +1 y_16 >= +1
  174. covering_17: +1 z_17 +1 y_17 >= +1
  175. 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
  176. +1 y_451 >= +1
  177. covering_19: +1 z_19 +1 y_19 >= +1
  178. covering_20: +1 z_20 +1 y_20 >= +1
  179. 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
  180. +1 y_380 +1 y_441 >= +1
  181. 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
  182. +1 y_333 +1 y_376 +1 y_394 +1 y_430 +1 y_431 >= +1
  183. covering_23: +1 z_23 +1 y_23 >= +1
  184. covering_24: +1 z_24 +1 y_24 >= +1
  185. covering_25: +1 z_25 +1 y_25 >= +1
  186. covering_26: +1 z_26 +1 y_26 +1 y_427 >= +1
  187. covering_27: +1 z_27 +1 y_27 >= +1
  188. covering_28: +1 z_28 +1 y_28 >= +1
  189. covering_29: +1 z_29 +1 y_29 >= +1
  190. covering_30: +1 z_30 +1 y_30 +1 y_393 +1 y_394 +1 y_419 +1 y_437 +1 y_441 >= +1
  191. covering_31: +1 z_31 +1 y_31 >= +1
  192. covering_32: +1 z_32 +1 y_32 >= +1
  193. covering_33: +1 z_33 +1 y_33 >= +1
  194. covering_34: +1 z_34 +1 y_34 +1 y_452 >= +1
  195. covering_35: +1 z_35 +1 y_35 +1 y_315 +1 y_328 +1 y_333 +1 y_393 +1 y_427 >= +1
  196. 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
  197. 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
  198. +1 y_421 +1 y_422 >= +1
  199. covering_38: +1 z_38 +1 y_38 >= +1
  200. 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
  201. +1 y_329 +1 y_330 +1 y_343 >= +1
  202. 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
  203. +1 y_372 +1 y_394 >= +1
  204. covering_41: +1 z_41 +1 y_41 +1 y_452 >= +1
  205. covering_42: +1 z_42 +1 y_42 +1 y_422 +1 y_423 +1 y_428 >= +1
  206. covering_43: +1 z_43 +1 y_43 +1 y_417 +1 y_419 +1 y_420 +1 y_421 +1 y_427 >= +1
  207. covering_44: +1 z_44 +1 y_44 +1 y_328 +1 y_355 +1 y_356 +1 y_357 +1 y_358 >= +1
  208. 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
  209. 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
  210. +1 y_325 +1 y_344 +1 y_345 +1 y_362 +1 y_363 >= +1
  211. covering_47: +1 z_47 +1 y_47 +1 y_422 +1 y_423 +1 y_424 +1 y_437 >= +1
  212. 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
  213. >= +1
  214. covering_49: +1 z_49 +1 y_49 +1 y_451 +1 y_452 >= +1
  215. covering_50: +1 z_50 +1 y_50 +1 y_371 +1 y_372 +1 y_380 +1 y_387 +1 y_399 >= +1
  216. covering_51: +1 z_51 +1 y_51 +1 y_417 +1 y_419 +1 y_420 +1 y_421 >= +1
  217. 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
  218. 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
  219. +1 y_358 +1 y_363 >= +1
  220. covering_54: +1 z_54 +1 y_54 +1 y_391 +1 y_413 +1 y_422 +1 y_423 +1 y_424 >= +1
  221. 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
  222. covering_56: +1 z_56 +1 y_56 +1 y_361 +1 y_369 +1 y_372 +1 y_380 +1 y_387 >= +1
  223. 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
  224. >= +1
  225. covering_58: +1 z_58 +1 y_58 +1 y_427 +1 y_430 +1 y_431 +1 y_434 >= +1
  226. 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
  227. >= +1
  228. covering_60: +1 z_60 +1 y_60 +1 y_359 +1 y_362 +1 y_363 +1 y_399 >= +1
  229. covering_61: +1 z_61 +1 y_61 >= +1
  230. 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
  231. >= +1
  232. covering_63: +1 z_63 +1 y_63 +1 y_447 +1 y_448 >= +1
  233. covering_64: +1 z_64 +1 y_64 >= +1
  234. covering_65: +1 z_65 +1 y_65 +1 y_421 +1 y_433 >= +1
  235. covering_66: +1 z_66 +1 y_66 >= +1
  236. covering_67: +1 z_67 +1 y_67 +1 y_413 +1 y_417 +1 y_420 +1 y_435 +1 y_437 >= +1
  237. covering_68: +1 z_68 +1 y_68 +1 y_419 +1 y_422 +1 y_427 +1 y_431 >= +1
  238. covering_69: +1 z_69 +1 y_69 >= +1
  239. covering_70: +1 z_70 +1 y_70 >= +1
  240. 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
  241. +1 y_329 +1 y_391 +1 y_423 >= +1
  242. 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
  243. >= +1
  244. covering_73: +1 z_73 +1 y_73 >= +1
  245. covering_74: +1 z_74 +1 y_74 >= +1
  246. covering_75: +1 z_75 +1 y_75 +1 y_425 +1 y_430 +1 y_434 +1 y_451 >= +1
  247. 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
  248. >= +1
  249. covering_77: +1 z_77 +1 y_77 +1 y_448 >= +1
  250. covering_78: +1 z_78 +1 y_78 >= +1
  251. 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
  252. +1 y_363 +1 y_387 +1 y_392 +1 y_424 >= +1
  253. covering_80: +1 z_80 +1 y_80 +1 y_428 +1 y_447 +1 y_452 >= +1
  254. covering_81: +1 z_81 +1 y_81 +1 y_380 +1 y_393 +1 y_394 +1 y_399 >= +1
  255. 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
  256. +1 y_417 >= +1
  257. 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
  258. +1 y_325 +1 y_343 +1 y_400 +1 y_433 +1 y_435 +1 y_437 >= +1
  259. covering_84: +1 z_84 +1 y_84 +1 y_356 +1 y_357 +1 y_359 >= +1
  260. covering_85: +1 z_85 +1 y_85 +1 y_420 +1 y_421 +1 y_423 +1 y_425 +1 y_430 >= +1
  261. covering_86: +1 z_86 +1 y_86 +1 y_431 +1 y_448 +1 y_451 >= +1
  262. 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
  263. >= +1
  264. covering_88: +1 z_88 +1 y_88 >= +1
  265. covering_89: +1 z_89 +1 y_89 +1 y_447 >= +1
  266. 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
  267. +1 y_363 +1 y_366 >= +1
  268. covering_91: +1 z_91 +1 y_91 >= +1
  269. covering_92: +1 z_92 +1 y_92 +1 y_393 +1 y_399 >= +1
  270. covering_93: +1 z_93 +1 y_93 +1 y_413 +1 y_417 +1 y_425 >= +1
  271. 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
  272. 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
  273. +1 y_325 +1 y_328 +1 y_329 +1 y_343 +1 y_423 >= +1
  274. 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
  275. +1 y_429 >= +1
  276. covering_97: +1 z_97 +1 y_97 +1 y_355 +1 y_360 +1 y_366 +1 y_387 >= +1
  277. covering_98: +1 z_98 +1 y_98 >= +1
  278. covering_99: +1 z_99 +1 y_99 +1 y_374 +1 y_375 +1 y_387 >= +1
  279. 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
  280. +1 y_325 +1 y_328 >= +1
  281. 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
  282. >= +1
  283. covering_102: +1 z_102 +1 y_102 +1 y_380 +1 y_391 +1 y_399 >= +1
  284. covering_103: +1 z_103 +1 y_103 +1 y_339 +1 y_424 +1 y_425 +1 y_440 >= +1
  285. covering_104: +1 z_104 +1 y_104 >= +1
  286. 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
  287. covering_106: +1 z_106 +1 y_106 +1 y_429 +1 y_435 >= +1
  288. covering_107: +1 z_107 +1 y_107 +1 y_375 +1 y_424 +1 y_440 >= +1
  289. 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
  290. >= +1
  291. covering_109: +1 z_109 +1 y_109 +1 y_366 +1 y_429 >= +1
  292. covering_110: +1 z_110 +1 y_110 >= +1
  293. covering_111: +1 z_111 +1 y_111 +1 y_338 +1 y_386 +1 y_429 +1 y_436 +1 y_440 >= +1
  294. 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
  295. +1 y_416 >= +1
  296. covering_113: +1 z_113 +1 y_113 >= +1
  297. covering_114: +1 z_114 +1 y_114 +1 y_366 +1 y_386 +1 y_398 +1 y_440 >= +1
  298. covering_115: +1 z_115 +1 y_115 +1 y_329 +1 y_338 +1 y_339 +1 y_354 +1 y_369 >= +1
  299. covering_116: +1 z_116 +1 y_116 >= +1
  300. covering_117: +1 z_117 +1 y_117 >= +1
  301. covering_118: +1 z_118 +1 y_118 >= +1
  302. covering_119: +1 z_119 +1 y_119 >= +1
  303. covering_120: +1 z_120 +1 y_120 >= +1
  304. 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
  305. >= +1
  306. covering_122: +1 z_122 +1 y_122 >= +1
  307. covering_123: +1 z_123 +1 y_123 >= +1
  308. covering_124: +1 z_124 +1 y_124 >= +1
  309. covering_125: +1 z_125 +1 y_125 +1 y_398 +1 y_403 +1 y_416 +1 y_436 +1 y_446 >= +1
  310. covering_126: +1 z_126 +1 y_126 >= +1
  311. covering_127: +1 z_127 +1 y_127 >= +1
  312. covering_128: +1 z_128 +1 y_128 >= +1
  313. covering_129: +1 z_129 +1 y_129 >= +1
  314. covering_130: +1 z_130 +1 y_130 >= +1
  315. covering_131: +1 z_131 +1 y_131 >= +1
  316. covering_132: +1 z_132 +1 y_132 >= +1
  317. covering_133: +1 z_133 +1 y_133 >= +1
  318. covering_134: +1 z_134 +1 y_134 >= +1
  319. covering_135: +1 z_135 +1 y_135 >= +1
  320. covering_136: +1 z_136 +1 y_136 >= +1
  321. covering_137: +1 z_137 +1 y_137 >= +1
  322. covering_138: +1 z_138 +1 y_138 +1 y_426 >= +1
  323. covering_139: +1 z_139 +1 y_139 >= +1
  324. 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
  325. covering_141: +1 z_141 +1 y_141 >= +1
  326. covering_142: +1 z_142 +1 y_142 >= +1
  327. covering_143: +1 z_143 +1 y_143 >= +1
  328. covering_144: +1 z_144 +1 y_144 +1 y_303 +1 y_304 +1 y_339 >= +1
  329. covering_145: +1 z_145 +1 y_145 >= +1
  330. covering_146: +1 z_146 +1 y_146 +1 y_446 +1 y_453 >= +1
  331. covering_147: +1 z_147 +1 y_147 >= +1
  332. covering_148: +1 z_148 +1 y_148 >= +1
  333. covering_149: +1 z_149 +1 y_149 >= +1
  334. covering_150: +1 z_150 +1 y_150 >= +1
  335. covering_151: +1 z_151 +1 y_151 >= +1
  336. covering_152: +1 z_152 +1 y_152 >= +1
  337. covering_153: +1 z_153 +1 y_153 >= +1
  338. covering_154: +1 z_154 +1 y_154 >= +1
  339. covering_155: +1 z_155 +1 y_155 >= +1
  340. covering_156: +1 z_156 +1 y_156 >= +1
  341. covering_157: +1 z_157 +1 y_157 >= +1
  342. covering_158: +1 z_158 +1 y_158 >= +1
  343. covering_159: +1 z_159 +1 y_159 >= +1
  344. covering_160: +1 z_160 +1 y_160 +1 y_453 >= +1
  345. covering_161: +1 z_161 +1 y_161 +1 y_432 +1 y_446 >= +1
  346. covering_162: +1 z_162 +1 y_162 >= +1
  347. covering_163: +1 z_163 +1 y_163 >= +1
  348. covering_164: +1 z_164 +1 y_164 +1 y_438 +1 y_454 +1 y_459 >= +1
  349. covering_165: +1 z_165 +1 y_165 >= +1
  350. covering_166: +1 z_166 +1 y_166 >= +1
  351. covering_167: +1 z_167 +1 y_167 >= +1
  352. covering_168: +1 z_168 +1 y_168 +1 y_432 +1 y_453 >= +1
  353. covering_169: +1 z_169 +1 y_169 +1 y_459 >= +1
  354. covering_170: +1 z_170 +1 y_170 >= +1
  355. 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
  356. +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
  357. >= +1
  358. 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
  359. +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
  360. covering_173: +1 z_173 +1 y_173 >= +1
  361. covering_174: +1 z_174 +1 y_174 >= +1
  362. covering_175: +1 z_175 +1 y_175 >= +1
  363. covering_176: +1 z_176 +1 y_176 >= +1
  364. covering_177: +1 z_177 +1 y_177 >= +1
  365. covering_178: +1 z_178 +1 y_178 >= +1
  366. covering_179: +1 z_179 +1 y_179 >= +1
  367. covering_180: +1 z_180 +1 y_180 +1 y_404 +1 y_415 +1 y_432 >= +1
  368. covering_181: +1 z_181 +1 y_181 >= +1
  369. covering_182: +1 z_182 +1 y_182 >= +1
  370. covering_183: +1 z_183 +1 y_183 >= +1
  371. covering_184: +1 z_184 +1 y_184 +1 y_412 +1 y_438 >= +1
  372. 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
  373. +1 y_338 +1 y_432 >= +1
  374. covering_186: +1 z_186 +1 y_186 +1 y_449 +1 y_450 +1 y_459 >= +1
  375. 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
  376. +1 y_407 +1 y_415 >= +1
  377. covering_188: +1 z_188 +1 y_188 >= +1
  378. 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
  379. +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
  380. covering_190: +1 z_190 +1 y_190 +1 y_302 +1 y_378 +1 y_412 >= +1
  381. covering_191: +1 z_191 +1 y_191 >= +1
  382. covering_192: +1 z_192 +1 y_192 +1 y_395 +1 y_401 +1 y_418 >= +1
  383. 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
  384. covering_194: +1 z_194 +1 y_194 +1 y_334 +1 y_335 +1 y_336 +1 y_346 +1 y_415 >= +1
  385. covering_195: +1 z_195 +1 y_195 +1 y_412 +1 y_414 +1 y_450 >= +1
  386. 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
  387. +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
  388. covering_197: +1 z_197 +1 y_197 +1 y_401 +1 y_410 +1 y_418 >= +1
  389. 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
  390. covering_199: +1 z_199 +1 y_199 +1 y_426 +1 y_439 +1 y_459 >= +1
  391. 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
  392. 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
  393. 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
  394. 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
  395. +1 y_334 +1 y_336 >= +1
  396. covering_204: +1 z_204 +1 y_204 +1 y_401 +1 y_410 +1 y_414 +1 y_438 +1 y_450 >= +1
  397. 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
  398. +1 y_349 +1 y_352 +1 y_353 >= +1
  399. 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
  400. 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
  401. +1 y_411 >= +1
  402. covering_208: +1 z_208 +1 y_208 +1 y_302 +1 y_412 >= +1
  403. 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
  404. +1 y_348 +1 y_349 +1 y_352 +1 y_353 +1 y_354 +1 y_386 +1 y_388 >= +1
  405. 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
  406. >= +1
  407. covering_211: +1 z_211 +1 y_211 >= +1
  408. 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
  409. +1 y_350 +1 y_351 +1 y_365 +1 y_426 >= +1
  410. 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
  411. covering_214: +1 z_214 +1 y_214 >= +1
  412. covering_215: +1 z_215 +1 y_215 +1 y_406 +1 y_418 +1 y_460 +1 y_462 >= +1
  413. covering_216: +1 z_216 +1 y_216 >= +1
  414. covering_217: +1 z_217 +1 y_217 +1 y_405 +1 y_409 +1 y_410 >= +1
  415. covering_218: +1 z_218 +1 y_218 +1 y_401 +1 y_403 +1 y_404 +1 y_408 >= +1
  416. covering_219: +1 z_219 +1 y_219 >= +1
  417. covering_220: +1 z_220 +1 y_220 +1 y_402 +1 y_411 +1 y_414 +1 y_461 >= +1
  418. 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
  419. +1 y_317 +1 y_318 +1 y_326 +1 y_327 +1 y_332 >= +1
  420. 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
  421. covering_223: +1 z_223 +1 y_223 >= +1
  422. covering_224: +1 z_224 +1 y_224 >= +1
  423. covering_225: +1 z_225 +1 y_225 +1 y_436 +1 y_438 +1 y_439 +1 y_450 +1 y_453 >= +1
  424. 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
  425. +1 y_365 +1 y_367 +1 y_382 +1 y_383 +1 y_385 >= +1
  426. covering_227: +1 z_227 +1 y_227 +1 y_449 +1 y_454 +1 y_456 +1 y_457 +1 y_458 >= +1
  427. covering_228: +1 z_228 +1 y_228 >= +1
  428. 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
  429. +1 y_348 +1 y_349 +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_354 >= +1
  430. covering_230: +1 z_230 +1 y_230 +1 y_407 +1 y_426 >= +1
  431. 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
  432. covering_232: +1 z_232 +1 y_232 +1 y_378 +1 y_379 +1 y_410 +1 y_414 +1 y_418 >= +1
  433. 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
  434. +1 y_318 +1 y_326 +1 y_327 +1 y_332 +1 y_338 >= +1
  435. 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
  436. +1 y_390 >= +1
  437. covering_235: +1 z_235 +1 y_235 +1 y_402 +1 y_405 +1 y_406 +1 y_409 +1 y_411 >= +1
  438. covering_236: +1 z_236 +1 y_236 +1 y_449 +1 y_456 +1 y_460 +1 y_461 +1 y_462 >= +1
  439. 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
  440. +1 y_334 +1 y_337 +1 y_386 +1 y_389 +1 y_416 +1 y_436 >= +1
  441. covering_238: +1 z_238 +1 y_238 >= +1
  442. covering_239: +1 z_239 +1 y_239 >= +1
  443. 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
  444. +1 y_351 +1 y_368 +1 y_444 +1 y_445 >= +1
  445. covering_241: +1 z_241 +1 y_241 +1 y_454 +1 y_457 >= +1
  446. covering_242: +1 z_242 +1 y_242 +1 y_408 +1 y_410 +1 y_414 +1 y_439 >= +1
  447. covering_243: +1 z_243 +1 y_243 +1 y_389 +1 y_402 +1 y_411 >= +1
  448. 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
  449. +1 y_353 >= +1
  450. 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
  451. +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
  452. 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
  453. +1 y_396 +1 y_397 >= +1
  454. 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
  455. >= +1
  456. covering_248: +1 z_248 +1 y_248 >= +1
  457. 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
  458. 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
  459. +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
  460. 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
  461. +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
  462. covering_252: +1 z_252 +1 y_252 +1 y_378 +1 y_395 +1 y_396 +1 y_397 +1 y_409 >= +1
  463. covering_253: +1 z_253 +1 y_253 +1 y_408 +1 y_457 +1 y_458 +1 y_460 +1 y_461 >= +1
  464. covering_254: +1 z_254 +1 y_254 >= +1
  465. covering_255: +1 z_255 +1 y_255 +1 y_364 +1 y_365 +1 y_368 >= +1
  466. covering_256: +1 z_256 +1 y_256 +1 y_456 +1 y_462 >= +1
  467. 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
  468. 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
  469. +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
  470. +1 y_444 +1 y_462 >= +1
  471. covering_259: +1 z_259 +1 y_259 +1 y_368 >= +1
  472. covering_260: +1 z_260 +1 y_260 >= +1
  473. covering_261: +1 z_261 +1 y_261 +1 y_443 >= +1
  474. 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
  475. +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
  476. +1 y_444 >= +1
  477. covering_263: +1 z_263 +1 y_263 >= +1
  478. covering_264: +1 z_264 +1 y_264 +1 y_368 >= +1
  479. 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
  480. +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
  481. covering_266: +1 z_266 +1 y_266 >= +1
  482. covering_267: +1 z_267 +1 y_267 >= +1
  483. covering_268: +1 z_268 +1 y_268 >= +1
  484. covering_269: +1 z_269 +1 y_269 >= +1
  485. covering_270: +1 z_270 +1 y_270 >= +1
  486. covering_271: +1 z_271 +1 y_271 +1 y_442 +1 y_443 +1 y_444 +1 y_445 +1 y_455 >= +1
  487. covering_272: +1 z_272 +1 y_272 >= +1
  488. covering_273: +1 z_273 +1 y_273 >= +1
  489. covering_274: +1 z_274 +1 y_274 >= +1
  490. covering_275: +1 z_275 +1 y_275 +1 y_442 +1 y_443 >= +1
  491. covering_276: +1 z_276 +1 y_276 >= +1
  492. covering_277: +1 z_277 +1 y_277 >= +1
  493. covering_278: +1 z_278 +1 y_278 >= +1
  494. covering_279: +1 z_279 +1 y_279 >= +1
  495. covering_280: +1 z_280 +1 y_280 +1 y_455 >= +1
  496. covering_281: +1 z_281 +1 y_281 >= +1
  497. covering_282: +1 z_282 +1 y_282 >= +1
  498. covering_283: +1 z_283 +1 y_283 >= +1
  499. covering_284: +1 z_284 +1 y_284 >= +1
  500. covering_285: +1 z_285 +1 y_285 >= +1
  501. covering_286: +1 z_286 +1 y_286 >= +1
  502. covering_287: +1 z_287 +1 y_287 >= +1
  503. covering_288: +1 z_288 +1 y_288 +1 y_442 +1 y_455 >= +1
  504. covering_289: +1 z_289 +1 y_289 >= +1
  505. covering_290: +1 z_290 +1 y_290 >= +1
  506. covering_291: +1 z_291 +1 y_291 >= +1
  507. covering_292: +1 z_292 +1 y_292 >= +1
  508. covering_293: +1 z_293 +1 y_293 >= +1
  509. covering_294: +1 z_294 +1 y_294 >= +1
  510. covering_295: +1 z_295 +1 y_295 +1 y_442 >= +1
  511. covering_296: +1 z_296 +1 y_296 >= +1
  512. covering_297: +1 z_297 +1 y_297 +1 y_455 >= +1
  513. covering_298: +1 z_298 +1 y_298 >= +1
  514. covering_299: +1 z_299 +1 y_299 >= +1
  515. 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
  516. +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
  517. +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
  518. +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
  519. +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
  520. +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
  521. +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
  522. +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
  523. +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
  524. +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
  525. +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
  526. +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
  527. +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
  528. +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
  529. +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
  530. +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
  531. +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
  532. +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
  533. +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
  534. +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
  535. +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
  536. +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
  537. +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
  538. +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
  539. +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
  540. +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
  541. +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
  542. +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
  543. +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
  544. +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
  545. +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
  546. +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
  547. +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
  548. +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
  549. +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
  550. +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
  551. +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
  552. +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
  553. linking_757_166: +1 y_83 +1 y_300 -1 x_757_166 +1 y_400 = +0
  554. linking_191_795: +1 y_95 +1 y_300 -1 x_191_795 +1 y_423 = +0
  555. 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
  556. +1 y_329 +1 y_330 = +0
  557. 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
  558. linking_976_380: +1 y_190 +1 y_302 -1 x_976_380 +1 y_378 = +0
  559. 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
  560. +1 y_347 +1 y_349 +1 y_351 +1 y_354 +1 y_364 +1 y_462 = +0
  561. 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
  562. linking_289_897: +1 y_144 +1 y_303 -1 x_289_897 +1 y_304 +1 y_339 = +0
  563. 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
  564. +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
  565. 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
  566. +1 y_327 = +0
  567. 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
  568. +1 y_318 = +0
  569. 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
  570. +1 y_310 +1 y_311 +1 y_312 +1 y_313 +1 y_314 = +0
  571. 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
  572. linking_281_288: +1 y_303 +1 y_304 -1 x_281_288 = +0
  573. 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
  574. +1 y_314 +1 y_316 +1 y_317 +1 y_318 = +0
  575. 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
  576. = +0
  577. 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
  578. 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
  579. 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
  580. +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
  581. = +0
  582. 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
  583. +1 y_352 +1 y_353 +1 y_450 = +0
  584. 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
  585. linking_1033_442: +1 y_221 +1 y_305 -1 x_1033_442 +1 y_307 +1 y_316 +1 y_327 = +0
  586. 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
  587. +1 y_312 +1 y_313 +1 y_314 = +0
  588. 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
  589. +1 y_365 +1 y_367 = +0
  590. 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
  591. +1 y_444 = +0
  592. 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
  593. linking_987_392: +1 y_196 +1 y_307 -1 x_987_392 +1 y_308 +1 y_309 = +0
  594. linking_407_1011: +1 y_203 +1 y_307 -1 x_407_1011 = +0
  595. 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
  596. 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
  597. +1 y_350 +1 y_351 +1 y_352 +1 y_353 +1 y_364 +1 y_365 +1 y_409 = +0
  598. linking_393_410: +1 y_303 +1 y_308 -1 x_393_410 +1 y_310 +1 y_313 +1 y_317 = +0
  599. 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
  600. = +0
  601. 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
  602. linking_407_424: +1 y_306 +1 y_309 -1 x_407_424 +1 y_334 = +0
  603. 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
  604. +1 y_396 +1 y_397 +1 y_439 = +0
  605. linking_411_442: +1 y_303 +1 y_310 -1 x_411_442 +1 y_317 = +0
  606. linking_443_474: +1 y_307 +1 y_310 -1 x_443_474 +1 y_311 = +0
  607. 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
  608. +1 y_332 = +0
  609. linking_407_442: +1 y_304 +1 y_311 -1 x_407_442 +1 y_318 = +0
  610. 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
  611. = +0
  612. linking_419_466: +1 y_313 +1 y_314 -1 x_419_466 = +0
  613. 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
  614. +1 y_451 = +0
  615. 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
  616. 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
  617. 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
  618. +1 y_430 +1 y_431 = +0
  619. linking_667_70: +1 y_35 +1 y_315 -1 x_667_70 +1 y_328 = +0
  620. linking_93_698: +1 y_46 +1 y_315 -1 x_93_698 +1 y_325 = +0
  621. linking_733_142: +1 y_71 +1 y_315 -1 x_733_142 +1 y_325 = +0
  622. linking_201_216: +1 y_301 +1 y_315 -1 x_201_216 = +0
  623. 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
  624. linking_281_883: +1 y_140 +1 y_317 -1 x_281_883 +1 y_318 +1 y_327 +1 y_415 = +0
  625. linking_491_1095: +1 y_245 +1 y_317 -1 x_491_1095 +1 y_318 = +0
  626. linking_1098_500: +1 y_250 +1 y_317 -1 x_1098_500 +1 y_318 = +0
  627. 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
  628. +1 y_441 = +0
  629. 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
  630. 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
  631. = +0
  632. 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
  633. +1 y_343 = +0
  634. 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
  635. +1 y_328 = +0
  636. linking_43_44: +1 y_319 +1 y_320 -1 x_43_44 +1 y_325 +1 y_333 = +0
  637. 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
  638. linking_201_224: +1 y_319 +1 y_320 -1 x_201_224 +1 y_325 = +0
  639. linking_93_110: +1 y_319 +1 y_321 -1 x_93_110 +1 y_322 +1 y_344 +1 y_362 = +0
  640. linking_111_142: +1 y_319 +1 y_321 -1 x_111_142 +1 y_322 = +0
  641. 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
  642. linking_107_142: +1 y_320 +1 y_323 -1 x_107_142 +1 y_324 = +0
  643. linking_37_44: +1 y_322 +1 y_324 -1 x_37_44 = +0
  644. 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
  645. 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
  646. linking_967_370: +1 y_185 +1 y_326 -1 x_967_370 +1 y_327 = +0
  647. linking_371_978: +1 y_185 +1 y_326 -1 x_371_978 +1 y_331 +1 y_332 +1 y_338 = +0
  648. 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
  649. linking_467_488: +1 y_326 +1 y_327 -1 x_467_488 +1 y_332 +1 y_338 = +0
  650. linking_489_500: +1 y_326 +1 y_327 -1 x_489_500 +1 y_331 = +0
  651. 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
  652. linking_107_124: +1 y_301 +1 y_328 -1 x_107_124 +1 y_355 +1 y_357 +1 y_358 = +0
  653. linking_125_152: +1 y_301 +1 y_328 -1 x_125_152 +1 y_330 +1 y_356 +1 y_357 = +0
  654. linking_153_174: +1 y_301 +1 y_328 -1 x_153_174 +1 y_330 +1 y_375 +1 y_377 = +0
  655. linking_175_190: +1 y_301 +1 y_328 -1 x_175_190 +1 y_329 = +0
  656. linking_79_685: +1 y_39 +1 y_329 -1 x_79_685 +1 y_330 = +0
  657. linking_709_114: +1 y_57 +1 y_329 -1 x_709_114 +1 y_375 = +0
  658. linking_231_830: +1 y_115 +1 y_329 -1 x_231_830 +1 y_369 = +0
  659. linking_701_110: +1 y_55 +1 y_330 -1 x_701_110 = +0
  660. linking_189_790: +1 y_94 +1 y_330 -1 x_189_790 +1 y_356 +1 y_357 +1 y_376 = +0
  661. linking_801_202: +1 y_101 +1 y_330 -1 x_801_202 +1 y_333 +1 y_344 +1 y_345 = +0
  662. linking_217_224: +1 y_301 +1 y_330 -1 x_217_224 +1 y_333 = +0
  663. linking_501_524: +1 y_327 +1 y_331 -1 x_501_524 = +0
  664. 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
  665. linking_1009_414: +1 y_207 +1 y_332 -1 x_1009_414 +1 y_411 = +0
  666. linking_415_442: +1 y_326 +1 y_332 -1 x_415_442 = +0
  667. linking_443_1051: +1 y_221 +1 y_332 -1 x_443_1051 = +0
  668. linking_1057_466: +1 y_233 +1 y_332 -1 x_1057_466 +1 y_338 = +0
  669. 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
  670. linking_71_678: +1 y_35 +1 y_333 -1 x_71_678 +1 y_393 = +0
  671. linking_714_118: +1 y_59 +1 y_333 -1 x_714_118 +1 y_392 = +0
  672. 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
  673. = +0
  674. linking_203_216: +1 y_330 +1 y_333 -1 x_203_216 = +0
  675. 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
  676. +1 y_396 +1 y_397 +1 y_439 = +0
  677. linking_475_488: +1 y_331 +1 y_334 -1 x_475_488 +1 y_337 = +0
  678. linking_371_388: +1 y_334 +1 y_335 -1 x_371_388 +1 y_336 = +0
  679. 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
  680. 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
  681. linking_389_406: +1 y_334 +1 y_336 -1 x_389_406 = +0
  682. linking_407_418: +1 y_314 +1 y_336 -1 x_407_418 = +0
  683. 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
  684. +1 y_352 +1 y_353 +1 y_354 = +0
  685. 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
  686. linking_371_392: +1 y_327 +1 y_337 -1 x_371_392 = +0
  687. linking_820_222: +1 y_111 +1 y_338 -1 x_820_222 +1 y_386 +1 y_436 = +0
  688. linking_803_206: +1 y_103 +1 y_339 -1 x_803_206 +1 y_424 +1 y_440 = +0
  689. linking_225_230: +1 y_329 +1 y_339 -1 x_225_230 = +0
  690. linking_1044_458: +1 y_229 +1 y_339 -1 x_1044_458 = +0
  691. 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
  692. 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
  693. +1 y_351 +1 y_352 +1 y_353 +1 y_444 = +0
  694. linking_345_378: +1 y_340 +1 y_341 -1 x_345_378 +1 y_342 = +0
  695. linking_481_502: +1 y_340 +1 y_341 -1 x_481_502 +1 y_342 = +0
  696. linking_503_524: +1 y_340 +1 y_341 -1 x_503_524 +1 y_352 +1 y_353 +1 y_367 = +0
  697. linking_503_1109: +1 y_251 +1 y_342 -1 x_503_1109 +1 y_439 = +0
  698. linking_191_202: +1 y_329 +1 y_343 -1 x_191_202 = +0
  699. 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
  700. 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
  701. +1 y_372 = +0
  702. linking_119_158: +1 y_333 +1 y_344 -1 x_119_158 +1 y_345 +1 y_392 = +0
  703. linking_159_180: +1 y_333 +1 y_344 -1 x_159_180 +1 y_345 +1 y_355 = +0
  704. linking_81_92: +1 y_344 +1 y_345 -1 x_81_92 +1 y_362 +1 y_363 = +0
  705. linking_984_388: +1 y_194 +1 y_346 -1 x_984_388 = +0
  706. linking_389_410: +1 y_335 +1 y_346 -1 x_389_410 = +0
  707. 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
  708. = +0
  709. 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
  710. 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
  711. = +0
  712. linking_1121_524: +1 y_262 +1 y_346 -1 x_1121_524 +1 y_347 +1 y_349 +1 y_351 = +0
  713. 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
  714. linking_1001_410: +1 y_205 +1 y_348 -1 x_1001_410 +1 y_349 +1 y_352 +1 y_353 = +0
  715. 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
  716. 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
  717. linking_425_458: +1 y_341 +1 y_350 -1 x_425_458 +1 y_351 = +0
  718. linking_481_494: +1 y_347 +1 y_350 -1 x_481_494 +1 y_351 +1 y_368 = +0
  719. linking_495_502: +1 y_347 +1 y_350 -1 x_495_502 +1 y_351 = +0
  720. linking_459_488: +1 y_352 +1 y_353 -1 x_459_488 = +0
  721. linking_816_216: +1 y_108 +1 y_354 -1 x_816_216 +1 y_398 = +0
  722. linking_827_230: +1 y_115 +1 y_354 -1 x_827_230 = +0
  723. 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
  724. = +0
  725. linking_89_106: +1 y_328 +1 y_355 -1 x_89_106 +1 y_357 +1 y_358 = +0
  726. linking_195_799: +1 y_97 +1 y_355 -1 x_195_799 = +0
  727. linking_684_88: +1 y_44 +1 y_356 -1 x_684_88 +1 y_357 = +0
  728. linking_111_124: +1 y_330 +1 y_356 -1 x_111_124 = +0
  729. 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
  730. 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
  731. linking_153_168: +1 y_356 +1 y_357 -1 x_153_168 +1 y_359 = +0
  732. linking_169_188: +1 y_356 +1 y_357 -1 x_169_188 +1 y_359 = +0
  733. linking_75_88: +1 y_355 +1 y_358 -1 x_75_88 = +0
  734. linking_125_158: +1 y_355 +1 y_358 -1 x_125_158 +1 y_360 = +0
  735. 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
  736. = +0
  737. 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
  738. linking_97_705: +1 y_48 +1 y_359 -1 x_97_705 +1 y_360 +1 y_400 = +0
  739. linking_715_120: +1 y_60 +1 y_359 -1 x_715_120 +1 y_399 = +0
  740. linking_81_96: +1 y_359 +1 y_360 -1 x_81_96 +1 y_361 = +0
  741. linking_716_124: +1 y_62 +1 y_360 -1 x_716_124 = +0
  742. linking_181_194: +1 y_355 +1 y_360 -1 x_181_194 +1 y_366 = +0
  743. linking_121_158: +1 y_362 +1 y_363 -1 x_121_158 = +0
  744. 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
  745. linking_1104_510: +1 y_255 +1 y_364 -1 x_1104_510 +1 y_365 = +0
  746. linking_1127_530: +1 y_265 +1 y_364 -1 x_1127_530 +1 y_365 = +0
  747. 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
  748. linking_469_492: +1 y_364 +1 y_365 -1 x_469_492 +1 y_367 = +0
  749. linking_229_831: +1 y_114 +1 y_366 -1 x_229_831 +1 y_440 = +0
  750. linking_405_414: +1 y_326 +1 y_367 -1 x_405_414 +1 y_379 +1 y_390 = +0
  751. linking_529_1131: +1 y_264 +1 y_368 -1 x_529_1131 = +0
  752. linking_706_112: +1 y_56 +1 y_369 -1 x_706_112 +1 y_387 = +0
  753. 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
  754. linking_75_682: +1 y_37 +1 y_370 -1 x_75_682 +1 y_376 +1 y_377 +1 y_380 = +0
  755. 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
  756. 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
  757. 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
  758. linking_115_144: +1 y_370 +1 y_371 -1 x_115_144 +1 y_373 +1 y_374 +1 y_376 = +0
  759. linking_81_100: +1 y_371 +1 y_372 -1 x_81_100 = +0
  760. linking_113_144: +1 y_369 +1 y_372 -1 x_113_144 = +0
  761. linking_105_114: +1 y_370 +1 y_373 -1 x_105_114 +1 y_374 +1 y_376 +1 y_377 = +0
  762. linking_199_811: +1 y_99 +1 y_374 -1 x_199_811 +1 y_387 = +0
  763. linking_193_198: +1 y_374 +1 y_375 -1 x_193_198 = +0
  764. linking_215_815: +1 y_107 +1 y_375 -1 x_215_815 +1 y_424 = +0
  765. linking_175_188: +1 y_330 +1 y_376 -1 x_175_188 = +0
  766. linking_115_152: +1 y_375 +1 y_377 -1 x_115_152 = +0
  767. linking_175_192: +1 y_375 +1 y_377 -1 x_175_192 = +0
  768. linking_465_1073: +1 y_232 +1 y_378 -1 x_465_1073 +1 y_418 = +0
  769. linking_1100_504: +1 y_252 +1 y_378 -1 x_1100_504 +1 y_409 = +0
  770. linking_505_1114: +1 y_252 +1 y_378 -1 x_505_1114 +1 y_395 +1 y_396 +1 y_397 = +0
  771. 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
  772. +1 y_407 = +0
  773. linking_375_982: +1 y_187 +1 y_379 -1 x_375_982 +1 y_381 +1 y_385 +1 y_388 = +0
  774. linking_445_464: +1 y_378 +1 y_379 -1 x_445_464 = +0
  775. linking_495_1099: +1 y_247 +1 y_379 -1 x_495_1099 = +0
  776. linking_693_100: +1 y_50 +1 y_380 -1 x_693_100 +1 y_387 +1 y_399 = +0
  777. linking_101_112: +1 y_372 +1 y_380 -1 x_101_112 = +0
  778. linking_163_768: +1 y_81 +1 y_380 -1 x_163_768 +1 y_394 = +0
  779. linking_800_204: +1 y_102 +1 y_380 -1 x_800_204 +1 y_391 = +0
  780. linking_205_814: +1 y_102 +1 y_380 -1 x_205_814 +1 y_391 = +0
  781. 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
  782. linking_413_444: +1 y_378 +1 y_381 -1 x_413_444 = +0
  783. linking_469_1081: +1 y_234 +1 y_381 -1 x_469_1081 +1 y_385 +1 y_390 = +0
  784. 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
  785. linking_397_1005: +1 y_198 +1 y_382 -1 x_397_1005 +1 y_396 +1 y_411 = +0
  786. linking_421_452: +1 y_364 +1 y_382 -1 x_421_452 +1 y_383 +1 y_385 = +0
  787. 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
  788. linking_469_494: +1 y_382 +1 y_383 -1 x_469_494 +1 y_384 = +0
  789. linking_495_498: +1 y_382 +1 y_383 -1 x_495_498 +1 y_384 = +0
  790. linking_1034_444: +1 y_222 +1 y_384 -1 x_1034_444 +1 y_389 = +0
  791. linking_445_468: +1 y_381 +1 y_384 -1 x_445_468 +1 y_390 = +0
  792. linking_515_1115: +1 y_257 +1 y_384 -1 x_515_1115 +1 y_458 +1 y_460 +1 y_461 = +0
  793. linking_405_420: +1 y_383 +1 y_385 -1 x_405_420 = +0
  794. linking_475_1082: +1 y_237 +1 y_386 -1 x_475_1082 +1 y_416 +1 y_436 = +0
  795. linking_101_704: +1 y_50 +1 y_387 -1 x_101_704 +1 y_399 = +0
  796. linking_113_158: +1 y_361 +1 y_387 -1 x_113_158 = +0
  797. linking_401_1004: +1 y_200 +1 y_388 -1 x_401_1004 +1 y_395 +1 y_397 = +0
  798. linking_463_1068: +1 y_231 +1 y_388 -1 x_463_1068 +1 y_396 +1 y_398 +1 y_412 = +0
  799. linking_401_412: +1 y_381 +1 y_389 -1 x_401_412 = +0
  800. linking_413_1020: +1 y_206 +1 y_389 -1 x_413_1020 = +0
  801. linking_415_444: +1 y_379 +1 y_390 -1 x_415_444 = +0
  802. linking_493_498: +1 y_388 +1 y_390 -1 x_493_498 = +0
  803. linking_683_90: +1 y_45 +1 y_391 -1 x_683_90 +1 y_413 = +0
  804. linking_165_773: +1 y_82 +1 y_391 -1 x_165_773 = +0
  805. linking_657_60: +1 y_30 +1 y_393 -1 x_657_60 +1 y_419 +1 y_437 +1 y_441 = +0
  806. linking_185_789: +1 y_92 +1 y_393 -1 x_185_789 = +0
  807. linking_105_118: +1 y_393 +1 y_394 -1 x_105_118 = +0
  808. linking_119_162: +1 y_393 +1 y_394 -1 x_119_162 = +0
  809. linking_979_384: +1 y_192 +1 y_395 -1 x_979_384 +1 y_418 = +0
  810. linking_421_462: +1 y_395 +1 y_396 -1 x_421_462 +1 y_397 +1 y_398 = +0
  811. linking_493_504: +1 y_396 +1 y_397 -1 x_493_504 = +0
  812. linking_826_228: +1 y_114 +1 y_398 -1 x_826_228 = +0
  813. linking_251_865: +1 y_125 +1 y_398 -1 x_251_865 +1 y_403 +1 y_416 +1 y_436 = +0
  814. linking_163_184: +1 y_393 +1 y_399 -1 x_163_184 = +0
  815. linking_691_96: +1 y_48 +1 y_400 -1 x_691_96 +1 y_430 +1 y_431 = +0
  816. linking_167_776: +1 y_83 +1 y_400 -1 x_167_776 +1 y_433 +1 y_435 +1 y_437 = +0
  817. linking_437_1066: +1 y_218 +1 y_401 -1 x_437_1066 +1 y_403 +1 y_404 = +0
  818. linking_487_1092: +1 y_243 +1 y_402 -1 x_487_1092 +1 y_411 = +0
  819. linking_397_414: +1 y_402 +1 y_403 -1 x_397_414 = +0
  820. linking_957_360: +1 y_180 +1 y_404 -1 x_957_360 +1 y_415 +1 y_432 = +0
  821. linking_375_386: +1 y_404 +1 y_405 -1 x_375_386 +1 y_406 +1 y_407 = +0
  822. linking_387_402: +1 y_404 +1 y_405 -1 x_387_402 +1 y_406 +1 y_407 +1 y_416 = +0
  823. linking_471_1080: +1 y_235 +1 y_405 -1 x_471_1080 +1 y_406 +1 y_409 = +0
  824. linking_461_1069: +1 y_230 +1 y_407 -1 x_461_1069 +1 y_426 = +0
  825. linking_415_436: +1 y_403 +1 y_408 -1 x_415_436 = +0
  826. linking_485_1089: +1 y_242 +1 y_408 -1 x_485_1089 +1 y_410 +1 y_414 = +0
  827. linking_1103_506: +1 y_253 +1 y_408 -1 x_1103_506 +1 y_458 +1 y_460 +1 y_461 = +0
  828. linking_507_1108: +1 y_253 +1 y_408 -1 x_507_1108 +1 y_457 = +0
  829. linking_1006_412: +1 y_206 +1 y_409 -1 x_1006_412 +1 y_462 = +0
  830. linking_435_470: +1 y_405 +1 y_409 -1 x_435_470 = +0
  831. linking_990_394: +1 y_197 +1 y_410 -1 x_990_394 = +0
  832. linking_395_408: +1 y_401 +1 y_410 -1 x_395_408 = +0
  833. linking_415_440: +1 y_402 +1 y_411 -1 x_415_440 = +0
  834. linking_441_470: +1 y_402 +1 y_411 -1 x_441_470 = +0
  835. linking_471_486: +1 y_402 +1 y_411 -1 x_471_486 = +0
  836. linking_963_368: +1 y_184 +1 y_412 -1 x_963_368 +1 y_438 = +0
  837. linking_91_108: +1 y_391 +1 y_413 -1 x_91_108 = +0
  838. linking_187_792: +1 y_93 +1 y_413 -1 x_187_792 +1 y_417 = +0
  839. linking_983_390: +1 y_195 +1 y_414 -1 x_983_390 = +0
  840. linking_465_484: +1 y_410 +1 y_414 -1 x_465_484 = +0
  841. linking_361_374: +1 y_404 +1 y_415 -1 x_361_374 = +0
  842. linking_403_1021: +1 y_201 +1 y_415 -1 x_403_1021 = +0
  843. linking_821_224: +1 y_112 +1 y_416 -1 x_821_224 = +0
  844. linking_977_386: +1 y_193 +1 y_416 -1 x_977_386 = +0
  845. linking_677_86: +1 y_43 +1 y_417 -1 x_677_86 = +0
  846. linking_135_164: +1 y_413 +1 y_417 -1 x_135_164 = +0
  847. linking_165_186: +1 y_413 +1 y_417 -1 x_165_186 = +0
  848. linking_385_394: +1 y_401 +1 y_418 -1 x_385_394 = +0
  849. linking_87_102: +1 y_417 +1 y_419 -1 x_87_102 +1 y_420 +1 y_421 = +0
  850. linking_137_766: +1 y_68 +1 y_419 -1 x_137_766 +1 y_422 +1 y_427 = +0
  851. linking_75_86: +1 y_419 +1 y_420 -1 x_75_86 +1 y_421 = +0
  852. linking_103_134: +1 y_417 +1 y_420 -1 x_103_134 = +0
  853. linking_171_780: +1 y_85 +1 y_420 -1 x_171_780 +1 y_421 +1 y_430 = +0
  854. linking_679_84: +1 y_42 +1 y_423 -1 x_679_84 = +0
  855. linking_85_94: +1 y_422 +1 y_423 -1 x_85_94 = +0
  856. linking_95_108: +1 y_422 +1 y_423 -1 x_95_108 +1 y_424 = +0
  857. linking_109_142: +1 y_391 +1 y_423 -1 x_109_142 = +0
  858. linking_690_94: +1 y_47 +1 y_424 -1 x_690_94 = +0
  859. linking_735_150: +1 y_75 +1 y_425 -1 x_735_150 +1 y_451 = +0
  860. linking_872_276: +1 y_138 +1 y_426 -1 x_872_276 = +0
  861. linking_277_882: +1 y_138 +1 y_426 -1 x_277_882 = +0
  862. linking_988_398: +1 y_199 +1 y_426 -1 x_988_398 +1 y_439 = +0
  863. linking_649_52: +1 y_26 +1 y_427 -1 x_649_52 = +0
  864. linking_666_72: +1 y_36 +1 y_428 -1 x_666_72 +1 y_433 +1 y_434 +1 y_435 = +0
  865. linking_97_118: +1 y_343 +1 y_428 -1 x_97_118 = +0
  866. linking_161_769: +1 y_80 +1 y_428 -1 x_161_769 +1 y_452 = +0
  867. linking_785_192: +1 y_96 +1 y_429 -1 x_785_192 = +0
  868. linking_805_212: +1 y_106 +1 y_429 -1 x_805_212 +1 y_435 = +0
  869. linking_223_828: +1 y_111 +1 y_429 -1 x_223_828 = +0
  870. linking_151_170: +1 y_425 +1 y_430 -1 x_151_170 = +0
  871. linking_97_116: +1 y_430 +1 y_431 -1 x_97_116 = +0
  872. linking_117_136: +1 y_427 +1 y_431 -1 x_117_136 = +0
  873. linking_173_787: +1 y_86 +1 y_431 -1 x_173_787 +1 y_448 +1 y_451 = +0
  874. linking_916_322: +1 y_161 +1 y_432 -1 x_916_322 = +0
  875. linking_337_938: +1 y_168 +1 y_432 -1 x_337_938 +1 y_453 = +0
  876. linking_387_1003: +1 y_193 +1 y_432 -1 x_387_1003 = +0
  877. linking_617_26: +1 y_13 +1 y_433 -1 x_617_26 +1 y_448 = +0
  878. linking_27_630: +1 y_13 +1 y_433 -1 x_27_630 +1 y_448 = +0
  879. linking_73_90: +1 y_433 +1 y_434 -1 x_73_90 +1 y_435 +1 y_441 = +0
  880. linking_117_150: +1 y_430 +1 y_434 -1 x_117_150 = +0
  881. linking_175_782: +1 y_87 +1 y_434 -1 x_175_782 = +0
  882. linking_91_707: +1 y_45 +1 y_435 -1 x_91_707 = +0
  883. linking_725_134: +1 y_67 +1 y_435 -1 x_725_134 +1 y_437 = +0
  884. linking_213_813: +1 y_106 +1 y_435 -1 x_213_813 = +0
  885. linking_1035_450: +1 y_225 +1 y_436 -1 x_1035_450 +1 y_439 +1 y_453 = +0
  886. linking_95_702: +1 y_47 +1 y_437 -1 x_95_702 = +0
  887. linking_135_166: +1 y_435 +1 y_437 -1 x_135_166 = +0
  888. linking_921_328: +1 y_164 +1 y_438 -1 x_921_328 +1 y_454 +1 y_459 = +0
  889. linking_329_935: +1 y_164 +1 y_438 -1 x_329_935 +1 y_454 = +0
  890. linking_451_1062: +1 y_225 +1 y_438 -1 x_451_1062 +1 y_450 +1 y_453 = +0
  891. linking_399_999: +1 y_199 +1 y_439 -1 x_399_999 +1 y_459 = +0
  892. linking_207_214: +1 y_424 +1 y_440 -1 x_207_214 = +0
  893. linking_223_228: +1 y_386 +1 y_440 -1 x_223_228 = +0
  894. linking_61_72: +1 y_437 +1 y_441 -1 x_61_72 = +0
  895. linking_145_754: +1 y_72 +1 y_441 -1 x_145_754 = +0
  896. linking_1138_542: +1 y_271 +1 y_442 -1 x_1138_542 +1 y_455 = +0
  897. linking_591_1192: +1 y_295 +1 y_442 -1 x_591_1192 = +0
  898. linking_1120_522: +1 y_261 +1 y_443 -1 x_1120_522 = +0
  899. linking_543_550: +1 y_442 +1 y_443 -1 x_543_550 = +0
  900. linking_551_1165: +1 y_275 +1 y_443 -1 x_551_1165 = +0
  901. linking_1107_514: +1 y_257 +1 y_444 -1 x_1107_514 = +0
  902. linking_531_542: +1 y_443 +1 y_444 -1 x_531_542 +1 y_445 = +0
  903. linking_543_1156: +1 y_271 +1 y_444 -1 x_543_1156 +1 y_445 = +0
  904. linking_243_250: +1 y_403 +1 y_446 -1 x_243_250 = +0
  905. linking_323_933: +1 y_161 +1 y_446 -1 x_323_933 = +0
  906. linking_722_126: +1 y_63 +1 y_447 -1 x_722_126 +1 y_448 = +0
  907. linking_179_788: +1 y_89 +1 y_447 -1 x_179_788 = +0
  908. linking_966_372: +1 y_186 +1 y_449 -1 x_966_372 +1 y_450 +1 y_459 = +0
  909. linking_373_980: +1 y_186 +1 y_449 -1 x_373_980 = +0
  910. 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
  911. 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
  912. linking_391_408: +1 y_414 +1 y_450 -1 x_391_408 = +0
  913. linking_409_450: +1 y_438 +1 y_450 -1 x_409_450 = +0
  914. linking_688_98: +1 y_49 +1 y_451 -1 x_688_98 = +0
  915. linking_99_699: +1 y_49 +1 y_451 -1 x_99_699 +1 y_452 = +0
  916. linking_663_68: +1 y_34 +1 y_452 -1 x_663_68 = +0
  917. linking_742_160: +1 y_80 +1 y_452 -1 x_742_160 = +0
  918. linking_887_292: +1 y_146 +1 y_453 -1 x_887_292 = +0
  919. linking_427_454: +1 y_449 +1 y_454 -1 x_427_454 +1 y_456 +1 y_457 +1 y_458 = +0
  920. linking_483_1094: +1 y_241 +1 y_454 -1 x_483_1094 = +0
  921. linking_577_1182: +1 y_288 +1 y_455 -1 x_577_1182 = +0
  922. linking_1195_594: +1 y_297 +1 y_455 -1 x_1195_594 = +0
  923. linking_595_1197: +1 y_297 +1 y_455 -1 x_595_1197 = +0
  924. linking_455_472: +1 y_449 +1 y_456 -1 x_455_472 = +0
  925. linking_1105_512: +1 y_256 +1 y_456 -1 x_1105_512 +1 y_462 = +0
  926. linking_513_1113: +1 y_256 +1 y_456 -1 x_513_1113 = +0
  927. linking_455_482: +1 y_454 +1 y_457 -1 x_455_482 = +0
  928. linking_455_1074: +1 y_227 +1 y_458 -1 x_455_1074 = +0
  929. linking_339_948: +1 y_169 +1 y_459 -1 x_339_948 = +0
  930. linking_1023_430: +1 y_215 +1 y_460 -1 x_1023_430 = +0
  931. linking_507_514: +1 y_458 +1 y_460 -1 x_507_514 +1 y_461 = +0
  932. linking_1032_440: +1 y_220 +1 y_461 -1 x_1032_440 = +0
  933. linking_413_430: +1 y_418 +1 y_462 -1 x_413_430 = +0
  934. linking_431_472: +1 y_460 +1 y_462 -1 x_431_472 = +0
  935. Bounds
  936. 0 <= x_757_166 <= 1
  937. 0 <= x_191_795 <= 1
  938. 0 <= x_675_78 <= 1
  939. 0 <= x_225_825 <= 1
  940. 0 <= x_976_380 <= 1
  941. 0 <= x_517_1118 <= 1
  942. 0 <= x_879_280 <= 1
  943. 0 <= x_289_897 <= 1
  944. 0 <= x_975_378 <= 1
  945. 0 <= x_443_466 <= 1
  946. 0 <= x_467_490 <= 1
  947. 0 <= x_491_500 <= 1
  948. 0 <= x_501_1106 <= 1
  949. 0 <= x_281_288 <= 1
  950. 0 <= x_379_392 <= 1
  951. 0 <= x_393_406 <= 1
  952. 0 <= x_838_242 <= 1
  953. 0 <= x_243_856 <= 1
  954. 0 <= x_937_342 <= 1
  955. 0 <= x_343_943 <= 1
  956. 0 <= x_393_998 <= 1
  957. 0 <= x_1033_442 <= 1
  958. 0 <= x_501_516 <= 1
  959. 0 <= x_525_1125 <= 1
  960. 0 <= x_517_524 <= 1
  961. 0 <= x_379_985 <= 1
  962. 0 <= x_987_392 <= 1
  963. 0 <= x_407_1011 <= 1
  964. 0 <= x_475_490 <= 1
  965. 0 <= x_531_1130 <= 1
  966. 0 <= x_393_410 <= 1
  967. 0 <= x_425_452 <= 1
  968. 0 <= x_453_474 <= 1
  969. 0 <= x_407_424 <= 1
  970. 0 <= x_345_951 <= 1
  971. 0 <= x_411_442 <= 1
  972. 0 <= x_443_474 <= 1
  973. 0 <= x_343_344 <= 1
  974. 0 <= x_407_442 <= 1
  975. 0 <= x_1016_424 <= 1
  976. 0 <= x_419_466 <= 1
  977. 0 <= x_635_36 <= 1
  978. 0 <= x_37_639 <= 1
  979. 0 <= x_645_44 <= 1
  980. 0 <= x_45_651 <= 1
  981. 0 <= x_667_70 <= 1
  982. 0 <= x_93_698 <= 1
  983. 0 <= x_733_142 <= 1
  984. 0 <= x_201_216 <= 1
  985. 0 <= x_217_818 <= 1
  986. 0 <= x_281_883 <= 1
  987. 0 <= x_491_1095 <= 1
  988. 0 <= x_1098_500 <= 1
  989. 0 <= x_638_42 <= 1
  990. 0 <= x_79_92 <= 1
  991. 0 <= x_143_166 <= 1
  992. 0 <= x_167_190 <= 1
  993. 0 <= x_191_200 <= 1
  994. 0 <= x_43_44 <= 1
  995. 0 <= x_93_106 <= 1
  996. 0 <= x_201_224 <= 1
  997. 0 <= x_93_110 <= 1
  998. 0 <= x_111_142 <= 1
  999. 0 <= x_201_806 <= 1
  1000. 0 <= x_107_142 <= 1
  1001. 0 <= x_37_44 <= 1
  1002. 0 <= x_600_0 <= 1
  1003. 0 <= x_1_606 <= 1
  1004. 0 <= x_967_370 <= 1
  1005. 0 <= x_371_978 <= 1
  1006. 0 <= x_996_404 <= 1
  1007. 0 <= x_467_488 <= 1
  1008. 0 <= x_489_500 <= 1
  1009. 0 <= x_43_643 <= 1
  1010. 0 <= x_107_124 <= 1
  1011. 0 <= x_125_152 <= 1
  1012. 0 <= x_153_174 <= 1
  1013. 0 <= x_175_190 <= 1
  1014. 0 <= x_79_685 <= 1
  1015. 0 <= x_709_114 <= 1
  1016. 0 <= x_231_830 <= 1
  1017. 0 <= x_701_110 <= 1
  1018. 0 <= x_189_790 <= 1
  1019. 0 <= x_801_202 <= 1
  1020. 0 <= x_217_224 <= 1
  1021. 0 <= x_501_524 <= 1
  1022. 0 <= x_345_370 <= 1
  1023. 0 <= x_1009_414 <= 1
  1024. 0 <= x_415_442 <= 1
  1025. 0 <= x_443_1051 <= 1
  1026. 0 <= x_1057_466 <= 1
  1027. 0 <= x_489_1090 <= 1
  1028. 0 <= x_71_678 <= 1
  1029. 0 <= x_714_118 <= 1
  1030. 0 <= x_181_786 <= 1
  1031. 0 <= x_203_216 <= 1
  1032. 0 <= x_945_344 <= 1
  1033. 0 <= x_475_488 <= 1
  1034. 0 <= x_371_388 <= 1
  1035. 0 <= x_411_418 <= 1
  1036. 0 <= x_481_1086 <= 1
  1037. 0 <= x_389_406 <= 1
  1038. 0 <= x_407_418 <= 1
  1039. 0 <= x_419_458 <= 1
  1040. 0 <= x_459_480 <= 1
  1041. 0 <= x_371_392 <= 1
  1042. 0 <= x_820_222 <= 1
  1043. 0 <= x_803_206 <= 1
  1044. 0 <= x_225_230 <= 1
  1045. 0 <= x_1044_458 <= 1
  1046. 0 <= x_1014_418 <= 1
  1047. 0 <= x_525_530 <= 1
  1048. 0 <= x_345_378 <= 1
  1049. 0 <= x_481_502 <= 1
  1050. 0 <= x_503_524 <= 1
  1051. 0 <= x_503_1109 <= 1
  1052. 0 <= x_191_202 <= 1
  1053. 0 <= x_203_809 <= 1
  1054. 0 <= x_676_80 <= 1
  1055. 0 <= x_119_158 <= 1
  1056. 0 <= x_159_180 <= 1
  1057. 0 <= x_81_92 <= 1
  1058. 0 <= x_984_388 <= 1
  1059. 0 <= x_389_410 <= 1
  1060. 0 <= x_459_1067 <= 1
  1061. 0 <= x_1101_502 <= 1
  1062. 0 <= x_503_516 <= 1
  1063. 0 <= x_1121_524 <= 1
  1064. 0 <= x_1070_480 <= 1
  1065. 0 <= x_1001_410 <= 1
  1066. 0 <= x_1085_492 <= 1
  1067. 0 <= x_493_1093 <= 1
  1068. 0 <= x_425_458 <= 1
  1069. 0 <= x_481_494 <= 1
  1070. 0 <= x_495_502 <= 1
  1071. 0 <= x_459_488 <= 1
  1072. 0 <= x_816_216 <= 1
  1073. 0 <= x_827_230 <= 1
  1074. 0 <= x_670_74 <= 1
  1075. 0 <= x_89_106 <= 1
  1076. 0 <= x_195_799 <= 1
  1077. 0 <= x_684_88 <= 1
  1078. 0 <= x_111_124 <= 1
  1079. 0 <= x_804_210 <= 1
  1080. 0 <= x_211_812 <= 1
  1081. 0 <= x_153_168 <= 1
  1082. 0 <= x_169_188 <= 1
  1083. 0 <= x_75_88 <= 1
  1084. 0 <= x_125_158 <= 1
  1085. 0 <= x_159_767 <= 1
  1086. 0 <= x_770_180 <= 1
  1087. 0 <= x_97_705 <= 1
  1088. 0 <= x_715_120 <= 1
  1089. 0 <= x_81_96 <= 1
  1090. 0 <= x_716_124 <= 1
  1091. 0 <= x_181_194 <= 1
  1092. 0 <= x_121_158 <= 1
  1093. 0 <= x_1015_420 <= 1
  1094. 0 <= x_1104_510 <= 1
  1095. 0 <= x_1127_530 <= 1
  1096. 0 <= x_453_468 <= 1
  1097. 0 <= x_469_492 <= 1
  1098. 0 <= x_229_831 <= 1
  1099. 0 <= x_405_414 <= 1
  1100. 0 <= x_529_1131 <= 1
  1101. 0 <= x_706_112 <= 1
  1102. 0 <= x_193_793 <= 1
  1103. 0 <= x_75_682 <= 1
  1104. 0 <= x_696_104 <= 1
  1105. 0 <= x_145_164 <= 1
  1106. 0 <= x_165_192 <= 1
  1107. 0 <= x_115_144 <= 1
  1108. 0 <= x_81_100 <= 1
  1109. 0 <= x_113_144 <= 1
  1110. 0 <= x_105_114 <= 1
  1111. 0 <= x_199_811 <= 1
  1112. 0 <= x_193_198 <= 1
  1113. 0 <= x_215_815 <= 1
  1114. 0 <= x_175_188 <= 1
  1115. 0 <= x_115_152 <= 1
  1116. 0 <= x_175_192 <= 1
  1117. 0 <= x_465_1073 <= 1
  1118. 0 <= x_1100_504 <= 1
  1119. 0 <= x_505_1114 <= 1
  1120. 0 <= x_970_374 <= 1
  1121. 0 <= x_375_982 <= 1
  1122. 0 <= x_445_464 <= 1
  1123. 0 <= x_495_1099 <= 1
  1124. 0 <= x_693_100 <= 1
  1125. 0 <= x_101_112 <= 1
  1126. 0 <= x_163_768 <= 1
  1127. 0 <= x_800_204 <= 1
  1128. 0 <= x_205_814 <= 1
  1129. 0 <= x_993_400 <= 1
  1130. 0 <= x_413_444 <= 1
  1131. 0 <= x_469_1081 <= 1
  1132. 0 <= x_991_396 <= 1
  1133. 0 <= x_397_1005 <= 1
  1134. 0 <= x_421_452 <= 1
  1135. 0 <= x_499_1111 <= 1
  1136. 0 <= x_469_494 <= 1
  1137. 0 <= x_495_498 <= 1
  1138. 0 <= x_1034_444 <= 1
  1139. 0 <= x_445_468 <= 1
  1140. 0 <= x_515_1115 <= 1
  1141. 0 <= x_405_420 <= 1
  1142. 0 <= x_475_1082 <= 1
  1143. 0 <= x_101_704 <= 1
  1144. 0 <= x_113_158 <= 1
  1145. 0 <= x_401_1004 <= 1
  1146. 0 <= x_463_1068 <= 1
  1147. 0 <= x_401_412 <= 1
  1148. 0 <= x_413_1020 <= 1
  1149. 0 <= x_415_444 <= 1
  1150. 0 <= x_493_498 <= 1
  1151. 0 <= x_683_90 <= 1
  1152. 0 <= x_165_773 <= 1
  1153. 0 <= x_657_60 <= 1
  1154. 0 <= x_185_789 <= 1
  1155. 0 <= x_105_118 <= 1
  1156. 0 <= x_119_162 <= 1
  1157. 0 <= x_979_384 <= 1
  1158. 0 <= x_421_462 <= 1
  1159. 0 <= x_493_504 <= 1
  1160. 0 <= x_826_228 <= 1
  1161. 0 <= x_251_865 <= 1
  1162. 0 <= x_163_184 <= 1
  1163. 0 <= x_691_96 <= 1
  1164. 0 <= x_167_776 <= 1
  1165. 0 <= x_437_1066 <= 1
  1166. 0 <= x_487_1092 <= 1
  1167. 0 <= x_397_414 <= 1
  1168. 0 <= x_957_360 <= 1
  1169. 0 <= x_375_386 <= 1
  1170. 0 <= x_387_402 <= 1
  1171. 0 <= x_471_1080 <= 1
  1172. 0 <= x_461_1069 <= 1
  1173. 0 <= x_415_436 <= 1
  1174. 0 <= x_485_1089 <= 1
  1175. 0 <= x_1103_506 <= 1
  1176. 0 <= x_507_1108 <= 1
  1177. 0 <= x_1006_412 <= 1
  1178. 0 <= x_435_470 <= 1
  1179. 0 <= x_990_394 <= 1
  1180. 0 <= x_395_408 <= 1
  1181. 0 <= x_415_440 <= 1
  1182. 0 <= x_441_470 <= 1
  1183. 0 <= x_471_486 <= 1
  1184. 0 <= x_963_368 <= 1
  1185. 0 <= x_91_108 <= 1
  1186. 0 <= x_187_792 <= 1
  1187. 0 <= x_983_390 <= 1
  1188. 0 <= x_465_484 <= 1
  1189. 0 <= x_361_374 <= 1
  1190. 0 <= x_403_1021 <= 1
  1191. 0 <= x_821_224 <= 1
  1192. 0 <= x_977_386 <= 1
  1193. 0 <= x_677_86 <= 1
  1194. 0 <= x_135_164 <= 1
  1195. 0 <= x_165_186 <= 1
  1196. 0 <= x_385_394 <= 1
  1197. 0 <= x_87_102 <= 1
  1198. 0 <= x_137_766 <= 1
  1199. 0 <= x_75_86 <= 1
  1200. 0 <= x_103_134 <= 1
  1201. 0 <= x_171_780 <= 1
  1202. 0 <= x_679_84 <= 1
  1203. 0 <= x_85_94 <= 1
  1204. 0 <= x_95_108 <= 1
  1205. 0 <= x_109_142 <= 1
  1206. 0 <= x_690_94 <= 1
  1207. 0 <= x_735_150 <= 1
  1208. 0 <= x_872_276 <= 1
  1209. 0 <= x_277_882 <= 1
  1210. 0 <= x_988_398 <= 1
  1211. 0 <= x_649_52 <= 1
  1212. 0 <= x_666_72 <= 1
  1213. 0 <= x_97_118 <= 1
  1214. 0 <= x_161_769 <= 1
  1215. 0 <= x_785_192 <= 1
  1216. 0 <= x_805_212 <= 1
  1217. 0 <= x_223_828 <= 1
  1218. 0 <= x_151_170 <= 1
  1219. 0 <= x_97_116 <= 1
  1220. 0 <= x_117_136 <= 1
  1221. 0 <= x_173_787 <= 1
  1222. 0 <= x_916_322 <= 1
  1223. 0 <= x_337_938 <= 1
  1224. 0 <= x_387_1003 <= 1
  1225. 0 <= x_617_26 <= 1
  1226. 0 <= x_27_630 <= 1
  1227. 0 <= x_73_90 <= 1
  1228. 0 <= x_117_150 <= 1
  1229. 0 <= x_175_782 <= 1
  1230. 0 <= x_91_707 <= 1
  1231. 0 <= x_725_134 <= 1
  1232. 0 <= x_213_813 <= 1
  1233. 0 <= x_1035_450 <= 1
  1234. 0 <= x_95_702 <= 1
  1235. 0 <= x_135_166 <= 1
  1236. 0 <= x_921_328 <= 1
  1237. 0 <= x_329_935 <= 1
  1238. 0 <= x_451_1062 <= 1
  1239. 0 <= x_399_999 <= 1
  1240. 0 <= x_207_214 <= 1
  1241. 0 <= x_223_228 <= 1
  1242. 0 <= x_61_72 <= 1
  1243. 0 <= x_145_754 <= 1
  1244. 0 <= x_1138_542 <= 1
  1245. 0 <= x_591_1192 <= 1
  1246. 0 <= x_1120_522 <= 1
  1247. 0 <= x_543_550 <= 1
  1248. 0 <= x_551_1165 <= 1
  1249. 0 <= x_1107_514 <= 1
  1250. 0 <= x_531_542 <= 1
  1251. 0 <= x_543_1156 <= 1
  1252. 0 <= x_243_250 <= 1
  1253. 0 <= x_323_933 <= 1
  1254. 0 <= x_722_126 <= 1
  1255. 0 <= x_179_788 <= 1
  1256. 0 <= x_966_372 <= 1
  1257. 0 <= x_373_980 <= 1
  1258. 0 <= x_1022_426 <= 1
  1259. 0 <= x_473_1087 <= 1
  1260. 0 <= x_391_408 <= 1
  1261. 0 <= x_409_450 <= 1
  1262. 0 <= x_688_98 <= 1
  1263. 0 <= x_99_699 <= 1
  1264. 0 <= x_663_68 <= 1
  1265. 0 <= x_742_160 <= 1
  1266. 0 <= x_887_292 <= 1
  1267. 0 <= x_427_454 <= 1
  1268. 0 <= x_483_1094 <= 1
  1269. 0 <= x_577_1182 <= 1
  1270. 0 <= x_1195_594 <= 1
  1271. 0 <= x_595_1197 <= 1
  1272. 0 <= x_455_472 <= 1
  1273. 0 <= x_1105_512 <= 1
  1274. 0 <= x_513_1113 <= 1
  1275. 0 <= x_455_482 <= 1
  1276. 0 <= x_455_1074 <= 1
  1277. 0 <= x_339_948 <= 1
  1278. 0 <= x_1023_430 <= 1
  1279. 0 <= x_507_514 <= 1
  1280. 0 <= x_1032_440 <= 1
  1281. 0 <= x_413_430 <= 1
  1282. 0 <= x_431_472 <= 1
  1283. Binaries
  1284. 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
  1285. 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
  1286. 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
  1287. 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
  1288. 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
  1289. 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
  1290. 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
  1291. 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
  1292. 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
  1293. 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
  1294. 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
  1295. 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
  1296. 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
  1297. 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
  1298. 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
  1299. 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
  1300. 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
  1301. 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
  1302. 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
  1303. 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
  1304. 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
  1305. 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
  1306. 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
  1307. 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
  1308. 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
  1309. 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
  1310. 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
  1311. 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
  1312. 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
  1313. 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
  1314. 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
  1315. 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
  1316. 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
  1317. x_431_472
  1318. End
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement