#  MINLP written by GAMS Convert at 08/26/20 11:33:03
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        530       11        0      519        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        411      111      300        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2149     1549      600        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var x301 >= 0, <= 10;
var x302 >= 0, <= 10;
var x303 >= 0, <= 10;
var x304 >= 0, <= 10;
var x305 >= 0, <= 10;
var x306 >= 0, <= 10;
var x307 >= 0, <= 10;
var x308 >= 0, <= 10;
var x309 >= 0, <= 10;
var x310 >= 0, <= 10;
var x311 >= 0, <= 10;
var x312 >= 0, <= 10;
var x313 >= 0, <= 10;
var x314 >= 0, <= 10;
var x315 >= 0, <= 10;
var x316 >= 0, <= 10;
var x317 >= 0, <= 10;
var x318 >= 0, <= 10;
var x319 >= 0, <= 10;
var x320 >= 0, <= 10;
var x321 >= 0, <= 10;
var x322 >= 0, <= 10;
var x323 >= 0, <= 10;
var x324 >= 0, <= 10;
var x325 >= 0, <= 10;
var x326 >= 0, <= 10;
var x327 >= 0, <= 10;
var x328 >= 0, <= 10;
var x329 >= 0, <= 10;
var x330 >= 0, <= 10;
var x331 >= 0, <= 10;
var x332 >= 0, <= 10;
var x333 >= 0, <= 10;
var x334 >= 0, <= 10;
var x335 >= 0, <= 10;
var x336 >= 0, <= 10;
var x337 >= 0, <= 10;
var x338 >= 0, <= 10;
var x339 >= 0, <= 10;
var x340 >= 0, <= 10;
var x341 >= 0, <= 10;
var x342 >= 0, <= 10;
var x343 >= 0, <= 10;
var x344 >= 0, <= 10;
var x345 >= 0, <= 10;
var x346 >= 0, <= 10;
var x347 >= 0, <= 10;
var x348 >= 0, <= 10;
var x349 >= 0, <= 10;
var x350 >= 0, <= 10;
var x351 >= 0, <= 10;
var x352 >= 0, <= 10;
var x353 >= 0, <= 10;
var x354 >= 0, <= 10;
var x355 >= 0, <= 10;
var x356 >= 0, <= 10;
var x357 >= 0, <= 10;
var x358 >= 0, <= 10;
var x359 >= 0, <= 10;
var x360 >= 0, <= 10;
var x361 >= 0, <= 10;
var x362 >= 0, <= 10;
var x363 >= 0, <= 10;
var x364 >= 0, <= 10;
var x365 >= 0, <= 10;
var x366 >= 0, <= 10;
var x367 >= 0, <= 10;
var x368 >= 0, <= 10;
var x369 >= 0, <= 10;
var x370 >= 0, <= 10;
var x371 >= 0, <= 10;
var x372 >= 0, <= 10;
var x373 >= 0, <= 10;
var x374 >= 0, <= 10;
var x375 >= 0, <= 10;
var x376 >= 0, <= 10;
var x377 >= 0, <= 10;
var x378 >= 0, <= 10;
var x379 >= 0, <= 10;
var x380 >= 0, <= 10;
var x381 >= 0, <= 10;
var x382 >= 0, <= 10;
var x383 >= 0, <= 10;
var x384 >= 0, <= 10;
var x385 >= 0, <= 10;
var x386 >= 0, <= 10;
var x387 >= 0, <= 10;
var x388 >= 0, <= 10;
var x389 >= 0, <= 10;
var x390 >= 0, <= 10;
var x391 >= 0, <= 10;
var x392 >= 0, <= 10;
var x393 >= 0, <= 10;
var x394 >= 0, <= 10;
var x395 >= 0, <= 10;
var x396 >= 0, <= 10;
var x397 >= 0, <= 10;
var x398 >= 0, <= 10;
var x399 >= 0, <= 10;
var x400 >= 0, <= 10;
var x401 >= 0, <= 10;
var x402 >= 0, <= 10;
var x403 >= 0, <= 10;
var x404 >= 0, <= 10;
var x405 >= 0, <= 10;
var x406 >= 0, <= 10;
var x407 >= 0, <= 10;
var x408 >= 0, <= 10;
var x409 >= 0, <= 10;
var x410 >= 0, <= 10;

minimize obj:    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;

subject to

e1:    x301 - x302 - x303 <= 0;

e2:  - x301 + x302 - x303 <= 0;

e3:    x304 - x305 - x306 <= 0;

e4:  - x304 + x305 - x306 <= 0;

e5:    x301 - x307 - x308 <= 0;

e6:  - x301 + x307 - x308 <= 0;

e7:    x304 - x309 - x310 <= 0;

e8:  - x304 + x309 - x310 <= 0;

e9:    x301 - x311 - x312 <= 0;

e10:  - x301 + x311 - x312 <= 0;

e11:    x304 - x313 - x314 <= 0;

e12:  - x304 + x313 - x314 <= 0;

e13:    x301 - x315 - x316 <= 0;

e14:  - x301 + x315 - x316 <= 0;

e15:    x304 - x317 - x318 <= 0;

e16:  - x304 + x317 - x318 <= 0;

e17:    x301 - x319 - x320 <= 0;

e18:  - x301 + x319 - x320 <= 0;

e19:    x304 - x321 - x322 <= 0;

e20:  - x304 + x321 - x322 <= 0;

e21:    x301 - x323 - x324 <= 0;

e22:  - x301 + x323 - x324 <= 0;

e23:    x304 - x325 - x326 <= 0;

e24:  - x304 + x325 - x326 <= 0;

e25:    x301 - x327 - x328 <= 0;

e26:  - x301 + x327 - x328 <= 0;

e27:    x304 - x329 - x330 <= 0;

e28:  - x304 + x329 - x330 <= 0;

e29:    x301 - x331 - x332 <= 0;

e30:  - x301 + x331 - x332 <= 0;

e31:    x304 - x333 - x334 <= 0;

e32:  - x304 + x333 - x334 <= 0;

e33:    x301 - x335 - x336 <= 0;

e34:  - x301 + x335 - x336 <= 0;

e35:    x304 - x337 - x338 <= 0;

e36:  - x304 + x337 - x338 <= 0;

e37:    x302 - x307 - x339 <= 0;

e38:  - x302 + x307 - x339 <= 0;

e39:    x305 - x309 - x340 <= 0;

e40:  - x305 + x309 - x340 <= 0;

e41:    x302 - x311 - x341 <= 0;

e42:  - x302 + x311 - x341 <= 0;

e43:    x305 - x313 - x342 <= 0;

e44:  - x305 + x313 - x342 <= 0;

e45:    x302 - x315 - x343 <= 0;

e46:  - x302 + x315 - x343 <= 0;

e47:    x305 - x317 - x344 <= 0;

e48:  - x305 + x317 - x344 <= 0;

e49:    x302 - x319 - x345 <= 0;

e50:  - x302 + x319 - x345 <= 0;

e51:    x305 - x321 - x346 <= 0;

e52:  - x305 + x321 - x346 <= 0;

e53:    x302 - x323 - x347 <= 0;

e54:  - x302 + x323 - x347 <= 0;

e55:    x305 - x325 - x348 <= 0;

e56:  - x305 + x325 - x348 <= 0;

e57:    x302 - x327 - x349 <= 0;

e58:  - x302 + x327 - x349 <= 0;

e59:    x305 - x329 - x350 <= 0;

e60:  - x305 + x329 - x350 <= 0;

e61:    x302 - x331 - x351 <= 0;

e62:  - x302 + x331 - x351 <= 0;

e63:    x305 - x333 - x352 <= 0;

e64:  - x305 + x333 - x352 <= 0;

e65:    x302 - x335 - x353 <= 0;

e66:  - x302 + x335 - x353 <= 0;

e67:    x305 - x337 - x354 <= 0;

e68:  - x305 + x337 - x354 <= 0;

e69:    x307 - x311 - x355 <= 0;

e70:  - x307 + x311 - x355 <= 0;

e71:    x309 - x313 - x356 <= 0;

e72:  - x309 + x313 - x356 <= 0;

e73:    x307 - x315 - x357 <= 0;

e74:  - x307 + x315 - x357 <= 0;

e75:    x309 - x317 - x358 <= 0;

e76:  - x309 + x317 - x358 <= 0;

e77:    x307 - x319 - x359 <= 0;

e78:  - x307 + x319 - x359 <= 0;

e79:    x309 - x321 - x360 <= 0;

e80:  - x309 + x321 - x360 <= 0;

e81:    x307 - x323 - x361 <= 0;

e82:  - x307 + x323 - x361 <= 0;

e83:    x309 - x325 - x362 <= 0;

e84:  - x309 + x325 - x362 <= 0;

e85:    x307 - x327 - x363 <= 0;

e86:  - x307 + x327 - x363 <= 0;

e87:    x309 - x329 - x364 <= 0;

e88:  - x309 + x329 - x364 <= 0;

e89:    x307 - x331 - x365 <= 0;

e90:  - x307 + x331 - x365 <= 0;

e91:    x309 - x333 - x366 <= 0;

e92:  - x309 + x333 - x366 <= 0;

e93:    x307 - x335 - x367 <= 0;

e94:  - x307 + x335 - x367 <= 0;

e95:    x309 - x337 - x368 <= 0;

e96:  - x309 + x337 - x368 <= 0;

e97:    x311 - x315 - x369 <= 0;

e98:  - x311 + x315 - x369 <= 0;

e99:    x313 - x317 - x370 <= 0;

e100:  - x313 + x317 - x370 <= 0;

e101:    x311 - x319 - x371 <= 0;

e102:  - x311 + x319 - x371 <= 0;

e103:    x313 - x321 - x372 <= 0;

e104:  - x313 + x321 - x372 <= 0;

e105:    x311 - x323 - x373 <= 0;

e106:  - x311 + x323 - x373 <= 0;

e107:    x313 - x325 - x374 <= 0;

e108:  - x313 + x325 - x374 <= 0;

e109:    x311 - x327 - x375 <= 0;

e110:  - x311 + x327 - x375 <= 0;

e111:    x313 - x329 - x376 <= 0;

e112:  - x313 + x329 - x376 <= 0;

e113:    x311 - x331 - x377 <= 0;

e114:  - x311 + x331 - x377 <= 0;

e115:    x313 - x333 - x378 <= 0;

e116:  - x313 + x333 - x378 <= 0;

e117:    x311 - x335 - x379 <= 0;

e118:  - x311 + x335 - x379 <= 0;

e119:    x313 - x337 - x380 <= 0;

e120:  - x313 + x337 - x380 <= 0;

e121:    x315 - x319 - x381 <= 0;

e122:  - x315 + x319 - x381 <= 0;

e123:    x317 - x321 - x382 <= 0;

e124:  - x317 + x321 - x382 <= 0;

e125:    x315 - x323 - x383 <= 0;

e126:  - x315 + x323 - x383 <= 0;

e127:    x317 - x325 - x384 <= 0;

e128:  - x317 + x325 - x384 <= 0;

e129:    x315 - x327 - x385 <= 0;

e130:  - x315 + x327 - x385 <= 0;

e131:    x317 - x329 - x386 <= 0;

e132:  - x317 + x329 - x386 <= 0;

e133:    x315 - x331 - x387 <= 0;

e134:  - x315 + x331 - x387 <= 0;

e135:    x317 - x333 - x388 <= 0;

e136:  - x317 + x333 - x388 <= 0;

e137:    x315 - x335 - x389 <= 0;

e138:  - x315 + x335 - x389 <= 0;

e139:    x317 - x337 - x390 <= 0;

e140:  - x317 + x337 - x390 <= 0;

e141:    x319 - x323 - x391 <= 0;

e142:  - x319 + x323 - x391 <= 0;

e143:    x321 - x325 - x392 <= 0;

e144:  - x321 + x325 - x392 <= 0;

e145:    x319 - x327 - x393 <= 0;

e146:  - x319 + x327 - x393 <= 0;

e147:    x321 - x329 - x394 <= 0;

e148:  - x321 + x329 - x394 <= 0;

e149:    x319 - x331 - x395 <= 0;

e150:  - x319 + x331 - x395 <= 0;

e151:    x321 - x333 - x396 <= 0;

e152:  - x321 + x333 - x396 <= 0;

e153:    x319 - x335 - x397 <= 0;

e154:  - x319 + x335 - x397 <= 0;

e155:    x321 - x337 - x398 <= 0;

e156:  - x321 + x337 - x398 <= 0;

e157:    x323 - x327 - x399 <= 0;

e158:  - x323 + x327 - x399 <= 0;

e159:    x325 - x329 - x400 <= 0;

e160:  - x325 + x329 - x400 <= 0;

e161:    x323 - x331 - x401 <= 0;

e162:  - x323 + x331 - x401 <= 0;

e163:    x325 - x333 - x402 <= 0;

e164:  - x325 + x333 - x402 <= 0;

e165:    x323 - x335 - x403 <= 0;

e166:  - x323 + x335 - x403 <= 0;

e167:    x325 - x337 - x404 <= 0;

e168:  - x325 + x337 - x404 <= 0;

e169:    x327 - x331 - x405 <= 0;

e170:  - x327 + x331 - x405 <= 0;

e171:    x329 - x333 - x406 <= 0;

e172:  - x329 + x333 - x406 <= 0;

e173:    x327 - x335 - x407 <= 0;

e174:  - x327 + x335 - x407 <= 0;

e175:    x329 - x337 - x408 <= 0;

e176:  - x329 + x337 - x408 <= 0;

e177:    x331 - x335 - x409 <= 0;

e178:  - x331 + x335 - x409 <= 0;

e179:    x333 - x337 - x410 <= 0;

e180:  - x333 + x337 - x410 <= 0;

e181: (2.84746945184196 - x301)^2 + (6.74779851669768 - x304)^2
       + 67.42707737338*b1 <= 68.42707737338;

e182: (6.63261133839597 - x301)^2 + (7.58930814907984 - x304)^2
       + 100.27903396698*b2 <= 101.27903396698;

e183: (2.78008351564232 - x301)^2 + (5.62089512941063 - x304)^2
       + 62.225162895805*b3 <= 63.225162895805;

e184: (3.36345404799715 - x301)^2 + (5.61693710344635 - x304)^2
       + 54.3423498257743*b4 <= 55.3423498257743;

e185: (1.46574263591158 - x301)^2 + (0.14249643071642 - x304)^2
       + 153.854418335954*b5 <= 154.854418335954;

e186: (6.59824950993792 - x301)^2 + (1.91438252349491 - x304)^2
       + 115.729330039997*b6 <= 116.729330039997;

e187: (2.02515523263325 - x301)^2 + (3.62141731303869 - x304)^2
       + 92.1830734090453*b7 <= 93.1830734090453;

e188: (8.97152199819966 - x301)^2 + (8.78133845105015 - x304)^2
       + 153.854418335954*b8 <= 154.854418335954;

e189: (1.87485423601802 - x301)^2 + (8.96274662253461 - x304)^2
       + 106.113667406259*b9 <= 107.113667406259;

e190: (7.52025674966412 - x301)^2 + (8.80268658264247 - x304)^2
       + 132.789518443852*b10 <= 133.789518443852;

e191: (3.85704114235832 - x301)^2 + (6.36674450874035 - x304)^2
       + 57.7951750598727*b11 <= 58.7951750598727;

e192: (8.48963678940351 - x301)^2 + (5.48402210821562 - x304)^2
       + 102.926783859086*b12 <= 103.926783859086;

e193: (6.03160481727421 - x301)^2 + (1.276552921829 - x304)^2
       + 118.75213232131*b13 <= 119.75213232131;

e194: (6.90662266429413 - x301)^2 + (8.78931785429954 - x304)^2
       + 124.803091689871*b14 <= 125.803091689871;

e195: (3.71078725250056 - x301)^2 + (4.66415664133948 - x304)^2
       + 57.9871322900609*b15 <= 58.9871322900609;

e196: (0.107239833314705 - x301)^2 + (9.26202525440128 - x304)^2
       + 141.568883438575*b16 <= 142.568883438575;

e197: (8.04739319923014 - x301)^2 + (3.59305161391794 - x304)^2
       + 114.695683175902*b17 <= 115.695683175902;

e198: (5.28411061001579 - x301)^2 + (9.36648183133357 - x304)^2
       + 119.627996085735*b18 <= 120.627996085735;

e199: (1.06171481272944 - x301)^2 + (3.65844432398946 - x304)^2
       + 107.656809348234*b19 <= 108.656809348234;

e200: (9.05099582793631 - x301)^2 + (3.98215513024397 - x304)^2
       + 128.639684646565*b20 <= 129.639684646565;

e201: (9.08772707393705 - x301)^2 + (3.01388234113091 - x304)^2
       + 141.568883438575*b21 <= 142.568883438575;

e202: (8.83910845171846 - x301)^2 + (8.26686922455514 - x304)^2
       + 142.314787626056*b22 <= 143.314787626056;

e203: (3.41090111187451 - x301)^2 + (6.48985541572597 - x304)^2
       + 57.6217041967589*b23 <= 58.6217041967589;

e204: (1.22004189182266 - x301)^2 + (2.52276995748249 - x304)^2
       + 119.180496541755*b24 <= 120.180496541755;

e205: (3.94802045665365 - x301)^2 + (6.40339456473198 - x304)^2
       + 58.8305966748386*b25 <= 59.8305966748386;

e206: (4.9104301706676 - x301)^2 + (3.1538945754034 - x304)^2
       + 75.9207984013209*b26 <= 76.9207984013209;

e207: (3.23176530143453 - x301)^2 + (7.03644502956294 - x304)^2
       + 64.8784745008497*b27 <= 65.8784745008497;

e208: (0.39249886515424 - x301)^2 + (1.58871179600639 - x304)^2
       + 147.724006608004*b28 <= 148.724006608004;

e209: (4.42690021019308 - x301)^2 + (8.74244441962606 - x304)^2
       + 100.918497950284*b29 <= 101.918497950284;

e210: (2.59382124128511 - x301)^2 + (9.98780114819833 - x304)^2
       + 118.022029936783*b30 <= 119.022029936783;

e211:    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;

e212: (2.84746945184196 - x302)^2 + (6.74779851669768 - x305)^2
       + 67.42707737338*b31 <= 68.42707737338;

e213: (6.63261133839597 - x302)^2 + (7.58930814907984 - x305)^2
       + 100.27903396698*b32 <= 101.27903396698;

e214: (2.78008351564232 - x302)^2 + (5.62089512941063 - x305)^2
       + 62.225162895805*b33 <= 63.225162895805;

e215: (3.36345404799715 - x302)^2 + (5.61693710344635 - x305)^2
       + 54.3423498257743*b34 <= 55.3423498257743;

e216: (1.46574263591158 - x302)^2 + (0.14249643071642 - x305)^2
       + 153.854418335954*b35 <= 154.854418335954;

e217: (6.59824950993792 - x302)^2 + (1.91438252349491 - x305)^2
       + 115.729330039997*b36 <= 116.729330039997;

e218: (2.02515523263325 - x302)^2 + (3.62141731303869 - x305)^2
       + 92.1830734090453*b37 <= 93.1830734090453;

e219: (8.97152199819966 - x302)^2 + (8.78133845105015 - x305)^2
       + 153.854418335954*b38 <= 154.854418335954;

e220: (1.87485423601802 - x302)^2 + (8.96274662253461 - x305)^2
       + 106.113667406259*b39 <= 107.113667406259;

e221: (7.52025674966412 - x302)^2 + (8.80268658264247 - x305)^2
       + 132.789518443852*b40 <= 133.789518443852;

e222: (3.85704114235832 - x302)^2 + (6.36674450874035 - x305)^2
       + 57.7951750598727*b41 <= 58.7951750598727;

e223: (8.48963678940351 - x302)^2 + (5.48402210821562 - x305)^2
       + 102.926783859086*b42 <= 103.926783859086;

e224: (6.03160481727421 - x302)^2 + (1.276552921829 - x305)^2
       + 118.75213232131*b43 <= 119.75213232131;

e225: (6.90662266429413 - x302)^2 + (8.78931785429954 - x305)^2
       + 124.803091689871*b44 <= 125.803091689871;

e226: (3.71078725250056 - x302)^2 + (4.66415664133948 - x305)^2
       + 57.9871322900609*b45 <= 58.9871322900609;

e227: (0.107239833314705 - x302)^2 + (9.26202525440128 - x305)^2
       + 141.568883438575*b46 <= 142.568883438575;

e228: (8.04739319923014 - x302)^2 + (3.59305161391794 - x305)^2
       + 114.695683175902*b47 <= 115.695683175902;

e229: (5.28411061001579 - x302)^2 + (9.36648183133357 - x305)^2
       + 119.627996085735*b48 <= 120.627996085735;

e230: (1.06171481272944 - x302)^2 + (3.65844432398946 - x305)^2
       + 107.656809348234*b49 <= 108.656809348234;

e231: (9.05099582793631 - x302)^2 + (3.98215513024397 - x305)^2
       + 128.639684646565*b50 <= 129.639684646565;

e232: (9.08772707393705 - x302)^2 + (3.01388234113091 - x305)^2
       + 141.568883438575*b51 <= 142.568883438575;

e233: (8.83910845171846 - x302)^2 + (8.26686922455514 - x305)^2
       + 142.314787626056*b52 <= 143.314787626056;

e234: (3.41090111187451 - x302)^2 + (6.48985541572597 - x305)^2
       + 57.6217041967589*b53 <= 58.6217041967589;

e235: (1.22004189182266 - x302)^2 + (2.52276995748249 - x305)^2
       + 119.180496541755*b54 <= 120.180496541755;

e236: (3.94802045665365 - x302)^2 + (6.40339456473198 - x305)^2
       + 58.8305966748386*b55 <= 59.8305966748386;

e237: (4.9104301706676 - x302)^2 + (3.1538945754034 - x305)^2
       + 75.9207984013209*b56 <= 76.9207984013209;

e238: (3.23176530143453 - x302)^2 + (7.03644502956294 - x305)^2
       + 64.8784745008497*b57 <= 65.8784745008497;

e239: (0.39249886515424 - x302)^2 + (1.58871179600639 - x305)^2
       + 147.724006608004*b58 <= 148.724006608004;

e240: (4.42690021019308 - x302)^2 + (8.74244441962606 - x305)^2
       + 100.918497950284*b59 <= 101.918497950284;

e241: (2.59382124128511 - x302)^2 + (9.98780114819833 - x305)^2
       + 118.022029936783*b60 <= 119.022029936783;

e242:    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;

e243: (2.84746945184196 - x307)^2 + (6.74779851669768 - x309)^2
       + 67.42707737338*b61 <= 68.42707737338;

e244: (6.63261133839597 - x307)^2 + (7.58930814907984 - x309)^2
       + 100.27903396698*b62 <= 101.27903396698;

e245: (2.78008351564232 - x307)^2 + (5.62089512941063 - x309)^2
       + 62.225162895805*b63 <= 63.225162895805;

e246: (3.36345404799715 - x307)^2 + (5.61693710344635 - x309)^2
       + 54.3423498257743*b64 <= 55.3423498257743;

e247: (1.46574263591158 - x307)^2 + (0.14249643071642 - x309)^2
       + 153.854418335954*b65 <= 154.854418335954;

e248: (6.59824950993792 - x307)^2 + (1.91438252349491 - x309)^2
       + 115.729330039997*b66 <= 116.729330039997;

e249: (2.02515523263325 - x307)^2 + (3.62141731303869 - x309)^2
       + 92.1830734090453*b67 <= 93.1830734090453;

e250: (8.97152199819966 - x307)^2 + (8.78133845105015 - x309)^2
       + 153.854418335954*b68 <= 154.854418335954;

e251: (1.87485423601802 - x307)^2 + (8.96274662253461 - x309)^2
       + 106.113667406259*b69 <= 107.113667406259;

e252: (7.52025674966412 - x307)^2 + (8.80268658264247 - x309)^2
       + 132.789518443852*b70 <= 133.789518443852;

e253: (3.85704114235832 - x307)^2 + (6.36674450874035 - x309)^2
       + 57.7951750598727*b71 <= 58.7951750598727;

e254: (8.48963678940351 - x307)^2 + (5.48402210821562 - x309)^2
       + 102.926783859086*b72 <= 103.926783859086;

e255: (6.03160481727421 - x307)^2 + (1.276552921829 - x309)^2
       + 118.75213232131*b73 <= 119.75213232131;

e256: (6.90662266429413 - x307)^2 + (8.78931785429954 - x309)^2
       + 124.803091689871*b74 <= 125.803091689871;

e257: (3.71078725250056 - x307)^2 + (4.66415664133948 - x309)^2
       + 57.9871322900609*b75 <= 58.9871322900609;

e258: (0.107239833314705 - x307)^2 + (9.26202525440128 - x309)^2
       + 141.568883438575*b76 <= 142.568883438575;

e259: (8.04739319923014 - x307)^2 + (3.59305161391794 - x309)^2
       + 114.695683175902*b77 <= 115.695683175902;

e260: (5.28411061001579 - x307)^2 + (9.36648183133357 - x309)^2
       + 119.627996085735*b78 <= 120.627996085735;

e261: (1.06171481272944 - x307)^2 + (3.65844432398946 - x309)^2
       + 107.656809348234*b79 <= 108.656809348234;

e262: (9.05099582793631 - x307)^2 + (3.98215513024397 - x309)^2
       + 128.639684646565*b80 <= 129.639684646565;

e263: (9.08772707393705 - x307)^2 + (3.01388234113091 - x309)^2
       + 141.568883438575*b81 <= 142.568883438575;

e264: (8.83910845171846 - x307)^2 + (8.26686922455514 - x309)^2
       + 142.314787626056*b82 <= 143.314787626056;

e265: (3.41090111187451 - x307)^2 + (6.48985541572597 - x309)^2
       + 57.6217041967589*b83 <= 58.6217041967589;

e266: (1.22004189182266 - x307)^2 + (2.52276995748249 - x309)^2
       + 119.180496541755*b84 <= 120.180496541755;

e267: (3.94802045665365 - x307)^2 + (6.40339456473198 - x309)^2
       + 58.8305966748386*b85 <= 59.8305966748386;

e268: (4.9104301706676 - x307)^2 + (3.1538945754034 - x309)^2
       + 75.9207984013209*b86 <= 76.9207984013209;

e269: (3.23176530143453 - x307)^2 + (7.03644502956294 - x309)^2
       + 64.8784745008497*b87 <= 65.8784745008497;

e270: (0.39249886515424 - x307)^2 + (1.58871179600639 - x309)^2
       + 147.724006608004*b88 <= 148.724006608004;

e271: (4.42690021019308 - x307)^2 + (8.74244441962606 - x309)^2
       + 100.918497950284*b89 <= 101.918497950284;

e272: (2.59382124128511 - x307)^2 + (9.98780114819833 - x309)^2
       + 118.022029936783*b90 <= 119.022029936783;

e273:    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;

e274: (2.84746945184196 - x311)^2 + (6.74779851669768 - x313)^2
       + 67.42707737338*b91 <= 68.42707737338;

e275: (6.63261133839597 - x311)^2 + (7.58930814907984 - x313)^2
       + 100.27903396698*b92 <= 101.27903396698;

e276: (2.78008351564232 - x311)^2 + (5.62089512941063 - x313)^2
       + 62.225162895805*b93 <= 63.225162895805;

e277: (3.36345404799715 - x311)^2 + (5.61693710344635 - x313)^2
       + 54.3423498257743*b94 <= 55.3423498257743;

e278: (1.46574263591158 - x311)^2 + (0.14249643071642 - x313)^2
       + 153.854418335954*b95 <= 154.854418335954;

e279: (6.59824950993792 - x311)^2 + (1.91438252349491 - x313)^2
       + 115.729330039997*b96 <= 116.729330039997;

e280: (2.02515523263325 - x311)^2 + (3.62141731303869 - x313)^2
       + 92.1830734090453*b97 <= 93.1830734090453;

e281: (8.97152199819966 - x311)^2 + (8.78133845105015 - x313)^2
       + 153.854418335954*b98 <= 154.854418335954;

e282: (1.87485423601802 - x311)^2 + (8.96274662253461 - x313)^2
       + 106.113667406259*b99 <= 107.113667406259;

e283: (7.52025674966412 - x311)^2 + (8.80268658264247 - x313)^2
       + 132.789518443852*b100 <= 133.789518443852;

e284: (3.85704114235832 - x311)^2 + (6.36674450874035 - x313)^2
       + 57.7951750598727*b101 <= 58.7951750598727;

e285: (8.48963678940351 - x311)^2 + (5.48402210821562 - x313)^2
       + 102.926783859086*b102 <= 103.926783859086;

e286: (6.03160481727421 - x311)^2 + (1.276552921829 - x313)^2
       + 118.75213232131*b103 <= 119.75213232131;

e287: (6.90662266429413 - x311)^2 + (8.78931785429954 - x313)^2
       + 124.803091689871*b104 <= 125.803091689871;

e288: (3.71078725250056 - x311)^2 + (4.66415664133948 - x313)^2
       + 57.9871322900609*b105 <= 58.9871322900609;

e289: (0.107239833314705 - x311)^2 + (9.26202525440128 - x313)^2
       + 141.568883438575*b106 <= 142.568883438575;

e290: (8.04739319923014 - x311)^2 + (3.59305161391794 - x313)^2
       + 114.695683175902*b107 <= 115.695683175902;

e291: (5.28411061001579 - x311)^2 + (9.36648183133357 - x313)^2
       + 119.627996085735*b108 <= 120.627996085735;

e292: (1.06171481272944 - x311)^2 + (3.65844432398946 - x313)^2
       + 107.656809348234*b109 <= 108.656809348234;

e293: (9.05099582793631 - x311)^2 + (3.98215513024397 - x313)^2
       + 128.639684646565*b110 <= 129.639684646565;

e294: (9.08772707393705 - x311)^2 + (3.01388234113091 - x313)^2
       + 141.568883438575*b111 <= 142.568883438575;

e295: (8.83910845171846 - x311)^2 + (8.26686922455514 - x313)^2
       + 142.314787626056*b112 <= 143.314787626056;

e296: (3.41090111187451 - x311)^2 + (6.48985541572597 - x313)^2
       + 57.6217041967589*b113 <= 58.6217041967589;

e297: (1.22004189182266 - x311)^2 + (2.52276995748249 - x313)^2
       + 119.180496541755*b114 <= 120.180496541755;

e298: (3.94802045665365 - x311)^2 + (6.40339456473198 - x313)^2
       + 58.8305966748386*b115 <= 59.8305966748386;

e299: (4.9104301706676 - x311)^2 + (3.1538945754034 - x313)^2
       + 75.9207984013209*b116 <= 76.9207984013209;

e300: (3.23176530143453 - x311)^2 + (7.03644502956294 - x313)^2
       + 64.8784745008497*b117 <= 65.8784745008497;

e301: (0.39249886515424 - x311)^2 + (1.58871179600639 - x313)^2
       + 147.724006608004*b118 <= 148.724006608004;

e302: (4.42690021019308 - x311)^2 + (8.74244441962606 - x313)^2
       + 100.918497950284*b119 <= 101.918497950284;

e303: (2.59382124128511 - x311)^2 + (9.98780114819833 - x313)^2
       + 118.022029936783*b120 <= 119.022029936783;

e304:    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;

e305: (2.84746945184196 - x315)^2 + (6.74779851669768 - x317)^2
       + 67.42707737338*b121 <= 68.42707737338;

e306: (6.63261133839597 - x315)^2 + (7.58930814907984 - x317)^2
       + 100.27903396698*b122 <= 101.27903396698;

e307: (2.78008351564232 - x315)^2 + (5.62089512941063 - x317)^2
       + 62.225162895805*b123 <= 63.225162895805;

e308: (3.36345404799715 - x315)^2 + (5.61693710344635 - x317)^2
       + 54.3423498257743*b124 <= 55.3423498257743;

e309: (1.46574263591158 - x315)^2 + (0.14249643071642 - x317)^2
       + 153.854418335954*b125 <= 154.854418335954;

e310: (6.59824950993792 - x315)^2 + (1.91438252349491 - x317)^2
       + 115.729330039997*b126 <= 116.729330039997;

e311: (2.02515523263325 - x315)^2 + (3.62141731303869 - x317)^2
       + 92.1830734090453*b127 <= 93.1830734090453;

e312: (8.97152199819966 - x315)^2 + (8.78133845105015 - x317)^2
       + 153.854418335954*b128 <= 154.854418335954;

e313: (1.87485423601802 - x315)^2 + (8.96274662253461 - x317)^2
       + 106.113667406259*b129 <= 107.113667406259;

e314: (7.52025674966412 - x315)^2 + (8.80268658264247 - x317)^2
       + 132.789518443852*b130 <= 133.789518443852;

e315: (3.85704114235832 - x315)^2 + (6.36674450874035 - x317)^2
       + 57.7951750598727*b131 <= 58.7951750598727;

e316: (8.48963678940351 - x315)^2 + (5.48402210821562 - x317)^2
       + 102.926783859086*b132 <= 103.926783859086;

e317: (6.03160481727421 - x315)^2 + (1.276552921829 - x317)^2
       + 118.75213232131*b133 <= 119.75213232131;

e318: (6.90662266429413 - x315)^2 + (8.78931785429954 - x317)^2
       + 124.803091689871*b134 <= 125.803091689871;

e319: (3.71078725250056 - x315)^2 + (4.66415664133948 - x317)^2
       + 57.9871322900609*b135 <= 58.9871322900609;

e320: (0.107239833314705 - x315)^2 + (9.26202525440128 - x317)^2
       + 141.568883438575*b136 <= 142.568883438575;

e321: (8.04739319923014 - x315)^2 + (3.59305161391794 - x317)^2
       + 114.695683175902*b137 <= 115.695683175902;

e322: (5.28411061001579 - x315)^2 + (9.36648183133357 - x317)^2
       + 119.627996085735*b138 <= 120.627996085735;

e323: (1.06171481272944 - x315)^2 + (3.65844432398946 - x317)^2
       + 107.656809348234*b139 <= 108.656809348234;

e324: (9.05099582793631 - x315)^2 + (3.98215513024397 - x317)^2
       + 128.639684646565*b140 <= 129.639684646565;

e325: (9.08772707393705 - x315)^2 + (3.01388234113091 - x317)^2
       + 141.568883438575*b141 <= 142.568883438575;

e326: (8.83910845171846 - x315)^2 + (8.26686922455514 - x317)^2
       + 142.314787626056*b142 <= 143.314787626056;

e327: (3.41090111187451 - x315)^2 + (6.48985541572597 - x317)^2
       + 57.6217041967589*b143 <= 58.6217041967589;

e328: (1.22004189182266 - x315)^2 + (2.52276995748249 - x317)^2
       + 119.180496541755*b144 <= 120.180496541755;

e329: (3.94802045665365 - x315)^2 + (6.40339456473198 - x317)^2
       + 58.8305966748386*b145 <= 59.8305966748386;

e330: (4.9104301706676 - x315)^2 + (3.1538945754034 - x317)^2
       + 75.9207984013209*b146 <= 76.9207984013209;

e331: (3.23176530143453 - x315)^2 + (7.03644502956294 - x317)^2
       + 64.8784745008497*b147 <= 65.8784745008497;

e332: (0.39249886515424 - x315)^2 + (1.58871179600639 - x317)^2
       + 147.724006608004*b148 <= 148.724006608004;

e333: (4.42690021019308 - x315)^2 + (8.74244441962606 - x317)^2
       + 100.918497950284*b149 <= 101.918497950284;

e334: (2.59382124128511 - x315)^2 + (9.98780114819833 - x317)^2
       + 118.022029936783*b150 <= 119.022029936783;

e335:    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;

e336: (2.84746945184196 - x319)^2 + (6.74779851669768 - x321)^2
       + 67.42707737338*b151 <= 68.42707737338;

e337: (6.63261133839597 - x319)^2 + (7.58930814907984 - x321)^2
       + 100.27903396698*b152 <= 101.27903396698;

e338: (2.78008351564232 - x319)^2 + (5.62089512941063 - x321)^2
       + 62.225162895805*b153 <= 63.225162895805;

e339: (3.36345404799715 - x319)^2 + (5.61693710344635 - x321)^2
       + 54.3423498257743*b154 <= 55.3423498257743;

e340: (1.46574263591158 - x319)^2 + (0.14249643071642 - x321)^2
       + 153.854418335954*b155 <= 154.854418335954;

e341: (6.59824950993792 - x319)^2 + (1.91438252349491 - x321)^2
       + 115.729330039997*b156 <= 116.729330039997;

e342: (2.02515523263325 - x319)^2 + (3.62141731303869 - x321)^2
       + 92.1830734090453*b157 <= 93.1830734090453;

e343: (8.97152199819966 - x319)^2 + (8.78133845105015 - x321)^2
       + 153.854418335954*b158 <= 154.854418335954;

e344: (1.87485423601802 - x319)^2 + (8.96274662253461 - x321)^2
       + 106.113667406259*b159 <= 107.113667406259;

e345: (7.52025674966412 - x319)^2 + (8.80268658264247 - x321)^2
       + 132.789518443852*b160 <= 133.789518443852;

e346: (3.85704114235832 - x319)^2 + (6.36674450874035 - x321)^2
       + 57.7951750598727*b161 <= 58.7951750598727;

e347: (8.48963678940351 - x319)^2 + (5.48402210821562 - x321)^2
       + 102.926783859086*b162 <= 103.926783859086;

e348: (6.03160481727421 - x319)^2 + (1.276552921829 - x321)^2
       + 118.75213232131*b163 <= 119.75213232131;

e349: (6.90662266429413 - x319)^2 + (8.78931785429954 - x321)^2
       + 124.803091689871*b164 <= 125.803091689871;

e350: (3.71078725250056 - x319)^2 + (4.66415664133948 - x321)^2
       + 57.9871322900609*b165 <= 58.9871322900609;

e351: (0.107239833314705 - x319)^2 + (9.26202525440128 - x321)^2
       + 141.568883438575*b166 <= 142.568883438575;

e352: (8.04739319923014 - x319)^2 + (3.59305161391794 - x321)^2
       + 114.695683175902*b167 <= 115.695683175902;

e353: (5.28411061001579 - x319)^2 + (9.36648183133357 - x321)^2
       + 119.627996085735*b168 <= 120.627996085735;

e354: (1.06171481272944 - x319)^2 + (3.65844432398946 - x321)^2
       + 107.656809348234*b169 <= 108.656809348234;

e355: (9.05099582793631 - x319)^2 + (3.98215513024397 - x321)^2
       + 128.639684646565*b170 <= 129.639684646565;

e356: (9.08772707393705 - x319)^2 + (3.01388234113091 - x321)^2
       + 141.568883438575*b171 <= 142.568883438575;

e357: (8.83910845171846 - x319)^2 + (8.26686922455514 - x321)^2
       + 142.314787626056*b172 <= 143.314787626056;

e358: (3.41090111187451 - x319)^2 + (6.48985541572597 - x321)^2
       + 57.6217041967589*b173 <= 58.6217041967589;

e359: (1.22004189182266 - x319)^2 + (2.52276995748249 - x321)^2
       + 119.180496541755*b174 <= 120.180496541755;

e360: (3.94802045665365 - x319)^2 + (6.40339456473198 - x321)^2
       + 58.8305966748386*b175 <= 59.8305966748386;

e361: (4.9104301706676 - x319)^2 + (3.1538945754034 - x321)^2
       + 75.9207984013209*b176 <= 76.9207984013209;

e362: (3.23176530143453 - x319)^2 + (7.03644502956294 - x321)^2
       + 64.8784745008497*b177 <= 65.8784745008497;

e363: (0.39249886515424 - x319)^2 + (1.58871179600639 - x321)^2
       + 147.724006608004*b178 <= 148.724006608004;

e364: (4.42690021019308 - x319)^2 + (8.74244441962606 - x321)^2
       + 100.918497950284*b179 <= 101.918497950284;

e365: (2.59382124128511 - x319)^2 + (9.98780114819833 - x321)^2
       + 118.022029936783*b180 <= 119.022029936783;

e366:    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;

e367: (2.84746945184196 - x323)^2 + (6.74779851669768 - x325)^2
       + 67.42707737338*b181 <= 68.42707737338;

e368: (6.63261133839597 - x323)^2 + (7.58930814907984 - x325)^2
       + 100.27903396698*b182 <= 101.27903396698;

e369: (2.78008351564232 - x323)^2 + (5.62089512941063 - x325)^2
       + 62.225162895805*b183 <= 63.225162895805;

e370: (3.36345404799715 - x323)^2 + (5.61693710344635 - x325)^2
       + 54.3423498257743*b184 <= 55.3423498257743;

e371: (1.46574263591158 - x323)^2 + (0.14249643071642 - x325)^2
       + 153.854418335954*b185 <= 154.854418335954;

e372: (6.59824950993792 - x323)^2 + (1.91438252349491 - x325)^2
       + 115.729330039997*b186 <= 116.729330039997;

e373: (2.02515523263325 - x323)^2 + (3.62141731303869 - x325)^2
       + 92.1830734090453*b187 <= 93.1830734090453;

e374: (8.97152199819966 - x323)^2 + (8.78133845105015 - x325)^2
       + 153.854418335954*b188 <= 154.854418335954;

e375: (1.87485423601802 - x323)^2 + (8.96274662253461 - x325)^2
       + 106.113667406259*b189 <= 107.113667406259;

e376: (7.52025674966412 - x323)^2 + (8.80268658264247 - x325)^2
       + 132.789518443852*b190 <= 133.789518443852;

e377: (3.85704114235832 - x323)^2 + (6.36674450874035 - x325)^2
       + 57.7951750598727*b191 <= 58.7951750598727;

e378: (8.48963678940351 - x323)^2 + (5.48402210821562 - x325)^2
       + 102.926783859086*b192 <= 103.926783859086;

e379: (6.03160481727421 - x323)^2 + (1.276552921829 - x325)^2
       + 118.75213232131*b193 <= 119.75213232131;

e380: (6.90662266429413 - x323)^2 + (8.78931785429954 - x325)^2
       + 124.803091689871*b194 <= 125.803091689871;

e381: (3.71078725250056 - x323)^2 + (4.66415664133948 - x325)^2
       + 57.9871322900609*b195 <= 58.9871322900609;

e382: (0.107239833314705 - x323)^2 + (9.26202525440128 - x325)^2
       + 141.568883438575*b196 <= 142.568883438575;

e383: (8.04739319923014 - x323)^2 + (3.59305161391794 - x325)^2
       + 114.695683175902*b197 <= 115.695683175902;

e384: (5.28411061001579 - x323)^2 + (9.36648183133357 - x325)^2
       + 119.627996085735*b198 <= 120.627996085735;

e385: (1.06171481272944 - x323)^2 + (3.65844432398946 - x325)^2
       + 107.656809348234*b199 <= 108.656809348234;

e386: (9.05099582793631 - x323)^2 + (3.98215513024397 - x325)^2
       + 128.639684646565*b200 <= 129.639684646565;

e387: (9.08772707393705 - x323)^2 + (3.01388234113091 - x325)^2
       + 141.568883438575*b201 <= 142.568883438575;

e388: (8.83910845171846 - x323)^2 + (8.26686922455514 - x325)^2
       + 142.314787626056*b202 <= 143.314787626056;

e389: (3.41090111187451 - x323)^2 + (6.48985541572597 - x325)^2
       + 57.6217041967589*b203 <= 58.6217041967589;

e390: (1.22004189182266 - x323)^2 + (2.52276995748249 - x325)^2
       + 119.180496541755*b204 <= 120.180496541755;

e391: (3.94802045665365 - x323)^2 + (6.40339456473198 - x325)^2
       + 58.8305966748386*b205 <= 59.8305966748386;

e392: (4.9104301706676 - x323)^2 + (3.1538945754034 - x325)^2
       + 75.9207984013209*b206 <= 76.9207984013209;

e393: (3.23176530143453 - x323)^2 + (7.03644502956294 - x325)^2
       + 64.8784745008497*b207 <= 65.8784745008497;

e394: (0.39249886515424 - x323)^2 + (1.58871179600639 - x325)^2
       + 147.724006608004*b208 <= 148.724006608004;

e395: (4.42690021019308 - x323)^2 + (8.74244441962606 - x325)^2
       + 100.918497950284*b209 <= 101.918497950284;

e396: (2.59382124128511 - x323)^2 + (9.98780114819833 - x325)^2
       + 118.022029936783*b210 <= 119.022029936783;

e397:    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;

e398: (2.84746945184196 - x327)^2 + (6.74779851669768 - x329)^2
       + 67.42707737338*b211 <= 68.42707737338;

e399: (6.63261133839597 - x327)^2 + (7.58930814907984 - x329)^2
       + 100.27903396698*b212 <= 101.27903396698;

e400: (2.78008351564232 - x327)^2 + (5.62089512941063 - x329)^2
       + 62.225162895805*b213 <= 63.225162895805;

e401: (3.36345404799715 - x327)^2 + (5.61693710344635 - x329)^2
       + 54.3423498257743*b214 <= 55.3423498257743;

e402: (1.46574263591158 - x327)^2 + (0.14249643071642 - x329)^2
       + 153.854418335954*b215 <= 154.854418335954;

e403: (6.59824950993792 - x327)^2 + (1.91438252349491 - x329)^2
       + 115.729330039997*b216 <= 116.729330039997;

e404: (2.02515523263325 - x327)^2 + (3.62141731303869 - x329)^2
       + 92.1830734090453*b217 <= 93.1830734090453;

e405: (8.97152199819966 - x327)^2 + (8.78133845105015 - x329)^2
       + 153.854418335954*b218 <= 154.854418335954;

e406: (1.87485423601802 - x327)^2 + (8.96274662253461 - x329)^2
       + 106.113667406259*b219 <= 107.113667406259;

e407: (7.52025674966412 - x327)^2 + (8.80268658264247 - x329)^2
       + 132.789518443852*b220 <= 133.789518443852;

e408: (3.85704114235832 - x327)^2 + (6.36674450874035 - x329)^2
       + 57.7951750598727*b221 <= 58.7951750598727;

e409: (8.48963678940351 - x327)^2 + (5.48402210821562 - x329)^2
       + 102.926783859086*b222 <= 103.926783859086;

e410: (6.03160481727421 - x327)^2 + (1.276552921829 - x329)^2
       + 118.75213232131*b223 <= 119.75213232131;

e411: (6.90662266429413 - x327)^2 + (8.78931785429954 - x329)^2
       + 124.803091689871*b224 <= 125.803091689871;

e412: (3.71078725250056 - x327)^2 + (4.66415664133948 - x329)^2
       + 57.9871322900609*b225 <= 58.9871322900609;

e413: (0.107239833314705 - x327)^2 + (9.26202525440128 - x329)^2
       + 141.568883438575*b226 <= 142.568883438575;

e414: (8.04739319923014 - x327)^2 + (3.59305161391794 - x329)^2
       + 114.695683175902*b227 <= 115.695683175902;

e415: (5.28411061001579 - x327)^2 + (9.36648183133357 - x329)^2
       + 119.627996085735*b228 <= 120.627996085735;

e416: (1.06171481272944 - x327)^2 + (3.65844432398946 - x329)^2
       + 107.656809348234*b229 <= 108.656809348234;

e417: (9.05099582793631 - x327)^2 + (3.98215513024397 - x329)^2
       + 128.639684646565*b230 <= 129.639684646565;

e418: (9.08772707393705 - x327)^2 + (3.01388234113091 - x329)^2
       + 141.568883438575*b231 <= 142.568883438575;

e419: (8.83910845171846 - x327)^2 + (8.26686922455514 - x329)^2
       + 142.314787626056*b232 <= 143.314787626056;

e420: (3.41090111187451 - x327)^2 + (6.48985541572597 - x329)^2
       + 57.6217041967589*b233 <= 58.6217041967589;

e421: (1.22004189182266 - x327)^2 + (2.52276995748249 - x329)^2
       + 119.180496541755*b234 <= 120.180496541755;

e422: (3.94802045665365 - x327)^2 + (6.40339456473198 - x329)^2
       + 58.8305966748386*b235 <= 59.8305966748386;

e423: (4.9104301706676 - x327)^2 + (3.1538945754034 - x329)^2
       + 75.9207984013209*b236 <= 76.9207984013209;

e424: (3.23176530143453 - x327)^2 + (7.03644502956294 - x329)^2
       + 64.8784745008497*b237 <= 65.8784745008497;

e425: (0.39249886515424 - x327)^2 + (1.58871179600639 - x329)^2
       + 147.724006608004*b238 <= 148.724006608004;

e426: (4.42690021019308 - x327)^2 + (8.74244441962606 - x329)^2
       + 100.918497950284*b239 <= 101.918497950284;

e427: (2.59382124128511 - x327)^2 + (9.98780114819833 - x329)^2
       + 118.022029936783*b240 <= 119.022029936783;

e428:    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;

e429: (2.84746945184196 - x331)^2 + (6.74779851669768 - x333)^2
       + 67.42707737338*b241 <= 68.42707737338;

e430: (6.63261133839597 - x331)^2 + (7.58930814907984 - x333)^2
       + 100.27903396698*b242 <= 101.27903396698;

e431: (2.78008351564232 - x331)^2 + (5.62089512941063 - x333)^2
       + 62.225162895805*b243 <= 63.225162895805;

e432: (3.36345404799715 - x331)^2 + (5.61693710344635 - x333)^2
       + 54.3423498257743*b244 <= 55.3423498257743;

e433: (1.46574263591158 - x331)^2 + (0.14249643071642 - x333)^2
       + 153.854418335954*b245 <= 154.854418335954;

e434: (6.59824950993792 - x331)^2 + (1.91438252349491 - x333)^2
       + 115.729330039997*b246 <= 116.729330039997;

e435: (2.02515523263325 - x331)^2 + (3.62141731303869 - x333)^2
       + 92.1830734090453*b247 <= 93.1830734090453;

e436: (8.97152199819966 - x331)^2 + (8.78133845105015 - x333)^2
       + 153.854418335954*b248 <= 154.854418335954;

e437: (1.87485423601802 - x331)^2 + (8.96274662253461 - x333)^2
       + 106.113667406259*b249 <= 107.113667406259;

e438: (7.52025674966412 - x331)^2 + (8.80268658264247 - x333)^2
       + 132.789518443852*b250 <= 133.789518443852;

e439: (3.85704114235832 - x331)^2 + (6.36674450874035 - x333)^2
       + 57.7951750598727*b251 <= 58.7951750598727;

e440: (8.48963678940351 - x331)^2 + (5.48402210821562 - x333)^2
       + 102.926783859086*b252 <= 103.926783859086;

e441: (6.03160481727421 - x331)^2 + (1.276552921829 - x333)^2
       + 118.75213232131*b253 <= 119.75213232131;

e442: (6.90662266429413 - x331)^2 + (8.78931785429954 - x333)^2
       + 124.803091689871*b254 <= 125.803091689871;

e443: (3.71078725250056 - x331)^2 + (4.66415664133948 - x333)^2
       + 57.9871322900609*b255 <= 58.9871322900609;

e444: (0.107239833314705 - x331)^2 + (9.26202525440128 - x333)^2
       + 141.568883438575*b256 <= 142.568883438575;

e445: (8.04739319923014 - x331)^2 + (3.59305161391794 - x333)^2
       + 114.695683175902*b257 <= 115.695683175902;

e446: (5.28411061001579 - x331)^2 + (9.36648183133357 - x333)^2
       + 119.627996085735*b258 <= 120.627996085735;

e447: (1.06171481272944 - x331)^2 + (3.65844432398946 - x333)^2
       + 107.656809348234*b259 <= 108.656809348234;

e448: (9.05099582793631 - x331)^2 + (3.98215513024397 - x333)^2
       + 128.639684646565*b260 <= 129.639684646565;

e449: (9.08772707393705 - x331)^2 + (3.01388234113091 - x333)^2
       + 141.568883438575*b261 <= 142.568883438575;

e450: (8.83910845171846 - x331)^2 + (8.26686922455514 - x333)^2
       + 142.314787626056*b262 <= 143.314787626056;

e451: (3.41090111187451 - x331)^2 + (6.48985541572597 - x333)^2
       + 57.6217041967589*b263 <= 58.6217041967589;

e452: (1.22004189182266 - x331)^2 + (2.52276995748249 - x333)^2
       + 119.180496541755*b264 <= 120.180496541755;

e453: (3.94802045665365 - x331)^2 + (6.40339456473198 - x333)^2
       + 58.8305966748386*b265 <= 59.8305966748386;

e454: (4.9104301706676 - x331)^2 + (3.1538945754034 - x333)^2
       + 75.9207984013209*b266 <= 76.9207984013209;

e455: (3.23176530143453 - x331)^2 + (7.03644502956294 - x333)^2
       + 64.8784745008497*b267 <= 65.8784745008497;

e456: (0.39249886515424 - x331)^2 + (1.58871179600639 - x333)^2
       + 147.724006608004*b268 <= 148.724006608004;

e457: (4.42690021019308 - x331)^2 + (8.74244441962606 - x333)^2
       + 100.918497950284*b269 <= 101.918497950284;

e458: (2.59382124128511 - x331)^2 + (9.98780114819833 - x333)^2
       + 118.022029936783*b270 <= 119.022029936783;

e459:    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;

e460: (2.84746945184196 - x335)^2 + (6.74779851669768 - x337)^2
       + 67.42707737338*b271 <= 68.42707737338;

e461: (6.63261133839597 - x335)^2 + (7.58930814907984 - x337)^2
       + 100.27903396698*b272 <= 101.27903396698;

e462: (2.78008351564232 - x335)^2 + (5.62089512941063 - x337)^2
       + 62.225162895805*b273 <= 63.225162895805;

e463: (3.36345404799715 - x335)^2 + (5.61693710344635 - x337)^2
       + 54.3423498257743*b274 <= 55.3423498257743;

e464: (1.46574263591158 - x335)^2 + (0.14249643071642 - x337)^2
       + 153.854418335954*b275 <= 154.854418335954;

e465: (6.59824950993792 - x335)^2 + (1.91438252349491 - x337)^2
       + 115.729330039997*b276 <= 116.729330039997;

e466: (2.02515523263325 - x335)^2 + (3.62141731303869 - x337)^2
       + 92.1830734090453*b277 <= 93.1830734090453;

e467: (8.97152199819966 - x335)^2 + (8.78133845105015 - x337)^2
       + 153.854418335954*b278 <= 154.854418335954;

e468: (1.87485423601802 - x335)^2 + (8.96274662253461 - x337)^2
       + 106.113667406259*b279 <= 107.113667406259;

e469: (7.52025674966412 - x335)^2 + (8.80268658264247 - x337)^2
       + 132.789518443852*b280 <= 133.789518443852;

e470: (3.85704114235832 - x335)^2 + (6.36674450874035 - x337)^2
       + 57.7951750598727*b281 <= 58.7951750598727;

e471: (8.48963678940351 - x335)^2 + (5.48402210821562 - x337)^2
       + 102.926783859086*b282 <= 103.926783859086;

e472: (6.03160481727421 - x335)^2 + (1.276552921829 - x337)^2
       + 118.75213232131*b283 <= 119.75213232131;

e473: (6.90662266429413 - x335)^2 + (8.78931785429954 - x337)^2
       + 124.803091689871*b284 <= 125.803091689871;

e474: (3.71078725250056 - x335)^2 + (4.66415664133948 - x337)^2
       + 57.9871322900609*b285 <= 58.9871322900609;

e475: (0.107239833314705 - x335)^2 + (9.26202525440128 - x337)^2
       + 141.568883438575*b286 <= 142.568883438575;

e476: (8.04739319923014 - x335)^2 + (3.59305161391794 - x337)^2
       + 114.695683175902*b287 <= 115.695683175902;

e477: (5.28411061001579 - x335)^2 + (9.36648183133357 - x337)^2
       + 119.627996085735*b288 <= 120.627996085735;

e478: (1.06171481272944 - x335)^2 + (3.65844432398946 - x337)^2
       + 107.656809348234*b289 <= 108.656809348234;

e479: (9.05099582793631 - x335)^2 + (3.98215513024397 - x337)^2
       + 128.639684646565*b290 <= 129.639684646565;

e480: (9.08772707393705 - x335)^2 + (3.01388234113091 - x337)^2
       + 141.568883438575*b291 <= 142.568883438575;

e481: (8.83910845171846 - x335)^2 + (8.26686922455514 - x337)^2
       + 142.314787626056*b292 <= 143.314787626056;

e482: (3.41090111187451 - x335)^2 + (6.48985541572597 - x337)^2
       + 57.6217041967589*b293 <= 58.6217041967589;

e483: (1.22004189182266 - x335)^2 + (2.52276995748249 - x337)^2
       + 119.180496541755*b294 <= 120.180496541755;

e484: (3.94802045665365 - x335)^2 + (6.40339456473198 - x337)^2
       + 58.8305966748386*b295 <= 59.8305966748386;

e485: (4.9104301706676 - x335)^2 + (3.1538945754034 - x337)^2
       + 75.9207984013209*b296 <= 76.9207984013209;

e486: (3.23176530143453 - x335)^2 + (7.03644502956294 - x337)^2
       + 64.8784745008497*b297 <= 65.8784745008497;

e487: (0.39249886515424 - x335)^2 + (1.58871179600639 - x337)^2
       + 147.724006608004*b298 <= 148.724006608004;

e488: (4.42690021019308 - x335)^2 + (8.74244441962606 - x337)^2
       + 100.918497950284*b299 <= 101.918497950284;

e489: (2.59382124128511 - x335)^2 + (9.98780114819833 - x337)^2
       + 118.022029936783*b300 <= 119.022029936783;

e490:    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;

e491:    b1 + b31 + b61 + b91 + b121 + b151 + b181 + b211 + b241 + b271 <= 1;

e492:    b2 + b32 + b62 + b92 + b122 + b152 + b182 + b212 + b242 + b272 <= 1;

e493:    b3 + b33 + b63 + b93 + b123 + b153 + b183 + b213 + b243 + b273 <= 1;

e494:    b4 + b34 + b64 + b94 + b124 + b154 + b184 + b214 + b244 + b274 <= 1;

e495:    b5 + b35 + b65 + b95 + b125 + b155 + b185 + b215 + b245 + b275 <= 1;

e496:    b6 + b36 + b66 + b96 + b126 + b156 + b186 + b216 + b246 + b276 <= 1;

e497:    b7 + b37 + b67 + b97 + b127 + b157 + b187 + b217 + b247 + b277 <= 1;

e498:    b8 + b38 + b68 + b98 + b128 + b158 + b188 + b218 + b248 + b278 <= 1;

e499:    b9 + b39 + b69 + b99 + b129 + b159 + b189 + b219 + b249 + b279 <= 1;

e500:    b10 + b40 + b70 + b100 + b130 + b160 + b190 + b220 + b250 + b280 <= 1;

e501:    b11 + b41 + b71 + b101 + b131 + b161 + b191 + b221 + b251 + b281 <= 1;

e502:    b12 + b42 + b72 + b102 + b132 + b162 + b192 + b222 + b252 + b282 <= 1;

e503:    b13 + b43 + b73 + b103 + b133 + b163 + b193 + b223 + b253 + b283 <= 1;

e504:    b14 + b44 + b74 + b104 + b134 + b164 + b194 + b224 + b254 + b284 <= 1;

e505:    b15 + b45 + b75 + b105 + b135 + b165 + b195 + b225 + b255 + b285 <= 1;

e506:    b16 + b46 + b76 + b106 + b136 + b166 + b196 + b226 + b256 + b286 <= 1;

e507:    b17 + b47 + b77 + b107 + b137 + b167 + b197 + b227 + b257 + b287 <= 1;

e508:    b18 + b48 + b78 + b108 + b138 + b168 + b198 + b228 + b258 + b288 <= 1;

e509:    b19 + b49 + b79 + b109 + b139 + b169 + b199 + b229 + b259 + b289 <= 1;

e510:    b20 + b50 + b80 + b110 + b140 + b170 + b200 + b230 + b260 + b290 <= 1;

e511:    b21 + b51 + b81 + b111 + b141 + b171 + b201 + b231 + b261 + b291 <= 1;

e512:    b22 + b52 + b82 + b112 + b142 + b172 + b202 + b232 + b262 + b292 <= 1;

e513:    b23 + b53 + b83 + b113 + b143 + b173 + b203 + b233 + b263 + b293 <= 1;

e514:    b24 + b54 + b84 + b114 + b144 + b174 + b204 + b234 + b264 + b294 <= 1;

e515:    b25 + b55 + b85 + b115 + b145 + b175 + b205 + b235 + b265 + b295 <= 1;

e516:    b26 + b56 + b86 + b116 + b146 + b176 + b206 + b236 + b266 + b296 <= 1;

e517:    b27 + b57 + b87 + b117 + b147 + b177 + b207 + b237 + b267 + b297 <= 1;

e518:    b28 + b58 + b88 + b118 + b148 + b178 + b208 + b238 + b268 + b298 <= 1;

e519:    b29 + b59 + b89 + b119 + b149 + b179 + b209 + b239 + b269 + b299 <= 1;

e520:    b30 + b60 + b90 + b120 + b150 + b180 + b210 + b240 + b270 + b300 <= 1;

e521:    x301 - x302 <= 0;

e522:    x302 - x307 <= 0;

e523:    x307 - x311 <= 0;

e524:    x311 - x315 <= 0;

e525:    x315 - x319 <= 0;

e526:    x319 - x323 <= 0;

e527:    x323 - x327 <= 0;

e528:    x327 - x331 <= 0;

e529:    x331 - x335 <= 0;