## ams_version=1.0 Model Main_p_ball_30b_10p_2d_m { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Variable x301 { Range: nonnegative; } Variable x302 { Range: nonnegative; } Variable x303 { Range: nonnegative; } Variable x304 { Range: nonnegative; } Variable x305 { Range: nonnegative; } Variable x306 { Range: nonnegative; } Variable x307 { Range: nonnegative; } Variable x308 { Range: nonnegative; } Variable x309 { Range: nonnegative; } Variable x310 { Range: nonnegative; } Variable x311 { Range: nonnegative; } Variable x312 { Range: nonnegative; } Variable x313 { Range: nonnegative; } Variable x314 { Range: nonnegative; } Variable x315 { Range: nonnegative; } Variable x316 { Range: nonnegative; } Variable x317 { Range: nonnegative; } Variable x318 { Range: nonnegative; } Variable x319 { Range: nonnegative; } Variable x320 { Range: nonnegative; } Variable x321 { Range: nonnegative; } Variable x322 { Range: nonnegative; } Variable x323 { Range: nonnegative; } Variable x324 { Range: nonnegative; } Variable x325 { Range: nonnegative; } Variable x326 { Range: nonnegative; } Variable x327 { Range: nonnegative; } Variable x328 { Range: nonnegative; } Variable x329 { Range: nonnegative; } Variable x330 { Range: nonnegative; } Variable x331 { Range: nonnegative; } Variable x332 { Range: nonnegative; } Variable x333 { Range: nonnegative; } Variable x334 { Range: nonnegative; } Variable x335 { Range: nonnegative; } Variable x336 { Range: nonnegative; } Variable x337 { Range: nonnegative; } Variable x338 { Range: nonnegative; } Variable x339 { Range: nonnegative; } Variable x340 { Range: nonnegative; } Variable x341 { Range: nonnegative; } Variable x342 { Range: nonnegative; } Variable x343 { Range: nonnegative; } Variable x344 { Range: nonnegative; } Variable x345 { Range: nonnegative; } Variable x346 { Range: nonnegative; } Variable x347 { Range: nonnegative; } Variable x348 { Range: nonnegative; } Variable x349 { Range: nonnegative; } Variable x350 { Range: nonnegative; } Variable x351 { Range: nonnegative; } Variable x352 { Range: nonnegative; } Variable x353 { Range: nonnegative; } Variable x354 { Range: nonnegative; } Variable x355 { Range: nonnegative; } Variable x356 { Range: nonnegative; } Variable x357 { Range: nonnegative; } Variable x358 { Range: nonnegative; } Variable x359 { Range: nonnegative; } Variable x360 { Range: nonnegative; } Variable x361 { Range: nonnegative; } Variable x362 { Range: nonnegative; } Variable x363 { Range: nonnegative; } Variable x364 { Range: nonnegative; } Variable x365 { Range: nonnegative; } Variable x366 { Range: nonnegative; } Variable x367 { Range: nonnegative; } Variable x368 { Range: nonnegative; } Variable x369 { Range: nonnegative; } Variable x370 { Range: nonnegative; } Variable x371 { Range: nonnegative; } Variable x372 { Range: nonnegative; } Variable x373 { Range: nonnegative; } Variable x374 { Range: nonnegative; } Variable x375 { Range: nonnegative; } Variable x376 { Range: nonnegative; } Variable x377 { Range: nonnegative; } Variable x378 { Range: nonnegative; } Variable x379 { Range: nonnegative; } Variable x380 { Range: nonnegative; } Variable x381 { Range: nonnegative; } Variable x382 { Range: nonnegative; } Variable x383 { Range: nonnegative; } Variable x384 { Range: nonnegative; } Variable x385 { Range: nonnegative; } Variable x386 { Range: nonnegative; } Variable x387 { Range: nonnegative; } Variable x388 { Range: nonnegative; } Variable x389 { Range: nonnegative; } Variable x390 { Range: nonnegative; } Variable x391 { Range: nonnegative; } Variable x392 { Range: nonnegative; } Variable x393 { Range: nonnegative; } Variable x394 { Range: nonnegative; } Variable x395 { Range: nonnegative; } Variable x396 { Range: nonnegative; } Variable x397 { Range: nonnegative; } Variable x398 { Range: nonnegative; } Variable x399 { Range: nonnegative; } Variable x400 { Range: nonnegative; } Variable x401 { Range: nonnegative; } Variable x402 { Range: nonnegative; } Variable x403 { Range: nonnegative; } Variable x404 { Range: nonnegative; } Variable x405 { Range: nonnegative; } Variable x406 { Range: nonnegative; } Variable x407 { Range: nonnegative; } Variable x408 { Range: nonnegative; } Variable x409 { Range: nonnegative; } Variable x410 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x301 - x302 - x303 <= 0; } Constraint e2 { Definition: - x301 + x302 - x303 <= 0; } Constraint e3 { Definition: x304 - x305 - x306 <= 0; } Constraint e4 { Definition: - x304 + x305 - x306 <= 0; } Constraint e5 { Definition: x301 - x307 - x308 <= 0; } Constraint e6 { Definition: - x301 + x307 - x308 <= 0; } Constraint e7 { Definition: x304 - x309 - x310 <= 0; } Constraint e8 { Definition: - x304 + x309 - x310 <= 0; } Constraint e9 { Definition: x301 - x311 - x312 <= 0; } Constraint e10 { Definition: - x301 + x311 - x312 <= 0; } Constraint e11 { Definition: x304 - x313 - x314 <= 0; } Constraint e12 { Definition: - x304 + x313 - x314 <= 0; } Constraint e13 { Definition: x301 - x315 - x316 <= 0; } Constraint e14 { Definition: - x301 + x315 - x316 <= 0; } Constraint e15 { Definition: x304 - x317 - x318 <= 0; } Constraint e16 { Definition: - x304 + x317 - x318 <= 0; } Constraint e17 { Definition: x301 - x319 - x320 <= 0; } Constraint e18 { Definition: - x301 + x319 - x320 <= 0; } Constraint e19 { Definition: x304 - x321 - x322 <= 0; } Constraint e20 { Definition: - x304 + x321 - x322 <= 0; } Constraint e21 { Definition: x301 - x323 - x324 <= 0; } Constraint e22 { Definition: - x301 + x323 - x324 <= 0; } Constraint e23 { Definition: x304 - x325 - x326 <= 0; } Constraint e24 { Definition: - x304 + x325 - x326 <= 0; } Constraint e25 { Definition: x301 - x327 - x328 <= 0; } Constraint e26 { Definition: - x301 + x327 - x328 <= 0; } Constraint e27 { Definition: x304 - x329 - x330 <= 0; } Constraint e28 { Definition: - x304 + x329 - x330 <= 0; } Constraint e29 { Definition: x301 - x331 - x332 <= 0; } Constraint e30 { Definition: - x301 + x331 - x332 <= 0; } Constraint e31 { Definition: x304 - x333 - x334 <= 0; } Constraint e32 { Definition: - x304 + x333 - x334 <= 0; } Constraint e33 { Definition: x301 - x335 - x336 <= 0; } Constraint e34 { Definition: - x301 + x335 - x336 <= 0; } Constraint e35 { Definition: x304 - x337 - x338 <= 0; } Constraint e36 { Definition: - x304 + x337 - x338 <= 0; } Constraint e37 { Definition: x302 - x307 - x339 <= 0; } Constraint e38 { Definition: - x302 + x307 - x339 <= 0; } Constraint e39 { Definition: x305 - x309 - x340 <= 0; } Constraint e40 { Definition: - x305 + x309 - x340 <= 0; } Constraint e41 { Definition: x302 - x311 - x341 <= 0; } Constraint e42 { Definition: - x302 + x311 - x341 <= 0; } Constraint e43 { Definition: x305 - x313 - x342 <= 0; } Constraint e44 { Definition: - x305 + x313 - x342 <= 0; } Constraint e45 { Definition: x302 - x315 - x343 <= 0; } Constraint e46 { Definition: - x302 + x315 - x343 <= 0; } Constraint e47 { Definition: x305 - x317 - x344 <= 0; } Constraint e48 { Definition: - x305 + x317 - x344 <= 0; } Constraint e49 { Definition: x302 - x319 - x345 <= 0; } Constraint e50 { Definition: - x302 + x319 - x345 <= 0; } Constraint e51 { Definition: x305 - x321 - x346 <= 0; } Constraint e52 { Definition: - x305 + x321 - x346 <= 0; } Constraint e53 { Definition: x302 - x323 - x347 <= 0; } Constraint e54 { Definition: - x302 + x323 - x347 <= 0; } Constraint e55 { Definition: x305 - x325 - x348 <= 0; } Constraint e56 { Definition: - x305 + x325 - x348 <= 0; } Constraint e57 { Definition: x302 - x327 - x349 <= 0; } Constraint e58 { Definition: - x302 + x327 - x349 <= 0; } Constraint e59 { Definition: x305 - x329 - x350 <= 0; } Constraint e60 { Definition: - x305 + x329 - x350 <= 0; } Constraint e61 { Definition: x302 - x331 - x351 <= 0; } Constraint e62 { Definition: - x302 + x331 - x351 <= 0; } Constraint e63 { Definition: x305 - x333 - x352 <= 0; } Constraint e64 { Definition: - x305 + x333 - x352 <= 0; } Constraint e65 { Definition: x302 - x335 - x353 <= 0; } Constraint e66 { Definition: - x302 + x335 - x353 <= 0; } Constraint e67 { Definition: x305 - x337 - x354 <= 0; } Constraint e68 { Definition: - x305 + x337 - x354 <= 0; } Constraint e69 { Definition: x307 - x311 - x355 <= 0; } Constraint e70 { Definition: - x307 + x311 - x355 <= 0; } Constraint e71 { Definition: x309 - x313 - x356 <= 0; } Constraint e72 { Definition: - x309 + x313 - x356 <= 0; } Constraint e73 { Definition: x307 - x315 - x357 <= 0; } Constraint e74 { Definition: - x307 + x315 - x357 <= 0; } Constraint e75 { Definition: x309 - x317 - x358 <= 0; } Constraint e76 { Definition: - x309 + x317 - x358 <= 0; } Constraint e77 { Definition: x307 - x319 - x359 <= 0; } Constraint e78 { Definition: - x307 + x319 - x359 <= 0; } Constraint e79 { Definition: x309 - x321 - x360 <= 0; } Constraint e80 { Definition: - x309 + x321 - x360 <= 0; } Constraint e81 { Definition: x307 - x323 - x361 <= 0; } Constraint e82 { Definition: - x307 + x323 - x361 <= 0; } Constraint e83 { Definition: x309 - x325 - x362 <= 0; } Constraint e84 { Definition: - x309 + x325 - x362 <= 0; } Constraint e85 { Definition: x307 - x327 - x363 <= 0; } Constraint e86 { Definition: - x307 + x327 - x363 <= 0; } Constraint e87 { Definition: x309 - x329 - x364 <= 0; } Constraint e88 { Definition: - x309 + x329 - x364 <= 0; } Constraint e89 { Definition: x307 - x331 - x365 <= 0; } Constraint e90 { Definition: - x307 + x331 - x365 <= 0; } Constraint e91 { Definition: x309 - x333 - x366 <= 0; } Constraint e92 { Definition: - x309 + x333 - x366 <= 0; } Constraint e93 { Definition: x307 - x335 - x367 <= 0; } Constraint e94 { Definition: - x307 + x335 - x367 <= 0; } Constraint e95 { Definition: x309 - x337 - x368 <= 0; } Constraint e96 { Definition: - x309 + x337 - x368 <= 0; } Constraint e97 { Definition: x311 - x315 - x369 <= 0; } Constraint e98 { Definition: - x311 + x315 - x369 <= 0; } Constraint e99 { Definition: x313 - x317 - x370 <= 0; } Constraint e100 { Definition: - x313 + x317 - x370 <= 0; } Constraint e101 { Definition: x311 - x319 - x371 <= 0; } Constraint e102 { Definition: - x311 + x319 - x371 <= 0; } Constraint e103 { Definition: x313 - x321 - x372 <= 0; } Constraint e104 { Definition: - x313 + x321 - x372 <= 0; } Constraint e105 { Definition: x311 - x323 - x373 <= 0; } Constraint e106 { Definition: - x311 + x323 - x373 <= 0; } Constraint e107 { Definition: x313 - x325 - x374 <= 0; } Constraint e108 { Definition: - x313 + x325 - x374 <= 0; } Constraint e109 { Definition: x311 - x327 - x375 <= 0; } Constraint e110 { Definition: - x311 + x327 - x375 <= 0; } Constraint e111 { Definition: x313 - x329 - x376 <= 0; } Constraint e112 { Definition: - x313 + x329 - x376 <= 0; } Constraint e113 { Definition: x311 - x331 - x377 <= 0; } Constraint e114 { Definition: - x311 + x331 - x377 <= 0; } Constraint e115 { Definition: x313 - x333 - x378 <= 0; } Constraint e116 { Definition: - x313 + x333 - x378 <= 0; } Constraint e117 { Definition: x311 - x335 - x379 <= 0; } Constraint e118 { Definition: - x311 + x335 - x379 <= 0; } Constraint e119 { Definition: x313 - x337 - x380 <= 0; } Constraint e120 { Definition: - x313 + x337 - x380 <= 0; } Constraint e121 { Definition: x315 - x319 - x381 <= 0; } Constraint e122 { Definition: - x315 + x319 - x381 <= 0; } Constraint e123 { Definition: x317 - x321 - x382 <= 0; } Constraint e124 { Definition: - x317 + x321 - x382 <= 0; } Constraint e125 { Definition: x315 - x323 - x383 <= 0; } Constraint e126 { Definition: - x315 + x323 - x383 <= 0; } Constraint e127 { Definition: x317 - x325 - x384 <= 0; } Constraint e128 { Definition: - x317 + x325 - x384 <= 0; } Constraint e129 { Definition: x315 - x327 - x385 <= 0; } Constraint e130 { Definition: - x315 + x327 - x385 <= 0; } Constraint e131 { Definition: x317 - x329 - x386 <= 0; } Constraint e132 { Definition: - x317 + x329 - x386 <= 0; } Constraint e133 { Definition: x315 - x331 - x387 <= 0; } Constraint e134 { Definition: - x315 + x331 - x387 <= 0; } Constraint e135 { Definition: x317 - x333 - x388 <= 0; } Constraint e136 { Definition: - x317 + x333 - x388 <= 0; } Constraint e137 { Definition: x315 - x335 - x389 <= 0; } Constraint e138 { Definition: - x315 + x335 - x389 <= 0; } Constraint e139 { Definition: x317 - x337 - x390 <= 0; } Constraint e140 { Definition: - x317 + x337 - x390 <= 0; } Constraint e141 { Definition: x319 - x323 - x391 <= 0; } Constraint e142 { Definition: - x319 + x323 - x391 <= 0; } Constraint e143 { Definition: x321 - x325 - x392 <= 0; } Constraint e144 { Definition: - x321 + x325 - x392 <= 0; } Constraint e145 { Definition: x319 - x327 - x393 <= 0; } Constraint e146 { Definition: - x319 + x327 - x393 <= 0; } Constraint e147 { Definition: x321 - x329 - x394 <= 0; } Constraint e148 { Definition: - x321 + x329 - x394 <= 0; } Constraint e149 { Definition: x319 - x331 - x395 <= 0; } Constraint e150 { Definition: - x319 + x331 - x395 <= 0; } Constraint e151 { Definition: x321 - x333 - x396 <= 0; } Constraint e152 { Definition: - x321 + x333 - x396 <= 0; } Constraint e153 { Definition: x319 - x335 - x397 <= 0; } Constraint e154 { Definition: - x319 + x335 - x397 <= 0; } Constraint e155 { Definition: x321 - x337 - x398 <= 0; } Constraint e156 { Definition: - x321 + x337 - x398 <= 0; } Constraint e157 { Definition: x323 - x327 - x399 <= 0; } Constraint e158 { Definition: - x323 + x327 - x399 <= 0; } Constraint e159 { Definition: x325 - x329 - x400 <= 0; } Constraint e160 { Definition: - x325 + x329 - x400 <= 0; } Constraint e161 { Definition: x323 - x331 - x401 <= 0; } Constraint e162 { Definition: - x323 + x331 - x401 <= 0; } Constraint e163 { Definition: x325 - x333 - x402 <= 0; } Constraint e164 { Definition: - x325 + x333 - x402 <= 0; } Constraint e165 { Definition: x323 - x335 - x403 <= 0; } Constraint e166 { Definition: - x323 + x335 - x403 <= 0; } Constraint e167 { Definition: x325 - x337 - x404 <= 0; } Constraint e168 { Definition: - x325 + x337 - x404 <= 0; } Constraint e169 { Definition: x327 - x331 - x405 <= 0; } Constraint e170 { Definition: - x327 + x331 - x405 <= 0; } Constraint e171 { Definition: x329 - x333 - x406 <= 0; } Constraint e172 { Definition: - x329 + x333 - x406 <= 0; } Constraint e173 { Definition: x327 - x335 - x407 <= 0; } Constraint e174 { Definition: - x327 + x335 - x407 <= 0; } Constraint e175 { Definition: x329 - x337 - x408 <= 0; } Constraint e176 { Definition: - x329 + x337 - x408 <= 0; } Constraint e177 { Definition: x331 - x335 - x409 <= 0; } Constraint e178 { Definition: - x331 + x335 - x409 <= 0; } Constraint e179 { Definition: x333 - x337 - x410 <= 0; } Constraint e180 { Definition: - x333 + x337 - x410 <= 0; } Constraint e181 { Definition: { sqr(2.84746945184196 - x301) + sqr(6.74779851669768 - x304) + 67.42707737338*b1 <= 68.42707737338 } } Constraint e182 { Definition: { sqr(6.63261133839597 - x301) + sqr(7.58930814907984 - x304) + 100.27903396698*b2 <= 101.27903396698 } } Constraint e183 { Definition: { sqr(2.78008351564232 - x301) + sqr(5.62089512941063 - x304) + 62.225162895805*b3 <= 63.225162895805 } } Constraint e184 { Definition: { sqr(3.36345404799715 - x301) + sqr(5.61693710344635 - x304) + 54.3423498257743*b4 <= 55.3423498257743 } } Constraint e185 { Definition: { sqr(1.46574263591158 - x301) + sqr(0.14249643071642 - x304) + 153.854418335954*b5 <= 154.854418335954 } } Constraint e186 { Definition: { sqr(6.59824950993792 - x301) + sqr(1.91438252349491 - x304) + 115.729330039997*b6 <= 116.729330039997 } } Constraint e187 { Definition: { sqr(2.02515523263325 - x301) + sqr(3.62141731303869 - x304) + 92.1830734090453*b7 <= 93.1830734090453 } } Constraint e188 { Definition: { sqr(8.97152199819966 - x301) + sqr(8.78133845105015 - x304) + 153.854418335954*b8 <= 154.854418335954 } } Constraint e189 { Definition: { sqr(1.87485423601802 - x301) + sqr(8.96274662253461 - x304) + 106.113667406259*b9 <= 107.113667406259 } } Constraint e190 { Definition: { sqr(7.52025674966412 - x301) + sqr(8.80268658264247 - x304) + 132.789518443852*b10 <= 133.789518443852 } } Constraint e191 { Definition: { sqr(3.85704114235832 - x301) + sqr(6.36674450874035 - x304) + 57.7951750598727*b11 <= 58.7951750598727 } } Constraint e192 { Definition: { sqr(8.48963678940351 - x301) + sqr(5.48402210821562 - x304) + 102.926783859086*b12 <= 103.926783859086 } } Constraint e193 { Definition: { sqr(6.03160481727421 - x301) + sqr(1.276552921829 - x304) + 118.75213232131*b13 <= 119.75213232131 } } Constraint e194 { Definition: { sqr(6.90662266429413 - x301) + sqr(8.78931785429954 - x304) + 124.803091689871*b14 <= 125.803091689871 } } Constraint e195 { Definition: { sqr(3.71078725250056 - x301) + sqr(4.66415664133948 - x304) + 57.9871322900609*b15 <= 58.9871322900609 } } Constraint e196 { Definition: { sqr(0.107239833314705 - x301) + sqr(9.26202525440128 - x304) + 141.568883438575*b16 <= 142.568883438575 } } Constraint e197 { Definition: { sqr(8.04739319923014 - x301) + sqr(3.59305161391794 - x304) + 114.695683175902*b17 <= 115.695683175902 } } Constraint e198 { Definition: { sqr(5.28411061001579 - x301) + sqr(9.36648183133357 - x304) + 119.627996085735*b18 <= 120.627996085735 } } Constraint e199 { Definition: { sqr(1.06171481272944 - x301) + sqr(3.65844432398946 - x304) + 107.656809348234*b19 <= 108.656809348234 } } Constraint e200 { Definition: { sqr(9.05099582793631 - x301) + sqr(3.98215513024397 - x304) + 128.639684646565*b20 <= 129.639684646565 } } Constraint e201 { Definition: { sqr(9.08772707393705 - x301) + sqr(3.01388234113091 - x304) + 141.568883438575*b21 <= 142.568883438575 } } Constraint e202 { Definition: { sqr(8.83910845171846 - x301) + sqr(8.26686922455514 - x304) + 142.314787626056*b22 <= 143.314787626056 } } Constraint e203 { Definition: { sqr(3.41090111187451 - x301) + sqr(6.48985541572597 - x304) + 57.6217041967589*b23 <= 58.6217041967589 } } Constraint e204 { Definition: { sqr(1.22004189182266 - x301) + sqr(2.52276995748249 - x304) + 119.180496541755*b24 <= 120.180496541755 } } Constraint e205 { Definition: { sqr(3.94802045665365 - x301) + sqr(6.40339456473198 - x304) + 58.8305966748386*b25 <= 59.8305966748386 } } Constraint e206 { Definition: { sqr(4.9104301706676 - x301) + sqr(3.1538945754034 - x304) + 75.9207984013209*b26 <= 76.9207984013209 } } Constraint e207 { Definition: { sqr(3.23176530143453 - x301) + sqr(7.03644502956294 - x304) + 64.8784745008497*b27 <= 65.8784745008497 } } Constraint e208 { Definition: { sqr(0.39249886515424 - x301) + sqr(1.58871179600639 - x304) + 147.724006608004*b28 <= 148.724006608004 } } Constraint e209 { Definition: { sqr(4.42690021019308 - x301) + sqr(8.74244441962606 - x304) + 100.918497950284*b29 <= 101.918497950284 } } Constraint e210 { Definition: { sqr(2.59382124128511 - x301) + sqr(9.98780114819833 - x304) + 118.022029936783*b30 <= 119.022029936783 } } Constraint e211 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 } } Constraint e212 { Definition: { sqr(2.84746945184196 - x302) + sqr(6.74779851669768 - x305) + 67.42707737338*b31 <= 68.42707737338 } } Constraint e213 { Definition: { sqr(6.63261133839597 - x302) + sqr(7.58930814907984 - x305) + 100.27903396698*b32 <= 101.27903396698 } } Constraint e214 { Definition: { sqr(2.78008351564232 - x302) + sqr(5.62089512941063 - x305) + 62.225162895805*b33 <= 63.225162895805 } } Constraint e215 { Definition: { sqr(3.36345404799715 - x302) + sqr(5.61693710344635 - x305) + 54.3423498257743*b34 <= 55.3423498257743 } } Constraint e216 { Definition: { sqr(1.46574263591158 - x302) + sqr(0.14249643071642 - x305) + 153.854418335954*b35 <= 154.854418335954 } } Constraint e217 { Definition: { sqr(6.59824950993792 - x302) + sqr(1.91438252349491 - x305) + 115.729330039997*b36 <= 116.729330039997 } } Constraint e218 { Definition: { sqr(2.02515523263325 - x302) + sqr(3.62141731303869 - x305) + 92.1830734090453*b37 <= 93.1830734090453 } } Constraint e219 { Definition: { sqr(8.97152199819966 - x302) + sqr(8.78133845105015 - x305) + 153.854418335954*b38 <= 154.854418335954 } } Constraint e220 { Definition: { sqr(1.87485423601802 - x302) + sqr(8.96274662253461 - x305) + 106.113667406259*b39 <= 107.113667406259 } } Constraint e221 { Definition: { sqr(7.52025674966412 - x302) + sqr(8.80268658264247 - x305) + 132.789518443852*b40 <= 133.789518443852 } } Constraint e222 { Definition: { sqr(3.85704114235832 - x302) + sqr(6.36674450874035 - x305) + 57.7951750598727*b41 <= 58.7951750598727 } } Constraint e223 { Definition: { sqr(8.48963678940351 - x302) + sqr(5.48402210821562 - x305) + 102.926783859086*b42 <= 103.926783859086 } } Constraint e224 { Definition: { sqr(6.03160481727421 - x302) + sqr(1.276552921829 - x305) + 118.75213232131*b43 <= 119.75213232131 } } Constraint e225 { Definition: { sqr(6.90662266429413 - x302) + sqr(8.78931785429954 - x305) + 124.803091689871*b44 <= 125.803091689871 } } Constraint e226 { Definition: { sqr(3.71078725250056 - x302) + sqr(4.66415664133948 - x305) + 57.9871322900609*b45 <= 58.9871322900609 } } Constraint e227 { Definition: { sqr(0.107239833314705 - x302) + sqr(9.26202525440128 - x305) + 141.568883438575*b46 <= 142.568883438575 } } Constraint e228 { Definition: { sqr(8.04739319923014 - x302) + sqr(3.59305161391794 - x305) + 114.695683175902*b47 <= 115.695683175902 } } Constraint e229 { Definition: { sqr(5.28411061001579 - x302) + sqr(9.36648183133357 - x305) + 119.627996085735*b48 <= 120.627996085735 } } Constraint e230 { Definition: { sqr(1.06171481272944 - x302) + sqr(3.65844432398946 - x305) + 107.656809348234*b49 <= 108.656809348234 } } Constraint e231 { Definition: { sqr(9.05099582793631 - x302) + sqr(3.98215513024397 - x305) + 128.639684646565*b50 <= 129.639684646565 } } Constraint e232 { Definition: { sqr(9.08772707393705 - x302) + sqr(3.01388234113091 - x305) + 141.568883438575*b51 <= 142.568883438575 } } Constraint e233 { Definition: { sqr(8.83910845171846 - x302) + sqr(8.26686922455514 - x305) + 142.314787626056*b52 <= 143.314787626056 } } Constraint e234 { Definition: { sqr(3.41090111187451 - x302) + sqr(6.48985541572597 - x305) + 57.6217041967589*b53 <= 58.6217041967589 } } Constraint e235 { Definition: { sqr(1.22004189182266 - x302) + sqr(2.52276995748249 - x305) + 119.180496541755*b54 <= 120.180496541755 } } Constraint e236 { Definition: { sqr(3.94802045665365 - x302) + sqr(6.40339456473198 - x305) + 58.8305966748386*b55 <= 59.8305966748386 } } Constraint e237 { Definition: { sqr(4.9104301706676 - x302) + sqr(3.1538945754034 - x305) + 75.9207984013209*b56 <= 76.9207984013209 } } Constraint e238 { Definition: { sqr(3.23176530143453 - x302) + sqr(7.03644502956294 - x305) + 64.8784745008497*b57 <= 65.8784745008497 } } Constraint e239 { Definition: { sqr(0.39249886515424 - x302) + sqr(1.58871179600639 - x305) + 147.724006608004*b58 <= 148.724006608004 } } Constraint e240 { Definition: { sqr(4.42690021019308 - x302) + sqr(8.74244441962606 - x305) + 100.918497950284*b59 <= 101.918497950284 } } Constraint e241 { Definition: { sqr(2.59382124128511 - x302) + sqr(9.98780114819833 - x305) + 118.022029936783*b60 <= 119.022029936783 } } Constraint e242 { Definition: { b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 } } Constraint e243 { Definition: { sqr(2.84746945184196 - x307) + sqr(6.74779851669768 - x309) + 67.42707737338*b61 <= 68.42707737338 } } Constraint e244 { Definition: { sqr(6.63261133839597 - x307) + sqr(7.58930814907984 - x309) + 100.27903396698*b62 <= 101.27903396698 } } Constraint e245 { Definition: { sqr(2.78008351564232 - x307) + sqr(5.62089512941063 - x309) + 62.225162895805*b63 <= 63.225162895805 } } Constraint e246 { Definition: { sqr(3.36345404799715 - x307) + sqr(5.61693710344635 - x309) + 54.3423498257743*b64 <= 55.3423498257743 } } Constraint e247 { Definition: { sqr(1.46574263591158 - x307) + sqr(0.14249643071642 - x309) + 153.854418335954*b65 <= 154.854418335954 } } Constraint e248 { Definition: { sqr(6.59824950993792 - x307) + sqr(1.91438252349491 - x309) + 115.729330039997*b66 <= 116.729330039997 } } Constraint e249 { Definition: { sqr(2.02515523263325 - x307) + sqr(3.62141731303869 - x309) + 92.1830734090453*b67 <= 93.1830734090453 } } Constraint e250 { Definition: { sqr(8.97152199819966 - x307) + sqr(8.78133845105015 - x309) + 153.854418335954*b68 <= 154.854418335954 } } Constraint e251 { Definition: { sqr(1.87485423601802 - x307) + sqr(8.96274662253461 - x309) + 106.113667406259*b69 <= 107.113667406259 } } Constraint e252 { Definition: { sqr(7.52025674966412 - x307) + sqr(8.80268658264247 - x309) + 132.789518443852*b70 <= 133.789518443852 } } Constraint e253 { Definition: { sqr(3.85704114235832 - x307) + sqr(6.36674450874035 - x309) + 57.7951750598727*b71 <= 58.7951750598727 } } Constraint e254 { Definition: { sqr(8.48963678940351 - x307) + sqr(5.48402210821562 - x309) + 102.926783859086*b72 <= 103.926783859086 } } Constraint e255 { Definition: { sqr(6.03160481727421 - x307) + sqr(1.276552921829 - x309) + 118.75213232131*b73 <= 119.75213232131 } } Constraint e256 { Definition: { sqr(6.90662266429413 - x307) + sqr(8.78931785429954 - x309) + 124.803091689871*b74 <= 125.803091689871 } } Constraint e257 { Definition: { sqr(3.71078725250056 - x307) + sqr(4.66415664133948 - x309) + 57.9871322900609*b75 <= 58.9871322900609 } } Constraint e258 { Definition: { sqr(0.107239833314705 - x307) + sqr(9.26202525440128 - x309) + 141.568883438575*b76 <= 142.568883438575 } } Constraint e259 { Definition: { sqr(8.04739319923014 - x307) + sqr(3.59305161391794 - x309) + 114.695683175902*b77 <= 115.695683175902 } } Constraint e260 { Definition: { sqr(5.28411061001579 - x307) + sqr(9.36648183133357 - x309) + 119.627996085735*b78 <= 120.627996085735 } } Constraint e261 { Definition: { sqr(1.06171481272944 - x307) + sqr(3.65844432398946 - x309) + 107.656809348234*b79 <= 108.656809348234 } } Constraint e262 { Definition: { sqr(9.05099582793631 - x307) + sqr(3.98215513024397 - x309) + 128.639684646565*b80 <= 129.639684646565 } } Constraint e263 { Definition: { sqr(9.08772707393705 - x307) + sqr(3.01388234113091 - x309) + 141.568883438575*b81 <= 142.568883438575 } } Constraint e264 { Definition: { sqr(8.83910845171846 - x307) + sqr(8.26686922455514 - x309) + 142.314787626056*b82 <= 143.314787626056 } } Constraint e265 { Definition: { sqr(3.41090111187451 - x307) + sqr(6.48985541572597 - x309) + 57.6217041967589*b83 <= 58.6217041967589 } } Constraint e266 { Definition: { sqr(1.22004189182266 - x307) + sqr(2.52276995748249 - x309) + 119.180496541755*b84 <= 120.180496541755 } } Constraint e267 { Definition: { sqr(3.94802045665365 - x307) + sqr(6.40339456473198 - x309) + 58.8305966748386*b85 <= 59.8305966748386 } } Constraint e268 { Definition: { sqr(4.9104301706676 - x307) + sqr(3.1538945754034 - x309) + 75.9207984013209*b86 <= 76.9207984013209 } } Constraint e269 { Definition: { sqr(3.23176530143453 - x307) + sqr(7.03644502956294 - x309) + 64.8784745008497*b87 <= 65.8784745008497 } } Constraint e270 { Definition: { sqr(0.39249886515424 - x307) + sqr(1.58871179600639 - x309) + 147.724006608004*b88 <= 148.724006608004 } } Constraint e271 { Definition: { sqr(4.42690021019308 - x307) + sqr(8.74244441962606 - x309) + 100.918497950284*b89 <= 101.918497950284 } } Constraint e272 { Definition: { sqr(2.59382124128511 - x307) + sqr(9.98780114819833 - x309) + 118.022029936783*b90 <= 119.022029936783 } } Constraint e273 { Definition: { b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 = 1 } } Constraint e274 { Definition: { sqr(2.84746945184196 - x311) + sqr(6.74779851669768 - x313) + 67.42707737338*b91 <= 68.42707737338 } } Constraint e275 { Definition: { sqr(6.63261133839597 - x311) + sqr(7.58930814907984 - x313) + 100.27903396698*b92 <= 101.27903396698 } } Constraint e276 { Definition: { sqr(2.78008351564232 - x311) + sqr(5.62089512941063 - x313) + 62.225162895805*b93 <= 63.225162895805 } } Constraint e277 { Definition: { sqr(3.36345404799715 - x311) + sqr(5.61693710344635 - x313) + 54.3423498257743*b94 <= 55.3423498257743 } } Constraint e278 { Definition: { sqr(1.46574263591158 - x311) + sqr(0.14249643071642 - x313) + 153.854418335954*b95 <= 154.854418335954 } } Constraint e279 { Definition: { sqr(6.59824950993792 - x311) + sqr(1.91438252349491 - x313) + 115.729330039997*b96 <= 116.729330039997 } } Constraint e280 { Definition: { sqr(2.02515523263325 - x311) + sqr(3.62141731303869 - x313) + 92.1830734090453*b97 <= 93.1830734090453 } } Constraint e281 { Definition: { sqr(8.97152199819966 - x311) + sqr(8.78133845105015 - x313) + 153.854418335954*b98 <= 154.854418335954 } } Constraint e282 { Definition: { sqr(1.87485423601802 - x311) + sqr(8.96274662253461 - x313) + 106.113667406259*b99 <= 107.113667406259 } } Constraint e283 { Definition: { sqr(7.52025674966412 - x311) + sqr(8.80268658264247 - x313) + 132.789518443852*b100 <= 133.789518443852 } } Constraint e284 { Definition: { sqr(3.85704114235832 - x311) + sqr(6.36674450874035 - x313) + 57.7951750598727*b101 <= 58.7951750598727 } } Constraint e285 { Definition: { sqr(8.48963678940351 - x311) + sqr(5.48402210821562 - x313) + 102.926783859086*b102 <= 103.926783859086 } } Constraint e286 { Definition: { sqr(6.03160481727421 - x311) + sqr(1.276552921829 - x313) + 118.75213232131*b103 <= 119.75213232131 } } Constraint e287 { Definition: { sqr(6.90662266429413 - x311) + sqr(8.78931785429954 - x313) + 124.803091689871*b104 <= 125.803091689871 } } Constraint e288 { Definition: { sqr(3.71078725250056 - x311) + sqr(4.66415664133948 - x313) + 57.9871322900609*b105 <= 58.9871322900609 } } Constraint e289 { Definition: { sqr(0.107239833314705 - x311) + sqr(9.26202525440128 - x313) + 141.568883438575*b106 <= 142.568883438575 } } Constraint e290 { Definition: { sqr(8.04739319923014 - x311) + sqr(3.59305161391794 - x313) + 114.695683175902*b107 <= 115.695683175902 } } Constraint e291 { Definition: { sqr(5.28411061001579 - x311) + sqr(9.36648183133357 - x313) + 119.627996085735*b108 <= 120.627996085735 } } Constraint e292 { Definition: { sqr(1.06171481272944 - x311) + sqr(3.65844432398946 - x313) + 107.656809348234*b109 <= 108.656809348234 } } Constraint e293 { Definition: { sqr(9.05099582793631 - x311) + sqr(3.98215513024397 - x313) + 128.639684646565*b110 <= 129.639684646565 } } Constraint e294 { Definition: { sqr(9.08772707393705 - x311) + sqr(3.01388234113091 - x313) + 141.568883438575*b111 <= 142.568883438575 } } Constraint e295 { Definition: { sqr(8.83910845171846 - x311) + sqr(8.26686922455514 - x313) + 142.314787626056*b112 <= 143.314787626056 } } Constraint e296 { Definition: { sqr(3.41090111187451 - x311) + sqr(6.48985541572597 - x313) + 57.6217041967589*b113 <= 58.6217041967589 } } Constraint e297 { Definition: { sqr(1.22004189182266 - x311) + sqr(2.52276995748249 - x313) + 119.180496541755*b114 <= 120.180496541755 } } Constraint e298 { Definition: { sqr(3.94802045665365 - x311) + sqr(6.40339456473198 - x313) + 58.8305966748386*b115 <= 59.8305966748386 } } Constraint e299 { Definition: { sqr(4.9104301706676 - x311) + sqr(3.1538945754034 - x313) + 75.9207984013209*b116 <= 76.9207984013209 } } Constraint e300 { Definition: { sqr(3.23176530143453 - x311) + sqr(7.03644502956294 - x313) + 64.8784745008497*b117 <= 65.8784745008497 } } Constraint e301 { Definition: { sqr(0.39249886515424 - x311) + sqr(1.58871179600639 - x313) + 147.724006608004*b118 <= 148.724006608004 } } Constraint e302 { Definition: { sqr(4.42690021019308 - x311) + sqr(8.74244441962606 - x313) + 100.918497950284*b119 <= 101.918497950284 } } Constraint e303 { Definition: { sqr(2.59382124128511 - x311) + sqr(9.98780114819833 - x313) + 118.022029936783*b120 <= 119.022029936783 } } Constraint e304 { Definition: { b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 } } Constraint e305 { Definition: { sqr(2.84746945184196 - x315) + sqr(6.74779851669768 - x317) + 67.42707737338*b121 <= 68.42707737338 } } Constraint e306 { Definition: { sqr(6.63261133839597 - x315) + sqr(7.58930814907984 - x317) + 100.27903396698*b122 <= 101.27903396698 } } Constraint e307 { Definition: { sqr(2.78008351564232 - x315) + sqr(5.62089512941063 - x317) + 62.225162895805*b123 <= 63.225162895805 } } Constraint e308 { Definition: { sqr(3.36345404799715 - x315) + sqr(5.61693710344635 - x317) + 54.3423498257743*b124 <= 55.3423498257743 } } Constraint e309 { Definition: { sqr(1.46574263591158 - x315) + sqr(0.14249643071642 - x317) + 153.854418335954*b125 <= 154.854418335954 } } Constraint e310 { Definition: { sqr(6.59824950993792 - x315) + sqr(1.91438252349491 - x317) + 115.729330039997*b126 <= 116.729330039997 } } Constraint e311 { Definition: { sqr(2.02515523263325 - x315) + sqr(3.62141731303869 - x317) + 92.1830734090453*b127 <= 93.1830734090453 } } Constraint e312 { Definition: { sqr(8.97152199819966 - x315) + sqr(8.78133845105015 - x317) + 153.854418335954*b128 <= 154.854418335954 } } Constraint e313 { Definition: { sqr(1.87485423601802 - x315) + sqr(8.96274662253461 - x317) + 106.113667406259*b129 <= 107.113667406259 } } Constraint e314 { Definition: { sqr(7.52025674966412 - x315) + sqr(8.80268658264247 - x317) + 132.789518443852*b130 <= 133.789518443852 } } Constraint e315 { Definition: { sqr(3.85704114235832 - x315) + sqr(6.36674450874035 - x317) + 57.7951750598727*b131 <= 58.7951750598727 } } Constraint e316 { Definition: { sqr(8.48963678940351 - x315) + sqr(5.48402210821562 - x317) + 102.926783859086*b132 <= 103.926783859086 } } Constraint e317 { Definition: { sqr(6.03160481727421 - x315) + sqr(1.276552921829 - x317) + 118.75213232131*b133 <= 119.75213232131 } } Constraint e318 { Definition: { sqr(6.90662266429413 - x315) + sqr(8.78931785429954 - x317) + 124.803091689871*b134 <= 125.803091689871 } } Constraint e319 { Definition: { sqr(3.71078725250056 - x315) + sqr(4.66415664133948 - x317) + 57.9871322900609*b135 <= 58.9871322900609 } } Constraint e320 { Definition: { sqr(0.107239833314705 - x315) + sqr(9.26202525440128 - x317) + 141.568883438575*b136 <= 142.568883438575 } } Constraint e321 { Definition: { sqr(8.04739319923014 - x315) + sqr(3.59305161391794 - x317) + 114.695683175902*b137 <= 115.695683175902 } } Constraint e322 { Definition: { sqr(5.28411061001579 - x315) + sqr(9.36648183133357 - x317) + 119.627996085735*b138 <= 120.627996085735 } } Constraint e323 { Definition: { sqr(1.06171481272944 - x315) + sqr(3.65844432398946 - x317) + 107.656809348234*b139 <= 108.656809348234 } } Constraint e324 { Definition: { sqr(9.05099582793631 - x315) + sqr(3.98215513024397 - x317) + 128.639684646565*b140 <= 129.639684646565 } } Constraint e325 { Definition: { sqr(9.08772707393705 - x315) + sqr(3.01388234113091 - x317) + 141.568883438575*b141 <= 142.568883438575 } } Constraint e326 { Definition: { sqr(8.83910845171846 - x315) + sqr(8.26686922455514 - x317) + 142.314787626056*b142 <= 143.314787626056 } } Constraint e327 { Definition: { sqr(3.41090111187451 - x315) + sqr(6.48985541572597 - x317) + 57.6217041967589*b143 <= 58.6217041967589 } } Constraint e328 { Definition: { sqr(1.22004189182266 - x315) + sqr(2.52276995748249 - x317) + 119.180496541755*b144 <= 120.180496541755 } } Constraint e329 { Definition: { sqr(3.94802045665365 - x315) + sqr(6.40339456473198 - x317) + 58.8305966748386*b145 <= 59.8305966748386 } } Constraint e330 { Definition: { sqr(4.9104301706676 - x315) + sqr(3.1538945754034 - x317) + 75.9207984013209*b146 <= 76.9207984013209 } } Constraint e331 { Definition: { sqr(3.23176530143453 - x315) + sqr(7.03644502956294 - x317) + 64.8784745008497*b147 <= 65.8784745008497 } } Constraint e332 { Definition: { sqr(0.39249886515424 - x315) + sqr(1.58871179600639 - x317) + 147.724006608004*b148 <= 148.724006608004 } } Constraint e333 { Definition: { sqr(4.42690021019308 - x315) + sqr(8.74244441962606 - x317) + 100.918497950284*b149 <= 101.918497950284 } } Constraint e334 { Definition: { sqr(2.59382124128511 - x315) + sqr(9.98780114819833 - x317) + 118.022029936783*b150 <= 119.022029936783 } } Constraint e335 { Definition: { b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 = 1 } } Constraint e336 { Definition: { sqr(2.84746945184196 - x319) + sqr(6.74779851669768 - x321) + 67.42707737338*b151 <= 68.42707737338 } } Constraint e337 { Definition: { sqr(6.63261133839597 - x319) + sqr(7.58930814907984 - x321) + 100.27903396698*b152 <= 101.27903396698 } } Constraint e338 { Definition: { sqr(2.78008351564232 - x319) + sqr(5.62089512941063 - x321) + 62.225162895805*b153 <= 63.225162895805 } } Constraint e339 { Definition: { sqr(3.36345404799715 - x319) + sqr(5.61693710344635 - x321) + 54.3423498257743*b154 <= 55.3423498257743 } } Constraint e340 { Definition: { sqr(1.46574263591158 - x319) + sqr(0.14249643071642 - x321) + 153.854418335954*b155 <= 154.854418335954 } } Constraint e341 { Definition: { sqr(6.59824950993792 - x319) + sqr(1.91438252349491 - x321) + 115.729330039997*b156 <= 116.729330039997 } } Constraint e342 { Definition: { sqr(2.02515523263325 - x319) + sqr(3.62141731303869 - x321) + 92.1830734090453*b157 <= 93.1830734090453 } } Constraint e343 { Definition: { sqr(8.97152199819966 - x319) + sqr(8.78133845105015 - x321) + 153.854418335954*b158 <= 154.854418335954 } } Constraint e344 { Definition: { sqr(1.87485423601802 - x319) + sqr(8.96274662253461 - x321) + 106.113667406259*b159 <= 107.113667406259 } } Constraint e345 { Definition: { sqr(7.52025674966412 - x319) + sqr(8.80268658264247 - x321) + 132.789518443852*b160 <= 133.789518443852 } } Constraint e346 { Definition: { sqr(3.85704114235832 - x319) + sqr(6.36674450874035 - x321) + 57.7951750598727*b161 <= 58.7951750598727 } } Constraint e347 { Definition: { sqr(8.48963678940351 - x319) + sqr(5.48402210821562 - x321) + 102.926783859086*b162 <= 103.926783859086 } } Constraint e348 { Definition: { sqr(6.03160481727421 - x319) + sqr(1.276552921829 - x321) + 118.75213232131*b163 <= 119.75213232131 } } Constraint e349 { Definition: { sqr(6.90662266429413 - x319) + sqr(8.78931785429954 - x321) + 124.803091689871*b164 <= 125.803091689871 } } Constraint e350 { Definition: { sqr(3.71078725250056 - x319) + sqr(4.66415664133948 - x321) + 57.9871322900609*b165 <= 58.9871322900609 } } Constraint e351 { Definition: { sqr(0.107239833314705 - x319) + sqr(9.26202525440128 - x321) + 141.568883438575*b166 <= 142.568883438575 } } Constraint e352 { Definition: { sqr(8.04739319923014 - x319) + sqr(3.59305161391794 - x321) + 114.695683175902*b167 <= 115.695683175902 } } Constraint e353 { Definition: { sqr(5.28411061001579 - x319) + sqr(9.36648183133357 - x321) + 119.627996085735*b168 <= 120.627996085735 } } Constraint e354 { Definition: { sqr(1.06171481272944 - x319) + sqr(3.65844432398946 - x321) + 107.656809348234*b169 <= 108.656809348234 } } Constraint e355 { Definition: { sqr(9.05099582793631 - x319) + sqr(3.98215513024397 - x321) + 128.639684646565*b170 <= 129.639684646565 } } Constraint e356 { Definition: { sqr(9.08772707393705 - x319) + sqr(3.01388234113091 - x321) + 141.568883438575*b171 <= 142.568883438575 } } Constraint e357 { Definition: { sqr(8.83910845171846 - x319) + sqr(8.26686922455514 - x321) + 142.314787626056*b172 <= 143.314787626056 } } Constraint e358 { Definition: { sqr(3.41090111187451 - x319) + sqr(6.48985541572597 - x321) + 57.6217041967589*b173 <= 58.6217041967589 } } Constraint e359 { Definition: { sqr(1.22004189182266 - x319) + sqr(2.52276995748249 - x321) + 119.180496541755*b174 <= 120.180496541755 } } Constraint e360 { Definition: { sqr(3.94802045665365 - x319) + sqr(6.40339456473198 - x321) + 58.8305966748386*b175 <= 59.8305966748386 } } Constraint e361 { Definition: { sqr(4.9104301706676 - x319) + sqr(3.1538945754034 - x321) + 75.9207984013209*b176 <= 76.9207984013209 } } Constraint e362 { Definition: { sqr(3.23176530143453 - x319) + sqr(7.03644502956294 - x321) + 64.8784745008497*b177 <= 65.8784745008497 } } Constraint e363 { Definition: { sqr(0.39249886515424 - x319) + sqr(1.58871179600639 - x321) + 147.724006608004*b178 <= 148.724006608004 } } Constraint e364 { Definition: { sqr(4.42690021019308 - x319) + sqr(8.74244441962606 - x321) + 100.918497950284*b179 <= 101.918497950284 } } Constraint e365 { Definition: { sqr(2.59382124128511 - x319) + sqr(9.98780114819833 - x321) + 118.022029936783*b180 <= 119.022029936783 } } Constraint e366 { Definition: { b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 = 1 } } Constraint e367 { Definition: { sqr(2.84746945184196 - x323) + sqr(6.74779851669768 - x325) + 67.42707737338*b181 <= 68.42707737338 } } Constraint e368 { Definition: { sqr(6.63261133839597 - x323) + sqr(7.58930814907984 - x325) + 100.27903396698*b182 <= 101.27903396698 } } Constraint e369 { Definition: { sqr(2.78008351564232 - x323) + sqr(5.62089512941063 - x325) + 62.225162895805*b183 <= 63.225162895805 } } Constraint e370 { Definition: { sqr(3.36345404799715 - x323) + sqr(5.61693710344635 - x325) + 54.3423498257743*b184 <= 55.3423498257743 } } Constraint e371 { Definition: { sqr(1.46574263591158 - x323) + sqr(0.14249643071642 - x325) + 153.854418335954*b185 <= 154.854418335954 } } Constraint e372 { Definition: { sqr(6.59824950993792 - x323) + sqr(1.91438252349491 - x325) + 115.729330039997*b186 <= 116.729330039997 } } Constraint e373 { Definition: { sqr(2.02515523263325 - x323) + sqr(3.62141731303869 - x325) + 92.1830734090453*b187 <= 93.1830734090453 } } Constraint e374 { Definition: { sqr(8.97152199819966 - x323) + sqr(8.78133845105015 - x325) + 153.854418335954*b188 <= 154.854418335954 } } Constraint e375 { Definition: { sqr(1.87485423601802 - x323) + sqr(8.96274662253461 - x325) + 106.113667406259*b189 <= 107.113667406259 } } Constraint e376 { Definition: { sqr(7.52025674966412 - x323) + sqr(8.80268658264247 - x325) + 132.789518443852*b190 <= 133.789518443852 } } Constraint e377 { Definition: { sqr(3.85704114235832 - x323) + sqr(6.36674450874035 - x325) + 57.7951750598727*b191 <= 58.7951750598727 } } Constraint e378 { Definition: { sqr(8.48963678940351 - x323) + sqr(5.48402210821562 - x325) + 102.926783859086*b192 <= 103.926783859086 } } Constraint e379 { Definition: { sqr(6.03160481727421 - x323) + sqr(1.276552921829 - x325) + 118.75213232131*b193 <= 119.75213232131 } } Constraint e380 { Definition: { sqr(6.90662266429413 - x323) + sqr(8.78931785429954 - x325) + 124.803091689871*b194 <= 125.803091689871 } } Constraint e381 { Definition: { sqr(3.71078725250056 - x323) + sqr(4.66415664133948 - x325) + 57.9871322900609*b195 <= 58.9871322900609 } } Constraint e382 { Definition: { sqr(0.107239833314705 - x323) + sqr(9.26202525440128 - x325) + 141.568883438575*b196 <= 142.568883438575 } } Constraint e383 { Definition: { sqr(8.04739319923014 - x323) + sqr(3.59305161391794 - x325) + 114.695683175902*b197 <= 115.695683175902 } } Constraint e384 { Definition: { sqr(5.28411061001579 - x323) + sqr(9.36648183133357 - x325) + 119.627996085735*b198 <= 120.627996085735 } } Constraint e385 { Definition: { sqr(1.06171481272944 - x323) + sqr(3.65844432398946 - x325) + 107.656809348234*b199 <= 108.656809348234 } } Constraint e386 { Definition: { sqr(9.05099582793631 - x323) + sqr(3.98215513024397 - x325) + 128.639684646565*b200 <= 129.639684646565 } } Constraint e387 { Definition: { sqr(9.08772707393705 - x323) + sqr(3.01388234113091 - x325) + 141.568883438575*b201 <= 142.568883438575 } } Constraint e388 { Definition: { sqr(8.83910845171846 - x323) + sqr(8.26686922455514 - x325) + 142.314787626056*b202 <= 143.314787626056 } } Constraint e389 { Definition: { sqr(3.41090111187451 - x323) + sqr(6.48985541572597 - x325) + 57.6217041967589*b203 <= 58.6217041967589 } } Constraint e390 { Definition: { sqr(1.22004189182266 - x323) + sqr(2.52276995748249 - x325) + 119.180496541755*b204 <= 120.180496541755 } } Constraint e391 { Definition: { sqr(3.94802045665365 - x323) + sqr(6.40339456473198 - x325) + 58.8305966748386*b205 <= 59.8305966748386 } } Constraint e392 { Definition: { sqr(4.9104301706676 - x323) + sqr(3.1538945754034 - x325) + 75.9207984013209*b206 <= 76.9207984013209 } } Constraint e393 { Definition: { sqr(3.23176530143453 - x323) + sqr(7.03644502956294 - x325) + 64.8784745008497*b207 <= 65.8784745008497 } } Constraint e394 { Definition: { sqr(0.39249886515424 - x323) + sqr(1.58871179600639 - x325) + 147.724006608004*b208 <= 148.724006608004 } } Constraint e395 { Definition: { sqr(4.42690021019308 - x323) + sqr(8.74244441962606 - x325) + 100.918497950284*b209 <= 101.918497950284 } } Constraint e396 { Definition: { sqr(2.59382124128511 - x323) + sqr(9.98780114819833 - x325) + 118.022029936783*b210 <= 119.022029936783 } } Constraint e397 { Definition: { b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 = 1 } } Constraint e398 { Definition: { sqr(2.84746945184196 - x327) + sqr(6.74779851669768 - x329) + 67.42707737338*b211 <= 68.42707737338 } } Constraint e399 { Definition: { sqr(6.63261133839597 - x327) + sqr(7.58930814907984 - x329) + 100.27903396698*b212 <= 101.27903396698 } } Constraint e400 { Definition: { sqr(2.78008351564232 - x327) + sqr(5.62089512941063 - x329) + 62.225162895805*b213 <= 63.225162895805 } } Constraint e401 { Definition: { sqr(3.36345404799715 - x327) + sqr(5.61693710344635 - x329) + 54.3423498257743*b214 <= 55.3423498257743 } } Constraint e402 { Definition: { sqr(1.46574263591158 - x327) + sqr(0.14249643071642 - x329) + 153.854418335954*b215 <= 154.854418335954 } } Constraint e403 { Definition: { sqr(6.59824950993792 - x327) + sqr(1.91438252349491 - x329) + 115.729330039997*b216 <= 116.729330039997 } } Constraint e404 { Definition: { sqr(2.02515523263325 - x327) + sqr(3.62141731303869 - x329) + 92.1830734090453*b217 <= 93.1830734090453 } } Constraint e405 { Definition: { sqr(8.97152199819966 - x327) + sqr(8.78133845105015 - x329) + 153.854418335954*b218 <= 154.854418335954 } } Constraint e406 { Definition: { sqr(1.87485423601802 - x327) + sqr(8.96274662253461 - x329) + 106.113667406259*b219 <= 107.113667406259 } } Constraint e407 { Definition: { sqr(7.52025674966412 - x327) + sqr(8.80268658264247 - x329) + 132.789518443852*b220 <= 133.789518443852 } } Constraint e408 { Definition: { sqr(3.85704114235832 - x327) + sqr(6.36674450874035 - x329) + 57.7951750598727*b221 <= 58.7951750598727 } } Constraint e409 { Definition: { sqr(8.48963678940351 - x327) + sqr(5.48402210821562 - x329) + 102.926783859086*b222 <= 103.926783859086 } } Constraint e410 { Definition: { sqr(6.03160481727421 - x327) + sqr(1.276552921829 - x329) + 118.75213232131*b223 <= 119.75213232131 } } Constraint e411 { Definition: { sqr(6.90662266429413 - x327) + sqr(8.78931785429954 - x329) + 124.803091689871*b224 <= 125.803091689871 } } Constraint e412 { Definition: { sqr(3.71078725250056 - x327) + sqr(4.66415664133948 - x329) + 57.9871322900609*b225 <= 58.9871322900609 } } Constraint e413 { Definition: { sqr(0.107239833314705 - x327) + sqr(9.26202525440128 - x329) + 141.568883438575*b226 <= 142.568883438575 } } Constraint e414 { Definition: { sqr(8.04739319923014 - x327) + sqr(3.59305161391794 - x329) + 114.695683175902*b227 <= 115.695683175902 } } Constraint e415 { Definition: { sqr(5.28411061001579 - x327) + sqr(9.36648183133357 - x329) + 119.627996085735*b228 <= 120.627996085735 } } Constraint e416 { Definition: { sqr(1.06171481272944 - x327) + sqr(3.65844432398946 - x329) + 107.656809348234*b229 <= 108.656809348234 } } Constraint e417 { Definition: { sqr(9.05099582793631 - x327) + sqr(3.98215513024397 - x329) + 128.639684646565*b230 <= 129.639684646565 } } Constraint e418 { Definition: { sqr(9.08772707393705 - x327) + sqr(3.01388234113091 - x329) + 141.568883438575*b231 <= 142.568883438575 } } Constraint e419 { Definition: { sqr(8.83910845171846 - x327) + sqr(8.26686922455514 - x329) + 142.314787626056*b232 <= 143.314787626056 } } Constraint e420 { Definition: { sqr(3.41090111187451 - x327) + sqr(6.48985541572597 - x329) + 57.6217041967589*b233 <= 58.6217041967589 } } Constraint e421 { Definition: { sqr(1.22004189182266 - x327) + sqr(2.52276995748249 - x329) + 119.180496541755*b234 <= 120.180496541755 } } Constraint e422 { Definition: { sqr(3.94802045665365 - x327) + sqr(6.40339456473198 - x329) + 58.8305966748386*b235 <= 59.8305966748386 } } Constraint e423 { Definition: { sqr(4.9104301706676 - x327) + sqr(3.1538945754034 - x329) + 75.9207984013209*b236 <= 76.9207984013209 } } Constraint e424 { Definition: { sqr(3.23176530143453 - x327) + sqr(7.03644502956294 - x329) + 64.8784745008497*b237 <= 65.8784745008497 } } Constraint e425 { Definition: { sqr(0.39249886515424 - x327) + sqr(1.58871179600639 - x329) + 147.724006608004*b238 <= 148.724006608004 } } Constraint e426 { Definition: { sqr(4.42690021019308 - x327) + sqr(8.74244441962606 - x329) + 100.918497950284*b239 <= 101.918497950284 } } Constraint e427 { Definition: { sqr(2.59382124128511 - x327) + sqr(9.98780114819833 - x329) + 118.022029936783*b240 <= 119.022029936783 } } Constraint e428 { Definition: { b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 = 1 } } Constraint e429 { Definition: { sqr(2.84746945184196 - x331) + sqr(6.74779851669768 - x333) + 67.42707737338*b241 <= 68.42707737338 } } Constraint e430 { Definition: { sqr(6.63261133839597 - x331) + sqr(7.58930814907984 - x333) + 100.27903396698*b242 <= 101.27903396698 } } Constraint e431 { Definition: { sqr(2.78008351564232 - x331) + sqr(5.62089512941063 - x333) + 62.225162895805*b243 <= 63.225162895805 } } Constraint e432 { Definition: { sqr(3.36345404799715 - x331) + sqr(5.61693710344635 - x333) + 54.3423498257743*b244 <= 55.3423498257743 } } Constraint e433 { Definition: { sqr(1.46574263591158 - x331) + sqr(0.14249643071642 - x333) + 153.854418335954*b245 <= 154.854418335954 } } Constraint e434 { Definition: { sqr(6.59824950993792 - x331) + sqr(1.91438252349491 - x333) + 115.729330039997*b246 <= 116.729330039997 } } Constraint e435 { Definition: { sqr(2.02515523263325 - x331) + sqr(3.62141731303869 - x333) + 92.1830734090453*b247 <= 93.1830734090453 } } Constraint e436 { Definition: { sqr(8.97152199819966 - x331) + sqr(8.78133845105015 - x333) + 153.854418335954*b248 <= 154.854418335954 } } Constraint e437 { Definition: { sqr(1.87485423601802 - x331) + sqr(8.96274662253461 - x333) + 106.113667406259*b249 <= 107.113667406259 } } Constraint e438 { Definition: { sqr(7.52025674966412 - x331) + sqr(8.80268658264247 - x333) + 132.789518443852*b250 <= 133.789518443852 } } Constraint e439 { Definition: { sqr(3.85704114235832 - x331) + sqr(6.36674450874035 - x333) + 57.7951750598727*b251 <= 58.7951750598727 } } Constraint e440 { Definition: { sqr(8.48963678940351 - x331) + sqr(5.48402210821562 - x333) + 102.926783859086*b252 <= 103.926783859086 } } Constraint e441 { Definition: { sqr(6.03160481727421 - x331) + sqr(1.276552921829 - x333) + 118.75213232131*b253 <= 119.75213232131 } } Constraint e442 { Definition: { sqr(6.90662266429413 - x331) + sqr(8.78931785429954 - x333) + 124.803091689871*b254 <= 125.803091689871 } } Constraint e443 { Definition: { sqr(3.71078725250056 - x331) + sqr(4.66415664133948 - x333) + 57.9871322900609*b255 <= 58.9871322900609 } } Constraint e444 { Definition: { sqr(0.107239833314705 - x331) + sqr(9.26202525440128 - x333) + 141.568883438575*b256 <= 142.568883438575 } } Constraint e445 { Definition: { sqr(8.04739319923014 - x331) + sqr(3.59305161391794 - x333) + 114.695683175902*b257 <= 115.695683175902 } } Constraint e446 { Definition: { sqr(5.28411061001579 - x331) + sqr(9.36648183133357 - x333) + 119.627996085735*b258 <= 120.627996085735 } } Constraint e447 { Definition: { sqr(1.06171481272944 - x331) + sqr(3.65844432398946 - x333) + 107.656809348234*b259 <= 108.656809348234 } } Constraint e448 { Definition: { sqr(9.05099582793631 - x331) + sqr(3.98215513024397 - x333) + 128.639684646565*b260 <= 129.639684646565 } } Constraint e449 { Definition: { sqr(9.08772707393705 - x331) + sqr(3.01388234113091 - x333) + 141.568883438575*b261 <= 142.568883438575 } } Constraint e450 { Definition: { sqr(8.83910845171846 - x331) + sqr(8.26686922455514 - x333) + 142.314787626056*b262 <= 143.314787626056 } } Constraint e451 { Definition: { sqr(3.41090111187451 - x331) + sqr(6.48985541572597 - x333) + 57.6217041967589*b263 <= 58.6217041967589 } } Constraint e452 { Definition: { sqr(1.22004189182266 - x331) + sqr(2.52276995748249 - x333) + 119.180496541755*b264 <= 120.180496541755 } } Constraint e453 { Definition: { sqr(3.94802045665365 - x331) + sqr(6.40339456473198 - x333) + 58.8305966748386*b265 <= 59.8305966748386 } } Constraint e454 { Definition: { sqr(4.9104301706676 - x331) + sqr(3.1538945754034 - x333) + 75.9207984013209*b266 <= 76.9207984013209 } } Constraint e455 { Definition: { sqr(3.23176530143453 - x331) + sqr(7.03644502956294 - x333) + 64.8784745008497*b267 <= 65.8784745008497 } } Constraint e456 { Definition: { sqr(0.39249886515424 - x331) + sqr(1.58871179600639 - x333) + 147.724006608004*b268 <= 148.724006608004 } } Constraint e457 { Definition: { sqr(4.42690021019308 - x331) + sqr(8.74244441962606 - x333) + 100.918497950284*b269 <= 101.918497950284 } } Constraint e458 { Definition: { sqr(2.59382124128511 - x331) + sqr(9.98780114819833 - x333) + 118.022029936783*b270 <= 119.022029936783 } } Constraint e459 { Definition: { b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 = 1 } } Constraint e460 { Definition: { sqr(2.84746945184196 - x335) + sqr(6.74779851669768 - x337) + 67.42707737338*b271 <= 68.42707737338 } } Constraint e461 { Definition: { sqr(6.63261133839597 - x335) + sqr(7.58930814907984 - x337) + 100.27903396698*b272 <= 101.27903396698 } } Constraint e462 { Definition: { sqr(2.78008351564232 - x335) + sqr(5.62089512941063 - x337) + 62.225162895805*b273 <= 63.225162895805 } } Constraint e463 { Definition: { sqr(3.36345404799715 - x335) + sqr(5.61693710344635 - x337) + 54.3423498257743*b274 <= 55.3423498257743 } } Constraint e464 { Definition: { sqr(1.46574263591158 - x335) + sqr(0.14249643071642 - x337) + 153.854418335954*b275 <= 154.854418335954 } } Constraint e465 { Definition: { sqr(6.59824950993792 - x335) + sqr(1.91438252349491 - x337) + 115.729330039997*b276 <= 116.729330039997 } } Constraint e466 { Definition: { sqr(2.02515523263325 - x335) + sqr(3.62141731303869 - x337) + 92.1830734090453*b277 <= 93.1830734090453 } } Constraint e467 { Definition: { sqr(8.97152199819966 - x335) + sqr(8.78133845105015 - x337) + 153.854418335954*b278 <= 154.854418335954 } } Constraint e468 { Definition: { sqr(1.87485423601802 - x335) + sqr(8.96274662253461 - x337) + 106.113667406259*b279 <= 107.113667406259 } } Constraint e469 { Definition: { sqr(7.52025674966412 - x335) + sqr(8.80268658264247 - x337) + 132.789518443852*b280 <= 133.789518443852 } } Constraint e470 { Definition: { sqr(3.85704114235832 - x335) + sqr(6.36674450874035 - x337) + 57.7951750598727*b281 <= 58.7951750598727 } } Constraint e471 { Definition: { sqr(8.48963678940351 - x335) + sqr(5.48402210821562 - x337) + 102.926783859086*b282 <= 103.926783859086 } } Constraint e472 { Definition: { sqr(6.03160481727421 - x335) + sqr(1.276552921829 - x337) + 118.75213232131*b283 <= 119.75213232131 } } Constraint e473 { Definition: { sqr(6.90662266429413 - x335) + sqr(8.78931785429954 - x337) + 124.803091689871*b284 <= 125.803091689871 } } Constraint e474 { Definition: { sqr(3.71078725250056 - x335) + sqr(4.66415664133948 - x337) + 57.9871322900609*b285 <= 58.9871322900609 } } Constraint e475 { Definition: { sqr(0.107239833314705 - x335) + sqr(9.26202525440128 - x337) + 141.568883438575*b286 <= 142.568883438575 } } Constraint e476 { Definition: { sqr(8.04739319923014 - x335) + sqr(3.59305161391794 - x337) + 114.695683175902*b287 <= 115.695683175902 } } Constraint e477 { Definition: { sqr(5.28411061001579 - x335) + sqr(9.36648183133357 - x337) + 119.627996085735*b288 <= 120.627996085735 } } Constraint e478 { Definition: { sqr(1.06171481272944 - x335) + sqr(3.65844432398946 - x337) + 107.656809348234*b289 <= 108.656809348234 } } Constraint e479 { Definition: { sqr(9.05099582793631 - x335) + sqr(3.98215513024397 - x337) + 128.639684646565*b290 <= 129.639684646565 } } Constraint e480 { Definition: { sqr(9.08772707393705 - x335) + sqr(3.01388234113091 - x337) + 141.568883438575*b291 <= 142.568883438575 } } Constraint e481 { Definition: { sqr(8.83910845171846 - x335) + sqr(8.26686922455514 - x337) + 142.314787626056*b292 <= 143.314787626056 } } Constraint e482 { Definition: { sqr(3.41090111187451 - x335) + sqr(6.48985541572597 - x337) + 57.6217041967589*b293 <= 58.6217041967589 } } Constraint e483 { Definition: { sqr(1.22004189182266 - x335) + sqr(2.52276995748249 - x337) + 119.180496541755*b294 <= 120.180496541755 } } Constraint e484 { Definition: { sqr(3.94802045665365 - x335) + sqr(6.40339456473198 - x337) + 58.8305966748386*b295 <= 59.8305966748386 } } Constraint e485 { Definition: { sqr(4.9104301706676 - x335) + sqr(3.1538945754034 - x337) + 75.9207984013209*b296 <= 76.9207984013209 } } Constraint e486 { Definition: { sqr(3.23176530143453 - x335) + sqr(7.03644502956294 - x337) + 64.8784745008497*b297 <= 65.8784745008497 } } Constraint e487 { Definition: { sqr(0.39249886515424 - x335) + sqr(1.58871179600639 - x337) + 147.724006608004*b298 <= 148.724006608004 } } Constraint e488 { Definition: { sqr(4.42690021019308 - x335) + sqr(8.74244441962606 - x337) + 100.918497950284*b299 <= 101.918497950284 } } Constraint e489 { Definition: { sqr(2.59382124128511 - x335) + sqr(9.98780114819833 - x337) + 118.022029936783*b300 <= 119.022029936783 } } Constraint e490 { Definition: { b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300 = 1 } } Constraint e491 { Definition: b1 + b31 + b61 + b91 + b121 + b151 + b181 + b211 + b241 + b271 <= 1; } Constraint e492 { Definition: b2 + b32 + b62 + b92 + b122 + b152 + b182 + b212 + b242 + b272 <= 1; } Constraint e493 { Definition: b3 + b33 + b63 + b93 + b123 + b153 + b183 + b213 + b243 + b273 <= 1; } Constraint e494 { Definition: b4 + b34 + b64 + b94 + b124 + b154 + b184 + b214 + b244 + b274 <= 1; } Constraint e495 { Definition: b5 + b35 + b65 + b95 + b125 + b155 + b185 + b215 + b245 + b275 <= 1; } Constraint e496 { Definition: b6 + b36 + b66 + b96 + b126 + b156 + b186 + b216 + b246 + b276 <= 1; } Constraint e497 { Definition: b7 + b37 + b67 + b97 + b127 + b157 + b187 + b217 + b247 + b277 <= 1; } Constraint e498 { Definition: b8 + b38 + b68 + b98 + b128 + b158 + b188 + b218 + b248 + b278 <= 1; } Constraint e499 { Definition: b9 + b39 + b69 + b99 + b129 + b159 + b189 + b219 + b249 + b279 <= 1; } Constraint e500 { Definition: { b10 + b40 + b70 + b100 + b130 + b160 + b190 + b220 + b250 + b280 <= 1 } } Constraint e501 { Definition: { b11 + b41 + b71 + b101 + b131 + b161 + b191 + b221 + b251 + b281 <= 1 } } Constraint e502 { Definition: { b12 + b42 + b72 + b102 + b132 + b162 + b192 + b222 + b252 + b282 <= 1 } } Constraint e503 { Definition: { b13 + b43 + b73 + b103 + b133 + b163 + b193 + b223 + b253 + b283 <= 1 } } Constraint e504 { Definition: { b14 + b44 + b74 + b104 + b134 + b164 + b194 + b224 + b254 + b284 <= 1 } } Constraint e505 { Definition: { b15 + b45 + b75 + b105 + b135 + b165 + b195 + b225 + b255 + b285 <= 1 } } Constraint e506 { Definition: { b16 + b46 + b76 + b106 + b136 + b166 + b196 + b226 + b256 + b286 <= 1 } } Constraint e507 { Definition: { b17 + b47 + b77 + b107 + b137 + b167 + b197 + b227 + b257 + b287 <= 1 } } Constraint e508 { Definition: { b18 + b48 + b78 + b108 + b138 + b168 + b198 + b228 + b258 + b288 <= 1 } } Constraint e509 { Definition: { b19 + b49 + b79 + b109 + b139 + b169 + b199 + b229 + b259 + b289 <= 1 } } Constraint e510 { Definition: { b20 + b50 + b80 + b110 + b140 + b170 + b200 + b230 + b260 + b290 <= 1 } } Constraint e511 { Definition: { b21 + b51 + b81 + b111 + b141 + b171 + b201 + b231 + b261 + b291 <= 1 } } Constraint e512 { Definition: { b22 + b52 + b82 + b112 + b142 + b172 + b202 + b232 + b262 + b292 <= 1 } } Constraint e513 { Definition: { b23 + b53 + b83 + b113 + b143 + b173 + b203 + b233 + b263 + b293 <= 1 } } Constraint e514 { Definition: { b24 + b54 + b84 + b114 + b144 + b174 + b204 + b234 + b264 + b294 <= 1 } } Constraint e515 { Definition: { b25 + b55 + b85 + b115 + b145 + b175 + b205 + b235 + b265 + b295 <= 1 } } Constraint e516 { Definition: { b26 + b56 + b86 + b116 + b146 + b176 + b206 + b236 + b266 + b296 <= 1 } } Constraint e517 { Definition: { b27 + b57 + b87 + b117 + b147 + b177 + b207 + b237 + b267 + b297 <= 1 } } Constraint e518 { Definition: { b28 + b58 + b88 + b118 + b148 + b178 + b208 + b238 + b268 + b298 <= 1 } } Constraint e519 { Definition: { b29 + b59 + b89 + b119 + b149 + b179 + b209 + b239 + b269 + b299 <= 1 } } Constraint e520 { Definition: { b30 + b60 + b90 + b120 + b150 + b180 + b210 + b240 + b270 + b300 <= 1 } } Constraint e521 { Definition: x301 - x302 <= 0; } Constraint e522 { Definition: x302 - x307 <= 0; } Constraint e523 { Definition: x307 - x311 <= 0; } Constraint e524 { Definition: x311 - x315 <= 0; } Constraint e525 { Definition: x315 - x319 <= 0; } Constraint e526 { Definition: x319 - x323 <= 0; } Constraint e527 { Definition: x323 - x327 <= 0; } Constraint e528 { Definition: x327 - x331 <= 0; } Constraint e529 { Definition: x331 - x335 <= 0; } Constraint e530 { Definition: { - x303 - x306 - x308 - x310 - x312 - x314 - x316 - x318 - x320 - x322 - x324 - x326 - x328 - x330 - x332 - x334 - x336 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409 - x410 + objvar = 0 } } Procedure MainInitialization { Body: { x301.upper := 10; x302.upper := 10; x303.upper := 10; x304.upper := 10; x305.upper := 10; x306.upper := 10; x307.upper := 10; x308.upper := 10; x309.upper := 10; x310.upper := 10; x311.upper := 10; x312.upper := 10; x313.upper := 10; x314.upper := 10; x315.upper := 10; x316.upper := 10; x317.upper := 10; x318.upper := 10; x319.upper := 10; x320.upper := 10; x321.upper := 10; x322.upper := 10; x323.upper := 10; x324.upper := 10; x325.upper := 10; x326.upper := 10; x327.upper := 10; x328.upper := 10; x329.upper := 10; x330.upper := 10; x331.upper := 10; x332.upper := 10; x333.upper := 10; x334.upper := 10; x335.upper := 10; x336.upper := 10; x337.upper := 10; x338.upper := 10; x339.upper := 10; x340.upper := 10; x341.upper := 10; x342.upper := 10; x343.upper := 10; x344.upper := 10; x345.upper := 10; x346.upper := 10; x347.upper := 10; x348.upper := 10; x349.upper := 10; x350.upper := 10; x351.upper := 10; x352.upper := 10; x353.upper := 10; x354.upper := 10; x355.upper := 10; x356.upper := 10; x357.upper := 10; x358.upper := 10; x359.upper := 10; x360.upper := 10; x361.upper := 10; x362.upper := 10; x363.upper := 10; x364.upper := 10; x365.upper := 10; x366.upper := 10; x367.upper := 10; x368.upper := 10; x369.upper := 10; x370.upper := 10; x371.upper := 10; x372.upper := 10; x373.upper := 10; x374.upper := 10; x375.upper := 10; x376.upper := 10; x377.upper := 10; x378.upper := 10; x379.upper := 10; x380.upper := 10; x381.upper := 10; x382.upper := 10; x383.upper := 10; x384.upper := 10; x385.upper := 10; x386.upper := 10; x387.upper := 10; x388.upper := 10; x389.upper := 10; x390.upper := 10; x391.upper := 10; x392.upper := 10; x393.upper := 10; x394.upper := 10; x395.upper := 10; x396.upper := 10; x397.upper := 10; x398.upper := 10; x399.upper := 10; x400.upper := 10; x401.upper := 10; x402.upper := 10; x403.upper := 10; x404.upper := 10; x405.upper := 10; x406.upper := 10; x407.upper := 10; x408.upper := 10; x409.upper := 10; x410.upper := 10; } } MathematicalProgram p_ball_30b_10p_2d_m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_30b_10p_2d_m; } } Procedure MainTermination { Body: { return 1; } } }