## ams_version=1.0 Model Main_p_ball_20b_5p_3d_h { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable x101 { Range: nonnegative; } Variable x102 { Range: nonnegative; } Variable x103 { Range: nonnegative; } Variable x104 { Range: nonnegative; } Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Variable x112 { Range: nonnegative; } Variable x113 { Range: nonnegative; } Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Variable x126 { Range: nonnegative; } Variable x127 { Range: nonnegative; } Variable x128 { Range: nonnegative; } Variable x129 { Range: nonnegative; } Variable x130 { Range: nonnegative; } Variable x131 { Range: nonnegative; } Variable x132 { Range: nonnegative; } Variable x133 { Range: nonnegative; } Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable x136 { Range: nonnegative; } Variable x137 { Range: nonnegative; } Variable x138 { Range: nonnegative; } Variable x139 { Range: nonnegative; } Variable x140 { Range: nonnegative; } Variable x141 { Range: nonnegative; } Variable x142 { Range: nonnegative; } Variable x143 { Range: nonnegative; } Variable x144 { Range: nonnegative; } Variable x145 { Range: nonnegative; } Variable x146 { Range: nonnegative; } Variable x147 { Range: nonnegative; } Variable x148 { Range: nonnegative; } Variable x149 { Range: nonnegative; } Variable x150 { Range: nonnegative; } Variable x151 { Range: nonnegative; } Variable x152 { Range: nonnegative; } Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156 { Range: nonnegative; } Variable x157 { Range: nonnegative; } Variable x158 { Range: nonnegative; } Variable x159 { Range: nonnegative; } Variable x160 { Range: nonnegative; } Variable x161 { Range: nonnegative; } Variable x162 { Range: nonnegative; } Variable x163 { Range: nonnegative; } Variable x164 { Range: nonnegative; } Variable x165 { Range: nonnegative; } Variable x166 { Range: nonnegative; } Variable x167 { Range: nonnegative; } Variable x168 { Range: nonnegative; } Variable x169 { Range: nonnegative; } Variable x170 { Range: nonnegative; } Variable x171 { Range: nonnegative; } Variable x172 { Range: nonnegative; } Variable x173 { Range: nonnegative; } Variable x174 { Range: nonnegative; } Variable x175 { Range: nonnegative; } Variable x176 { Range: nonnegative; } Variable x177 { Range: nonnegative; } Variable x178 { Range: nonnegative; } Variable x179 { Range: nonnegative; } Variable x180 { Range: nonnegative; } Variable x181 { Range: nonnegative; } Variable x182 { Range: nonnegative; } Variable x183 { Range: nonnegative; } Variable x184 { Range: nonnegative; } Variable x185 { Range: nonnegative; } Variable x186 { Range: nonnegative; } Variable x187 { Range: nonnegative; } Variable x188 { Range: nonnegative; } Variable x189 { Range: nonnegative; } Variable x190 { Range: nonnegative; } Variable x191 { Range: nonnegative; } Variable x192 { Range: nonnegative; } Variable x193 { Range: nonnegative; } Variable x194 { Range: nonnegative; } Variable x195 { Range: nonnegative; } Variable x196 { Range: nonnegative; } Variable x197 { Range: nonnegative; } Variable x198 { Range: nonnegative; } Variable x199 { Range: nonnegative; } Variable x200 { Range: nonnegative; } Variable x201 { Range: nonnegative; } Variable x202 { Range: nonnegative; } Variable x203 { Range: nonnegative; } Variable x204 { Range: nonnegative; } Variable x205 { Range: nonnegative; } Variable x206 { Range: nonnegative; } Variable x207 { Range: nonnegative; } Variable x208 { Range: nonnegative; } Variable x209 { Range: nonnegative; } Variable x210 { Range: nonnegative; } Variable x211 { Range: nonnegative; } Variable x212 { Range: nonnegative; } Variable x213 { Range: nonnegative; } Variable x214 { Range: nonnegative; } Variable x215 { Range: nonnegative; } Variable x216 { Range: nonnegative; } Variable x217 { Range: nonnegative; } Variable x218 { Range: nonnegative; } Variable x219 { Range: nonnegative; } Variable x220 { Range: nonnegative; } Variable x221 { Range: nonnegative; } Variable x222 { Range: nonnegative; } Variable x223 { Range: nonnegative; } Variable x224 { Range: nonnegative; } Variable x225 { Range: nonnegative; } Variable x226 { Range: nonnegative; } Variable x227 { Range: nonnegative; } Variable x228 { Range: nonnegative; } Variable x229 { Range: nonnegative; } Variable x230 { Range: nonnegative; } Variable x231 { Range: nonnegative; } Variable x232 { Range: nonnegative; } Variable x233 { Range: nonnegative; } Variable x234 { Range: nonnegative; } Variable x235 { Range: nonnegative; } Variable x236 { Range: nonnegative; } Variable x237 { Range: nonnegative; } Variable x238 { Range: nonnegative; } Variable x239 { Range: nonnegative; } Variable x240 { Range: nonnegative; } Variable x241 { Range: nonnegative; } Variable x242 { Range: nonnegative; } Variable x243 { Range: nonnegative; } Variable x244 { Range: nonnegative; } Variable x245 { Range: nonnegative; } Variable x246 { Range: nonnegative; } Variable x247 { Range: nonnegative; } Variable x248 { Range: nonnegative; } Variable x249 { Range: nonnegative; } Variable x250 { Range: nonnegative; } Variable x251 { Range: nonnegative; } Variable x252 { Range: nonnegative; } Variable x253 { Range: nonnegative; } Variable x254 { Range: nonnegative; } Variable x255 { Range: nonnegative; } Variable x256 { Range: nonnegative; } Variable x257 { Range: nonnegative; } Variable x258 { Range: nonnegative; } Variable x259 { Range: nonnegative; } Variable x260 { Range: nonnegative; } Variable x261 { Range: nonnegative; } Variable x262 { Range: nonnegative; } Variable x263 { Range: nonnegative; } Variable x264 { Range: nonnegative; } Variable x265 { Range: nonnegative; } Variable x266 { Range: nonnegative; } Variable x267 { Range: nonnegative; } Variable x268 { Range: nonnegative; } Variable x269 { Range: nonnegative; } Variable x270 { Range: nonnegative; } Variable x271 { Range: nonnegative; } Variable x272 { Range: nonnegative; } Variable x273 { Range: nonnegative; } Variable x274 { Range: nonnegative; } Variable x275 { Range: nonnegative; } Variable x276 { Range: nonnegative; } Variable x277 { Range: nonnegative; } Variable x278 { Range: nonnegative; } Variable x279 { Range: nonnegative; } Variable x280 { Range: nonnegative; } Variable x281 { Range: nonnegative; } Variable x282 { Range: nonnegative; } Variable x283 { Range: nonnegative; } Variable x284 { Range: nonnegative; } Variable x285 { Range: nonnegative; } Variable x286 { Range: nonnegative; } Variable x287 { Range: nonnegative; } Variable x288 { Range: nonnegative; } Variable x289 { Range: nonnegative; } Variable x290 { Range: nonnegative; } Variable x291 { Range: nonnegative; } Variable x292 { Range: nonnegative; } Variable x293 { Range: nonnegative; } Variable x294 { Range: nonnegative; } Variable x295 { Range: nonnegative; } Variable x296 { Range: nonnegative; } Variable x297 { Range: nonnegative; } Variable x298 { Range: nonnegative; } Variable x299 { Range: nonnegative; } Variable x300 { Range: nonnegative; } Variable x301 { Range: nonnegative; } Variable x302 { Range: nonnegative; } Variable x303 { Range: nonnegative; } Variable x304 { Range: nonnegative; } Variable x305 { Range: nonnegative; } Variable x306 { Range: nonnegative; } Variable x307 { Range: nonnegative; } Variable x308 { Range: nonnegative; } Variable x309 { Range: nonnegative; } Variable x310 { Range: nonnegative; } Variable x311 { Range: nonnegative; } Variable x312 { Range: nonnegative; } Variable x313 { Range: nonnegative; } Variable x314 { Range: nonnegative; } Variable x315 { Range: nonnegative; } Variable x316 { Range: nonnegative; } Variable x317 { Range: nonnegative; } Variable x318 { Range: nonnegative; } Variable x319 { Range: nonnegative; } Variable x320 { Range: nonnegative; } Variable x321 { Range: nonnegative; } Variable x322 { Range: nonnegative; } Variable x323 { Range: nonnegative; } Variable x324 { Range: nonnegative; } Variable x325 { Range: nonnegative; } Variable x326 { Range: nonnegative; } Variable x327 { Range: nonnegative; } Variable x328 { Range: nonnegative; } Variable x329 { Range: nonnegative; } Variable x330 { Range: nonnegative; } Variable x331 { Range: nonnegative; } Variable x332 { Range: nonnegative; } Variable x333 { Range: nonnegative; } Variable x334 { Range: nonnegative; } Variable x335 { Range: nonnegative; } Variable x336 { Range: nonnegative; } Variable x337 { Range: nonnegative; } Variable x338 { Range: nonnegative; } Variable x339 { Range: nonnegative; } Variable x340 { Range: nonnegative; } Variable x341 { Range: nonnegative; } Variable x342 { Range: nonnegative; } Variable x343 { Range: nonnegative; } Variable x344 { Range: nonnegative; } Variable x345 { Range: nonnegative; } Variable x346 { Range: nonnegative; } Variable x347 { Range: nonnegative; } Variable x348 { Range: nonnegative; } Variable x349 { Range: nonnegative; } Variable x350 { Range: nonnegative; } Variable x351 { Range: nonnegative; } Variable x352 { Range: nonnegative; } Variable x353 { Range: nonnegative; } Variable x354 { Range: nonnegative; } Variable x355 { Range: nonnegative; } Variable x356 { Range: nonnegative; } Variable x357 { Range: nonnegative; } Variable x358 { Range: nonnegative; } Variable x359 { Range: nonnegative; } Variable x360 { Range: nonnegative; } Variable x361 { Range: nonnegative; } Variable x362 { Range: nonnegative; } Variable x363 { Range: nonnegative; } Variable x364 { Range: nonnegative; } Variable x365 { Range: nonnegative; } Variable x366 { Range: nonnegative; } Variable x367 { Range: nonnegative; } Variable x368 { Range: nonnegative; } Variable x369 { Range: nonnegative; } Variable x370 { Range: nonnegative; } Variable x371 { Range: nonnegative; } Variable x372 { Range: nonnegative; } Variable x373 { Range: nonnegative; } Variable x374 { Range: nonnegative; } Variable x375 { Range: nonnegative; } Variable x376 { Range: nonnegative; } Variable x377 { Range: nonnegative; } Variable x378 { Range: nonnegative; } Variable x379 { Range: nonnegative; } Variable x380 { Range: nonnegative; } Variable x381 { Range: nonnegative; } Variable x382 { Range: nonnegative; } Variable x383 { Range: nonnegative; } Variable x384 { Range: nonnegative; } Variable x385 { Range: nonnegative; } Variable x386 { Range: nonnegative; } Variable x387 { Range: nonnegative; } Variable x388 { Range: nonnegative; } Variable x389 { Range: nonnegative; } Variable x390 { Range: nonnegative; } Variable x391 { Range: nonnegative; } Variable x392 { Range: nonnegative; } Variable x393 { Range: nonnegative; } Variable x394 { Range: nonnegative; } Variable x395 { Range: nonnegative; } Variable x396 { Range: nonnegative; } Variable x397 { Range: nonnegative; } Variable x398 { Range: nonnegative; } Variable x399 { Range: nonnegative; } Variable x400 { Range: nonnegative; } Variable x401 { Range: nonnegative; } Variable x402 { Range: nonnegative; } Variable x403 { Range: nonnegative; } Variable x404 { Range: nonnegative; } Variable x405 { Range: nonnegative; } Variable x406 { Range: nonnegative; } Variable x407 { Range: nonnegative; } Variable x408 { Range: nonnegative; } Variable x409 { Range: nonnegative; } Variable x410 { Range: nonnegative; } Variable x411 { Range: nonnegative; } Variable x412 { Range: nonnegative; } Variable x413 { Range: nonnegative; } Variable x414 { Range: nonnegative; } Variable x415 { Range: nonnegative; } Variable x416 { Range: nonnegative; } Variable x417 { Range: nonnegative; } Variable x418 { Range: nonnegative; } Variable x419 { Range: nonnegative; } Variable x420 { Range: nonnegative; } Variable x421 { Range: nonnegative; } Variable x422 { Range: nonnegative; } Variable x423 { Range: nonnegative; } Variable x424 { Range: nonnegative; } Variable x425 { Range: nonnegative; } Variable x426 { Range: nonnegative; } Variable x427 { Range: nonnegative; } Variable x428 { Range: nonnegative; } Variable x429 { Range: nonnegative; } Variable x430 { Range: nonnegative; } Variable x431 { Range: nonnegative; } Variable x432 { Range: nonnegative; } Variable x433 { Range: nonnegative; } Variable x434 { Range: nonnegative; } Variable x435 { Range: nonnegative; } Variable x436 { Range: nonnegative; } Variable x437 { Range: nonnegative; } Variable x438 { Range: nonnegative; } Variable x439 { Range: nonnegative; } Variable x440 { Range: nonnegative; } Variable x441 { Range: nonnegative; } Variable x442 { Range: nonnegative; } Variable x443 { Range: nonnegative; } Variable x444 { Range: nonnegative; } Variable x445 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x101 - x102 - x103 <= 0; } Constraint e2 { Definition: - x101 + x102 - x103 <= 0; } Constraint e3 { Definition: x104 - x105 - x106 <= 0; } Constraint e4 { Definition: - x104 + x105 - x106 <= 0; } Constraint e5 { Definition: x107 - x108 - x109 <= 0; } Constraint e6 { Definition: - x107 + x108 - x109 <= 0; } Constraint e7 { Definition: x101 - x110 - x111 <= 0; } Constraint e8 { Definition: - x101 + x110 - x111 <= 0; } Constraint e9 { Definition: x104 - x112 - x113 <= 0; } Constraint e10 { Definition: - x104 + x112 - x113 <= 0; } Constraint e11 { Definition: x107 - x114 - x115 <= 0; } Constraint e12 { Definition: - x107 + x114 - x115 <= 0; } Constraint e13 { Definition: x101 - x116 - x117 <= 0; } Constraint e14 { Definition: - x101 + x116 - x117 <= 0; } Constraint e15 { Definition: x104 - x118 - x119 <= 0; } Constraint e16 { Definition: - x104 + x118 - x119 <= 0; } Constraint e17 { Definition: x107 - x120 - x121 <= 0; } Constraint e18 { Definition: - x107 + x120 - x121 <= 0; } Constraint e19 { Definition: x101 - x122 - x123 <= 0; } Constraint e20 { Definition: - x101 + x122 - x123 <= 0; } Constraint e21 { Definition: x104 - x124 - x125 <= 0; } Constraint e22 { Definition: - x104 + x124 - x125 <= 0; } Constraint e23 { Definition: x107 - x126 - x127 <= 0; } Constraint e24 { Definition: - x107 + x126 - x127 <= 0; } Constraint e25 { Definition: x102 - x110 - x128 <= 0; } Constraint e26 { Definition: - x102 + x110 - x128 <= 0; } Constraint e27 { Definition: x105 - x112 - x129 <= 0; } Constraint e28 { Definition: - x105 + x112 - x129 <= 0; } Constraint e29 { Definition: x108 - x114 - x130 <= 0; } Constraint e30 { Definition: - x108 + x114 - x130 <= 0; } Constraint e31 { Definition: x102 - x116 - x131 <= 0; } Constraint e32 { Definition: - x102 + x116 - x131 <= 0; } Constraint e33 { Definition: x105 - x118 - x132 <= 0; } Constraint e34 { Definition: - x105 + x118 - x132 <= 0; } Constraint e35 { Definition: x108 - x120 - x133 <= 0; } Constraint e36 { Definition: - x108 + x120 - x133 <= 0; } Constraint e37 { Definition: x102 - x122 - x134 <= 0; } Constraint e38 { Definition: - x102 + x122 - x134 <= 0; } Constraint e39 { Definition: x105 - x124 - x135 <= 0; } Constraint e40 { Definition: - x105 + x124 - x135 <= 0; } Constraint e41 { Definition: x108 - x126 - x136 <= 0; } Constraint e42 { Definition: - x108 + x126 - x136 <= 0; } Constraint e43 { Definition: x110 - x116 - x137 <= 0; } Constraint e44 { Definition: - x110 + x116 - x137 <= 0; } Constraint e45 { Definition: x112 - x118 - x138 <= 0; } Constraint e46 { Definition: - x112 + x118 - x138 <= 0; } Constraint e47 { Definition: x114 - x120 - x139 <= 0; } Constraint e48 { Definition: - x114 + x120 - x139 <= 0; } Constraint e49 { Definition: x110 - x122 - x140 <= 0; } Constraint e50 { Definition: - x110 + x122 - x140 <= 0; } Constraint e51 { Definition: x112 - x124 - x141 <= 0; } Constraint e52 { Definition: - x112 + x124 - x141 <= 0; } Constraint e53 { Definition: x114 - x126 - x142 <= 0; } Constraint e54 { Definition: - x114 + x126 - x142 <= 0; } Constraint e55 { Definition: x116 - x122 - x143 <= 0; } Constraint e56 { Definition: - x116 + x122 - x143 <= 0; } Constraint e57 { Definition: x118 - x124 - x144 <= 0; } Constraint e58 { Definition: - x118 + x124 - x144 <= 0; } Constraint e59 { Definition: x120 - x126 - x145 <= 0; } Constraint e60 { Definition: - x120 + x126 - x145 <= 0; } Constraint e61 { Definition: { (-1 + sqr(0.483311857356823 - x146/(0.0001 + 0.9999*b1)) + sqr( 0.114242198506904 - x147/(0.0001 + 0.9999*b1)) + sqr(7.12048883659032 - x148/(0.0001 + 0.9999*b1)))*(0.0001 + 0.9999*b1) + 0.00499480029033887*b1 <= 0.00499480029033887 } } Constraint e62 { Definition: { (-1 + sqr(5.2590135790233 - x149/(0.0001 + 0.9999*b2)) + sqr( 7.33259189570392 - x150/(0.0001 + 0.9999*b2)) + sqr(5.312333476343 - x151 /(0.0001 + 0.9999*b2)))*(0.0001 + 0.9999*b2) + 0.0108645014697169*b2 <= 0.0108645014697169 } } Constraint e63 { Definition: { (-1 + sqr(7.41517046461879 - x152/(0.0001 + 0.9999*b3)) + sqr( 9.62332773098117 - x153/(0.0001 + 0.9999*b3)) + sqr(4.79943898486809 - x154/(0.0001 + 0.9999*b3)))*(0.0001 + 0.9999*b3) + 0.0169627804206698*b3 <= 0.0169627804206698 } } Constraint e64 { Definition: { (-1 + sqr(6.671843981803 - x155/(0.0001 + 0.9999*b4)) + sqr( 8.10658123259484 - x156/(0.0001 + 0.9999*b4)) + sqr(8.43381689055527 - x157/(0.0001 + 0.9999*b4)))*(0.0001 + 0.9999*b4) + 0.0180359428741595*b4 <= 0.0180359428741595 } } Constraint e65 { Definition: { (-1 + sqr(9.05870575338678 - x158/(0.0001 + 0.9999*b5)) + sqr( 8.3311941216586 - x159/(0.0001 + 0.9999*b5)) + sqr(2.43718333261179 - x160/(0.0001 + 0.9999*b5)))*(0.0001 + 0.9999*b5) + 0.0156408808015962*b5 <= 0.0156408808015962 } } Constraint e66 { Definition: { (-1 + sqr(2.45247392282192 - x161/(0.0001 + 0.9999*b6)) + sqr( 3.04490781414335 - x162/(0.0001 + 0.9999*b6)) + sqr(3.74797873360784 - x163/(0.0001 + 0.9999*b6)))*(0.0001 + 0.9999*b6) + 0.00283334365263293*b6 <= 0.00283334365263293 } } Constraint e67 { Definition: { (-1 + sqr(3.17249885664207 - x164/(0.0001 + 0.9999*b7)) + sqr( 0.899014640298569 - x165/(0.0001 + 0.9999*b7)) + sqr(6.53554769882638 - x166/(0.0001 + 0.9999*b7)))*(0.0001 + 0.9999*b7) + 0.00525863600425012*b7 <= 0.00525863600425012 } } Constraint e68 { Definition: { (-1 + sqr(7.19140474364188 - x167/(0.0001 + 0.9999*b8)) + sqr( 6.78752778006733 - x168/(0.0001 + 0.9999*b8)) + sqr(7.10371917668867 - x169/(0.0001 + 0.9999*b8)))*(0.0001 + 0.9999*b8) + 0.0147249661693315*b8 <= 0.0147249661693315 } } Constraint e69 { Definition: { (-1 + sqr(0.581905599074722 - x170/(0.0001 + 0.9999*b9)) + sqr( 8.05664566308502 - x171/(0.0001 + 0.9999*b9)) + sqr(0.465270839540525 - x172/(0.0001 + 0.9999*b9)))*(0.0001 + 0.9999*b9) + 0.0064464630420868*b9 <= 0.0064464630420868 } } Constraint e70 { Definition: { (-1 + sqr(2.89314656575976 - x173/(0.0001 + 0.9999*b10)) + sqr( 2.98350648433744 - x174/(0.0001 + 0.9999*b10)) + sqr(4.94095686412664 - x175/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.00406846627262112* b10 <= 0.00406846627262112 } } Constraint e71 { Definition: { (-1 + sqr(2.18223181481477 - x176/(0.0001 + 0.9999*b11)) + sqr( 6.36734447251869 - x177/(0.0001 + 0.9999*b11)) + sqr(6.99053555821422 - x178/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.00931727987159614* b11 <= 0.00931727987159614 } } Constraint e72 { Definition: { (-1 + sqr(8.39213303571845 - x179/(0.0001 + 0.9999*b12)) + sqr( 0.0966493493157039 - x180/(0.0001 + 0.9999*b12)) + sqr(0.992650538147096 - x181/(0.0001 + 0.9999*b12)))*(0.0001 + 0.9999*b12) + 0.00704225930768039*b12 <= 0.00704225930768039 } } Constraint e73 { Definition: { (-1 + sqr(6.8673656213906 - x182/(0.0001 + 0.9999*b13)) + sqr( 8.47463209326542 - x183/(0.0001 + 0.9999*b13)) + sqr(0.494039939513553 - x184/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.0118224175155896* b13 <= 0.0118224175155896 } } Constraint e74 { Definition: { (-1 + sqr(2.07334522686175 - x185/(0.0001 + 0.9999*b14)) + sqr( 0.611759422337085 - x186/(0.0001 + 0.9999*b14)) + sqr(7.49872182399417 - x187/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.00599038390142151* b14 <= 0.00599038390142151 } } Constraint e75 { Definition: { (-1 + sqr(5.58287553353321 - x188/(0.0001 + 0.9999*b15)) + sqr( 7.41023187669618 - x189/(0.0001 + 0.9999*b15)) + sqr(5.78186220125907 - x190/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.0118509966203676* b15 <= 0.0118509966203676 } } Constraint e76 { Definition: { (-1 + sqr(3.75663662491927 - x191/(0.0001 + 0.9999*b16)) + sqr( 2.16100057183036 - x192/(0.0001 + 0.9999*b16)) + sqr(9.4954261517135 - x193/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.0107945360005781* b16 <= 0.0107945360005781 } } Constraint e77 { Definition: { (-1 + sqr(4.04360404243071 - x194/(0.0001 + 0.9999*b17)) + sqr( 7.5903513366217 - x195/(0.0001 + 0.9999*b17)) + sqr(3.71685851137678 - x196/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) + 0.00867792042589109* b17 <= 0.00867792042589109 } } Constraint e78 { Definition: { (-1 + sqr(1.45072437530262 - x197/(0.0001 + 0.9999*b18)) + sqr( 1.11420059440894 - x198/(0.0001 + 0.9999*b18)) + sqr(9.42819884441584 - x199/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.00912369776275226* b18 <= 0.00912369776275226 } } Constraint e79 { Definition: { (-1 + sqr(8.44626629441698 - x200/(0.0001 + 0.9999*b19)) + sqr( 8.81210793727421 - x201/(0.0001 + 0.9999*b19)) + sqr(9.26767041565757 - x202/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.023388237554763* b19 <= 0.023388237554763 } } Constraint e80 { Definition: { (-1 + sqr(4.74415255019913 - x203/(0.0001 + 0.9999*b20)) + sqr( 2.8194183128037 - x204/(0.0001 + 0.9999*b20)) + sqr(1.76655535189797 - x205/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.00325768208534532* b20 <= 0.00325768208534532 } } Constraint e81 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1 } } Constraint e82 { Definition: { (-1 + sqr(0.483311857356823 - x206/(0.0001 + 0.9999*b21)) + sqr( 0.114242198506904 - x207/(0.0001 + 0.9999*b21)) + sqr(7.12048883659032 - x208/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.00499480029033887* b21 <= 0.00499480029033887 } } Constraint e83 { Definition: { (-1 + sqr(5.2590135790233 - x209/(0.0001 + 0.9999*b22)) + sqr( 7.33259189570392 - x210/(0.0001 + 0.9999*b22)) + sqr(5.312333476343 - x211/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.0108645014697169* b22 <= 0.0108645014697169 } } Constraint e84 { Definition: { (-1 + sqr(7.41517046461879 - x212/(0.0001 + 0.9999*b23)) + sqr( 9.62332773098117 - x213/(0.0001 + 0.9999*b23)) + sqr(4.79943898486809 - x214/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.0169627804206698* b23 <= 0.0169627804206698 } } Constraint e85 { Definition: { (-1 + sqr(6.671843981803 - x215/(0.0001 + 0.9999*b24)) + sqr( 8.10658123259484 - x216/(0.0001 + 0.9999*b24)) + sqr(8.43381689055527 - x217/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.0180359428741595* b24 <= 0.0180359428741595 } } Constraint e86 { Definition: { (-1 + sqr(9.05870575338678 - x218/(0.0001 + 0.9999*b25)) + sqr( 8.3311941216586 - x219/(0.0001 + 0.9999*b25)) + sqr(2.43718333261179 - x220/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.0156408808015962* b25 <= 0.0156408808015962 } } Constraint e87 { Definition: { (-1 + sqr(2.45247392282192 - x221/(0.0001 + 0.9999*b26)) + sqr( 3.04490781414335 - x222/(0.0001 + 0.9999*b26)) + sqr(3.74797873360784 - x223/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.00283334365263293* b26 <= 0.00283334365263293 } } Constraint e88 { Definition: { (-1 + sqr(3.17249885664207 - x224/(0.0001 + 0.9999*b27)) + sqr( 0.899014640298569 - x225/(0.0001 + 0.9999*b27)) + sqr(6.53554769882638 - x226/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.00525863600425012* b27 <= 0.00525863600425012 } } Constraint e89 { Definition: { (-1 + sqr(7.19140474364188 - x227/(0.0001 + 0.9999*b28)) + sqr( 6.78752778006733 - x228/(0.0001 + 0.9999*b28)) + sqr(7.10371917668867 - x229/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.0147249661693315* b28 <= 0.0147249661693315 } } Constraint e90 { Definition: { (-1 + sqr(0.581905599074722 - x230/(0.0001 + 0.9999*b29)) + sqr( 8.05664566308502 - x231/(0.0001 + 0.9999*b29)) + sqr(0.465270839540525 - x232/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.0064464630420868* b29 <= 0.0064464630420868 } } Constraint e91 { Definition: { (-1 + sqr(2.89314656575976 - x233/(0.0001 + 0.9999*b30)) + sqr( 2.98350648433744 - x234/(0.0001 + 0.9999*b30)) + sqr(4.94095686412664 - x235/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.00406846627262112* b30 <= 0.00406846627262112 } } Constraint e92 { Definition: { (-1 + sqr(2.18223181481477 - x236/(0.0001 + 0.9999*b31)) + sqr( 6.36734447251869 - x237/(0.0001 + 0.9999*b31)) + sqr(6.99053555821422 - x238/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.00931727987159614* b31 <= 0.00931727987159614 } } Constraint e93 { Definition: { (-1 + sqr(8.39213303571845 - x239/(0.0001 + 0.9999*b32)) + sqr( 0.0966493493157039 - x240/(0.0001 + 0.9999*b32)) + sqr(0.992650538147096 - x241/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) + 0.00704225930768039*b32 <= 0.00704225930768039 } } Constraint e94 { Definition: { (-1 + sqr(6.8673656213906 - x242/(0.0001 + 0.9999*b33)) + sqr( 8.47463209326542 - x243/(0.0001 + 0.9999*b33)) + sqr(0.494039939513553 - x244/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.0118224175155896* b33 <= 0.0118224175155896 } } Constraint e95 { Definition: { (-1 + sqr(2.07334522686175 - x245/(0.0001 + 0.9999*b34)) + sqr( 0.611759422337085 - x246/(0.0001 + 0.9999*b34)) + sqr(7.49872182399417 - x247/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.00599038390142151* b34 <= 0.00599038390142151 } } Constraint e96 { Definition: { (-1 + sqr(5.58287553353321 - x248/(0.0001 + 0.9999*b35)) + sqr( 7.41023187669618 - x249/(0.0001 + 0.9999*b35)) + sqr(5.78186220125907 - x250/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.0118509966203676* b35 <= 0.0118509966203676 } } Constraint e97 { Definition: { (-1 + sqr(3.75663662491927 - x251/(0.0001 + 0.9999*b36)) + sqr( 2.16100057183036 - x252/(0.0001 + 0.9999*b36)) + sqr(9.4954261517135 - x253/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.0107945360005781* b36 <= 0.0107945360005781 } } Constraint e98 { Definition: { (-1 + sqr(4.04360404243071 - x254/(0.0001 + 0.9999*b37)) + sqr( 7.5903513366217 - x255/(0.0001 + 0.9999*b37)) + sqr(3.71685851137678 - x256/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.00867792042589109* b37 <= 0.00867792042589109 } } Constraint e99 { Definition: { (-1 + sqr(1.45072437530262 - x257/(0.0001 + 0.9999*b38)) + sqr( 1.11420059440894 - x258/(0.0001 + 0.9999*b38)) + sqr(9.42819884441584 - x259/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.00912369776275226* b38 <= 0.00912369776275226 } } Constraint e100 { Definition: { (-1 + sqr(8.44626629441698 - x260/(0.0001 + 0.9999*b39)) + sqr( 8.81210793727421 - x261/(0.0001 + 0.9999*b39)) + sqr(9.26767041565757 - x262/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.023388237554763* b39 <= 0.023388237554763 } } Constraint e101 { Definition: { (-1 + sqr(4.74415255019913 - x263/(0.0001 + 0.9999*b40)) + sqr( 2.8194183128037 - x264/(0.0001 + 0.9999*b40)) + sqr(1.76655535189797 - x265/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.00325768208534532 *b40 <= 0.00325768208534532 } } Constraint e102 { Definition: { b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 } } Constraint e103 { Definition: { (-1 + sqr(0.483311857356823 - x266/(0.0001 + 0.9999*b41)) + sqr( 0.114242198506904 - x267/(0.0001 + 0.9999*b41)) + sqr(7.12048883659032 - x268/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) + 0.00499480029033887*b41 <= 0.00499480029033887 } } Constraint e104 { Definition: { (-1 + sqr(5.2590135790233 - x269/(0.0001 + 0.9999*b42)) + sqr( 7.33259189570392 - x270/(0.0001 + 0.9999*b42)) + sqr(5.312333476343 - x271/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.0108645014697169* b42 <= 0.0108645014697169 } } Constraint e105 { Definition: { (-1 + sqr(7.41517046461879 - x272/(0.0001 + 0.9999*b43)) + sqr( 9.62332773098117 - x273/(0.0001 + 0.9999*b43)) + sqr(4.79943898486809 - x274/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.0169627804206698* b43 <= 0.0169627804206698 } } Constraint e106 { Definition: { (-1 + sqr(6.671843981803 - x275/(0.0001 + 0.9999*b44)) + sqr( 8.10658123259484 - x276/(0.0001 + 0.9999*b44)) + sqr(8.43381689055527 - x277/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.0180359428741595* b44 <= 0.0180359428741595 } } Constraint e107 { Definition: { (-1 + sqr(9.05870575338678 - x278/(0.0001 + 0.9999*b45)) + sqr( 8.3311941216586 - x279/(0.0001 + 0.9999*b45)) + sqr(2.43718333261179 - x280/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.0156408808015962* b45 <= 0.0156408808015962 } } Constraint e108 { Definition: { (-1 + sqr(2.45247392282192 - x281/(0.0001 + 0.9999*b46)) + sqr( 3.04490781414335 - x282/(0.0001 + 0.9999*b46)) + sqr(3.74797873360784 - x283/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.00283334365263293 *b46 <= 0.00283334365263293 } } Constraint e109 { Definition: { (-1 + sqr(3.17249885664207 - x284/(0.0001 + 0.9999*b47)) + sqr( 0.899014640298569 - x285/(0.0001 + 0.9999*b47)) + sqr(6.53554769882638 - x286/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) + 0.00525863600425012*b47 <= 0.00525863600425012 } } Constraint e110 { Definition: { (-1 + sqr(7.19140474364188 - x287/(0.0001 + 0.9999*b48)) + sqr( 6.78752778006733 - x288/(0.0001 + 0.9999*b48)) + sqr(7.10371917668867 - x289/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.0147249661693315* b48 <= 0.0147249661693315 } } Constraint e111 { Definition: { (-1 + sqr(0.581905599074722 - x290/(0.0001 + 0.9999*b49)) + sqr( 8.05664566308502 - x291/(0.0001 + 0.9999*b49)) + sqr(0.465270839540525 - x292/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) + 0.0064464630420868*b49 <= 0.0064464630420868 } } Constraint e112 { Definition: { (-1 + sqr(2.89314656575976 - x293/(0.0001 + 0.9999*b50)) + sqr( 2.98350648433744 - x294/(0.0001 + 0.9999*b50)) + sqr(4.94095686412664 - x295/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.00406846627262112 *b50 <= 0.00406846627262112 } } Constraint e113 { Definition: { (-1 + sqr(2.18223181481477 - x296/(0.0001 + 0.9999*b51)) + sqr( 6.36734447251869 - x297/(0.0001 + 0.9999*b51)) + sqr(6.99053555821422 - x298/(0.0001 + 0.9999*b51)))*(0.0001 + 0.9999*b51) + 0.00931727987159614 *b51 <= 0.00931727987159614 } } Constraint e114 { Definition: { (-1 + sqr(8.39213303571845 - x299/(0.0001 + 0.9999*b52)) + sqr( 0.0966493493157039 - x300/(0.0001 + 0.9999*b52)) + sqr(0.992650538147096 - x301/(0.0001 + 0.9999*b52)))*(0.0001 + 0.9999*b52) + 0.00704225930768039*b52 <= 0.00704225930768039 } } Constraint e115 { Definition: { (-1 + sqr(6.8673656213906 - x302/(0.0001 + 0.9999*b53)) + sqr( 8.47463209326542 - x303/(0.0001 + 0.9999*b53)) + sqr(0.494039939513553 - x304/(0.0001 + 0.9999*b53)))*(0.0001 + 0.9999*b53) + 0.0118224175155896*b53 <= 0.0118224175155896 } } Constraint e116 { Definition: { (-1 + sqr(2.07334522686175 - x305/(0.0001 + 0.9999*b54)) + sqr( 0.611759422337085 - x306/(0.0001 + 0.9999*b54)) + sqr(7.49872182399417 - x307/(0.0001 + 0.9999*b54)))*(0.0001 + 0.9999*b54) + 0.00599038390142151*b54 <= 0.00599038390142151 } } Constraint e117 { Definition: { (-1 + sqr(5.58287553353321 - x308/(0.0001 + 0.9999*b55)) + sqr( 7.41023187669618 - x309/(0.0001 + 0.9999*b55)) + sqr(5.78186220125907 - x310/(0.0001 + 0.9999*b55)))*(0.0001 + 0.9999*b55) + 0.0118509966203676* b55 <= 0.0118509966203676 } } Constraint e118 { Definition: { (-1 + sqr(3.75663662491927 - x311/(0.0001 + 0.9999*b56)) + sqr( 2.16100057183036 - x312/(0.0001 + 0.9999*b56)) + sqr(9.4954261517135 - x313/(0.0001 + 0.9999*b56)))*(0.0001 + 0.9999*b56) + 0.0107945360005781* b56 <= 0.0107945360005781 } } Constraint e119 { Definition: { (-1 + sqr(4.04360404243071 - x314/(0.0001 + 0.9999*b57)) + sqr( 7.5903513366217 - x315/(0.0001 + 0.9999*b57)) + sqr(3.71685851137678 - x316/(0.0001 + 0.9999*b57)))*(0.0001 + 0.9999*b57) + 0.00867792042589109 *b57 <= 0.00867792042589109 } } Constraint e120 { Definition: { (-1 + sqr(1.45072437530262 - x317/(0.0001 + 0.9999*b58)) + sqr( 1.11420059440894 - x318/(0.0001 + 0.9999*b58)) + sqr(9.42819884441584 - x319/(0.0001 + 0.9999*b58)))*(0.0001 + 0.9999*b58) + 0.00912369776275226 *b58 <= 0.00912369776275226 } } Constraint e121 { Definition: { (-1 + sqr(8.44626629441698 - x320/(0.0001 + 0.9999*b59)) + sqr( 8.81210793727421 - x321/(0.0001 + 0.9999*b59)) + sqr(9.26767041565757 - x322/(0.0001 + 0.9999*b59)))*(0.0001 + 0.9999*b59) + 0.023388237554763* b59 <= 0.023388237554763 } } Constraint e122 { Definition: { (-1 + sqr(4.74415255019913 - x323/(0.0001 + 0.9999*b60)) + sqr( 2.8194183128037 - x324/(0.0001 + 0.9999*b60)) + sqr(1.76655535189797 - x325/(0.0001 + 0.9999*b60)))*(0.0001 + 0.9999*b60) + 0.00325768208534532 *b60 <= 0.00325768208534532 } } Constraint e123 { Definition: { b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 } } Constraint e124 { Definition: { (-1 + sqr(0.483311857356823 - x326/(0.0001 + 0.9999*b61)) + sqr( 0.114242198506904 - x327/(0.0001 + 0.9999*b61)) + sqr(7.12048883659032 - x328/(0.0001 + 0.9999*b61)))*(0.0001 + 0.9999*b61) + 0.00499480029033887*b61 <= 0.00499480029033887 } } Constraint e125 { Definition: { (-1 + sqr(5.2590135790233 - x329/(0.0001 + 0.9999*b62)) + sqr( 7.33259189570392 - x330/(0.0001 + 0.9999*b62)) + sqr(5.312333476343 - x331/(0.0001 + 0.9999*b62)))*(0.0001 + 0.9999*b62) + 0.0108645014697169* b62 <= 0.0108645014697169 } } Constraint e126 { Definition: { (-1 + sqr(7.41517046461879 - x332/(0.0001 + 0.9999*b63)) + sqr( 9.62332773098117 - x333/(0.0001 + 0.9999*b63)) + sqr(4.79943898486809 - x334/(0.0001 + 0.9999*b63)))*(0.0001 + 0.9999*b63) + 0.0169627804206698* b63 <= 0.0169627804206698 } } Constraint e127 { Definition: { (-1 + sqr(6.671843981803 - x335/(0.0001 + 0.9999*b64)) + sqr( 8.10658123259484 - x336/(0.0001 + 0.9999*b64)) + sqr(8.43381689055527 - x337/(0.0001 + 0.9999*b64)))*(0.0001 + 0.9999*b64) + 0.0180359428741595* b64 <= 0.0180359428741595 } } Constraint e128 { Definition: { (-1 + sqr(9.05870575338678 - x338/(0.0001 + 0.9999*b65)) + sqr( 8.3311941216586 - x339/(0.0001 + 0.9999*b65)) + sqr(2.43718333261179 - x340/(0.0001 + 0.9999*b65)))*(0.0001 + 0.9999*b65) + 0.0156408808015962* b65 <= 0.0156408808015962 } } Constraint e129 { Definition: { (-1 + sqr(2.45247392282192 - x341/(0.0001 + 0.9999*b66)) + sqr( 3.04490781414335 - x342/(0.0001 + 0.9999*b66)) + sqr(3.74797873360784 - x343/(0.0001 + 0.9999*b66)))*(0.0001 + 0.9999*b66) + 0.00283334365263293 *b66 <= 0.00283334365263293 } } Constraint e130 { Definition: { (-1 + sqr(3.17249885664207 - x344/(0.0001 + 0.9999*b67)) + sqr( 0.899014640298569 - x345/(0.0001 + 0.9999*b67)) + sqr(6.53554769882638 - x346/(0.0001 + 0.9999*b67)))*(0.0001 + 0.9999*b67) + 0.00525863600425012*b67 <= 0.00525863600425012 } } Constraint e131 { Definition: { (-1 + sqr(7.19140474364188 - x347/(0.0001 + 0.9999*b68)) + sqr( 6.78752778006733 - x348/(0.0001 + 0.9999*b68)) + sqr(7.10371917668867 - x349/(0.0001 + 0.9999*b68)))*(0.0001 + 0.9999*b68) + 0.0147249661693315* b68 <= 0.0147249661693315 } } Constraint e132 { Definition: { (-1 + sqr(0.581905599074722 - x350/(0.0001 + 0.9999*b69)) + sqr( 8.05664566308502 - x351/(0.0001 + 0.9999*b69)) + sqr(0.465270839540525 - x352/(0.0001 + 0.9999*b69)))*(0.0001 + 0.9999*b69) + 0.0064464630420868*b69 <= 0.0064464630420868 } } Constraint e133 { Definition: { (-1 + sqr(2.89314656575976 - x353/(0.0001 + 0.9999*b70)) + sqr( 2.98350648433744 - x354/(0.0001 + 0.9999*b70)) + sqr(4.94095686412664 - x355/(0.0001 + 0.9999*b70)))*(0.0001 + 0.9999*b70) + 0.00406846627262112 *b70 <= 0.00406846627262112 } } Constraint e134 { Definition: { (-1 + sqr(2.18223181481477 - x356/(0.0001 + 0.9999*b71)) + sqr( 6.36734447251869 - x357/(0.0001 + 0.9999*b71)) + sqr(6.99053555821422 - x358/(0.0001 + 0.9999*b71)))*(0.0001 + 0.9999*b71) + 0.00931727987159614 *b71 <= 0.00931727987159614 } } Constraint e135 { Definition: { (-1 + sqr(8.39213303571845 - x359/(0.0001 + 0.9999*b72)) + sqr( 0.0966493493157039 - x360/(0.0001 + 0.9999*b72)) + sqr(0.992650538147096 - x361/(0.0001 + 0.9999*b72)))*(0.0001 + 0.9999*b72) + 0.00704225930768039*b72 <= 0.00704225930768039 } } Constraint e136 { Definition: { (-1 + sqr(6.8673656213906 - x362/(0.0001 + 0.9999*b73)) + sqr( 8.47463209326542 - x363/(0.0001 + 0.9999*b73)) + sqr(0.494039939513553 - x364/(0.0001 + 0.9999*b73)))*(0.0001 + 0.9999*b73) + 0.0118224175155896*b73 <= 0.0118224175155896 } } Constraint e137 { Definition: { (-1 + sqr(2.07334522686175 - x365/(0.0001 + 0.9999*b74)) + sqr( 0.611759422337085 - x366/(0.0001 + 0.9999*b74)) + sqr(7.49872182399417 - x367/(0.0001 + 0.9999*b74)))*(0.0001 + 0.9999*b74) + 0.00599038390142151*b74 <= 0.00599038390142151 } } Constraint e138 { Definition: { (-1 + sqr(5.58287553353321 - x368/(0.0001 + 0.9999*b75)) + sqr( 7.41023187669618 - x369/(0.0001 + 0.9999*b75)) + sqr(5.78186220125907 - x370/(0.0001 + 0.9999*b75)))*(0.0001 + 0.9999*b75) + 0.0118509966203676* b75 <= 0.0118509966203676 } } Constraint e139 { Definition: { (-1 + sqr(3.75663662491927 - x371/(0.0001 + 0.9999*b76)) + sqr( 2.16100057183036 - x372/(0.0001 + 0.9999*b76)) + sqr(9.4954261517135 - x373/(0.0001 + 0.9999*b76)))*(0.0001 + 0.9999*b76) + 0.0107945360005781* b76 <= 0.0107945360005781 } } Constraint e140 { Definition: { (-1 + sqr(4.04360404243071 - x374/(0.0001 + 0.9999*b77)) + sqr( 7.5903513366217 - x375/(0.0001 + 0.9999*b77)) + sqr(3.71685851137678 - x376/(0.0001 + 0.9999*b77)))*(0.0001 + 0.9999*b77) + 0.00867792042589109 *b77 <= 0.00867792042589109 } } Constraint e141 { Definition: { (-1 + sqr(1.45072437530262 - x377/(0.0001 + 0.9999*b78)) + sqr( 1.11420059440894 - x378/(0.0001 + 0.9999*b78)) + sqr(9.42819884441584 - x379/(0.0001 + 0.9999*b78)))*(0.0001 + 0.9999*b78) + 0.00912369776275226 *b78 <= 0.00912369776275226 } } Constraint e142 { Definition: { (-1 + sqr(8.44626629441698 - x380/(0.0001 + 0.9999*b79)) + sqr( 8.81210793727421 - x381/(0.0001 + 0.9999*b79)) + sqr(9.26767041565757 - x382/(0.0001 + 0.9999*b79)))*(0.0001 + 0.9999*b79) + 0.023388237554763* b79 <= 0.023388237554763 } } Constraint e143 { Definition: { (-1 + sqr(4.74415255019913 - x383/(0.0001 + 0.9999*b80)) + sqr( 2.8194183128037 - x384/(0.0001 + 0.9999*b80)) + sqr(1.76655535189797 - x385/(0.0001 + 0.9999*b80)))*(0.0001 + 0.9999*b80) + 0.00325768208534532 *b80 <= 0.00325768208534532 } } Constraint e144 { Definition: { b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1 } } Constraint e145 { Definition: { (-1 + sqr(0.483311857356823 - x386/(0.0001 + 0.9999*b81)) + sqr( 0.114242198506904 - x387/(0.0001 + 0.9999*b81)) + sqr(7.12048883659032 - x388/(0.0001 + 0.9999*b81)))*(0.0001 + 0.9999*b81) + 0.00499480029033887*b81 <= 0.00499480029033887 } } Constraint e146 { Definition: { (-1 + sqr(5.2590135790233 - x389/(0.0001 + 0.9999*b82)) + sqr( 7.33259189570392 - x390/(0.0001 + 0.9999*b82)) + sqr(5.312333476343 - x391/(0.0001 + 0.9999*b82)))*(0.0001 + 0.9999*b82) + 0.0108645014697169* b82 <= 0.0108645014697169 } } Constraint e147 { Definition: { (-1 + sqr(7.41517046461879 - x392/(0.0001 + 0.9999*b83)) + sqr( 9.62332773098117 - x393/(0.0001 + 0.9999*b83)) + sqr(4.79943898486809 - x394/(0.0001 + 0.9999*b83)))*(0.0001 + 0.9999*b83) + 0.0169627804206698* b83 <= 0.0169627804206698 } } Constraint e148 { Definition: { (-1 + sqr(6.671843981803 - x395/(0.0001 + 0.9999*b84)) + sqr( 8.10658123259484 - x396/(0.0001 + 0.9999*b84)) + sqr(8.43381689055527 - x397/(0.0001 + 0.9999*b84)))*(0.0001 + 0.9999*b84) + 0.0180359428741595* b84 <= 0.0180359428741595 } } Constraint e149 { Definition: { (-1 + sqr(9.05870575338678 - x398/(0.0001 + 0.9999*b85)) + sqr( 8.3311941216586 - x399/(0.0001 + 0.9999*b85)) + sqr(2.43718333261179 - x400/(0.0001 + 0.9999*b85)))*(0.0001 + 0.9999*b85) + 0.0156408808015962* b85 <= 0.0156408808015962 } } Constraint e150 { Definition: { (-1 + sqr(2.45247392282192 - x401/(0.0001 + 0.9999*b86)) + sqr( 3.04490781414335 - x402/(0.0001 + 0.9999*b86)) + sqr(3.74797873360784 - x403/(0.0001 + 0.9999*b86)))*(0.0001 + 0.9999*b86) + 0.00283334365263293 *b86 <= 0.00283334365263293 } } Constraint e151 { Definition: { (-1 + sqr(3.17249885664207 - x404/(0.0001 + 0.9999*b87)) + sqr( 0.899014640298569 - x405/(0.0001 + 0.9999*b87)) + sqr(6.53554769882638 - x406/(0.0001 + 0.9999*b87)))*(0.0001 + 0.9999*b87) + 0.00525863600425012*b87 <= 0.00525863600425012 } } Constraint e152 { Definition: { (-1 + sqr(7.19140474364188 - x407/(0.0001 + 0.9999*b88)) + sqr( 6.78752778006733 - x408/(0.0001 + 0.9999*b88)) + sqr(7.10371917668867 - x409/(0.0001 + 0.9999*b88)))*(0.0001 + 0.9999*b88) + 0.0147249661693315* b88 <= 0.0147249661693315 } } Constraint e153 { Definition: { (-1 + sqr(0.581905599074722 - x410/(0.0001 + 0.9999*b89)) + sqr( 8.05664566308502 - x411/(0.0001 + 0.9999*b89)) + sqr(0.465270839540525 - x412/(0.0001 + 0.9999*b89)))*(0.0001 + 0.9999*b89) + 0.0064464630420868*b89 <= 0.0064464630420868 } } Constraint e154 { Definition: { (-1 + sqr(2.89314656575976 - x413/(0.0001 + 0.9999*b90)) + sqr( 2.98350648433744 - x414/(0.0001 + 0.9999*b90)) + sqr(4.94095686412664 - x415/(0.0001 + 0.9999*b90)))*(0.0001 + 0.9999*b90) + 0.00406846627262112 *b90 <= 0.00406846627262112 } } Constraint e155 { Definition: { (-1 + sqr(2.18223181481477 - x416/(0.0001 + 0.9999*b91)) + sqr( 6.36734447251869 - x417/(0.0001 + 0.9999*b91)) + sqr(6.99053555821422 - x418/(0.0001 + 0.9999*b91)))*(0.0001 + 0.9999*b91) + 0.00931727987159614 *b91 <= 0.00931727987159614 } } Constraint e156 { Definition: { (-1 + sqr(8.39213303571845 - x419/(0.0001 + 0.9999*b92)) + sqr( 0.0966493493157039 - x420/(0.0001 + 0.9999*b92)) + sqr(0.992650538147096 - x421/(0.0001 + 0.9999*b92)))*(0.0001 + 0.9999*b92) + 0.00704225930768039*b92 <= 0.00704225930768039 } } Constraint e157 { Definition: { (-1 + sqr(6.8673656213906 - x422/(0.0001 + 0.9999*b93)) + sqr( 8.47463209326542 - x423/(0.0001 + 0.9999*b93)) + sqr(0.494039939513553 - x424/(0.0001 + 0.9999*b93)))*(0.0001 + 0.9999*b93) + 0.0118224175155896*b93 <= 0.0118224175155896 } } Constraint e158 { Definition: { (-1 + sqr(2.07334522686175 - x425/(0.0001 + 0.9999*b94)) + sqr( 0.611759422337085 - x426/(0.0001 + 0.9999*b94)) + sqr(7.49872182399417 - x427/(0.0001 + 0.9999*b94)))*(0.0001 + 0.9999*b94) + 0.00599038390142151*b94 <= 0.00599038390142151 } } Constraint e159 { Definition: { (-1 + sqr(5.58287553353321 - x428/(0.0001 + 0.9999*b95)) + sqr( 7.41023187669618 - x429/(0.0001 + 0.9999*b95)) + sqr(5.78186220125907 - x430/(0.0001 + 0.9999*b95)))*(0.0001 + 0.9999*b95) + 0.0118509966203676* b95 <= 0.0118509966203676 } } Constraint e160 { Definition: { (-1 + sqr(3.75663662491927 - x431/(0.0001 + 0.9999*b96)) + sqr( 2.16100057183036 - x432/(0.0001 + 0.9999*b96)) + sqr(9.4954261517135 - x433/(0.0001 + 0.9999*b96)))*(0.0001 + 0.9999*b96) + 0.0107945360005781* b96 <= 0.0107945360005781 } } Constraint e161 { Definition: { (-1 + sqr(4.04360404243071 - x434/(0.0001 + 0.9999*b97)) + sqr( 7.5903513366217 - x435/(0.0001 + 0.9999*b97)) + sqr(3.71685851137678 - x436/(0.0001 + 0.9999*b97)))*(0.0001 + 0.9999*b97) + 0.00867792042589109 *b97 <= 0.00867792042589109 } } Constraint e162 { Definition: { (-1 + sqr(1.45072437530262 - x437/(0.0001 + 0.9999*b98)) + sqr( 1.11420059440894 - x438/(0.0001 + 0.9999*b98)) + sqr(9.42819884441584 - x439/(0.0001 + 0.9999*b98)))*(0.0001 + 0.9999*b98) + 0.00912369776275226 *b98 <= 0.00912369776275226 } } Constraint e163 { Definition: { (-1 + sqr(8.44626629441698 - x440/(0.0001 + 0.9999*b99)) + sqr( 8.81210793727421 - x441/(0.0001 + 0.9999*b99)) + sqr(9.26767041565757 - x442/(0.0001 + 0.9999*b99)))*(0.0001 + 0.9999*b99) + 0.023388237554763* b99 <= 0.023388237554763 } } Constraint e164 { Definition: { (-1 + sqr(4.74415255019913 - x443/(0.0001 + 0.9999*b100)) + sqr( 2.8194183128037 - x444/(0.0001 + 0.9999*b100)) + sqr(1.76655535189797 - x445/(0.0001 + 0.9999*b100)))*(0.0001 + 0.9999*b100) + 0.00325768208534532*b100 <= 0.00325768208534532 } } Constraint e165 { Definition: { b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 = 1 } } Constraint e166 { Definition: b1 + b21 + b41 + b61 + b81 <= 1; } Constraint e167 { Definition: b2 + b22 + b42 + b62 + b82 <= 1; } Constraint e168 { Definition: b3 + b23 + b43 + b63 + b83 <= 1; } Constraint e169 { Definition: b4 + b24 + b44 + b64 + b84 <= 1; } Constraint e170 { Definition: b5 + b25 + b45 + b65 + b85 <= 1; } Constraint e171 { Definition: b6 + b26 + b46 + b66 + b86 <= 1; } Constraint e172 { Definition: b7 + b27 + b47 + b67 + b87 <= 1; } Constraint e173 { Definition: b8 + b28 + b48 + b68 + b88 <= 1; } Constraint e174 { Definition: b9 + b29 + b49 + b69 + b89 <= 1; } Constraint e175 { Definition: b10 + b30 + b50 + b70 + b90 <= 1; } Constraint e176 { Definition: b11 + b31 + b51 + b71 + b91 <= 1; } Constraint e177 { Definition: b12 + b32 + b52 + b72 + b92 <= 1; } Constraint e178 { Definition: b13 + b33 + b53 + b73 + b93 <= 1; } Constraint e179 { Definition: b14 + b34 + b54 + b74 + b94 <= 1; } Constraint e180 { Definition: b15 + b35 + b55 + b75 + b95 <= 1; } Constraint e181 { Definition: b16 + b36 + b56 + b76 + b96 <= 1; } Constraint e182 { Definition: b17 + b37 + b57 + b77 + b97 <= 1; } Constraint e183 { Definition: b18 + b38 + b58 + b78 + b98 <= 1; } Constraint e184 { Definition: b19 + b39 + b59 + b79 + b99 <= 1; } Constraint e185 { Definition: b20 + b40 + b60 + b80 + b100 <= 1; } Constraint e186 { Definition: { - x101 + x146 + x149 + x152 + x155 + x158 + x161 + x164 + x167 + x170 + x173 + x176 + x179 + x182 + x185 + x188 + x191 + x194 + x197 + x200 + x203 = 0 } } Constraint e187 { Definition: { - x104 + x147 + x150 + x153 + x156 + x159 + x162 + x165 + x168 + x171 + x174 + x177 + x180 + x183 + x186 + x189 + x192 + x195 + x198 + x201 + x204 = 0 } } Constraint e188 { Definition: { - x107 + x148 + x151 + x154 + x157 + x160 + x163 + x166 + x169 + x172 + x175 + x178 + x181 + x184 + x187 + x190 + x193 + x196 + x199 + x202 + x205 = 0 } } Constraint e189 { Definition: { - x102 + x206 + x209 + x212 + x215 + x218 + x221 + x224 + x227 + x230 + x233 + x236 + x239 + x242 + x245 + x248 + x251 + x254 + x257 + x260 + x263 = 0 } } Constraint e190 { Definition: { - x105 + x207 + x210 + x213 + x216 + x219 + x222 + x225 + x228 + x231 + x234 + x237 + x240 + x243 + x246 + x249 + x252 + x255 + x258 + x261 + x264 = 0 } } Constraint e191 { Definition: { - x108 + x208 + x211 + x214 + x217 + x220 + x223 + x226 + x229 + x232 + x235 + x238 + x241 + x244 + x247 + x250 + x253 + x256 + x259 + x262 + x265 = 0 } } Constraint e192 { Definition: { - x110 + x266 + x269 + x272 + x275 + x278 + x281 + x284 + x287 + x290 + x293 + x296 + x299 + x302 + x305 + x308 + x311 + x314 + x317 + x320 + x323 = 0 } } Constraint e193 { Definition: { - x112 + x267 + x270 + x273 + x276 + x279 + x282 + x285 + x288 + x291 + x294 + x297 + x300 + x303 + x306 + x309 + x312 + x315 + x318 + x321 + x324 = 0 } } Constraint e194 { Definition: { - x114 + x268 + x271 + x274 + x277 + x280 + x283 + x286 + x289 + x292 + x295 + x298 + x301 + x304 + x307 + x310 + x313 + x316 + x319 + x322 + x325 = 0 } } Constraint e195 { Definition: { - x116 + x326 + x329 + x332 + x335 + x338 + x341 + x344 + x347 + x350 + x353 + x356 + x359 + x362 + x365 + x368 + x371 + x374 + x377 + x380 + x383 = 0 } } Constraint e196 { Definition: { - x118 + x327 + x330 + x333 + x336 + x339 + x342 + x345 + x348 + x351 + x354 + x357 + x360 + x363 + x366 + x369 + x372 + x375 + x378 + x381 + x384 = 0 } } Constraint e197 { Definition: { - x120 + x328 + x331 + x334 + x337 + x340 + x343 + x346 + x349 + x352 + x355 + x358 + x361 + x364 + x367 + x370 + x373 + x376 + x379 + x382 + x385 = 0 } } Constraint e198 { Definition: { - x122 + x386 + x389 + x392 + x395 + x398 + x401 + x404 + x407 + x410 + x413 + x416 + x419 + x422 + x425 + x428 + x431 + x434 + x437 + x440 + x443 = 0 } } Constraint e199 { Definition: { - x124 + x387 + x390 + x393 + x396 + x399 + x402 + x405 + x408 + x411 + x414 + x417 + x420 + x423 + x426 + x429 + x432 + x435 + x438 + x441 + x444 = 0 } } Constraint e200 { Definition: { - x126 + x388 + x391 + x394 + x397 + x400 + x403 + x406 + x409 + x412 + x415 + x418 + x421 + x424 + x427 + x430 + x433 + x436 + x439 + x442 + x445 = 0 } } Constraint e201 { Definition: - 10*b1 + x146 <= 0; } Constraint e202 { Definition: - 10*b2 + x149 <= 0; } Constraint e203 { Definition: - 10*b3 + x152 <= 0; } Constraint e204 { Definition: - 10*b4 + x155 <= 0; } Constraint e205 { Definition: - 10*b5 + x158 <= 0; } Constraint e206 { Definition: - 10*b6 + x161 <= 0; } Constraint e207 { Definition: - 10*b7 + x164 <= 0; } Constraint e208 { Definition: - 10*b8 + x167 <= 0; } Constraint e209 { Definition: - 10*b9 + x170 <= 0; } Constraint e210 { Definition: - 10*b10 + x173 <= 0; } Constraint e211 { Definition: - 10*b11 + x176 <= 0; } Constraint e212 { Definition: - 10*b12 + x179 <= 0; } Constraint e213 { Definition: - 10*b13 + x182 <= 0; } Constraint e214 { Definition: - 10*b14 + x185 <= 0; } Constraint e215 { Definition: - 10*b15 + x188 <= 0; } Constraint e216 { Definition: - 10*b16 + x191 <= 0; } Constraint e217 { Definition: - 10*b17 + x194 <= 0; } Constraint e218 { Definition: - 10*b18 + x197 <= 0; } Constraint e219 { Definition: - 10*b19 + x200 <= 0; } Constraint e220 { Definition: - 10*b20 + x203 <= 0; } Constraint e221 { Definition: - 10*b1 + x147 <= 0; } Constraint e222 { Definition: - 10*b2 + x150 <= 0; } Constraint e223 { Definition: - 10*b3 + x153 <= 0; } Constraint e224 { Definition: - 10*b4 + x156 <= 0; } Constraint e225 { Definition: - 10*b5 + x159 <= 0; } Constraint e226 { Definition: - 10*b6 + x162 <= 0; } Constraint e227 { Definition: - 10*b7 + x165 <= 0; } Constraint e228 { Definition: - 10*b8 + x168 <= 0; } Constraint e229 { Definition: - 10*b9 + x171 <= 0; } Constraint e230 { Definition: - 10*b10 + x174 <= 0; } Constraint e231 { Definition: - 10*b11 + x177 <= 0; } Constraint e232 { Definition: - 10*b12 + x180 <= 0; } Constraint e233 { Definition: - 10*b13 + x183 <= 0; } Constraint e234 { Definition: - 10*b14 + x186 <= 0; } Constraint e235 { Definition: - 10*b15 + x189 <= 0; } Constraint e236 { Definition: - 10*b16 + x192 <= 0; } Constraint e237 { Definition: - 10*b17 + x195 <= 0; } Constraint e238 { Definition: - 10*b18 + x198 <= 0; } Constraint e239 { Definition: - 10*b19 + x201 <= 0; } Constraint e240 { Definition: - 10*b20 + x204 <= 0; } Constraint e241 { Definition: - 10*b1 + x148 <= 0; } Constraint e242 { Definition: - 10*b2 + x151 <= 0; } Constraint e243 { Definition: - 10*b3 + x154 <= 0; } Constraint e244 { Definition: - 10*b4 + x157 <= 0; } Constraint e245 { Definition: - 10*b5 + x160 <= 0; } Constraint e246 { Definition: - 10*b6 + x163 <= 0; } Constraint e247 { Definition: - 10*b7 + x166 <= 0; } Constraint e248 { Definition: - 10*b8 + x169 <= 0; } Constraint e249 { Definition: - 10*b9 + x172 <= 0; } Constraint e250 { Definition: - 10*b10 + x175 <= 0; } Constraint e251 { Definition: - 10*b11 + x178 <= 0; } Constraint e252 { Definition: - 10*b12 + x181 <= 0; } Constraint e253 { Definition: - 10*b13 + x184 <= 0; } Constraint e254 { Definition: - 10*b14 + x187 <= 0; } Constraint e255 { Definition: - 10*b15 + x190 <= 0; } Constraint e256 { Definition: - 10*b16 + x193 <= 0; } Constraint e257 { Definition: - 10*b17 + x196 <= 0; } Constraint e258 { Definition: - 10*b18 + x199 <= 0; } Constraint e259 { Definition: - 10*b19 + x202 <= 0; } Constraint e260 { Definition: - 10*b20 + x205 <= 0; } Constraint e261 { Definition: - 10*b21 + x206 <= 0; } Constraint e262 { Definition: - 10*b22 + x209 <= 0; } Constraint e263 { Definition: - 10*b23 + x212 <= 0; } Constraint e264 { Definition: - 10*b24 + x215 <= 0; } Constraint e265 { Definition: - 10*b25 + x218 <= 0; } Constraint e266 { Definition: - 10*b26 + x221 <= 0; } Constraint e267 { Definition: - 10*b27 + x224 <= 0; } Constraint e268 { Definition: - 10*b28 + x227 <= 0; } Constraint e269 { Definition: - 10*b29 + x230 <= 0; } Constraint e270 { Definition: - 10*b30 + x233 <= 0; } Constraint e271 { Definition: - 10*b31 + x236 <= 0; } Constraint e272 { Definition: - 10*b32 + x239 <= 0; } Constraint e273 { Definition: - 10*b33 + x242 <= 0; } Constraint e274 { Definition: - 10*b34 + x245 <= 0; } Constraint e275 { Definition: - 10*b35 + x248 <= 0; } Constraint e276 { Definition: - 10*b36 + x251 <= 0; } Constraint e277 { Definition: - 10*b37 + x254 <= 0; } Constraint e278 { Definition: - 10*b38 + x257 <= 0; } Constraint e279 { Definition: - 10*b39 + x260 <= 0; } Constraint e280 { Definition: - 10*b40 + x263 <= 0; } Constraint e281 { Definition: - 10*b21 + x207 <= 0; } Constraint e282 { Definition: - 10*b22 + x210 <= 0; } Constraint e283 { Definition: - 10*b23 + x213 <= 0; } Constraint e284 { Definition: - 10*b24 + x216 <= 0; } Constraint e285 { Definition: - 10*b25 + x219 <= 0; } Constraint e286 { Definition: - 10*b26 + x222 <= 0; } Constraint e287 { Definition: - 10*b27 + x225 <= 0; } Constraint e288 { Definition: - 10*b28 + x228 <= 0; } Constraint e289 { Definition: - 10*b29 + x231 <= 0; } Constraint e290 { Definition: - 10*b30 + x234 <= 0; } Constraint e291 { Definition: - 10*b31 + x237 <= 0; } Constraint e292 { Definition: - 10*b32 + x240 <= 0; } Constraint e293 { Definition: - 10*b33 + x243 <= 0; } Constraint e294 { Definition: - 10*b34 + x246 <= 0; } Constraint e295 { Definition: - 10*b35 + x249 <= 0; } Constraint e296 { Definition: - 10*b36 + x252 <= 0; } Constraint e297 { Definition: - 10*b37 + x255 <= 0; } Constraint e298 { Definition: - 10*b38 + x258 <= 0; } Constraint e299 { Definition: - 10*b39 + x261 <= 0; } Constraint e300 { Definition: - 10*b40 + x264 <= 0; } Constraint e301 { Definition: - 10*b21 + x208 <= 0; } Constraint e302 { Definition: - 10*b22 + x211 <= 0; } Constraint e303 { Definition: - 10*b23 + x214 <= 0; } Constraint e304 { Definition: - 10*b24 + x217 <= 0; } Constraint e305 { Definition: - 10*b25 + x220 <= 0; } Constraint e306 { Definition: - 10*b26 + x223 <= 0; } Constraint e307 { Definition: - 10*b27 + x226 <= 0; } Constraint e308 { Definition: - 10*b28 + x229 <= 0; } Constraint e309 { Definition: - 10*b29 + x232 <= 0; } Constraint e310 { Definition: - 10*b30 + x235 <= 0; } Constraint e311 { Definition: - 10*b31 + x238 <= 0; } Constraint e312 { Definition: - 10*b32 + x241 <= 0; } Constraint e313 { Definition: - 10*b33 + x244 <= 0; } Constraint e314 { Definition: - 10*b34 + x247 <= 0; } Constraint e315 { Definition: - 10*b35 + x250 <= 0; } Constraint e316 { Definition: - 10*b36 + x253 <= 0; } Constraint e317 { Definition: - 10*b37 + x256 <= 0; } Constraint e318 { Definition: - 10*b38 + x259 <= 0; } Constraint e319 { Definition: - 10*b39 + x262 <= 0; } Constraint e320 { Definition: - 10*b40 + x265 <= 0; } Constraint e321 { Definition: - 10*b41 + x266 <= 0; } Constraint e322 { Definition: - 10*b42 + x269 <= 0; } Constraint e323 { Definition: - 10*b43 + x272 <= 0; } Constraint e324 { Definition: - 10*b44 + x275 <= 0; } Constraint e325 { Definition: - 10*b45 + x278 <= 0; } Constraint e326 { Definition: - 10*b46 + x281 <= 0; } Constraint e327 { Definition: - 10*b47 + x284 <= 0; } Constraint e328 { Definition: - 10*b48 + x287 <= 0; } Constraint e329 { Definition: - 10*b49 + x290 <= 0; } Constraint e330 { Definition: - 10*b50 + x293 <= 0; } Constraint e331 { Definition: - 10*b51 + x296 <= 0; } Constraint e332 { Definition: - 10*b52 + x299 <= 0; } Constraint e333 { Definition: - 10*b53 + x302 <= 0; } Constraint e334 { Definition: - 10*b54 + x305 <= 0; } Constraint e335 { Definition: - 10*b55 + x308 <= 0; } Constraint e336 { Definition: - 10*b56 + x311 <= 0; } Constraint e337 { Definition: - 10*b57 + x314 <= 0; } Constraint e338 { Definition: - 10*b58 + x317 <= 0; } Constraint e339 { Definition: - 10*b59 + x320 <= 0; } Constraint e340 { Definition: - 10*b60 + x323 <= 0; } Constraint e341 { Definition: - 10*b41 + x267 <= 0; } Constraint e342 { Definition: - 10*b42 + x270 <= 0; } Constraint e343 { Definition: - 10*b43 + x273 <= 0; } Constraint e344 { Definition: - 10*b44 + x276 <= 0; } Constraint e345 { Definition: - 10*b45 + x279 <= 0; } Constraint e346 { Definition: - 10*b46 + x282 <= 0; } Constraint e347 { Definition: - 10*b47 + x285 <= 0; } Constraint e348 { Definition: - 10*b48 + x288 <= 0; } Constraint e349 { Definition: - 10*b49 + x291 <= 0; } Constraint e350 { Definition: - 10*b50 + x294 <= 0; } Constraint e351 { Definition: - 10*b51 + x297 <= 0; } Constraint e352 { Definition: - 10*b52 + x300 <= 0; } Constraint e353 { Definition: - 10*b53 + x303 <= 0; } Constraint e354 { Definition: - 10*b54 + x306 <= 0; } Constraint e355 { Definition: - 10*b55 + x309 <= 0; } Constraint e356 { Definition: - 10*b56 + x312 <= 0; } Constraint e357 { Definition: - 10*b57 + x315 <= 0; } Constraint e358 { Definition: - 10*b58 + x318 <= 0; } Constraint e359 { Definition: - 10*b59 + x321 <= 0; } Constraint e360 { Definition: - 10*b60 + x324 <= 0; } Constraint e361 { Definition: - 10*b41 + x268 <= 0; } Constraint e362 { Definition: - 10*b42 + x271 <= 0; } Constraint e363 { Definition: - 10*b43 + x274 <= 0; } Constraint e364 { Definition: - 10*b44 + x277 <= 0; } Constraint e365 { Definition: - 10*b45 + x280 <= 0; } Constraint e366 { Definition: - 10*b46 + x283 <= 0; } Constraint e367 { Definition: - 10*b47 + x286 <= 0; } Constraint e368 { Definition: - 10*b48 + x289 <= 0; } Constraint e369 { Definition: - 10*b49 + x292 <= 0; } Constraint e370 { Definition: - 10*b50 + x295 <= 0; } Constraint e371 { Definition: - 10*b51 + x298 <= 0; } Constraint e372 { Definition: - 10*b52 + x301 <= 0; } Constraint e373 { Definition: - 10*b53 + x304 <= 0; } Constraint e374 { Definition: - 10*b54 + x307 <= 0; } Constraint e375 { Definition: - 10*b55 + x310 <= 0; } Constraint e376 { Definition: - 10*b56 + x313 <= 0; } Constraint e377 { Definition: - 10*b57 + x316 <= 0; } Constraint e378 { Definition: - 10*b58 + x319 <= 0; } Constraint e379 { Definition: - 10*b59 + x322 <= 0; } Constraint e380 { Definition: - 10*b60 + x325 <= 0; } Constraint e381 { Definition: - 10*b61 + x326 <= 0; } Constraint e382 { Definition: - 10*b62 + x329 <= 0; } Constraint e383 { Definition: - 10*b63 + x332 <= 0; } Constraint e384 { Definition: - 10*b64 + x335 <= 0; } Constraint e385 { Definition: - 10*b65 + x338 <= 0; } Constraint e386 { Definition: - 10*b66 + x341 <= 0; } Constraint e387 { Definition: - 10*b67 + x344 <= 0; } Constraint e388 { Definition: - 10*b68 + x347 <= 0; } Constraint e389 { Definition: - 10*b69 + x350 <= 0; } Constraint e390 { Definition: - 10*b70 + x353 <= 0; } Constraint e391 { Definition: - 10*b71 + x356 <= 0; } Constraint e392 { Definition: - 10*b72 + x359 <= 0; } Constraint e393 { Definition: - 10*b73 + x362 <= 0; } Constraint e394 { Definition: - 10*b74 + x365 <= 0; } Constraint e395 { Definition: - 10*b75 + x368 <= 0; } Constraint e396 { Definition: - 10*b76 + x371 <= 0; } Constraint e397 { Definition: - 10*b77 + x374 <= 0; } Constraint e398 { Definition: - 10*b78 + x377 <= 0; } Constraint e399 { Definition: - 10*b79 + x380 <= 0; } Constraint e400 { Definition: - 10*b80 + x383 <= 0; } Constraint e401 { Definition: - 10*b61 + x327 <= 0; } Constraint e402 { Definition: - 10*b62 + x330 <= 0; } Constraint e403 { Definition: - 10*b63 + x333 <= 0; } Constraint e404 { Definition: - 10*b64 + x336 <= 0; } Constraint e405 { Definition: - 10*b65 + x339 <= 0; } Constraint e406 { Definition: - 10*b66 + x342 <= 0; } Constraint e407 { Definition: - 10*b67 + x345 <= 0; } Constraint e408 { Definition: - 10*b68 + x348 <= 0; } Constraint e409 { Definition: - 10*b69 + x351 <= 0; } Constraint e410 { Definition: - 10*b70 + x354 <= 0; } Constraint e411 { Definition: - 10*b71 + x357 <= 0; } Constraint e412 { Definition: - 10*b72 + x360 <= 0; } Constraint e413 { Definition: - 10*b73 + x363 <= 0; } Constraint e414 { Definition: - 10*b74 + x366 <= 0; } Constraint e415 { Definition: - 10*b75 + x369 <= 0; } Constraint e416 { Definition: - 10*b76 + x372 <= 0; } Constraint e417 { Definition: - 10*b77 + x375 <= 0; } Constraint e418 { Definition: - 10*b78 + x378 <= 0; } Constraint e419 { Definition: - 10*b79 + x381 <= 0; } Constraint e420 { Definition: - 10*b80 + x384 <= 0; } Constraint e421 { Definition: - 10*b61 + x328 <= 0; } Constraint e422 { Definition: - 10*b62 + x331 <= 0; } Constraint e423 { Definition: - 10*b63 + x334 <= 0; } Constraint e424 { Definition: - 10*b64 + x337 <= 0; } Constraint e425 { Definition: - 10*b65 + x340 <= 0; } Constraint e426 { Definition: - 10*b66 + x343 <= 0; } Constraint e427 { Definition: - 10*b67 + x346 <= 0; } Constraint e428 { Definition: - 10*b68 + x349 <= 0; } Constraint e429 { Definition: - 10*b69 + x352 <= 0; } Constraint e430 { Definition: - 10*b70 + x355 <= 0; } Constraint e431 { Definition: - 10*b71 + x358 <= 0; } Constraint e432 { Definition: - 10*b72 + x361 <= 0; } Constraint e433 { Definition: - 10*b73 + x364 <= 0; } Constraint e434 { Definition: - 10*b74 + x367 <= 0; } Constraint e435 { Definition: - 10*b75 + x370 <= 0; } Constraint e436 { Definition: - 10*b76 + x373 <= 0; } Constraint e437 { Definition: - 10*b77 + x376 <= 0; } Constraint e438 { Definition: - 10*b78 + x379 <= 0; } Constraint e439 { Definition: - 10*b79 + x382 <= 0; } Constraint e440 { Definition: - 10*b80 + x385 <= 0; } Constraint e441 { Definition: - 10*b81 + x386 <= 0; } Constraint e442 { Definition: - 10*b82 + x389 <= 0; } Constraint e443 { Definition: - 10*b83 + x392 <= 0; } Constraint e444 { Definition: - 10*b84 + x395 <= 0; } Constraint e445 { Definition: - 10*b85 + x398 <= 0; } Constraint e446 { Definition: - 10*b86 + x401 <= 0; } Constraint e447 { Definition: - 10*b87 + x404 <= 0; } Constraint e448 { Definition: - 10*b88 + x407 <= 0; } Constraint e449 { Definition: - 10*b89 + x410 <= 0; } Constraint e450 { Definition: - 10*b90 + x413 <= 0; } Constraint e451 { Definition: - 10*b91 + x416 <= 0; } Constraint e452 { Definition: - 10*b92 + x419 <= 0; } Constraint e453 { Definition: - 10*b93 + x422 <= 0; } Constraint e454 { Definition: - 10*b94 + x425 <= 0; } Constraint e455 { Definition: - 10*b95 + x428 <= 0; } Constraint e456 { Definition: - 10*b96 + x431 <= 0; } Constraint e457 { Definition: - 10*b97 + x434 <= 0; } Constraint e458 { Definition: - 10*b98 + x437 <= 0; } Constraint e459 { Definition: - 10*b99 + x440 <= 0; } Constraint e460 { Definition: - 10*b100 + x443 <= 0; } Constraint e461 { Definition: - 10*b81 + x387 <= 0; } Constraint e462 { Definition: - 10*b82 + x390 <= 0; } Constraint e463 { Definition: - 10*b83 + x393 <= 0; } Constraint e464 { Definition: - 10*b84 + x396 <= 0; } Constraint e465 { Definition: - 10*b85 + x399 <= 0; } Constraint e466 { Definition: - 10*b86 + x402 <= 0; } Constraint e467 { Definition: - 10*b87 + x405 <= 0; } Constraint e468 { Definition: - 10*b88 + x408 <= 0; } Constraint e469 { Definition: - 10*b89 + x411 <= 0; } Constraint e470 { Definition: - 10*b90 + x414 <= 0; } Constraint e471 { Definition: - 10*b91 + x417 <= 0; } Constraint e472 { Definition: - 10*b92 + x420 <= 0; } Constraint e473 { Definition: - 10*b93 + x423 <= 0; } Constraint e474 { Definition: - 10*b94 + x426 <= 0; } Constraint e475 { Definition: - 10*b95 + x429 <= 0; } Constraint e476 { Definition: - 10*b96 + x432 <= 0; } Constraint e477 { Definition: - 10*b97 + x435 <= 0; } Constraint e478 { Definition: - 10*b98 + x438 <= 0; } Constraint e479 { Definition: - 10*b99 + x441 <= 0; } Constraint e480 { Definition: - 10*b100 + x444 <= 0; } Constraint e481 { Definition: - 10*b81 + x388 <= 0; } Constraint e482 { Definition: - 10*b82 + x391 <= 0; } Constraint e483 { Definition: - 10*b83 + x394 <= 0; } Constraint e484 { Definition: - 10*b84 + x397 <= 0; } Constraint e485 { Definition: - 10*b85 + x400 <= 0; } Constraint e486 { Definition: - 10*b86 + x403 <= 0; } Constraint e487 { Definition: - 10*b87 + x406 <= 0; } Constraint e488 { Definition: - 10*b88 + x409 <= 0; } Constraint e489 { Definition: - 10*b89 + x412 <= 0; } Constraint e490 { Definition: - 10*b90 + x415 <= 0; } Constraint e491 { Definition: - 10*b91 + x418 <= 0; } Constraint e492 { Definition: - 10*b92 + x421 <= 0; } Constraint e493 { Definition: - 10*b93 + x424 <= 0; } Constraint e494 { Definition: - 10*b94 + x427 <= 0; } Constraint e495 { Definition: - 10*b95 + x430 <= 0; } Constraint e496 { Definition: - 10*b96 + x433 <= 0; } Constraint e497 { Definition: - 10*b97 + x436 <= 0; } Constraint e498 { Definition: - 10*b98 + x439 <= 0; } Constraint e499 { Definition: - 10*b99 + x442 <= 0; } Constraint e500 { Definition: - 10*b100 + x445 <= 0; } Constraint e501 { Definition: x101 - x102 <= 0; } Constraint e502 { Definition: x102 - x110 <= 0; } Constraint e503 { Definition: x110 - x116 <= 0; } Constraint e504 { Definition: x116 - x122 <= 0; } Constraint e505 { Definition: { - 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 + objvar = 0 } } Procedure MainInitialization { Body: { x101.upper := 10; x102.upper := 10; x103.upper := 10; x104.upper := 10; x105.upper := 10; x106.upper := 10; x107.upper := 10; x108.upper := 10; x109.upper := 10; x110.upper := 10; x111.upper := 10; x112.upper := 10; x113.upper := 10; x114.upper := 10; x115.upper := 10; x116.upper := 10; x117.upper := 10; x118.upper := 10; x119.upper := 10; x120.upper := 10; x121.upper := 10; x122.upper := 10; x123.upper := 10; x124.upper := 10; x125.upper := 10; x126.upper := 10; x127.upper := 10; x128.upper := 10; x129.upper := 10; x130.upper := 10; x131.upper := 10; x132.upper := 10; x133.upper := 10; x134.upper := 10; x135.upper := 10; x136.upper := 10; x137.upper := 10; x138.upper := 10; x139.upper := 10; x140.upper := 10; x141.upper := 10; x142.upper := 10; x143.upper := 10; x144.upper := 10; x145.upper := 10; x146.upper := 10; x147.upper := 10; x148.upper := 10; x149.upper := 10; x150.upper := 10; x151.upper := 10; x152.upper := 10; x153.upper := 10; x154.upper := 10; x155.upper := 10; x156.upper := 10; x157.upper := 10; x158.upper := 10; x159.upper := 10; x160.upper := 10; x161.upper := 10; x162.upper := 10; x163.upper := 10; x164.upper := 10; x165.upper := 10; x166.upper := 10; x167.upper := 10; x168.upper := 10; x169.upper := 10; x170.upper := 10; x171.upper := 10; x172.upper := 10; x173.upper := 10; x174.upper := 10; x175.upper := 10; x176.upper := 10; x177.upper := 10; x178.upper := 10; x179.upper := 10; x180.upper := 10; x181.upper := 10; x182.upper := 10; x183.upper := 10; x184.upper := 10; x185.upper := 10; x186.upper := 10; x187.upper := 10; x188.upper := 10; x189.upper := 10; x190.upper := 10; x191.upper := 10; x192.upper := 10; x193.upper := 10; x194.upper := 10; x195.upper := 10; x196.upper := 10; x197.upper := 10; x198.upper := 10; x199.upper := 10; x200.upper := 10; x201.upper := 10; x202.upper := 10; x203.upper := 10; x204.upper := 10; x205.upper := 10; x206.upper := 10; x207.upper := 10; x208.upper := 10; x209.upper := 10; x210.upper := 10; x211.upper := 10; x212.upper := 10; x213.upper := 10; x214.upper := 10; x215.upper := 10; x216.upper := 10; x217.upper := 10; x218.upper := 10; x219.upper := 10; x220.upper := 10; x221.upper := 10; x222.upper := 10; x223.upper := 10; x224.upper := 10; x225.upper := 10; x226.upper := 10; x227.upper := 10; x228.upper := 10; x229.upper := 10; x230.upper := 10; x231.upper := 10; x232.upper := 10; x233.upper := 10; x234.upper := 10; x235.upper := 10; x236.upper := 10; x237.upper := 10; x238.upper := 10; x239.upper := 10; x240.upper := 10; x241.upper := 10; x242.upper := 10; x243.upper := 10; x244.upper := 10; x245.upper := 10; x246.upper := 10; x247.upper := 10; x248.upper := 10; x249.upper := 10; x250.upper := 10; x251.upper := 10; x252.upper := 10; x253.upper := 10; x254.upper := 10; x255.upper := 10; x256.upper := 10; x257.upper := 10; x258.upper := 10; x259.upper := 10; x260.upper := 10; x261.upper := 10; x262.upper := 10; x263.upper := 10; x264.upper := 10; x265.upper := 10; x266.upper := 10; x267.upper := 10; x268.upper := 10; x269.upper := 10; x270.upper := 10; x271.upper := 10; x272.upper := 10; x273.upper := 10; x274.upper := 10; x275.upper := 10; x276.upper := 10; x277.upper := 10; x278.upper := 10; x279.upper := 10; x280.upper := 10; x281.upper := 10; x282.upper := 10; x283.upper := 10; x284.upper := 10; x285.upper := 10; x286.upper := 10; x287.upper := 10; x288.upper := 10; x289.upper := 10; x290.upper := 10; x291.upper := 10; x292.upper := 10; x293.upper := 10; x294.upper := 10; x295.upper := 10; x296.upper := 10; x297.upper := 10; x298.upper := 10; x299.upper := 10; x300.upper := 10; x301.upper := 10; x302.upper := 10; x303.upper := 10; x304.upper := 10; x305.upper := 10; x306.upper := 10; x307.upper := 10; x308.upper := 10; x309.upper := 10; x310.upper := 10; x311.upper := 10; x312.upper := 10; x313.upper := 10; x314.upper := 10; x315.upper := 10; x316.upper := 10; x317.upper := 10; x318.upper := 10; x319.upper := 10; x320.upper := 10; x321.upper := 10; x322.upper := 10; x323.upper := 10; x324.upper := 10; x325.upper := 10; x326.upper := 10; x327.upper := 10; x328.upper := 10; x329.upper := 10; x330.upper := 10; x331.upper := 10; x332.upper := 10; x333.upper := 10; x334.upper := 10; x335.upper := 10; x336.upper := 10; x337.upper := 10; x338.upper := 10; x339.upper := 10; x340.upper := 10; x341.upper := 10; x342.upper := 10; x343.upper := 10; x344.upper := 10; x345.upper := 10; x346.upper := 10; x347.upper := 10; x348.upper := 10; x349.upper := 10; x350.upper := 10; x351.upper := 10; x352.upper := 10; x353.upper := 10; x354.upper := 10; x355.upper := 10; x356.upper := 10; x357.upper := 10; x358.upper := 10; x359.upper := 10; x360.upper := 10; x361.upper := 10; x362.upper := 10; x363.upper := 10; x364.upper := 10; x365.upper := 10; x366.upper := 10; x367.upper := 10; x368.upper := 10; x369.upper := 10; x370.upper := 10; x371.upper := 10; x372.upper := 10; x373.upper := 10; x374.upper := 10; x375.upper := 10; x376.upper := 10; x377.upper := 10; x378.upper := 10; x379.upper := 10; x380.upper := 10; x381.upper := 10; x382.upper := 10; x383.upper := 10; x384.upper := 10; x385.upper := 10; x386.upper := 10; x387.upper := 10; x388.upper := 10; x389.upper := 10; x390.upper := 10; x391.upper := 10; x392.upper := 10; x393.upper := 10; x394.upper := 10; x395.upper := 10; x396.upper := 10; x397.upper := 10; x398.upper := 10; x399.upper := 10; x400.upper := 10; x401.upper := 10; x402.upper := 10; x403.upper := 10; x404.upper := 10; x405.upper := 10; x406.upper := 10; x407.upper := 10; x408.upper := 10; x409.upper := 10; x410.upper := 10; x411.upper := 10; x412.upper := 10; x413.upper := 10; x414.upper := 10; x415.upper := 10; x416.upper := 10; x417.upper := 10; x418.upper := 10; x419.upper := 10; x420.upper := 10; x421.upper := 10; x422.upper := 10; x423.upper := 10; x424.upper := 10; x425.upper := 10; x426.upper := 10; x427.upper := 10; x428.upper := 10; x429.upper := 10; x430.upper := 10; x431.upper := 10; x432.upper := 10; x433.upper := 10; x434.upper := 10; x435.upper := 10; x436.upper := 10; x437.upper := 10; x438.upper := 10; x439.upper := 10; x440.upper := 10; x441.upper := 10; x442.upper := 10; x443.upper := 10; x444.upper := 10; x445.upper := 10; } } MathematicalProgram p_ball_20b_5p_3d_h { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_20b_5p_3d_h; } } Procedure MainTermination { Body: { return 1; } } }