#  MINLP written by GAMS Convert at 08/26/20 11:33:03
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        715       21        0      694        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        646      496      150        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2484     1884      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 x151 >= 0, <= 10;
var x152 >= 0, <= 10;
var x153 >= 0, <= 10;
var x154 >= 0, <= 10;
var x155 >= 0, <= 10;
var x156 >= 0, <= 10;
var x157 >= 0, <= 10;
var x158 >= 0, <= 10;
var x159 >= 0, <= 10;
var x160 >= 0, <= 10;
var x161 >= 0, <= 10;
var x162 >= 0, <= 10;
var x163 >= 0, <= 10;
var x164 >= 0, <= 10;
var x165 >= 0, <= 10;
var x166 >= 0, <= 10;
var x167 >= 0, <= 10;
var x168 >= 0, <= 10;
var x169 >= 0, <= 10;
var x170 >= 0, <= 10;
var x171 >= 0, <= 10;
var x172 >= 0, <= 10;
var x173 >= 0, <= 10;
var x174 >= 0, <= 10;
var x175 >= 0, <= 10;
var x176 >= 0, <= 10;
var x177 >= 0, <= 10;
var x178 >= 0, <= 10;
var x179 >= 0, <= 10;
var x180 >= 0, <= 10;
var x181 >= 0, <= 10;
var x182 >= 0, <= 10;
var x183 >= 0, <= 10;
var x184 >= 0, <= 10;
var x185 >= 0, <= 10;
var x186 >= 0, <= 10;
var x187 >= 0, <= 10;
var x188 >= 0, <= 10;
var x189 >= 0, <= 10;
var x190 >= 0, <= 10;
var x191 >= 0, <= 10;
var x192 >= 0, <= 10;
var x193 >= 0, <= 10;
var x194 >= 0, <= 10;
var x195 >= 0, <= 10;
var x196 >= 0, <= 10;
var x197 >= 0, <= 10;
var x198 >= 0, <= 10;
var x199 >= 0, <= 10;
var x200 >= 0, <= 10;
var x201 >= 0, <= 10;
var x202 >= 0, <= 10;
var x203 >= 0, <= 10;
var x204 >= 0, <= 10;
var x205 >= 0, <= 10;
var x206 >= 0, <= 10;
var x207 >= 0, <= 10;
var x208 >= 0, <= 10;
var x209 >= 0, <= 10;
var x210 >= 0, <= 10;
var x211 >= 0, <= 10;
var x212 >= 0, <= 10;
var x213 >= 0, <= 10;
var x214 >= 0, <= 10;
var x215 >= 0, <= 10;
var x216 >= 0, <= 10;
var x217 >= 0, <= 10;
var x218 >= 0, <= 10;
var x219 >= 0, <= 10;
var x220 >= 0, <= 10;
var x221 >= 0, <= 10;
var x222 >= 0, <= 10;
var x223 >= 0, <= 10;
var x224 >= 0, <= 10;
var x225 >= 0, <= 10;
var x226 >= 0, <= 10;
var x227 >= 0, <= 10;
var x228 >= 0, <= 10;
var x229 >= 0, <= 10;
var x230 >= 0, <= 10;
var x231 >= 0, <= 10;
var x232 >= 0, <= 10;
var x233 >= 0, <= 10;
var x234 >= 0, <= 10;
var x235 >= 0, <= 10;
var x236 >= 0, <= 10;
var x237 >= 0, <= 10;
var x238 >= 0, <= 10;
var x239 >= 0, <= 10;
var x240 >= 0, <= 10;
var x241 >= 0, <= 10;
var x242 >= 0, <= 10;
var x243 >= 0, <= 10;
var x244 >= 0, <= 10;
var x245 >= 0, <= 10;
var x246 >= 0, <= 10;
var x247 >= 0, <= 10;
var x248 >= 0, <= 10;
var x249 >= 0, <= 10;
var x250 >= 0, <= 10;
var x251 >= 0, <= 10;
var x252 >= 0, <= 10;
var x253 >= 0, <= 10;
var x254 >= 0, <= 10;
var x255 >= 0, <= 10;
var x256 >= 0, <= 10;
var x257 >= 0, <= 10;
var x258 >= 0, <= 10;
var x259 >= 0, <= 10;
var x260 >= 0, <= 10;
var x261 >= 0, <= 10;
var x262 >= 0, <= 10;
var x263 >= 0, <= 10;
var x264 >= 0, <= 10;
var x265 >= 0, <= 10;
var x266 >= 0, <= 10;
var x267 >= 0, <= 10;
var x268 >= 0, <= 10;
var x269 >= 0, <= 10;
var x270 >= 0, <= 10;
var x271 >= 0, <= 10;
var x272 >= 0, <= 10;
var x273 >= 0, <= 10;
var x274 >= 0, <= 10;
var x275 >= 0, <= 10;
var x276 >= 0, <= 10;
var x277 >= 0, <= 10;
var x278 >= 0, <= 10;
var x279 >= 0, <= 10;
var x280 >= 0, <= 10;
var x281 >= 0, <= 10;
var x282 >= 0, <= 10;
var x283 >= 0, <= 10;
var x284 >= 0, <= 10;
var x285 >= 0, <= 10;
var x286 >= 0, <= 10;
var x287 >= 0, <= 10;
var x288 >= 0, <= 10;
var x289 >= 0, <= 10;
var x290 >= 0, <= 10;
var x291 >= 0, <= 10;
var x292 >= 0, <= 10;
var x293 >= 0, <= 10;
var x294 >= 0, <= 10;
var x295 >= 0, <= 10;
var x296 >= 0, <= 10;
var x297 >= 0, <= 10;
var x298 >= 0, <= 10;
var x299 >= 0, <= 10;
var x300 >= 0, <= 10;
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;
var x411 >= 0, <= 10;
var x412 >= 0, <= 10;
var x413 >= 0, <= 10;
var x414 >= 0, <= 10;
var x415 >= 0, <= 10;
var x416 >= 0, <= 10;
var x417 >= 0, <= 10;
var x418 >= 0, <= 10;
var x419 >= 0, <= 10;
var x420 >= 0, <= 10;
var x421 >= 0, <= 10;
var x422 >= 0, <= 10;
var x423 >= 0, <= 10;
var x424 >= 0, <= 10;
var x425 >= 0, <= 10;
var x426 >= 0, <= 10;
var x427 >= 0, <= 10;
var x428 >= 0, <= 10;
var x429 >= 0, <= 10;
var x430 >= 0, <= 10;
var x431 >= 0, <= 10;
var x432 >= 0, <= 10;
var x433 >= 0, <= 10;
var x434 >= 0, <= 10;
var x435 >= 0, <= 10;
var x436 >= 0, <= 10;
var x437 >= 0, <= 10;
var x438 >= 0, <= 10;
var x439 >= 0, <= 10;
var x440 >= 0, <= 10;
var x441 >= 0, <= 10;
var x442 >= 0, <= 10;
var x443 >= 0, <= 10;
var x444 >= 0, <= 10;
var x445 >= 0, <= 10;
var x446 >= 0, <= 10;
var x447 >= 0, <= 10;
var x448 >= 0, <= 10;
var x449 >= 0, <= 10;
var x450 >= 0, <= 10;
var x451 >= 0, <= 10;
var x452 >= 0, <= 10;
var x453 >= 0, <= 10;
var x454 >= 0, <= 10;
var x455 >= 0, <= 10;
var x456 >= 0, <= 10;
var x457 >= 0, <= 10;
var x458 >= 0, <= 10;
var x459 >= 0, <= 10;
var x460 >= 0, <= 10;
var x461 >= 0, <= 10;
var x462 >= 0, <= 10;
var x463 >= 0, <= 10;
var x464 >= 0, <= 10;
var x465 >= 0, <= 10;
var x466 >= 0, <= 10;
var x467 >= 0, <= 10;
var x468 >= 0, <= 10;
var x469 >= 0, <= 10;
var x470 >= 0, <= 10;
var x471 >= 0, <= 10;
var x472 >= 0, <= 10;
var x473 >= 0, <= 10;
var x474 >= 0, <= 10;
var x475 >= 0, <= 10;
var x476 >= 0, <= 10;
var x477 >= 0, <= 10;
var x478 >= 0, <= 10;
var x479 >= 0, <= 10;
var x480 >= 0, <= 10;
var x481 >= 0, <= 10;
var x482 >= 0, <= 10;
var x483 >= 0, <= 10;
var x484 >= 0, <= 10;
var x485 >= 0, <= 10;
var x486 >= 0, <= 10;
var x487 >= 0, <= 10;
var x488 >= 0, <= 10;
var x489 >= 0, <= 10;
var x490 >= 0, <= 10;
var x491 >= 0, <= 10;
var x492 >= 0, <= 10;
var x493 >= 0, <= 10;
var x494 >= 0, <= 10;
var x495 >= 0, <= 10;
var x496 >= 0, <= 10;
var x497 >= 0, <= 10;
var x498 >= 0, <= 10;
var x499 >= 0, <= 10;
var x500 >= 0, <= 10;
var x501 >= 0, <= 10;
var x502 >= 0, <= 10;
var x503 >= 0, <= 10;
var x504 >= 0, <= 10;
var x505 >= 0, <= 10;
var x506 >= 0, <= 10;
var x507 >= 0, <= 10;
var x508 >= 0, <= 10;
var x509 >= 0, <= 10;
var x510 >= 0, <= 10;
var x511 >= 0, <= 10;
var x512 >= 0, <= 10;
var x513 >= 0, <= 10;
var x514 >= 0, <= 10;
var x515 >= 0, <= 10;
var x516 >= 0, <= 10;
var x517 >= 0, <= 10;
var x518 >= 0, <= 10;
var x519 >= 0, <= 10;
var x520 >= 0, <= 10;
var x521 >= 0, <= 10;
var x522 >= 0, <= 10;
var x523 >= 0, <= 10;
var x524 >= 0, <= 10;
var x525 >= 0, <= 10;
var x526 >= 0, <= 10;
var x527 >= 0, <= 10;
var x528 >= 0, <= 10;
var x529 >= 0, <= 10;
var x530 >= 0, <= 10;
var x531 >= 0, <= 10;
var x532 >= 0, <= 10;
var x533 >= 0, <= 10;
var x534 >= 0, <= 10;
var x535 >= 0, <= 10;
var x536 >= 0, <= 10;
var x537 >= 0, <= 10;
var x538 >= 0, <= 10;
var x539 >= 0, <= 10;
var x540 >= 0, <= 10;
var x541 >= 0, <= 10;
var x542 >= 0, <= 10;
var x543 >= 0, <= 10;
var x544 >= 0, <= 10;
var x545 >= 0, <= 10;
var x546 >= 0, <= 10;
var x547 >= 0, <= 10;
var x548 >= 0, <= 10;
var x549 >= 0, <= 10;
var x550 >= 0, <= 10;
var x551 >= 0, <= 10;
var x552 >= 0, <= 10;
var x553 >= 0, <= 10;
var x554 >= 0, <= 10;
var x555 >= 0, <= 10;
var x556 >= 0, <= 10;
var x557 >= 0, <= 10;
var x558 >= 0, <= 10;
var x559 >= 0, <= 10;
var x560 >= 0, <= 10;
var x561 >= 0, <= 10;
var x562 >= 0, <= 10;
var x563 >= 0, <= 10;
var x564 >= 0, <= 10;
var x565 >= 0, <= 10;
var x566 >= 0, <= 10;
var x567 >= 0, <= 10;
var x568 >= 0, <= 10;
var x569 >= 0, <= 10;
var x570 >= 0, <= 10;
var x571 >= 0, <= 10;
var x572 >= 0, <= 10;
var x573 >= 0, <= 10;
var x574 >= 0, <= 10;
var x575 >= 0, <= 10;
var x576 >= 0, <= 10;
var x577 >= 0, <= 10;
var x578 >= 0, <= 10;
var x579 >= 0, <= 10;
var x580 >= 0, <= 10;
var x581 >= 0, <= 10;
var x582 >= 0, <= 10;
var x583 >= 0, <= 10;
var x584 >= 0, <= 10;
var x585 >= 0, <= 10;
var x586 >= 0, <= 10;
var x587 >= 0, <= 10;
var x588 >= 0, <= 10;
var x589 >= 0, <= 10;
var x590 >= 0, <= 10;
var x591 >= 0, <= 10;
var x592 >= 0, <= 10;
var x593 >= 0, <= 10;
var x594 >= 0, <= 10;
var x595 >= 0, <= 10;
var x596 >= 0, <= 10;
var x597 >= 0, <= 10;
var x598 >= 0, <= 10;
var x599 >= 0, <= 10;
var x600 >= 0, <= 10;
var x601 >= 0, <= 10;
var x602 >= 0, <= 10;
var x603 >= 0, <= 10;
var x604 >= 0, <= 10;
var x605 >= 0, <= 10;
var x606 >= 0, <= 10;
var x607 >= 0, <= 10;
var x608 >= 0, <= 10;
var x609 >= 0, <= 10;
var x610 >= 0, <= 10;
var x611 >= 0, <= 10;
var x612 >= 0, <= 10;
var x613 >= 0, <= 10;
var x614 >= 0, <= 10;
var x615 >= 0, <= 10;
var x616 >= 0, <= 10;
var x617 >= 0, <= 10;
var x618 >= 0, <= 10;
var x619 >= 0, <= 10;
var x620 >= 0, <= 10;
var x621 >= 0, <= 10;
var x622 >= 0, <= 10;
var x623 >= 0, <= 10;
var x624 >= 0, <= 10;
var x625 >= 0, <= 10;
var x626 >= 0, <= 10;
var x627 >= 0, <= 10;
var x628 >= 0, <= 10;
var x629 >= 0, <= 10;
var x630 >= 0, <= 10;
var x631 >= 0, <= 10;
var x632 >= 0, <= 10;
var x633 >= 0, <= 10;
var x634 >= 0, <= 10;
var x635 >= 0, <= 10;
var x636 >= 0, <= 10;
var x637 >= 0, <= 10;
var x638 >= 0, <= 10;
var x639 >= 0, <= 10;
var x640 >= 0, <= 10;
var x641 >= 0, <= 10;
var x642 >= 0, <= 10;
var x643 >= 0, <= 10;
var x644 >= 0, <= 10;
var x645 >= 0, <= 10;

minimize obj:    x153 + x156 + x159 + x161 + x163 + x165 + x167 + x169 + x171
     + x173 + x175 + x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184
     + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194
     + x195;

subject to

e1:    x151 - x152 - x153 <= 0;

e2:  - x151 + x152 - x153 <= 0;

e3:    x154 - x155 - x156 <= 0;

e4:  - x154 + x155 - x156 <= 0;

e5:    x157 - x158 - x159 <= 0;

e6:  - x157 + x158 - x159 <= 0;

e7:    x151 - x160 - x161 <= 0;

e8:  - x151 + x160 - x161 <= 0;

e9:    x154 - x162 - x163 <= 0;

e10:  - x154 + x162 - x163 <= 0;

e11:    x157 - x164 - x165 <= 0;

e12:  - x157 + x164 - x165 <= 0;

e13:    x151 - x166 - x167 <= 0;

e14:  - x151 + x166 - x167 <= 0;

e15:    x154 - x168 - x169 <= 0;

e16:  - x154 + x168 - x169 <= 0;

e17:    x157 - x170 - x171 <= 0;

e18:  - x157 + x170 - x171 <= 0;

e19:    x151 - x172 - x173 <= 0;

e20:  - x151 + x172 - x173 <= 0;

e21:    x154 - x174 - x175 <= 0;

e22:  - x154 + x174 - x175 <= 0;

e23:    x157 - x176 - x177 <= 0;

e24:  - x157 + x176 - x177 <= 0;

e25:    x152 - x160 - x178 <= 0;

e26:  - x152 + x160 - x178 <= 0;

e27:    x155 - x162 - x179 <= 0;

e28:  - x155 + x162 - x179 <= 0;

e29:    x158 - x164 - x180 <= 0;

e30:  - x158 + x164 - x180 <= 0;

e31:    x152 - x166 - x181 <= 0;

e32:  - x152 + x166 - x181 <= 0;

e33:    x155 - x168 - x182 <= 0;

e34:  - x155 + x168 - x182 <= 0;

e35:    x158 - x170 - x183 <= 0;

e36:  - x158 + x170 - x183 <= 0;

e37:    x152 - x172 - x184 <= 0;

e38:  - x152 + x172 - x184 <= 0;

e39:    x155 - x174 - x185 <= 0;

e40:  - x155 + x174 - x185 <= 0;

e41:    x158 - x176 - x186 <= 0;

e42:  - x158 + x176 - x186 <= 0;

e43:    x160 - x166 - x187 <= 0;

e44:  - x160 + x166 - x187 <= 0;

e45:    x162 - x168 - x188 <= 0;

e46:  - x162 + x168 - x188 <= 0;

e47:    x164 - x170 - x189 <= 0;

e48:  - x164 + x170 - x189 <= 0;

e49:    x160 - x172 - x190 <= 0;

e50:  - x160 + x172 - x190 <= 0;

e51:    x162 - x174 - x191 <= 0;

e52:  - x162 + x174 - x191 <= 0;

e53:    x164 - x176 - x192 <= 0;

e54:  - x164 + x176 - x192 <= 0;

e55:    x166 - x172 - x193 <= 0;

e56:  - x166 + x172 - x193 <= 0;

e57:    x168 - x174 - x194 <= 0;

e58:  - x168 + x174 - x194 <= 0;

e59:    x170 - x176 - x195 <= 0;

e60:  - x170 + x176 - x195 <= 0;

e61: (-1 + (4.83202054247519 - x196/(0.0001 + 0.9999*b1))^2 + (5.08041476544912
      - x197/(0.0001 + 0.9999*b1))^2 + (6.32621379041806 - x198/(0.0001 + 
     0.9999*b1))^2)*(0.0001 + 0.9999*b1) + 0.00881800176339713*b1
      <= 0.00881800176339713;

e62: (-1 + (6.86422157586402 - x199/(0.0001 + 0.9999*b2))^2 + (7.66428209799864
      - x200/(0.0001 + 0.9999*b2))^2 + (0.09709175573132 - x201/(0.0001 + 
     0.9999*b2))^2)*(0.0001 + 0.9999*b2) + 0.0104868184729291*b2
      <= 0.0104868184729291;

e63: (-1 + (4.84862000711289 - x202/(0.0001 + 0.9999*b3))^2 + (3.45257195120785
      - x203/(0.0001 + 0.9999*b3))^2 + (7.39094773970617 - x204/(0.0001 + 
     0.9999*b3))^2)*(0.0001 + 0.9999*b3) + 0.00890554775427104*b3
      <= 0.00890554775427104;

e64: (-1 + (1.90653576175828 - x205/(0.0001 + 0.9999*b4))^2 + (9.06815267710453
      - x206/(0.0001 + 0.9999*b4))^2 + (0.329270310437709 - x207/(0.0001 + 
     0.9999*b4))^2)*(0.0001 + 0.9999*b4) + 0.0084974690523477*b4
      <= 0.0084974690523477;

e65: (-1 + (8.91873287322862 - x208/(0.0001 + 0.9999*b5))^2 + (3.005493222209
      - x209/(0.0001 + 0.9999*b5))^2 + (6.72603314933737 - x210/(0.0001 + 
     0.9999*b5))^2)*(0.0001 + 0.9999*b5) + 0.0132816307498738*b5
      <= 0.0132816307498738;

e66: (-1 + (2.79219011695411 - x211/(0.0001 + 0.9999*b6))^2 + (
     0.0802363505466042 - x212/(0.0001 + 0.9999*b6))^2 + (5.8239689013093 - 
     x213/(0.0001 + 0.9999*b6))^2)*(0.0001 + 0.9999*b6) + 0.00407213772845831*
     b6 <= 0.00407213772845831;

e67: (-1 + (8.45192604487847 - x214/(0.0001 + 0.9999*b7))^2 + (
     0.960982267180915 - x215/(0.0001 + 0.9999*b7))^2 + (7.08846749273086 - 
     x216/(0.0001 + 0.9999*b7))^2)*(0.0001 + 0.9999*b7) + 0.0121604912181433*b7
      <= 0.0121604912181433;

e68: (-1 + (9.76694746975659 - x217/(0.0001 + 0.9999*b8))^2 + (1.64767982343444
      - x218/(0.0001 + 0.9999*b8))^2 + (3.89461195866276 - x219/(0.0001 + 
     0.9999*b8))^2)*(0.0001 + 0.9999*b8) + 0.0112276113986097*b8
      <= 0.0112276113986097;

e69: (-1 + (3.92650027388399 - x220/(0.0001 + 0.9999*b9))^2 + (8.57900429288824
      - x221/(0.0001 + 0.9999*b9))^2 + (9.23525817101371 - x222/(0.0001 + 
     0.9999*b9))^2)*(0.0001 + 0.9999*b9) + 0.0173306712543481*b9
      <= 0.0173306712543481;

e70: (-1 + (0.679990404106158 - x223/(0.0001 + 0.9999*b10))^2 + (
     7.93354548453717 - x224/(0.0001 + 0.9999*b10))^2 + (6.24827514848977 - 
     x225/(0.0001 + 0.9999*b10))^2)*(0.0001 + 0.9999*b10) + 0.0101444473236131*
     b10 <= 0.0101444473236131;

e71: (-1 + (3.80282662917579 - x226/(0.0001 + 0.9999*b11))^2 + (
     5.00336142496769 - x227/(0.0001 + 0.9999*b11))^2 + (6.01003348085459 - 
     x228/(0.0001 + 0.9999*b11))^2)*(0.0001 + 0.9999*b11) + 0.00746156183614164
     *b11 <= 0.00746156183614164;

e72: (-1 + (6.54293331034743 - x229/(0.0001 + 0.9999*b12))^2 + (
     1.49363772657694 - x230/(0.0001 + 0.9999*b12))^2 + (3.58497465463316 - 
     x231/(0.0001 + 0.9999*b12))^2)*(0.0001 + 0.9999*b12) + 0.00568929732362701
     *b12 <= 0.00568929732362701;

e73: (-1 + (5.20241765093859 - x232/(0.0001 + 0.9999*b13))^2 + (
     5.86977990966318 - x233/(0.0001 + 0.9999*b13))^2 + (6.440337805336 - x234/
     (0.0001 + 0.9999*b13))^2)*(0.0001 + 0.9999*b13) + 0.0101997416649523*b13
      <= 0.0101997416649523;

e74: (-1 + (5.87470028021075 - x235/(0.0001 + 0.9999*b14))^2 + (
     2.67028689434427 - x236/(0.0001 + 0.9999*b14))^2 + (0.749156996429077 - 
     x237/(0.0001 + 0.9999*b14))^2)*(0.0001 + 0.9999*b14) + 0.00412037716857136
     *b14 <= 0.00412037716857136;

e75: (-1 + (2.89776733906328 - x238/(0.0001 + 0.9999*b15))^2 + (
     5.22108290497701 - x239/(0.0001 + 0.9999*b15))^2 + (7.57016691626461 - 
     x240/(0.0001 + 0.9999*b15))^2)*(0.0001 + 0.9999*b15) + 0.00919641893920924
     *b15 <= 0.00919641893920924;

e76: (-1 + (3.25002624472116 - x241/(0.0001 + 0.9999*b16))^2 + (6.977422017743
      - x242/(0.0001 + 0.9999*b16))^2 + (0.695695115140367 - x243/(0.0001 + 
     0.9999*b16))^2)*(0.0001 + 0.9999*b16) + 0.00587310802982913*b16
      <= 0.00587310802982913;

e77: (-1 + (8.47049713128073 - x244/(0.0001 + 0.9999*b17))^2 + (
     4.20582102463618 - x245/(0.0001 + 0.9999*b17))^2 + (4.93941262529365 - 
     x246/(0.0001 + 0.9999*b17))^2)*(0.0001 + 0.9999*b17) + 0.0112836049225217*
     b17 <= 0.0112836049225217;

e78: (-1 + (0.786615440794736 - x247/(0.0001 + 0.9999*b18))^2 + (
     1.54813106254315 - x248/(0.0001 + 0.9999*b18))^2 + (2.98963379540322 - 
     x249/(0.0001 + 0.9999*b18))^2)*(0.0001 + 0.9999*b18) + 0.00109533838691247
     *b18 <= 0.00109533838691247;

e79: (-1 + (5.17568572881879 - x250/(0.0001 + 0.9999*b19))^2 + (
     2.02627806544288 - x251/(0.0001 + 0.9999*b19))^2 + (9.2740633418688 - x252
     /(0.0001 + 0.9999*b19))^2)*(0.0001 + 0.9999*b19) + 0.0115901776430988*b19
      <= 0.0115901776430988;

e80: (-1 + (9.11874181180651 - x253/(0.0001 + 0.9999*b20))^2 + (
     9.07966816070985 - x254/(0.0001 + 0.9999*b20))^2 + (1.64995049320116 - 
     x255/(0.0001 + 0.9999*b20))^2)*(0.0001 + 0.9999*b20) + 0.0167314162769011*
     b20 <= 0.0167314162769011;

e81: (-1 + (8.26392769674786 - x256/(0.0001 + 0.9999*b21))^2 + (
     4.29716878332203 - x257/(0.0001 + 0.9999*b21))^2 + (3.06511979366618 - 
     x258/(0.0001 + 0.9999*b21))^2)*(0.0001 + 0.9999*b21) + 0.0095153119878958*
     b21 <= 0.0095153119878958;

e82: (-1 + (2.95522257480442 - x259/(0.0001 + 0.9999*b22))^2 + (
     1.29725120442498 - x260/(0.0001 + 0.9999*b22))^2 + (0.799527585103169 - 
     x261/(0.0001 + 0.9999*b22))^2)*(0.0001 + 0.9999*b22) + 0.00100554455133566
     *b22 <= 0.00100554455133566;

e83: (-1 + (5.59281220526297 - x262/(0.0001 + 0.9999*b23))^2 + (
     5.08387949672858 - x263/(0.0001 + 0.9999*b23))^2 + (0.547463810150197 - 
     x264/(0.0001 + 0.9999*b23))^2)*(0.0001 + 0.9999*b23) + 0.00564250957240199
     *b23 <= 0.00564250957240199;

e84: (-1 + (5.5713321706538 - x265/(0.0001 + 0.9999*b24))^2 + (3.89813512317444
      - x266/(0.0001 + 0.9999*b24))^2 + (0.378899938163517 - x267/(0.0001 + 
     0.9999*b24))^2)*(0.0001 + 0.9999*b24) + 0.00453787647574285*b24
      <= 0.00453787647574285;

e85: (-1 + (1.47483805835463 - x268/(0.0001 + 0.9999*b25))^2 + (
     0.989752492299246 - x269/(0.0001 + 0.9999*b25))^2 + (5.36717263813865 - 
     x270/(0.0001 + 0.9999*b25))^2)*(0.0001 + 0.9999*b25) + 0.0030961299421968*
     b25 <= 0.0030961299421968;

e86: (-1 + (4.61507078501251 - x271/(0.0001 + 0.9999*b26))^2 + (
     0.234707301612243 - x272/(0.0001 + 0.9999*b26))^2 + (3.97342857514894 - 
     x273/(0.0001 + 0.9999*b26))^2)*(0.0001 + 0.9999*b26) + 0.00361421005099162
     *b26 <= 0.00361421005099162;

e87: (-1 + (9.15405801517484 - x274/(0.0001 + 0.9999*b27))^2 + (
     4.26169733166395 - x275/(0.0001 + 0.9999*b27))^2 + (4.89911772871142 - 
     x276/(0.0001 + 0.9999*b27))^2)*(0.0001 + 0.9999*b27) + 0.0124960196811673*
     b27 <= 0.0124960196811673;

e88: (-1 + (6.23408727244271 - x277/(0.0001 + 0.9999*b28))^2 + (
     0.755925845511098 - x278/(0.0001 + 0.9999*b28))^2 + (5.40595672236618 - 
     x279/(0.0001 + 0.9999*b28))^2)*(0.0001 + 0.9999*b28) + 0.00676596360884399
     *b28 <= 0.00676596360884399;

e89: (-1 + (5.16744991507397 - x280/(0.0001 + 0.9999*b29))^2 + (
     5.25535097293888 - x281/(0.0001 + 0.9999*b29))^2 + (3.81062986996748 - 
     x282/(0.0001 + 0.9999*b29))^2)*(0.0001 + 0.9999*b29) + 0.0067842152479456*
     b29 <= 0.0067842152479456;

e90: (-1 + (7.23609076996082 - x283/(0.0001 + 0.9999*b30))^2 + (
     3.30048962157922 - x284/(0.0001 + 0.9999*b30))^2 + (8.05002431260521 - 
     x285/(0.0001 + 0.9999*b30))^2)*(0.0001 + 0.9999*b30) + 0.0127057132806799*
     b30 <= 0.0127057132806799;

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

e92: (-1 + (4.83202054247519 - x286/(0.0001 + 0.9999*b31))^2 + (
     5.08041476544912 - x287/(0.0001 + 0.9999*b31))^2 + (6.32621379041806 - 
     x288/(0.0001 + 0.9999*b31))^2)*(0.0001 + 0.9999*b31) + 0.00881800176339713
     *b31 <= 0.00881800176339713;

e93: (-1 + (6.86422157586402 - x289/(0.0001 + 0.9999*b32))^2 + (
     7.66428209799864 - x290/(0.0001 + 0.9999*b32))^2 + (0.09709175573132 - 
     x291/(0.0001 + 0.9999*b32))^2)*(0.0001 + 0.9999*b32) + 0.0104868184729291*
     b32 <= 0.0104868184729291;

e94: (-1 + (4.84862000711289 - x292/(0.0001 + 0.9999*b33))^2 + (
     3.45257195120785 - x293/(0.0001 + 0.9999*b33))^2 + (7.39094773970617 - 
     x294/(0.0001 + 0.9999*b33))^2)*(0.0001 + 0.9999*b33) + 0.00890554775427104
     *b33 <= 0.00890554775427104;

e95: (-1 + (1.90653576175828 - x295/(0.0001 + 0.9999*b34))^2 + (
     9.06815267710453 - x296/(0.0001 + 0.9999*b34))^2 + (0.329270310437709 - 
     x297/(0.0001 + 0.9999*b34))^2)*(0.0001 + 0.9999*b34) + 0.0084974690523477*
     b34 <= 0.0084974690523477;

e96: (-1 + (8.91873287322862 - x298/(0.0001 + 0.9999*b35))^2 + (3.005493222209
      - x299/(0.0001 + 0.9999*b35))^2 + (6.72603314933737 - x300/(0.0001 + 
     0.9999*b35))^2)*(0.0001 + 0.9999*b35) + 0.0132816307498738*b35
      <= 0.0132816307498738;

e97: (-1 + (2.79219011695411 - x301/(0.0001 + 0.9999*b36))^2 + (
     0.0802363505466042 - x302/(0.0001 + 0.9999*b36))^2 + (5.8239689013093 - 
     x303/(0.0001 + 0.9999*b36))^2)*(0.0001 + 0.9999*b36) + 0.00407213772845831
     *b36 <= 0.00407213772845831;

e98: (-1 + (8.45192604487847 - x304/(0.0001 + 0.9999*b37))^2 + (
     0.960982267180915 - x305/(0.0001 + 0.9999*b37))^2 + (7.08846749273086 - 
     x306/(0.0001 + 0.9999*b37))^2)*(0.0001 + 0.9999*b37) + 0.0121604912181433*
     b37 <= 0.0121604912181433;

e99: (-1 + (9.76694746975659 - x307/(0.0001 + 0.9999*b38))^2 + (
     1.64767982343444 - x308/(0.0001 + 0.9999*b38))^2 + (3.89461195866276 - 
     x309/(0.0001 + 0.9999*b38))^2)*(0.0001 + 0.9999*b38) + 0.0112276113986097*
     b38 <= 0.0112276113986097;

e100: (-1 + (3.92650027388399 - x310/(0.0001 + 0.9999*b39))^2 + (
      8.57900429288824 - x311/(0.0001 + 0.9999*b39))^2 + (9.23525817101371 - 
      x312/(0.0001 + 0.9999*b39))^2)*(0.0001 + 0.9999*b39) + 0.0173306712543481
      *b39 <= 0.0173306712543481;

e101: (-1 + (0.679990404106158 - x313/(0.0001 + 0.9999*b40))^2 + (
      7.93354548453717 - x314/(0.0001 + 0.9999*b40))^2 + (6.24827514848977 - 
      x315/(0.0001 + 0.9999*b40))^2)*(0.0001 + 0.9999*b40) + 0.0101444473236131
      *b40 <= 0.0101444473236131;

e102: (-1 + (3.80282662917579 - x316/(0.0001 + 0.9999*b41))^2 + (
      5.00336142496769 - x317/(0.0001 + 0.9999*b41))^2 + (6.01003348085459 - 
      x318/(0.0001 + 0.9999*b41))^2)*(0.0001 + 0.9999*b41) + 
      0.00746156183614164*b41 <= 0.00746156183614164;

e103: (-1 + (6.54293331034743 - x319/(0.0001 + 0.9999*b42))^2 + (
      1.49363772657694 - x320/(0.0001 + 0.9999*b42))^2 + (3.58497465463316 - 
      x321/(0.0001 + 0.9999*b42))^2)*(0.0001 + 0.9999*b42) + 
      0.00568929732362701*b42 <= 0.00568929732362701;

e104: (-1 + (5.20241765093859 - x322/(0.0001 + 0.9999*b43))^2 + (
      5.86977990966318 - x323/(0.0001 + 0.9999*b43))^2 + (6.440337805336 - x324
      /(0.0001 + 0.9999*b43))^2)*(0.0001 + 0.9999*b43) + 0.0101997416649523*b43
       <= 0.0101997416649523;

e105: (-1 + (5.87470028021075 - x325/(0.0001 + 0.9999*b44))^2 + (
      2.67028689434427 - x326/(0.0001 + 0.9999*b44))^2 + (0.749156996429077 - 
      x327/(0.0001 + 0.9999*b44))^2)*(0.0001 + 0.9999*b44) + 
      0.00412037716857136*b44 <= 0.00412037716857136;

e106: (-1 + (2.89776733906328 - x328/(0.0001 + 0.9999*b45))^2 + (
      5.22108290497701 - x329/(0.0001 + 0.9999*b45))^2 + (7.57016691626461 - 
      x330/(0.0001 + 0.9999*b45))^2)*(0.0001 + 0.9999*b45) + 
      0.00919641893920924*b45 <= 0.00919641893920924;

e107: (-1 + (3.25002624472116 - x331/(0.0001 + 0.9999*b46))^2 + (6.977422017743
       - x332/(0.0001 + 0.9999*b46))^2 + (0.695695115140367 - x333/(0.0001 + 
      0.9999*b46))^2)*(0.0001 + 0.9999*b46) + 0.00587310802982913*b46
       <= 0.00587310802982913;

e108: (-1 + (8.47049713128073 - x334/(0.0001 + 0.9999*b47))^2 + (
      4.20582102463618 - x335/(0.0001 + 0.9999*b47))^2 + (4.93941262529365 - 
      x336/(0.0001 + 0.9999*b47))^2)*(0.0001 + 0.9999*b47) + 0.0112836049225217
      *b47 <= 0.0112836049225217;

e109: (-1 + (0.786615440794736 - x337/(0.0001 + 0.9999*b48))^2 + (
      1.54813106254315 - x338/(0.0001 + 0.9999*b48))^2 + (2.98963379540322 - 
      x339/(0.0001 + 0.9999*b48))^2)*(0.0001 + 0.9999*b48) + 
      0.00109533838691247*b48 <= 0.00109533838691247;

e110: (-1 + (5.17568572881879 - x340/(0.0001 + 0.9999*b49))^2 + (
      2.02627806544288 - x341/(0.0001 + 0.9999*b49))^2 + (9.2740633418688 - 
      x342/(0.0001 + 0.9999*b49))^2)*(0.0001 + 0.9999*b49) + 0.0115901776430988
      *b49 <= 0.0115901776430988;

e111: (-1 + (9.11874181180651 - x343/(0.0001 + 0.9999*b50))^2 + (
      9.07966816070985 - x344/(0.0001 + 0.9999*b50))^2 + (1.64995049320116 - 
      x345/(0.0001 + 0.9999*b50))^2)*(0.0001 + 0.9999*b50) + 0.0167314162769011
      *b50 <= 0.0167314162769011;

e112: (-1 + (8.26392769674786 - x346/(0.0001 + 0.9999*b51))^2 + (
      4.29716878332203 - x347/(0.0001 + 0.9999*b51))^2 + (3.06511979366618 - 
      x348/(0.0001 + 0.9999*b51))^2)*(0.0001 + 0.9999*b51) + 0.0095153119878958
      *b51 <= 0.0095153119878958;

e113: (-1 + (2.95522257480442 - x349/(0.0001 + 0.9999*b52))^2 + (
      1.29725120442498 - x350/(0.0001 + 0.9999*b52))^2 + (0.799527585103169 - 
      x351/(0.0001 + 0.9999*b52))^2)*(0.0001 + 0.9999*b52) + 
      0.00100554455133566*b52 <= 0.00100554455133566;

e114: (-1 + (5.59281220526297 - x352/(0.0001 + 0.9999*b53))^2 + (
      5.08387949672858 - x353/(0.0001 + 0.9999*b53))^2 + (0.547463810150197 - 
      x354/(0.0001 + 0.9999*b53))^2)*(0.0001 + 0.9999*b53) + 
      0.00564250957240199*b53 <= 0.00564250957240199;

e115: (-1 + (5.5713321706538 - x355/(0.0001 + 0.9999*b54))^2 + (
      3.89813512317444 - x356/(0.0001 + 0.9999*b54))^2 + (0.378899938163517 - 
      x357/(0.0001 + 0.9999*b54))^2)*(0.0001 + 0.9999*b54) + 
      0.00453787647574285*b54 <= 0.00453787647574285;

e116: (-1 + (1.47483805835463 - x358/(0.0001 + 0.9999*b55))^2 + (
      0.989752492299246 - x359/(0.0001 + 0.9999*b55))^2 + (5.36717263813865 - 
      x360/(0.0001 + 0.9999*b55))^2)*(0.0001 + 0.9999*b55) + 0.0030961299421968
      *b55 <= 0.0030961299421968;

e117: (-1 + (4.61507078501251 - x361/(0.0001 + 0.9999*b56))^2 + (
      0.234707301612243 - x362/(0.0001 + 0.9999*b56))^2 + (3.97342857514894 - 
      x363/(0.0001 + 0.9999*b56))^2)*(0.0001 + 0.9999*b56) + 
      0.00361421005099162*b56 <= 0.00361421005099162;

e118: (-1 + (9.15405801517484 - x364/(0.0001 + 0.9999*b57))^2 + (
      4.26169733166395 - x365/(0.0001 + 0.9999*b57))^2 + (4.89911772871142 - 
      x366/(0.0001 + 0.9999*b57))^2)*(0.0001 + 0.9999*b57) + 0.0124960196811673
      *b57 <= 0.0124960196811673;

e119: (-1 + (6.23408727244271 - x367/(0.0001 + 0.9999*b58))^2 + (
      0.755925845511098 - x368/(0.0001 + 0.9999*b58))^2 + (5.40595672236618 - 
      x369/(0.0001 + 0.9999*b58))^2)*(0.0001 + 0.9999*b58) + 
      0.00676596360884399*b58 <= 0.00676596360884399;

e120: (-1 + (5.16744991507397 - x370/(0.0001 + 0.9999*b59))^2 + (
      5.25535097293888 - x371/(0.0001 + 0.9999*b59))^2 + (3.81062986996748 - 
      x372/(0.0001 + 0.9999*b59))^2)*(0.0001 + 0.9999*b59) + 0.0067842152479456
      *b59 <= 0.0067842152479456;

e121: (-1 + (7.23609076996082 - x373/(0.0001 + 0.9999*b60))^2 + (
      3.30048962157922 - x374/(0.0001 + 0.9999*b60))^2 + (8.05002431260521 - 
      x375/(0.0001 + 0.9999*b60))^2)*(0.0001 + 0.9999*b60) + 0.0127057132806799
      *b60 <= 0.0127057132806799;

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

e123: (-1 + (4.83202054247519 - x376/(0.0001 + 0.9999*b61))^2 + (
      5.08041476544912 - x377/(0.0001 + 0.9999*b61))^2 + (6.32621379041806 - 
      x378/(0.0001 + 0.9999*b61))^2)*(0.0001 + 0.9999*b61) + 
      0.00881800176339713*b61 <= 0.00881800176339713;

e124: (-1 + (6.86422157586402 - x379/(0.0001 + 0.9999*b62))^2 + (
      7.66428209799864 - x380/(0.0001 + 0.9999*b62))^2 + (0.09709175573132 - 
      x381/(0.0001 + 0.9999*b62))^2)*(0.0001 + 0.9999*b62) + 0.0104868184729291
      *b62 <= 0.0104868184729291;

e125: (-1 + (4.84862000711289 - x382/(0.0001 + 0.9999*b63))^2 + (
      3.45257195120785 - x383/(0.0001 + 0.9999*b63))^2 + (7.39094773970617 - 
      x384/(0.0001 + 0.9999*b63))^2)*(0.0001 + 0.9999*b63) + 
      0.00890554775427104*b63 <= 0.00890554775427104;

e126: (-1 + (1.90653576175828 - x385/(0.0001 + 0.9999*b64))^2 + (
      9.06815267710453 - x386/(0.0001 + 0.9999*b64))^2 + (0.329270310437709 - 
      x387/(0.0001 + 0.9999*b64))^2)*(0.0001 + 0.9999*b64) + 0.0084974690523477
      *b64 <= 0.0084974690523477;

e127: (-1 + (8.91873287322862 - x388/(0.0001 + 0.9999*b65))^2 + (3.005493222209
       - x389/(0.0001 + 0.9999*b65))^2 + (6.72603314933737 - x390/(0.0001 + 
      0.9999*b65))^2)*(0.0001 + 0.9999*b65) + 0.0132816307498738*b65
       <= 0.0132816307498738;

e128: (-1 + (2.79219011695411 - x391/(0.0001 + 0.9999*b66))^2 + (
      0.0802363505466042 - x392/(0.0001 + 0.9999*b66))^2 + (5.8239689013093 - 
      x393/(0.0001 + 0.9999*b66))^2)*(0.0001 + 0.9999*b66) + 
      0.00407213772845831*b66 <= 0.00407213772845831;

e129: (-1 + (8.45192604487847 - x394/(0.0001 + 0.9999*b67))^2 + (
      0.960982267180915 - x395/(0.0001 + 0.9999*b67))^2 + (7.08846749273086 - 
      x396/(0.0001 + 0.9999*b67))^2)*(0.0001 + 0.9999*b67) + 0.0121604912181433
      *b67 <= 0.0121604912181433;

e130: (-1 + (9.76694746975659 - x397/(0.0001 + 0.9999*b68))^2 + (
      1.64767982343444 - x398/(0.0001 + 0.9999*b68))^2 + (3.89461195866276 - 
      x399/(0.0001 + 0.9999*b68))^2)*(0.0001 + 0.9999*b68) + 0.0112276113986097
      *b68 <= 0.0112276113986097;

e131: (-1 + (3.92650027388399 - x400/(0.0001 + 0.9999*b69))^2 + (
      8.57900429288824 - x401/(0.0001 + 0.9999*b69))^2 + (9.23525817101371 - 
      x402/(0.0001 + 0.9999*b69))^2)*(0.0001 + 0.9999*b69) + 0.0173306712543481
      *b69 <= 0.0173306712543481;

e132: (-1 + (0.679990404106158 - x403/(0.0001 + 0.9999*b70))^2 + (
      7.93354548453717 - x404/(0.0001 + 0.9999*b70))^2 + (6.24827514848977 - 
      x405/(0.0001 + 0.9999*b70))^2)*(0.0001 + 0.9999*b70) + 0.0101444473236131
      *b70 <= 0.0101444473236131;

e133: (-1 + (3.80282662917579 - x406/(0.0001 + 0.9999*b71))^2 + (
      5.00336142496769 - x407/(0.0001 + 0.9999*b71))^2 + (6.01003348085459 - 
      x408/(0.0001 + 0.9999*b71))^2)*(0.0001 + 0.9999*b71) + 
      0.00746156183614164*b71 <= 0.00746156183614164;

e134: (-1 + (6.54293331034743 - x409/(0.0001 + 0.9999*b72))^2 + (
      1.49363772657694 - x410/(0.0001 + 0.9999*b72))^2 + (3.58497465463316 - 
      x411/(0.0001 + 0.9999*b72))^2)*(0.0001 + 0.9999*b72) + 
      0.00568929732362701*b72 <= 0.00568929732362701;

e135: (-1 + (5.20241765093859 - x412/(0.0001 + 0.9999*b73))^2 + (
      5.86977990966318 - x413/(0.0001 + 0.9999*b73))^2 + (6.440337805336 - x414
      /(0.0001 + 0.9999*b73))^2)*(0.0001 + 0.9999*b73) + 0.0101997416649523*b73
       <= 0.0101997416649523;

e136: (-1 + (5.87470028021075 - x415/(0.0001 + 0.9999*b74))^2 + (
      2.67028689434427 - x416/(0.0001 + 0.9999*b74))^2 + (0.749156996429077 - 
      x417/(0.0001 + 0.9999*b74))^2)*(0.0001 + 0.9999*b74) + 
      0.00412037716857136*b74 <= 0.00412037716857136;

e137: (-1 + (2.89776733906328 - x418/(0.0001 + 0.9999*b75))^2 + (
      5.22108290497701 - x419/(0.0001 + 0.9999*b75))^2 + (7.57016691626461 - 
      x420/(0.0001 + 0.9999*b75))^2)*(0.0001 + 0.9999*b75) + 
      0.00919641893920924*b75 <= 0.00919641893920924;

e138: (-1 + (3.25002624472116 - x421/(0.0001 + 0.9999*b76))^2 + (6.977422017743
       - x422/(0.0001 + 0.9999*b76))^2 + (0.695695115140367 - x423/(0.0001 + 
      0.9999*b76))^2)*(0.0001 + 0.9999*b76) + 0.00587310802982913*b76
       <= 0.00587310802982913;

e139: (-1 + (8.47049713128073 - x424/(0.0001 + 0.9999*b77))^2 + (
      4.20582102463618 - x425/(0.0001 + 0.9999*b77))^2 + (4.93941262529365 - 
      x426/(0.0001 + 0.9999*b77))^2)*(0.0001 + 0.9999*b77) + 0.0112836049225217
      *b77 <= 0.0112836049225217;

e140: (-1 + (0.786615440794736 - x427/(0.0001 + 0.9999*b78))^2 + (
      1.54813106254315 - x428/(0.0001 + 0.9999*b78))^2 + (2.98963379540322 - 
      x429/(0.0001 + 0.9999*b78))^2)*(0.0001 + 0.9999*b78) + 
      0.00109533838691247*b78 <= 0.00109533838691247;

e141: (-1 + (5.17568572881879 - x430/(0.0001 + 0.9999*b79))^2 + (
      2.02627806544288 - x431/(0.0001 + 0.9999*b79))^2 + (9.2740633418688 - 
      x432/(0.0001 + 0.9999*b79))^2)*(0.0001 + 0.9999*b79) + 0.0115901776430988
      *b79 <= 0.0115901776430988;

e142: (-1 + (9.11874181180651 - x433/(0.0001 + 0.9999*b80))^2 + (
      9.07966816070985 - x434/(0.0001 + 0.9999*b80))^2 + (1.64995049320116 - 
      x435/(0.0001 + 0.9999*b80))^2)*(0.0001 + 0.9999*b80) + 0.0167314162769011
      *b80 <= 0.0167314162769011;

e143: (-1 + (8.26392769674786 - x436/(0.0001 + 0.9999*b81))^2 + (
      4.29716878332203 - x437/(0.0001 + 0.9999*b81))^2 + (3.06511979366618 - 
      x438/(0.0001 + 0.9999*b81))^2)*(0.0001 + 0.9999*b81) + 0.0095153119878958
      *b81 <= 0.0095153119878958;

e144: (-1 + (2.95522257480442 - x439/(0.0001 + 0.9999*b82))^2 + (
      1.29725120442498 - x440/(0.0001 + 0.9999*b82))^2 + (0.799527585103169 - 
      x441/(0.0001 + 0.9999*b82))^2)*(0.0001 + 0.9999*b82) + 
      0.00100554455133566*b82 <= 0.00100554455133566;

e145: (-1 + (5.59281220526297 - x442/(0.0001 + 0.9999*b83))^2 + (
      5.08387949672858 - x443/(0.0001 + 0.9999*b83))^2 + (0.547463810150197 - 
      x444/(0.0001 + 0.9999*b83))^2)*(0.0001 + 0.9999*b83) + 
      0.00564250957240199*b83 <= 0.00564250957240199;

e146: (-1 + (5.5713321706538 - x445/(0.0001 + 0.9999*b84))^2 + (
      3.89813512317444 - x446/(0.0001 + 0.9999*b84))^2 + (0.378899938163517 - 
      x447/(0.0001 + 0.9999*b84))^2)*(0.0001 + 0.9999*b84) + 
      0.00453787647574285*b84 <= 0.00453787647574285;

e147: (-1 + (1.47483805835463 - x448/(0.0001 + 0.9999*b85))^2 + (
      0.989752492299246 - x449/(0.0001 + 0.9999*b85))^2 + (5.36717263813865 - 
      x450/(0.0001 + 0.9999*b85))^2)*(0.0001 + 0.9999*b85) + 0.0030961299421968
      *b85 <= 0.0030961299421968;

e148: (-1 + (4.61507078501251 - x451/(0.0001 + 0.9999*b86))^2 + (
      0.234707301612243 - x452/(0.0001 + 0.9999*b86))^2 + (3.97342857514894 - 
      x453/(0.0001 + 0.9999*b86))^2)*(0.0001 + 0.9999*b86) + 
      0.00361421005099162*b86 <= 0.00361421005099162;

e149: (-1 + (9.15405801517484 - x454/(0.0001 + 0.9999*b87))^2 + (
      4.26169733166395 - x455/(0.0001 + 0.9999*b87))^2 + (4.89911772871142 - 
      x456/(0.0001 + 0.9999*b87))^2)*(0.0001 + 0.9999*b87) + 0.0124960196811673
      *b87 <= 0.0124960196811673;

e150: (-1 + (6.23408727244271 - x457/(0.0001 + 0.9999*b88))^2 + (
      0.755925845511098 - x458/(0.0001 + 0.9999*b88))^2 + (5.40595672236618 - 
      x459/(0.0001 + 0.9999*b88))^2)*(0.0001 + 0.9999*b88) + 
      0.00676596360884399*b88 <= 0.00676596360884399;

e151: (-1 + (5.16744991507397 - x460/(0.0001 + 0.9999*b89))^2 + (
      5.25535097293888 - x461/(0.0001 + 0.9999*b89))^2 + (3.81062986996748 - 
      x462/(0.0001 + 0.9999*b89))^2)*(0.0001 + 0.9999*b89) + 0.0067842152479456
      *b89 <= 0.0067842152479456;

e152: (-1 + (7.23609076996082 - x463/(0.0001 + 0.9999*b90))^2 + (
      3.30048962157922 - x464/(0.0001 + 0.9999*b90))^2 + (8.05002431260521 - 
      x465/(0.0001 + 0.9999*b90))^2)*(0.0001 + 0.9999*b90) + 0.0127057132806799
      *b90 <= 0.0127057132806799;

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

e154: (-1 + (4.83202054247519 - x466/(0.0001 + 0.9999*b91))^2 + (
      5.08041476544912 - x467/(0.0001 + 0.9999*b91))^2 + (6.32621379041806 - 
      x468/(0.0001 + 0.9999*b91))^2)*(0.0001 + 0.9999*b91) + 
      0.00881800176339713*b91 <= 0.00881800176339713;

e155: (-1 + (6.86422157586402 - x469/(0.0001 + 0.9999*b92))^2 + (
      7.66428209799864 - x470/(0.0001 + 0.9999*b92))^2 + (0.09709175573132 - 
      x471/(0.0001 + 0.9999*b92))^2)*(0.0001 + 0.9999*b92) + 0.0104868184729291
      *b92 <= 0.0104868184729291;

e156: (-1 + (4.84862000711289 - x472/(0.0001 + 0.9999*b93))^2 + (
      3.45257195120785 - x473/(0.0001 + 0.9999*b93))^2 + (7.39094773970617 - 
      x474/(0.0001 + 0.9999*b93))^2)*(0.0001 + 0.9999*b93) + 
      0.00890554775427104*b93 <= 0.00890554775427104;

e157: (-1 + (1.90653576175828 - x475/(0.0001 + 0.9999*b94))^2 + (
      9.06815267710453 - x476/(0.0001 + 0.9999*b94))^2 + (0.329270310437709 - 
      x477/(0.0001 + 0.9999*b94))^2)*(0.0001 + 0.9999*b94) + 0.0084974690523477
      *b94 <= 0.0084974690523477;

e158: (-1 + (8.91873287322862 - x478/(0.0001 + 0.9999*b95))^2 + (3.005493222209
       - x479/(0.0001 + 0.9999*b95))^2 + (6.72603314933737 - x480/(0.0001 + 
      0.9999*b95))^2)*(0.0001 + 0.9999*b95) + 0.0132816307498738*b95
       <= 0.0132816307498738;

e159: (-1 + (2.79219011695411 - x481/(0.0001 + 0.9999*b96))^2 + (
      0.0802363505466042 - x482/(0.0001 + 0.9999*b96))^2 + (5.8239689013093 - 
      x483/(0.0001 + 0.9999*b96))^2)*(0.0001 + 0.9999*b96) + 
      0.00407213772845831*b96 <= 0.00407213772845831;

e160: (-1 + (8.45192604487847 - x484/(0.0001 + 0.9999*b97))^2 + (
      0.960982267180915 - x485/(0.0001 + 0.9999*b97))^2 + (7.08846749273086 - 
      x486/(0.0001 + 0.9999*b97))^2)*(0.0001 + 0.9999*b97) + 0.0121604912181433
      *b97 <= 0.0121604912181433;

e161: (-1 + (9.76694746975659 - x487/(0.0001 + 0.9999*b98))^2 + (
      1.64767982343444 - x488/(0.0001 + 0.9999*b98))^2 + (3.89461195866276 - 
      x489/(0.0001 + 0.9999*b98))^2)*(0.0001 + 0.9999*b98) + 0.0112276113986097
      *b98 <= 0.0112276113986097;

e162: (-1 + (3.92650027388399 - x490/(0.0001 + 0.9999*b99))^2 + (
      8.57900429288824 - x491/(0.0001 + 0.9999*b99))^2 + (9.23525817101371 - 
      x492/(0.0001 + 0.9999*b99))^2)*(0.0001 + 0.9999*b99) + 0.0173306712543481
      *b99 <= 0.0173306712543481;

e163: (-1 + (0.679990404106158 - x493/(0.0001 + 0.9999*b100))^2 + (
      7.93354548453717 - x494/(0.0001 + 0.9999*b100))^2 + (6.24827514848977 - 
      x495/(0.0001 + 0.9999*b100))^2)*(0.0001 + 0.9999*b100) + 
      0.0101444473236131*b100 <= 0.0101444473236131;

e164: (-1 + (3.80282662917579 - x496/(0.0001 + 0.9999*b101))^2 + (
      5.00336142496769 - x497/(0.0001 + 0.9999*b101))^2 + (6.01003348085459 - 
      x498/(0.0001 + 0.9999*b101))^2)*(0.0001 + 0.9999*b101) + 
      0.00746156183614164*b101 <= 0.00746156183614164;

e165: (-1 + (6.54293331034743 - x499/(0.0001 + 0.9999*b102))^2 + (
      1.49363772657694 - x500/(0.0001 + 0.9999*b102))^2 + (3.58497465463316 - 
      x501/(0.0001 + 0.9999*b102))^2)*(0.0001 + 0.9999*b102) + 
      0.00568929732362701*b102 <= 0.00568929732362701;

e166: (-1 + (5.20241765093859 - x502/(0.0001 + 0.9999*b103))^2 + (
      5.86977990966318 - x503/(0.0001 + 0.9999*b103))^2 + (6.440337805336 - 
      x504/(0.0001 + 0.9999*b103))^2)*(0.0001 + 0.9999*b103) + 
      0.0101997416649523*b103 <= 0.0101997416649523;

e167: (-1 + (5.87470028021075 - x505/(0.0001 + 0.9999*b104))^2 + (
      2.67028689434427 - x506/(0.0001 + 0.9999*b104))^2 + (0.749156996429077 - 
      x507/(0.0001 + 0.9999*b104))^2)*(0.0001 + 0.9999*b104) + 
      0.00412037716857136*b104 <= 0.00412037716857136;

e168: (-1 + (2.89776733906328 - x508/(0.0001 + 0.9999*b105))^2 + (
      5.22108290497701 - x509/(0.0001 + 0.9999*b105))^2 + (7.57016691626461 - 
      x510/(0.0001 + 0.9999*b105))^2)*(0.0001 + 0.9999*b105) + 
      0.00919641893920924*b105 <= 0.00919641893920924;

e169: (-1 + (3.25002624472116 - x511/(0.0001 + 0.9999*b106))^2 + (
      6.977422017743 - x512/(0.0001 + 0.9999*b106))^2 + (0.695695115140367 - 
      x513/(0.0001 + 0.9999*b106))^2)*(0.0001 + 0.9999*b106) + 
      0.00587310802982913*b106 <= 0.00587310802982913;

e170: (-1 + (8.47049713128073 - x514/(0.0001 + 0.9999*b107))^2 + (
      4.20582102463618 - x515/(0.0001 + 0.9999*b107))^2 + (4.93941262529365 - 
      x516/(0.0001 + 0.9999*b107))^2)*(0.0001 + 0.9999*b107) + 
      0.0112836049225217*b107 <= 0.0112836049225217;

e171: (-1 + (0.786615440794736 - x517/(0.0001 + 0.9999*b108))^2 + (
      1.54813106254315 - x518/(0.0001 + 0.9999*b108))^2 + (2.98963379540322 - 
      x519/(0.0001 + 0.9999*b108))^2)*(0.0001 + 0.9999*b108) + 
      0.00109533838691247*b108 <= 0.00109533838691247;

e172: (-1 + (5.17568572881879 - x520/(0.0001 + 0.9999*b109))^2 + (
      2.02627806544288 - x521/(0.0001 + 0.9999*b109))^2 + (9.2740633418688 - 
      x522/(0.0001 + 0.9999*b109))^2)*(0.0001 + 0.9999*b109) + 
      0.0115901776430988*b109 <= 0.0115901776430988;

e173: (-1 + (9.11874181180651 - x523/(0.0001 + 0.9999*b110))^2 + (
      9.07966816070985 - x524/(0.0001 + 0.9999*b110))^2 + (1.64995049320116 - 
      x525/(0.0001 + 0.9999*b110))^2)*(0.0001 + 0.9999*b110) + 
      0.0167314162769011*b110 <= 0.0167314162769011;

e174: (-1 + (8.26392769674786 - x526/(0.0001 + 0.9999*b111))^2 + (
      4.29716878332203 - x527/(0.0001 + 0.9999*b111))^2 + (3.06511979366618 - 
      x528/(0.0001 + 0.9999*b111))^2)*(0.0001 + 0.9999*b111) + 
      0.0095153119878958*b111 <= 0.0095153119878958;

e175: (-1 + (2.95522257480442 - x529/(0.0001 + 0.9999*b112))^2 + (
      1.29725120442498 - x530/(0.0001 + 0.9999*b112))^2 + (0.799527585103169 - 
      x531/(0.0001 + 0.9999*b112))^2)*(0.0001 + 0.9999*b112) + 
      0.00100554455133566*b112 <= 0.00100554455133566;

e176: (-1 + (5.59281220526297 - x532/(0.0001 + 0.9999*b113))^2 + (
      5.08387949672858 - x533/(0.0001 + 0.9999*b113))^2 + (0.547463810150197 - 
      x534/(0.0001 + 0.9999*b113))^2)*(0.0001 + 0.9999*b113) + 
      0.00564250957240199*b113 <= 0.00564250957240199;

e177: (-1 + (5.5713321706538 - x535/(0.0001 + 0.9999*b114))^2 + (
      3.89813512317444 - x536/(0.0001 + 0.9999*b114))^2 + (0.378899938163517 - 
      x537/(0.0001 + 0.9999*b114))^2)*(0.0001 + 0.9999*b114) + 
      0.00453787647574285*b114 <= 0.00453787647574285;

e178: (-1 + (1.47483805835463 - x538/(0.0001 + 0.9999*b115))^2 + (
      0.989752492299246 - x539/(0.0001 + 0.9999*b115))^2 + (5.36717263813865 - 
      x540/(0.0001 + 0.9999*b115))^2)*(0.0001 + 0.9999*b115) + 
      0.0030961299421968*b115 <= 0.0030961299421968;

e179: (-1 + (4.61507078501251 - x541/(0.0001 + 0.9999*b116))^2 + (
      0.234707301612243 - x542/(0.0001 + 0.9999*b116))^2 + (3.97342857514894 - 
      x543/(0.0001 + 0.9999*b116))^2)*(0.0001 + 0.9999*b116) + 
      0.00361421005099162*b116 <= 0.00361421005099162;

e180: (-1 + (9.15405801517484 - x544/(0.0001 + 0.9999*b117))^2 + (
      4.26169733166395 - x545/(0.0001 + 0.9999*b117))^2 + (4.89911772871142 - 
      x546/(0.0001 + 0.9999*b117))^2)*(0.0001 + 0.9999*b117) + 
      0.0124960196811673*b117 <= 0.0124960196811673;

e181: (-1 + (6.23408727244271 - x547/(0.0001 + 0.9999*b118))^2 + (
      0.755925845511098 - x548/(0.0001 + 0.9999*b118))^2 + (5.40595672236618 - 
      x549/(0.0001 + 0.9999*b118))^2)*(0.0001 + 0.9999*b118) + 
      0.00676596360884399*b118 <= 0.00676596360884399;

e182: (-1 + (5.16744991507397 - x550/(0.0001 + 0.9999*b119))^2 + (
      5.25535097293888 - x551/(0.0001 + 0.9999*b119))^2 + (3.81062986996748 - 
      x552/(0.0001 + 0.9999*b119))^2)*(0.0001 + 0.9999*b119) + 
      0.0067842152479456*b119 <= 0.0067842152479456;

e183: (-1 + (7.23609076996082 - x553/(0.0001 + 0.9999*b120))^2 + (
      3.30048962157922 - x554/(0.0001 + 0.9999*b120))^2 + (8.05002431260521 - 
      x555/(0.0001 + 0.9999*b120))^2)*(0.0001 + 0.9999*b120) + 
      0.0127057132806799*b120 <= 0.0127057132806799;

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

e185: (-1 + (4.83202054247519 - x556/(0.0001 + 0.9999*b121))^2 + (
      5.08041476544912 - x557/(0.0001 + 0.9999*b121))^2 + (6.32621379041806 - 
      x558/(0.0001 + 0.9999*b121))^2)*(0.0001 + 0.9999*b121) + 
      0.00881800176339713*b121 <= 0.00881800176339713;

e186: (-1 + (6.86422157586402 - x559/(0.0001 + 0.9999*b122))^2 + (
      7.66428209799864 - x560/(0.0001 + 0.9999*b122))^2 + (0.09709175573132 - 
      x561/(0.0001 + 0.9999*b122))^2)*(0.0001 + 0.9999*b122) + 
      0.0104868184729291*b122 <= 0.0104868184729291;

e187: (-1 + (4.84862000711289 - x562/(0.0001 + 0.9999*b123))^2 + (
      3.45257195120785 - x563/(0.0001 + 0.9999*b123))^2 + (7.39094773970617 - 
      x564/(0.0001 + 0.9999*b123))^2)*(0.0001 + 0.9999*b123) + 
      0.00890554775427104*b123 <= 0.00890554775427104;

e188: (-1 + (1.90653576175828 - x565/(0.0001 + 0.9999*b124))^2 + (
      9.06815267710453 - x566/(0.0001 + 0.9999*b124))^2 + (0.329270310437709 - 
      x567/(0.0001 + 0.9999*b124))^2)*(0.0001 + 0.9999*b124) + 
      0.0084974690523477*b124 <= 0.0084974690523477;

e189: (-1 + (8.91873287322862 - x568/(0.0001 + 0.9999*b125))^2 + (
      3.005493222209 - x569/(0.0001 + 0.9999*b125))^2 + (6.72603314933737 - 
      x570/(0.0001 + 0.9999*b125))^2)*(0.0001 + 0.9999*b125) + 
      0.0132816307498738*b125 <= 0.0132816307498738;

e190: (-1 + (2.79219011695411 - x571/(0.0001 + 0.9999*b126))^2 + (
      0.0802363505466042 - x572/(0.0001 + 0.9999*b126))^2 + (5.8239689013093 - 
      x573/(0.0001 + 0.9999*b126))^2)*(0.0001 + 0.9999*b126) + 
      0.00407213772845831*b126 <= 0.00407213772845831;

e191: (-1 + (8.45192604487847 - x574/(0.0001 + 0.9999*b127))^2 + (
      0.960982267180915 - x575/(0.0001 + 0.9999*b127))^2 + (7.08846749273086 - 
      x576/(0.0001 + 0.9999*b127))^2)*(0.0001 + 0.9999*b127) + 
      0.0121604912181433*b127 <= 0.0121604912181433;

e192: (-1 + (9.76694746975659 - x577/(0.0001 + 0.9999*b128))^2 + (
      1.64767982343444 - x578/(0.0001 + 0.9999*b128))^2 + (3.89461195866276 - 
      x579/(0.0001 + 0.9999*b128))^2)*(0.0001 + 0.9999*b128) + 
      0.0112276113986097*b128 <= 0.0112276113986097;

e193: (-1 + (3.92650027388399 - x580/(0.0001 + 0.9999*b129))^2 + (
      8.57900429288824 - x581/(0.0001 + 0.9999*b129))^2 + (9.23525817101371 - 
      x582/(0.0001 + 0.9999*b129))^2)*(0.0001 + 0.9999*b129) + 
      0.0173306712543481*b129 <= 0.0173306712543481;

e194: (-1 + (0.679990404106158 - x583/(0.0001 + 0.9999*b130))^2 + (
      7.93354548453717 - x584/(0.0001 + 0.9999*b130))^2 + (6.24827514848977 - 
      x585/(0.0001 + 0.9999*b130))^2)*(0.0001 + 0.9999*b130) + 
      0.0101444473236131*b130 <= 0.0101444473236131;

e195: (-1 + (3.80282662917579 - x586/(0.0001 + 0.9999*b131))^2 + (
      5.00336142496769 - x587/(0.0001 + 0.9999*b131))^2 + (6.01003348085459 - 
      x588/(0.0001 + 0.9999*b131))^2)*(0.0001 + 0.9999*b131) + 
      0.00746156183614164*b131 <= 0.00746156183614164;

e196: (-1 + (6.54293331034743 - x589/(0.0001 + 0.9999*b132))^2 + (
      1.49363772657694 - x590/(0.0001 + 0.9999*b132))^2 + (3.58497465463316 - 
      x591/(0.0001 + 0.9999*b132))^2)*(0.0001 + 0.9999*b132) + 
      0.00568929732362701*b132 <= 0.00568929732362701;

e197: (-1 + (5.20241765093859 - x592/(0.0001 + 0.9999*b133))^2 + (
      5.86977990966318 - x593/(0.0001 + 0.9999*b133))^2 + (6.440337805336 - 
      x594/(0.0001 + 0.9999*b133))^2)*(0.0001 + 0.9999*b133) + 
      0.0101997416649523*b133 <= 0.0101997416649523;

e198: (-1 + (5.87470028021075 - x595/(0.0001 + 0.9999*b134))^2 + (
      2.67028689434427 - x596/(0.0001 + 0.9999*b134))^2 + (0.749156996429077 - 
      x597/(0.0001 + 0.9999*b134))^2)*(0.0001 + 0.9999*b134) + 
      0.00412037716857136*b134 <= 0.00412037716857136;

e199: (-1 + (2.89776733906328 - x598/(0.0001 + 0.9999*b135))^2 + (
      5.22108290497701 - x599/(0.0001 + 0.9999*b135))^2 + (7.57016691626461 - 
      x600/(0.0001 + 0.9999*b135))^2)*(0.0001 + 0.9999*b135) + 
      0.00919641893920924*b135 <= 0.00919641893920924;

e200: (-1 + (3.25002624472116 - x601/(0.0001 + 0.9999*b136))^2 + (
      6.977422017743 - x602/(0.0001 + 0.9999*b136))^2 + (0.695695115140367 - 
      x603/(0.0001 + 0.9999*b136))^2)*(0.0001 + 0.9999*b136) + 
      0.00587310802982913*b136 <= 0.00587310802982913;

e201: (-1 + (8.47049713128073 - x604/(0.0001 + 0.9999*b137))^2 + (
      4.20582102463618 - x605/(0.0001 + 0.9999*b137))^2 + (4.93941262529365 - 
      x606/(0.0001 + 0.9999*b137))^2)*(0.0001 + 0.9999*b137) + 
      0.0112836049225217*b137 <= 0.0112836049225217;

e202: (-1 + (0.786615440794736 - x607/(0.0001 + 0.9999*b138))^2 + (
      1.54813106254315 - x608/(0.0001 + 0.9999*b138))^2 + (2.98963379540322 - 
      x609/(0.0001 + 0.9999*b138))^2)*(0.0001 + 0.9999*b138) + 
      0.00109533838691247*b138 <= 0.00109533838691247;

e203: (-1 + (5.17568572881879 - x610/(0.0001 + 0.9999*b139))^2 + (
      2.02627806544288 - x611/(0.0001 + 0.9999*b139))^2 + (9.2740633418688 - 
      x612/(0.0001 + 0.9999*b139))^2)*(0.0001 + 0.9999*b139) + 
      0.0115901776430988*b139 <= 0.0115901776430988;

e204: (-1 + (9.11874181180651 - x613/(0.0001 + 0.9999*b140))^2 + (
      9.07966816070985 - x614/(0.0001 + 0.9999*b140))^2 + (1.64995049320116 - 
      x615/(0.0001 + 0.9999*b140))^2)*(0.0001 + 0.9999*b140) + 
      0.0167314162769011*b140 <= 0.0167314162769011;

e205: (-1 + (8.26392769674786 - x616/(0.0001 + 0.9999*b141))^2 + (
      4.29716878332203 - x617/(0.0001 + 0.9999*b141))^2 + (3.06511979366618 - 
      x618/(0.0001 + 0.9999*b141))^2)*(0.0001 + 0.9999*b141) + 
      0.0095153119878958*b141 <= 0.0095153119878958;

e206: (-1 + (2.95522257480442 - x619/(0.0001 + 0.9999*b142))^2 + (
      1.29725120442498 - x620/(0.0001 + 0.9999*b142))^2 + (0.799527585103169 - 
      x621/(0.0001 + 0.9999*b142))^2)*(0.0001 + 0.9999*b142) + 
      0.00100554455133566*b142 <= 0.00100554455133566;

e207: (-1 + (5.59281220526297 - x622/(0.0001 + 0.9999*b143))^2 + (
      5.08387949672858 - x623/(0.0001 + 0.9999*b143))^2 + (0.547463810150197 - 
      x624/(0.0001 + 0.9999*b143))^2)*(0.0001 + 0.9999*b143) + 
      0.00564250957240199*b143 <= 0.00564250957240199;

e208: (-1 + (5.5713321706538 - x625/(0.0001 + 0.9999*b144))^2 + (
      3.89813512317444 - x626/(0.0001 + 0.9999*b144))^2 + (0.378899938163517 - 
      x627/(0.0001 + 0.9999*b144))^2)*(0.0001 + 0.9999*b144) + 
      0.00453787647574285*b144 <= 0.00453787647574285;

e209: (-1 + (1.47483805835463 - x628/(0.0001 + 0.9999*b145))^2 + (
      0.989752492299246 - x629/(0.0001 + 0.9999*b145))^2 + (5.36717263813865 - 
      x630/(0.0001 + 0.9999*b145))^2)*(0.0001 + 0.9999*b145) + 
      0.0030961299421968*b145 <= 0.0030961299421968;

e210: (-1 + (4.61507078501251 - x631/(0.0001 + 0.9999*b146))^2 + (
      0.234707301612243 - x632/(0.0001 + 0.9999*b146))^2 + (3.97342857514894 - 
      x633/(0.0001 + 0.9999*b146))^2)*(0.0001 + 0.9999*b146) + 
      0.00361421005099162*b146 <= 0.00361421005099162;

e211: (-1 + (9.15405801517484 - x634/(0.0001 + 0.9999*b147))^2 + (
      4.26169733166395 - x635/(0.0001 + 0.9999*b147))^2 + (4.89911772871142 - 
      x636/(0.0001 + 0.9999*b147))^2)*(0.0001 + 0.9999*b147) + 
      0.0124960196811673*b147 <= 0.0124960196811673;

e212: (-1 + (6.23408727244271 - x637/(0.0001 + 0.9999*b148))^2 + (
      0.755925845511098 - x638/(0.0001 + 0.9999*b148))^2 + (5.40595672236618 - 
      x639/(0.0001 + 0.9999*b148))^2)*(0.0001 + 0.9999*b148) + 
      0.00676596360884399*b148 <= 0.00676596360884399;

e213: (-1 + (5.16744991507397 - x640/(0.0001 + 0.9999*b149))^2 + (
      5.25535097293888 - x641/(0.0001 + 0.9999*b149))^2 + (3.81062986996748 - 
      x642/(0.0001 + 0.9999*b149))^2)*(0.0001 + 0.9999*b149) + 
      0.0067842152479456*b149 <= 0.0067842152479456;

e214: (-1 + (7.23609076996082 - x643/(0.0001 + 0.9999*b150))^2 + (
      3.30048962157922 - x644/(0.0001 + 0.9999*b150))^2 + (8.05002431260521 - 
      x645/(0.0001 + 0.9999*b150))^2)*(0.0001 + 0.9999*b150) + 
      0.0127057132806799*b150 <= 0.0127057132806799;

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

e216:    b1 + b31 + b61 + b91 + b121 <= 1;

e217:    b2 + b32 + b62 + b92 + b122 <= 1;

e218:    b3 + b33 + b63 + b93 + b123 <= 1;

e219:    b4 + b34 + b64 + b94 + b124 <= 1;

e220:    b5 + b35 + b65 + b95 + b125 <= 1;

e221:    b6 + b36 + b66 + b96 + b126 <= 1;

e222:    b7 + b37 + b67 + b97 + b127 <= 1;

e223:    b8 + b38 + b68 + b98 + b128 <= 1;

e224:    b9 + b39 + b69 + b99 + b129 <= 1;

e225:    b10 + b40 + b70 + b100 + b130 <= 1;

e226:    b11 + b41 + b71 + b101 + b131 <= 1;

e227:    b12 + b42 + b72 + b102 + b132 <= 1;

e228:    b13 + b43 + b73 + b103 + b133 <= 1;

e229:    b14 + b44 + b74 + b104 + b134 <= 1;

e230:    b15 + b45 + b75 + b105 + b135 <= 1;

e231:    b16 + b46 + b76 + b106 + b136 <= 1;

e232:    b17 + b47 + b77 + b107 + b137 <= 1;

e233:    b18 + b48 + b78 + b108 + b138 <= 1;

e234:    b19 + b49 + b79 + b109 + b139 <= 1;

e235:    b20 + b50 + b80 + b110 + b140 <= 1;

e236:    b21 + b51 + b81 + b111 + b141 <= 1;

e237:    b22 + b52 + b82 + b112 + b142 <= 1;

e238:    b23 + b53 + b83 + b113 + b143 <= 1;

e239:    b24 + b54 + b84 + b114 + b144 <= 1;

e240:    b25 + b55 + b85 + b115 + b145 <= 1;

e241:    b26 + b56 + b86 + b116 + b146 <= 1;

e242:    b27 + b57 + b87 + b117 + b147 <= 1;

e243:    b28 + b58 + b88 + b118 + b148 <= 1;

e244:    b29 + b59 + b89 + b119 + b149 <= 1;

e245:    b30 + b60 + b90 + b120 + b150 <= 1;

e246:  - x151 + x196 + x199 + x202 + x205 + x208 + x211 + x214 + x217 + x220
       + x223 + x226 + x229 + x232 + x235 + x238 + x241 + x244 + x247 + x250
       + x253 + x256 + x259 + x262 + x265 + x268 + x271 + x274 + x277 + x280
       + x283 = 0;

e247:  - x154 + x197 + x200 + x203 + x206 + x209 + x212 + x215 + x218 + x221
       + x224 + x227 + x230 + x233 + x236 + x239 + x242 + x245 + x248 + x251
       + x254 + x257 + x260 + x263 + x266 + x269 + x272 + x275 + x278 + x281
       + x284 = 0;

e248:  - x157 + x198 + x201 + x204 + x207 + x210 + x213 + x216 + x219 + x222
       + x225 + x228 + x231 + x234 + x237 + x240 + x243 + x246 + x249 + x252
       + x255 + x258 + x261 + x264 + x267 + x270 + x273 + x276 + x279 + x282
       + x285 = 0;

e249:  - x152 + x286 + x289 + x292 + x295 + x298 + x301 + x304 + x307 + x310
       + x313 + x316 + x319 + x322 + x325 + x328 + x331 + x334 + x337 + x340
       + x343 + x346 + x349 + x352 + x355 + x358 + x361 + x364 + x367 + x370
       + x373 = 0;

e250:  - x155 + x287 + x290 + x293 + x296 + x299 + x302 + x305 + x308 + x311
       + x314 + x317 + x320 + x323 + x326 + x329 + x332 + x335 + x338 + x341
       + x344 + x347 + x350 + x353 + x356 + x359 + x362 + x365 + x368 + x371
       + x374 = 0;

e251:  - x158 + x288 + x291 + x294 + x297 + x300 + x303 + x306 + x309 + x312
       + x315 + x318 + x321 + x324 + x327 + x330 + x333 + x336 + x339 + x342
       + x345 + x348 + x351 + x354 + x357 + x360 + x363 + x366 + x369 + x372
       + x375 = 0;

e252:  - x160 + x376 + x379 + x382 + x385 + x388 + x391 + x394 + x397 + x400
       + x403 + x406 + x409 + x412 + x415 + x418 + x421 + x424 + x427 + x430
       + x433 + x436 + x439 + x442 + x445 + x448 + x451 + x454 + x457 + x460
       + x463 = 0;

e253:  - x162 + x377 + x380 + x383 + x386 + x389 + x392 + x395 + x398 + x401
       + x404 + x407 + x410 + x413 + x416 + x419 + x422 + x425 + x428 + x431
       + x434 + x437 + x440 + x443 + x446 + x449 + x452 + x455 + x458 + x461
       + x464 = 0;

e254:  - x164 + x378 + x381 + x384 + x387 + x390 + x393 + x396 + x399 + x402
       + x405 + x408 + x411 + x414 + x417 + x420 + x423 + x426 + x429 + x432
       + x435 + x438 + x441 + x444 + x447 + x450 + x453 + x456 + x459 + x462
       + x465 = 0;

e255:  - x166 + x466 + x469 + x472 + x475 + x478 + x481 + x484 + x487 + x490
       + x493 + x496 + x499 + x502 + x505 + x508 + x511 + x514 + x517 + x520
       + x523 + x526 + x529 + x532 + x535 + x538 + x541 + x544 + x547 + x550
       + x553 = 0;

e256:  - x168 + x467 + x470 + x473 + x476 + x479 + x482 + x485 + x488 + x491
       + x494 + x497 + x500 + x503 + x506 + x509 + x512 + x515 + x518 + x521
       + x524 + x527 + x530 + x533 + x536 + x539 + x542 + x545 + x548 + x551
       + x554 = 0;

e257:  - x170 + x468 + x471 + x474 + x477 + x480 + x483 + x486 + x489 + x492
       + x495 + x498 + x501 + x504 + x507 + x510 + x513 + x516 + x519 + x522
       + x525 + x528 + x531 + x534 + x537 + x540 + x543 + x546 + x549 + x552
       + x555 = 0;

e258:  - x172 + x556 + x559 + x562 + x565 + x568 + x571 + x574 + x577 + x580
       + x583 + x586 + x589 + x592 + x595 + x598 + x601 + x604 + x607 + x610
       + x613 + x616 + x619 + x622 + x625 + x628 + x631 + x634 + x637 + x640
       + x643 = 0;

e259:  - x174 + x557 + x560 + x563 + x566 + x569 + x572 + x575 + x578 + x581
       + x584 + x587 + x590 + x593 + x596 + x599 + x602 + x605 + x608 + x611
       + x614 + x617 + x620 + x623 + x626 + x629 + x632 + x635 + x638 + x641
       + x644 = 0;

e260:  - x176 + x558 + x561 + x564 + x567 + x570 + x573 + x576 + x579 + x582
       + x585 + x588 + x591 + x594 + x597 + x600 + x603 + x606 + x609 + x612
       + x615 + x618 + x621 + x624 + x627 + x630 + x633 + x636 + x639 + x642
       + x645 = 0;

e261:  - 10*b1 + x196 <= 0;

e262:  - 10*b2 + x199 <= 0;

e263:  - 10*b3 + x202 <= 0;

e264:  - 10*b4 + x205 <= 0;

e265:  - 10*b5 + x208 <= 0;

e266:  - 10*b6 + x211 <= 0;

e267:  - 10*b7 + x214 <= 0;

e268:  - 10*b8 + x217 <= 0;

e269:  - 10*b9 + x220 <= 0;

e270:  - 10*b10 + x223 <= 0;

e271:  - 10*b11 + x226 <= 0;

e272:  - 10*b12 + x229 <= 0;

e273:  - 10*b13 + x232 <= 0;

e274:  - 10*b14 + x235 <= 0;

e275:  - 10*b15 + x238 <= 0;

e276:  - 10*b16 + x241 <= 0;

e277:  - 10*b17 + x244 <= 0;

e278:  - 10*b18 + x247 <= 0;

e279:  - 10*b19 + x250 <= 0;

e280:  - 10*b20 + x253 <= 0;

e281:  - 10*b21 + x256 <= 0;

e282:  - 10*b22 + x259 <= 0;

e283:  - 10*b23 + x262 <= 0;

e284:  - 10*b24 + x265 <= 0;

e285:  - 10*b25 + x268 <= 0;

e286:  - 10*b26 + x271 <= 0;

e287:  - 10*b27 + x274 <= 0;

e288:  - 10*b28 + x277 <= 0;

e289:  - 10*b29 + x280 <= 0;

e290:  - 10*b30 + x283 <= 0;

e291:  - 10*b1 + x197 <= 0;

e292:  - 10*b2 + x200 <= 0;

e293:  - 10*b3 + x203 <= 0;

e294:  - 10*b4 + x206 <= 0;

e295:  - 10*b5 + x209 <= 0;

e296:  - 10*b6 + x212 <= 0;

e297:  - 10*b7 + x215 <= 0;

e298:  - 10*b8 + x218 <= 0;

e299:  - 10*b9 + x221 <= 0;

e300:  - 10*b10 + x224 <= 0;

e301:  - 10*b11 + x227 <= 0;

e302:  - 10*b12 + x230 <= 0;

e303:  - 10*b13 + x233 <= 0;

e304:  - 10*b14 + x236 <= 0;

e305:  - 10*b15 + x239 <= 0;

e306:  - 10*b16 + x242 <= 0;

e307:  - 10*b17 + x245 <= 0;

e308:  - 10*b18 + x248 <= 0;

e309:  - 10*b19 + x251 <= 0;

e310:  - 10*b20 + x254 <= 0;

e311:  - 10*b21 + x257 <= 0;

e312:  - 10*b22 + x260 <= 0;

e313:  - 10*b23 + x263 <= 0;

e314:  - 10*b24 + x266 <= 0;

e315:  - 10*b25 + x269 <= 0;

e316:  - 10*b26 + x272 <= 0;

e317:  - 10*b27 + x275 <= 0;

e318:  - 10*b28 + x278 <= 0;

e319:  - 10*b29 + x281 <= 0;

e320:  - 10*b30 + x284 <= 0;

e321:  - 10*b1 + x198 <= 0;

e322:  - 10*b2 + x201 <= 0;

e323:  - 10*b3 + x204 <= 0;

e324:  - 10*b4 + x207 <= 0;

e325:  - 10*b5 + x210 <= 0;

e326:  - 10*b6 + x213 <= 0;

e327:  - 10*b7 + x216 <= 0;

e328:  - 10*b8 + x219 <= 0;

e329:  - 10*b9 + x222 <= 0;

e330:  - 10*b10 + x225 <= 0;

e331:  - 10*b11 + x228 <= 0;

e332:  - 10*b12 + x231 <= 0;

e333:  - 10*b13 + x234 <= 0;

e334:  - 10*b14 + x237 <= 0;

e335:  - 10*b15 + x240 <= 0;

e336:  - 10*b16 + x243 <= 0;

e337:  - 10*b17 + x246 <= 0;

e338:  - 10*b18 + x249 <= 0;

e339:  - 10*b19 + x252 <= 0;

e340:  - 10*b20 + x255 <= 0;

e341:  - 10*b21 + x258 <= 0;

e342:  - 10*b22 + x261 <= 0;

e343:  - 10*b23 + x264 <= 0;

e344:  - 10*b24 + x267 <= 0;

e345:  - 10*b25 + x270 <= 0;

e346:  - 10*b26 + x273 <= 0;

e347:  - 10*b27 + x276 <= 0;

e348:  - 10*b28 + x279 <= 0;

e349:  - 10*b29 + x282 <= 0;

e350:  - 10*b30 + x285 <= 0;

e351:  - 10*b31 + x286 <= 0;

e352:  - 10*b32 + x289 <= 0;

e353:  - 10*b33 + x292 <= 0;

e354:  - 10*b34 + x295 <= 0;

e355:  - 10*b35 + x298 <= 0;

e356:  - 10*b36 + x301 <= 0;

e357:  - 10*b37 + x304 <= 0;

e358:  - 10*b38 + x307 <= 0;

e359:  - 10*b39 + x310 <= 0;

e360:  - 10*b40 + x313 <= 0;

e361:  - 10*b41 + x316 <= 0;

e362:  - 10*b42 + x319 <= 0;

e363:  - 10*b43 + x322 <= 0;

e364:  - 10*b44 + x325 <= 0;

e365:  - 10*b45 + x328 <= 0;

e366:  - 10*b46 + x331 <= 0;

e367:  - 10*b47 + x334 <= 0;

e368:  - 10*b48 + x337 <= 0;

e369:  - 10*b49 + x340 <= 0;

e370:  - 10*b50 + x343 <= 0;

e371:  - 10*b51 + x346 <= 0;

e372:  - 10*b52 + x349 <= 0;

e373:  - 10*b53 + x352 <= 0;

e374:  - 10*b54 + x355 <= 0;

e375:  - 10*b55 + x358 <= 0;

e376:  - 10*b56 + x361 <= 0;

e377:  - 10*b57 + x364 <= 0;

e378:  - 10*b58 + x367 <= 0;

e379:  - 10*b59 + x370 <= 0;

e380:  - 10*b60 + x373 <= 0;

e381:  - 10*b31 + x287 <= 0;

e382:  - 10*b32 + x290 <= 0;

e383:  - 10*b33 + x293 <= 0;

e384:  - 10*b34 + x296 <= 0;

e385:  - 10*b35 + x299 <= 0;

e386:  - 10*b36 + x302 <= 0;

e387:  - 10*b37 + x305 <= 0;

e388:  - 10*b38 + x308 <= 0;

e389:  - 10*b39 + x311 <= 0;

e390:  - 10*b40 + x314 <= 0;

e391:  - 10*b41 + x317 <= 0;

e392:  - 10*b42 + x320 <= 0;

e393:  - 10*b43 + x323 <= 0;

e394:  - 10*b44 + x326 <= 0;

e395:  - 10*b45 + x329 <= 0;

e396:  - 10*b46 + x332 <= 0;

e397:  - 10*b47 + x335 <= 0;

e398:  - 10*b48 + x338 <= 0;

e399:  - 10*b49 + x341 <= 0;

e400:  - 10*b50 + x344 <= 0;

e401:  - 10*b51 + x347 <= 0;

e402:  - 10*b52 + x350 <= 0;

e403:  - 10*b53 + x353 <= 0;

e404:  - 10*b54 + x356 <= 0;

e405:  - 10*b55 + x359 <= 0;

e406:  - 10*b56 + x362 <= 0;

e407:  - 10*b57 + x365 <= 0;

e408:  - 10*b58 + x368 <= 0;

e409:  - 10*b59 + x371 <= 0;

e410:  - 10*b60 + x374 <= 0;

e411:  - 10*b31 + x288 <= 0;

e412:  - 10*b32 + x291 <= 0;

e413:  - 10*b33 + x294 <= 0;

e414:  - 10*b34 + x297 <= 0;

e415:  - 10*b35 + x300 <= 0;

e416:  - 10*b36 + x303 <= 0;

e417:  - 10*b37 + x306 <= 0;

e418:  - 10*b38 + x309 <= 0;

e419:  - 10*b39 + x312 <= 0;

e420:  - 10*b40 + x315 <= 0;

e421:  - 10*b41 + x318 <= 0;

e422:  - 10*b42 + x321 <= 0;

e423:  - 10*b43 + x324 <= 0;

e424:  - 10*b44 + x327 <= 0;

e425:  - 10*b45 + x330 <= 0;

e426:  - 10*b46 + x333 <= 0;

e427:  - 10*b47 + x336 <= 0;

e428:  - 10*b48 + x339 <= 0;

e429:  - 10*b49 + x342 <= 0;

e430:  - 10*b50 + x345 <= 0;

e431:  - 10*b51 + x348 <= 0;

e432:  - 10*b52 + x351 <= 0;

e433:  - 10*b53 + x354 <= 0;

e434:  - 10*b54 + x357 <= 0;

e435:  - 10*b55 + x360 <= 0;

e436:  - 10*b56 + x363 <= 0;

e437:  - 10*b57 + x366 <= 0;

e438:  - 10*b58 + x369 <= 0;

e439:  - 10*b59 + x372 <= 0;

e440:  - 10*b60 + x375 <= 0;

e441:  - 10*b61 + x376 <= 0;

e442:  - 10*b62 + x379 <= 0;

e443:  - 10*b63 + x382 <= 0;

e444:  - 10*b64 + x385 <= 0;

e445:  - 10*b65 + x388 <= 0;

e446:  - 10*b66 + x391 <= 0;

e447:  - 10*b67 + x394 <= 0;

e448:  - 10*b68 + x397 <= 0;

e449:  - 10*b69 + x400 <= 0;

e450:  - 10*b70 + x403 <= 0;

e451:  - 10*b71 + x406 <= 0;

e452:  - 10*b72 + x409 <= 0;

e453:  - 10*b73 + x412 <= 0;

e454:  - 10*b74 + x415 <= 0;

e455:  - 10*b75 + x418 <= 0;

e456:  - 10*b76 + x421 <= 0;

e457:  - 10*b77 + x424 <= 0;

e458:  - 10*b78 + x427 <= 0;

e459:  - 10*b79 + x430 <= 0;

e460:  - 10*b80 + x433 <= 0;

e461:  - 10*b81 + x436 <= 0;

e462:  - 10*b82 + x439 <= 0;

e463:  - 10*b83 + x442 <= 0;

e464:  - 10*b84 + x445 <= 0;

e465:  - 10*b85 + x448 <= 0;

e466:  - 10*b86 + x451 <= 0;

e467:  - 10*b87 + x454 <= 0;

e468:  - 10*b88 + x457 <= 0;

e469:  - 10*b89 + x460 <= 0;

e470:  - 10*b90 + x463 <= 0;

e471:  - 10*b61 + x377 <= 0;

e472:  - 10*b62 + x380 <= 0;

e473:  - 10*b63 + x383 <= 0;

e474:  - 10*b64 + x386 <= 0;

e475:  - 10*b65 + x389 <= 0;

e476:  - 10*b66 + x392 <= 0;

e477:  - 10*b67 + x395 <= 0;

e478:  - 10*b68 + x398 <= 0;

e479:  - 10*b69 + x401 <= 0;

e480:  - 10*b70 + x404 <= 0;

e481:  - 10*b71 + x407 <= 0;

e482:  - 10*b72 + x410 <= 0;

e483:  - 10*b73 + x413 <= 0;

e484:  - 10*b74 + x416 <= 0;

e485:  - 10*b75 + x419 <= 0;

e486:  - 10*b76 + x422 <= 0;

e487:  - 10*b77 + x425 <= 0;

e488:  - 10*b78 + x428 <= 0;

e489:  - 10*b79 + x431 <= 0;

e490:  - 10*b80 + x434 <= 0;

e491:  - 10*b81 + x437 <= 0;

e492:  - 10*b82 + x440 <= 0;

e493:  - 10*b83 + x443 <= 0;

e494:  - 10*b84 + x446 <= 0;

e495:  - 10*b85 + x449 <= 0;

e496:  - 10*b86 + x452 <= 0;

e497:  - 10*b87 + x455 <= 0;

e498:  - 10*b88 + x458 <= 0;

e499:  - 10*b89 + x461 <= 0;

e500:  - 10*b90 + x464 <= 0;

e501:  - 10*b61 + x378 <= 0;

e502:  - 10*b62 + x381 <= 0;

e503:  - 10*b63 + x384 <= 0;

e504:  - 10*b64 + x387 <= 0;

e505:  - 10*b65 + x390 <= 0;

e506:  - 10*b66 + x393 <= 0;

e507:  - 10*b67 + x396 <= 0;

e508:  - 10*b68 + x399 <= 0;

e509:  - 10*b69 + x402 <= 0;

e510:  - 10*b70 + x405 <= 0;

e511:  - 10*b71 + x408 <= 0;

e512:  - 10*b72 + x411 <= 0;

e513:  - 10*b73 + x414 <= 0;

e514:  - 10*b74 + x417 <= 0;

e515:  - 10*b75 + x420 <= 0;

e516:  - 10*b76 + x423 <= 0;

e517:  - 10*b77 + x426 <= 0;

e518:  - 10*b78 + x429 <= 0;

e519:  - 10*b79 + x432 <= 0;

e520:  - 10*b80 + x435 <= 0;

e521:  - 10*b81 + x438 <= 0;

e522:  - 10*b82 + x441 <= 0;

e523:  - 10*b83 + x444 <= 0;

e524:  - 10*b84 + x447 <= 0;

e525:  - 10*b85 + x450 <= 0;

e526:  - 10*b86 + x453 <= 0;

e527:  - 10*b87 + x456 <= 0;

e528:  - 10*b88 + x459 <= 0;

e529:  - 10*b89 + x462 <= 0;

e530:  - 10*b90 + x465 <= 0;

e531:  - 10*b91 + x466 <= 0;

e532:  - 10*b92 + x469 <= 0;

e533:  - 10*b93 + x472 <= 0;

e534:  - 10*b94 + x475 <= 0;

e535:  - 10*b95 + x478 <= 0;

e536:  - 10*b96 + x481 <= 0;

e537:  - 10*b97 + x484 <= 0;

e538:  - 10*b98 + x487 <= 0;

e539:  - 10*b99 + x490 <= 0;

e540:  - 10*b100 + x493 <= 0;

e541:  - 10*b101 + x496 <= 0;

e542:  - 10*b102 + x499 <= 0;

e543:  - 10*b103 + x502 <= 0;

e544:  - 10*b104 + x505 <= 0;

e545:  - 10*b105 + x508 <= 0;

e546:  - 10*b106 + x511 <= 0;

e547:  - 10*b107 + x514 <= 0;

e548:  - 10*b108 + x517 <= 0;

e549:  - 10*b109 + x520 <= 0;

e550:  - 10*b110 + x523 <= 0;

e551:  - 10*b111 + x526 <= 0;

e552:  - 10*b112 + x529 <= 0;

e553:  - 10*b113 + x532 <= 0;

e554:  - 10*b114 + x535 <= 0;

e555:  - 10*b115 + x538 <= 0;

e556:  - 10*b116 + x541 <= 0;

e557:  - 10*b117 + x544 <= 0;

e558:  - 10*b118 + x547 <= 0;

e559:  - 10*b119 + x550 <= 0;

e560:  - 10*b120 + x553 <= 0;

e561:  - 10*b91 + x467 <= 0;

e562:  - 10*b92 + x470 <= 0;

e563:  - 10*b93 + x473 <= 0;

e564:  - 10*b94 + x476 <= 0;

e565:  - 10*b95 + x479 <= 0;

e566:  - 10*b96 + x482 <= 0;

e567:  - 10*b97 + x485 <= 0;

e568:  - 10*b98 + x488 <= 0;

e569:  - 10*b99 + x491 <= 0;

e570:  - 10*b100 + x494 <= 0;

e571:  - 10*b101 + x497 <= 0;

e572:  - 10*b102 + x500 <= 0;

e573:  - 10*b103 + x503 <= 0;

e574:  - 10*b104 + x506 <= 0;

e575:  - 10*b105 + x509 <= 0;

e576:  - 10*b106 + x512 <= 0;

e577:  - 10*b107 + x515 <= 0;

e578:  - 10*b108 + x518 <= 0;

e579:  - 10*b109 + x521 <= 0;

e580:  - 10*b110 + x524 <= 0;

e581:  - 10*b111 + x527 <= 0;

e582:  - 10*b112 + x530 <= 0;

e583:  - 10*b113 + x533 <= 0;

e584:  - 10*b114 + x536 <= 0;

e585:  - 10*b115 + x539 <= 0;

e586:  - 10*b116 + x542 <= 0;

e587:  - 10*b117 + x545 <= 0;

e588:  - 10*b118 + x548 <= 0;

e589:  - 10*b119 + x551 <= 0;

e590:  - 10*b120 + x554 <= 0;

e591:  - 10*b91 + x468 <= 0;

e592:  - 10*b92 + x471 <= 0;

e593:  - 10*b93 + x474 <= 0;

e594:  - 10*b94 + x477 <= 0;

e595:  - 10*b95 + x480 <= 0;

e596:  - 10*b96 + x483 <= 0;

e597:  - 10*b97 + x486 <= 0;

e598:  - 10*b98 + x489 <= 0;

e599:  - 10*b99 + x492 <= 0;

e600:  - 10*b100 + x495 <= 0;

e601:  - 10*b101 + x498 <= 0;

e602:  - 10*b102 + x501 <= 0;

e603:  - 10*b103 + x504 <= 0;

e604:  - 10*b104 + x507 <= 0;

e605:  - 10*b105 + x510 <= 0;

e606:  - 10*b106 + x513 <= 0;

e607:  - 10*b107 + x516 <= 0;

e608:  - 10*b108 + x519 <= 0;

e609:  - 10*b109 + x522 <= 0;

e610:  - 10*b110 + x525 <= 0;

e611:  - 10*b111 + x528 <= 0;

e612:  - 10*b112 + x531 <= 0;

e613:  - 10*b113 + x534 <= 0;

e614:  - 10*b114 + x537 <= 0;

e615:  - 10*b115 + x540 <= 0;

e616:  - 10*b116 + x543 <= 0;

e617:  - 10*b117 + x546 <= 0;

e618:  - 10*b118 + x549 <= 0;

e619:  - 10*b119 + x552 <= 0;

e620:  - 10*b120 + x555 <= 0;

e621:  - 10*b121 + x556 <= 0;

e622:  - 10*b122 + x559 <= 0;

e623:  - 10*b123 + x562 <= 0;

e624:  - 10*b124 + x565 <= 0;

e625:  - 10*b125 + x568 <= 0;

e626:  - 10*b126 + x571 <= 0;

e627:  - 10*b127 + x574 <= 0;

e628:  - 10*b128 + x577 <= 0;

e629:  - 10*b129 + x580 <= 0;

e630:  - 10*b130 + x583 <= 0;

e631:  - 10*b131 + x586 <= 0;

e632:  - 10*b132 + x589 <= 0;

e633:  - 10*b133 + x592 <= 0;

e634:  - 10*b134 + x595 <= 0;

e635:  - 10*b135 + x598 <= 0;

e636:  - 10*b136 + x601 <= 0;

e637:  - 10*b137 + x604 <= 0;

e638:  - 10*b138 + x607 <= 0;

e639:  - 10*b139 + x610 <= 0;

e640:  - 10*b140 + x613 <= 0;

e641:  - 10*b141 + x616 <= 0;

e642:  - 10*b142 + x619 <= 0;

e643:  - 10*b143 + x622 <= 0;

e644:  - 10*b144 + x625 <= 0;

e645:  - 10*b145 + x628 <= 0;

e646:  - 10*b146 + x631 <= 0;

e647:  - 10*b147 + x634 <= 0;

e648:  - 10*b148 + x637 <= 0;

e649:  - 10*b149 + x640 <= 0;

e650:  - 10*b150 + x643 <= 0;

e651:  - 10*b121 + x557 <= 0;

e652:  - 10*b122 + x560 <= 0;

e653:  - 10*b123 + x563 <= 0;

e654:  - 10*b124 + x566 <= 0;

e655:  - 10*b125 + x569 <= 0;

e656:  - 10*b126 + x572 <= 0;

e657:  - 10*b127 + x575 <= 0;

e658:  - 10*b128 + x578 <= 0;

e659:  - 10*b129 + x581 <= 0;

e660:  - 10*b130 + x584 <= 0;

e661:  - 10*b131 + x587 <= 0;

e662:  - 10*b132 + x590 <= 0;

e663:  - 10*b133 + x593 <= 0;

e664:  - 10*b134 + x596 <= 0;

e665:  - 10*b135 + x599 <= 0;

e666:  - 10*b136 + x602 <= 0;

e667:  - 10*b137 + x605 <= 0;

e668:  - 10*b138 + x608 <= 0;

e669:  - 10*b139 + x611 <= 0;

e670:  - 10*b140 + x614 <= 0;

e671:  - 10*b141 + x617 <= 0;

e672:  - 10*b142 + x620 <= 0;

e673:  - 10*b143 + x623 <= 0;

e674:  - 10*b144 + x626 <= 0;

e675:  - 10*b145 + x629 <= 0;

e676:  - 10*b146 + x632 <= 0;

e677:  - 10*b147 + x635 <= 0;

e678:  - 10*b148 + x638 <= 0;

e679:  - 10*b149 + x641 <= 0;

e680:  - 10*b150 + x644 <= 0;

e681:  - 10*b121 + x558 <= 0;

e682:  - 10*b122 + x561 <= 0;

e683:  - 10*b123 + x564 <= 0;

e684:  - 10*b124 + x567 <= 0;

e685:  - 10*b125 + x570 <= 0;

e686:  - 10*b126 + x573 <= 0;

e687:  - 10*b127 + x576 <= 0;

e688:  - 10*b128 + x579 <= 0;

e689:  - 10*b129 + x582 <= 0;

e690:  - 10*b130 + x585 <= 0;

e691:  - 10*b131 + x588 <= 0;

e692:  - 10*b132 + x591 <= 0;

e693:  - 10*b133 + x594 <= 0;

e694:  - 10*b134 + x597 <= 0;

e695:  - 10*b135 + x600 <= 0;

e696:  - 10*b136 + x603 <= 0;

e697:  - 10*b137 + x606 <= 0;

e698:  - 10*b138 + x609 <= 0;

e699:  - 10*b139 + x612 <= 0;

e700:  - 10*b140 + x615 <= 0;

e701:  - 10*b141 + x618 <= 0;

e702:  - 10*b142 + x621 <= 0;

e703:  - 10*b143 + x624 <= 0;

e704:  - 10*b144 + x627 <= 0;

e705:  - 10*b145 + x630 <= 0;

e706:  - 10*b146 + x633 <= 0;

e707:  - 10*b147 + x636 <= 0;

e708:  - 10*b148 + x639 <= 0;

e709:  - 10*b149 + x642 <= 0;

e710:  - 10*b150 + x645 <= 0;

e711:    x151 - x152 <= 0;

e712:    x152 - x160 <= 0;

e713:    x160 - x166 <= 0;

e714:    x166 - x172 <= 0;