#  MINLP written by GAMS Convert at 08/26/20 11:33:02
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        505       21        0      484        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        446      346      100        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1734     1334      400        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 x101 >= 0, <= 10;
var x102 >= 0, <= 10;
var x103 >= 0, <= 10;
var x104 >= 0, <= 10;
var x105 >= 0, <= 10;
var x106 >= 0, <= 10;
var x107 >= 0, <= 10;
var x108 >= 0, <= 10;
var x109 >= 0, <= 10;
var x110 >= 0, <= 10;
var x111 >= 0, <= 10;
var x112 >= 0, <= 10;
var x113 >= 0, <= 10;
var x114 >= 0, <= 10;
var x115 >= 0, <= 10;
var x116 >= 0, <= 10;
var x117 >= 0, <= 10;
var x118 >= 0, <= 10;
var x119 >= 0, <= 10;
var x120 >= 0, <= 10;
var x121 >= 0, <= 10;
var x122 >= 0, <= 10;
var x123 >= 0, <= 10;
var x124 >= 0, <= 10;
var x125 >= 0, <= 10;
var x126 >= 0, <= 10;
var x127 >= 0, <= 10;
var x128 >= 0, <= 10;
var x129 >= 0, <= 10;
var x130 >= 0, <= 10;
var x131 >= 0, <= 10;
var x132 >= 0, <= 10;
var x133 >= 0, <= 10;
var x134 >= 0, <= 10;
var x135 >= 0, <= 10;
var x136 >= 0, <= 10;
var x137 >= 0, <= 10;
var x138 >= 0, <= 10;
var x139 >= 0, <= 10;
var x140 >= 0, <= 10;
var x141 >= 0, <= 10;
var x142 >= 0, <= 10;
var x143 >= 0, <= 10;
var x144 >= 0, <= 10;
var x145 >= 0, <= 10;
var x146 >= 0, <= 10;
var x147 >= 0, <= 10;
var x148 >= 0, <= 10;
var x149 >= 0, <= 10;
var x150 >= 0, <= 10;
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;

minimize obj:    x103 + x106 + x109 + x111 + x113 + x115 + x117 + x119 + x121
     + x123 + x125 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134
     + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144
     + x145;

subject to

e1:    x101 - x102 - x103 <= 0;

e2:  - x101 + x102 - x103 <= 0;

e3:    x104 - x105 - x106 <= 0;

e4:  - x104 + x105 - x106 <= 0;

e5:    x107 - x108 - x109 <= 0;

e6:  - x107 + x108 - x109 <= 0;

e7:    x101 - x110 - x111 <= 0;

e8:  - x101 + x110 - x111 <= 0;

e9:    x104 - x112 - x113 <= 0;

e10:  - x104 + x112 - x113 <= 0;

e11:    x107 - x114 - x115 <= 0;

e12:  - x107 + x114 - x115 <= 0;

e13:    x101 - x116 - x117 <= 0;

e14:  - x101 + x116 - x117 <= 0;

e15:    x104 - x118 - x119 <= 0;

e16:  - x104 + x118 - x119 <= 0;

e17:    x107 - x120 - x121 <= 0;

e18:  - x107 + x120 - x121 <= 0;

e19:    x101 - x122 - x123 <= 0;

e20:  - x101 + x122 - x123 <= 0;

e21:    x104 - x124 - x125 <= 0;

e22:  - x104 + x124 - x125 <= 0;

e23:    x107 - x126 - x127 <= 0;

e24:  - x107 + x126 - x127 <= 0;

e25:    x102 - x110 - x128 <= 0;

e26:  - x102 + x110 - x128 <= 0;

e27:    x105 - x112 - x129 <= 0;

e28:  - x105 + x112 - x129 <= 0;

e29:    x108 - x114 - x130 <= 0;

e30:  - x108 + x114 - x130 <= 0;

e31:    x102 - x116 - x131 <= 0;

e32:  - x102 + x116 - x131 <= 0;

e33:    x105 - x118 - x132 <= 0;

e34:  - x105 + x118 - x132 <= 0;

e35:    x108 - x120 - x133 <= 0;

e36:  - x108 + x120 - x133 <= 0;

e37:    x102 - x122 - x134 <= 0;

e38:  - x102 + x122 - x134 <= 0;

e39:    x105 - x124 - x135 <= 0;

e40:  - x105 + x124 - x135 <= 0;

e41:    x108 - x126 - x136 <= 0;

e42:  - x108 + x126 - x136 <= 0;

e43:    x110 - x116 - x137 <= 0;

e44:  - x110 + x116 - x137 <= 0;

e45:    x112 - x118 - x138 <= 0;

e46:  - x112 + x118 - x138 <= 0;

e47:    x114 - x120 - x139 <= 0;

e48:  - x114 + x120 - x139 <= 0;

e49:    x110 - x122 - x140 <= 0;

e50:  - x110 + x122 - x140 <= 0;

e51:    x112 - x124 - x141 <= 0;

e52:  - x112 + x124 - x141 <= 0;

e53:    x114 - x126 - x142 <= 0;

e54:  - x114 + x126 - x142 <= 0;

e55:    x116 - x122 - x143 <= 0;

e56:  - x116 + x122 - x143 <= 0;

e57:    x118 - x124 - x144 <= 0;

e58:  - x118 + x124 - x144 <= 0;

e59:    x120 - x126 - x145 <= 0;

e60:  - x120 + x126 - x145 <= 0;

e61: (-1 + (0.483311857356823 - x146/(0.0001 + 0.9999*b1))^2 + (
     0.114242198506904 - x147/(0.0001 + 0.9999*b1))^2 + (7.12048883659032 - 
     x148/(0.0001 + 0.9999*b1))^2)*(0.0001 + 0.9999*b1) + 0.00499480029033887*
     b1 <= 0.00499480029033887;

e62: (-1 + (5.2590135790233 - x149/(0.0001 + 0.9999*b2))^2 + (7.33259189570392
      - x150/(0.0001 + 0.9999*b2))^2 + (5.312333476343 - x151/(0.0001 + 0.9999*
     b2))^2)*(0.0001 + 0.9999*b2) + 0.0108645014697169*b2
      <= 0.0108645014697169;

e63: (-1 + (7.41517046461879 - x152/(0.0001 + 0.9999*b3))^2 + (9.62332773098117
      - x153/(0.0001 + 0.9999*b3))^2 + (4.79943898486809 - x154/(0.0001 + 
     0.9999*b3))^2)*(0.0001 + 0.9999*b3) + 0.0169627804206698*b3
      <= 0.0169627804206698;

e64: (-1 + (6.671843981803 - x155/(0.0001 + 0.9999*b4))^2 + (8.10658123259484
      - x156/(0.0001 + 0.9999*b4))^2 + (8.43381689055527 - x157/(0.0001 + 
     0.9999*b4))^2)*(0.0001 + 0.9999*b4) + 0.0180359428741595*b4
      <= 0.0180359428741595;

e65: (-1 + (9.05870575338678 - x158/(0.0001 + 0.9999*b5))^2 + (8.3311941216586
      - x159/(0.0001 + 0.9999*b5))^2 + (2.43718333261179 - x160/(0.0001 + 
     0.9999*b5))^2)*(0.0001 + 0.9999*b5) + 0.0156408808015962*b5
      <= 0.0156408808015962;

e66: (-1 + (2.45247392282192 - x161/(0.0001 + 0.9999*b6))^2 + (3.04490781414335
      - x162/(0.0001 + 0.9999*b6))^2 + (3.74797873360784 - x163/(0.0001 + 
     0.9999*b6))^2)*(0.0001 + 0.9999*b6) + 0.00283334365263293*b6
      <= 0.00283334365263293;

e67: (-1 + (3.17249885664207 - x164/(0.0001 + 0.9999*b7))^2 + (
     0.899014640298569 - x165/(0.0001 + 0.9999*b7))^2 + (6.53554769882638 - 
     x166/(0.0001 + 0.9999*b7))^2)*(0.0001 + 0.9999*b7) + 0.00525863600425012*
     b7 <= 0.00525863600425012;

e68: (-1 + (7.19140474364188 - x167/(0.0001 + 0.9999*b8))^2 + (6.78752778006733
      - x168/(0.0001 + 0.9999*b8))^2 + (7.10371917668867 - x169/(0.0001 + 
     0.9999*b8))^2)*(0.0001 + 0.9999*b8) + 0.0147249661693315*b8
      <= 0.0147249661693315;

e69: (-1 + (0.581905599074722 - x170/(0.0001 + 0.9999*b9))^2 + (
     8.05664566308502 - x171/(0.0001 + 0.9999*b9))^2 + (0.465270839540525 - 
     x172/(0.0001 + 0.9999*b9))^2)*(0.0001 + 0.9999*b9) + 0.0064464630420868*b9
      <= 0.0064464630420868;

e70: (-1 + (2.89314656575976 - x173/(0.0001 + 0.9999*b10))^2 + (
     2.98350648433744 - x174/(0.0001 + 0.9999*b10))^2 + (4.94095686412664 - 
     x175/(0.0001 + 0.9999*b10))^2)*(0.0001 + 0.9999*b10) + 0.00406846627262112
     *b10 <= 0.00406846627262112;

e71: (-1 + (2.18223181481477 - x176/(0.0001 + 0.9999*b11))^2 + (
     6.36734447251869 - x177/(0.0001 + 0.9999*b11))^2 + (6.99053555821422 - 
     x178/(0.0001 + 0.9999*b11))^2)*(0.0001 + 0.9999*b11) + 0.00931727987159614
     *b11 <= 0.00931727987159614;

e72: (-1 + (8.39213303571845 - x179/(0.0001 + 0.9999*b12))^2 + (
     0.0966493493157039 - x180/(0.0001 + 0.9999*b12))^2 + (0.992650538147096 - 
     x181/(0.0001 + 0.9999*b12))^2)*(0.0001 + 0.9999*b12) + 0.00704225930768039
     *b12 <= 0.00704225930768039;

e73: (-1 + (6.8673656213906 - x182/(0.0001 + 0.9999*b13))^2 + (8.47463209326542
      - x183/(0.0001 + 0.9999*b13))^2 + (0.494039939513553 - x184/(0.0001 + 
     0.9999*b13))^2)*(0.0001 + 0.9999*b13) + 0.0118224175155896*b13
      <= 0.0118224175155896;

e74: (-1 + (2.07334522686175 - x185/(0.0001 + 0.9999*b14))^2 + (
     0.611759422337085 - x186/(0.0001 + 0.9999*b14))^2 + (7.49872182399417 - 
     x187/(0.0001 + 0.9999*b14))^2)*(0.0001 + 0.9999*b14) + 0.00599038390142151
     *b14 <= 0.00599038390142151;

e75: (-1 + (5.58287553353321 - x188/(0.0001 + 0.9999*b15))^2 + (
     7.41023187669618 - x189/(0.0001 + 0.9999*b15))^2 + (5.78186220125907 - 
     x190/(0.0001 + 0.9999*b15))^2)*(0.0001 + 0.9999*b15) + 0.0118509966203676*
     b15 <= 0.0118509966203676;

e76: (-1 + (3.75663662491927 - x191/(0.0001 + 0.9999*b16))^2 + (
     2.16100057183036 - x192/(0.0001 + 0.9999*b16))^2 + (9.4954261517135 - x193
     /(0.0001 + 0.9999*b16))^2)*(0.0001 + 0.9999*b16) + 0.0107945360005781*b16
      <= 0.0107945360005781;

e77: (-1 + (4.04360404243071 - x194/(0.0001 + 0.9999*b17))^2 + (7.5903513366217
      - x195/(0.0001 + 0.9999*b17))^2 + (3.71685851137678 - x196/(0.0001 + 
     0.9999*b17))^2)*(0.0001 + 0.9999*b17) + 0.00867792042589109*b17
      <= 0.00867792042589109;

e78: (-1 + (1.45072437530262 - x197/(0.0001 + 0.9999*b18))^2 + (
     1.11420059440894 - x198/(0.0001 + 0.9999*b18))^2 + (9.42819884441584 - 
     x199/(0.0001 + 0.9999*b18))^2)*(0.0001 + 0.9999*b18) + 0.00912369776275226
     *b18 <= 0.00912369776275226;

e79: (-1 + (8.44626629441698 - x200/(0.0001 + 0.9999*b19))^2 + (
     8.81210793727421 - x201/(0.0001 + 0.9999*b19))^2 + (9.26767041565757 - 
     x202/(0.0001 + 0.9999*b19))^2)*(0.0001 + 0.9999*b19) + 0.023388237554763*
     b19 <= 0.023388237554763;

e80: (-1 + (4.74415255019913 - x203/(0.0001 + 0.9999*b20))^2 + (2.8194183128037
      - x204/(0.0001 + 0.9999*b20))^2 + (1.76655535189797 - x205/(0.0001 + 
     0.9999*b20))^2)*(0.0001 + 0.9999*b20) + 0.00325768208534532*b20
      <= 0.00325768208534532;

e81:    b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13
      + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1;

e82: (-1 + (0.483311857356823 - x206/(0.0001 + 0.9999*b21))^2 + (
     0.114242198506904 - x207/(0.0001 + 0.9999*b21))^2 + (7.12048883659032 - 
     x208/(0.0001 + 0.9999*b21))^2)*(0.0001 + 0.9999*b21) + 0.00499480029033887
     *b21 <= 0.00499480029033887;

e83: (-1 + (5.2590135790233 - x209/(0.0001 + 0.9999*b22))^2 + (7.33259189570392
      - x210/(0.0001 + 0.9999*b22))^2 + (5.312333476343 - x211/(0.0001 + 0.9999
     *b22))^2)*(0.0001 + 0.9999*b22) + 0.0108645014697169*b22
      <= 0.0108645014697169;

e84: (-1 + (7.41517046461879 - x212/(0.0001 + 0.9999*b23))^2 + (
     9.62332773098117 - x213/(0.0001 + 0.9999*b23))^2 + (4.79943898486809 - 
     x214/(0.0001 + 0.9999*b23))^2)*(0.0001 + 0.9999*b23) + 0.0169627804206698*
     b23 <= 0.0169627804206698;

e85: (-1 + (6.671843981803 - x215/(0.0001 + 0.9999*b24))^2 + (8.10658123259484
      - x216/(0.0001 + 0.9999*b24))^2 + (8.43381689055527 - x217/(0.0001 + 
     0.9999*b24))^2)*(0.0001 + 0.9999*b24) + 0.0180359428741595*b24
      <= 0.0180359428741595;

e86: (-1 + (9.05870575338678 - x218/(0.0001 + 0.9999*b25))^2 + (8.3311941216586
      - x219/(0.0001 + 0.9999*b25))^2 + (2.43718333261179 - x220/(0.0001 + 
     0.9999*b25))^2)*(0.0001 + 0.9999*b25) + 0.0156408808015962*b25
      <= 0.0156408808015962;

e87: (-1 + (2.45247392282192 - x221/(0.0001 + 0.9999*b26))^2 + (
     3.04490781414335 - x222/(0.0001 + 0.9999*b26))^2 + (3.74797873360784 - 
     x223/(0.0001 + 0.9999*b26))^2)*(0.0001 + 0.9999*b26) + 0.00283334365263293
     *b26 <= 0.00283334365263293;

e88: (-1 + (3.17249885664207 - x224/(0.0001 + 0.9999*b27))^2 + (
     0.899014640298569 - x225/(0.0001 + 0.9999*b27))^2 + (6.53554769882638 - 
     x226/(0.0001 + 0.9999*b27))^2)*(0.0001 + 0.9999*b27) + 0.00525863600425012
     *b27 <= 0.00525863600425012;

e89: (-1 + (7.19140474364188 - x227/(0.0001 + 0.9999*b28))^2 + (
     6.78752778006733 - x228/(0.0001 + 0.9999*b28))^2 + (7.10371917668867 - 
     x229/(0.0001 + 0.9999*b28))^2)*(0.0001 + 0.9999*b28) + 0.0147249661693315*
     b28 <= 0.0147249661693315;

e90: (-1 + (0.581905599074722 - x230/(0.0001 + 0.9999*b29))^2 + (
     8.05664566308502 - x231/(0.0001 + 0.9999*b29))^2 + (0.465270839540525 - 
     x232/(0.0001 + 0.9999*b29))^2)*(0.0001 + 0.9999*b29) + 0.0064464630420868*
     b29 <= 0.0064464630420868;

e91: (-1 + (2.89314656575976 - x233/(0.0001 + 0.9999*b30))^2 + (
     2.98350648433744 - x234/(0.0001 + 0.9999*b30))^2 + (4.94095686412664 - 
     x235/(0.0001 + 0.9999*b30))^2)*(0.0001 + 0.9999*b30) + 0.00406846627262112
     *b30 <= 0.00406846627262112;

e92: (-1 + (2.18223181481477 - x236/(0.0001 + 0.9999*b31))^2 + (
     6.36734447251869 - x237/(0.0001 + 0.9999*b31))^2 + (6.99053555821422 - 
     x238/(0.0001 + 0.9999*b31))^2)*(0.0001 + 0.9999*b31) + 0.00931727987159614
     *b31 <= 0.00931727987159614;

e93: (-1 + (8.39213303571845 - x239/(0.0001 + 0.9999*b32))^2 + (
     0.0966493493157039 - x240/(0.0001 + 0.9999*b32))^2 + (0.992650538147096 - 
     x241/(0.0001 + 0.9999*b32))^2)*(0.0001 + 0.9999*b32) + 0.00704225930768039
     *b32 <= 0.00704225930768039;

e94: (-1 + (6.8673656213906 - x242/(0.0001 + 0.9999*b33))^2 + (8.47463209326542
      - x243/(0.0001 + 0.9999*b33))^2 + (0.494039939513553 - x244/(0.0001 + 
     0.9999*b33))^2)*(0.0001 + 0.9999*b33) + 0.0118224175155896*b33
      <= 0.0118224175155896;

e95: (-1 + (2.07334522686175 - x245/(0.0001 + 0.9999*b34))^2 + (
     0.611759422337085 - x246/(0.0001 + 0.9999*b34))^2 + (7.49872182399417 - 
     x247/(0.0001 + 0.9999*b34))^2)*(0.0001 + 0.9999*b34) + 0.00599038390142151
     *b34 <= 0.00599038390142151;

e96: (-1 + (5.58287553353321 - x248/(0.0001 + 0.9999*b35))^2 + (
     7.41023187669618 - x249/(0.0001 + 0.9999*b35))^2 + (5.78186220125907 - 
     x250/(0.0001 + 0.9999*b35))^2)*(0.0001 + 0.9999*b35) + 0.0118509966203676*
     b35 <= 0.0118509966203676;

e97: (-1 + (3.75663662491927 - x251/(0.0001 + 0.9999*b36))^2 + (
     2.16100057183036 - x252/(0.0001 + 0.9999*b36))^2 + (9.4954261517135 - x253
     /(0.0001 + 0.9999*b36))^2)*(0.0001 + 0.9999*b36) + 0.0107945360005781*b36
      <= 0.0107945360005781;

e98: (-1 + (4.04360404243071 - x254/(0.0001 + 0.9999*b37))^2 + (7.5903513366217
      - x255/(0.0001 + 0.9999*b37))^2 + (3.71685851137678 - x256/(0.0001 + 
     0.9999*b37))^2)*(0.0001 + 0.9999*b37) + 0.00867792042589109*b37
      <= 0.00867792042589109;

e99: (-1 + (1.45072437530262 - x257/(0.0001 + 0.9999*b38))^2 + (
     1.11420059440894 - x258/(0.0001 + 0.9999*b38))^2 + (9.42819884441584 - 
     x259/(0.0001 + 0.9999*b38))^2)*(0.0001 + 0.9999*b38) + 0.00912369776275226
     *b38 <= 0.00912369776275226;

e100: (-1 + (8.44626629441698 - x260/(0.0001 + 0.9999*b39))^2 + (
      8.81210793727421 - x261/(0.0001 + 0.9999*b39))^2 + (9.26767041565757 - 
      x262/(0.0001 + 0.9999*b39))^2)*(0.0001 + 0.9999*b39) + 0.023388237554763*
      b39 <= 0.023388237554763;

e101: (-1 + (4.74415255019913 - x263/(0.0001 + 0.9999*b40))^2 + (
      2.8194183128037 - x264/(0.0001 + 0.9999*b40))^2 + (1.76655535189797 - 
      x265/(0.0001 + 0.9999*b40))^2)*(0.0001 + 0.9999*b40) + 
      0.00325768208534532*b40 <= 0.00325768208534532;

e102:    b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32
       + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1;

e103: (-1 + (0.483311857356823 - x266/(0.0001 + 0.9999*b41))^2 + (
      0.114242198506904 - x267/(0.0001 + 0.9999*b41))^2 + (7.12048883659032 - 
      x268/(0.0001 + 0.9999*b41))^2)*(0.0001 + 0.9999*b41) + 
      0.00499480029033887*b41 <= 0.00499480029033887;

e104: (-1 + (5.2590135790233 - x269/(0.0001 + 0.9999*b42))^2 + (
      7.33259189570392 - x270/(0.0001 + 0.9999*b42))^2 + (5.312333476343 - x271
      /(0.0001 + 0.9999*b42))^2)*(0.0001 + 0.9999*b42) + 0.0108645014697169*b42
       <= 0.0108645014697169;

e105: (-1 + (7.41517046461879 - x272/(0.0001 + 0.9999*b43))^2 + (
      9.62332773098117 - x273/(0.0001 + 0.9999*b43))^2 + (4.79943898486809 - 
      x274/(0.0001 + 0.9999*b43))^2)*(0.0001 + 0.9999*b43) + 0.0169627804206698
      *b43 <= 0.0169627804206698;

e106: (-1 + (6.671843981803 - x275/(0.0001 + 0.9999*b44))^2 + (8.10658123259484
       - x276/(0.0001 + 0.9999*b44))^2 + (8.43381689055527 - x277/(0.0001 + 
      0.9999*b44))^2)*(0.0001 + 0.9999*b44) + 0.0180359428741595*b44
       <= 0.0180359428741595;

e107: (-1 + (9.05870575338678 - x278/(0.0001 + 0.9999*b45))^2 + (
      8.3311941216586 - x279/(0.0001 + 0.9999*b45))^2 + (2.43718333261179 - 
      x280/(0.0001 + 0.9999*b45))^2)*(0.0001 + 0.9999*b45) + 0.0156408808015962
      *b45 <= 0.0156408808015962;

e108: (-1 + (2.45247392282192 - x281/(0.0001 + 0.9999*b46))^2 + (
      3.04490781414335 - x282/(0.0001 + 0.9999*b46))^2 + (3.74797873360784 - 
      x283/(0.0001 + 0.9999*b46))^2)*(0.0001 + 0.9999*b46) + 
      0.00283334365263293*b46 <= 0.00283334365263293;

e109: (-1 + (3.17249885664207 - x284/(0.0001 + 0.9999*b47))^2 + (
      0.899014640298569 - x285/(0.0001 + 0.9999*b47))^2 + (6.53554769882638 - 
      x286/(0.0001 + 0.9999*b47))^2)*(0.0001 + 0.9999*b47) + 
      0.00525863600425012*b47 <= 0.00525863600425012;

e110: (-1 + (7.19140474364188 - x287/(0.0001 + 0.9999*b48))^2 + (
      6.78752778006733 - x288/(0.0001 + 0.9999*b48))^2 + (7.10371917668867 - 
      x289/(0.0001 + 0.9999*b48))^2)*(0.0001 + 0.9999*b48) + 0.0147249661693315
      *b48 <= 0.0147249661693315;

e111: (-1 + (0.581905599074722 - x290/(0.0001 + 0.9999*b49))^2 + (
      8.05664566308502 - x291/(0.0001 + 0.9999*b49))^2 + (0.465270839540525 - 
      x292/(0.0001 + 0.9999*b49))^2)*(0.0001 + 0.9999*b49) + 0.0064464630420868
      *b49 <= 0.0064464630420868;

e112: (-1 + (2.89314656575976 - x293/(0.0001 + 0.9999*b50))^2 + (
      2.98350648433744 - x294/(0.0001 + 0.9999*b50))^2 + (4.94095686412664 - 
      x295/(0.0001 + 0.9999*b50))^2)*(0.0001 + 0.9999*b50) + 
      0.00406846627262112*b50 <= 0.00406846627262112;

e113: (-1 + (2.18223181481477 - x296/(0.0001 + 0.9999*b51))^2 + (
      6.36734447251869 - x297/(0.0001 + 0.9999*b51))^2 + (6.99053555821422 - 
      x298/(0.0001 + 0.9999*b51))^2)*(0.0001 + 0.9999*b51) + 
      0.00931727987159614*b51 <= 0.00931727987159614;

e114: (-1 + (8.39213303571845 - x299/(0.0001 + 0.9999*b52))^2 + (
      0.0966493493157039 - x300/(0.0001 + 0.9999*b52))^2 + (0.992650538147096
       - x301/(0.0001 + 0.9999*b52))^2)*(0.0001 + 0.9999*b52) + 
      0.00704225930768039*b52 <= 0.00704225930768039;

e115: (-1 + (6.8673656213906 - x302/(0.0001 + 0.9999*b53))^2 + (
      8.47463209326542 - x303/(0.0001 + 0.9999*b53))^2 + (0.494039939513553 - 
      x304/(0.0001 + 0.9999*b53))^2)*(0.0001 + 0.9999*b53) + 0.0118224175155896
      *b53 <= 0.0118224175155896;

e116: (-1 + (2.07334522686175 - x305/(0.0001 + 0.9999*b54))^2 + (
      0.611759422337085 - x306/(0.0001 + 0.9999*b54))^2 + (7.49872182399417 - 
      x307/(0.0001 + 0.9999*b54))^2)*(0.0001 + 0.9999*b54) + 
      0.00599038390142151*b54 <= 0.00599038390142151;

e117: (-1 + (5.58287553353321 - x308/(0.0001 + 0.9999*b55))^2 + (
      7.41023187669618 - x309/(0.0001 + 0.9999*b55))^2 + (5.78186220125907 - 
      x310/(0.0001 + 0.9999*b55))^2)*(0.0001 + 0.9999*b55) + 0.0118509966203676
      *b55 <= 0.0118509966203676;

e118: (-1 + (3.75663662491927 - x311/(0.0001 + 0.9999*b56))^2 + (
      2.16100057183036 - x312/(0.0001 + 0.9999*b56))^2 + (9.4954261517135 - 
      x313/(0.0001 + 0.9999*b56))^2)*(0.0001 + 0.9999*b56) + 0.0107945360005781
      *b56 <= 0.0107945360005781;

e119: (-1 + (4.04360404243071 - x314/(0.0001 + 0.9999*b57))^2 + (
      7.5903513366217 - x315/(0.0001 + 0.9999*b57))^2 + (3.71685851137678 - 
      x316/(0.0001 + 0.9999*b57))^2)*(0.0001 + 0.9999*b57) + 
      0.00867792042589109*b57 <= 0.00867792042589109;

e120: (-1 + (1.45072437530262 - x317/(0.0001 + 0.9999*b58))^2 + (
      1.11420059440894 - x318/(0.0001 + 0.9999*b58))^2 + (9.42819884441584 - 
      x319/(0.0001 + 0.9999*b58))^2)*(0.0001 + 0.9999*b58) + 
      0.00912369776275226*b58 <= 0.00912369776275226;

e121: (-1 + (8.44626629441698 - x320/(0.0001 + 0.9999*b59))^2 + (
      8.81210793727421 - x321/(0.0001 + 0.9999*b59))^2 + (9.26767041565757 - 
      x322/(0.0001 + 0.9999*b59))^2)*(0.0001 + 0.9999*b59) + 0.023388237554763*
      b59 <= 0.023388237554763;

e122: (-1 + (4.74415255019913 - x323/(0.0001 + 0.9999*b60))^2 + (
      2.8194183128037 - x324/(0.0001 + 0.9999*b60))^2 + (1.76655535189797 - 
      x325/(0.0001 + 0.9999*b60))^2)*(0.0001 + 0.9999*b60) + 
      0.00325768208534532*b60 <= 0.00325768208534532;

e123:    b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52
       + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1;

e124: (-1 + (0.483311857356823 - x326/(0.0001 + 0.9999*b61))^2 + (
      0.114242198506904 - x327/(0.0001 + 0.9999*b61))^2 + (7.12048883659032 - 
      x328/(0.0001 + 0.9999*b61))^2)*(0.0001 + 0.9999*b61) + 
      0.00499480029033887*b61 <= 0.00499480029033887;

e125: (-1 + (5.2590135790233 - x329/(0.0001 + 0.9999*b62))^2 + (
      7.33259189570392 - x330/(0.0001 + 0.9999*b62))^2 + (5.312333476343 - x331
      /(0.0001 + 0.9999*b62))^2)*(0.0001 + 0.9999*b62) + 0.0108645014697169*b62
       <= 0.0108645014697169;

e126: (-1 + (7.41517046461879 - x332/(0.0001 + 0.9999*b63))^2 + (
      9.62332773098117 - x333/(0.0001 + 0.9999*b63))^2 + (4.79943898486809 - 
      x334/(0.0001 + 0.9999*b63))^2)*(0.0001 + 0.9999*b63) + 0.0169627804206698
      *b63 <= 0.0169627804206698;

e127: (-1 + (6.671843981803 - x335/(0.0001 + 0.9999*b64))^2 + (8.10658123259484
       - x336/(0.0001 + 0.9999*b64))^2 + (8.43381689055527 - x337/(0.0001 + 
      0.9999*b64))^2)*(0.0001 + 0.9999*b64) + 0.0180359428741595*b64
       <= 0.0180359428741595;

e128: (-1 + (9.05870575338678 - x338/(0.0001 + 0.9999*b65))^2 + (
      8.3311941216586 - x339/(0.0001 + 0.9999*b65))^2 + (2.43718333261179 - 
      x340/(0.0001 + 0.9999*b65))^2)*(0.0001 + 0.9999*b65) + 0.0156408808015962
      *b65 <= 0.0156408808015962;

e129: (-1 + (2.45247392282192 - x341/(0.0001 + 0.9999*b66))^2 + (
      3.04490781414335 - x342/(0.0001 + 0.9999*b66))^2 + (3.74797873360784 - 
      x343/(0.0001 + 0.9999*b66))^2)*(0.0001 + 0.9999*b66) + 
      0.00283334365263293*b66 <= 0.00283334365263293;

e130: (-1 + (3.17249885664207 - x344/(0.0001 + 0.9999*b67))^2 + (
      0.899014640298569 - x345/(0.0001 + 0.9999*b67))^2 + (6.53554769882638 - 
      x346/(0.0001 + 0.9999*b67))^2)*(0.0001 + 0.9999*b67) + 
      0.00525863600425012*b67 <= 0.00525863600425012;

e131: (-1 + (7.19140474364188 - x347/(0.0001 + 0.9999*b68))^2 + (
      6.78752778006733 - x348/(0.0001 + 0.9999*b68))^2 + (7.10371917668867 - 
      x349/(0.0001 + 0.9999*b68))^2)*(0.0001 + 0.9999*b68) + 0.0147249661693315
      *b68 <= 0.0147249661693315;

e132: (-1 + (0.581905599074722 - x350/(0.0001 + 0.9999*b69))^2 + (
      8.05664566308502 - x351/(0.0001 + 0.9999*b69))^2 + (0.465270839540525 - 
      x352/(0.0001 + 0.9999*b69))^2)*(0.0001 + 0.9999*b69) + 0.0064464630420868
      *b69 <= 0.0064464630420868;

e133: (-1 + (2.89314656575976 - x353/(0.0001 + 0.9999*b70))^2 + (
      2.98350648433744 - x354/(0.0001 + 0.9999*b70))^2 + (4.94095686412664 - 
      x355/(0.0001 + 0.9999*b70))^2)*(0.0001 + 0.9999*b70) + 
      0.00406846627262112*b70 <= 0.00406846627262112;

e134: (-1 + (2.18223181481477 - x356/(0.0001 + 0.9999*b71))^2 + (
      6.36734447251869 - x357/(0.0001 + 0.9999*b71))^2 + (6.99053555821422 - 
      x358/(0.0001 + 0.9999*b71))^2)*(0.0001 + 0.9999*b71) + 
      0.00931727987159614*b71 <= 0.00931727987159614;

e135: (-1 + (8.39213303571845 - x359/(0.0001 + 0.9999*b72))^2 + (
      0.0966493493157039 - x360/(0.0001 + 0.9999*b72))^2 + (0.992650538147096
       - x361/(0.0001 + 0.9999*b72))^2)*(0.0001 + 0.9999*b72) + 
      0.00704225930768039*b72 <= 0.00704225930768039;

e136: (-1 + (6.8673656213906 - x362/(0.0001 + 0.9999*b73))^2 + (
      8.47463209326542 - x363/(0.0001 + 0.9999*b73))^2 + (0.494039939513553 - 
      x364/(0.0001 + 0.9999*b73))^2)*(0.0001 + 0.9999*b73) + 0.0118224175155896
      *b73 <= 0.0118224175155896;

e137: (-1 + (2.07334522686175 - x365/(0.0001 + 0.9999*b74))^2 + (
      0.611759422337085 - x366/(0.0001 + 0.9999*b74))^2 + (7.49872182399417 - 
      x367/(0.0001 + 0.9999*b74))^2)*(0.0001 + 0.9999*b74) + 
      0.00599038390142151*b74 <= 0.00599038390142151;

e138: (-1 + (5.58287553353321 - x368/(0.0001 + 0.9999*b75))^2 + (
      7.41023187669618 - x369/(0.0001 + 0.9999*b75))^2 + (5.78186220125907 - 
      x370/(0.0001 + 0.9999*b75))^2)*(0.0001 + 0.9999*b75) + 0.0118509966203676
      *b75 <= 0.0118509966203676;

e139: (-1 + (3.75663662491927 - x371/(0.0001 + 0.9999*b76))^2 + (
      2.16100057183036 - x372/(0.0001 + 0.9999*b76))^2 + (9.4954261517135 - 
      x373/(0.0001 + 0.9999*b76))^2)*(0.0001 + 0.9999*b76) + 0.0107945360005781
      *b76 <= 0.0107945360005781;

e140: (-1 + (4.04360404243071 - x374/(0.0001 + 0.9999*b77))^2 + (
      7.5903513366217 - x375/(0.0001 + 0.9999*b77))^2 + (3.71685851137678 - 
      x376/(0.0001 + 0.9999*b77))^2)*(0.0001 + 0.9999*b77) + 
      0.00867792042589109*b77 <= 0.00867792042589109;

e141: (-1 + (1.45072437530262 - x377/(0.0001 + 0.9999*b78))^2 + (
      1.11420059440894 - x378/(0.0001 + 0.9999*b78))^2 + (9.42819884441584 - 
      x379/(0.0001 + 0.9999*b78))^2)*(0.0001 + 0.9999*b78) + 
      0.00912369776275226*b78 <= 0.00912369776275226;

e142: (-1 + (8.44626629441698 - x380/(0.0001 + 0.9999*b79))^2 + (
      8.81210793727421 - x381/(0.0001 + 0.9999*b79))^2 + (9.26767041565757 - 
      x382/(0.0001 + 0.9999*b79))^2)*(0.0001 + 0.9999*b79) + 0.023388237554763*
      b79 <= 0.023388237554763;

e143: (-1 + (4.74415255019913 - x383/(0.0001 + 0.9999*b80))^2 + (
      2.8194183128037 - x384/(0.0001 + 0.9999*b80))^2 + (1.76655535189797 - 
      x385/(0.0001 + 0.9999*b80))^2)*(0.0001 + 0.9999*b80) + 
      0.00325768208534532*b80 <= 0.00325768208534532;

e144:    b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72
       + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1;

e145: (-1 + (0.483311857356823 - x386/(0.0001 + 0.9999*b81))^2 + (
      0.114242198506904 - x387/(0.0001 + 0.9999*b81))^2 + (7.12048883659032 - 
      x388/(0.0001 + 0.9999*b81))^2)*(0.0001 + 0.9999*b81) + 
      0.00499480029033887*b81 <= 0.00499480029033887;

e146: (-1 + (5.2590135790233 - x389/(0.0001 + 0.9999*b82))^2 + (
      7.33259189570392 - x390/(0.0001 + 0.9999*b82))^2 + (5.312333476343 - x391
      /(0.0001 + 0.9999*b82))^2)*(0.0001 + 0.9999*b82) + 0.0108645014697169*b82
       <= 0.0108645014697169;

e147: (-1 + (7.41517046461879 - x392/(0.0001 + 0.9999*b83))^2 + (
      9.62332773098117 - x393/(0.0001 + 0.9999*b83))^2 + (4.79943898486809 - 
      x394/(0.0001 + 0.9999*b83))^2)*(0.0001 + 0.9999*b83) + 0.0169627804206698
      *b83 <= 0.0169627804206698;

e148: (-1 + (6.671843981803 - x395/(0.0001 + 0.9999*b84))^2 + (8.10658123259484
       - x396/(0.0001 + 0.9999*b84))^2 + (8.43381689055527 - x397/(0.0001 + 
      0.9999*b84))^2)*(0.0001 + 0.9999*b84) + 0.0180359428741595*b84
       <= 0.0180359428741595;

e149: (-1 + (9.05870575338678 - x398/(0.0001 + 0.9999*b85))^2 + (
      8.3311941216586 - x399/(0.0001 + 0.9999*b85))^2 + (2.43718333261179 - 
      x400/(0.0001 + 0.9999*b85))^2)*(0.0001 + 0.9999*b85) + 0.0156408808015962
      *b85 <= 0.0156408808015962;

e150: (-1 + (2.45247392282192 - x401/(0.0001 + 0.9999*b86))^2 + (
      3.04490781414335 - x402/(0.0001 + 0.9999*b86))^2 + (3.74797873360784 - 
      x403/(0.0001 + 0.9999*b86))^2)*(0.0001 + 0.9999*b86) + 
      0.00283334365263293*b86 <= 0.00283334365263293;

e151: (-1 + (3.17249885664207 - x404/(0.0001 + 0.9999*b87))^2 + (
      0.899014640298569 - x405/(0.0001 + 0.9999*b87))^2 + (6.53554769882638 - 
      x406/(0.0001 + 0.9999*b87))^2)*(0.0001 + 0.9999*b87) + 
      0.00525863600425012*b87 <= 0.00525863600425012;

e152: (-1 + (7.19140474364188 - x407/(0.0001 + 0.9999*b88))^2 + (
      6.78752778006733 - x408/(0.0001 + 0.9999*b88))^2 + (7.10371917668867 - 
      x409/(0.0001 + 0.9999*b88))^2)*(0.0001 + 0.9999*b88) + 0.0147249661693315
      *b88 <= 0.0147249661693315;

e153: (-1 + (0.581905599074722 - x410/(0.0001 + 0.9999*b89))^2 + (
      8.05664566308502 - x411/(0.0001 + 0.9999*b89))^2 + (0.465270839540525 - 
      x412/(0.0001 + 0.9999*b89))^2)*(0.0001 + 0.9999*b89) + 0.0064464630420868
      *b89 <= 0.0064464630420868;

e154: (-1 + (2.89314656575976 - x413/(0.0001 + 0.9999*b90))^2 + (
      2.98350648433744 - x414/(0.0001 + 0.9999*b90))^2 + (4.94095686412664 - 
      x415/(0.0001 + 0.9999*b90))^2)*(0.0001 + 0.9999*b90) + 
      0.00406846627262112*b90 <= 0.00406846627262112;

e155: (-1 + (2.18223181481477 - x416/(0.0001 + 0.9999*b91))^2 + (
      6.36734447251869 - x417/(0.0001 + 0.9999*b91))^2 + (6.99053555821422 - 
      x418/(0.0001 + 0.9999*b91))^2)*(0.0001 + 0.9999*b91) + 
      0.00931727987159614*b91 <= 0.00931727987159614;

e156: (-1 + (8.39213303571845 - x419/(0.0001 + 0.9999*b92))^2 + (
      0.0966493493157039 - x420/(0.0001 + 0.9999*b92))^2 + (0.992650538147096
       - x421/(0.0001 + 0.9999*b92))^2)*(0.0001 + 0.9999*b92) + 
      0.00704225930768039*b92 <= 0.00704225930768039;

e157: (-1 + (6.8673656213906 - x422/(0.0001 + 0.9999*b93))^2 + (
      8.47463209326542 - x423/(0.0001 + 0.9999*b93))^2 + (0.494039939513553 - 
      x424/(0.0001 + 0.9999*b93))^2)*(0.0001 + 0.9999*b93) + 0.0118224175155896
      *b93 <= 0.0118224175155896;

e158: (-1 + (2.07334522686175 - x425/(0.0001 + 0.9999*b94))^2 + (
      0.611759422337085 - x426/(0.0001 + 0.9999*b94))^2 + (7.49872182399417 - 
      x427/(0.0001 + 0.9999*b94))^2)*(0.0001 + 0.9999*b94) + 
      0.00599038390142151*b94 <= 0.00599038390142151;

e159: (-1 + (5.58287553353321 - x428/(0.0001 + 0.9999*b95))^2 + (
      7.41023187669618 - x429/(0.0001 + 0.9999*b95))^2 + (5.78186220125907 - 
      x430/(0.0001 + 0.9999*b95))^2)*(0.0001 + 0.9999*b95) + 0.0118509966203676
      *b95 <= 0.0118509966203676;

e160: (-1 + (3.75663662491927 - x431/(0.0001 + 0.9999*b96))^2 + (
      2.16100057183036 - x432/(0.0001 + 0.9999*b96))^2 + (9.4954261517135 - 
      x433/(0.0001 + 0.9999*b96))^2)*(0.0001 + 0.9999*b96) + 0.0107945360005781
      *b96 <= 0.0107945360005781;

e161: (-1 + (4.04360404243071 - x434/(0.0001 + 0.9999*b97))^2 + (
      7.5903513366217 - x435/(0.0001 + 0.9999*b97))^2 + (3.71685851137678 - 
      x436/(0.0001 + 0.9999*b97))^2)*(0.0001 + 0.9999*b97) + 
      0.00867792042589109*b97 <= 0.00867792042589109;

e162: (-1 + (1.45072437530262 - x437/(0.0001 + 0.9999*b98))^2 + (
      1.11420059440894 - x438/(0.0001 + 0.9999*b98))^2 + (9.42819884441584 - 
      x439/(0.0001 + 0.9999*b98))^2)*(0.0001 + 0.9999*b98) + 
      0.00912369776275226*b98 <= 0.00912369776275226;

e163: (-1 + (8.44626629441698 - x440/(0.0001 + 0.9999*b99))^2 + (
      8.81210793727421 - x441/(0.0001 + 0.9999*b99))^2 + (9.26767041565757 - 
      x442/(0.0001 + 0.9999*b99))^2)*(0.0001 + 0.9999*b99) + 0.023388237554763*
      b99 <= 0.023388237554763;

e164: (-1 + (4.74415255019913 - x443/(0.0001 + 0.9999*b100))^2 + (
      2.8194183128037 - x444/(0.0001 + 0.9999*b100))^2 + (1.76655535189797 - 
      x445/(0.0001 + 0.9999*b100))^2)*(0.0001 + 0.9999*b100) + 
      0.00325768208534532*b100 <= 0.00325768208534532;

e165:    b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92
       + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 = 1;

e166:    b1 + b21 + b41 + b61 + b81 <= 1;

e167:    b2 + b22 + b42 + b62 + b82 <= 1;

e168:    b3 + b23 + b43 + b63 + b83 <= 1;

e169:    b4 + b24 + b44 + b64 + b84 <= 1;

e170:    b5 + b25 + b45 + b65 + b85 <= 1;

e171:    b6 + b26 + b46 + b66 + b86 <= 1;

e172:    b7 + b27 + b47 + b67 + b87 <= 1;

e173:    b8 + b28 + b48 + b68 + b88 <= 1;

e174:    b9 + b29 + b49 + b69 + b89 <= 1;

e175:    b10 + b30 + b50 + b70 + b90 <= 1;

e176:    b11 + b31 + b51 + b71 + b91 <= 1;

e177:    b12 + b32 + b52 + b72 + b92 <= 1;

e178:    b13 + b33 + b53 + b73 + b93 <= 1;

e179:    b14 + b34 + b54 + b74 + b94 <= 1;

e180:    b15 + b35 + b55 + b75 + b95 <= 1;

e181:    b16 + b36 + b56 + b76 + b96 <= 1;

e182:    b17 + b37 + b57 + b77 + b97 <= 1;

e183:    b18 + b38 + b58 + b78 + b98 <= 1;

e184:    b19 + b39 + b59 + b79 + b99 <= 1;

e185:    b20 + b40 + b60 + b80 + b100 <= 1;

e186:  - x101 + x146 + x149 + x152 + x155 + x158 + x161 + x164 + x167 + x170
       + x173 + x176 + x179 + x182 + x185 + x188 + x191 + x194 + x197 + x200
       + x203 = 0;

e187:  - x104 + x147 + x150 + x153 + x156 + x159 + x162 + x165 + x168 + x171
       + x174 + x177 + x180 + x183 + x186 + x189 + x192 + x195 + x198 + x201
       + x204 = 0;

e188:  - x107 + x148 + x151 + x154 + x157 + x160 + x163 + x166 + x169 + x172
       + x175 + x178 + x181 + x184 + x187 + x190 + x193 + x196 + x199 + x202
       + x205 = 0;

e189:  - x102 + x206 + x209 + x212 + x215 + x218 + x221 + x224 + x227 + x230
       + x233 + x236 + x239 + x242 + x245 + x248 + x251 + x254 + x257 + x260
       + x263 = 0;

e190:  - x105 + x207 + x210 + x213 + x216 + x219 + x222 + x225 + x228 + x231
       + x234 + x237 + x240 + x243 + x246 + x249 + x252 + x255 + x258 + x261
       + x264 = 0;

e191:  - x108 + x208 + x211 + x214 + x217 + x220 + x223 + x226 + x229 + x232
       + x235 + x238 + x241 + x244 + x247 + x250 + x253 + x256 + x259 + x262
       + x265 = 0;

e192:  - x110 + x266 + x269 + x272 + x275 + x278 + x281 + x284 + x287 + x290
       + x293 + x296 + x299 + x302 + x305 + x308 + x311 + x314 + x317 + x320
       + x323 = 0;

e193:  - x112 + x267 + x270 + x273 + x276 + x279 + x282 + x285 + x288 + x291
       + x294 + x297 + x300 + x303 + x306 + x309 + x312 + x315 + x318 + x321
       + x324 = 0;

e194:  - x114 + x268 + x271 + x274 + x277 + x280 + x283 + x286 + x289 + x292
       + x295 + x298 + x301 + x304 + x307 + x310 + x313 + x316 + x319 + x322
       + x325 = 0;

e195:  - x116 + x326 + x329 + x332 + x335 + x338 + x341 + x344 + x347 + x350
       + x353 + x356 + x359 + x362 + x365 + x368 + x371 + x374 + x377 + x380
       + x383 = 0;

e196:  - x118 + x327 + x330 + x333 + x336 + x339 + x342 + x345 + x348 + x351
       + x354 + x357 + x360 + x363 + x366 + x369 + x372 + x375 + x378 + x381
       + x384 = 0;

e197:  - x120 + x328 + x331 + x334 + x337 + x340 + x343 + x346 + x349 + x352
       + x355 + x358 + x361 + x364 + x367 + x370 + x373 + x376 + x379 + x382
       + x385 = 0;

e198:  - x122 + x386 + x389 + x392 + x395 + x398 + x401 + x404 + x407 + x410
       + x413 + x416 + x419 + x422 + x425 + x428 + x431 + x434 + x437 + x440
       + x443 = 0;

e199:  - x124 + x387 + x390 + x393 + x396 + x399 + x402 + x405 + x408 + x411
       + x414 + x417 + x420 + x423 + x426 + x429 + x432 + x435 + x438 + x441
       + x444 = 0;

e200:  - x126 + x388 + x391 + x394 + x397 + x400 + x403 + x406 + x409 + x412
       + x415 + x418 + x421 + x424 + x427 + x430 + x433 + x436 + x439 + x442
       + x445 = 0;

e201:  - 10*b1 + x146 <= 0;

e202:  - 10*b2 + x149 <= 0;

e203:  - 10*b3 + x152 <= 0;

e204:  - 10*b4 + x155 <= 0;

e205:  - 10*b5 + x158 <= 0;

e206:  - 10*b6 + x161 <= 0;

e207:  - 10*b7 + x164 <= 0;

e208:  - 10*b8 + x167 <= 0;

e209:  - 10*b9 + x170 <= 0;

e210:  - 10*b10 + x173 <= 0;

e211:  - 10*b11 + x176 <= 0;

e212:  - 10*b12 + x179 <= 0;

e213:  - 10*b13 + x182 <= 0;

e214:  - 10*b14 + x185 <= 0;

e215:  - 10*b15 + x188 <= 0;

e216:  - 10*b16 + x191 <= 0;

e217:  - 10*b17 + x194 <= 0;

e218:  - 10*b18 + x197 <= 0;

e219:  - 10*b19 + x200 <= 0;

e220:  - 10*b20 + x203 <= 0;

e221:  - 10*b1 + x147 <= 0;

e222:  - 10*b2 + x150 <= 0;

e223:  - 10*b3 + x153 <= 0;

e224:  - 10*b4 + x156 <= 0;

e225:  - 10*b5 + x159 <= 0;

e226:  - 10*b6 + x162 <= 0;

e227:  - 10*b7 + x165 <= 0;

e228:  - 10*b8 + x168 <= 0;

e229:  - 10*b9 + x171 <= 0;

e230:  - 10*b10 + x174 <= 0;

e231:  - 10*b11 + x177 <= 0;

e232:  - 10*b12 + x180 <= 0;

e233:  - 10*b13 + x183 <= 0;

e234:  - 10*b14 + x186 <= 0;

e235:  - 10*b15 + x189 <= 0;

e236:  - 10*b16 + x192 <= 0;

e237:  - 10*b17 + x195 <= 0;

e238:  - 10*b18 + x198 <= 0;

e239:  - 10*b19 + x201 <= 0;

e240:  - 10*b20 + x204 <= 0;

e241:  - 10*b1 + x148 <= 0;

e242:  - 10*b2 + x151 <= 0;

e243:  - 10*b3 + x154 <= 0;

e244:  - 10*b4 + x157 <= 0;

e245:  - 10*b5 + x160 <= 0;

e246:  - 10*b6 + x163 <= 0;

e247:  - 10*b7 + x166 <= 0;

e248:  - 10*b8 + x169 <= 0;

e249:  - 10*b9 + x172 <= 0;

e250:  - 10*b10 + x175 <= 0;

e251:  - 10*b11 + x178 <= 0;

e252:  - 10*b12 + x181 <= 0;

e253:  - 10*b13 + x184 <= 0;

e254:  - 10*b14 + x187 <= 0;

e255:  - 10*b15 + x190 <= 0;

e256:  - 10*b16 + x193 <= 0;

e257:  - 10*b17 + x196 <= 0;

e258:  - 10*b18 + x199 <= 0;

e259:  - 10*b19 + x202 <= 0;

e260:  - 10*b20 + x205 <= 0;

e261:  - 10*b21 + x206 <= 0;

e262:  - 10*b22 + x209 <= 0;

e263:  - 10*b23 + x212 <= 0;

e264:  - 10*b24 + x215 <= 0;

e265:  - 10*b25 + x218 <= 0;

e266:  - 10*b26 + x221 <= 0;

e267:  - 10*b27 + x224 <= 0;

e268:  - 10*b28 + x227 <= 0;

e269:  - 10*b29 + x230 <= 0;

e270:  - 10*b30 + x233 <= 0;

e271:  - 10*b31 + x236 <= 0;

e272:  - 10*b32 + x239 <= 0;

e273:  - 10*b33 + x242 <= 0;

e274:  - 10*b34 + x245 <= 0;

e275:  - 10*b35 + x248 <= 0;

e276:  - 10*b36 + x251 <= 0;

e277:  - 10*b37 + x254 <= 0;

e278:  - 10*b38 + x257 <= 0;

e279:  - 10*b39 + x260 <= 0;

e280:  - 10*b40 + x263 <= 0;

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

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

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

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

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

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

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

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

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

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

e291:  - 10*b31 + x237 <= 0;

e292:  - 10*b32 + x240 <= 0;

e293:  - 10*b33 + x243 <= 0;

e294:  - 10*b34 + x246 <= 0;

e295:  - 10*b35 + x249 <= 0;

e296:  - 10*b36 + x252 <= 0;

e297:  - 10*b37 + x255 <= 0;

e298:  - 10*b38 + x258 <= 0;

e299:  - 10*b39 + x261 <= 0;

e300:  - 10*b40 + x264 <= 0;

e301:  - 10*b21 + x208 <= 0;

e302:  - 10*b22 + x211 <= 0;

e303:  - 10*b23 + x214 <= 0;

e304:  - 10*b24 + x217 <= 0;

e305:  - 10*b25 + x220 <= 0;

e306:  - 10*b26 + x223 <= 0;

e307:  - 10*b27 + x226 <= 0;

e308:  - 10*b28 + x229 <= 0;

e309:  - 10*b29 + x232 <= 0;

e310:  - 10*b30 + x235 <= 0;

e311:  - 10*b31 + x238 <= 0;

e312:  - 10*b32 + x241 <= 0;

e313:  - 10*b33 + x244 <= 0;

e314:  - 10*b34 + x247 <= 0;

e315:  - 10*b35 + x250 <= 0;

e316:  - 10*b36 + x253 <= 0;

e317:  - 10*b37 + x256 <= 0;

e318:  - 10*b38 + x259 <= 0;

e319:  - 10*b39 + x262 <= 0;

e320:  - 10*b40 + x265 <= 0;

e321:  - 10*b41 + x266 <= 0;

e322:  - 10*b42 + x269 <= 0;

e323:  - 10*b43 + x272 <= 0;

e324:  - 10*b44 + x275 <= 0;

e325:  - 10*b45 + x278 <= 0;

e326:  - 10*b46 + x281 <= 0;

e327:  - 10*b47 + x284 <= 0;

e328:  - 10*b48 + x287 <= 0;

e329:  - 10*b49 + x290 <= 0;

e330:  - 10*b50 + x293 <= 0;

e331:  - 10*b51 + x296 <= 0;

e332:  - 10*b52 + x299 <= 0;

e333:  - 10*b53 + x302 <= 0;

e334:  - 10*b54 + x305 <= 0;

e335:  - 10*b55 + x308 <= 0;

e336:  - 10*b56 + x311 <= 0;

e337:  - 10*b57 + x314 <= 0;

e338:  - 10*b58 + x317 <= 0;

e339:  - 10*b59 + x320 <= 0;

e340:  - 10*b60 + x323 <= 0;

e341:  - 10*b41 + x267 <= 0;

e342:  - 10*b42 + x270 <= 0;

e343:  - 10*b43 + x273 <= 0;

e344:  - 10*b44 + x276 <= 0;

e345:  - 10*b45 + x279 <= 0;

e346:  - 10*b46 + x282 <= 0;

e347:  - 10*b47 + x285 <= 0;

e348:  - 10*b48 + x288 <= 0;

e349:  - 10*b49 + x291 <= 0;

e350:  - 10*b50 + x294 <= 0;

e351:  - 10*b51 + x297 <= 0;

e352:  - 10*b52 + x300 <= 0;

e353:  - 10*b53 + x303 <= 0;

e354:  - 10*b54 + x306 <= 0;

e355:  - 10*b55 + x309 <= 0;

e356:  - 10*b56 + x312 <= 0;

e357:  - 10*b57 + x315 <= 0;

e358:  - 10*b58 + x318 <= 0;

e359:  - 10*b59 + x321 <= 0;

e360:  - 10*b60 + x324 <= 0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

e381:  - 10*b61 + x326 <= 0;

e382:  - 10*b62 + x329 <= 0;

e383:  - 10*b63 + x332 <= 0;

e384:  - 10*b64 + x335 <= 0;

e385:  - 10*b65 + x338 <= 0;

e386:  - 10*b66 + x341 <= 0;

e387:  - 10*b67 + x344 <= 0;

e388:  - 10*b68 + x347 <= 0;

e389:  - 10*b69 + x350 <= 0;

e390:  - 10*b70 + x353 <= 0;

e391:  - 10*b71 + x356 <= 0;

e392:  - 10*b72 + x359 <= 0;

e393:  - 10*b73 + x362 <= 0;

e394:  - 10*b74 + x365 <= 0;

e395:  - 10*b75 + x368 <= 0;

e396:  - 10*b76 + x371 <= 0;

e397:  - 10*b77 + x374 <= 0;

e398:  - 10*b78 + x377 <= 0;

e399:  - 10*b79 + x380 <= 0;

e400:  - 10*b80 + x383 <= 0;

e401:  - 10*b61 + x327 <= 0;

e402:  - 10*b62 + x330 <= 0;

e403:  - 10*b63 + x333 <= 0;

e404:  - 10*b64 + x336 <= 0;

e405:  - 10*b65 + x339 <= 0;

e406:  - 10*b66 + x342 <= 0;

e407:  - 10*b67 + x345 <= 0;

e408:  - 10*b68 + x348 <= 0;

e409:  - 10*b69 + x351 <= 0;

e410:  - 10*b70 + x354 <= 0;

e411:  - 10*b71 + x357 <= 0;

e412:  - 10*b72 + x360 <= 0;

e413:  - 10*b73 + x363 <= 0;

e414:  - 10*b74 + x366 <= 0;

e415:  - 10*b75 + x369 <= 0;

e416:  - 10*b76 + x372 <= 0;

e417:  - 10*b77 + x375 <= 0;

e418:  - 10*b78 + x378 <= 0;

e419:  - 10*b79 + x381 <= 0;

e420:  - 10*b80 + x384 <= 0;

e421:  - 10*b61 + x328 <= 0;

e422:  - 10*b62 + x331 <= 0;

e423:  - 10*b63 + x334 <= 0;

e424:  - 10*b64 + x337 <= 0;

e425:  - 10*b65 + x340 <= 0;

e426:  - 10*b66 + x343 <= 0;

e427:  - 10*b67 + x346 <= 0;

e428:  - 10*b68 + x349 <= 0;

e429:  - 10*b69 + x352 <= 0;

e430:  - 10*b70 + x355 <= 0;

e431:  - 10*b71 + x358 <= 0;

e432:  - 10*b72 + x361 <= 0;

e433:  - 10*b73 + x364 <= 0;

e434:  - 10*b74 + x367 <= 0;

e435:  - 10*b75 + x370 <= 0;

e436:  - 10*b76 + x373 <= 0;

e437:  - 10*b77 + x376 <= 0;

e438:  - 10*b78 + x379 <= 0;

e439:  - 10*b79 + x382 <= 0;

e440:  - 10*b80 + x385 <= 0;

e441:  - 10*b81 + x386 <= 0;

e442:  - 10*b82 + x389 <= 0;

e443:  - 10*b83 + x392 <= 0;

e444:  - 10*b84 + x395 <= 0;

e445:  - 10*b85 + x398 <= 0;

e446:  - 10*b86 + x401 <= 0;

e447:  - 10*b87 + x404 <= 0;

e448:  - 10*b88 + x407 <= 0;

e449:  - 10*b89 + x410 <= 0;

e450:  - 10*b90 + x413 <= 0;

e451:  - 10*b91 + x416 <= 0;

e452:  - 10*b92 + x419 <= 0;

e453:  - 10*b93 + x422 <= 0;

e454:  - 10*b94 + x425 <= 0;

e455:  - 10*b95 + x428 <= 0;

e456:  - 10*b96 + x431 <= 0;

e457:  - 10*b97 + x434 <= 0;

e458:  - 10*b98 + x437 <= 0;

e459:  - 10*b99 + x440 <= 0;

e460:  - 10*b100 + x443 <= 0;

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

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

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

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

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

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

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

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

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

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

e471:  - 10*b91 + x417 <= 0;

e472:  - 10*b92 + x420 <= 0;

e473:  - 10*b93 + x423 <= 0;

e474:  - 10*b94 + x426 <= 0;

e475:  - 10*b95 + x429 <= 0;

e476:  - 10*b96 + x432 <= 0;

e477:  - 10*b97 + x435 <= 0;

e478:  - 10*b98 + x438 <= 0;

e479:  - 10*b99 + x441 <= 0;

e480:  - 10*b100 + x444 <= 0;

e481:  - 10*b81 + x388 <= 0;

e482:  - 10*b82 + x391 <= 0;

e483:  - 10*b83 + x394 <= 0;

e484:  - 10*b84 + x397 <= 0;

e485:  - 10*b85 + x400 <= 0;

e486:  - 10*b86 + x403 <= 0;

e487:  - 10*b87 + x406 <= 0;

e488:  - 10*b88 + x409 <= 0;

e489:  - 10*b89 + x412 <= 0;

e490:  - 10*b90 + x415 <= 0;

e491:  - 10*b91 + x418 <= 0;

e492:  - 10*b92 + x421 <= 0;

e493:  - 10*b93 + x424 <= 0;

e494:  - 10*b94 + x427 <= 0;

e495:  - 10*b95 + x430 <= 0;

e496:  - 10*b96 + x433 <= 0;

e497:  - 10*b97 + x436 <= 0;

e498:  - 10*b98 + x439 <= 0;

e499:  - 10*b99 + x442 <= 0;

e500:  - 10*b100 + x445 <= 0;

e501:    x101 - x102 <= 0;

e502:    x102 - x110 <= 0;

e503:    x110 - x116 <= 0;

e504:    x116 - x122 <= 0;