ddr.lp

Minimize
 + w_r_0 + w_l_0 + xt_0 + yt_0 + 100000 s_0 + 100000 s_1 + 100000 s_2 + 100000 s_3 + 100000 s_4 + 100000 s_5 + 100000 s_6 + 100000 s_7 + 100000 s_8 + 100000 s_9 + 100000 s_10 + 100000 s_11 + 100000 s_12 + 100000 s_13 + 100000 s_14 + 100000 s_15 + 100000 s_16 + 100000 s_17 + 100000 s_18 + 100000 s_19 + 100000 s_20 + 100000 s_21 + 100000 s_22 + 100000 s_23 + 100000 s_24 + 100000 s_25 + 100000 s_26 + 100000 s_27 + 100000 s_28 + 100000 s_29 + 100000 s_30 + 100000 s_31 + 100000 s_32 + 100000 s_33 + 100000 s_34 + 100000 s_35 + 100000 s_36 + 100000 s_37 + 100000 s_38 + 100000 s_39 + w_r_1 + w_l_1 + xt_1 + yt_1 + 100000 s_40 + 100000 s_41 + 100000 s_42 + 100000 s_43 + 100000 s_44 + 100000 s_45 + 100000 s_46 + 100000 s_47 + 100000 s_48 + 100000 s_49 + 100000 s_50 + 100000 s_51 + 100000 s_52 + 100000 s_53 + 100000 s_54 + 100000 s_55 + 100000 s_56 + 100000 s_57 + 100000 s_58 + 100000 s_59 + 100000 s_60 + 100000 s_61 + 100000 s_62 + 100000 s_63 + 100000 s_64 + 100000 s_65 + 100000 s_66 + 100000 s_67 + 100000 s_68 + 100000 s_69 + 100000 s_70 + 100000 s_71 + 100000 s_72 + 100000 s_73 + 100000 s_74 + 100000 s_75 + 100000 s_76 + 100000 s_77 + 100000 s_78 + 100000 s_79 + 100000 s_80 + 100000 s_81 + 100000 s_82 + 100000 s_83 + 100000 s_84 + 100000 s_85 + 100000 s_86 + 100000 s_87 + 100000 s_88 + 100000 s_89 + w_r_2 + w_l_2 + xt_2 + yt_2 + 100000 s_90 + 100000 s_91 + 100000 s_92 + 100000 s_93 + 100000 s_94 + 100000 s_95 + 100000 s_96 + 100000 s_97 + 100000 s_98 + 100000 s_99 + 100000 s_100 + 100000 s_101 + 100000 s_102 + 100000 s_103 + 100000 s_104 + 100000 s_105 + 100000 s_106 + 100000 s_107 + 100000 s_108 + 100000 s_109 + 100000 s_110 + 100000 s_111 + 100000 s_112 + 100000 s_113 + 100000 s_114 + 100000 s_115 + 100000 s_116 + 100000 s_117 + 100000 s_118 + 100000 s_119 + 100000 s_120 + 100000 s_121 + 100000 s_122 + 100000 s_123 + 100000 s_124 + 100000 s_125 + 100000 s_126 + 100000 s_127 + 100000 s_128 + 100000 s_129 + 100000 s_130 + 100000 s_131 + 100000 s_132 + 100000 s_133 + 100000 s_134 + 100000 s_135 + 100000 s_136 + 100000 s_137 + 100000 s_138 + 100000 s_139 + 100000 s_140 + w_l_5 + xt_5 + yt_5 + 100000 s_141 + 100000 s_142 + 100000 s_143 + 100000 s_144 + 100000 s_145 + 100000 s_146 + 100000 s_147 + 100000 s_148 + 100000 s_149 + 100000 s_150 + 100000 s_151 + 100000 s_152 + 100000 s_153 + 100000 s_154 + 100000 s_155 + 100000 s_156 + 100000 s_157 + 100000 s_158 + 100000 s_159 + 100000 s_160 + 100000 s_161 + 100000 s_162 + 100000 s_163 + 100000 s_164 + 100000 s_165 + 100000 s_166 + 100000 s_167 + 100000 s_168 + 100000 s_169 + 100000 s_170 + 100000 s_171 + 100000 s_172 + 100000 s_173 + 100000 s_174 + 100000 s_175 + 100000 s_176 + 100000 s_177 + 100000 s_178 + 100000 s_179 + 100000 s_180 + 100000 s_181 + w_l_6 + xt_6 + yt_6 + 100000 s_182 + 100000 s_183 + 100000 s_184 + 100000 s_185 + 100000 s_186 + 100000 s_187 + 100000 s_188 + 100000 s_189 + 100000 s_190 + 100000 s_191 + 100000 s_192 + 100000 s_193 + 100000 s_194 + 100000 s_195 + 100000 s_196 + 100000 s_197 + 100000 s_198 + 100000 s_199 + 100000 s_200 + 100000 s_201 + 100000 s_202 + 100000 s_203 + 100000 s_204 + 100000 s_205 + w_l_7 + xt_7 + yt_7 + 100000 s_206 + 100000 s_207 + 100000 s_208 + 100000 s_209 + 100000 s_210 + w_r_8 + w_l_8 + xt_8 + yt_8 + 100000 s_211 + 100000 s_212 + 100000 s_213 + 100000 s_214 + 100000 s_215 + 100000 s_216 + 100000 s_217 + 100000 s_218 + 100000 s_219 + 100000 s_220 + 100000 s_221 + 100000 s_222 + 100000 s_223 + 100000 s_224 + 100000 s_225 + 100000 s_226 + 100000 s_227 + 100000 s_228 + 100000 s_229 + 100000 s_230 + 100000 s_231 + 100000 s_232 + 100000 s_233 + 100000 s_234 + 100000 s_235 + 100000 s_236 + 100000 s_237 + 100000 s_238 + 100000 s_239 + 100000 s_240 + 100000 s_241 + 100000 s_242 + 100000 s_243 + 100000 s_244 + 100000 s_245 + 100000 s_246 + 100000 s_247 + 100000 s_248 + 100000 s_249 + 100000 s_250 + 100000 s_251 + 100000 s_252 + 100000 s_253 + w_r_9 + w_l_9 + xt_9 + yt_9 + 100000 s_254 + 100000 s_255 + 100000 s_256 + 100000 s_257 + 100000 s_258 + 100000 s_259 + 100000 s_260 + 100000 s_261 + 100000 s_262 + 100000 s_263 + 100000 s_264 + 100000 s_265 + 100000 s_266 + 100000 s_267 + 100000 s_268 + 100000 s_269 + 100000 s_270 + 100000 s_271 + 100000 s_272 + 100000 s_273 + 100000 s_274 + 100000 s_275 + 100000 s_276 + 100000 s_277 + 100000 s_278 + 100000 s_279 + 100000 s_280 + 100000 s_281 + 100000 s_282 + 100000 s_283 + 100000 s_284 + 100000 s_285 + 100000 s_286 + 100000 s_287 + 100000 s_288 + 100000 s_289 + 100000 s_290 + 100000 s_291 + 100000 s_292 + 100000 s_293 + 100000 s_294 + 100000 s_295 + 100000 s_296 + w_r_10 + w_l_10 + xt_10 + yt_10 + 100000 s_297 + 100000 s_298 + 100000 s_299 + 100000 s_300 + 100000 s_301 + 100000 s_302 + 100000 s_303 + 100000 s_304 + 100000 s_305 + 100000 s_306 + 100000 s_307 + 100000 s_308 + 100000 s_309 + 100000 s_310 + 100000 s_311 + 100000 s_312 + 100000 s_313 + 100000 s_314 + 100000 s_315 + 100000 s_316 + 100000 s_317 + 100000 s_318 + 100000 s_319 + 100000 s_320 + 100000 s_321 + 100000 s_322 + 100000 s_323 + 100000 s_324 + 100000 s_325 + 100000 s_326 + 100000 s_327 + 100000 s_328 + 100000 s_329 + 100000 s_330 + 100000 s_331 + 100000 s_332 + 100000 s_333 + 100000 s_334 + 100000 s_335 + 100000 s_336 + 100000 s_337 + 100000 s_338 + 100000 s_339

Subject To
1 y_0 + -0 x_0  - s_0 <= 135.87
1 y_0 + -1 x_0  - s_1 + w_r_0 <= 14.4308
1 y_0 + -1 x_0  - s_2 + w_r_0 <= 14.3936
1 y_0 + -1 x_0  - s_3 + w_r_0 <= 14.2736
1 y_0 + -1 x_0  + s_4 - w_l_0 >= 0.929828
1 y_0 + -1 x_0  + s_5 - w_l_0 >= 0.129728
0 y_0 + 1 x_0  - s_6 <= 125.052
0 y_0 + 1 x_0  - s_7 <= 125.052
1 y_0 + 1 x_0  - s_8 <= 260.35
0 y_0 + 1 x_0  - s_9 <= 125.852
0 y_0 + 1 x_0  - s_10 <= 126.652
0 y_0 + 1 x_0  - s_11 <= 125.052
0 y_0 + 1 x_0  - s_12 <= 125.852
0 y_0 + 1 x_0  - s_13 <= 126.652
0 y_0 + 1 x_0  - s_14 <= 125.052
0 y_0 + 1 x_0  - s_15 <= 125.852
0 y_0 + 1 x_0  - s_16 <= 126.652
0 y_0 + 1 x_0  - s_17 <= 125.052
0 y_0 + 1 x_0  - s_18 <= 125.852
0 y_0 + 1 x_0  - s_19 <= 126.652
0 y_0 + 1 x_0  - s_20 <= 125.052
0 y_0 + 1 x_0  - s_21 <= 125.852
0 y_0 + 1 x_0  - s_22 <= 126.652
0 y_0 + 1 x_0  - s_23 <= 125.852
0 y_0 + 1 x_0  - s_24 <= 126.652
0 y_0 + 1 x_0  - s_25 <= 125.052
0 y_0 + 1 x_0  - s_26 <= 125.852
0 y_0 + 1 x_0  - s_27 <= 126.652
0 y_0 + 1 x_0  - s_28 <= 125.852
0 y_0 + 1 x_0  - s_29 <= 126.652
0 y_0 + 1 x_0  - s_30 <= 125.052
0 y_0 + 1 x_0  - s_31 <= 125.852
0 y_0 + 1 x_0  - s_32 <= 126.652
1 y_0 + -1 x_0  + s_33 - w_l_0 >= 2.52977
0 y_0 + 1 x_0  - s_34 <= 126.652
1 y_0 + -1 x_0  + s_35 - w_l_0 >= 2.52952
1 y_0 + -1 x_0  + s_36 - w_l_0 >= 1.72967
1 y_0 + -1 x_0  + s_37 - w_l_0 >= 0.929574
0 y_0 + 1 x_0  + s_38 >= 121.255
1 y_0 + -1 x_0  - s_39 + w_r_0 <= 15.238
x_0 - xt_0 <= 121.71
x_0 + xt_0 >= 121.71
y_0 - yt_0 <= 135.85
y_0 + yt_0 >= 135.85
1 y_1 + -0 x_1  - s_40 + w_r_1 <= 137.796
1 y_1 + -1 x_1  - s_41 <= 10.7186
1 y_1 + 1 x_1  + s_42 >= 259.119
0 y_1 + 1 x_1  - s_43 <= 128.855
0 y_1 + 1 x_1  - s_44 <= 128.155
0 y_1 + 1 x_1  - s_45 <= 128.731
0 y_1 + 1 x_1  - s_46 <= 128.94
1 y_1 + 1 x_1  + s_47 >= 259.269
1 y_1 + -1 x_1  + s_48 >= 3.04208
1 y_1 + -1 x_1  + s_49 >= 10.2417
1 y_1 + 0 x_1  + s_50 - w_l_1 >= 137.745
1 y_1 + 0 x_1  + s_51 - w_l_1 >= 137.745
1 y_1 + 0 x_1  + s_52 - w_l_1 >= 137.745
0 y_1 + 1 x_1  - s_53 <= 128.103
0 y_1 + 1 x_1  - s_54 <= 129.703
1 y_1 + 0 x_1  + s_55 - w_l_1 >= 136.945
1 y_1 + 0 x_1  + s_56 - w_l_1 >= 136.945
1 y_1 + 0 x_1  + s_57 - w_l_1 >= 136.945
0 y_1 + 1 x_1  - s_58 <= 128.903
0 y_1 + 1 x_1  - s_59 <= 129.703
1 y_1 + 0 x_1  + s_60 - w_l_1 >= 136.145
1 y_1 + 0 x_1  + s_61 - w_l_1 >= 136.145
1 y_1 + 0 x_1  + s_62 - w_l_1 >= 136.145
0 y_1 + 1 x_1  - s_63 <= 128.103
0 y_1 + 1 x_1  - s_64 <= 128.903
0 y_1 + 1 x_1  - s_65 <= 129.703
1 y_1 + 0 x_1  + s_66 - w_l_1 >= 135.345
1 y_1 + 0 x_1  + s_67 - w_l_1 >= 135.345
1 y_1 + -1 x_1  + s_68 >= 10.2417
0 y_1 + 1 x_1  - s_69 <= 128.103
0 y_1 + 1 x_1  - s_70 <= 128.903
0 y_1 + 1 x_1  - s_71 <= 129.703
1 y_1 + 0 x_1  + s_72 - w_l_1 >= 134.545
1 y_1 + -1 x_1  + s_73 >= 10.242
1 y_1 + -1 x_1  + s_74 >= 9.44186
1 y_1 + -1 x_1  + s_75 >= 6.24197
0 y_1 + 1 x_1  - s_76 <= 128.903
0 y_1 + 1 x_1  - s_77 <= 129.703
1 y_1 + -1 x_1  + s_78 >= 9.44186
1 y_1 + -1 x_1  + s_79 >= 8.64176
1 y_1 + -1 x_1  + s_80 >= 5.44187
1 y_1 + -1 x_1  + s_81 >= 4.64177
1 y_1 + -1 x_1  + s_82 >= 3.84193
1 y_1 + -1 x_1  + s_83 >= 9.44186
1 y_1 + -1 x_1  + s_84 >= 8.64202
1 y_1 + -1 x_1  + s_85 >= 7.84192
1 y_1 + -1 x_1  + s_86 >= 4.64203
1 y_1 + -1 x_1  + s_87 >= 3.84193
1 y_1 + 1 x_1  + s_88 >= 257.352
1 y_1 + 1 x_1  + s_89 >= 258.304
x_1 - xt_1 <= 127.285
x_1 + xt_1 >= 127.285
y_1 - yt_1 <= 137.75
y_1 + yt_1 >= 137.75
1 y_2 + -0 x_2  - s_90 <= 137.17
0 y_2 + 1 x_2  - s_91 <= 131.903
1 y_2 + 1 x_2  - s_92 + w_r_2 <= 269.801
0 y_2 + 1 x_2  - s_93 <= 131.78
0 y_2 + 1 x_2  - s_94 <= 131.988
1 y_2 + 1 x_2  + s_95 - w_l_2 >= 259.695
1 y_2 + -1 x_2  + s_96 >= 0.529882
1 y_2 + 1 x_2  + s_97 - w_l_2 >= 261.295
0 y_2 + 1 x_2  + s_98 >= 128.414
0 y_2 + 1 x_2  + s_99 >= 129.214
0 y_2 + 1 x_2  + s_100 >= 130.014
1 y_2 + 1 x_2  - s_101 + w_r_2 <= 268.95
0 y_2 + 1 x_2  - s_102 <= 132.752
0 y_2 + 1 x_2  + s_103 >= 128.414
1 y_2 + 1 x_2  + s_104 - w_l_2 >= 265.295
1 y_2 + 1 x_2  + s_105 - w_l_2 >= 266.095
1 y_2 + -1 x_2  + s_106 >= 5.32972
1 y_2 + -1 x_2  + s_107 >= 4.52987
1 y_2 + 1 x_2  + s_108 - w_l_2 >= 263.695
1 y_2 + 1 x_2  + s_109 - w_l_2 >= 264.495
1 y_2 + 1 x_2  + s_110 - w_l_2 >= 265.295
1 y_2 + -1 x_2  + s_111 >= 5.32972
1 y_2 + -1 x_2  + s_112 >= 4.52962
1 y_2 + -1 x_2  + s_113 >= 3.72977
1 y_2 + 1 x_2  + s_114 - w_l_2 >= 262.895
1 y_2 + 1 x_2  + s_115 - w_l_2 >= 263.695
1 y_2 + 1 x_2  + s_116 - w_l_2 >= 264.495
1 y_2 + -1 x_2  + s_117 >= 4.52962
1 y_2 + -1 x_2  + s_118 >= 3.72952
1 y_2 + -1 x_2  + s_119 >= 2.92967
1 y_2 + 1 x_2  + s_120 - w_l_2 >= 262.095
1 y_2 + 1 x_2  + s_121 - w_l_2 >= 262.895
1 y_2 + 1 x_2  + s_122 - w_l_2 >= 263.695
1 y_2 + -1 x_2  + s_123 >= 3.72977
1 y_2 + -1 x_2  + s_124 >= 2.92967
1 y_2 + -1 x_2  + s_125 >= 2.12983
1 y_2 + 1 x_2  + s_126 - w_l_2 >= 262.095
1 y_2 + 1 x_2  + s_127 - w_l_2 >= 262.895
1 y_2 + -1 x_2  + s_128 >= 2.92967
1 y_2 + -1 x_2  + s_129 >= 2.12957
1 y_2 + -1 x_2  + s_130 >= 1.32973
1 y_2 + 1 x_2  + s_131 - w_l_2 >= 260.495
1 y_2 + 1 x_2  + s_132 - w_l_2 >= 261.295
1 y_2 + 1 x_2  + s_133 - w_l_2 >= 262.095
1 y_2 + -1 x_2  + s_134 >= 2.12983
1 y_2 + -1 x_2  + s_135 >= 1.32973
1 y_2 + 1 x_2  + s_136 - w_l_2 >= 260.495
1 y_2 + 1 x_2  + s_137 - w_l_2 >= 261.295
1 y_2 + -1 x_2  + s_138 >= 1.32973
1 y_2 + -1 x_2  + s_139 >= 0.529628
1 y_2 + -1 x_2  + s_140 >= -0.270218
x_2 - xt_2 <= 131.56
x_2 + xt_2 >= 131.56
y_2 - yt_2 <= 137.15
y_2 + yt_2 >= 137.15
1 y_5 + -0 x_5  + s_141 - w_l_5 >= 138.03
1 y_5 + 0 x_5  + s_142 - w_l_5 >= 138.004
1 y_5 + 0 x_5  + s_143 - w_l_5 >= 138.03
1 y_5 + -1 x_5  + s_144 >= 9.3404
1 y_5 + 1 x_5  + s_145 >= 259.066
1 y_5 + 0 x_5  + s_146 - w_l_5 >= 133.745
1 y_5 + 0 x_5  + s_147 - w_l_5 >= 137.745
1 y_5 + 0 x_5  + s_148 - w_l_5 >= 137.745
1 y_5 + 0 x_5  + s_149 - w_l_5 >= 137.745
1 y_5 + -1 x_5  + s_150 >= 10.1919
0 y_5 + 1 x_5  - s_151 <= 128.953
1 y_5 + 0 x_5  + s_152 - w_l_5 >= 136.945
1 y_5 + 0 x_5  + s_153 - w_l_5 >= 136.945
1 y_5 + 0 x_5  + s_154 - w_l_5 >= 136.945
0 y_5 + 1 x_5  - s_155 <= 128.153
0 y_5 + 1 x_5  - s_156 <= 128.953
1 y_5 + 0 x_5  + s_157 - w_l_5 >= 136.145
1 y_5 + 0 x_5  + s_158 - w_l_5 >= 136.145
1 y_5 + 0 x_5  + s_159 - w_l_5 >= 136.145
1 y_5 + -1 x_5  + s_160 >= 8.59192
0 y_5 + 1 x_5  - s_161 <= 128.153
0 y_5 + 1 x_5  - s_162 <= 128.953
1 y_5 + 0 x_5  + s_163 - w_l_5 >= 135.345
1 y_5 + 0 x_5  + s_164 - w_l_5 >= 135.345
1 y_5 + 0 x_5  + s_165 - w_l_5 >= 135.345
1 y_5 + -1 x_5  + s_166 >= 7.79182
0 y_5 + 1 x_5  - s_167 <= 128.153
0 y_5 + 1 x_5  - s_168 <= 128.953
1 y_5 + 0 x_5  + s_169 - w_l_5 >= 134.545
1 y_5 + 0 x_5  + s_170 - w_l_5 >= 134.545
1 y_5 + -1 x_5  + s_171 >= 10.1919
1 y_5 + -1 x_5  + s_172 >= 6.99197
0 y_5 + 1 x_5  - s_173 <= 128.153
0 y_5 + 1 x_5  - s_174 <= 128.953
1 y_5 + -1 x_5  + s_175 >= 10.1919
1 y_5 + -1 x_5  + s_176 >= 9.39176
1 y_5 + -1 x_5  + s_177 >= 6.19187
1 y_5 + -1 x_5  + s_178 >= 5.39177
1 y_5 + -1 x_5  + s_179 >= 4.59193
1 y_5 + 1 x_5  + s_180 >= 258.102
1 y_5 + 1 x_5  + s_181 >= 259.054
x_5 - xt_5 <= 127.685
x_5 + xt_5 >= 127.685
y_5 - yt_5 <= 138.05
y_5 + yt_5 >= 138.05
1 y_6 + -1 x_6  + s_182 - w_l_6 >= 14.4992
0 y_6 + 1 x_6  - s_183 <= 121.755
1 y_6 + -0 x_6  + s_184 >= 136.008
1 y_6 + -1 x_6  + s_185 - w_l_6 >= 4.92957
0 y_6 + 1 x_6  - s_186 <= 125.377
0 y_6 + 1 x_6  - s_187 <= 125.377
0 y_6 + 1 x_6  - s_188 <= 126.177
0 y_6 + 1 x_6  - s_189 <= 125.377
0 y_6 + 1 x_6  - s_190 <= 126.177
0 y_6 + 1 x_6  - s_191 <= 125.377
0 y_6 + 1 x_6  - s_192 <= 126.177
0 y_6 + 1 x_6  - s_193 <= 125.377
0 y_6 + 1 x_6  - s_194 <= 126.177
0 y_6 + 1 x_6  - s_195 <= 125.377
0 y_6 + 1 x_6  - s_196 <= 126.177
0 y_6 + 1 x_6  - s_197 <= 126.177
0 y_6 + 1 x_6  - s_198 <= 125.377
0 y_6 + 1 x_6  - s_199 <= 126.177
0 y_6 + 1 x_6  - s_200 <= 126.177
1 y_6 + -1 x_6  + s_201 - w_l_6 >= 4.12947
1 y_6 + -1 x_6  + s_202 - w_l_6 >= 3.32962
1 y_6 + -1 x_6  + s_203 - w_l_6 >= 2.52977
1 y_6 + 1 x_6  + s_204 >= 256.79
0 y_6 + 1 x_6  + s_205 >= 120.93
x_6 - xt_6 <= 121.685
x_6 + xt_6 >= 121.685
y_6 - yt_6 <= 136.475
y_6 + yt_6 >= 136.475
1 y_7 + -1 x_7  + s_206 - w_l_7 >= 14.6864
0 y_7 + 1 x_7  - s_207 <= 123.206
1 y_7 + -0 x_7  + s_208 >= 134.407
1 y_7 + 1 x_7  + s_209 - w_l_7 >= 253.827
0 y_7 + 1 x_7  + s_210 >= 119.479
x_7 - xt_7 <= 119.96
x_7 + xt_7 >= 119.96
y_7 - yt_7 <= 134.9
y_7 + yt_7 >= 134.9
0 y_8 + 1 x_8  + s_211 + w_r_8 >= 131.315
1 y_8 + 1 x_8  + s_212 + w_r_8 >= 269.069
1 y_8 + 1 x_8  + s_213 >= 269.244
1 y_8 + -1 x_8  + s_214 + w_r_8 >= -0.520118
1 y_8 + 1 x_8  + s_215 - w_l_8 >= 261.295
0 y_8 + 1 x_8  + s_216 - w_l_8 >= 127.889
0 y_8 + 1 x_8  + s_217 >= 128.689
0 y_8 + 1 x_8  + s_218 + w_r_8 >= 129.489
0 y_8 + 1 x_8  + s_219 + w_r_8 >= 132.689
0 y_8 + 1 x_8  - s_220 <= 133.277
0 y_8 + 1 x_8  + s_221 - w_l_8 >= 127.889
0 y_8 + 1 x_8  + s_222 - w_l_8 >= 128.689
0 y_8 + 1 x_8  + s_223 - w_l_8 >= 129.489
1 y_8 + -1 x_8  + s_224 >= 4.27972
1 y_8 + -1 x_8  + s_225 + w_r_8 >= 3.47987
0 y_8 + 1 x_8  + s_226 - w_l_8 >= 127.889
0 y_8 + 1 x_8  + s_227 + w_r_8 >= 128.689
1 y_8 + 1 x_8  + s_228 - w_l_8 >= 265.295
1 y_8 + 1 x_8  + s_229 - w_l_8 >= 268.495
1 y_8 + -1 x_8  + s_230 + w_r_8 >= 3.47962
1 y_8 + -1 x_8  + s_231 + w_r_8 >= 2.67977
1 y_8 + 1 x_8  + s_232 - w_l_8 >= 262.895
1 y_8 + 1 x_8  + s_233 + w_r_8 >= 263.695
1 y_8 + 1 x_8  + s_234 >= 264.495
1 y_8 + 0 x_8  + s_235 >= 135.446
1 y_8 + -1 x_8  + s_236 >= 2.67952
1 y_8 + -1 x_8  + s_237 + w_r_8 >= 1.87967
1 y_8 + 1 x_8  + s_238 >= 262.095
1 y_8 + 1 x_8  + s_239 + w_r_8 >= 262.895
1 y_8 + 1 x_8  + s_240 >= 263.695
1 y_8 + 0 x_8  + s_241 + w_r_8 >= 134.646
1 y_8 + -1 x_8  + s_242 + w_r_8 >= 1.87967
1 y_8 + -1 x_8  + s_243 + w_r_8 >= 1.07983
1 y_8 + 1 x_8  + s_244 + w_r_8 >= 262.095
1 y_8 + 1 x_8  + s_245 - w_l_8 >= 262.895
1 y_8 + 0 x_8  + s_246 + w_r_8 >= 133.846
1 y_8 + 0 x_8  + s_247 + w_r_8 >= 133.846
1 y_8 + -1 x_8  + s_248 + w_r_8 >= 0.279728
1 y_8 + 1 x_8  + s_249 + w_r_8 >= 260.495
1 y_8 + 1 x_8  + s_250 >= 261.295
1 y_8 + 1 x_8  + s_251 + w_r_8 >= 262.095
1 y_8 + 0 x_8  + s_252 + w_r_8 >= 133.046
1 y_8 + 0 x_8  + s_253 >= 133.046
x_8 - xt_8 <= 132.885
x_8 + xt_8 >= 132.885
y_8 - yt_8 <= 137.425
y_8 + yt_8 >= 137.425
0 y_9 + 1 x_9  + s_254 + w_r_9 >= 131.515
1 y_9 + 1 x_9  + s_255 >= 269.069
1 y_9 + 1 x_9  + s_256 >= 269.244
1 y_9 + -1 x_9  + s_257 >= -0.120118
1 y_9 + 1 x_9  + s_258 + w_r_9 >= 261.295
0 y_9 + 1 x_9  + s_259 >= 128.089
0 y_9 + 1 x_9  + s_260 - w_l_9 >= 128.889
0 y_9 + 1 x_9  + s_261 >= 129.689
1 y_9 + 1 x_9  + s_262 >= 270.095
0 y_9 + 1 x_9  - s_263 - w_l_9 <= 133.077
0 y_9 + 1 x_9  + s_264 - w_l_9 >= 128.089
0 y_9 + 1 x_9  + s_265 - w_l_9 >= 128.889
1 y_9 + 1 x_9  + s_266 - w_l_9 >= 266.095
1 y_9 + -1 x_9  + s_267 + w_r_9 >= 4.67972
1 y_9 + -1 x_9  + s_268 >= 3.87987
1 y_9 + 1 x_9  + s_269 + w_r_9 >= 263.695
1 y_9 + 1 x_9  + s_270 - w_l_9 >= 264.495
1 y_9 + 1 x_9  + s_271 - w_l_9 >= 265.295
1 y_9 + -1 x_9  + s_272 + w_r_9 >= 4.67972
1 y_9 + -1 x_9  + s_273 >= 3.87962
1 y_9 + -1 x_9  + s_274 >= 3.07977
1 y_9 + 1 x_9  + s_275 - w_l_9 >= 262.895
1 y_9 + 1 x_9  + s_276 + w_r_9 >= 263.695
1 y_9 + 1 x_9  + s_277 + w_r_9 >= 264.495
1 y_9 + -1 x_9  + s_278 + w_r_9 >= 3.87962
1 y_9 + -1 x_9  + s_279 + w_r_9 >= 3.07952
1 y_9 + -1 x_9  + s_280 + w_r_9 >= 2.27967
1 y_9 + 1 x_9  + s_281 + w_r_9 >= 262.095
1 y_9 + 1 x_9  + s_282 >= 262.895
1 y_9 + 1 x_9  + s_283 + w_r_9 >= 263.695
1 y_9 + -1 x_9  + s_284 + w_r_9 >= 3.07977
1 y_9 + -1 x_9  + s_285 + w_r_9 >= 2.27967
1 y_9 + -1 x_9  + s_286 + w_r_9 >= 1.47983
1 y_9 + 1 x_9  + s_287 + w_r_9 >= 262.095
1 y_9 + 1 x_9  + s_288 + w_r_9 >= 262.895
1 y_9 + -1 x_9  + s_289 + w_r_9 >= 2.27967
1 y_9 + -1 x_9  + s_290 + w_r_9 >= 1.47957
1 y_9 + -1 x_9  + s_291 + w_r_9 >= 0.679728
1 y_9 + 1 x_9  + s_292 + w_r_9 >= 260.495
1 y_9 + 1 x_9  + s_293 + w_r_9 >= 261.295
1 y_9 + 1 x_9  + s_294 >= 262.095
1 y_9 + 0 x_9  + s_295 + w_r_9 >= 133.246
1 y_9 + -1 x_9  + s_296 + w_r_9 >= 0.679728
x_9 - xt_9 <= 132.385
x_9 + xt_9 >= 132.385
y_9 - yt_9 <= 137.775
y_9 + yt_9 >= 137.775
0 y_10 + 1 x_10  + s_297 + w_r_10 >= 131.289
1 y_10 + 1 x_10  + s_298 + w_r_10 >= 269.181
1 y_10 + 1 x_10  + s_299 + w_r_10 >= 269.356
1 y_10 + -1 x_10  + s_300 + w_r_10 >= -0.557921
1 y_10 + 1 x_10  + s_301 >= 261.408
0 y_10 + 1 x_10  + s_302 - w_l_10 >= 127.863
0 y_10 + 1 x_10  + s_303 - w_l_10 >= 128.663
0 y_10 + 1 x_10  + s_304 - w_l_10 >= 129.463
0 y_10 + 1 x_10  + s_305 - w_l_10 >= 132.663
0 y_10 + 1 x_10  - s_306 - w_l_10 <= 133.303
0 y_10 + 1 x_10  + s_307 - w_l_10 >= 127.863
0 y_10 + 1 x_10  + s_308 - w_l_10 >= 128.663
0 y_10 + 1 x_10  + s_309 >= 129.463
1 y_10 + -1 x_10  + s_310 + w_r_10 >= 4.24192
1 y_10 + -1 x_10  + s_311 + w_r_10 >= 3.44207
0 y_10 + 1 x_10  + s_312 - w_l_10 >= 127.863
0 y_10 + 1 x_10  + s_313 + w_r_10 >= 128.663
1 y_10 + 1 x_10  + s_314 + w_r_10 >= 265.408
1 y_10 + 0 x_10  + s_315 + w_r_10 >= 136.145
1 y_10 + -1 x_10  + s_316 >= 3.44182
1 y_10 + -1 x_10  + s_317 + w_r_10 >= 2.64197
1 y_10 + 1 x_10  + s_318 + w_r_10 >= 263.007
1 y_10 + 1 x_10  + s_319 - w_l_10 >= 263.807
1 y_10 + 1 x_10  + s_320 + w_r_10 >= 264.607
1 y_10 + 0 x_10  + s_321 >= 135.345
1 y_10 + -1 x_10  + s_322 + w_r_10 >= 2.64172
1 y_10 + -1 x_10  + s_323 + w_r_10 >= 1.84187
1 y_10 + 1 x_10  + s_324 + w_r_10 >= 262.208
1 y_10 + 1 x_10  + s_325 + w_r_10 >= 263.007
1 y_10 + 1 x_10  + s_326 - w_l_10 >= 263.808
1 y_10 + 0 x_10  + s_327 + w_r_10 >= 134.545
1 y_10 + -1 x_10  + s_328 + w_r_10 >= 1.84187
1 y_10 + -1 x_10  + s_329 + w_r_10 >= 1.04203
1 y_10 + 1 x_10  + s_330 + w_r_10 >= 262.207
1 y_10 + 1 x_10  + s_331 + w_r_10 >= 263.007
1 y_10 + 0 x_10  + s_332 + w_r_10 >= 133.745
1 y_10 + 0 x_10  + s_333 + w_r_10 >= 133.745
1 y_10 + -1 x_10  + s_334 - w_l_10 >= 0.241925
1 y_10 + 1 x_10  + s_335 + w_r_10 >= 260.608
1 y_10 + 1 x_10  + s_336 - w_l_10 >= 261.408
1 y_10 + 1 x_10  + s_337 + w_r_10 >= 262.208
1 y_10 + 0 x_10  + s_338 + w_r_10 >= 132.945
1 y_10 + 0 x_10  + s_339 + w_r_10 >= 132.945
x_10 - xt_10 <= 132.735
x_10 + xt_10 >= 132.735
y_10 - yt_10 <= 137.5
y_10 + yt_10 >= 137.5
 + 7.05251 w_r_0 + 7.05251 w_l_0 + 9.64567 w_r_1 + 9.64567 w_l_1 + 2.22711 w_r_2 + 2.22711 w_l_2 >= 0.323654
 + 11.6142 w_l_5 + 5.84616 w_l_6 + 0.393701 w_l_7 + 0.278388 w_r_8 + 0.278388 w_l_8 + 1.02076 w_r_9 + 1.02076 w_l_9 + 0.19685 w_r_10 + 0.19685 w_l_10 >= 0
 w_r_0 +  w_l_0 - 1000 B_0 >= -999.3
1000 B_0 + w_r_0 +  w_l_0 >= 0
-1000 B_0 + w_r_0 +  w_l_0 <= 0
 w_r_1 +  w_l_1 - 1000 B_1 >= -999.3
1000 B_1 + w_r_1 +  w_l_1 >= 0
-1000 B_1 + w_r_1 +  w_l_1 <= 0
 w_r_2 +  w_l_2 - 1000 B_2 >= -999.3
1000 B_2 + w_r_2 +  w_l_2 >= 0
-1000 B_2 + w_r_2 +  w_l_2 <= 0
 w_l_5 - 1000 B_5 >= -999.3
1000 B_5 + w_l_5 >= 0
-1000 B_5 + w_l_5 <= 0
 w_l_6 - 1000 B_6 >= -999.3
1000 B_6 + w_l_6 >= 0
-1000 B_6 + w_l_6 <= 0
 w_l_7 - 1000 B_7 >= -999.3
1000 B_7 + w_l_7 >= 0
-1000 B_7 + w_l_7 <= 0
 w_r_8 +  w_l_8 - 1000 B_8 >= -999.3
1000 B_8 + w_r_8 +  w_l_8 >= 0
-1000 B_8 + w_r_8 +  w_l_8 <= 0
 w_r_9 +  w_l_9 - 1000 B_9 >= -999.3
1000 B_9 + w_r_9 +  w_l_9 >= 0
-1000 B_9 + w_r_9 +  w_l_9 <= 0
 w_r_10 +  w_l_10 - 1000 B_10 >= -999.3
1000 B_10 + w_r_10 +  w_l_10 >= 0
-1000 B_10 + w_r_10 +  w_l_10 <= 0

Bounds
x_0 >= 0
y_0 >= 0
w_r_0 >= 0
w_r_0 >= 0
w_r_0 >= 0
w_l_0 >= 0
w_l_0 >= 0
w_l_0 >= 0
w_l_0 >= 0
w_l_0 >= 0
w_l_0 >= 0
w_r_0 >= 0
s_0 >= 0
s_1 >= 0
s_2 >= 0
s_3 >= 0
s_4 >= 0
s_5 >= 0
s_6 >= 0
s_7 >= 0
s_8 >= 0
s_9 >= 0
s_10 >= 0
s_11 >= 0
s_12 >= 0
s_13 >= 0
s_14 >= 0
s_15 >= 0
s_16 >= 0
s_17 >= 0
s_18 >= 0
s_19 >= 0
s_20 >= 0
s_21 >= 0
s_22 >= 0
s_23 >= 0
s_24 >= 0
s_25 >= 0
s_26 >= 0
s_27 >= 0
s_28 >= 0
s_29 >= 0
s_30 >= 0
s_31 >= 0
s_32 >= 0
s_33 >= 0
s_34 >= 0
s_35 >= 0
s_36 >= 0
s_37 >= 0
s_38 >= 0
s_39 >= 0
x_1 >= 0
y_1 >= 0
w_r_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
w_l_1 >= 0
s_40 >= 0
s_41 >= 0
s_42 >= 0
s_43 >= 0
s_44 >= 0
s_45 >= 0
s_46 >= 0
s_47 >= 0
s_48 >= 0
s_49 >= 0
s_50 >= 0
s_51 >= 0
s_52 >= 0
s_53 >= 0
s_54 >= 0
s_55 >= 0
s_56 >= 0
s_57 >= 0
s_58 >= 0
s_59 >= 0
s_60 >= 0
s_61 >= 0
s_62 >= 0
s_63 >= 0
s_64 >= 0
s_65 >= 0
s_66 >= 0
s_67 >= 0
s_68 >= 0
s_69 >= 0
s_70 >= 0
s_71 >= 0
s_72 >= 0
s_73 >= 0
s_74 >= 0
s_75 >= 0
s_76 >= 0
s_77 >= 0
s_78 >= 0
s_79 >= 0
s_80 >= 0
s_81 >= 0
s_82 >= 0
s_83 >= 0
s_84 >= 0
s_85 >= 0
s_86 >= 0
s_87 >= 0
s_88 >= 0
s_89 >= 0
x_2 >= 0
y_2 >= 0
w_r_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_r_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
w_l_2 >= 0
s_90 >= 0
s_91 >= 0
s_92 >= 0
s_93 >= 0
s_94 >= 0
s_95 >= 0
s_96 >= 0
s_97 >= 0
s_98 >= 0
s_99 >= 0
s_100 >= 0
s_101 >= 0
s_102 >= 0
s_103 >= 0
s_104 >= 0
s_105 >= 0
s_106 >= 0
s_107 >= 0
s_108 >= 0
s_109 >= 0
s_110 >= 0
s_111 >= 0
s_112 >= 0
s_113 >= 0
s_114 >= 0
s_115 >= 0
s_116 >= 0
s_117 >= 0
s_118 >= 0
s_119 >= 0
s_120 >= 0
s_121 >= 0
s_122 >= 0
s_123 >= 0
s_124 >= 0
s_125 >= 0
s_126 >= 0
s_127 >= 0
s_128 >= 0
s_129 >= 0
s_130 >= 0
s_131 >= 0
s_132 >= 0
s_133 >= 0
s_134 >= 0
s_135 >= 0
s_136 >= 0
s_137 >= 0
s_138 >= 0
s_139 >= 0
s_140 >= 0
x_5 >= 0
y_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
w_l_5 >= 0
s_141 >= 0
s_142 >= 0
s_143 >= 0
s_144 >= 0
s_145 >= 0
s_146 >= 0
s_147 >= 0
s_148 >= 0
s_149 >= 0
s_150 >= 0
s_151 >= 0
s_152 >= 0
s_153 >= 0
s_154 >= 0
s_155 >= 0
s_156 >= 0
s_157 >= 0
s_158 >= 0
s_159 >= 0
s_160 >= 0
s_161 >= 0
s_162 >= 0
s_163 >= 0
s_164 >= 0
s_165 >= 0
s_166 >= 0
s_167 >= 0
s_168 >= 0
s_169 >= 0
s_170 >= 0
s_171 >= 0
s_172 >= 0
s_173 >= 0
s_174 >= 0
s_175 >= 0
s_176 >= 0
s_177 >= 0
s_178 >= 0
s_179 >= 0
s_180 >= 0
s_181 >= 0
x_6 >= 0
y_6 >= 0
w_l_6 >= 0
w_l_6 >= 0
w_l_6 >= 0
w_l_6 >= 0
w_l_6 >= 0
s_182 >= 0
s_183 >= 0
s_184 >= 0
s_185 >= 0
s_186 >= 0
s_187 >= 0
s_188 >= 0
s_189 >= 0
s_190 >= 0
s_191 >= 0
s_192 >= 0
s_193 >= 0
s_194 >= 0
s_195 >= 0
s_196 >= 0
s_197 >= 0
s_198 >= 0
s_199 >= 0
s_200 >= 0
s_201 >= 0
s_202 >= 0
s_203 >= 0
s_204 >= 0
s_205 >= 0
x_7 >= 0
y_7 >= 0
w_l_7 >= 0
w_l_7 >= 0
s_206 >= 0
s_207 >= 0
s_208 >= 0
s_209 >= 0
s_210 >= 0
x_8 >= 0
y_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_l_8 >= 0
w_l_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_l_8 >= 0
w_l_8 >= 0
w_l_8 >= 0
w_r_8 >= 0
w_l_8 >= 0
w_r_8 >= 0
w_l_8 >= 0
w_l_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_l_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_l_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
w_r_8 >= 0
s_211 >= 0
s_212 >= 0
s_213 >= 0
s_214 >= 0
s_215 >= 0
s_216 >= 0
s_217 >= 0
s_218 >= 0
s_219 >= 0
s_220 >= 0
s_221 >= 0
s_222 >= 0
s_223 >= 0
s_224 >= 0
s_225 >= 0
s_226 >= 0
s_227 >= 0
s_228 >= 0
s_229 >= 0
s_230 >= 0
s_231 >= 0
s_232 >= 0
s_233 >= 0
s_234 >= 0
s_235 >= 0
s_236 >= 0
s_237 >= 0
s_238 >= 0
s_239 >= 0
s_240 >= 0
s_241 >= 0
s_242 >= 0
s_243 >= 0
s_244 >= 0
s_245 >= 0
s_246 >= 0
s_247 >= 0
s_248 >= 0
s_249 >= 0
s_250 >= 0
s_251 >= 0
s_252 >= 0
s_253 >= 0
x_9 >= 0
y_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_l_9 >= 0
w_l_9 >= 0
w_l_9 >= 0
w_l_9 >= 0
w_l_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_l_9 >= 0
w_l_9 >= 0
w_r_9 >= 0
w_l_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
w_r_9 >= 0
s_254 >= 0
s_255 >= 0
s_256 >= 0
s_257 >= 0
s_258 >= 0
s_259 >= 0
s_260 >= 0
s_261 >= 0
s_262 >= 0
s_263 >= 0
s_264 >= 0
s_265 >= 0
s_266 >= 0
s_267 >= 0
s_268 >= 0
s_269 >= 0
s_270 >= 0
s_271 >= 0
s_272 >= 0
s_273 >= 0
s_274 >= 0
s_275 >= 0
s_276 >= 0
s_277 >= 0
s_278 >= 0
s_279 >= 0
s_280 >= 0
s_281 >= 0
s_282 >= 0
s_283 >= 0
s_284 >= 0
s_285 >= 0
s_286 >= 0
s_287 >= 0
s_288 >= 0
s_289 >= 0
s_290 >= 0
s_291 >= 0
s_292 >= 0
s_293 >= 0
s_294 >= 0
s_295 >= 0
s_296 >= 0
x_10 >= 0
y_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_l_10 >= 0
w_l_10 >= 0
w_l_10 >= 0
w_l_10 >= 0
w_l_10 >= 0
w_l_10 >= 0
w_l_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_l_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_l_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_l_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_l_10 >= 0
w_r_10 >= 0
w_l_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
w_r_10 >= 0
s_297 >= 0
s_298 >= 0
s_299 >= 0
s_300 >= 0
s_301 >= 0
s_302 >= 0
s_303 >= 0
s_304 >= 0
s_305 >= 0
s_306 >= 0
s_307 >= 0
s_308 >= 0
s_309 >= 0
s_310 >= 0
s_311 >= 0
s_312 >= 0
s_313 >= 0
s_314 >= 0
s_315 >= 0
s_316 >= 0
s_317 >= 0
s_318 >= 0
s_319 >= 0
s_320 >= 0
s_321 >= 0
s_322 >= 0
s_323 >= 0
s_324 >= 0
s_325 >= 0
s_326 >= 0
s_327 >= 0
s_328 >= 0
s_329 >= 0
s_330 >= 0
s_331 >= 0
s_332 >= 0
s_333 >= 0
s_334 >= 0
s_335 >= 0
s_336 >= 0
s_337 >= 0
s_338 >= 0
s_339 >= 0

Binary
B_0
B_1
B_2
B_5
B_6
B_7
B_8
B_9
B_10
End