API tools faq
paste
Advertisement
Guest User

Set covering problem

a guest
Mar 22nd, 2018
121
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 77.34 KB | None | 0 0
raw download clone embed print report
  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
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!