## ams_version=1.0 Model Main_p_ball_30b_5p_2d_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 b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable 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 x446 { Range: nonnegative; } Variable x447 { Range: nonnegative; } Variable x448 { Range: nonnegative; } Variable x449 { Range: nonnegative; } Variable x450 { Range: nonnegative; } Variable x451 { Range: nonnegative; } Variable x452 { Range: nonnegative; } Variable x453 { Range: nonnegative; } Variable x454 { Range: nonnegative; } Variable x455 { Range: nonnegative; } Variable x456 { Range: nonnegative; } Variable x457 { Range: nonnegative; } Variable x458 { Range: nonnegative; } Variable x459 { Range: nonnegative; } Variable x460 { Range: nonnegative; } Variable x461 { Range: nonnegative; } Variable x462 { Range: nonnegative; } Variable x463 { Range: nonnegative; } Variable x464 { Range: nonnegative; } Variable x465 { Range: nonnegative; } Variable x466 { Range: nonnegative; } Variable x467 { Range: nonnegative; } Variable x468 { Range: nonnegative; } Variable x469 { Range: nonnegative; } Variable x470 { Range: nonnegative; } Variable x471 { Range: nonnegative; } Variable x472 { Range: nonnegative; } Variable x473 { Range: nonnegative; } Variable x474 { Range: nonnegative; } Variable x475 { Range: nonnegative; } Variable x476 { Range: nonnegative; } Variable x477 { Range: nonnegative; } Variable x478 { Range: nonnegative; } Variable x479 { Range: nonnegative; } Variable x480 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x151 - x152 - x153 <= 0; } Constraint e2 { Definition: - x151 + x152 - x153 <= 0; } Constraint e3 { Definition: x154 - x155 - x156 <= 0; } Constraint e4 { Definition: - x154 + x155 - x156 <= 0; } Constraint e5 { Definition: x151 - x157 - x158 <= 0; } Constraint e6 { Definition: - x151 + x157 - x158 <= 0; } Constraint e7 { Definition: x154 - x159 - x160 <= 0; } Constraint e8 { Definition: - x154 + x159 - x160 <= 0; } Constraint e9 { Definition: x151 - x161 - x162 <= 0; } Constraint e10 { Definition: - x151 + x161 - x162 <= 0; } Constraint e11 { Definition: x154 - x163 - x164 <= 0; } Constraint e12 { Definition: - x154 + x163 - x164 <= 0; } Constraint e13 { Definition: x151 - x165 - x166 <= 0; } Constraint e14 { Definition: - x151 + x165 - x166 <= 0; } Constraint e15 { Definition: x154 - x167 - x168 <= 0; } Constraint e16 { Definition: - x154 + x167 - x168 <= 0; } Constraint e17 { Definition: x152 - x157 - x169 <= 0; } Constraint e18 { Definition: - x152 + x157 - x169 <= 0; } Constraint e19 { Definition: x155 - x159 - x170 <= 0; } Constraint e20 { Definition: - x155 + x159 - x170 <= 0; } Constraint e21 { Definition: x152 - x161 - x171 <= 0; } Constraint e22 { Definition: - x152 + x161 - x171 <= 0; } Constraint e23 { Definition: x155 - x163 - x172 <= 0; } Constraint e24 { Definition: - x155 + x163 - x172 <= 0; } Constraint e25 { Definition: x152 - x165 - x173 <= 0; } Constraint e26 { Definition: - x152 + x165 - x173 <= 0; } Constraint e27 { Definition: x155 - x167 - x174 <= 0; } Constraint e28 { Definition: - x155 + x167 - x174 <= 0; } Constraint e29 { Definition: x157 - x161 - x175 <= 0; } Constraint e30 { Definition: - x157 + x161 - x175 <= 0; } Constraint e31 { Definition: x159 - x163 - x176 <= 0; } Constraint e32 { Definition: - x159 + x163 - x176 <= 0; } Constraint e33 { Definition: x157 - x165 - x177 <= 0; } Constraint e34 { Definition: - x157 + x165 - x177 <= 0; } Constraint e35 { Definition: x159 - x167 - x178 <= 0; } Constraint e36 { Definition: - x159 + x167 - x178 <= 0; } Constraint e37 { Definition: x161 - x165 - x179 <= 0; } Constraint e38 { Definition: - x161 + x165 - x179 <= 0; } Constraint e39 { Definition: x163 - x167 - x180 <= 0; } Constraint e40 { Definition: - x163 + x167 - x180 <= 0; } Constraint e41 { Definition: { (-1 + sqr(3.58392835071893 - x181/(0.0001 + 0.9999*b1)) + sqr( 0.44370753979378 - x182/(0.0001 + 0.9999*b1)))*(0.0001 + 0.9999*b1) + 0.00120414188039568*b1 <= 0.00120414188039568 } } Constraint e42 { Definition: { (-1 + sqr(1.95628884344 - x183/(0.0001 + 0.9999*b2)) + sqr( 0.390503036650278 - x184/(0.0001 + 0.9999*b2)))*(0.0001 + 0.9999*b2) + 0.000297955866060091*b2 <= 0.000297955866060091 } } Constraint e43 { Definition: { (-1 + sqr(4.55035690490668 - x185/(0.0001 + 0.9999*b3)) + sqr( 7.27185840240323 - x186/(0.0001 + 0.9999*b3)))*(0.0001 + 0.9999*b3) + 0.00725856725866343*b3 <= 0.00725856725866343 } } Constraint e44 { Definition: { (-1 + sqr(6.2100872388646 - x187/(0.0001 + 0.9999*b4)) + sqr( 6.48745936675473 - x188/(0.0001 + 0.9999*b4)))*(0.0001 + 0.9999*b4) + 0.00796523125496027*b4 <= 0.00796523125496027 } } Constraint e45 { Definition: { (-1 + sqr(3.1786343207553 - x189/(0.0001 + 0.9999*b5)) + sqr( 2.35630065859291 - x190/(0.0001 + 0.9999*b5)))*(0.0001 + 0.9999*b5) + 0.00146558689387689*b5 <= 0.00146558689387689 } } Constraint e46 { Definition: { (-1 + sqr(2.77208272832737 - x191/(0.0001 + 0.9999*b6)) + sqr( 6.63537019621518 - x192/(0.0001 + 0.9999*b6)))*(0.0001 + 0.9999*b6) + 0.00507125802935116*b6 <= 0.00507125802935116 } } Constraint e47 { Definition: { (-1 + sqr(5.05196451835929 - x193/(0.0001 + 0.9999*b7)) + sqr( 9.78029757859562 - x194/(0.0001 + 0.9999*b7)))*(0.0001 + 0.9999*b7) + 0.0120176566220645*b7 <= 0.0120176566220645 } } Constraint e48 { Definition: { (-1 + sqr(4.91358831690657 - x195/(0.0001 + 0.9999*b8)) + sqr( 9.95200766490468 - x196/(0.0001 + 0.9999*b8)))*(0.0001 + 0.9999*b8) + 0.0122185806710362*b8 <= 0.0122185806710362 } } Constraint e49 { Definition: { (-1 + sqr(1.82270973029123 - x197/(0.0001 + 0.9999*b9)) + sqr( 3.08924661212034 - x198/(0.0001 + 0.9999*b9)))*(0.0001 + 0.9999*b9) + 0.00118657153913953*b9 <= 0.00118657153913953 } } Constraint e50 { Definition: { (-1 + sqr(8.90416070287928 - x199/(0.0001 + 0.9999*b10)) + sqr( 8.76903198117563 - x200/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.0155179999709581*b10 <= 0.0155179999709581 } } Constraint e51 { Definition: { (-1 + sqr(9.55691722438547 - x201/(0.0001 + 0.9999*b11)) + sqr( 7.67982230145412 - x202/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.0149314337415668*b11 <= 0.0149314337415668 } } Constraint e52 { Definition: { (-1 + sqr(5.63154215917614 - x203/(0.0001 + 0.9999*b12)) + sqr( 5.19669129629487 - x204/(0.0001 + 0.9999*b12)))*(0.0001 + 0.9999*b12) + 0.00577198675195651*b12 <= 0.00577198675195651 } } Constraint e53 { Definition: { (-1 + sqr(1.22506785607057 - x205/(0.0001 + 0.9999*b13)) + sqr( 1.73643838760701 - x206/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.000351600952593256*b13 <= 0.000351600952593256 } } Constraint e54 { Definition: { (-1 + sqr(3.56742024375224 - x207/(0.0001 + 0.9999*b14)) + sqr( 9.67716416398758 - x208/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.0105373993452299*b14 <= 0.0105373993452299 } } Constraint e55 { Definition: { (-1 + sqr(6.4469689992634 - x209/(0.0001 + 0.9999*b15)) + sqr( 3.27001587839258 - x210/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.00512564131224029*b15 <= 0.00512564131224029 } } Constraint e56 { Definition: { (-1 + sqr(6.10753237542196 - x211/(0.0001 + 0.9999*b16)) + sqr( 4.19206922588061 - x212/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.00538753961114027*b16 <= 0.00538753961114027 } } Constraint e57 { Definition: { (-1 + sqr(3.65877473332061 - x213/(0.0001 + 0.9999*b17)) + sqr( 3.63421268850839 - x214/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) + 0.00255941344145007*b17 <= 0.00255941344145007 } } Constraint e58 { Definition: { (-1 + sqr(1.2178860076098 - x215/(0.0001 + 0.9999*b18)) + sqr( 2.16125505734127 - x216/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.000515426975041496*b18 <= 0.000515426975041496 } } Constraint e59 { Definition: { (-1 + sqr(0.592074869235123 - x217/(0.0001 + 0.9999*b19)) + sqr( 4.93671199500253 - x218/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.00237216779723816*b19 <= 0.00237216779723816 } } Constraint e60 { Definition: { (-1 + sqr(6.7402850724876 - x219/(0.0001 + 0.9999*b20)) + sqr( 1.57064570718754 - x220/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.00468983707959058*b20 <= 0.00468983707959058 } } Constraint e61 { Definition: { (-1 + sqr(4.86197880938116 - x221/(0.0001 + 0.9999*b21)) + sqr( 0.383551455477691 - x222/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.00227859496618705*b21 <= 0.00227859496618705 } } Constraint e62 { Definition: { (-1 + sqr(1.8799102211015 - x223/(0.0001 + 0.9999*b22)) + sqr( 8.11097800063776 - x224/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.00683220265662317*b22 <= 0.00683220265662317 } } Constraint e63 { Definition: { (-1 + sqr(7.64684982583741 - x225/(0.0001 + 0.9999*b23)) + sqr( 0.420960467093494 - x226/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.00576515199737652*b23 <= 0.00576515199737652 } } Constraint e64 { Definition: { (-1 + sqr(3.86587305838289 - x227/(0.0001 + 0.9999*b24)) + sqr( 3.43289089140431 - x228/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.00257297143758174*b24 <= 0.00257297143758174 } } Constraint e65 { Definition: { (-1 + sqr(1.93085934314818 - x229/(0.0001 + 0.9999*b25)) + sqr( 3.48739999687651 - x230/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.00148901765412369*b25 <= 0.00148901765412369 } } Constraint e66 { Definition: { (-1 + sqr(8.14411066658926 - x231/(0.0001 + 0.9999*b26)) + sqr( 3.28390698782521 - x232/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.00761105836543402*b26 <= 0.00761105836543402 } } Constraint e67 { Definition: { (-1 + sqr(3.92781648828775 - x233/(0.0001 + 0.9999*b27)) + sqr( 4.5879692218008 - x234/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.00354772039458565*b27 <= 0.00354772039458565 } } Constraint e68 { Definition: { (-1 + sqr(9.43530528332928 - x235/(0.0001 + 0.9999*b28)) + sqr( 6.2115811426888 - x236/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.0126608726081829*b28 <= 0.0126608726081829 } } Constraint e69 { Definition: { (-1 + sqr(5.94277300911337 - x237/(0.0001 + 0.9999*b29)) + sqr( 2.72126258813597 - x238/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.00417218211114348*b29 <= 0.00417218211114348 } } Constraint e70 { Definition: { (-1 + sqr(0.272938801260022 - x239/(0.0001 + 0.9999*b30)) + sqr( 9.52106324081905 - x240/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.00897251408249091*b30 <= 0.00897251408249091 } } Constraint e71 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 } } Constraint e72 { Definition: { (-1 + sqr(3.58392835071893 - x241/(0.0001 + 0.9999*b31)) + sqr( 0.44370753979378 - x242/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.00120414188039568*b31 <= 0.00120414188039568 } } Constraint e73 { Definition: { (-1 + sqr(1.95628884344 - x243/(0.0001 + 0.9999*b32)) + sqr( 0.390503036650278 - x244/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) + 0.000297955866060091*b32 <= 0.000297955866060091 } } Constraint e74 { Definition: { (-1 + sqr(4.55035690490668 - x245/(0.0001 + 0.9999*b33)) + sqr( 7.27185840240323 - x246/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.00725856725866343*b33 <= 0.00725856725866343 } } Constraint e75 { Definition: { (-1 + sqr(6.2100872388646 - x247/(0.0001 + 0.9999*b34)) + sqr( 6.48745936675473 - x248/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.00796523125496027*b34 <= 0.00796523125496027 } } Constraint e76 { Definition: { (-1 + sqr(3.1786343207553 - x249/(0.0001 + 0.9999*b35)) + sqr( 2.35630065859291 - x250/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.00146558689387689*b35 <= 0.00146558689387689 } } Constraint e77 { Definition: { (-1 + sqr(2.77208272832737 - x251/(0.0001 + 0.9999*b36)) + sqr( 6.63537019621518 - x252/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.00507125802935116*b36 <= 0.00507125802935116 } } Constraint e78 { Definition: { (-1 + sqr(5.05196451835929 - x253/(0.0001 + 0.9999*b37)) + sqr( 9.78029757859562 - x254/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.0120176566220645*b37 <= 0.0120176566220645 } } Constraint e79 { Definition: { (-1 + sqr(4.91358831690657 - x255/(0.0001 + 0.9999*b38)) + sqr( 9.95200766490468 - x256/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.0122185806710362*b38 <= 0.0122185806710362 } } Constraint e80 { Definition: { (-1 + sqr(1.82270973029123 - x257/(0.0001 + 0.9999*b39)) + sqr( 3.08924661212034 - x258/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.00118657153913953*b39 <= 0.00118657153913953 } } Constraint e81 { Definition: { (-1 + sqr(8.90416070287928 - x259/(0.0001 + 0.9999*b40)) + sqr( 8.76903198117563 - x260/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.0155179999709581*b40 <= 0.0155179999709581 } } Constraint e82 { Definition: { (-1 + sqr(9.55691722438547 - x261/(0.0001 + 0.9999*b41)) + sqr( 7.67982230145412 - x262/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) + 0.0149314337415668*b41 <= 0.0149314337415668 } } Constraint e83 { Definition: { (-1 + sqr(5.63154215917614 - x263/(0.0001 + 0.9999*b42)) + sqr( 5.19669129629487 - x264/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.00577198675195651*b42 <= 0.00577198675195651 } } Constraint e84 { Definition: { (-1 + sqr(1.22506785607057 - x265/(0.0001 + 0.9999*b43)) + sqr( 1.73643838760701 - x266/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.000351600952593256*b43 <= 0.000351600952593256 } } Constraint e85 { Definition: { (-1 + sqr(3.56742024375224 - x267/(0.0001 + 0.9999*b44)) + sqr( 9.67716416398758 - x268/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.0105373993452299*b44 <= 0.0105373993452299 } } Constraint e86 { Definition: { (-1 + sqr(6.4469689992634 - x269/(0.0001 + 0.9999*b45)) + sqr( 3.27001587839258 - x270/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.00512564131224029*b45 <= 0.00512564131224029 } } Constraint e87 { Definition: { (-1 + sqr(6.10753237542196 - x271/(0.0001 + 0.9999*b46)) + sqr( 4.19206922588061 - x272/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.00538753961114027*b46 <= 0.00538753961114027 } } Constraint e88 { Definition: { (-1 + sqr(3.65877473332061 - x273/(0.0001 + 0.9999*b47)) + sqr( 3.63421268850839 - x274/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) + 0.00255941344145007*b47 <= 0.00255941344145007 } } Constraint e89 { Definition: { (-1 + sqr(1.2178860076098 - x275/(0.0001 + 0.9999*b48)) + sqr( 2.16125505734127 - x276/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.000515426975041496*b48 <= 0.000515426975041496 } } Constraint e90 { Definition: { (-1 + sqr(0.592074869235123 - x277/(0.0001 + 0.9999*b49)) + sqr( 4.93671199500253 - x278/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) + 0.00237216779723816*b49 <= 0.00237216779723816 } } Constraint e91 { Definition: { (-1 + sqr(6.7402850724876 - x279/(0.0001 + 0.9999*b50)) + sqr( 1.57064570718754 - x280/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.00468983707959058*b50 <= 0.00468983707959058 } } Constraint e92 { Definition: { (-1 + sqr(4.86197880938116 - x281/(0.0001 + 0.9999*b51)) + sqr( 0.383551455477691 - x282/(0.0001 + 0.9999*b51)))*(0.0001 + 0.9999*b51) + 0.00227859496618705*b51 <= 0.00227859496618705 } } Constraint e93 { Definition: { (-1 + sqr(1.8799102211015 - x283/(0.0001 + 0.9999*b52)) + sqr( 8.11097800063776 - x284/(0.0001 + 0.9999*b52)))*(0.0001 + 0.9999*b52) + 0.00683220265662317*b52 <= 0.00683220265662317 } } Constraint e94 { Definition: { (-1 + sqr(7.64684982583741 - x285/(0.0001 + 0.9999*b53)) + sqr( 0.420960467093494 - x286/(0.0001 + 0.9999*b53)))*(0.0001 + 0.9999*b53) + 0.00576515199737652*b53 <= 0.00576515199737652 } } Constraint e95 { Definition: { (-1 + sqr(3.86587305838289 - x287/(0.0001 + 0.9999*b54)) + sqr( 3.43289089140431 - x288/(0.0001 + 0.9999*b54)))*(0.0001 + 0.9999*b54) + 0.00257297143758174*b54 <= 0.00257297143758174 } } Constraint e96 { Definition: { (-1 + sqr(1.93085934314818 - x289/(0.0001 + 0.9999*b55)) + sqr( 3.48739999687651 - x290/(0.0001 + 0.9999*b55)))*(0.0001 + 0.9999*b55) + 0.00148901765412369*b55 <= 0.00148901765412369 } } Constraint e97 { Definition: { (-1 + sqr(8.14411066658926 - x291/(0.0001 + 0.9999*b56)) + sqr( 3.28390698782521 - x292/(0.0001 + 0.9999*b56)))*(0.0001 + 0.9999*b56) + 0.00761105836543402*b56 <= 0.00761105836543402 } } Constraint e98 { Definition: { (-1 + sqr(3.92781648828775 - x293/(0.0001 + 0.9999*b57)) + sqr( 4.5879692218008 - x294/(0.0001 + 0.9999*b57)))*(0.0001 + 0.9999*b57) + 0.00354772039458565*b57 <= 0.00354772039458565 } } Constraint e99 { Definition: { (-1 + sqr(9.43530528332928 - x295/(0.0001 + 0.9999*b58)) + sqr( 6.2115811426888 - x296/(0.0001 + 0.9999*b58)))*(0.0001 + 0.9999*b58) + 0.0126608726081829*b58 <= 0.0126608726081829 } } Constraint e100 { Definition: { (-1 + sqr(5.94277300911337 - x297/(0.0001 + 0.9999*b59)) + sqr( 2.72126258813597 - x298/(0.0001 + 0.9999*b59)))*(0.0001 + 0.9999*b59) + 0.00417218211114348*b59 <= 0.00417218211114348 } } Constraint e101 { Definition: { (-1 + sqr(0.272938801260022 - x299/(0.0001 + 0.9999*b60)) + sqr( 9.52106324081905 - x300/(0.0001 + 0.9999*b60)))*(0.0001 + 0.9999*b60) + 0.00897251408249091*b60 <= 0.00897251408249091 } } Constraint e102 { Definition: { b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 } } Constraint e103 { Definition: { (-1 + sqr(3.58392835071893 - x301/(0.0001 + 0.9999*b61)) + sqr( 0.44370753979378 - x302/(0.0001 + 0.9999*b61)))*(0.0001 + 0.9999*b61) + 0.00120414188039568*b61 <= 0.00120414188039568 } } Constraint e104 { Definition: { (-1 + sqr(1.95628884344 - x303/(0.0001 + 0.9999*b62)) + sqr( 0.390503036650278 - x304/(0.0001 + 0.9999*b62)))*(0.0001 + 0.9999*b62) + 0.000297955866060091*b62 <= 0.000297955866060091 } } Constraint e105 { Definition: { (-1 + sqr(4.55035690490668 - x305/(0.0001 + 0.9999*b63)) + sqr( 7.27185840240323 - x306/(0.0001 + 0.9999*b63)))*(0.0001 + 0.9999*b63) + 0.00725856725866343*b63 <= 0.00725856725866343 } } Constraint e106 { Definition: { (-1 + sqr(6.2100872388646 - x307/(0.0001 + 0.9999*b64)) + sqr( 6.48745936675473 - x308/(0.0001 + 0.9999*b64)))*(0.0001 + 0.9999*b64) + 0.00796523125496027*b64 <= 0.00796523125496027 } } Constraint e107 { Definition: { (-1 + sqr(3.1786343207553 - x309/(0.0001 + 0.9999*b65)) + sqr( 2.35630065859291 - x310/(0.0001 + 0.9999*b65)))*(0.0001 + 0.9999*b65) + 0.00146558689387689*b65 <= 0.00146558689387689 } } Constraint e108 { Definition: { (-1 + sqr(2.77208272832737 - x311/(0.0001 + 0.9999*b66)) + sqr( 6.63537019621518 - x312/(0.0001 + 0.9999*b66)))*(0.0001 + 0.9999*b66) + 0.00507125802935116*b66 <= 0.00507125802935116 } } Constraint e109 { Definition: { (-1 + sqr(5.05196451835929 - x313/(0.0001 + 0.9999*b67)) + sqr( 9.78029757859562 - x314/(0.0001 + 0.9999*b67)))*(0.0001 + 0.9999*b67) + 0.0120176566220645*b67 <= 0.0120176566220645 } } Constraint e110 { Definition: { (-1 + sqr(4.91358831690657 - x315/(0.0001 + 0.9999*b68)) + sqr( 9.95200766490468 - x316/(0.0001 + 0.9999*b68)))*(0.0001 + 0.9999*b68) + 0.0122185806710362*b68 <= 0.0122185806710362 } } Constraint e111 { Definition: { (-1 + sqr(1.82270973029123 - x317/(0.0001 + 0.9999*b69)) + sqr( 3.08924661212034 - x318/(0.0001 + 0.9999*b69)))*(0.0001 + 0.9999*b69) + 0.00118657153913953*b69 <= 0.00118657153913953 } } Constraint e112 { Definition: { (-1 + sqr(8.90416070287928 - x319/(0.0001 + 0.9999*b70)) + sqr( 8.76903198117563 - x320/(0.0001 + 0.9999*b70)))*(0.0001 + 0.9999*b70) + 0.0155179999709581*b70 <= 0.0155179999709581 } } Constraint e113 { Definition: { (-1 + sqr(9.55691722438547 - x321/(0.0001 + 0.9999*b71)) + sqr( 7.67982230145412 - x322/(0.0001 + 0.9999*b71)))*(0.0001 + 0.9999*b71) + 0.0149314337415668*b71 <= 0.0149314337415668 } } Constraint e114 { Definition: { (-1 + sqr(5.63154215917614 - x323/(0.0001 + 0.9999*b72)) + sqr( 5.19669129629487 - x324/(0.0001 + 0.9999*b72)))*(0.0001 + 0.9999*b72) + 0.00577198675195651*b72 <= 0.00577198675195651 } } Constraint e115 { Definition: { (-1 + sqr(1.22506785607057 - x325/(0.0001 + 0.9999*b73)) + sqr( 1.73643838760701 - x326/(0.0001 + 0.9999*b73)))*(0.0001 + 0.9999*b73) + 0.000351600952593256*b73 <= 0.000351600952593256 } } Constraint e116 { Definition: { (-1 + sqr(3.56742024375224 - x327/(0.0001 + 0.9999*b74)) + sqr( 9.67716416398758 - x328/(0.0001 + 0.9999*b74)))*(0.0001 + 0.9999*b74) + 0.0105373993452299*b74 <= 0.0105373993452299 } } Constraint e117 { Definition: { (-1 + sqr(6.4469689992634 - x329/(0.0001 + 0.9999*b75)) + sqr( 3.27001587839258 - x330/(0.0001 + 0.9999*b75)))*(0.0001 + 0.9999*b75) + 0.00512564131224029*b75 <= 0.00512564131224029 } } Constraint e118 { Definition: { (-1 + sqr(6.10753237542196 - x331/(0.0001 + 0.9999*b76)) + sqr( 4.19206922588061 - x332/(0.0001 + 0.9999*b76)))*(0.0001 + 0.9999*b76) + 0.00538753961114027*b76 <= 0.00538753961114027 } } Constraint e119 { Definition: { (-1 + sqr(3.65877473332061 - x333/(0.0001 + 0.9999*b77)) + sqr( 3.63421268850839 - x334/(0.0001 + 0.9999*b77)))*(0.0001 + 0.9999*b77) + 0.00255941344145007*b77 <= 0.00255941344145007 } } Constraint e120 { Definition: { (-1 + sqr(1.2178860076098 - x335/(0.0001 + 0.9999*b78)) + sqr( 2.16125505734127 - x336/(0.0001 + 0.9999*b78)))*(0.0001 + 0.9999*b78) + 0.000515426975041496*b78 <= 0.000515426975041496 } } Constraint e121 { Definition: { (-1 + sqr(0.592074869235123 - x337/(0.0001 + 0.9999*b79)) + sqr( 4.93671199500253 - x338/(0.0001 + 0.9999*b79)))*(0.0001 + 0.9999*b79) + 0.00237216779723816*b79 <= 0.00237216779723816 } } Constraint e122 { Definition: { (-1 + sqr(6.7402850724876 - x339/(0.0001 + 0.9999*b80)) + sqr( 1.57064570718754 - x340/(0.0001 + 0.9999*b80)))*(0.0001 + 0.9999*b80) + 0.00468983707959058*b80 <= 0.00468983707959058 } } Constraint e123 { Definition: { (-1 + sqr(4.86197880938116 - x341/(0.0001 + 0.9999*b81)) + sqr( 0.383551455477691 - x342/(0.0001 + 0.9999*b81)))*(0.0001 + 0.9999*b81) + 0.00227859496618705*b81 <= 0.00227859496618705 } } Constraint e124 { Definition: { (-1 + sqr(1.8799102211015 - x343/(0.0001 + 0.9999*b82)) + sqr( 8.11097800063776 - x344/(0.0001 + 0.9999*b82)))*(0.0001 + 0.9999*b82) + 0.00683220265662317*b82 <= 0.00683220265662317 } } Constraint e125 { Definition: { (-1 + sqr(7.64684982583741 - x345/(0.0001 + 0.9999*b83)) + sqr( 0.420960467093494 - x346/(0.0001 + 0.9999*b83)))*(0.0001 + 0.9999*b83) + 0.00576515199737652*b83 <= 0.00576515199737652 } } Constraint e126 { Definition: { (-1 + sqr(3.86587305838289 - x347/(0.0001 + 0.9999*b84)) + sqr( 3.43289089140431 - x348/(0.0001 + 0.9999*b84)))*(0.0001 + 0.9999*b84) + 0.00257297143758174*b84 <= 0.00257297143758174 } } Constraint e127 { Definition: { (-1 + sqr(1.93085934314818 - x349/(0.0001 + 0.9999*b85)) + sqr( 3.48739999687651 - x350/(0.0001 + 0.9999*b85)))*(0.0001 + 0.9999*b85) + 0.00148901765412369*b85 <= 0.00148901765412369 } } Constraint e128 { Definition: { (-1 + sqr(8.14411066658926 - x351/(0.0001 + 0.9999*b86)) + sqr( 3.28390698782521 - x352/(0.0001 + 0.9999*b86)))*(0.0001 + 0.9999*b86) + 0.00761105836543402*b86 <= 0.00761105836543402 } } Constraint e129 { Definition: { (-1 + sqr(3.92781648828775 - x353/(0.0001 + 0.9999*b87)) + sqr( 4.5879692218008 - x354/(0.0001 + 0.9999*b87)))*(0.0001 + 0.9999*b87) + 0.00354772039458565*b87 <= 0.00354772039458565 } } Constraint e130 { Definition: { (-1 + sqr(9.43530528332928 - x355/(0.0001 + 0.9999*b88)) + sqr( 6.2115811426888 - x356/(0.0001 + 0.9999*b88)))*(0.0001 + 0.9999*b88) + 0.0126608726081829*b88 <= 0.0126608726081829 } } Constraint e131 { Definition: { (-1 + sqr(5.94277300911337 - x357/(0.0001 + 0.9999*b89)) + sqr( 2.72126258813597 - x358/(0.0001 + 0.9999*b89)))*(0.0001 + 0.9999*b89) + 0.00417218211114348*b89 <= 0.00417218211114348 } } Constraint e132 { Definition: { (-1 + sqr(0.272938801260022 - x359/(0.0001 + 0.9999*b90)) + sqr( 9.52106324081905 - x360/(0.0001 + 0.9999*b90)))*(0.0001 + 0.9999*b90) + 0.00897251408249091*b90 <= 0.00897251408249091 } } Constraint e133 { Definition: { b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 = 1 } } Constraint e134 { Definition: { (-1 + sqr(3.58392835071893 - x361/(0.0001 + 0.9999*b91)) + sqr( 0.44370753979378 - x362/(0.0001 + 0.9999*b91)))*(0.0001 + 0.9999*b91) + 0.00120414188039568*b91 <= 0.00120414188039568 } } Constraint e135 { Definition: { (-1 + sqr(1.95628884344 - x363/(0.0001 + 0.9999*b92)) + sqr( 0.390503036650278 - x364/(0.0001 + 0.9999*b92)))*(0.0001 + 0.9999*b92) + 0.000297955866060091*b92 <= 0.000297955866060091 } } Constraint e136 { Definition: { (-1 + sqr(4.55035690490668 - x365/(0.0001 + 0.9999*b93)) + sqr( 7.27185840240323 - x366/(0.0001 + 0.9999*b93)))*(0.0001 + 0.9999*b93) + 0.00725856725866343*b93 <= 0.00725856725866343 } } Constraint e137 { Definition: { (-1 + sqr(6.2100872388646 - x367/(0.0001 + 0.9999*b94)) + sqr( 6.48745936675473 - x368/(0.0001 + 0.9999*b94)))*(0.0001 + 0.9999*b94) + 0.00796523125496027*b94 <= 0.00796523125496027 } } Constraint e138 { Definition: { (-1 + sqr(3.1786343207553 - x369/(0.0001 + 0.9999*b95)) + sqr( 2.35630065859291 - x370/(0.0001 + 0.9999*b95)))*(0.0001 + 0.9999*b95) + 0.00146558689387689*b95 <= 0.00146558689387689 } } Constraint e139 { Definition: { (-1 + sqr(2.77208272832737 - x371/(0.0001 + 0.9999*b96)) + sqr( 6.63537019621518 - x372/(0.0001 + 0.9999*b96)))*(0.0001 + 0.9999*b96) + 0.00507125802935116*b96 <= 0.00507125802935116 } } Constraint e140 { Definition: { (-1 + sqr(5.05196451835929 - x373/(0.0001 + 0.9999*b97)) + sqr( 9.78029757859562 - x374/(0.0001 + 0.9999*b97)))*(0.0001 + 0.9999*b97) + 0.0120176566220645*b97 <= 0.0120176566220645 } } Constraint e141 { Definition: { (-1 + sqr(4.91358831690657 - x375/(0.0001 + 0.9999*b98)) + sqr( 9.95200766490468 - x376/(0.0001 + 0.9999*b98)))*(0.0001 + 0.9999*b98) + 0.0122185806710362*b98 <= 0.0122185806710362 } } Constraint e142 { Definition: { (-1 + sqr(1.82270973029123 - x377/(0.0001 + 0.9999*b99)) + sqr( 3.08924661212034 - x378/(0.0001 + 0.9999*b99)))*(0.0001 + 0.9999*b99) + 0.00118657153913953*b99 <= 0.00118657153913953 } } Constraint e143 { Definition: { (-1 + sqr(8.90416070287928 - x379/(0.0001 + 0.9999*b100)) + sqr( 8.76903198117563 - x380/(0.0001 + 0.9999*b100)))*(0.0001 + 0.9999*b100) + 0.0155179999709581*b100 <= 0.0155179999709581 } } Constraint e144 { Definition: { (-1 + sqr(9.55691722438547 - x381/(0.0001 + 0.9999*b101)) + sqr( 7.67982230145412 - x382/(0.0001 + 0.9999*b101)))*(0.0001 + 0.9999*b101) + 0.0149314337415668*b101 <= 0.0149314337415668 } } Constraint e145 { Definition: { (-1 + sqr(5.63154215917614 - x383/(0.0001 + 0.9999*b102)) + sqr( 5.19669129629487 - x384/(0.0001 + 0.9999*b102)))*(0.0001 + 0.9999*b102) + 0.00577198675195651*b102 <= 0.00577198675195651 } } Constraint e146 { Definition: { (-1 + sqr(1.22506785607057 - x385/(0.0001 + 0.9999*b103)) + sqr( 1.73643838760701 - x386/(0.0001 + 0.9999*b103)))*(0.0001 + 0.9999*b103) + 0.000351600952593256*b103 <= 0.000351600952593256 } } Constraint e147 { Definition: { (-1 + sqr(3.56742024375224 - x387/(0.0001 + 0.9999*b104)) + sqr( 9.67716416398758 - x388/(0.0001 + 0.9999*b104)))*(0.0001 + 0.9999*b104) + 0.0105373993452299*b104 <= 0.0105373993452299 } } Constraint e148 { Definition: { (-1 + sqr(6.4469689992634 - x389/(0.0001 + 0.9999*b105)) + sqr( 3.27001587839258 - x390/(0.0001 + 0.9999*b105)))*(0.0001 + 0.9999*b105) + 0.00512564131224029*b105 <= 0.00512564131224029 } } Constraint e149 { Definition: { (-1 + sqr(6.10753237542196 - x391/(0.0001 + 0.9999*b106)) + sqr( 4.19206922588061 - x392/(0.0001 + 0.9999*b106)))*(0.0001 + 0.9999*b106) + 0.00538753961114027*b106 <= 0.00538753961114027 } } Constraint e150 { Definition: { (-1 + sqr(3.65877473332061 - x393/(0.0001 + 0.9999*b107)) + sqr( 3.63421268850839 - x394/(0.0001 + 0.9999*b107)))*(0.0001 + 0.9999*b107) + 0.00255941344145007*b107 <= 0.00255941344145007 } } Constraint e151 { Definition: { (-1 + sqr(1.2178860076098 - x395/(0.0001 + 0.9999*b108)) + sqr( 2.16125505734127 - x396/(0.0001 + 0.9999*b108)))*(0.0001 + 0.9999*b108) + 0.000515426975041496*b108 <= 0.000515426975041496 } } Constraint e152 { Definition: { (-1 + sqr(0.592074869235123 - x397/(0.0001 + 0.9999*b109)) + sqr( 4.93671199500253 - x398/(0.0001 + 0.9999*b109)))*(0.0001 + 0.9999*b109) + 0.00237216779723816*b109 <= 0.00237216779723816 } } Constraint e153 { Definition: { (-1 + sqr(6.7402850724876 - x399/(0.0001 + 0.9999*b110)) + sqr( 1.57064570718754 - x400/(0.0001 + 0.9999*b110)))*(0.0001 + 0.9999*b110) + 0.00468983707959058*b110 <= 0.00468983707959058 } } Constraint e154 { Definition: { (-1 + sqr(4.86197880938116 - x401/(0.0001 + 0.9999*b111)) + sqr( 0.383551455477691 - x402/(0.0001 + 0.9999*b111)))*(0.0001 + 0.9999*b111) + 0.00227859496618705*b111 <= 0.00227859496618705 } } Constraint e155 { Definition: { (-1 + sqr(1.8799102211015 - x403/(0.0001 + 0.9999*b112)) + sqr( 8.11097800063776 - x404/(0.0001 + 0.9999*b112)))*(0.0001 + 0.9999*b112) + 0.00683220265662317*b112 <= 0.00683220265662317 } } Constraint e156 { Definition: { (-1 + sqr(7.64684982583741 - x405/(0.0001 + 0.9999*b113)) + sqr( 0.420960467093494 - x406/(0.0001 + 0.9999*b113)))*(0.0001 + 0.9999*b113) + 0.00576515199737652*b113 <= 0.00576515199737652 } } Constraint e157 { Definition: { (-1 + sqr(3.86587305838289 - x407/(0.0001 + 0.9999*b114)) + sqr( 3.43289089140431 - x408/(0.0001 + 0.9999*b114)))*(0.0001 + 0.9999*b114) + 0.00257297143758174*b114 <= 0.00257297143758174 } } Constraint e158 { Definition: { (-1 + sqr(1.93085934314818 - x409/(0.0001 + 0.9999*b115)) + sqr( 3.48739999687651 - x410/(0.0001 + 0.9999*b115)))*(0.0001 + 0.9999*b115) + 0.00148901765412369*b115 <= 0.00148901765412369 } } Constraint e159 { Definition: { (-1 + sqr(8.14411066658926 - x411/(0.0001 + 0.9999*b116)) + sqr( 3.28390698782521 - x412/(0.0001 + 0.9999*b116)))*(0.0001 + 0.9999*b116) + 0.00761105836543402*b116 <= 0.00761105836543402 } } Constraint e160 { Definition: { (-1 + sqr(3.92781648828775 - x413/(0.0001 + 0.9999*b117)) + sqr( 4.5879692218008 - x414/(0.0001 + 0.9999*b117)))*(0.0001 + 0.9999*b117) + 0.00354772039458565*b117 <= 0.00354772039458565 } } Constraint e161 { Definition: { (-1 + sqr(9.43530528332928 - x415/(0.0001 + 0.9999*b118)) + sqr( 6.2115811426888 - x416/(0.0001 + 0.9999*b118)))*(0.0001 + 0.9999*b118) + 0.0126608726081829*b118 <= 0.0126608726081829 } } Constraint e162 { Definition: { (-1 + sqr(5.94277300911337 - x417/(0.0001 + 0.9999*b119)) + sqr( 2.72126258813597 - x418/(0.0001 + 0.9999*b119)))*(0.0001 + 0.9999*b119) + 0.00417218211114348*b119 <= 0.00417218211114348 } } Constraint e163 { Definition: { (-1 + sqr(0.272938801260022 - x419/(0.0001 + 0.9999*b120)) + sqr( 9.52106324081905 - x420/(0.0001 + 0.9999*b120)))*(0.0001 + 0.9999*b120) + 0.00897251408249091*b120 <= 0.00897251408249091 } } Constraint e164 { Definition: { b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 } } Constraint e165 { Definition: { (-1 + sqr(3.58392835071893 - x421/(0.0001 + 0.9999*b121)) + sqr( 0.44370753979378 - x422/(0.0001 + 0.9999*b121)))*(0.0001 + 0.9999*b121) + 0.00120414188039568*b121 <= 0.00120414188039568 } } Constraint e166 { Definition: { (-1 + sqr(1.95628884344 - x423/(0.0001 + 0.9999*b122)) + sqr( 0.390503036650278 - x424/(0.0001 + 0.9999*b122)))*(0.0001 + 0.9999*b122) + 0.000297955866060091*b122 <= 0.000297955866060091 } } Constraint e167 { Definition: { (-1 + sqr(4.55035690490668 - x425/(0.0001 + 0.9999*b123)) + sqr( 7.27185840240323 - x426/(0.0001 + 0.9999*b123)))*(0.0001 + 0.9999*b123) + 0.00725856725866343*b123 <= 0.00725856725866343 } } Constraint e168 { Definition: { (-1 + sqr(6.2100872388646 - x427/(0.0001 + 0.9999*b124)) + sqr( 6.48745936675473 - x428/(0.0001 + 0.9999*b124)))*(0.0001 + 0.9999*b124) + 0.00796523125496027*b124 <= 0.00796523125496027 } } Constraint e169 { Definition: { (-1 + sqr(3.1786343207553 - x429/(0.0001 + 0.9999*b125)) + sqr( 2.35630065859291 - x430/(0.0001 + 0.9999*b125)))*(0.0001 + 0.9999*b125) + 0.00146558689387689*b125 <= 0.00146558689387689 } } Constraint e170 { Definition: { (-1 + sqr(2.77208272832737 - x431/(0.0001 + 0.9999*b126)) + sqr( 6.63537019621518 - x432/(0.0001 + 0.9999*b126)))*(0.0001 + 0.9999*b126) + 0.00507125802935116*b126 <= 0.00507125802935116 } } Constraint e171 { Definition: { (-1 + sqr(5.05196451835929 - x433/(0.0001 + 0.9999*b127)) + sqr( 9.78029757859562 - x434/(0.0001 + 0.9999*b127)))*(0.0001 + 0.9999*b127) + 0.0120176566220645*b127 <= 0.0120176566220645 } } Constraint e172 { Definition: { (-1 + sqr(4.91358831690657 - x435/(0.0001 + 0.9999*b128)) + sqr( 9.95200766490468 - x436/(0.0001 + 0.9999*b128)))*(0.0001 + 0.9999*b128) + 0.0122185806710362*b128 <= 0.0122185806710362 } } Constraint e173 { Definition: { (-1 + sqr(1.82270973029123 - x437/(0.0001 + 0.9999*b129)) + sqr( 3.08924661212034 - x438/(0.0001 + 0.9999*b129)))*(0.0001 + 0.9999*b129) + 0.00118657153913953*b129 <= 0.00118657153913953 } } Constraint e174 { Definition: { (-1 + sqr(8.90416070287928 - x439/(0.0001 + 0.9999*b130)) + sqr( 8.76903198117563 - x440/(0.0001 + 0.9999*b130)))*(0.0001 + 0.9999*b130) + 0.0155179999709581*b130 <= 0.0155179999709581 } } Constraint e175 { Definition: { (-1 + sqr(9.55691722438547 - x441/(0.0001 + 0.9999*b131)) + sqr( 7.67982230145412 - x442/(0.0001 + 0.9999*b131)))*(0.0001 + 0.9999*b131) + 0.0149314337415668*b131 <= 0.0149314337415668 } } Constraint e176 { Definition: { (-1 + sqr(5.63154215917614 - x443/(0.0001 + 0.9999*b132)) + sqr( 5.19669129629487 - x444/(0.0001 + 0.9999*b132)))*(0.0001 + 0.9999*b132) + 0.00577198675195651*b132 <= 0.00577198675195651 } } Constraint e177 { Definition: { (-1 + sqr(1.22506785607057 - x445/(0.0001 + 0.9999*b133)) + sqr( 1.73643838760701 - x446/(0.0001 + 0.9999*b133)))*(0.0001 + 0.9999*b133) + 0.000351600952593256*b133 <= 0.000351600952593256 } } Constraint e178 { Definition: { (-1 + sqr(3.56742024375224 - x447/(0.0001 + 0.9999*b134)) + sqr( 9.67716416398758 - x448/(0.0001 + 0.9999*b134)))*(0.0001 + 0.9999*b134) + 0.0105373993452299*b134 <= 0.0105373993452299 } } Constraint e179 { Definition: { (-1 + sqr(6.4469689992634 - x449/(0.0001 + 0.9999*b135)) + sqr( 3.27001587839258 - x450/(0.0001 + 0.9999*b135)))*(0.0001 + 0.9999*b135) + 0.00512564131224029*b135 <= 0.00512564131224029 } } Constraint e180 { Definition: { (-1 + sqr(6.10753237542196 - x451/(0.0001 + 0.9999*b136)) + sqr( 4.19206922588061 - x452/(0.0001 + 0.9999*b136)))*(0.0001 + 0.9999*b136) + 0.00538753961114027*b136 <= 0.00538753961114027 } } Constraint e181 { Definition: { (-1 + sqr(3.65877473332061 - x453/(0.0001 + 0.9999*b137)) + sqr( 3.63421268850839 - x454/(0.0001 + 0.9999*b137)))*(0.0001 + 0.9999*b137) + 0.00255941344145007*b137 <= 0.00255941344145007 } } Constraint e182 { Definition: { (-1 + sqr(1.2178860076098 - x455/(0.0001 + 0.9999*b138)) + sqr( 2.16125505734127 - x456/(0.0001 + 0.9999*b138)))*(0.0001 + 0.9999*b138) + 0.000515426975041496*b138 <= 0.000515426975041496 } } Constraint e183 { Definition: { (-1 + sqr(0.592074869235123 - x457/(0.0001 + 0.9999*b139)) + sqr( 4.93671199500253 - x458/(0.0001 + 0.9999*b139)))*(0.0001 + 0.9999*b139) + 0.00237216779723816*b139 <= 0.00237216779723816 } } Constraint e184 { Definition: { (-1 + sqr(6.7402850724876 - x459/(0.0001 + 0.9999*b140)) + sqr( 1.57064570718754 - x460/(0.0001 + 0.9999*b140)))*(0.0001 + 0.9999*b140) + 0.00468983707959058*b140 <= 0.00468983707959058 } } Constraint e185 { Definition: { (-1 + sqr(4.86197880938116 - x461/(0.0001 + 0.9999*b141)) + sqr( 0.383551455477691 - x462/(0.0001 + 0.9999*b141)))*(0.0001 + 0.9999*b141) + 0.00227859496618705*b141 <= 0.00227859496618705 } } Constraint e186 { Definition: { (-1 + sqr(1.8799102211015 - x463/(0.0001 + 0.9999*b142)) + sqr( 8.11097800063776 - x464/(0.0001 + 0.9999*b142)))*(0.0001 + 0.9999*b142) + 0.00683220265662317*b142 <= 0.00683220265662317 } } Constraint e187 { Definition: { (-1 + sqr(7.64684982583741 - x465/(0.0001 + 0.9999*b143)) + sqr( 0.420960467093494 - x466/(0.0001 + 0.9999*b143)))*(0.0001 + 0.9999*b143) + 0.00576515199737652*b143 <= 0.00576515199737652 } } Constraint e188 { Definition: { (-1 + sqr(3.86587305838289 - x467/(0.0001 + 0.9999*b144)) + sqr( 3.43289089140431 - x468/(0.0001 + 0.9999*b144)))*(0.0001 + 0.9999*b144) + 0.00257297143758174*b144 <= 0.00257297143758174 } } Constraint e189 { Definition: { (-1 + sqr(1.93085934314818 - x469/(0.0001 + 0.9999*b145)) + sqr( 3.48739999687651 - x470/(0.0001 + 0.9999*b145)))*(0.0001 + 0.9999*b145) + 0.00148901765412369*b145 <= 0.00148901765412369 } } Constraint e190 { Definition: { (-1 + sqr(8.14411066658926 - x471/(0.0001 + 0.9999*b146)) + sqr( 3.28390698782521 - x472/(0.0001 + 0.9999*b146)))*(0.0001 + 0.9999*b146) + 0.00761105836543402*b146 <= 0.00761105836543402 } } Constraint e191 { Definition: { (-1 + sqr(3.92781648828775 - x473/(0.0001 + 0.9999*b147)) + sqr( 4.5879692218008 - x474/(0.0001 + 0.9999*b147)))*(0.0001 + 0.9999*b147) + 0.00354772039458565*b147 <= 0.00354772039458565 } } Constraint e192 { Definition: { (-1 + sqr(9.43530528332928 - x475/(0.0001 + 0.9999*b148)) + sqr( 6.2115811426888 - x476/(0.0001 + 0.9999*b148)))*(0.0001 + 0.9999*b148) + 0.0126608726081829*b148 <= 0.0126608726081829 } } Constraint e193 { Definition: { (-1 + sqr(5.94277300911337 - x477/(0.0001 + 0.9999*b149)) + sqr( 2.72126258813597 - x478/(0.0001 + 0.9999*b149)))*(0.0001 + 0.9999*b149) + 0.00417218211114348*b149 <= 0.00417218211114348 } } Constraint e194 { Definition: { (-1 + sqr(0.272938801260022 - x479/(0.0001 + 0.9999*b150)) + sqr( 9.52106324081905 - x480/(0.0001 + 0.9999*b150)))*(0.0001 + 0.9999*b150) + 0.00897251408249091*b150 <= 0.00897251408249091 } } Constraint e195 { Definition: { b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 = 1 } } Constraint e196 { Definition: b1 + b31 + b61 + b91 + b121 <= 1; } Constraint e197 { Definition: b2 + b32 + b62 + b92 + b122 <= 1; } Constraint e198 { Definition: b3 + b33 + b63 + b93 + b123 <= 1; } Constraint e199 { Definition: b4 + b34 + b64 + b94 + b124 <= 1; } Constraint e200 { Definition: b5 + b35 + b65 + b95 + b125 <= 1; } Constraint e201 { Definition: b6 + b36 + b66 + b96 + b126 <= 1; } Constraint e202 { Definition: b7 + b37 + b67 + b97 + b127 <= 1; } Constraint e203 { Definition: b8 + b38 + b68 + b98 + b128 <= 1; } Constraint e204 { Definition: b9 + b39 + b69 + b99 + b129 <= 1; } Constraint e205 { Definition: b10 + b40 + b70 + b100 + b130 <= 1; } Constraint e206 { Definition: b11 + b41 + b71 + b101 + b131 <= 1; } Constraint e207 { Definition: b12 + b42 + b72 + b102 + b132 <= 1; } Constraint e208 { Definition: b13 + b43 + b73 + b103 + b133 <= 1; } Constraint e209 { Definition: b14 + b44 + b74 + b104 + b134 <= 1; } Constraint e210 { Definition: b15 + b45 + b75 + b105 + b135 <= 1; } Constraint e211 { Definition: b16 + b46 + b76 + b106 + b136 <= 1; } Constraint e212 { Definition: b17 + b47 + b77 + b107 + b137 <= 1; } Constraint e213 { Definition: b18 + b48 + b78 + b108 + b138 <= 1; } Constraint e214 { Definition: b19 + b49 + b79 + b109 + b139 <= 1; } Constraint e215 { Definition: b20 + b50 + b80 + b110 + b140 <= 1; } Constraint e216 { Definition: b21 + b51 + b81 + b111 + b141 <= 1; } Constraint e217 { Definition: b22 + b52 + b82 + b112 + b142 <= 1; } Constraint e218 { Definition: b23 + b53 + b83 + b113 + b143 <= 1; } Constraint e219 { Definition: b24 + b54 + b84 + b114 + b144 <= 1; } Constraint e220 { Definition: b25 + b55 + b85 + b115 + b145 <= 1; } Constraint e221 { Definition: b26 + b56 + b86 + b116 + b146 <= 1; } Constraint e222 { Definition: b27 + b57 + b87 + b117 + b147 <= 1; } Constraint e223 { Definition: b28 + b58 + b88 + b118 + b148 <= 1; } Constraint e224 { Definition: b29 + b59 + b89 + b119 + b149 <= 1; } Constraint e225 { Definition: b30 + b60 + b90 + b120 + b150 <= 1; } Constraint e226 { Definition: { - x151 + x181 + x183 + x185 + x187 + x189 + x191 + x193 + x195 + x197 + x199 + x201 + x203 + x205 + x207 + x209 + x211 + x213 + x215 + x217 + x219 + x221 + x223 + x225 + x227 + x229 + x231 + x233 + x235 + x237 + x239 = 0 } } Constraint e227 { Definition: { - x154 + x182 + x184 + x186 + x188 + x190 + x192 + x194 + x196 + x198 + x200 + x202 + x204 + x206 + x208 + x210 + x212 + x214 + x216 + x218 + x220 + x222 + x224 + x226 + x228 + x230 + x232 + x234 + x236 + x238 + x240 = 0 } } Constraint e228 { Definition: { - x152 + x241 + x243 + x245 + x247 + x249 + x251 + x253 + x255 + x257 + x259 + x261 + x263 + x265 + x267 + x269 + x271 + x273 + x275 + x277 + x279 + x281 + x283 + x285 + x287 + x289 + x291 + x293 + x295 + x297 + x299 = 0 } } Constraint e229 { Definition: { - x155 + x242 + x244 + x246 + x248 + x250 + x252 + x254 + x256 + x258 + x260 + x262 + x264 + x266 + x268 + x270 + x272 + x274 + x276 + x278 + x280 + x282 + x284 + x286 + x288 + x290 + x292 + x294 + x296 + x298 + x300 = 0 } } Constraint e230 { Definition: { - x157 + x301 + x303 + x305 + x307 + x309 + x311 + x313 + x315 + x317 + x319 + x321 + x323 + x325 + x327 + x329 + x331 + x333 + x335 + x337 + x339 + x341 + x343 + x345 + x347 + x349 + x351 + x353 + x355 + x357 + x359 = 0 } } Constraint e231 { Definition: { - x159 + x302 + x304 + x306 + x308 + x310 + x312 + x314 + x316 + x318 + x320 + x322 + x324 + x326 + x328 + x330 + x332 + x334 + x336 + x338 + x340 + x342 + x344 + x346 + x348 + x350 + x352 + x354 + x356 + x358 + x360 = 0 } } Constraint e232 { Definition: { - x161 + x361 + x363 + x365 + x367 + x369 + x371 + x373 + x375 + x377 + x379 + x381 + x383 + x385 + x387 + x389 + x391 + x393 + x395 + x397 + x399 + x401 + x403 + x405 + x407 + x409 + x411 + x413 + x415 + x417 + x419 = 0 } } Constraint e233 { Definition: { - x163 + x362 + x364 + x366 + x368 + x370 + x372 + x374 + x376 + x378 + x380 + x382 + x384 + x386 + x388 + x390 + x392 + x394 + x396 + x398 + x400 + x402 + x404 + x406 + x408 + x410 + x412 + x414 + x416 + x418 + x420 = 0 } } Constraint e234 { Definition: { - x165 + x421 + x423 + x425 + x427 + x429 + x431 + x433 + x435 + x437 + x439 + x441 + x443 + x445 + x447 + x449 + x451 + x453 + x455 + x457 + x459 + x461 + x463 + x465 + x467 + x469 + x471 + x473 + x475 + x477 + x479 = 0 } } Constraint e235 { Definition: { - x167 + x422 + x424 + x426 + x428 + x430 + x432 + x434 + x436 + x438 + x440 + x442 + x444 + x446 + x448 + x450 + x452 + x454 + x456 + x458 + x460 + x462 + x464 + x466 + x468 + x470 + x472 + x474 + x476 + x478 + x480 = 0 } } Constraint e236 { Definition: - 10*b1 + x181 <= 0; } Constraint e237 { Definition: - 10*b2 + x183 <= 0; } Constraint e238 { Definition: - 10*b3 + x185 <= 0; } Constraint e239 { Definition: - 10*b4 + x187 <= 0; } Constraint e240 { Definition: - 10*b5 + x189 <= 0; } Constraint e241 { Definition: - 10*b6 + x191 <= 0; } Constraint e242 { Definition: - 10*b7 + x193 <= 0; } Constraint e243 { Definition: - 10*b8 + x195 <= 0; } Constraint e244 { Definition: - 10*b9 + x197 <= 0; } Constraint e245 { Definition: - 10*b10 + x199 <= 0; } Constraint e246 { Definition: - 10*b11 + x201 <= 0; } Constraint e247 { Definition: - 10*b12 + x203 <= 0; } Constraint e248 { Definition: - 10*b13 + x205 <= 0; } Constraint e249 { Definition: - 10*b14 + x207 <= 0; } Constraint e250 { Definition: - 10*b15 + x209 <= 0; } Constraint e251 { Definition: - 10*b16 + x211 <= 0; } Constraint e252 { Definition: - 10*b17 + x213 <= 0; } Constraint e253 { Definition: - 10*b18 + x215 <= 0; } Constraint e254 { Definition: - 10*b19 + x217 <= 0; } Constraint e255 { Definition: - 10*b20 + x219 <= 0; } Constraint e256 { Definition: - 10*b21 + x221 <= 0; } Constraint e257 { Definition: - 10*b22 + x223 <= 0; } Constraint e258 { Definition: - 10*b23 + x225 <= 0; } Constraint e259 { Definition: - 10*b24 + x227 <= 0; } Constraint e260 { Definition: - 10*b25 + x229 <= 0; } Constraint e261 { Definition: - 10*b26 + x231 <= 0; } Constraint e262 { Definition: - 10*b27 + x233 <= 0; } Constraint e263 { Definition: - 10*b28 + x235 <= 0; } Constraint e264 { Definition: - 10*b29 + x237 <= 0; } Constraint e265 { Definition: - 10*b30 + x239 <= 0; } Constraint e266 { Definition: - 10*b1 + x182 <= 0; } Constraint e267 { Definition: - 10*b2 + x184 <= 0; } Constraint e268 { Definition: - 10*b3 + x186 <= 0; } Constraint e269 { Definition: - 10*b4 + x188 <= 0; } Constraint e270 { Definition: - 10*b5 + x190 <= 0; } Constraint e271 { Definition: - 10*b6 + x192 <= 0; } Constraint e272 { Definition: - 10*b7 + x194 <= 0; } Constraint e273 { Definition: - 10*b8 + x196 <= 0; } Constraint e274 { Definition: - 10*b9 + x198 <= 0; } Constraint e275 { Definition: - 10*b10 + x200 <= 0; } Constraint e276 { Definition: - 10*b11 + x202 <= 0; } Constraint e277 { Definition: - 10*b12 + x204 <= 0; } Constraint e278 { Definition: - 10*b13 + x206 <= 0; } Constraint e279 { Definition: - 10*b14 + x208 <= 0; } Constraint e280 { Definition: - 10*b15 + x210 <= 0; } Constraint e281 { Definition: - 10*b16 + x212 <= 0; } Constraint e282 { Definition: - 10*b17 + x214 <= 0; } Constraint e283 { Definition: - 10*b18 + x216 <= 0; } Constraint e284 { Definition: - 10*b19 + x218 <= 0; } Constraint e285 { Definition: - 10*b20 + x220 <= 0; } Constraint e286 { Definition: - 10*b21 + x222 <= 0; } Constraint e287 { Definition: - 10*b22 + x224 <= 0; } Constraint e288 { Definition: - 10*b23 + x226 <= 0; } Constraint e289 { Definition: - 10*b24 + x228 <= 0; } Constraint e290 { Definition: - 10*b25 + x230 <= 0; } Constraint e291 { Definition: - 10*b26 + x232 <= 0; } Constraint e292 { Definition: - 10*b27 + x234 <= 0; } Constraint e293 { Definition: - 10*b28 + x236 <= 0; } Constraint e294 { Definition: - 10*b29 + x238 <= 0; } Constraint e295 { Definition: - 10*b30 + x240 <= 0; } Constraint e296 { Definition: - 10*b31 + x241 <= 0; } Constraint e297 { Definition: - 10*b32 + x243 <= 0; } Constraint e298 { Definition: - 10*b33 + x245 <= 0; } Constraint e299 { Definition: - 10*b34 + x247 <= 0; } Constraint e300 { Definition: - 10*b35 + x249 <= 0; } Constraint e301 { Definition: - 10*b36 + x251 <= 0; } Constraint e302 { Definition: - 10*b37 + x253 <= 0; } Constraint e303 { Definition: - 10*b38 + x255 <= 0; } Constraint e304 { Definition: - 10*b39 + x257 <= 0; } Constraint e305 { Definition: - 10*b40 + x259 <= 0; } Constraint e306 { Definition: - 10*b41 + x261 <= 0; } Constraint e307 { Definition: - 10*b42 + x263 <= 0; } Constraint e308 { Definition: - 10*b43 + x265 <= 0; } Constraint e309 { Definition: - 10*b44 + x267 <= 0; } Constraint e310 { Definition: - 10*b45 + x269 <= 0; } Constraint e311 { Definition: - 10*b46 + x271 <= 0; } Constraint e312 { Definition: - 10*b47 + x273 <= 0; } Constraint e313 { Definition: - 10*b48 + x275 <= 0; } Constraint e314 { Definition: - 10*b49 + x277 <= 0; } Constraint e315 { Definition: - 10*b50 + x279 <= 0; } Constraint e316 { Definition: - 10*b51 + x281 <= 0; } Constraint e317 { Definition: - 10*b52 + x283 <= 0; } Constraint e318 { Definition: - 10*b53 + x285 <= 0; } Constraint e319 { Definition: - 10*b54 + x287 <= 0; } Constraint e320 { Definition: - 10*b55 + x289 <= 0; } Constraint e321 { Definition: - 10*b56 + x291 <= 0; } Constraint e322 { Definition: - 10*b57 + x293 <= 0; } Constraint e323 { Definition: - 10*b58 + x295 <= 0; } Constraint e324 { Definition: - 10*b59 + x297 <= 0; } Constraint e325 { Definition: - 10*b60 + x299 <= 0; } Constraint e326 { Definition: - 10*b31 + x242 <= 0; } Constraint e327 { Definition: - 10*b32 + x244 <= 0; } Constraint e328 { Definition: - 10*b33 + x246 <= 0; } Constraint e329 { Definition: - 10*b34 + x248 <= 0; } Constraint e330 { Definition: - 10*b35 + x250 <= 0; } Constraint e331 { Definition: - 10*b36 + x252 <= 0; } Constraint e332 { Definition: - 10*b37 + x254 <= 0; } Constraint e333 { Definition: - 10*b38 + x256 <= 0; } Constraint e334 { Definition: - 10*b39 + x258 <= 0; } Constraint e335 { Definition: - 10*b40 + x260 <= 0; } Constraint e336 { Definition: - 10*b41 + x262 <= 0; } Constraint e337 { Definition: - 10*b42 + x264 <= 0; } Constraint e338 { Definition: - 10*b43 + x266 <= 0; } Constraint e339 { Definition: - 10*b44 + x268 <= 0; } Constraint e340 { Definition: - 10*b45 + x270 <= 0; } Constraint e341 { Definition: - 10*b46 + x272 <= 0; } Constraint e342 { Definition: - 10*b47 + x274 <= 0; } Constraint e343 { Definition: - 10*b48 + x276 <= 0; } Constraint e344 { Definition: - 10*b49 + x278 <= 0; } Constraint e345 { Definition: - 10*b50 + x280 <= 0; } Constraint e346 { Definition: - 10*b51 + x282 <= 0; } Constraint e347 { Definition: - 10*b52 + x284 <= 0; } Constraint e348 { Definition: - 10*b53 + x286 <= 0; } Constraint e349 { Definition: - 10*b54 + x288 <= 0; } Constraint e350 { Definition: - 10*b55 + x290 <= 0; } Constraint e351 { Definition: - 10*b56 + x292 <= 0; } Constraint e352 { Definition: - 10*b57 + x294 <= 0; } Constraint e353 { Definition: - 10*b58 + x296 <= 0; } Constraint e354 { Definition: - 10*b59 + x298 <= 0; } Constraint e355 { Definition: - 10*b60 + x300 <= 0; } Constraint e356 { Definition: - 10*b61 + x301 <= 0; } Constraint e357 { Definition: - 10*b62 + x303 <= 0; } Constraint e358 { Definition: - 10*b63 + x305 <= 0; } Constraint e359 { Definition: - 10*b64 + x307 <= 0; } Constraint e360 { Definition: - 10*b65 + x309 <= 0; } Constraint e361 { Definition: - 10*b66 + x311 <= 0; } Constraint e362 { Definition: - 10*b67 + x313 <= 0; } Constraint e363 { Definition: - 10*b68 + x315 <= 0; } Constraint e364 { Definition: - 10*b69 + x317 <= 0; } Constraint e365 { Definition: - 10*b70 + x319 <= 0; } Constraint e366 { Definition: - 10*b71 + x321 <= 0; } Constraint e367 { Definition: - 10*b72 + x323 <= 0; } Constraint e368 { Definition: - 10*b73 + x325 <= 0; } Constraint e369 { Definition: - 10*b74 + x327 <= 0; } Constraint e370 { Definition: - 10*b75 + x329 <= 0; } Constraint e371 { Definition: - 10*b76 + x331 <= 0; } Constraint e372 { Definition: - 10*b77 + x333 <= 0; } Constraint e373 { Definition: - 10*b78 + x335 <= 0; } Constraint e374 { Definition: - 10*b79 + x337 <= 0; } Constraint e375 { Definition: - 10*b80 + x339 <= 0; } Constraint e376 { Definition: - 10*b81 + x341 <= 0; } Constraint e377 { Definition: - 10*b82 + x343 <= 0; } Constraint e378 { Definition: - 10*b83 + x345 <= 0; } Constraint e379 { Definition: - 10*b84 + x347 <= 0; } Constraint e380 { Definition: - 10*b85 + x349 <= 0; } Constraint e381 { Definition: - 10*b86 + x351 <= 0; } Constraint e382 { Definition: - 10*b87 + x353 <= 0; } Constraint e383 { Definition: - 10*b88 + x355 <= 0; } Constraint e384 { Definition: - 10*b89 + x357 <= 0; } Constraint e385 { Definition: - 10*b90 + x359 <= 0; } Constraint e386 { Definition: - 10*b61 + x302 <= 0; } Constraint e387 { Definition: - 10*b62 + x304 <= 0; } Constraint e388 { Definition: - 10*b63 + x306 <= 0; } Constraint e389 { Definition: - 10*b64 + x308 <= 0; } Constraint e390 { Definition: - 10*b65 + x310 <= 0; } Constraint e391 { Definition: - 10*b66 + x312 <= 0; } Constraint e392 { Definition: - 10*b67 + x314 <= 0; } Constraint e393 { Definition: - 10*b68 + x316 <= 0; } Constraint e394 { Definition: - 10*b69 + x318 <= 0; } Constraint e395 { Definition: - 10*b70 + x320 <= 0; } Constraint e396 { Definition: - 10*b71 + x322 <= 0; } Constraint e397 { Definition: - 10*b72 + x324 <= 0; } Constraint e398 { Definition: - 10*b73 + x326 <= 0; } Constraint e399 { Definition: - 10*b74 + x328 <= 0; } Constraint e400 { Definition: - 10*b75 + x330 <= 0; } Constraint e401 { Definition: - 10*b76 + x332 <= 0; } Constraint e402 { Definition: - 10*b77 + x334 <= 0; } Constraint e403 { Definition: - 10*b78 + x336 <= 0; } Constraint e404 { Definition: - 10*b79 + x338 <= 0; } Constraint e405 { Definition: - 10*b80 + x340 <= 0; } Constraint e406 { Definition: - 10*b81 + x342 <= 0; } Constraint e407 { Definition: - 10*b82 + x344 <= 0; } Constraint e408 { Definition: - 10*b83 + x346 <= 0; } Constraint e409 { Definition: - 10*b84 + x348 <= 0; } Constraint e410 { Definition: - 10*b85 + x350 <= 0; } Constraint e411 { Definition: - 10*b86 + x352 <= 0; } Constraint e412 { Definition: - 10*b87 + x354 <= 0; } Constraint e413 { Definition: - 10*b88 + x356 <= 0; } Constraint e414 { Definition: - 10*b89 + x358 <= 0; } Constraint e415 { Definition: - 10*b90 + x360 <= 0; } Constraint e416 { Definition: - 10*b91 + x361 <= 0; } Constraint e417 { Definition: - 10*b92 + x363 <= 0; } Constraint e418 { Definition: - 10*b93 + x365 <= 0; } Constraint e419 { Definition: - 10*b94 + x367 <= 0; } Constraint e420 { Definition: - 10*b95 + x369 <= 0; } Constraint e421 { Definition: - 10*b96 + x371 <= 0; } Constraint e422 { Definition: - 10*b97 + x373 <= 0; } Constraint e423 { Definition: - 10*b98 + x375 <= 0; } Constraint e424 { Definition: - 10*b99 + x377 <= 0; } Constraint e425 { Definition: - 10*b100 + x379 <= 0; } Constraint e426 { Definition: - 10*b101 + x381 <= 0; } Constraint e427 { Definition: - 10*b102 + x383 <= 0; } Constraint e428 { Definition: - 10*b103 + x385 <= 0; } Constraint e429 { Definition: - 10*b104 + x387 <= 0; } Constraint e430 { Definition: - 10*b105 + x389 <= 0; } Constraint e431 { Definition: - 10*b106 + x391 <= 0; } Constraint e432 { Definition: - 10*b107 + x393 <= 0; } Constraint e433 { Definition: - 10*b108 + x395 <= 0; } Constraint e434 { Definition: - 10*b109 + x397 <= 0; } Constraint e435 { Definition: - 10*b110 + x399 <= 0; } Constraint e436 { Definition: - 10*b111 + x401 <= 0; } Constraint e437 { Definition: - 10*b112 + x403 <= 0; } Constraint e438 { Definition: - 10*b113 + x405 <= 0; } Constraint e439 { Definition: - 10*b114 + x407 <= 0; } Constraint e440 { Definition: - 10*b115 + x409 <= 0; } Constraint e441 { Definition: - 10*b116 + x411 <= 0; } Constraint e442 { Definition: - 10*b117 + x413 <= 0; } Constraint e443 { Definition: - 10*b118 + x415 <= 0; } Constraint e444 { Definition: - 10*b119 + x417 <= 0; } Constraint e445 { Definition: - 10*b120 + x419 <= 0; } Constraint e446 { Definition: - 10*b91 + x362 <= 0; } Constraint e447 { Definition: - 10*b92 + x364 <= 0; } Constraint e448 { Definition: - 10*b93 + x366 <= 0; } Constraint e449 { Definition: - 10*b94 + x368 <= 0; } Constraint e450 { Definition: - 10*b95 + x370 <= 0; } Constraint e451 { Definition: - 10*b96 + x372 <= 0; } Constraint e452 { Definition: - 10*b97 + x374 <= 0; } Constraint e453 { Definition: - 10*b98 + x376 <= 0; } Constraint e454 { Definition: - 10*b99 + x378 <= 0; } Constraint e455 { Definition: - 10*b100 + x380 <= 0; } Constraint e456 { Definition: - 10*b101 + x382 <= 0; } Constraint e457 { Definition: - 10*b102 + x384 <= 0; } Constraint e458 { Definition: - 10*b103 + x386 <= 0; } Constraint e459 { Definition: - 10*b104 + x388 <= 0; } Constraint e460 { Definition: - 10*b105 + x390 <= 0; } Constraint e461 { Definition: - 10*b106 + x392 <= 0; } Constraint e462 { Definition: - 10*b107 + x394 <= 0; } Constraint e463 { Definition: - 10*b108 + x396 <= 0; } Constraint e464 { Definition: - 10*b109 + x398 <= 0; } Constraint e465 { Definition: - 10*b110 + x400 <= 0; } Constraint e466 { Definition: - 10*b111 + x402 <= 0; } Constraint e467 { Definition: - 10*b112 + x404 <= 0; } Constraint e468 { Definition: - 10*b113 + x406 <= 0; } Constraint e469 { Definition: - 10*b114 + x408 <= 0; } Constraint e470 { Definition: - 10*b115 + x410 <= 0; } Constraint e471 { Definition: - 10*b116 + x412 <= 0; } Constraint e472 { Definition: - 10*b117 + x414 <= 0; } Constraint e473 { Definition: - 10*b118 + x416 <= 0; } Constraint e474 { Definition: - 10*b119 + x418 <= 0; } Constraint e475 { Definition: - 10*b120 + x420 <= 0; } Constraint e476 { Definition: - 10*b121 + x421 <= 0; } Constraint e477 { Definition: - 10*b122 + x423 <= 0; } Constraint e478 { Definition: - 10*b123 + x425 <= 0; } Constraint e479 { Definition: - 10*b124 + x427 <= 0; } Constraint e480 { Definition: - 10*b125 + x429 <= 0; } Constraint e481 { Definition: - 10*b126 + x431 <= 0; } Constraint e482 { Definition: - 10*b127 + x433 <= 0; } Constraint e483 { Definition: - 10*b128 + x435 <= 0; } Constraint e484 { Definition: - 10*b129 + x437 <= 0; } Constraint e485 { Definition: - 10*b130 + x439 <= 0; } Constraint e486 { Definition: - 10*b131 + x441 <= 0; } Constraint e487 { Definition: - 10*b132 + x443 <= 0; } Constraint e488 { Definition: - 10*b133 + x445 <= 0; } Constraint e489 { Definition: - 10*b134 + x447 <= 0; } Constraint e490 { Definition: - 10*b135 + x449 <= 0; } Constraint e491 { Definition: - 10*b136 + x451 <= 0; } Constraint e492 { Definition: - 10*b137 + x453 <= 0; } Constraint e493 { Definition: - 10*b138 + x455 <= 0; } Constraint e494 { Definition: - 10*b139 + x457 <= 0; } Constraint e495 { Definition: - 10*b140 + x459 <= 0; } Constraint e496 { Definition: - 10*b141 + x461 <= 0; } Constraint e497 { Definition: - 10*b142 + x463 <= 0; } Constraint e498 { Definition: - 10*b143 + x465 <= 0; } Constraint e499 { Definition: - 10*b144 + x467 <= 0; } Constraint e500 { Definition: - 10*b145 + x469 <= 0; } Constraint e501 { Definition: - 10*b146 + x471 <= 0; } Constraint e502 { Definition: - 10*b147 + x473 <= 0; } Constraint e503 { Definition: - 10*b148 + x475 <= 0; } Constraint e504 { Definition: - 10*b149 + x477 <= 0; } Constraint e505 { Definition: - 10*b150 + x479 <= 0; } Constraint e506 { Definition: - 10*b121 + x422 <= 0; } Constraint e507 { Definition: - 10*b122 + x424 <= 0; } Constraint e508 { Definition: - 10*b123 + x426 <= 0; } Constraint e509 { Definition: - 10*b124 + x428 <= 0; } Constraint e510 { Definition: - 10*b125 + x430 <= 0; } Constraint e511 { Definition: - 10*b126 + x432 <= 0; } Constraint e512 { Definition: - 10*b127 + x434 <= 0; } Constraint e513 { Definition: - 10*b128 + x436 <= 0; } Constraint e514 { Definition: - 10*b129 + x438 <= 0; } Constraint e515 { Definition: - 10*b130 + x440 <= 0; } Constraint e516 { Definition: - 10*b131 + x442 <= 0; } Constraint e517 { Definition: - 10*b132 + x444 <= 0; } Constraint e518 { Definition: - 10*b133 + x446 <= 0; } Constraint e519 { Definition: - 10*b134 + x448 <= 0; } Constraint e520 { Definition: - 10*b135 + x450 <= 0; } Constraint e521 { Definition: - 10*b136 + x452 <= 0; } Constraint e522 { Definition: - 10*b137 + x454 <= 0; } Constraint e523 { Definition: - 10*b138 + x456 <= 0; } Constraint e524 { Definition: - 10*b139 + x458 <= 0; } Constraint e525 { Definition: - 10*b140 + x460 <= 0; } Constraint e526 { Definition: - 10*b141 + x462 <= 0; } Constraint e527 { Definition: - 10*b142 + x464 <= 0; } Constraint e528 { Definition: - 10*b143 + x466 <= 0; } Constraint e529 { Definition: - 10*b144 + x468 <= 0; } Constraint e530 { Definition: - 10*b145 + x470 <= 0; } Constraint e531 { Definition: - 10*b146 + x472 <= 0; } Constraint e532 { Definition: - 10*b147 + x474 <= 0; } Constraint e533 { Definition: - 10*b148 + x476 <= 0; } Constraint e534 { Definition: - 10*b149 + x478 <= 0; } Constraint e535 { Definition: - 10*b150 + x480 <= 0; } Constraint e536 { Definition: x151 - x152 <= 0; } Constraint e537 { Definition: x152 - x157 <= 0; } Constraint e538 { Definition: x157 - x161 <= 0; } Constraint e539 { Definition: x161 - x165 <= 0; } Constraint e540 { Definition: { - x153 - x156 - x158 - x160 - x162 - x164 - x166 - x168 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 + objvar = 0 } } Procedure MainInitialization { Body: { 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; x446.upper := 10; x447.upper := 10; x448.upper := 10; x449.upper := 10; x450.upper := 10; x451.upper := 10; x452.upper := 10; x453.upper := 10; x454.upper := 10; x455.upper := 10; x456.upper := 10; x457.upper := 10; x458.upper := 10; x459.upper := 10; x460.upper := 10; x461.upper := 10; x462.upper := 10; x463.upper := 10; x464.upper := 10; x465.upper := 10; x466.upper := 10; x467.upper := 10; x468.upper := 10; x469.upper := 10; x470.upper := 10; x471.upper := 10; x472.upper := 10; x473.upper := 10; x474.upper := 10; x475.upper := 10; x476.upper := 10; x477.upper := 10; x478.upper := 10; x479.upper := 10; x480.upper := 10; } } MathematicalProgram p_ball_30b_5p_2d_h { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_30b_5p_2d_h; } } Procedure MainTermination { Body: { return 1; } } }