## ams_version=1.0 Model Main_fin2bb { 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 b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } 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 x481 { Range: nonnegative; } Variable x482 { Range: nonnegative; } Variable x483 { Range: nonnegative; } Variable x484 { Range: nonnegative; } Variable x485 { Range: nonnegative; } Variable x486 { Range: nonnegative; } Variable x487 { Range: nonnegative; } Variable x488 { Range: nonnegative; } Variable x489 { Range: nonnegative; } Variable x490 { Range: nonnegative; } Variable x491 { Range: nonnegative; } Variable x492 { Range: nonnegative; } Variable x493 { Range: nonnegative; } Variable x494 { Range: nonnegative; } Variable x495 { Range: nonnegative; } Variable x496 { Range: nonnegative; } Variable x497 { Range: nonnegative; } Variable x498 { Range: nonnegative; } Variable x499 { Range: nonnegative; } Variable x500 { Range: nonnegative; } Variable x501 { Range: nonnegative; } Variable x502 { Range: nonnegative; } Variable x503 { Range: nonnegative; } Variable x504 { Range: nonnegative; } Variable x505 { Range: nonnegative; } Variable x506 { Range: nonnegative; } Variable x507 { Range: nonnegative; } Variable x508 { Range: nonnegative; } Variable x509 { Range: nonnegative; } Variable x510 { Range: nonnegative; } Variable x511 { Range: nonnegative; } Variable x512 { Range: nonnegative; } Variable x513 { Range: nonnegative; } Variable x514 { Range: nonnegative; } Variable x515 { Range: nonnegative; } Variable x516 { Range: nonnegative; } Variable x517 { Range: nonnegative; } Variable x518 { Range: nonnegative; } Variable x519 { Range: nonnegative; } Variable x520 { Range: nonnegative; } Variable x521 { Range: nonnegative; } Variable x522 { Range: nonnegative; } Variable x523 { Range: nonnegative; } Variable x524 { Range: nonnegative; } Variable x525 { Range: nonnegative; } Variable x526 { Range: nonnegative; } Variable x527 { Range: nonnegative; } Variable x528 { Range: nonnegative; } Variable x529 { Range: nonnegative; } Variable x530 { Range: nonnegative; } Variable x531 { Range: nonnegative; } Variable x532 { Range: nonnegative; } Variable x533 { Range: nonnegative; } Variable x534 { Range: nonnegative; } Variable x535 { Range: nonnegative; } Variable x536 { Range: nonnegative; } Variable x537 { Range: nonnegative; } Variable x538 { Range: nonnegative; } Variable x539 { Range: nonnegative; } Variable x540 { Range: nonnegative; } Variable x541 { Range: nonnegative; } Variable x542 { Range: nonnegative; } Variable x543 { Range: nonnegative; } Variable x544 { Range: nonnegative; } Variable x545 { Range: nonnegative; } Variable x546 { Range: nonnegative; } Variable x547; Variable x548; Variable x549; Variable x550; Variable x551; Variable x552; Variable x553; Variable x554; Variable x555; Variable x556; Variable x557; Variable x558; Variable x559; Variable x560; Variable x561; Variable x562; Variable x563; Variable x564; Variable x565; Variable x566; Variable x567; Variable x568; Variable x569; Variable x570; Variable x571; Variable x572; Variable x573; Variable x574; Variable x575; Variable x576; Variable x577; Variable x578; Variable x579; Variable x580; Variable x581; Variable x582; Variable x583; Variable x584; Variable x585; Variable x586; Variable x587; Variable x588; Variable objvar; Constraint e1 { Definition: -1000*sqr((-0.0035) - (x547 - x568)/x568) + 0.01*x176 = 0; } Constraint e2 { Definition: -1000*sqr((-0.0313) - (x548 - x569)/x569) + 0.01*x177 = 0; } Constraint e3 { Definition: -1000*sqr((-0.0082) - (x549 - x570)/x570) + 0.01*x178 = 0; } Constraint e4 { Definition: -1000*sqr(0.0381 - (x550 - x571)/x571) + 0.01*x179 = 0; } Constraint e5 { Definition: -1000*sqr((-0.0039) - (x551 - x572)/x572) + 0.01*x180 = 0; } Constraint e6 { Definition: -1000*sqr(0.0151 - (x552 - x573)/x573) + 0.01*x181 = 0; } Constraint e7 { Definition: -1000*sqr(0.0283 - (x553 - x574)/x574) + 0.01*x182 = 0; } Constraint e8 { Definition: -1000*sqr(0.0075 - (x554 - x575)/x575) + 0.01*x183 = 0; } Constraint e9 { Definition: -1000*sqr((-0.0054) - (x555 - x576)/x576) + 0.01*x184 = 0; } Constraint e10 { Definition: -1000*sqr(-(x556 - x577)/x577) + 0.01*x185 = 0; } Constraint e11 { Definition: -1000*sqr(0.0008 - (x557 - x578)/x578) + 0.01*x186 = 0; } Constraint e12 { Definition: -1000*sqr((-0.0087) - (x558 - x579)/x579) + 0.01*x187 = 0; } Constraint e13 { Definition: -1000*sqr(0.0407 - (x559 - x580)/x580) + 0.01*x188 = 0; } Constraint e14 { Definition: -1000*sqr(-(x560 - x581)/x581) + 0.01*x189 = 0; } Constraint e15 { Definition: -1000*sqr((-0.0101) - (x561 - x582)/x582) + 0.01*x190 = 0; } Constraint e16 { Definition: -1000*sqr((-0.0124) - (x562 - x583)/x583) + 0.01*x191 = 0; } Constraint e17 { Definition: -1000*sqr(0.0059 - (x563 - x584)/x584) + 0.01*x192 = 0; } Constraint e18 { Definition: -1000*sqr(0.0008 - (x564 - x585)/x585) + 0.01*x193 = 0; } Constraint e19 { Definition: -1000*sqr(0.0107 - (x565 - x586)/x586) + 0.01*x194 = 0; } Constraint e20 { Definition: -1000*sqr(0.0204 - (x566 - x587)/x587) + 0.01*x195 = 0; } Constraint e21 { Definition: -1000*sqr(0.015 - (x567 - x588)/x588) + 0.01*x196 = 0; } Constraint e22 { Definition: { - 68.01*x372 - 12.85*x373 - 43.05*x374 - 42.2*x375 - 39.15*x376 - 38.55*x377 - 194.5*x378 - 85.75*x379 - 50.79*x380 - 88*x381 - 21.89*x382 - 41.6*x383 - 121.5*x384 - 22.51*x385 - 67.5*x386 - 44.5*x387 - 77.5*x388 - 47.1*x389 - 59.45*x390 - 243.7*x391 - 29.93*x392 - 96*x393 - 314*x394 - 46*x395 - 59.4*x396 - 37.39*x397 - 43.74*x398 - 28.813*x399 - 47.575*x400 - 51.193*x401 - 9447.96999999999*x402 - 12530.3*x403 - 33.101*x404 - 17.623*x405 - 13.535*x406 - 58.966*x407 - 21.623*x408 - 45.029*x409 - 21.442*x410 - 11.525*x411 - 41.946*x412 - 25.5*x413 - 15.5*x414 - 21*x415 - 16*x416 - 32*x417 - 6.39*x418 - 11.5*x419 - 71*x420 - 20*x421 - 21.35*x422 - 27.25*x423 - 8.6*x424 - 46*x425 - 43*x426 - 1.83*x427 - 3.9*x428 - 9.882*x429 - 5.837*x430 - 11.7*x431 - 11.4*x432 - 26*x433 - 33.45*x434 - 9.7*x435 - 11.4*x436 - 18*x437 - 10.45*x438 - 2.66*x439 - 2.63*x440 - 12.3*x441 - 7.9*x442 - 12.4*x443 - 5*x444 - 1.95*x445 - 1.1*x446 - 21.03*x447 - 33.57*x448 - 35.42*x449 - 46.22*x450 - 28.7*x451 - 14.22*x452 - 5.12*x453 - 24.74*x454 - 48.16*x455 - 56.85*x456 - 37*x457 - 20.4*x458 - 11.015*x459 - 15.45*x460 - 25.45*x461 - 31.13*x462 - 62.78*x463 - 24.1*x464 - 59.45*x465 - 11.8*x466 - 28.5*x467 - 19.007*x468 - 17.83*x469 - 5.448*x470 - 20.988*x471 - 6.129*x472 - 3.343*x473 - 6.581*x474 - 3.021*x475 - 46.557*x476 - 15.416*x477 - 15.354*x478 - 19.874*x479 - 9.844*x480 - 10.525*x481 - 12.63*x482 - 11.392*x483 - 10.03*x484 - 6.625*x485 - 17.521*x486 - 18.583*x487 - 17.545*x488 - 12.462*x489 - 14.375*x490 - 6.176*x491 - 15.85*x492 - 16.178*x493 - 34.707*x494 - 19.676*x495 - 20.66*x496 - 23.721*x497 - 19.84*x498 - 9.674*x499 - 10.275*x500 - 10.139*x501 - 14.648*x502 - 16.014*x503 - 9.073*x504 - 8.8*x505 - 15.632*x506 - 15.085*x507 - 4.843*x508 - 7.433*x509 - 16.725*x510 - 17.053*x511 - 3.848*x512 - 1.053*x513 - 27.004*x514 - 7.269*x515 - 7.324*x516 - 20.701*x517 - 23.8*x518 - 35.514*x519 - 43.957*x520 - 116.592*x521 - 25.597*x522 - 6.668*x523 - 6.231*x524 - 214*x525 - 22.782*x526 - 29.75*x527 - 15.031*x528 - 60*x529 - 17.9*x530 - 23.5*x531 - 22.5*x532 - 3.938*x533 - 4.54*x534 - 20.5*x535 - 15.68*x536 - 25.142*x537 - 20.059*x538 - 78.256*x539 - 5.232*x540 - 4.25*x541 - 35.65*x542 - 5.55*x543 - 5.88*x544 - 4.594*x545 - 57.8*x546 + x547 = 0 } } Constraint e23 { Definition: { - 68.39*x372 - 12.5*x373 - 42.5*x374 - 43.3*x375 - 38.6*x376 - 38*x377 - 200*x378 - 85.89*x379 - 50.5*x380 - 88.4*x381 - 21.8*x382 - 41.76*x383 - 121*x384 - 22.15*x385 - 67.5*x386 - 44.45*x387 - 74*x388 - 45.39*x389 - 60.15*x390 - 245.6*x391 - 28.98*x392 - 91.2*x393 - 310*x394 - 45.4*x395 - 58.4*x396 - 35.5*x397 - 43.8*x398 - 30.156*x399 - 48.249*x400 - 50.929*x401 - 9247.69*x402 - 12330.3*x403 - 32.702*x404 - 17.624*x405 - 13.402*x406 - 56.96*x407 - 20.241*x408 - 43.156*x409 - 20.104*x410 - 11.392*x411 - 42.084*x412 - 25*x413 - 15.5*x414 - 21*x415 - 15.95*x416 - 31.8*x417 - 6.41*x418 - 11.48*x419 - 68.5*x420 - 20*x421 - 21.3*x422 - 25.25*x423 - 8.45*x424 - 45*x425 - 42.8*x426 - 1.81*x427 - 3.9*x428 - 9.789*x429 - 6.089*x430 - 11.7*x431 - 11.5*x432 - 26.69*x433 - 32.3*x434 - 9.8*x435 - 11.15*x436 - 17.8*x437 - 10.35*x438 - 2.61*x439 - 2.5*x440 - 12.2*x441 - 7.72*x442 - 12.2*x443 - 4.9*x444 - 1.91*x445 - 1.12*x446 - 20.34*x447 - 31.22*x448 - 35.05*x449 - 46*x450 - 28.55*x451 - 14.1*x452 - 4.7*x453 - 24.5*x454 - 46.32*x455 - 55.1*x456 - 36.465*x457 - 19.35*x458 - 10.654*x459 - 15.25*x460 - 24.95*x461 - 28.91*x462 - 61.14*x463 - 23.68*x464 - 58.5*x465 - 11.6*x466 - 28.77*x467 - 19.207*x468 - 17.668*x469 - 5.368*x470 - 20.808*x471 - 6.033*x472 - 3.324*x473 - 6.441*x474 - 2.721*x475 - 46.171*x476 - 14.96*x477 - 14.775*x478 - 19.7*x479 - 9.665*x480 - 10.466*x481 - 12.312*x482 - 10.958*x483 - 9.604*x484 - 6.772*x485 - 16.868*x486 - 18.132*x487 - 17.149*x488 - 12.452*x489 - 14.473*x490 - 5.734*x491 - 15.838*x492 - 15.783*x493 - 34.188*x494 - 18.569*x495 - 20.808*x496 - 23.648*x497 - 19.279*x498 - 9.776*x499 - 10.104*x500 - 10.022*x501 - 14.473*x502 - 16.002*x503 - 9.011*x504 - 8.684*x505 - 15.565*x506 - 14.964*x507 - 4.915*x508 - 7.264*x509 - 17.149*x510 - 17.476*x511 - 3.572*x512 - 1.017*x513 - 28.145*x514 - 7.045*x515 - 7.154*x516 - 20.534*x517 - 22.11*x518 - 33.975*x519 - 40.475*x520 - 113.921*x521 - 25.465*x522 - 6.499*x523 - 5.953*x524 - 213*x525 - 22.784*x526 - 30.38*x527 - 15.346*x528 - 58.18*x529 - 17.5*x530 - 22.05*x531 - 22.1*x532 - 3.694*x533 - 4.51*x534 - 20.15*x535 - 12.799*x536 - 24.358*x537 - 19.454*x538 - 68.457*x539 - 4.925*x540 - 3.9*x541 - 29*x542 - 5.1*x543 - 5.7*x544 - 4.506*x545 - 57.7*x546 + x548 = 0 } } Constraint e24 { Definition: { - 68*x372 - 12.53*x373 - 42.85*x374 - 43.2*x375 - 38.75*x376 - 38*x377 - 199*x378 - 85.88*x379 - 50.3*x380 - 89.5*x381 - 21.5*x382 - 41.6*x383 - 123*x384 - 22.45*x385 - 66*x386 - 43.25*x387 - 77*x388 - 43.5*x389 - 59.45*x390 - 244.3*x391 - 29.11*x392 - 98*x393 - 309.9*x394 - 44*x395 - 57.9*x396 - 36.17*x397 - 43.95*x398 - 29.469*x399 - 47.553*x400 - 50.232*x401 - 8947.95*x402 - 11921.7*x403 - 32.148*x404 - 17.347*x405 - 13.529*x406 - 58.403*x407 - 19.884*x408 - 41.793*x409 - 20.093*x410 - 11.453*x411 - 40.788*x412 - 25*x413 - 15.2*x414 - 22.1*x415 - 15.68*x416 - 31*x417 - 5.92*x418 - 11.35*x419 - 69*x420 - 20.2*x421 - 20.85*x422 - 25.1*x423 - 8.25*x424 - 45*x425 - 41.49*x426 - 1.77*x427 - 3.8*x428 - 9.651*x429 - 6.649*x430 - 11.9*x431 - 10.95*x432 - 26*x433 - 31.13*x434 - 9.75*x435 - 11.2*x436 - 17.9*x437 - 10.25*x438 - 2.55*x439 - 2.48*x440 - 12.1*x441 - 7.7*x442 - 11.9*x443 - 4.94*x444 - 1.88*x445 - 1.07*x446 - 20.37*x447 - 31.3*x448 - 34.75*x449 - 45.24*x450 - 28.36*x451 - 13.95*x452 - 4.56*x453 - 24.49*x454 - 47.08*x455 - 52.5*x456 - 36.845*x457 - 19.55*x458 - 10.371*x459 - 14.75*x460 - 24.7*x461 - 28.12*x462 - 60.29*x463 - 23.72*x464 - 59.4*x465 - 10.65*x466 - 28.41*x467 - 18.832*x468 - 17.609*x469 - 5.307*x470 - 21.156*x471 - 5.747*x472 - 3.302*x473 - 6.397*x474 - 2.788*x475 - 45.43*x476 - 15.286*x477 - 15.225*x478 - 19.321*x479 - 9.294*x480 - 10.272*x481 - 11.801*x482 - 10.517*x483 - 9.294*x484 - 6.787*x485 - 17.487*x486 - 18.911*x487 - 17.773*x488 - 12.083*x489 - 14.901*x490 - 5.408*x491 - 15.172*x492 - 16.093*x493 - 31.807*x494 - 18.098*x495 - 21.349*x496 - 22.541*x497 - 18.64*x498 - 10.133*x499 - 9.645*x500 - 9.97*x501 - 14.739*x502 - 16.256*x503 - 8.67*x504 - 8.453*x505 - 15.931*x506 - 15.335*x507 - 4.692*x508 - 7.261*x509 - 17.177*x510 - 17.665*x511 - 3.685*x512 - 1.017*x513 - 25.451*x514 - 6.882*x515 - 6.882*x516 - 20.173*x517 - 22.47*x518 - 33.488*x519 - 40.855*x520 - 111.849*x521 - 24.513*x522 - 6.665*x523 - 6.015*x524 - 205.5*x525 - 22.638*x526 - 30.22*x527 - 15.335*x528 - 56.41*x529 - 17.15*x530 - 22*x531 - 22.01*x532 - 3.705*x533 - 4.46*x534 - 19.9*x535 - 11.654*x536 - 22.108*x537 - 19.199*x538 - 63.895*x539 - 4.983*x540 - 3.94*x541 - 28*x542 - 4.83*x543 - 5.85*x544 - 4.39*x545 - 57.59*x546 + x549 = 0 } } Constraint e25 { Definition: { - 69*x372 - 13.01*x373 - 42.95*x374 - 43.2*x375 - 39.86*x376 - 37.99*x377 - 208.99*x378 - 85.45*x379 - 51.59*x380 - 92*x381 - 22.15*x382 - 42.83*x383 - 128.5*x384 - 23.07*x385 - 69.9*x386 - 44*x387 - 74.5*x388 - 45.95*x389 - 60.4*x390 - 248.9*x391 - 29.65*x392 - 95.05*x393 - 310*x394 - 44*x395 - 59*x396 - 36.76*x397 - 43.9*x398 - 22.776*x399 - 48.902*x400 - 51.313*x401 - 9311.45999999999*x402 - 12526.9*x403 - 32.959*x404 - 17.417*x405 - 13.666*x406 - 57.878*x407 - 20.061*x408 - 42.203*x409 - 20.7*x410 - 11.455*x411 - 42.337*x412 - 25.4*x413 - 14.8*x414 - 22.13*x415 - 15.7*x416 - 31*x417 - 6*x418 - 11.1*x419 - 71.9*x420 - 19.8*x421 - 20.85*x422 - 27.05*x423 - 8.45*x424 - 43.6*x425 - 40.8*x426 - 1.95*x427 - 3.93*x428 - 9.66*x429 - 6.941*x430 - 11.9*x431 - 11*x432 - 26.3*x433 - 32.2*x434 - 10.1*x435 - 11.4*x436 - 18.1*x437 - 10.3*x438 - 2.55*x439 - 2.4*x440 - 12.2*x441 - 7.83*x442 - 12.25*x443 - 5.38*x444 - 1.87*x445 - 1.07*x446 - 21.57*x447 - 32.71*x448 - 35.13*x449 - 47.3*x450 - 29*x451 - 14.44*x452 - 5.04*x453 - 24.5*x454 - 46.44*x455 - 52.5*x456 - 37.25*x457 - 20.25*x458 - 10.907*x459 - 15.7*x460 - 25.15*x461 - 29.96*x462 - 61.05*x463 - 23.64*x464 - 60.1*x465 - 11.1*x466 - 29.55*x467 - 19.657*x468 - 18.551*x469 - 5.344*x470 - 21.192*x471 - 6.081*x472 - 3.563*x473 - 6.478*x474 - 3.305*x475 - 45.702*x476 - 15.603*x477 - 15.541*x478 - 19.472*x479 - 9.46*x480 - 10.258*x481 - 12.04*x482 - 10.627*x483 - 9.337*x484 - 7.126*x485 - 18.674*x486 - 20.168*x487 - 19.239*x488 - 11.915*x489 - 15.413*x490 - 6.34*x491 - 15.85*x492 - 16.78*x493 - 34.434*x494 - 19.021*x495 - 22.027*x496 - 23.174*x497 - 19.403*x498 - 10.439*x499 - 10.549*x500 - 10.234*x501 - 14.976*x502 - 16.616*x503 - 8.909*x504 - 8.636*x505 - 16.178*x506 - 15.632*x507 - 4.7*x508 - 7.379*x509 - 17.49*x510 - 18.201*x511 - 3.848*x512 - 1.017*x513 - 27.465*x514 - 6.941*x515 - 6.996*x516 - 20.349*x517 - 24.35*x518 - 35.37*x519 - 43.811*x520 - 114.551*x521 - 25.992*x522 - 6.941*x523 - 6.504*x524 - 210*x525 - 22.575*x526 - 30.45*x527 - 15.96*x528 - 58.4*x529 - 16.85*x530 - 21.9*x531 - 22*x532 - 4.03*x533 - 4.2*x534 - 19.99*x535 - 11.991*x536 - 26.454*x537 - 19.78*x538 - 85.261*x539 - 5.191*x540 - 3.59*x541 - 30.5*x542 - 5.2*x543 - 5.82*x544 - 4.509*x545 - 58.03*x546 + x550 = 0 } } Constraint e26 { Definition: { - 68.15*x372 - 13.1*x373 - 42.95*x374 - 43.1*x375 - 38.22*x376 - 38.4*x377 - 202*x378 - 85.88*x379 - 51.65*x380 - 91.1*x381 - 22.1*x382 - 42.09*x383 - 125.5*x384 - 22.85*x385 - 72*x386 - 43.3*x387 - 76*x388 - 46*x389 - 60.75*x390 - 247.5*x391 - 29.28*x392 - 95.3*x393 - 308.2*x394 - 43.4*x395 - 59.65*x396 - 36.34*x397 - 44.7*x398 - 26.254*x399 - 47.553*x400 - 49.562*x401 - 9711.4*x402 - 12725.3*x403 - 36.167*x404 - 17.347*x405 - 13.663*x406 - 57.867*x407 - 19.365*x408 - 43.132*x409 - 20.361*x410 - 11.587*x411 - 41.525*x412 - 25.5*x413 - 14.31*x414 - 22*x415 - 15.6*x416 - 31.21*x417 - 5.91*x418 - 11.1*x419 - 74*x420 - 20.5*x421 - 21*x422 - 26.7*x423 - 9.1*x424 - 43.5*x425 - 41.99*x426 - 1.82*x427 - 3.98*x428 - 8.8*x429 - 6.665*x430 - 11.01*x431 - 10.85*x432 - 26.6*x433 - 31.75*x434 - 10.05*x435 - 11.45*x436 - 18.14*x437 - 10.4*x438 - 2.53*x439 - 2.4*x440 - 12.4*x441 - 8.4*x442 - 12.25*x443 - 5.275*x444 - 1.9*x445 - 1.06*x446 - 21.69*x447 - 33.68*x448 - 34.72*x449 - 46.4*x450 - 28.93*x451 - 14.07*x452 - 5.2*x453 - 24.81*x454 - 45.8*x455 - 51.8*x456 - 37.55*x457 - 19.55*x458 - 10.712*x459 - 12.4*x460 - 25.55*x461 - 29.29*x462 - 61.39*x463 - 23.71*x464 - 60.1*x465 - 11.2*x466 - 30.23*x467 - 20.123*x468 - 18.896*x469 - 5.35*x470 - 21.105*x471 - 6.135*x472 - 3.681*x473 - 6.521*x474 - 3.153*x475 - 45.891*x476 - 16.074*x477 - 15.951*x478 - 19.755*x479 - 9.755*x480 - 10.552*x481 - 12.148*x482 - 10.614*x483 - 9.387*x484 - 7.055*x485 - 18.16*x486 - 20.279*x487 - 19.293*x488 - 11.948*x489 - 15.347*x490 - 6.193*x491 - 16.552*x492 - 15.675*x493 - 35.242*x494 - 19.074*x495 - 22.307*x496 - 22.253*x497 - 19.731*x498 - 9.756*x499 - 10.085*x500 - 10.373*x501 - 15.073*x502 - 16.662*x503 - 9.098*x504 - 8.715*x505 - 16.114*x506 - 15.785*x507 - 4.812*x508 - 7.399*x509 - 17.375*x510 - 17.977*x511 - 3.902*x512 - 1.031*x513 - 26.857*x514 - 6.906*x515 - 6.961*x516 - 20.506*x517 - 23.77*x518 - 36.033*x519 - 45.677*x520 - 115.198*x521 - 24.379*x522 - 6.906*x523 - 6.467*x524 - 210*x525 - 20.896*x526 - 30.01*x527 - 16.224*x528 - 59.44*x529 - 16.5*x530 - 22.4*x531 - 22.8*x532 - 3.988*x533 - 4.2*x534 - 20.15*x535 - 11.788*x536 - 24.938*x537 - 19.755*x538 - 74.604*x539 - 5*x540 - 3.54*x541 - 30*x542 - 4.95*x543 - 5.66*x544 - 4.479*x545 - 57*x546 + x551 = 0 } } Constraint e27 { Definition: { - 68.3*x372 - 13.13*x373 - 42.95*x374 - 42.89*x375 - 38.5*x376 - 38.1*x377 - 208.06*x378 - 85.5*x379 - 51.75*x380 - 90.99*x381 - 22.3*x382 - 42*x383 - 127.46*x384 - 22.9*x385 - 73*x386 - 42.3*x387 - 77.5*x388 - 46*x389 - 60.3*x390 - 251.9*x391 - 30.35*x392 - 93.55*x393 - 311.1*x394 - 43.4*x395 - 59.9*x396 - 37.2*x397 - 45*x398 - 28.81*x399 - 47.57*x400 - 50.25*x401 - 9513.9*x402 - 12461.9*x403 - 36.225*x404 - 17.353*x405 - 14.07*x406 - 58.289*x407 - 19.026*x408 - 43.55*x409 - 20.234*x410 - 11.256*x411 - 42.076*x412 - 25.5*x413 - 15.8*x414 - 21.9*x415 - 15.75*x416 - 31.3*x417 - 6.04*x418 - 11.2*x419 - 71*x420 - 20.5*x421 - 21*x422 - 26.8*x423 - 8.9*x424 - 44*x425 - 42.7*x426 - 1.78*x427 - 3.9*x428 - 9.198*x429 - 7.047*x430 - 11*x431 - 11*x432 - 27.3*x433 - 32*x434 - 10.28*x435 - 11.64*x436 - 18.5*x437 - 10.4*x438 - 2.58*x439 - 2.5*x440 - 12.4*x441 - 8.62*x442 - 12.28*x443 - 5.3*x444 - 1.89*x445 - 1.05*x446 - 22.19*x447 - 34.98*x448 - 34.62*x449 - 47*x450 - 28.64*x451 - 13.84*x452 - 4.93*x453 - 25.05*x454 - 45.48*x455 - 54*x456 - 38.36*x457 - 19.85*x458 - 10.956*x459 - 13.25*x460 - 26.45*x461 - 29.01*x462 - 63.01*x463 - 23.71*x464 - 60.4*x465 - 10.3*x466 - 29.4*x467 - 20.265*x468 - 18.546*x469 - 5.343*x470 - 21.002*x471 - 6.141*x472 - 3.807*x473 - 6.629*x474 - 3.279*x475 - 45.689*x476 - 16.335*x477 - 16.212*x478 - 19.651*x479 - 9.826*x480 - 10.685*x481 - 12.036*x482 - 10.563*x483 - 9.334*x484 - 7.124*x485 - 17.809*x486 - 20.63*x487 - 19.809*x488 - 11.874*x489 - 15.924*x490 - 6.348*x491 - 16.69*x492 - 16.416*x493 - 37.101*x494 - 18.769*x495 - 22.654*x496 - 22.49*x497 - 20.794*x498 - 10.178*x499 - 10.342*x500 - 10.465*x501 - 15.212*x502 - 17.182*x503 - 9.521*x504 - 9.138*x505 - 16.362*x506 - 15.869*x507 - 4.706*x508 - 7.387*x509 - 18.113*x510 - 18.715*x511 - 4.268*x512 - 1.083*x513 - 27.202*x514 - 6.95*x515 - 7.059*x516 - 20.726*x517 - 23.4*x518 - 36.582*x519 - 45.56*x520 - 115.239*x521 - 25.728*x522 - 7.278*x523 - 6.731*x524 - 209*x525 - 21.44*x526 - 31*x527 - 16.799*x528 - 60.2*x529 - 16.65*x530 - 22*x531 - 22*x532 - 4.029*x533 - 4.2*x534 - 20.07*x535 - 12.395*x536 - 27.47*x537 - 19.774*x538 - 77.254*x539 - 4.913*x540 - 3.75*x541 - 30*x542 - 5*x543 - 5.94*x544 - 4.581*x545 - 58.5*x546 + x552 = 0 } } Constraint e28 { Definition: { - 68.3*x372 - 13*x373 - 42.98*x374 - 43.2*x375 - 37.9*x376 - 37.95*x377 - 209*x378 - 85.5*x379 - 52.48*x380 - 91.25*x381 - 22.2*x382 - 43*x383 - 128.5*x384 - 22.89*x385 - 75*x386 - 43.5*x387 - 77.5*x388 - 46*x389 - 60.7*x390 - 254*x391 - 30.35*x392 - 94.6*x393 - 314*x394 - 44.1*x395 - 61.3*x396 - 37.3*x397 - 44.95*x398 - 29.747*x399 - 48.909*x400 - 50.785*x401 - 9580.79999999999*x402 - 12662.7*x403 - 36.983*x404 - 17.42*x405 - 13.802*x406 - 58.289*x407 - 19.579*x408 - 42.209*x409 - 20.368*x410 - 11.323*x411 - 42.879*x412 - 25.9*x413 - 16*x414 - 21.55*x415 - 15.6*x416 - 32.5*x417 - 5.8*x418 - 10.02*x419 - 72.5*x420 - 20.8*x421 - 21.7*x422 - 28.64*x423 - 9.15*x424 - 45*x425 - 42.91*x426 - 1.8*x427 - 4*x428 - 9.4*x429 - 7.875*x430 - 11*x431 - 11*x432 - 27.1*x433 - 32.3*x434 - 9.9*x435 - 12.1*x436 - 18.55*x437 - 10.3*x438 - 2.6*x439 - 2.47*x440 - 12.8*x441 - 8.92*x442 - 12.4*x443 - 5.375*x444 - 1.93*x445 - 1.12*x446 - 22.5*x447 - 35.01*x448 - 35.4*x449 - 48.88*x450 - 29*x451 - 14.25*x452 - 5.29*x453 - 24.95*x454 - 46.84*x455 - 54*x456 - 38.74*x457 - 20.3*x458 - 12*x459 - 13.7*x460 - 27.4*x461 - 30.87*x462 - 64.92*x463 - 23.35*x464 - 60.55*x465 - 10.2*x466 - 29.3*x467 - 20.537*x468 - 19.114*x469 - 5.431*x470 - 22.392*x471 - 6.186*x472 - 3.86*x473 - 6.575*x474 - 3.415*x475 - 46.64*x476 - 17.135*x477 - 16.949*x478 - 19.98*x479 - 10.145*x480 - 11.629*x481 - 12.557*x482 - 10.701*x483 - 9.65*x484 - 7.237*x485 - 18.928*x486 - 21.734*x487 - 20.738*x488 - 12.056*x489 - 16.425*x490 - 6.802*x491 - 16.922*x492 - 17.254*x493 - 39.043*x494 - 19.522*x495 - 23.669*x496 - 23.227*x497 - 20.683*x498 - 10.231*x499 - 10.618*x500 - 10.632*x501 - 15.761*x502 - 17.475*x503 - 9.844*x504 - 9.457*x505 - 16.646*x506 - 16.038*x507 - 4.723*x508 - 7.521*x509 - 19.134*x510 - 19.632*x511 - 4.203*x512 - 1.114*x513 - 27.469*x514 - 6.968*x515 - 7.023*x516 - 20.997*x517 - 24.99*x518 - 36.179*x519 - 50.249*x520 - 114.568*x521 - 25.459*x522 - 7.079*x523 - 7.023*x524 - 208*x525 - 22.11*x526 - 31*x527 - 17.31*x528 - 62*x529 - 16.9*x530 - 22*x531 - 22.49*x532 - 4.429*x533 - 4.12*x534 - 20.42*x535 - 12.73*x536 - 27.43*x537 - 20.908*x538 - 81.281*x539 - 5.165*x540 - 4.2*x541 - 30*x542 - 5.49*x543 - 6.2*x544 - 4.85*x545 - 58.95*x546 + x553 = 0 } } Constraint e29 { Definition: { - 68.57*x372 - 13*x373 - 42.95*x374 - 42.57*x375 - 36.45*x376 - 37.3*x377 - 202.01*x378 - 85*x379 - 52.17*x380 - 91.2*x381 - 22.15*x382 - 43.02*x383 - 124.9*x384 - 22.75*x385 - 78.1*x386 - 43.5*x387 - 74.1*x388 - 44.3*x389 - 61.1*x390 - 257.3*x391 - 29.2*x392 - 96.95*x393 - 315*x394 - 43.9*x395 - 61.5*x396 - 37.37*x397 - 44.95*x398 - 30.554*x399 - 48.913*x400 - 52.263*x401 - 9648.5*x402 - 12864.7*x403 - 36.182*x404 - 17.555*x405 - 13.669*x406 - 59.231*x407 - 21.103*x408 - 42.078*x409 - 21.173*x410 - 11.257*x411 - 44.624*x412 - 25.8*x413 - 15.5*x414 - 21.99*x415 - 15.21*x416 - 32.2*x417 - 5.8*x418 - 10.15*x419 - 72*x420 - 20.9*x421 - 21.5*x422 - 30.15*x423 - 10.12*x424 - 25.5*x425 - 26*x426 - 1.83*x427 - 4.25*x428 - 10.05*x429 - 8.24*x430 - 11.85*x431 - 11.25*x432 - 28.8*x433 - 32.65*x434 - 10.4*x435 - 12*x436 - 18.35*x437 - 10.55*x438 - 2.58*x439 - 2.4*x440 - 12.52*x441 - 9*x442 - 12.42*x443 - 5.375*x444 - 1.9*x445 - 1.15*x446 - 22.54*x447 - 34.8*x448 - 35.3*x449 - 49.75*x450 - 29.88*x451 - 14.51*x452 - 5.27*x453 - 25.75*x454 - 45.88*x455 - 54.75*x456 - 38.4*x457 - 20.05*x458 - 12.293*x459 - 13.5*x460 - 27.4*x461 - 33.55*x462 - 64.29*x463 - 23.43*x464 - 60*x465 - 11.05*x466 - 30.41*x467 - 21.014*x468 - 19.778*x469 - 5.525*x470 - 22.126*x471 - 6.181*x472 - 3.894*x473 - 6.672*x474 - 3.399*x475 - 47.467*x476 - 18.047*x477 - 18.109*x478 - 20.087*x479 - 10.074*x480 - 11.434*x481 - 12.917*x482 - 10.692*x483 - 9.518*x484 - 7.293*x485 - 18.418*x486 - 21.804*x487 - 21.03*x488 - 11.732*x489 - 16.27*x490 - 7.028*x491 - 16.934*x492 - 16.99*x493 - 40.621*x494 - 18.927*x495 - 23.465*x496 - 23.409*x497 - 20.642*x498 - 10.072*x499 - 10.127*x500 - 10.626*x501 - 16.16*x502 - 18.041*x503 - 9.74*x504 - 9.408*x505 - 16.602*x506 - 16.16*x507 - 4.483*x508 - 7.637*x509 - 18.318*x510 - 18.761*x511 - 4.339*x512 - 1.123*x513 - 27.471*x514 - 6.752*x515 - 6.862*x516 - 21.317*x517 - 27.05*x518 - 36.182*x519 - 50.253*x520 - 115.916*x521 - 26.131*x522 - 6.586*x523 - 6.973*x524 - 202.6*x525 - 22.647*x526 - 30*x527 - 16.436*x528 - 61.85*x529 - 16.1*x530 - 19.5*x531 - 19.3*x532 - 4.326*x533 - 4.24*x534 - 21.35*x535 - 14.205*x536 - 28.169*x537 - 22.003*x538 - 79.606*x539 - 5.253*x540 - 4.5*x541 - 33*x542 - 5.33*x543 - 6.32*x544 - 4.858*x545 - 57.96*x546 + x554 = 0 } } Constraint e30 { Definition: { - 68.68*x372 - 13.15*x373 - 42.44*x374 - 42.7*x375 - 36.55*x376 - 37.85*x377 - 204.45*x378 - 85.49*x379 - 52.32*x380 - 91*x381 - 22.25*x382 - 41.7*x383 - 125.03*x384 - 22.82*x385 - 73.2*x386 - 43.2*x387 - 76.9*x388 - 42.51*x389 - 60.75*x390 - 251.1*x391 - 28.8*x392 - 97*x393 - 312*x394 - 43.79*x395 - 59.8*x396 - 36.9*x397 - 45*x398 - 30.351*x399 - 48.588*x400 - 51.916*x401 - 9584.5*x402 - 12779.3*x403 - 35.942*x404 - 17.438*x405 - 13.578*x406 - 58.838*x407 - 20.963*x408 - 41.799*x409 - 21.033*x410 - 11.182*x411 - 44.328*x412 - 25.8*x413 - 15.5*x414 - 21.99*x415 - 15.21*x416 - 32.2*x417 - 5.8*x418 - 10.15*x419 - 72*x420 - 20.9*x421 - 21.5*x422 - 30.15*x423 - 10.12*x424 - 25.5*x425 - 26*x426 - 1.83*x427 - 4.25*x428 - 10.05*x429 - 8.24*x430 - 11.85*x431 - 11.25*x432 - 28.8*x433 - 32.65*x434 - 10.4*x435 - 11.98*x436 - 18.37*x437 - 10.35*x438 - 2.61*x439 - 2.48*x440 - 12.5*x441 - 9.2*x442 - 12.7*x443 - 5.25*x444 - 1.89*x445 - 1.08*x446 - 22.51*x447 - 34.8*x448 - 35.35*x449 - 49.5*x450 - 30.26*x451 - 14.58*x452 - 5.24*x453 - 26.09*x454 - 45.4*x455 - 54.6*x456 - 38.645*x457 - 20.8*x458 - 12.654*x459 - 13.75*x460 - 27.3*x461 - 32.3*x462 - 64.55*x463 - 23.9*x464 - 61.05*x465 - 11.1*x466 - 30.44*x467 - 21.005*x468 - 19.769*x469 - 5.523*x470 - 22.117*x471 - 6.178*x472 - 3.892*x473 - 6.669*x474 - 3.398*x475 - 47.446*x476 - 18.039*x477 - 18.101*x478 - 20.078*x479 - 10.07*x480 - 11.429*x481 - 12.912*x482 - 10.688*x483 - 9.514*x484 - 7.29*x485 - 18.41*x486 - 21.275*x487 - 20.333*x488 - 11.801*x489 - 16.012*x490 - 6.704*x491 - 16.732*x492 - 16.898*x493 - 40.001*x494 - 18.283*x495 - 22.771*x496 - 23.713*x497 - 20.61*x498 - 9.917*x499 - 10.194*x500 - 10.61*x501 - 15.735*x502 - 17.507*x503 - 9.585*x504 - 9.252*x505 - 16.012*x506 - 15.624*x507 - 4.466*x508 - 7.646*x509 - 18.394*x510 - 19.003*x511 - 4.388*x512 - 1.11*x513 - 27.289*x514 - 6.759*x515 - 6.87*x516 - 20.729*x517 - 26.33*x518 - 35.942*x519 - 49.919*x520 - 115.147*x521 - 25.958*x522 - 6.538*x523 - 6.759*x524 - 204.8*x525 - 22.497*x526 - 29.31*x527 - 16.566*x528 - 59.75*x529 - 15.6*x530 - 19.5*x531 - 19.3*x532 - 4.324*x533 - 4.24*x534 - 21.29*x535 - 14.111*x536 - 27.48*x537 - 21.993*x538 - 79.57*x539 - 5.251*x540 - 4.5*x541 - 33*x542 - 5.29*x543 - 6.23*x544 - 4.856*x545 - 57.6*x546 + x555 = 0 } } Constraint e31 { Definition: { - 68.68*x372 - 13.15*x373 - 42.44*x374 - 42.7*x375 - 36.55*x376 - 37.85*x377 - 204.45*x378 - 85.49*x379 - 52.32*x380 - 91*x381 - 22.25*x382 - 41.7*x383 - 125.03*x384 - 22.82*x385 - 73.2*x386 - 43.2*x387 - 76.9*x388 - 42.51*x389 - 60.75*x390 - 251.1*x391 - 28.8*x392 - 97*x393 - 312*x394 - 43.79*x395 - 59.8*x396 - 36.9*x397 - 45*x398 - 30.351*x399 - 48.588*x400 - 51.916*x401 - 9584.5*x402 - 12779.3*x403 - 35.942*x404 - 17.438*x405 - 13.578*x406 - 58.838*x407 - 20.963*x408 - 41.799*x409 - 21.033*x410 - 11.182*x411 - 44.328*x412 - 25.8*x413 - 15.5*x414 - 21.99*x415 - 15.21*x416 - 32.2*x417 - 5.8*x418 - 10.15*x419 - 72*x420 - 20.9*x421 - 21.5*x422 - 30.15*x423 - 10.12*x424 - 25.5*x425 - 26*x426 - 1.83*x427 - 4.25*x428 - 10.05*x429 - 8.24*x430 - 11.85*x431 - 11.25*x432 - 28.8*x433 - 32.65*x434 - 10.4*x435 - 11.98*x436 - 18.37*x437 - 10.35*x438 - 2.61*x439 - 2.48*x440 - 12.5*x441 - 9.2*x442 - 12.7*x443 - 5.25*x444 - 1.89*x445 - 1.08*x446 - 22.51*x447 - 34.8*x448 - 35.35*x449 - 49.5*x450 - 30.26*x451 - 14.58*x452 - 5.24*x453 - 26.09*x454 - 45.4*x455 - 54.6*x456 - 38.645*x457 - 20.8*x458 - 12.654*x459 - 13.75*x460 - 27.3*x461 - 32.3*x462 - 64.55*x463 - 23.9*x464 - 61.05*x465 - 11.1*x466 - 30.44*x467 - 21.005*x468 - 19.769*x469 - 5.523*x470 - 22.117*x471 - 6.178*x472 - 3.892*x473 - 6.669*x474 - 3.398*x475 - 47.446*x476 - 18.039*x477 - 18.101*x478 - 20.078*x479 - 10.07*x480 - 11.429*x481 - 12.912*x482 - 10.688*x483 - 9.514*x484 - 7.29*x485 - 18.41*x486 - 21.275*x487 - 20.333*x488 - 11.801*x489 - 16.012*x490 - 6.704*x491 - 16.732*x492 - 16.898*x493 - 40.001*x494 - 18.283*x495 - 22.771*x496 - 23.713*x497 - 20.61*x498 - 9.917*x499 - 10.194*x500 - 10.61*x501 - 15.735*x502 - 17.507*x503 - 9.585*x504 - 9.252*x505 - 16.012*x506 - 15.624*x507 - 4.466*x508 - 7.646*x509 - 18.394*x510 - 19.003*x511 - 4.388*x512 - 1.11*x513 - 27.289*x514 - 6.759*x515 - 6.87*x516 - 20.729*x517 - 26.33*x518 - 35.942*x519 - 49.919*x520 - 115.147*x521 - 25.958*x522 - 6.538*x523 - 6.759*x524 - 204.8*x525 - 22.497*x526 - 29.31*x527 - 16.566*x528 - 59.75*x529 - 15.6*x530 - 19.5*x531 - 19.3*x532 - 4.324*x533 - 4.24*x534 - 21.29*x535 - 14.111*x536 - 27.48*x537 - 21.993*x538 - 79.57*x539 - 5.251*x540 - 4.5*x541 - 33*x542 - 5.29*x543 - 6.23*x544 - 4.856*x545 - 57.6*x546 + x556 = 0 } } Constraint e32 { Definition: { - 68.68*x372 - 13.15*x373 - 42.44*x374 - 42.7*x375 - 36.55*x376 - 37.85*x377 - 204.45*x378 - 85.49*x379 - 52.32*x380 - 91*x381 - 22.25*x382 - 41.7*x383 - 125.03*x384 - 22.82*x385 - 73.2*x386 - 43.2*x387 - 76.9*x388 - 42.51*x389 - 60.75*x390 - 251.1*x391 - 28.8*x392 - 97*x393 - 312*x394 - 43.79*x395 - 59.8*x396 - 36.9*x397 - 45*x398 - 30.705*x399 - 49.155*x400 - 52.522*x401 - 9696.4*x402 - 12928.5*x403 - 36.361*x404 - 17.642*x405 - 13.736*x406 - 59.525*x407 - 21.207*x408 - 42.287*x409 - 21.278*x410 - 11.312*x411 - 44.846*x412 - 25.8*x413 - 15.5*x414 - 21.99*x415 - 15.21*x416 - 32.2*x417 - 5.8*x418 - 10.15*x419 - 72*x420 - 20.9*x421 - 21.5*x422 - 30.15*x423 - 10.12*x424 - 25.5*x425 - 26*x426 - 1.83*x427 - 4.25*x428 - 10.05*x429 - 8.24*x430 - 11.85*x431 - 11.25*x432 - 28.8*x433 - 32.65*x434 - 10.4*x435 - 11.98*x436 - 18.37*x437 - 10.35*x438 - 2.61*x439 - 2.48*x440 - 12.5*x441 - 9.2*x442 - 12.7*x443 - 5.25*x444 - 1.89*x445 - 1.08*x446 - 22.51*x447 - 34.8*x448 - 35.35*x449 - 49.5*x450 - 30.26*x451 - 14.58*x452 - 5.24*x453 - 26.09*x454 - 45.4*x455 - 54.6*x456 - 38.645*x457 - 20.8*x458 - 12.654*x459 - 13.75*x460 - 27.3*x461 - 32.3*x462 - 64.55*x463 - 23.9*x464 - 61.05*x465 - 11.1*x466 - 30.44*x467 - 21.006*x468 - 19.77*x469 - 5.523*x470 - 22.118*x471 - 6.178*x472 - 3.892*x473 - 6.669*x474 - 3.398*x475 - 47.448*x476 - 18.04*x477 - 18.102*x478 - 20.079*x479 - 10.07*x480 - 11.43*x481 - 12.912*x482 - 10.688*x483 - 9.514*x484 - 7.29*x485 - 18.411*x486 - 21.27*x487 - 20.328*x488 - 11.798*x489 - 16.008*x490 - 6.702*x491 - 16.728*x492 - 16.894*x493 - 39.991*x494 - 18.279*x495 - 22.765*x496 - 23.707*x497 - 20.605*x498 - 9.915*x499 - 10.192*x500 - 10.607*x501 - 15.731*x502 - 17.503*x503 - 9.582*x504 - 9.25*x505 - 16.008*x506 - 15.62*x507 - 4.464*x508 - 7.644*x509 - 18.389*x510 - 18.999*x511 - 4.387*x512 - 1.11*x513 - 27.608*x514 - 6.758*x515 - 6.868*x516 - 20.724*x517 - 26.33*x518 - 36.361*x519 - 50.502*x520 - 116.491*x521 - 26.261*x522 - 6.536*x523 - 6.758*x524 - 204.8*x525 - 22.759*x526 - 29.31*x527 - 16.562*x528 - 59.75*x529 - 15.6*x530 - 19.5*x531 - 19.3*x532 - 4.325*x533 - 4.24*x534 - 21.29*x535 - 14.275*x536 - 27.473*x537 - 21.994*x538 - 79.575*x539 - 5.251*x540 - 4.5*x541 - 33*x542 - 5.29*x543 - 6.23*x544 - 4.856*x545 - 57.6*x546 + x557 = 0 } } Constraint e33 { Definition: { - 69.5*x372 - 13.72*x373 - 42.8*x374 - 42.51*x375 - 38.07*x376 - 38*x377 - 205*x378 - 85.49*x379 - 53.33*x380 - 91.5*x381 - 22.16*x382 - 41*x383 - 125.06*x384 - 22.9*x385 - 72*x386 - 42.6*x387 - 77.5*x388 - 45.95*x389 - 60.4*x390 - 250.5*x391 - 28.45*x392 - 98*x393 - 315*x394 - 43.8*x395 - 59.7*x396 - 37.3*x397 - 45.49*x398 - 30.823*x399 - 50.256*x400 - 51.864*x401 - 9649.1*x402 - 13254.1*x403 - 35.782*x404 - 17.489*x405 - 14.206*x406 - 62.049*x407 - 20.758*x408 - 42.818*x409 - 21.04*x410 - 11.458*x411 - 45.565*x412 - 26*x413 - 16.5*x414 - 22.15*x415 - 16*x416 - 32.2*x417 - 5.9*x418 - 10.1*x419 - 70.45*x420 - 21*x421 - 22.45*x422 - 28.82*x423 - 10.19*x424 - 26.25*x425 - 25*x426 - 1.77*x427 - 4.5*x428 - 9.7*x429 - 7.785*x430 - 11.3*x431 - 11.23*x432 - 27.6*x433 - 32.7*x434 - 10.3*x435 - 11.73*x436 - 18.26*x437 - 10.4*x438 - 2.62*x439 - 2.48*x440 - 12.49*x441 - 9.3*x442 - 12.5*x443 - 5.3*x444 - 1.88*x445 - 1.12*x446 - 21.96*x447 - 35.6*x448 - 35.23*x449 - 49.9*x450 - 29.17*x451 - 14.5*x452 - 5.24*x453 - 25.6*x454 - 45.68*x455 - 53*x456 - 38.75*x457 - 20.25*x458 - 12.302*x459 - 13.65*x460 - 27.5*x461 - 29.14*x462 - 65.21*x463 - 23.73*x464 - 61.7*x465 - 11.6*x466 - 29.84*x467 - 21.369*x468 - 20.002*x469 - 5.442*x470 - 21.68*x471 - 6.212*x472 - 4.286*x473 - 6.758*x474 - 3.367*x475 - 47.584*x476 - 17.766*x477 - 17.89*x478 - 20.624*x479 - 10.374*x480 - 11.244*x481 - 12.548*x482 - 10.436*x483 - 9.815*x484 - 7.33*x485 - 17.518*x486 - 22.329*x487 - 21.502*x488 - 11.578*x489 - 16.154*x490 - 6.395*x491 - 16.816*x492 - 17.312*x493 - 39.365*x494 - 17.477*x495 - 23.377*x496 - 23.266*x497 - 21.061*x498 - 10.034*x499 - 9.593*x500 - 10.765*x501 - 15.658*x502 - 17.312*x503 - 9.814*x504 - 9.373*x505 - 16.32*x506 - 15.878*x507 - 4.466*x508 - 7.553*x509 - 18.856*x510 - 19.131*x511 - 4.124*x512 - 1.096*x513 - 27.623*x514 - 6.892*x515 - 6.892*x516 - 21.339*x517 - 25.9*x518 - 35.916*x519 - 50.39*x520 - 123.294*x521 - 24.659*x522 - 6.506*x523 - 6.837*x524 - 204*x525 - 23.051*x526 - 29.29*x527 - 17.863*x528 - 61.25*x529 - 16.05*x530 - 19.9*x531 - 19.8*x532 - 4.249*x533 - 4.28*x534 - 20.74*x535 - 13.535*x536 - 27.236*x537 - 22.736*x538 - 79.886*x539 - 5.435*x540 - 4.4*x541 - 39*x542 - 5.43*x543 - 6.15*x544 - 4.721*x545 - 58*x546 + x558 = 0 } } Constraint e34 { Definition: { - 70.9*x372 - 13.98*x373 - 43.2*x374 - 43*x375 - 36.75*x376 - 38.16*x377 - 205.95*x378 - 85.4*x379 - 54.47*x380 - 92.4*x381 - 22.11*x382 - 40.9*x383 - 124.8*x384 - 22.82*x385 - 75.45*x386 - 43.1*x387 - 78*x388 - 45.24*x389 - 60.4*x390 - 252.6*x391 - 29.35*x392 - 97.05*x393 - 310*x394 - 43.75*x395 - 59.75*x396 - 37.6*x397 - 46.99*x398 - 36.318*x399 - 51.729*x400 - 53.605*x401 - 9917*x402 - 13535.4*x403 - 35.916*x404 - 17.757*x405 - 15.01*x406 - 66.203*x407 - 22.142*x408 - 42.817*x409 - 20.638*x410 - 11.793*x411 - 46.235*x412 - 26.6*x413 - 16.49*x414 - 22.95*x415 - 16.2*x416 - 32.39*x417 - 6*x418 - 10.15*x419 - 70*x420 - 21.4*x421 - 21.75*x422 - 32.85*x423 - 9.9*x424 - 26.9*x425 - 25.5*x426 - 1.78*x427 - 4.45*x428 - 10.05*x429 - 8.402*x430 - 12.4*x431 - 11.25*x432 - 28.7*x433 - 33.1*x434 - 10.3*x435 - 12.05*x436 - 18.22*x437 - 10.3*x438 - 2.56*x439 - 2.46*x440 - 12.35*x441 - 9.31*x442 - 12.69*x443 - 5.4*x444 - 1.9*x445 - 1.15*x446 - 22.51*x447 - 36.65*x448 - 35.2*x449 - 49.3*x450 - 19.64*x451 - 15.07*x452 - 5.56*x453 - 24.65*x454 - 46.4*x455 - 54.4*x456 - 39.205*x457 - 20.5*x458 - 13.776*x459 - 13.55*x460 - 27.6*x461 - 32.1*x462 - 65.7*x463 - 24.05*x464 - 62.5*x465 - 11.85*x466 - 29.58*x467 - 22.025*x468 - 20.335*x469 - 5.444*x470 - 22.087*x471 - 6.007*x472 - 4.13*x473 - 6.911*x474 - 3.567*x475 - 48.179*x476 - 17.833*x477 - 17.77*x478 - 20.586*x479 - 10.512*x480 - 11.45*x481 - 13.265*x482 - 10.825*x483 - 9.761*x484 - 7.196*x485 - 17.833*x486 - 23.028*x487 - 22.143*x488 - 12.068*x489 - 16.884*x490 - 7.141*x491 - 17.05*x492 - 18.489*x493 - 42.126*x494 - 19.375*x495 - 24.578*x496 - 23.582*x497 - 21.81*x498 - 10.573*x499 - 10.739*x500 - 10.974*x501 - 16.496*x502 - 18.378*x503 - 9.743*x504 - 9.411*x505 - 16.662*x506 - 16.109*x507 - 4.595*x508 - 7.75*x509 - 18.766*x510 - 19.264*x511 - 4.373*x512 - 1.14*x513 - 28.411*x514 - 6.975*x515 - 6.975*x516 - 21.936*x517 - 29.54*x518 - 36.184*x519 - 51.997*x520 - 127.313*x521 - 25.463*x522 - 6.643*x523 - 7.528*x524 - 200.2*x525 - 22.782*x526 - 29.8*x527 - 18.102*x528 - 60.5*x529 - 16.05*x530 - 20*x531 - 19.95*x532 - 4.405*x533 - 4.35*x534 - 21.18*x535 - 16.082*x536 - 28.675*x537 - 22.275*x538 - 92.604*x539 - 5.788*x540 - 4.7*x541 - 44*x542 - 5.29*x543 - 6.36*x544 - 4.88*x545 - 59.5*x546 + x559 = 0 } } Constraint e35 { Definition: { - 70.5*x372 - 13.4*x373 - 42.87*x374 - 43.05*x375 - 36.95*x376 - 38.05*x377 - 196*x378 - 85*x379 - 53.89*x380 - 91.75*x381 - 22.15*x382 - 39.4*x383 - 124*x384 - 22.48*x385 - 74.9*x386 - 43.25*x387 - 78*x388 - 44.77*x389 - 59.5*x390 - 250.4*x391 - 29.01*x392 - 97.4*x393 - 309.8*x394 - 43.79*x395 - 59.4*x396 - 38.05*x397 - 47.4*x398 - 37.526*x399 - 50.928*x400 - 52.938*x401 - 10024.7*x402 - 13670*x403 - 36.319*x404 - 17.758*x405 - 15.144*x406 - 65.536*x407 - 23.336*x408 - 41.144*x409 - 21.711*x410 - 11.66*x411 - 46.237*x412 - 26.5*x413 - 17*x414 - 22.5*x415 - 16*x416 - 32.25*x417 - 6.1*x418 - 10.1*x419 - 69*x420 - 20.8*x421 - 21.89*x422 - 33.58*x423 - 9.9*x424 - 27.5*x425 - 25.3*x426 - 1.78*x427 - 4.4*x428 - 10.11*x429 - 9.011*x430 - 12*x431 - 11.25*x432 - 28.77*x433 - 33.75*x434 - 10.3*x435 - 11.92*x436 - 17.6*x437 - 10.1*x438 - 2.6*x439 - 2.42*x440 - 12.25*x441 - 9.23*x442 - 12.42*x443 - 5.55*x444 - 1.95*x445 - 1.22*x446 - 22.11*x447 - 36.42*x448 - 34.64*x449 - 49.41*x450 - 18.95*x451 - 15.1*x452 - 5.44*x453 - 24.1*x454 - 45*x455 - 53.5*x456 - 38.575*x457 - 20.75*x458 - 13.551*x459 - 13.65*x460 - 27.4*x461 - 33.05*x462 - 63.5*x463 - 24.75*x464 - 61.4*x465 - 11.95*x466 - 30.77*x467 - 21.438*x468 - 19.827*x469 - 5.403*x470 - 21.934*x471 - 5.948*x472 - 4.089*x473 - 6.74*x474 - 3.507*x475 - 47.09*x476 - 17.411*x477 - 17.349*x478 - 19.827*x479 - 10.1*x480 - 10.657*x481 - 13.136*x482 - 10.905*x483 - 10.038*x484 - 7.064*x485 - 16.729*x486 - 23.641*x487 - 22.753*x488 - 11.654*x489 - 17.869*x490 - 7.436*x491 - 16.926*x492 - 18.924*x493 - 42.342*x494 - 18.702*x495 - 25.972*x496 - 23.308*x497 - 22.475*x498 - 10.877*x499 - 10.877*x500 - 11.21*x501 - 16.815*x502 - 18.757*x503 - 9.712*x504 - 9.545*x505 - 16.981*x506 - 16.371*x507 - 4.417*x508 - 7.88*x509 - 19.978*x510 - 20.311*x511 - 4.528*x512 - 1.162*x513 - 28.814*x514 - 7.103*x515 - 7.159*x516 - 21.428*x517 - 28.82*x518 - 35.783*x519 - 50.928*x520 - 125.309*x521 - 28.144*x522 - 7.048*x523 - 7.547*x524 - 200*x525 - 22.649*x526 - 30*x527 - 18.868*x528 - 56.5*x529 - 16.25*x530 - 19.6*x531 - 19.85*x532 - 4.486*x533 - 4.5*x534 - 20.68*x535 - 18.361*x536 - 29.412*x537 - 22.492*x538 - 93.437*x539 - 6.692*x540 - 4.95*x541 - 47.15*x542 - 5.22*x543 - 6.36*x544 - 4.895*x545 - 60*x546 + x560 = 0 } } Constraint e36 { Definition: { - 70.8*x372 - 13.18*x373 - 43.03*x374 - 43*x375 - 36.5*x376 - 38.1*x377 - 198*x378 - 85*x379 - 53.81*x380 - 91.21*x381 - 21.6*x382 - 39.69*x383 - 125.5*x384 - 22.5*x385 - 70.4*x386 - 43*x387 - 78.6*x388 - 42.5*x389 - 57.05*x390 - 247.9*x391 - 28.5*x392 - 97.5*x393 - 306.3*x394 - 43.4*x395 - 58.4*x396 - 37.15*x397 - 47*x398 - 35.496*x399 - 50.364*x400 - 51.704*x401 - 9872*x402 - 13528.8*x403 - 37.238*x404 - 17.681*x405 - 15.136*x406 - 64.965*x407 - 23.86*x408 - 40.452*x409 - 22.369*x410 - 11.988*x411 - 44.471*x412 - 26.3*x413 - 16.7*x414 - 22.6*x415 - 15.8*x416 - 32.25*x417 - 5.95*x418 - 9.91*x419 - 70*x420 - 21.5*x421 - 22.3*x422 - 34.65*x423 - 9.75*x424 - 24*x425 - 24.19*x426 - 1.73*x427 - 4.49*x428 - 10.2*x429 - 8.678*x430 - 12.49*x431 - 11.25*x432 - 27.4*x433 - 33.45*x434 - 10.15*x435 - 12*x436 - 18.15*x437 - 10.05*x438 - 2.55*x439 - 2.4*x440 - 12.42*x441 - 9.36*x442 - 12.5*x443 - 5.525*x444 - 2*x445 - 1.2*x446 - 21.9*x447 - 35.85*x448 - 34.7*x449 - 49.3*x450 - 19.61*x451 - 15.05*x452 - 5.49*x453 - 23.9*x454 - 44.92*x455 - 52.35*x456 - 37.5*x457 - 21.2*x458 - 13.58*x459 - 13.45*x460 - 27.5*x461 - 32.48*x462 - 63.76*x463 - 24.9*x464 - 60.05*x465 - 11.45*x466 - 31.94*x467 - 21.508*x468 - 20.033*x469 - 5.408*x470 - 22.123*x471 - 6.145*x472 - 3.994*x473 - 6.532*x474 - 3.282*x475 - 46.703*x476 - 17.452*x477 - 17.452*x478 - 19.787*x479 - 9.771*x480 - 10.815*x481 - 13.151*x482 - 10.57*x483 - 9.464*x484 - 7.067*x485 - 15.609*x486 - 22.416*x487 - 21.647*x488 - 11.263*x489 - 17.636*x490 - 6.483*x491 - 17.032*x492 - 18.515*x493 - 41.535*x494 - 18.57*x495 - 24.998*x496 - 23.515*x497 - 22.196*x498 - 10.823*x499 - 10.988*x500 - 10.906*x501 - 16.812*x502 - 18.021*x503 - 9.944*x504 - 9.725*x505 - 16.372*x506 - 16.153*x507 - 4.417*x508 - 7.692*x509 - 19.834*x510 - 20.383*x511 - 4.351*x512 - 1.162*x513 - 29.469*x514 - 6.977*x515 - 7.032*x516 - 21.264*x517 - 29.66*x518 - 36.166*x519 - 50.498*x520 - 126.581*x521 - 27.861*x522 - 6.813*x523 - 7.252*x524 - 196*x525 - 21.967*x526 - 29.05*x527 - 18.57*x528 - 54.5*x529 - 15.8*x530 - 20.25*x531 - 20.99*x532 - 4.252*x533 - 4.6*x534 - 20.38*x535 - 19.69*x536 - 30.767*x537 - 21.938*x538 - 99.06*x539 - 6.821*x540 - 5*x541 - 51.5*x542 - 5.3*x543 - 6.41*x544 - 4.892*x545 - 60.49*x546 + x561 = 0 } } Constraint e37 { Definition: { - 70.05*x372 - 13*x373 - 43.05*x374 - 42.9*x375 - 36.55*x376 - 38.8*x377 - 190*x378 - 85.5*x379 - 53.45*x380 - 91.7*x381 - 21.85*x382 - 38.66*x383 - 124*x384 - 22.4*x385 - 70*x386 - 41.51*x387 - 81*x388 - 41.5*x389 - 57.1*x390 - 244.3*x391 - 28.14*x392 - 95.75*x393 - 299*x394 - 42.79*x395 - 57.95*x396 - 36.01*x397 - 46.64*x398 - 34.57*x399 - 48.907*x400 - 50.314*x401 - 9768.1*x402 - 13131.3*x403 - 36.714*x404 - 17.687*x405 - 13.935*x406 - 64.852*x407 - 23.868*x408 - 42.476*x409 - 23.315*x410 - 11.858*x411 - 43.548*x412 - 25.52*x413 - 16.3*x414 - 21.8*x415 - 15.6*x416 - 32.15*x417 - 6.1*x418 - 9.91*x419 - 69.5*x420 - 21*x421 - 22*x422 - 34.09*x423 - 9.4*x424 - 23.8*x425 - 23.25*x426 - 1.55*x427 - 4.48*x428 - 10.8*x429 - 8.402*x430 - 11.55*x431 - 11.02*x432 - 27.95*x433 - 33.75*x434 - 10.5*x435 - 12.22*x436 - 17.94*x437 - 10.1*x438 - 2.57*x439 - 2.42*x440 - 12.2*x441 - 9.35*x442 - 12.58*x443 - 5.5*x444 - 2.03*x445 - 1.2*x446 - 21.43*x447 - 35.1*x448 - 34.38*x449 - 49.2*x450 - 18.83*x451 - 14.99*x452 - 5.5*x453 - 23.44*x454 - 44.2*x455 - 52.05*x456 - 37.19*x457 - 21.3*x458 - 12.976*x459 - 13*x460 - 27.25*x461 - 32.1*x462 - 63.9*x463 - 24.33*x464 - 60.2*x465 - 11.4*x466 - 31.32*x467 - 22.257*x468 - 20.659*x469 - 5.349*x470 - 22.011*x471 - 6.148*x472 - 3.996*x473 - 6.535*x474 - 3.086*x475 - 47.158*x476 - 17.215*x477 - 17.154*x478 - 19.798*x479 - 9.899*x480 - 11.19*x481 - 12.789*x482 - 10.452*x483 - 9.223*x484 - 7.071*x485 - 15.74*x486 - 22.668*x487 - 21.794*x488 - 11.252*x489 - 17.315*x490 - 6.118*x491 - 16.878*x492 - 17.916*x493 - 40.584*x494 - 18.462*x495 - 24.743*x496 - 23.378*x497 - 21.248*x498 - 10.378*x499 - 10.269*x500 - 10.706*x501 - 16.605*x502 - 18.571*x503 - 9.996*x504 - 9.559*x505 - 16.386*x506 - 15.786*x507 - 4.479*x508 - 7.702*x509 - 19.281*x510 - 19.773*x511 - 4.25*x512 - 1.18*x513 - 29.076*x514 - 6.718*x515 - 6.718*x516 - 21.292*x517 - 28.61*x518 - 35.508*x519 - 51.051*x520 - 128.633*x521 - 27.334*x522 - 6.718*x523 - 7.21*x524 - 191.6*x525 - 22.109*x526 - 29.2*x527 - 18.025*x528 - 54.75*x529 - 16*x530 - 19.8*x531 - 20.3*x532 - 3.996*x533 - 4.52*x534 - 19.74*x535 - 17.888*x536 - 30.369*x537 - 22.872*x538 - 105.814*x539 - 6.579*x540 - 4.87*x541 - 44*x542 - 5*x543 - 6.35*x544 - 4.919*x545 - 61.5*x546 + x562 = 0 } } Constraint e38 { Definition: { - 70.1*x372 - 13.4*x373 - 42.9*x374 - 42.99*x375 - 36.9*x376 - 38.9*x377 - 191.8*x378 - 85.88*x379 - 53.69*x380 - 92.1*x381 - 21.88*x382 - 38.6*x383 - 127.9*x384 - 22.41*x385 - 68.75*x386 - 41.2*x387 - 81*x388 - 41.55*x389 - 57*x390 - 245*x391 - 28.6*x392 - 96*x393 - 300.2*x394 - 43.11*x395 - 57.6*x396 - 36.5*x397 - 46.89*x398 - 32.834*x399 - 48.915*x400 - 50.122*x401 - 9756.29999999999*x402 - 12999.4*x403 - 37.122*x404 - 17.891*x405 - 13.804*x406 - 64.327*x407 - 24.131*x408 - 43.287*x409 - 22.514*x410 - 11.86*x411 - 43.555*x412 - 25.5*x413 - 15.5*x414 - 22.7*x415 - 15.99*x416 - 32.2*x417 - 6.4*x418 - 9.9*x419 - 70.92*x420 - 21.49*x421 - 21.7*x422 - 33.85*x423 - 9.45*x424 - 23.4*x425 - 23*x426 - 1.48*x427 - 4.4*x428 - 10.9*x429 - 8.118*x430 - 11.75*x431 - 11.1*x432 - 28*x433 - 33.95*x434 - 10.2*x435 - 12.33*x436 - 18.02*x437 - 10.15*x438 - 2.57*x439 - 2.47*x440 - 12.3*x441 - 9.28*x442 - 12.39*x443 - 5.45*x444 - 2.03*x445 - 1.19*x446 - 22.14*x447 - 35.68*x448 - 34.65*x449 - 48.96*x450 - 18.3*x451 - 14.97*x452 - 5.57*x453 - 23.35*x454 - 44.8*x455 - 51.9*x456 - 37.57*x457 - 21.95*x458 - 12.985*x459 - 13*x460 - 27.25*x461 - 32.35*x462 - 65.35*x463 - 24.94*x464 - 60.55*x465 - 11.1*x466 - 31.04*x467 - 22.472*x468 - 21.121*x469 - 5.342*x470 - 21.613*x471 - 6.017*x472 - 4.175*x473 - 6.373*x474 - 2.898*x475 - 48.26*x476 - 17.253*x477 - 17.13*x478 - 20.262*x479 - 9.947*x480 - 11.175*x481 - 13.017*x482 - 11.175*x483 - 9.701*x484 - 6.938*x485 - 17.008*x486 - 22.84*x487 - 22.077*x488 - 11.447*x489 - 17.062*x490 - 6.105*x491 - 16.79*x492 - 17.389*x493 - 40.502*x494 - 18.861*x495 - 24.203*x496 - 23.113*x497 - 21.205*x498 - 10.303*x499 - 10.575*x500 - 10.63*x501 - 17.335*x502 - 19.406*x503 - 10.194*x504 - 9.812*x505 - 16.354*x506 - 15.917*x507 - 4.633*x508 - 7.85*x509 - 19.188*x510 - 19.733*x511 - 4.154*x512 - 1.158*x513 - 28.679*x514 - 6.814*x515 - 6.814*x516 - 21.4*x517 - 29.25*x518 - 35.916*x519 - 48.982*x520 - 129.994*x521 - 28.143*x522 - 6.814*x523 - 7.196*x524 - 192.5*x525 - 21.978*x526 - 30*x527 - 17.825*x528 - 54.78*x529 - 15.8*x530 - 20*x531 - 20.02*x532 - 3.942*x533 - 4.5*x534 - 18.6*x535 - 18.226*x536 - 29.818*x537 - 23.332*x538 - 96.397*x539 - 6.631*x540 - 4.99*x541 - 44*x542 - 5.05*x543 - 6.38*x544 - 5.035*x545 - 61.4*x546 + x563 = 0 } } Constraint e39 { Definition: { - 70.2*x372 - 13.3*x373 - 42.9*x374 - 42.95*x375 - 35.49*x376 - 38.95*x377 - 190*x378 - 85.9*x379 - 53.41*x380 - 92*x381 - 22*x382 - 37*x383 - 126.75*x384 - 22.12*x385 - 70*x386 - 40.7*x387 - 80*x388 - 41.75*x389 - 56*x390 - 244.4*x391 - 29*x392 - 97.95*x393 - 299.9*x394 - 42.85*x395 - 57.6*x396 - 35.83*x397 - 46.89*x398 - 31.479*x399 - 48.223*x400 - 50.233*x401 - 9510.7*x402 - 12859.5*x403 - 37.507*x404 - 18.218*x405 - 14.333*x406 - 62.69*x407 - 24.38*x408 - 43.401*x409 - 21.433*x410 - 11.788*x411 - 41.994*x412 - 25*x413 - 15.5*x414 - 22.8*x415 - 16.8*x416 - 33*x417 - 6.45*x418 - 9.8*x419 - 71.25*x420 - 20.8*x421 - 22*x422 - 33.21*x423 - 9.55*x424 - 25*x425 - 22.69*x426 - 1.5*x427 - 4.4*x428 - 10.9*x429 - 8.402*x430 - 12.2*x431 - 11.15*x432 - 29.5*x433 - 34.3*x434 - 10.2*x435 - 12.08*x436 - 18.1*x437 - 10.1*x438 - 2.55*x439 - 2.45*x440 - 12.16*x441 - 9.2*x442 - 12.42*x443 - 5.505*x444 - 2*x445 - 1.18*x446 - 22.1*x447 - 36.17*x448 - 34.38*x449 - 47.95*x450 - 18.3*x451 - 14.81*x452 - 5.47*x453 - 22.85*x454 - 44.64*x455 - 52.8*x456 - 37.575*x457 - 21.8*x458 - 12.771*x459 - 13.05*x460 - 27.75*x461 - 32.35*x462 - 65.73*x463 - 25.19*x464 - 60.25*x465 - 11.75*x466 - 31.1*x467 - 22.723*x468 - 21.436*x469 - 5.353*x470 - 21.069*x471 - 6.125*x472 - 4.042*x473 - 6.51*x474 - 2.952*x475 - 47.895*x476 - 16.598*x477 - 16.782*x478 - 20.028*x479 - 9.677*x480 - 11.086*x481 - 13.168*x482 - 11.514*x483 - 10.167*x484 - 6.921*x485 - 17.639*x486 - 22.492*x487 - 21.782*x488 - 11.628*x489 - 16.705*x490 - 6.496*x491 - 16.923*x492 - 17.851*x493 - 43.236*x494 - 18.124*x495 - 24.511*x496 - 22.983*x497 - 21.618*x498 - 10.209*x499 - 10.536*x500 - 10.754*x501 - 17.032*x502 - 18.779*x503 - 9.826*x504 - 9.28*x505 - 15.941*x506 - 15.395*x507 - 4.607*x508 - 7.97*x509 - 18.943*x510 - 19.653*x511 - 4.16*x512 - 1.153*x513 - 28.13*x514 - 6.878*x515 - 6.933*x516 - 21.381*x517 - 29.09*x518 - 35.632*x519 - 47.553*x520 - 129.265*x521 - 27.059*x522 - 6.988*x523 - 7.206*x524 - 188.1*x525 - 21.901*x526 - 29.56*x527 - 18.343*x528 - 56.4*x529 - 15.9*x530 - 20*x531 - 20*x532 - 3.81*x533 - 4.5*x534 - 18.2*x535 - 17.28*x536 - 29.425*x537 - 23.09*x538 - 94.32*x539 - 6.645*x540 - 4.85*x541 - 39*x542 - 4.9*x543 - 6.37*x544 - 4.985*x545 - 60.7*x546 + x564 = 0 } } Constraint e40 { Definition: { - 71.75*x372 - 13.17*x373 - 42.89*x374 - 43.3*x375 - 35*x376 - 38.9*x377 - 190*x378 - 85.5*x379 - 53.44*x380 - 93.4*x381 - 22.95*x382 - 38.27*x383 - 125.4*x384 - 22.01*x385 - 69.5*x386 - 41.5*x387 - 80*x388 - 40.35*x389 - 56.65*x390 - 245*x391 - 29.25*x392 - 98*x393 - 300.1*x394 - 42.3*x395 - 58*x396 - 36.1*x397 - 46.85*x398 - 32.819*x399 - 47.554*x400 - 48.894*x401 - 9376.79999999999*x402 - 12591.8*x403 - 37.976*x404 - 18.62*x405 - 14.668*x406 - 62.691*x407 - 24.782*x408 - 42.598*x409 - 21.299*x410 - 11.788*x411 - 41.124*x412 - 25*x413 - 15.7*x414 - 22.9*x415 - 16.8*x416 - 33.3*x417 - 6.3*x418 - 9.7*x419 - 72.5*x420 - 22.5*x421 - 22.9*x422 - 33.75*x423 - 9.6*x424 - 24.5*x425 - 22.65*x426 - 1.47*x427 - 4.4*x428 - 10.8*x429 - 8.24*x430 - 12*x431 - 11.25*x432 - 32.2*x433 - 35.03*x434 - 11.2*x435 - 12.1*x436 - 18.35*x437 - 9.83*x438 - 2.57*x439 - 2.48*x440 - 12*x441 - 9.3*x442 - 12.42*x443 - 5.645*x444 - 2.03*x445 - 1.2*x446 - 22.25*x447 - 37.25*x448 - 34.8*x449 - 46.7*x450 - 18.14*x451 - 15.13*x452 - 5.53*x453 - 22.8*x454 - 46*x455 - 51.05*x456 - 38.075*x457 - 21.95*x458 - 13.376*x459 - 13.1*x460 - 27.45*x461 - 32.2*x462 - 66.74*x463 - 26.05*x464 - 61.5*x465 - 11.8*x466 - 30.71*x467 - 22.06*x468 - 20.835*x469 - 5.331*x470 - 20.835*x471 - 6.128*x472 - 4.069*x473 - 6.87*x474 - 2.672*x475 - 47.736*x476 - 16.729*x477 - 16.484*x478 - 20.038*x479 - 10.663*x480 - 10.724*x481 - 12.256*x482 - 11.582*x483 - 10.05*x484 - 6.925*x485 - 17.342*x486 - 23.227*x487 - 22.406*x488 - 11.669*x489 - 17.201*x490 - 6.793*x491 - 16.928*x492 - 18.078*x493 - 42.072*x494 - 18.188*x495 - 25.035*x496 - 23.008*x497 - 21.639*x498 - 10.08*x499 - 10.573*x500 - 10.929*x501 - 17.147*x502 - 19.119*x503 - 10.244*x504 - 9.806*x505 - 16.051*x506 - 15.448*x507 - 4.832*x508 - 8.327*x509 - 18.352*x510 - 18.845*x511 - 4.251*x512 - 1.167*x513 - 28.8*x514 - 7.286*x515 - 7.286*x516 - 21.203*x517 - 29.5*x518 - 35.498*x519 - 48.894*x520 - 127.257*x521 - 27.662*x522 - 6.738*x523 - 7.286*x524 - 187.3*x525 - 21.768*x526 - 30.1*x527 - 18.9*x528 - 55.5*x529 - 15.65*x530 - 20*x531 - 20*x532 - 3.812*x533 - 4.55*x534 - 18.1*x535 - 17.816*x536 - 31.664*x537 - 23.163*x538 - 97.434*x539 - 6.863*x540 - 4.32*x541 - 39*x542 - 4.98*x543 - 6.4*x544 - 5.037*x545 - 61.75*x546 + x565 = 0 } } Constraint e41 { Definition: { - 72.94*x372 - 13.23*x373 - 42.9*x374 - 44.35*x375 - 35*x376 - 39.1*x377 - 197*x378 - 85*x379 - 53.7*x380 - 95.3*x381 - 22.49*x382 - 37.4*x383 - 124.55*x384 - 22*x385 - 69.5*x386 - 41.75*x387 - 78.6*x388 - 40.55*x389 - 58.15*x390 - 245.8*x391 - 29.4*x392 - 99*x393 - 300.1*x394 - 42.25*x395 - 57.1*x396 - 37.5*x397 - 46.5*x398 - 33.356*x399 - 48.896*x400 - 50.503*x401 - 9377.29999999999*x402 - 12659.3*x403 - 38.179*x404 - 18.554*x405 - 15.673*x406 - 65.306*x407 - 24.381*x408 - 42.265*x409 - 21.702*x410 - 11.722*x411 - 40.59*x412 - 25.9*x413 - 16.1*x414 - 23.5*x415 - 17.3*x416 - 33.3*x417 - 6.45*x418 - 9.44*x419 - 74*x420 - 23.6*x421 - 24.1*x422 - 35.62*x423 - 9.49*x424 - 24.9*x425 - 22.35*x426 - 1.48*x427 - 4.45*x428 - 10.4*x429 - 9.295*x430 - 11.4*x431 - 11.1*x432 - 33.1*x433 - 35.2*x434 - 11.1*x435 - 12.2*x436 - 18.5*x437 - 10*x438 - 2.6*x439 - 2.52*x440 - 12.28*x441 - 9.5*x442 - 12.4*x443 - 5.69*x444 - 2.07*x445 - 1.18*x446 - 22.7*x447 - 37.6*x448 - 35*x449 - 46.95*x450 - 18.69*x451 - 15.43*x452 - 5.48*x453 - 22.55*x454 - 46.76*x455 - 52*x456 - 38.485*x457 - 21.85*x458 - 13.444*x459 - 13.2*x460 - 27.65*x461 - 33.11*x462 - 67.4*x463 - 26.55*x464 - 63.8*x465 - 11.5*x466 - 31.18*x467 - 21.988*x468 - 20.571*x469 - 4.927*x470 - 21.31*x471 - 6.159*x472 - 4.09*x473 - 6.956*x474 - 2.784*x475 - 48.656*x476 - 17.738*x477 - 17.615*x478 - 20.386*x479 - 11.579*x480 - 11.025*x481 - 12.872*x482 - 11.948*x483 - 10.47*x484 - 7.268*x485 - 17.861*x486 - 23.828*x487 - 22.948*x488 - 11.666*x489 - 17.5*x490 - 6.879*x491 - 17.5*x492 - 19.096*x493 - 42.704*x494 - 19.261*x495 - 25.699*x496 - 23.883*x497 - 21.682*x498 - 10.401*x499 - 11.887*x500 - 10.868*x501 - 17.83*x502 - 19.811*x503 - 10.346*x504 - 9.96*x505 - 16.674*x506 - 16.014*x507 - 4.931*x508 - 8.144*x509 - 18.27*x510 - 18.71*x511 - 4.446*x512 - 1.162*x513 - 28.936*x514 - 7.429*x515 - 7.374*x516 - 21.908*x517 - 29.8*x518 - 35.768*x519 - 51.441*x520 - 128.603*x521 - 28.601*x522 - 6.824*x523 - 7.374*x524 - 190*x525 - 22.238*x526 - 30.01*x527 - 19.206*x528 - 56.59*x529 - 16*x530 - 20*x531 - 20.08*x532 - 3.905*x533 - 4.62*x534 - 18.26*x535 - 17.683*x536 - 32.413*x537 - 23.404*x538 - 96.696*x539 - 6.929*x540 - 4.5*x541 - 41.75*x542 - 4.9*x543 - 6.5*x544 - 5.112*x545 - 62*x546 + x566 = 0 } } Constraint e42 { Definition: { - 73.2*x372 - 13.18*x373 - 42.95*x374 - 44.44*x375 - 35*x376 - 39.1*x377 - 198.6*x378 - 85*x379 - 53.7*x380 - 95*x381 - 22.74*x382 - 37.57*x383 - 124.85*x384 - 22.12*x385 - 71*x386 - 42.99*x387 - 80*x388 - 42.5*x389 - 59.85*x390 - 246.6*x391 - 29*x392 - 99*x393 - 300.1*x394 - 41.77*x395 - 58*x396 - 37*x397 - 47*x398 - 36.847*x399 - 48.102*x400 - 50.648*x401 - 9513.29999999999*x402 - 12849.6*x403 - 39.058*x404 - 18.156*x405 - 16.347*x406 - 65.655*x407 - 26.128*x408 - 42.877*x409 - 22.376*x410 - 11.925*x411 - 42.877*x412 - 25.52*x413 - 16.5*x414 - 25.5*x415 - 17.8*x416 - 33.5*x417 - 6.15*x418 - 9.5*x419 - 75.5*x420 - 24*x421 - 25.25*x422 - 37.3*x423 - 9.6*x424 - 24.3*x425 - 23.25*x426 - 1.54*x427 - 4.5*x428 - 11.8*x429 - 10.123*x430 - 11.33*x431 - 11.01*x432 - 34.7*x433 - 35.35*x434 - 11.4*x435 - 12.4*x436 - 18.98*x437 - 10.1*x438 - 2.59*x439 - 2.53*x440 - 12.4*x441 - 9.5*x442 - 12.54*x443 - 5.91*x444 - 2.1*x445 - 1.18*x446 - 22.7*x447 - 37.6*x448 - 35*x449 - 46.95*x450 - 18.69*x451 - 15.43*x452 - 5.48*x453 - 22.55*x454 - 46.76*x455 - 52*x456 - 38.485*x457 - 21.85*x458 - 13.444*x459 - 13.2*x460 - 27.65*x461 - 33.11*x462 - 67.4*x463 - 26.55*x464 - 63.8*x465 - 11.5*x466 - 31.18*x467 - 21.783*x468 - 20.422*x469 - 4.951*x470 - 21.536*x471 - 6.188*x472 - 3.961*x473 - 6.886*x474 - 2.933*x475 - 49.136*x476 - 18.318*x477 - 18.07*x478 - 20.731*x479 - 11.696*x480 - 11.263*x481 - 13.367*x482 - 12.377*x483 - 10.706*x484 - 7.24*x485 - 17.823*x486 - 24.929*x487 - 24.161*x488 - 11.751*x489 - 18.615*x490 - 7.248*x491 - 17.571*x492 - 18.999*x493 - 43.928*x494 - 21.58*x495 - 26.137*x496 - 24.27*x497 - 21.909*x498 - 10.433*x499 - 12.245*x500 - 10.982*x501 - 18.23*x502 - 20.042*x503 - 10.433*x504 - 9.994*x505 - 16.803*x506 - 16.363*x507 - 4.931*x508 - 8.401*x509 - 18.395*x510 - 18.944*x511 - 4.733*x512 - 1.175*x513 - 29.478*x514 - 7.633*x515 - 7.578*x516 - 22.872*x517 - 29.8*x518 - 36.445*x519 - 52.658*x520 - 131.31*x521 - 32.828*x522 - 6.809*x523 - 7.742*x524 - 198*x525 - 22.644*x526 - 30*x527 - 19.603*x528 - 57.75*x529 - 16*x530 - 20.1*x531 - 20.3*x532 - 4.022*x533 - 4.8*x534 - 19.38*x535 - 19.295*x536 - 33.495*x537 - 22.278*x538 - 97.035*x539 - 6.931*x540 - 4.78*x541 - 48*x542 - 5.15*x543 - 6.59*x544 - 5.285*x545 - 61.42*x546 + x567 = 0 } } Constraint e43 { Definition: { - 68290*x372 - 12850*x373 - 42600*x374 - 41920*x375 - 42000*x376 - 37900*x377 - 200000*x378 - 85980*x379 - 50790*x380 - 89000*x381 - 21890*x382 - 42450*x383 - 124400*x384 - 22900*x385 - 64000*x386 - 42540*x387 - 76500*x388 - 45100*x389 - 59600*x390 - 245000*x391 - 29750*x392 - 99000*x393 - 304900*x394 - 44270*x395 - 58150*x396 - 36740*x397 - 43690*x398 - 30792*x399 - 48197*x400 - 51544*x401 - 9572450*x402 - 12852500*x403 - 33470*x404 - 17940*x405 - 13522*x406 - 61585*x407 - 22033*x408 - 46055*x409 - 21488*x410 - 11581*x411 - 39696*x412 - 25200*x413 - 15500*x414 - 21700*x415 - 16500*x416 - 30010*x417 - 6350*x418 - 11480*x419 - 71500*x420 - 20500*x421 - 21580*x422 - 27210*x423 - 8490*x424 - 46700*x425 - 42990*x426 - 1880*x427 - 3850*x428 - 9974*x429 - 6657*x430 - 11600*x431 - 11000*x432 - 27500*x433 - 32000*x434 - 10100*x435 - 11480*x436 - 17400*x437 - 10550*x438 - 2620*x439 - 2550*x440 - 12400*x441 - 7750*x442 - 12400*x443 - 5120*x444 - 1890*x445 - 1120*x446 - 20730*x447 - 33360*x448 - 35180*x449 - 46960*x450 - 29200*x451 - 14660*x452 - 4830*x453 - 23970*x454 - 47440*x455 - 57000*x456 - 37000*x457 - 21000*x458 - 10790*x459 - 14800*x460 - 25300*x461 - 31100*x462 - 62990*x463 - 23700*x464 - 60100*x465 - 13100*x466 - 28490*x467 - 19125*x468 - 17759*x469 - 5141*x470 - 20863*x471 - 5837*x472 - 3726*x473 - 6600*x474 - 3167*x475 - 46446*x476 - 15896*x477 - 15772*x478 - 19932*x479 - 9749*x480 - 10928*x481 - 12667*x482 - 11425*x483 - 9935*x484 - 6706*x485 - 17634*x486 - 19348*x487 - 18635*x488 - 12277*x489 - 15018*x490 - 6248*x491 - 15676*x492 - 16169*x493 - 35188*x494 - 20280*x495 - 20609*x496 - 22911*x497 - 19348*x498 - 10140*x499 - 10140*x500 - 10249*x501 - 14360*x502 - 15895*x503 - 8824*x504 - 8605*x505 - 16443*x506 - 16004*x507 - 4823*x508 - 7454*x509 - 17484*x510 - 17704*x511 - 4056*x512 - 1053*x513 - 28115*x514 - 7125*x515 - 7235*x516 - 20709*x517 - 25200*x518 - 37152*x519 - 48197*x520 - 119154*x521 - 26374*x522 - 6961*x523 - 6248*x524 - 212000*x525 - 23161*x526 - 28990*x527 - 15347*x528 - 61000*x529 - 17500*x530 - 22000*x531 - 22500*x532 - 3974*x533 - 4500*x534 - 20500*x535 - 18342*x536 - 26692*x537 - 19808*x538 - 80348*x539 - 5371*x540 - 4600*x541 - 42500*x542 - 5450*x543 - 5870*x544 - 4620*x545 - 58300*x546 + 1000*x568 = 0 } } Constraint e44 { Definition: { - 68010*x372 - 12850*x373 - 43050*x374 - 42200*x375 - 39150*x376 - 38550*x377 - 194500*x378 - 85750*x379 - 50790*x380 - 88000*x381 - 21890*x382 - 41600*x383 - 121500*x384 - 22510*x385 - 67500*x386 - 44500*x387 - 77500*x388 - 47100*x389 - 59450*x390 - 243700*x391 - 29930*x392 - 96000*x393 - 314000*x394 - 46000*x395 - 59400*x396 - 37390*x397 - 43740*x398 - 28813*x399 - 47575*x400 - 51193*x401 - 9447970*x402 - 12530300*x403 - 33101*x404 - 17623*x405 - 13535*x406 - 58966*x407 - 21623*x408 - 45029*x409 - 21442*x410 - 11525*x411 - 41946*x412 - 25500*x413 - 15500*x414 - 21000*x415 - 16000*x416 - 32000*x417 - 6390*x418 - 11500*x419 - 71000*x420 - 20000*x421 - 21350*x422 - 27250*x423 - 8600*x424 - 46000*x425 - 43000*x426 - 1830*x427 - 3900*x428 - 9882*x429 - 5837*x430 - 11700*x431 - 11400*x432 - 26000*x433 - 33450*x434 - 9700*x435 - 11400*x436 - 18000*x437 - 10450*x438 - 2660*x439 - 2630*x440 - 12300*x441 - 7900*x442 - 12400*x443 - 5000*x444 - 1950*x445 - 1100*x446 - 21030*x447 - 33570*x448 - 35420*x449 - 46220*x450 - 28700*x451 - 14220*x452 - 5120*x453 - 24740*x454 - 48160*x455 - 56850*x456 - 37000*x457 - 20400*x458 - 11015*x459 - 15450*x460 - 25450*x461 - 31130*x462 - 62780*x463 - 24100*x464 - 59450*x465 - 11800*x466 - 28500*x467 - 19007*x468 - 17830*x469 - 5448*x470 - 20988*x471 - 6129*x472 - 3343*x473 - 6581*x474 - 3021*x475 - 46557*x476 - 15416*x477 - 15354*x478 - 19874*x479 - 9844*x480 - 10525*x481 - 12630*x482 - 11392*x483 - 10030*x484 - 6625*x485 - 17521*x486 - 18583*x487 - 17545*x488 - 12462*x489 - 14375*x490 - 6176*x491 - 15850*x492 - 16178*x493 - 34707*x494 - 19676*x495 - 20660*x496 - 23721*x497 - 19840*x498 - 9674*x499 - 10275*x500 - 10139*x501 - 14648*x502 - 16014*x503 - 9073*x504 - 8800*x505 - 15632*x506 - 15085*x507 - 4843*x508 - 7433*x509 - 16725*x510 - 17053*x511 - 3848*x512 - 1053*x513 - 27004*x514 - 7269*x515 - 7324*x516 - 20701*x517 - 23800*x518 - 35514*x519 - 43957*x520 - 116592*x521 - 25597*x522 - 6668*x523 - 6231*x524 - 214000*x525 - 22782*x526 - 29750*x527 - 15031*x528 - 60000*x529 - 17900*x530 - 23500*x531 - 22500*x532 - 3938*x533 - 4540*x534 - 20500*x535 - 15680*x536 - 25142*x537 - 20059*x538 - 78256*x539 - 5232*x540 - 4250*x541 - 35650*x542 - 5550*x543 - 5880*x544 - 4594*x545 - 57800*x546 + 1000*x569 = 0 } } Constraint e45 { Definition: { - 68390*x372 - 12500*x373 - 42500*x374 - 43300*x375 - 38600*x376 - 38000*x377 - 200000*x378 - 85890*x379 - 50500*x380 - 88400*x381 - 21800*x382 - 41760*x383 - 121000*x384 - 22150*x385 - 67500*x386 - 44450*x387 - 74000*x388 - 45390*x389 - 60150*x390 - 245600*x391 - 28980*x392 - 91200*x393 - 310000*x394 - 45400*x395 - 58400*x396 - 35500*x397 - 43800*x398 - 30156*x399 - 48249*x400 - 50929*x401 - 9247690*x402 - 12330300*x403 - 32702*x404 - 17624*x405 - 13402*x406 - 56960*x407 - 20241*x408 - 43156*x409 - 20104*x410 - 11392*x411 - 42084*x412 - 25000*x413 - 15500*x414 - 21000*x415 - 15950*x416 - 31800*x417 - 6410*x418 - 11480*x419 - 68500*x420 - 20000*x421 - 21300*x422 - 25250*x423 - 8450*x424 - 45000*x425 - 42800*x426 - 1810*x427 - 3900*x428 - 9789*x429 - 6089*x430 - 11700*x431 - 11500*x432 - 26690*x433 - 32300*x434 - 9800*x435 - 11150*x436 - 17800*x437 - 10350*x438 - 2610*x439 - 2500*x440 - 12200*x441 - 7720*x442 - 12200*x443 - 4900*x444 - 1910*x445 - 1120*x446 - 20340*x447 - 31220*x448 - 35050*x449 - 46000*x450 - 28550*x451 - 14100*x452 - 4700*x453 - 24500*x454 - 46320*x455 - 55100*x456 - 36465*x457 - 19350*x458 - 10654*x459 - 15250*x460 - 24950*x461 - 28910*x462 - 61140*x463 - 23680*x464 - 58500*x465 - 11600*x466 - 28770*x467 - 19207*x468 - 17668*x469 - 5368*x470 - 20808*x471 - 6033*x472 - 3324*x473 - 6441*x474 - 2721*x475 - 46171*x476 - 14960*x477 - 14775*x478 - 19700*x479 - 9665*x480 - 10466*x481 - 12312*x482 - 10958*x483 - 9604*x484 - 6772*x485 - 16868*x486 - 18132*x487 - 17149*x488 - 12452*x489 - 14473*x490 - 5734*x491 - 15838*x492 - 15783*x493 - 34188*x494 - 18569*x495 - 20808*x496 - 23648*x497 - 19279*x498 - 9776*x499 - 10104*x500 - 10022*x501 - 14473*x502 - 16002*x503 - 9011*x504 - 8684*x505 - 15565*x506 - 14964*x507 - 4915*x508 - 7264*x509 - 17149*x510 - 17476*x511 - 3572*x512 - 1017*x513 - 28145*x514 - 7045*x515 - 7154*x516 - 20534*x517 - 22110*x518 - 33975*x519 - 40475*x520 - 113921*x521 - 25465*x522 - 6499*x523 - 5953*x524 - 213000*x525 - 22784*x526 - 30380*x527 - 15346*x528 - 58180*x529 - 17500*x530 - 22050*x531 - 22100*x532 - 3694*x533 - 4510*x534 - 20150*x535 - 12799*x536 - 24358*x537 - 19454*x538 - 68457*x539 - 4925*x540 - 3900*x541 - 29000*x542 - 5100*x543 - 5700*x544 - 4506*x545 - 57700*x546 + 1000*x570 = 0 } } Constraint e46 { Definition: { - 68000*x372 - 12530*x373 - 42850*x374 - 43200*x375 - 38750*x376 - 38000*x377 - 199000*x378 - 85880*x379 - 50300*x380 - 89500*x381 - 21500*x382 - 41600*x383 - 123000*x384 - 22450*x385 - 66000*x386 - 43250*x387 - 77000*x388 - 43500*x389 - 59450*x390 - 244300*x391 - 29110*x392 - 98000*x393 - 309900*x394 - 44000*x395 - 57900*x396 - 36170*x397 - 43950*x398 - 29469*x399 - 47553*x400 - 50232*x401 - 8947950*x402 - 11921700*x403 - 32148*x404 - 17347*x405 - 13529*x406 - 58403*x407 - 19884*x408 - 41793*x409 - 20093*x410 - 11453*x411 - 40788*x412 - 25000*x413 - 15200*x414 - 22100*x415 - 15680*x416 - 31000*x417 - 5920*x418 - 11350*x419 - 69000*x420 - 20200*x421 - 20850*x422 - 25100*x423 - 8250*x424 - 45000*x425 - 41490*x426 - 1770*x427 - 3800*x428 - 9651*x429 - 6649*x430 - 11900*x431 - 10950*x432 - 26000*x433 - 31130*x434 - 9750*x435 - 11200*x436 - 17900*x437 - 10250*x438 - 2550*x439 - 2480*x440 - 12100*x441 - 7700*x442 - 11900*x443 - 4940*x444 - 1880*x445 - 1070*x446 - 20370*x447 - 31300*x448 - 34750*x449 - 45240*x450 - 28360*x451 - 13950*x452 - 4560*x453 - 24490*x454 - 47080*x455 - 52500*x456 - 36845*x457 - 19550*x458 - 10371*x459 - 14750*x460 - 24700*x461 - 28120*x462 - 60290*x463 - 23720*x464 - 59400*x465 - 10650*x466 - 28410*x467 - 18832*x468 - 17609*x469 - 5307*x470 - 21156*x471 - 5747*x472 - 3302*x473 - 6397*x474 - 2788*x475 - 45430*x476 - 15286*x477 - 15225*x478 - 19321*x479 - 9294*x480 - 10272*x481 - 11801*x482 - 10517*x483 - 9294*x484 - 6787*x485 - 17487*x486 - 18911*x487 - 17773*x488 - 12083*x489 - 14901*x490 - 5408*x491 - 15172*x492 - 16093*x493 - 31807*x494 - 18098*x495 - 21349*x496 - 22541*x497 - 18640*x498 - 10133*x499 - 9645*x500 - 9970*x501 - 14739*x502 - 16256*x503 - 8670*x504 - 8453*x505 - 15931*x506 - 15335*x507 - 4692*x508 - 7261*x509 - 17177*x510 - 17665*x511 - 3685*x512 - 1017*x513 - 25451*x514 - 6882*x515 - 6882*x516 - 20173*x517 - 22470*x518 - 33488*x519 - 40855*x520 - 111849*x521 - 24513*x522 - 6665*x523 - 6015*x524 - 205500*x525 - 22638*x526 - 30220*x527 - 15335*x528 - 56410*x529 - 17150*x530 - 22000*x531 - 22010*x532 - 3705*x533 - 4460*x534 - 19900*x535 - 11654*x536 - 22108*x537 - 19199*x538 - 63895*x539 - 4983*x540 - 3940*x541 - 28000*x542 - 4830*x543 - 5850*x544 - 4390*x545 - 57590*x546 + 1000*x571 = 0 } } Constraint e47 { Definition: { - 69000*x372 - 13010*x373 - 42950*x374 - 43200*x375 - 39860*x376 - 37990*x377 - 208990*x378 - 85450*x379 - 51590*x380 - 92000*x381 - 22150*x382 - 42830*x383 - 128500*x384 - 23070*x385 - 69900*x386 - 44000*x387 - 74500*x388 - 45950*x389 - 60400*x390 - 248900*x391 - 29650*x392 - 95050*x393 - 310000*x394 - 44000*x395 - 59000*x396 - 36760*x397 - 43900*x398 - 22776*x399 - 48902*x400 - 51313*x401 - 9311460*x402 - 12526900*x403 - 32959*x404 - 17417*x405 - 13666*x406 - 57878*x407 - 20061*x408 - 42203*x409 - 20700*x410 - 11455*x411 - 42337*x412 - 25400*x413 - 14800*x414 - 22130*x415 - 15700*x416 - 31000*x417 - 6000*x418 - 11100*x419 - 71900*x420 - 19800*x421 - 20850*x422 - 27050*x423 - 8450*x424 - 43600*x425 - 40800*x426 - 1950*x427 - 3930*x428 - 9660*x429 - 6941*x430 - 11900*x431 - 11000*x432 - 26300*x433 - 32200*x434 - 10100*x435 - 11400*x436 - 18100*x437 - 10300*x438 - 2550*x439 - 2400*x440 - 12200*x441 - 7830*x442 - 12250*x443 - 5380*x444 - 1870*x445 - 1070*x446 - 21570*x447 - 32710*x448 - 35130*x449 - 47300*x450 - 29000*x451 - 14440*x452 - 5040*x453 - 24500*x454 - 46440*x455 - 52500*x456 - 37250*x457 - 20250*x458 - 10907*x459 - 15700*x460 - 25150*x461 - 29960*x462 - 61050*x463 - 23640*x464 - 60100*x465 - 11100*x466 - 29550*x467 - 19657*x468 - 18551*x469 - 5344*x470 - 21192*x471 - 6081*x472 - 3563*x473 - 6478*x474 - 3305*x475 - 45702*x476 - 15603*x477 - 15541*x478 - 19472*x479 - 9460*x480 - 10258*x481 - 12040*x482 - 10627*x483 - 9337*x484 - 7126*x485 - 18674*x486 - 20168*x487 - 19239*x488 - 11915*x489 - 15413*x490 - 6340*x491 - 15850*x492 - 16780*x493 - 34434*x494 - 19021*x495 - 22027*x496 - 23174*x497 - 19403*x498 - 10439*x499 - 10549*x500 - 10234*x501 - 14976*x502 - 16616*x503 - 8909*x504 - 8636*x505 - 16178*x506 - 15632*x507 - 4700*x508 - 7379*x509 - 17490*x510 - 18201*x511 - 3848*x512 - 1017*x513 - 27465*x514 - 6941*x515 - 6996*x516 - 20349*x517 - 24350*x518 - 35370*x519 - 43811*x520 - 114551*x521 - 25992*x522 - 6941*x523 - 6504*x524 - 210000*x525 - 22575*x526 - 30450*x527 - 15960*x528 - 58400*x529 - 16850*x530 - 21900*x531 - 22000*x532 - 4030*x533 - 4200*x534 - 19990*x535 - 11991*x536 - 26454*x537 - 19780*x538 - 85261*x539 - 5191*x540 - 3590*x541 - 30500*x542 - 5200*x543 - 5820*x544 - 4509*x545 - 58030*x546 + 1000*x572 = 0 } } Constraint e48 { Definition: { - 68150*x372 - 13100*x373 - 42950*x374 - 43100*x375 - 38220*x376 - 38400*x377 - 202000*x378 - 85880*x379 - 51650*x380 - 91100*x381 - 22100*x382 - 42090*x383 - 125500*x384 - 22850*x385 - 72000*x386 - 43300*x387 - 76000*x388 - 46000*x389 - 60750*x390 - 247500*x391 - 29280*x392 - 95300*x393 - 308200*x394 - 43400*x395 - 59650*x396 - 36340*x397 - 44700*x398 - 26254*x399 - 47553*x400 - 49562*x401 - 9711430*x402 - 12725300*x403 - 36167*x404 - 17347*x405 - 13663*x406 - 57867*x407 - 19365*x408 - 43132*x409 - 20361*x410 - 11587*x411 - 41525*x412 - 25500*x413 - 14310*x414 - 22000*x415 - 15600*x416 - 31210*x417 - 5910*x418 - 11100*x419 - 74000*x420 - 20500*x421 - 21000*x422 - 26700*x423 - 9100*x424 - 43500*x425 - 41990*x426 - 1820*x427 - 3980*x428 - 8800*x429 - 6665*x430 - 11010*x431 - 10850*x432 - 26600*x433 - 31750*x434 - 10050*x435 - 11450*x436 - 18140*x437 - 10400*x438 - 2530*x439 - 2400*x440 - 12400*x441 - 8400*x442 - 12250*x443 - 5275*x444 - 1900*x445 - 1060*x446 - 21690*x447 - 33680*x448 - 34720*x449 - 46400*x450 - 28930*x451 - 14070*x452 - 5200*x453 - 24810*x454 - 45800*x455 - 51800*x456 - 37550*x457 - 19550*x458 - 10712*x459 - 12400*x460 - 25550*x461 - 29290*x462 - 61390*x463 - 23710*x464 - 60100*x465 - 11200*x466 - 30230*x467 - 20123*x468 - 18896*x469 - 5350*x470 - 21105*x471 - 6135*x472 - 3681*x473 - 6521*x474 - 3153*x475 - 45891*x476 - 16074*x477 - 15951*x478 - 19755*x479 - 9755*x480 - 10552*x481 - 12148*x482 - 10614*x483 - 9387*x484 - 7055*x485 - 18160*x486 - 20279*x487 - 19293*x488 - 11948*x489 - 15347*x490 - 6193*x491 - 16552*x492 - 15675*x493 - 35242*x494 - 19074*x495 - 22307*x496 - 22253*x497 - 19731*x498 - 9756*x499 - 10085*x500 - 10373*x501 - 15073*x502 - 16662*x503 - 9098*x504 - 8715*x505 - 16114*x506 - 15785*x507 - 4812*x508 - 7399*x509 - 17375*x510 - 17977*x511 - 3902*x512 - 1031*x513 - 26857*x514 - 6906*x515 - 6961*x516 - 20506*x517 - 23770*x518 - 36033*x519 - 45677*x520 - 115198*x521 - 24379*x522 - 6906*x523 - 6467*x524 - 210000*x525 - 20896*x526 - 30010*x527 - 16224*x528 - 59440*x529 - 16500*x530 - 22400*x531 - 22800*x532 - 3988*x533 - 4200*x534 - 20150*x535 - 11788*x536 - 24938*x537 - 19755*x538 - 74604*x539 - 5000*x540 - 3540*x541 - 30000*x542 - 4950*x543 - 5660*x544 - 4479*x545 - 57000*x546 + 1000*x573 = 0 } } Constraint e49 { Definition: { - 68300*x372 - 13130*x373 - 42950*x374 - 42890*x375 - 38500*x376 - 38100*x377 - 208060*x378 - 85500*x379 - 51750*x380 - 90990*x381 - 22300*x382 - 42000*x383 - 127460*x384 - 22900*x385 - 73000*x386 - 42300*x387 - 77500*x388 - 46000*x389 - 60300*x390 - 251900*x391 - 30350*x392 - 93550*x393 - 311100*x394 - 43400*x395 - 59900*x396 - 37200*x397 - 45000*x398 - 28810*x399 - 47570*x400 - 50250*x401 - 9513920*x402 - 12461900*x403 - 36225*x404 - 17353*x405 - 14070*x406 - 58289*x407 - 19026*x408 - 43550*x409 - 20234*x410 - 11256*x411 - 42076*x412 - 25500*x413 - 15800*x414 - 21900*x415 - 15750*x416 - 31300*x417 - 6040*x418 - 11200*x419 - 71000*x420 - 20500*x421 - 21000*x422 - 26800*x423 - 8900*x424 - 44000*x425 - 42700*x426 - 1780*x427 - 3900*x428 - 9198*x429 - 7047*x430 - 11000*x431 - 11000*x432 - 27300*x433 - 32000*x434 - 10280*x435 - 11640*x436 - 18500*x437 - 10400*x438 - 2580*x439 - 2500*x440 - 12400*x441 - 8620*x442 - 12280*x443 - 5300*x444 - 1890*x445 - 1050*x446 - 22190*x447 - 34980*x448 - 34620*x449 - 47000*x450 - 28640*x451 - 13840*x452 - 4930*x453 - 25050*x454 - 45480*x455 - 54000*x456 - 38360*x457 - 19850*x458 - 10956*x459 - 13250*x460 - 26450*x461 - 29010*x462 - 63010*x463 - 23710*x464 - 60400*x465 - 10300*x466 - 29400*x467 - 20265*x468 - 18546*x469 - 5343*x470 - 21002*x471 - 6141*x472 - 3807*x473 - 6629*x474 - 3279*x475 - 45689*x476 - 16335*x477 - 16212*x478 - 19651*x479 - 9826*x480 - 10685*x481 - 12036*x482 - 10563*x483 - 9334*x484 - 7124*x485 - 17809*x486 - 20630*x487 - 19809*x488 - 11874*x489 - 15924*x490 - 6348*x491 - 16690*x492 - 16416*x493 - 37101*x494 - 18769*x495 - 22654*x496 - 22490*x497 - 20794*x498 - 10178*x499 - 10342*x500 - 10465*x501 - 15212*x502 - 17182*x503 - 9521*x504 - 9138*x505 - 16362*x506 - 15869*x507 - 4706*x508 - 7387*x509 - 18113*x510 - 18715*x511 - 4268*x512 - 1083*x513 - 27202*x514 - 6950*x515 - 7059*x516 - 20726*x517 - 23400*x518 - 36582*x519 - 45560*x520 - 115239*x521 - 25728*x522 - 7278*x523 - 6731*x524 - 209000*x525 - 21440*x526 - 31000*x527 - 16799*x528 - 60200*x529 - 16650*x530 - 22000*x531 - 22000*x532 - 4029*x533 - 4200*x534 - 20070*x535 - 12395*x536 - 27470*x537 - 19774*x538 - 77254*x539 - 4913*x540 - 3750*x541 - 30000*x542 - 5000*x543 - 5940*x544 - 4581*x545 - 58500*x546 + 1000*x574 = 0 } } Constraint e50 { Definition: { - 68300*x372 - 13000*x373 - 42980*x374 - 43200*x375 - 37900*x376 - 37950*x377 - 209000*x378 - 85500*x379 - 52480*x380 - 91250*x381 - 22200*x382 - 43000*x383 - 128500*x384 - 22890*x385 - 75000*x386 - 43500*x387 - 77500*x388 - 46000*x389 - 60700*x390 - 254000*x391 - 30350*x392 - 94600*x393 - 314000*x394 - 44100*x395 - 61300*x396 - 37300*x397 - 44950*x398 - 29747*x399 - 48909*x400 - 50785*x401 - 9580790*x402 - 12662700*x403 - 36983*x404 - 17420*x405 - 13802*x406 - 58289*x407 - 19579*x408 - 42209*x409 - 20368*x410 - 11323*x411 - 42879*x412 - 25900*x413 - 16000*x414 - 21550*x415 - 15600*x416 - 32500*x417 - 5800*x418 - 10020*x419 - 72500*x420 - 20800*x421 - 21700*x422 - 28640*x423 - 9150*x424 - 45000*x425 - 42910*x426 - 1800*x427 - 4000*x428 - 9400*x429 - 7875*x430 - 11000*x431 - 11000*x432 - 27100*x433 - 32300*x434 - 9900*x435 - 12100*x436 - 18550*x437 - 10300*x438 - 2600*x439 - 2470*x440 - 12800*x441 - 8920*x442 - 12400*x443 - 5375*x444 - 1930*x445 - 1120*x446 - 22500*x447 - 35010*x448 - 35400*x449 - 48880*x450 - 29000*x451 - 14250*x452 - 5290*x453 - 24950*x454 - 46840*x455 - 54000*x456 - 38740*x457 - 20300*x458 - 12000*x459 - 13700*x460 - 27400*x461 - 30870*x462 - 64920*x463 - 23350*x464 - 60550*x465 - 10200*x466 - 29300*x467 - 20537*x468 - 19114*x469 - 5431*x470 - 22392*x471 - 6186*x472 - 3860*x473 - 6575*x474 - 3415*x475 - 46640*x476 - 17135*x477 - 16949*x478 - 19980*x479 - 10145*x480 - 11629*x481 - 12557*x482 - 10701*x483 - 9650*x484 - 7237*x485 - 18928*x486 - 21734*x487 - 20738*x488 - 12056*x489 - 16425*x490 - 6802*x491 - 16922*x492 - 17254*x493 - 39043*x494 - 19522*x495 - 23669*x496 - 23227*x497 - 20683*x498 - 10231*x499 - 10618*x500 - 10632*x501 - 15761*x502 - 17475*x503 - 9844*x504 - 9457*x505 - 16646*x506 - 16038*x507 - 4723*x508 - 7521*x509 - 19134*x510 - 19632*x511 - 4203*x512 - 1114*x513 - 27469*x514 - 6968*x515 - 7023*x516 - 20997*x517 - 24990*x518 - 36179*x519 - 50249*x520 - 114568*x521 - 25459*x522 - 7079*x523 - 7023*x524 - 208000*x525 - 22110*x526 - 31000*x527 - 17310*x528 - 62000*x529 - 16900*x530 - 22000*x531 - 22490*x532 - 4429*x533 - 4120*x534 - 20420*x535 - 12730*x536 - 27430*x537 - 20908*x538 - 81281*x539 - 5165*x540 - 4200*x541 - 30000*x542 - 5490*x543 - 6200*x544 - 4850*x545 - 58950*x546 + 1000*x575 = 0 } } Constraint e51 { Definition: { - 68570*x372 - 13000*x373 - 42950*x374 - 42570*x375 - 36450*x376 - 37300*x377 - 202010*x378 - 85000*x379 - 52170*x380 - 91200*x381 - 22150*x382 - 43020*x383 - 124900*x384 - 22750*x385 - 78100*x386 - 43500*x387 - 74100*x388 - 44300*x389 - 61100*x390 - 257300*x391 - 29200*x392 - 96950*x393 - 315000*x394 - 43900*x395 - 61500*x396 - 37370*x397 - 44950*x398 - 30554*x399 - 48913*x400 - 52263*x401 - 9648510*x402 - 12864700*x403 - 36182*x404 - 17555*x405 - 13669*x406 - 59231*x407 - 21103*x408 - 42078*x409 - 21173*x410 - 11257*x411 - 44624*x412 - 25800*x413 - 15500*x414 - 21990*x415 - 15210*x416 - 32200*x417 - 5800*x418 - 10150*x419 - 72000*x420 - 20900*x421 - 21500*x422 - 30150*x423 - 10120*x424 - 25500*x425 - 26000*x426 - 1830*x427 - 4250*x428 - 10050*x429 - 8240*x430 - 11850*x431 - 11250*x432 - 28800*x433 - 32650*x434 - 10400*x435 - 12000*x436 - 18350*x437 - 10550*x438 - 2580*x439 - 2400*x440 - 12520*x441 - 9000*x442 - 12420*x443 - 5375*x444 - 1900*x445 - 1150*x446 - 22540*x447 - 34800*x448 - 35300*x449 - 49750*x450 - 29880*x451 - 14510*x452 - 5270*x453 - 25750*x454 - 45880*x455 - 54750*x456 - 38400*x457 - 20050*x458 - 12293*x459 - 13500*x460 - 27400*x461 - 33550*x462 - 64290*x463 - 23430*x464 - 60000*x465 - 11050*x466 - 30410*x467 - 21014*x468 - 19778*x469 - 5525*x470 - 22126*x471 - 6181*x472 - 3894*x473 - 6672*x474 - 3399*x475 - 47467*x476 - 18047*x477 - 18109*x478 - 20087*x479 - 10074*x480 - 11434*x481 - 12917*x482 - 10692*x483 - 9518*x484 - 7293*x485 - 18418*x486 - 21804*x487 - 21030*x488 - 11732*x489 - 16270*x490 - 7028*x491 - 16934*x492 - 16990*x493 - 40621*x494 - 18927*x495 - 23465*x496 - 23409*x497 - 20642*x498 - 10072*x499 - 10127*x500 - 10626*x501 - 16160*x502 - 18041*x503 - 9740*x504 - 9408*x505 - 16602*x506 - 16160*x507 - 4483*x508 - 7637*x509 - 18318*x510 - 18761*x511 - 4339*x512 - 1123*x513 - 27471*x514 - 6752*x515 - 6862*x516 - 21317*x517 - 27050*x518 - 36182*x519 - 50253*x520 - 115916*x521 - 26131*x522 - 6586*x523 - 6973*x524 - 202600*x525 - 22647*x526 - 30000*x527 - 16436*x528 - 61850*x529 - 16100*x530 - 19500*x531 - 19300*x532 - 4326*x533 - 4240*x534 - 21350*x535 - 14205*x536 - 28169*x537 - 22003*x538 - 79606*x539 - 5253*x540 - 4500*x541 - 33000*x542 - 5330*x543 - 6320*x544 - 4858*x545 - 57960*x546 + 1000*x576 = 0 } } Constraint e52 { Definition: { - 68680*x372 - 13150*x373 - 42440*x374 - 42700*x375 - 36550*x376 - 37850*x377 - 204450*x378 - 85490*x379 - 52320*x380 - 91000*x381 - 22250*x382 - 41700*x383 - 125030*x384 - 22820*x385 - 73200*x386 - 43200*x387 - 76900*x388 - 42510*x389 - 60750*x390 - 251100*x391 - 28800*x392 - 97000*x393 - 312000*x394 - 43790*x395 - 59800*x396 - 36900*x397 - 45000*x398 - 30351*x399 - 48588*x400 - 51916*x401 - 9584500*x402 - 12779300*x403 - 35942*x404 - 17438*x405 - 13578*x406 - 58838*x407 - 20963*x408 - 41799*x409 - 21033*x410 - 11182*x411 - 44328*x412 - 25800*x413 - 15500*x414 - 21990*x415 - 15210*x416 - 32200*x417 - 5800*x418 - 10150*x419 - 72000*x420 - 20900*x421 - 21500*x422 - 30150*x423 - 10120*x424 - 25500*x425 - 26000*x426 - 1830*x427 - 4250*x428 - 10050*x429 - 8240*x430 - 11850*x431 - 11250*x432 - 28800*x433 - 32650*x434 - 10400*x435 - 11980*x436 - 18370*x437 - 10350*x438 - 2610*x439 - 2480*x440 - 12500*x441 - 9200*x442 - 12700*x443 - 5250*x444 - 1890*x445 - 1080*x446 - 22510*x447 - 34800*x448 - 35350*x449 - 49500*x450 - 30260*x451 - 14580*x452 - 5240*x453 - 26090*x454 - 45400*x455 - 54600*x456 - 38645*x457 - 20800*x458 - 12654*x459 - 13750*x460 - 27300*x461 - 32300*x462 - 64550*x463 - 23900*x464 - 61050*x465 - 11100*x466 - 30440*x467 - 21005*x468 - 19769*x469 - 5523*x470 - 22117*x471 - 6178*x472 - 3892*x473 - 6669*x474 - 3398*x475 - 47446*x476 - 18039*x477 - 18101*x478 - 20078*x479 - 10070*x480 - 11429*x481 - 12912*x482 - 10688*x483 - 9514*x484 - 7290*x485 - 18410*x486 - 21275*x487 - 20333*x488 - 11801*x489 - 16012*x490 - 6704*x491 - 16732*x492 - 16898*x493 - 40001*x494 - 18283*x495 - 22771*x496 - 23713*x497 - 20610*x498 - 9917*x499 - 10194*x500 - 10610*x501 - 15735*x502 - 17507*x503 - 9585*x504 - 9252*x505 - 16012*x506 - 15624*x507 - 4466*x508 - 7646*x509 - 18394*x510 - 19003*x511 - 4388*x512 - 1110*x513 - 27289*x514 - 6759*x515 - 6870*x516 - 20729*x517 - 26330*x518 - 35942*x519 - 49919*x520 - 115147*x521 - 25958*x522 - 6538*x523 - 6759*x524 - 204800*x525 - 22497*x526 - 29310*x527 - 16566*x528 - 59750*x529 - 15600*x530 - 19500*x531 - 19300*x532 - 4324*x533 - 4240*x534 - 21290*x535 - 14111*x536 - 27480*x537 - 21993*x538 - 79570*x539 - 5251*x540 - 4500*x541 - 33000*x542 - 5290*x543 - 6230*x544 - 4856*x545 - 57600*x546 + 1000*x577 = 0 } } Constraint e53 { Definition: { - 68680*x372 - 13150*x373 - 42440*x374 - 42700*x375 - 36550*x376 - 37850*x377 - 204450*x378 - 85490*x379 - 52320*x380 - 91000*x381 - 22250*x382 - 41700*x383 - 125030*x384 - 22820*x385 - 73200*x386 - 43200*x387 - 76900*x388 - 42510*x389 - 60750*x390 - 251100*x391 - 28800*x392 - 97000*x393 - 312000*x394 - 43790*x395 - 59800*x396 - 36900*x397 - 45000*x398 - 30351*x399 - 48588*x400 - 51916*x401 - 9584500*x402 - 12779300*x403 - 35942*x404 - 17438*x405 - 13578*x406 - 58838*x407 - 20963*x408 - 41799*x409 - 21033*x410 - 11182*x411 - 44328*x412 - 25800*x413 - 15500*x414 - 21990*x415 - 15210*x416 - 32200*x417 - 5800*x418 - 10150*x419 - 72000*x420 - 20900*x421 - 21500*x422 - 30150*x423 - 10120*x424 - 25500*x425 - 26000*x426 - 1830*x427 - 4250*x428 - 10050*x429 - 8240*x430 - 11850*x431 - 11250*x432 - 28800*x433 - 32650*x434 - 10400*x435 - 11980*x436 - 18370*x437 - 10350*x438 - 2610*x439 - 2480*x440 - 12500*x441 - 9200*x442 - 12700*x443 - 5250*x444 - 1890*x445 - 1080*x446 - 22510*x447 - 34800*x448 - 35350*x449 - 49500*x450 - 30260*x451 - 14580*x452 - 5240*x453 - 26090*x454 - 45400*x455 - 54600*x456 - 38645*x457 - 20800*x458 - 12654*x459 - 13750*x460 - 27300*x461 - 32300*x462 - 64550*x463 - 23900*x464 - 61050*x465 - 11100*x466 - 30440*x467 - 21005*x468 - 19769*x469 - 5523*x470 - 22117*x471 - 6178*x472 - 3892*x473 - 6669*x474 - 3398*x475 - 47446*x476 - 18039*x477 - 18101*x478 - 20078*x479 - 10070*x480 - 11429*x481 - 12912*x482 - 10688*x483 - 9514*x484 - 7290*x485 - 18410*x486 - 21275*x487 - 20333*x488 - 11801*x489 - 16012*x490 - 6704*x491 - 16732*x492 - 16898*x493 - 40001*x494 - 18283*x495 - 22771*x496 - 23713*x497 - 20610*x498 - 9917*x499 - 10194*x500 - 10610*x501 - 15735*x502 - 17507*x503 - 9585*x504 - 9252*x505 - 16012*x506 - 15624*x507 - 4466*x508 - 7646*x509 - 18394*x510 - 19003*x511 - 4388*x512 - 1110*x513 - 27289*x514 - 6759*x515 - 6870*x516 - 20729*x517 - 26330*x518 - 35942*x519 - 49919*x520 - 115147*x521 - 25958*x522 - 6538*x523 - 6759*x524 - 204800*x525 - 22497*x526 - 29310*x527 - 16566*x528 - 59750*x529 - 15600*x530 - 19500*x531 - 19300*x532 - 4324*x533 - 4240*x534 - 21290*x535 - 14111*x536 - 27480*x537 - 21993*x538 - 79570*x539 - 5251*x540 - 4500*x541 - 33000*x542 - 5290*x543 - 6230*x544 - 4856*x545 - 57600*x546 + 1000*x578 = 0 } } Constraint e54 { Definition: { - 68680*x372 - 13150*x373 - 42440*x374 - 42700*x375 - 36550*x376 - 37850*x377 - 204450*x378 - 85490*x379 - 52320*x380 - 91000*x381 - 22250*x382 - 41700*x383 - 125030*x384 - 22820*x385 - 73200*x386 - 43200*x387 - 76900*x388 - 42510*x389 - 60750*x390 - 251100*x391 - 28800*x392 - 97000*x393 - 312000*x394 - 43790*x395 - 59800*x396 - 36900*x397 - 45000*x398 - 30705*x399 - 49155*x400 - 52522*x401 - 9696400*x402 - 12928500*x403 - 36361*x404 - 17642*x405 - 13736*x406 - 59525*x407 - 21207*x408 - 42287*x409 - 21278*x410 - 11312*x411 - 44846*x412 - 25800*x413 - 15500*x414 - 21990*x415 - 15210*x416 - 32200*x417 - 5800*x418 - 10150*x419 - 72000*x420 - 20900*x421 - 21500*x422 - 30150*x423 - 10120*x424 - 25500*x425 - 26000*x426 - 1830*x427 - 4250*x428 - 10050*x429 - 8240*x430 - 11850*x431 - 11250*x432 - 28800*x433 - 32650*x434 - 10400*x435 - 11980*x436 - 18370*x437 - 10350*x438 - 2610*x439 - 2480*x440 - 12500*x441 - 9200*x442 - 12700*x443 - 5250*x444 - 1890*x445 - 1080*x446 - 22510*x447 - 34800*x448 - 35350*x449 - 49500*x450 - 30260*x451 - 14580*x452 - 5240*x453 - 26090*x454 - 45400*x455 - 54600*x456 - 38645*x457 - 20800*x458 - 12654*x459 - 13750*x460 - 27300*x461 - 32300*x462 - 64550*x463 - 23900*x464 - 61050*x465 - 11100*x466 - 30440*x467 - 21006*x468 - 19770*x469 - 5523*x470 - 22118*x471 - 6178*x472 - 3892*x473 - 6669*x474 - 3398*x475 - 47448*x476 - 18040*x477 - 18102*x478 - 20079*x479 - 10070*x480 - 11430*x481 - 12912*x482 - 10688*x483 - 9514*x484 - 7290*x485 - 18411*x486 - 21270*x487 - 20328*x488 - 11798*x489 - 16008*x490 - 6702*x491 - 16728*x492 - 16894*x493 - 39991*x494 - 18279*x495 - 22765*x496 - 23707*x497 - 20605*x498 - 9915*x499 - 10192*x500 - 10607*x501 - 15731*x502 - 17503*x503 - 9582*x504 - 9250*x505 - 16008*x506 - 15620*x507 - 4464*x508 - 7644*x509 - 18389*x510 - 18999*x511 - 4387*x512 - 1110*x513 - 27608*x514 - 6758*x515 - 6868*x516 - 20724*x517 - 26330*x518 - 36361*x519 - 50502*x520 - 116491*x521 - 26261*x522 - 6536*x523 - 6758*x524 - 204800*x525 - 22759*x526 - 29310*x527 - 16562*x528 - 59750*x529 - 15600*x530 - 19500*x531 - 19300*x532 - 4325*x533 - 4240*x534 - 21290*x535 - 14275*x536 - 27473*x537 - 21994*x538 - 79575*x539 - 5251*x540 - 4500*x541 - 33000*x542 - 5290*x543 - 6230*x544 - 4856*x545 - 57600*x546 + 1000*x579 = 0 } } Constraint e55 { Definition: { - 69500*x372 - 13720*x373 - 42800*x374 - 42510*x375 - 38070*x376 - 38000*x377 - 205000*x378 - 85490*x379 - 53330*x380 - 91500*x381 - 22160*x382 - 41000*x383 - 125060*x384 - 22900*x385 - 72000*x386 - 42600*x387 - 77500*x388 - 45950*x389 - 60400*x390 - 250500*x391 - 28450*x392 - 98000*x393 - 315000*x394 - 43800*x395 - 59700*x396 - 37300*x397 - 45490*x398 - 30823*x399 - 50256*x400 - 51864*x401 - 9649100*x402 - 13254100*x403 - 35782*x404 - 17489*x405 - 14206*x406 - 62049*x407 - 20758*x408 - 42818*x409 - 21040*x410 - 11458*x411 - 45565*x412 - 26000*x413 - 16500*x414 - 22150*x415 - 16000*x416 - 32200*x417 - 5900*x418 - 10100*x419 - 70450*x420 - 21000*x421 - 22450*x422 - 28820*x423 - 10190*x424 - 26250*x425 - 25000*x426 - 1770*x427 - 4500*x428 - 9700*x429 - 7785*x430 - 11300*x431 - 11230*x432 - 27600*x433 - 32700*x434 - 10300*x435 - 11730*x436 - 18260*x437 - 10400*x438 - 2620*x439 - 2480*x440 - 12490*x441 - 9300*x442 - 12500*x443 - 5300*x444 - 1880*x445 - 1120*x446 - 21960*x447 - 35600*x448 - 35230*x449 - 49900*x450 - 29170*x451 - 14500*x452 - 5240*x453 - 25600*x454 - 45680*x455 - 53000*x456 - 38750*x457 - 20250*x458 - 12302*x459 - 13650*x460 - 27500*x461 - 29140*x462 - 65210*x463 - 23730*x464 - 61700*x465 - 11600*x466 - 29840*x467 - 21369*x468 - 20002*x469 - 5442*x470 - 21680*x471 - 6212*x472 - 4286*x473 - 6758*x474 - 3367*x475 - 47584*x476 - 17766*x477 - 17890*x478 - 20624*x479 - 10374*x480 - 11244*x481 - 12548*x482 - 10436*x483 - 9815*x484 - 7330*x485 - 17518*x486 - 22329*x487 - 21502*x488 - 11578*x489 - 16154*x490 - 6395*x491 - 16816*x492 - 17312*x493 - 39365*x494 - 17477*x495 - 23377*x496 - 23266*x497 - 21061*x498 - 10034*x499 - 9593*x500 - 10765*x501 - 15658*x502 - 17312*x503 - 9814*x504 - 9373*x505 - 16320*x506 - 15878*x507 - 4466*x508 - 7553*x509 - 18856*x510 - 19131*x511 - 4124*x512 - 1096*x513 - 27623*x514 - 6892*x515 - 6892*x516 - 21339*x517 - 25900*x518 - 35916*x519 - 50390*x520 - 123294*x521 - 24659*x522 - 6506*x523 - 6837*x524 - 204000*x525 - 23051*x526 - 29290*x527 - 17863*x528 - 61250*x529 - 16050*x530 - 19900*x531 - 19800*x532 - 4249*x533 - 4280*x534 - 20740*x535 - 13535*x536 - 27236*x537 - 22736*x538 - 79886*x539 - 5435*x540 - 4400*x541 - 39000*x542 - 5430*x543 - 6150*x544 - 4721*x545 - 58000*x546 + 1000*x580 = 0 } } Constraint e56 { Definition: { - 70900*x372 - 13980*x373 - 43200*x374 - 43000*x375 - 36750*x376 - 38160*x377 - 205950*x378 - 85400*x379 - 54470*x380 - 92400*x381 - 22110*x382 - 40900*x383 - 124800*x384 - 22820*x385 - 75450*x386 - 43100*x387 - 78000*x388 - 45240*x389 - 60400*x390 - 252600*x391 - 29350*x392 - 97050*x393 - 310000*x394 - 43750*x395 - 59750*x396 - 37600*x397 - 46990*x398 - 36318*x399 - 51729*x400 - 53605*x401 - 9917100*x402 - 13535400*x403 - 35916*x404 - 17757*x405 - 15010*x406 - 66203*x407 - 22142*x408 - 42817*x409 - 20638*x410 - 11793*x411 - 46235*x412 - 26600*x413 - 16490*x414 - 22950*x415 - 16200*x416 - 32390*x417 - 6000*x418 - 10150*x419 - 70000*x420 - 21400*x421 - 21750*x422 - 32850*x423 - 9900*x424 - 26900*x425 - 25500*x426 - 1780*x427 - 4450*x428 - 10050*x429 - 8402*x430 - 12400*x431 - 11250*x432 - 28700*x433 - 33100*x434 - 10300*x435 - 12050*x436 - 18220*x437 - 10300*x438 - 2560*x439 - 2460*x440 - 12350*x441 - 9310*x442 - 12690*x443 - 5400*x444 - 1900*x445 - 1150*x446 - 22510*x447 - 36650*x448 - 35200*x449 - 49300*x450 - 19640*x451 - 15070*x452 - 5560*x453 - 24650*x454 - 46400*x455 - 54400*x456 - 39205*x457 - 20500*x458 - 13776*x459 - 13550*x460 - 27600*x461 - 32100*x462 - 65700*x463 - 24050*x464 - 62500*x465 - 11850*x466 - 29580*x467 - 22025*x468 - 20335*x469 - 5444*x470 - 22087*x471 - 6007*x472 - 4130*x473 - 6911*x474 - 3567*x475 - 48179*x476 - 17833*x477 - 17770*x478 - 20586*x479 - 10512*x480 - 11450*x481 - 13265*x482 - 10825*x483 - 9761*x484 - 7196*x485 - 17833*x486 - 23028*x487 - 22143*x488 - 12068*x489 - 16884*x490 - 7141*x491 - 17050*x492 - 18489*x493 - 42126*x494 - 19375*x495 - 24578*x496 - 23582*x497 - 21810*x498 - 10573*x499 - 10739*x500 - 10974*x501 - 16496*x502 - 18378*x503 - 9743*x504 - 9411*x505 - 16662*x506 - 16109*x507 - 4595*x508 - 7750*x509 - 18766*x510 - 19264*x511 - 4373*x512 - 1140*x513 - 28411*x514 - 6975*x515 - 6975*x516 - 21936*x517 - 29540*x518 - 36184*x519 - 51997*x520 - 127313*x521 - 25463*x522 - 6643*x523 - 7528*x524 - 200200*x525 - 22782*x526 - 29800*x527 - 18102*x528 - 60500*x529 - 16050*x530 - 20000*x531 - 19950*x532 - 4405*x533 - 4350*x534 - 21180*x535 - 16082*x536 - 28675*x537 - 22275*x538 - 92604*x539 - 5788*x540 - 4700*x541 - 44000*x542 - 5290*x543 - 6360*x544 - 4880*x545 - 59500*x546 + 1000*x581 = 0 } } Constraint e57 { Definition: { - 70500*x372 - 13400*x373 - 42870*x374 - 43050*x375 - 36950*x376 - 38050*x377 - 196000*x378 - 85000*x379 - 53890*x380 - 91750*x381 - 22150*x382 - 39400*x383 - 124000*x384 - 22480*x385 - 74900*x386 - 43250*x387 - 78000*x388 - 44770*x389 - 59500*x390 - 250400*x391 - 29010*x392 - 97400*x393 - 309800*x394 - 43790*x395 - 59400*x396 - 38050*x397 - 47400*x398 - 37526*x399 - 50928*x400 - 52938*x401 - 10024700*x402 - 13670000*x403 - 36319*x404 - 17758*x405 - 15144*x406 - 65536*x407 - 23336*x408 - 41144*x409 - 21711*x410 - 11660*x411 - 46237*x412 - 26500*x413 - 17000*x414 - 22500*x415 - 16000*x416 - 32250*x417 - 6100*x418 - 10100*x419 - 69000*x420 - 20800*x421 - 21890*x422 - 33580*x423 - 9900*x424 - 27500*x425 - 25300*x426 - 1780*x427 - 4400*x428 - 10110*x429 - 9011*x430 - 12000*x431 - 11250*x432 - 28770*x433 - 33750*x434 - 10300*x435 - 11920*x436 - 17600*x437 - 10100*x438 - 2600*x439 - 2420*x440 - 12250*x441 - 9230*x442 - 12420*x443 - 5550*x444 - 1950*x445 - 1220*x446 - 22110*x447 - 36420*x448 - 34640*x449 - 49410*x450 - 18950*x451 - 15100*x452 - 5440*x453 - 24100*x454 - 45000*x455 - 53500*x456 - 38575*x457 - 20750*x458 - 13551*x459 - 13650*x460 - 27400*x461 - 33050*x462 - 63500*x463 - 24750*x464 - 61400*x465 - 11950*x466 - 30770*x467 - 21438*x468 - 19827*x469 - 5403*x470 - 21934*x471 - 5948*x472 - 4089*x473 - 6740*x474 - 3507*x475 - 47090*x476 - 17411*x477 - 17349*x478 - 19827*x479 - 10100*x480 - 10657*x481 - 13136*x482 - 10905*x483 - 10038*x484 - 7064*x485 - 16729*x486 - 23641*x487 - 22753*x488 - 11654*x489 - 17869*x490 - 7436*x491 - 16926*x492 - 18924*x493 - 42342*x494 - 18702*x495 - 25972*x496 - 23308*x497 - 22475*x498 - 10877*x499 - 10877*x500 - 11210*x501 - 16815*x502 - 18757*x503 - 9712*x504 - 9545*x505 - 16981*x506 - 16371*x507 - 4417*x508 - 7880*x509 - 19978*x510 - 20311*x511 - 4528*x512 - 1162*x513 - 28814*x514 - 7103*x515 - 7159*x516 - 21428*x517 - 28820*x518 - 35783*x519 - 50928*x520 - 125309*x521 - 28144*x522 - 7048*x523 - 7547*x524 - 200000*x525 - 22649*x526 - 30000*x527 - 18868*x528 - 56500*x529 - 16250*x530 - 19600*x531 - 19850*x532 - 4486*x533 - 4500*x534 - 20680*x535 - 18361*x536 - 29412*x537 - 22492*x538 - 93437*x539 - 6692*x540 - 4950*x541 - 47150*x542 - 5220*x543 - 6360*x544 - 4895*x545 - 60000*x546 + 1000*x582 = 0 } } Constraint e58 { Definition: { - 70800*x372 - 13180*x373 - 43030*x374 - 43000*x375 - 36500*x376 - 38100*x377 - 198000*x378 - 85000*x379 - 53810*x380 - 91210*x381 - 21600*x382 - 39690*x383 - 125500*x384 - 22500*x385 - 70400*x386 - 43000*x387 - 78600*x388 - 42500*x389 - 57050*x390 - 247900*x391 - 28500*x392 - 97500*x393 - 306300*x394 - 43400*x395 - 58400*x396 - 37150*x397 - 47000*x398 - 35496*x399 - 50364*x400 - 51704*x401 - 9871980*x402 - 13528800*x403 - 37238*x404 - 17681*x405 - 15136*x406 - 64965*x407 - 23860*x408 - 40452*x409 - 22369*x410 - 11988*x411 - 44471*x412 - 26300*x413 - 16700*x414 - 22600*x415 - 15800*x416 - 32250*x417 - 5950*x418 - 9910*x419 - 70000*x420 - 21500*x421 - 22300*x422 - 34650*x423 - 9750*x424 - 24000*x425 - 24190*x426 - 1730*x427 - 4490*x428 - 10200*x429 - 8678*x430 - 12490*x431 - 11250*x432 - 27400*x433 - 33450*x434 - 10150*x435 - 12000*x436 - 18150*x437 - 10050*x438 - 2550*x439 - 2400*x440 - 12420*x441 - 9360*x442 - 12500*x443 - 5525*x444 - 2000*x445 - 1200*x446 - 21900*x447 - 35850*x448 - 34700*x449 - 49300*x450 - 19610*x451 - 15050*x452 - 5490*x453 - 23900*x454 - 44920*x455 - 52350*x456 - 37500*x457 - 21200*x458 - 13580*x459 - 13450*x460 - 27500*x461 - 32480*x462 - 63760*x463 - 24900*x464 - 60050*x465 - 11450*x466 - 31940*x467 - 21508*x468 - 20033*x469 - 5408*x470 - 22123*x471 - 6145*x472 - 3994*x473 - 6532*x474 - 3282*x475 - 46703*x476 - 17452*x477 - 17452*x478 - 19787*x479 - 9771*x480 - 10815*x481 - 13151*x482 - 10570*x483 - 9464*x484 - 7067*x485 - 15609*x486 - 22416*x487 - 21647*x488 - 11263*x489 - 17636*x490 - 6483*x491 - 17032*x492 - 18515*x493 - 41535*x494 - 18570*x495 - 24998*x496 - 23515*x497 - 22196*x498 - 10823*x499 - 10988*x500 - 10906*x501 - 16812*x502 - 18021*x503 - 9944*x504 - 9725*x505 - 16372*x506 - 16153*x507 - 4417*x508 - 7692*x509 - 19834*x510 - 20383*x511 - 4351*x512 - 1162*x513 - 29469*x514 - 6977*x515 - 7032*x516 - 21264*x517 - 29660*x518 - 36166*x519 - 50498*x520 - 126581*x521 - 27861*x522 - 6813*x523 - 7252*x524 - 196000*x525 - 21967*x526 - 29050*x527 - 18570*x528 - 54500*x529 - 15800*x530 - 20250*x531 - 20990*x532 - 4252*x533 - 4600*x534 - 20380*x535 - 19690*x536 - 30767*x537 - 21938*x538 - 99060*x539 - 6821*x540 - 5000*x541 - 51500*x542 - 5300*x543 - 6410*x544 - 4892*x545 - 60490*x546 + 1000*x583 = 0 } } Constraint e59 { Definition: { - 70050*x372 - 13000*x373 - 43050*x374 - 42900*x375 - 36550*x376 - 38800*x377 - 190000*x378 - 85500*x379 - 53450*x380 - 91700*x381 - 21850*x382 - 38660*x383 - 124000*x384 - 22400*x385 - 70000*x386 - 41510*x387 - 81000*x388 - 41500*x389 - 57100*x390 - 244300*x391 - 28140*x392 - 95750*x393 - 299000*x394 - 42790*x395 - 57950*x396 - 36010*x397 - 46640*x398 - 34570*x399 - 48907*x400 - 50314*x401 - 9768050*x402 - 13131200*x403 - 36714*x404 - 17687*x405 - 13935*x406 - 64852*x407 - 23868*x408 - 42476*x409 - 23315*x410 - 11858*x411 - 43548*x412 - 25520*x413 - 16300*x414 - 21800*x415 - 15600*x416 - 32150*x417 - 6100*x418 - 9910*x419 - 69500*x420 - 21000*x421 - 22000*x422 - 34090*x423 - 9400*x424 - 23800*x425 - 23250*x426 - 1550*x427 - 4480*x428 - 10800*x429 - 8402*x430 - 11550*x431 - 11020*x432 - 27950*x433 - 33750*x434 - 10500*x435 - 12220*x436 - 17940*x437 - 10100*x438 - 2570*x439 - 2420*x440 - 12200*x441 - 9350*x442 - 12580*x443 - 5500*x444 - 2030*x445 - 1200*x446 - 21430*x447 - 35100*x448 - 34380*x449 - 49200*x450 - 18830*x451 - 14990*x452 - 5500*x453 - 23440*x454 - 44200*x455 - 52050*x456 - 37190*x457 - 21300*x458 - 12976*x459 - 13000*x460 - 27250*x461 - 32100*x462 - 63900*x463 - 24330*x464 - 60200*x465 - 11400*x466 - 31320*x467 - 22257*x468 - 20659*x469 - 5349*x470 - 22011*x471 - 6148*x472 - 3996*x473 - 6535*x474 - 3086*x475 - 47158*x476 - 17215*x477 - 17154*x478 - 19798*x479 - 9899*x480 - 11190*x481 - 12789*x482 - 10452*x483 - 9223*x484 - 7071*x485 - 15740*x486 - 22668*x487 - 21794*x488 - 11252*x489 - 17315*x490 - 6118*x491 - 16878*x492 - 17916*x493 - 40584*x494 - 18462*x495 - 24743*x496 - 23378*x497 - 21248*x498 - 10378*x499 - 10269*x500 - 10706*x501 - 16605*x502 - 18571*x503 - 9996*x504 - 9559*x505 - 16386*x506 - 15786*x507 - 4479*x508 - 7702*x509 - 19281*x510 - 19773*x511 - 4250*x512 - 1180*x513 - 29076*x514 - 6718*x515 - 6718*x516 - 21292*x517 - 28610*x518 - 35508*x519 - 51051*x520 - 128633*x521 - 27334*x522 - 6718*x523 - 7210*x524 - 191600*x525 - 22109*x526 - 29200*x527 - 18025*x528 - 54750*x529 - 16000*x530 - 19800*x531 - 20300*x532 - 3996*x533 - 4520*x534 - 19740*x535 - 17888*x536 - 30369*x537 - 22872*x538 - 105814*x539 - 6579*x540 - 4870*x541 - 44000*x542 - 5000*x543 - 6350*x544 - 4919*x545 - 61500*x546 + 1000*x584 = 0 } } Constraint e60 { Definition: { - 70100*x372 - 13400*x373 - 42900*x374 - 42990*x375 - 36900*x376 - 38900*x377 - 191800*x378 - 85880*x379 - 53690*x380 - 92100*x381 - 21880*x382 - 38600*x383 - 127900*x384 - 22410*x385 - 68750*x386 - 41200*x387 - 81000*x388 - 41550*x389 - 57000*x390 - 245000*x391 - 28600*x392 - 96000*x393 - 300200*x394 - 43110*x395 - 57600*x396 - 36500*x397 - 46890*x398 - 32834*x399 - 48915*x400 - 50122*x401 - 9756270*x402 - 12999400*x403 - 37122*x404 - 17891*x405 - 13804*x406 - 64327*x407 - 24131*x408 - 43287*x409 - 22514*x410 - 11860*x411 - 43555*x412 - 25500*x413 - 15500*x414 - 22700*x415 - 15990*x416 - 32200*x417 - 6400*x418 - 9900*x419 - 70920*x420 - 21490*x421 - 21700*x422 - 33850*x423 - 9450*x424 - 23400*x425 - 23000*x426 - 1480*x427 - 4400*x428 - 10900*x429 - 8118*x430 - 11750*x431 - 11100*x432 - 28000*x433 - 33950*x434 - 10200*x435 - 12330*x436 - 18020*x437 - 10150*x438 - 2570*x439 - 2470*x440 - 12300*x441 - 9280*x442 - 12390*x443 - 5450*x444 - 2030*x445 - 1190*x446 - 22140*x447 - 35680*x448 - 34650*x449 - 48960*x450 - 18300*x451 - 14970*x452 - 5570*x453 - 23350*x454 - 44800*x455 - 51900*x456 - 37570*x457 - 21950*x458 - 12985*x459 - 13000*x460 - 27250*x461 - 32350*x462 - 65350*x463 - 24940*x464 - 60550*x465 - 11100*x466 - 31040*x467 - 22472*x468 - 21121*x469 - 5342*x470 - 21613*x471 - 6017*x472 - 4175*x473 - 6373*x474 - 2898*x475 - 48260*x476 - 17253*x477 - 17130*x478 - 20262*x479 - 9947*x480 - 11175*x481 - 13017*x482 - 11175*x483 - 9701*x484 - 6938*x485 - 17008*x486 - 22840*x487 - 22077*x488 - 11447*x489 - 17062*x490 - 6105*x491 - 16790*x492 - 17389*x493 - 40502*x494 - 18861*x495 - 24203*x496 - 23113*x497 - 21205*x498 - 10303*x499 - 10575*x500 - 10630*x501 - 17335*x502 - 19406*x503 - 10194*x504 - 9812*x505 - 16354*x506 - 15917*x507 - 4633*x508 - 7850*x509 - 19188*x510 - 19733*x511 - 4154*x512 - 1158*x513 - 28679*x514 - 6814*x515 - 6814*x516 - 21400*x517 - 29250*x518 - 35916*x519 - 48982*x520 - 129994*x521 - 28143*x522 - 6814*x523 - 7196*x524 - 192500*x525 - 21978*x526 - 30000*x527 - 17825*x528 - 54780*x529 - 15800*x530 - 20000*x531 - 20020*x532 - 3942*x533 - 4500*x534 - 18600*x535 - 18226*x536 - 29818*x537 - 23332*x538 - 96397*x539 - 6631*x540 - 4990*x541 - 44000*x542 - 5050*x543 - 6380*x544 - 5035*x545 - 61400*x546 + 1000*x585 = 0 } } Constraint e61 { Definition: { - 70200*x372 - 13300*x373 - 42900*x374 - 42950*x375 - 35490*x376 - 38950*x377 - 190000*x378 - 85900*x379 - 53410*x380 - 92000*x381 - 22000*x382 - 37000*x383 - 126750*x384 - 22120*x385 - 70000*x386 - 40700*x387 - 80000*x388 - 41750*x389 - 56000*x390 - 244400*x391 - 29000*x392 - 97950*x393 - 299900*x394 - 42850*x395 - 57600*x396 - 35830*x397 - 46890*x398 - 31479*x399 - 48223*x400 - 50233*x401 - 9510690*x402 - 12859500*x403 - 37507*x404 - 18218*x405 - 14333*x406 - 62690*x407 - 24380*x408 - 43401*x409 - 21433*x410 - 11788*x411 - 41994*x412 - 25000*x413 - 15500*x414 - 22800*x415 - 16800*x416 - 33000*x417 - 6450*x418 - 9800*x419 - 71250*x420 - 20800*x421 - 22000*x422 - 33210*x423 - 9550*x424 - 25000*x425 - 22690*x426 - 1500*x427 - 4400*x428 - 10900*x429 - 8402*x430 - 12200*x431 - 11150*x432 - 29500*x433 - 34300*x434 - 10200*x435 - 12080*x436 - 18100*x437 - 10100*x438 - 2550*x439 - 2450*x440 - 12160*x441 - 9200*x442 - 12420*x443 - 5505*x444 - 2000*x445 - 1180*x446 - 22100*x447 - 36170*x448 - 34380*x449 - 47950*x450 - 18300*x451 - 14810*x452 - 5470*x453 - 22850*x454 - 44640*x455 - 52800*x456 - 37575*x457 - 21800*x458 - 12771*x459 - 13050*x460 - 27750*x461 - 32350*x462 - 65730*x463 - 25190*x464 - 60250*x465 - 11750*x466 - 31100*x467 - 22723*x468 - 21436*x469 - 5353*x470 - 21069*x471 - 6125*x472 - 4042*x473 - 6510*x474 - 2952*x475 - 47895*x476 - 16598*x477 - 16782*x478 - 20028*x479 - 9677*x480 - 11086*x481 - 13168*x482 - 11514*x483 - 10167*x484 - 6921*x485 - 17639*x486 - 22492*x487 - 21782*x488 - 11628*x489 - 16705*x490 - 6496*x491 - 16923*x492 - 17851*x493 - 43236*x494 - 18124*x495 - 24511*x496 - 22983*x497 - 21618*x498 - 10209*x499 - 10536*x500 - 10754*x501 - 17032*x502 - 18779*x503 - 9826*x504 - 9280*x505 - 15941*x506 - 15395*x507 - 4607*x508 - 7970*x509 - 18943*x510 - 19653*x511 - 4160*x512 - 1153*x513 - 28130*x514 - 6878*x515 - 6933*x516 - 21381*x517 - 29090*x518 - 35632*x519 - 47553*x520 - 129265*x521 - 27059*x522 - 6988*x523 - 7206*x524 - 188100*x525 - 21901*x526 - 29560*x527 - 18343*x528 - 56400*x529 - 15900*x530 - 20000*x531 - 20000*x532 - 3810*x533 - 4500*x534 - 18200*x535 - 17280*x536 - 29425*x537 - 23090*x538 - 94320*x539 - 6645*x540 - 4850*x541 - 39000*x542 - 4900*x543 - 6370*x544 - 4985*x545 - 60700*x546 + 1000*x586 = 0 } } Constraint e62 { Definition: { - 71750*x372 - 13170*x373 - 42890*x374 - 43300*x375 - 35000*x376 - 38900*x377 - 190000*x378 - 85500*x379 - 53440*x380 - 93400*x381 - 22950*x382 - 38270*x383 - 125400*x384 - 22010*x385 - 69500*x386 - 41500*x387 - 80000*x388 - 40350*x389 - 56650*x390 - 245000*x391 - 29250*x392 - 98000*x393 - 300100*x394 - 42300*x395 - 58000*x396 - 36100*x397 - 46850*x398 - 32819*x399 - 47554*x400 - 48894*x401 - 9376840*x402 - 12591800*x403 - 37976*x404 - 18620*x405 - 14668*x406 - 62691*x407 - 24782*x408 - 42598*x409 - 21299*x410 - 11788*x411 - 41124*x412 - 25000*x413 - 15700*x414 - 22900*x415 - 16800*x416 - 33300*x417 - 6300*x418 - 9700*x419 - 72500*x420 - 22500*x421 - 22900*x422 - 33750*x423 - 9600*x424 - 24500*x425 - 22650*x426 - 1470*x427 - 4400*x428 - 10800*x429 - 8240*x430 - 12000*x431 - 11250*x432 - 32200*x433 - 35030*x434 - 11200*x435 - 12100*x436 - 18350*x437 - 9830*x438 - 2570*x439 - 2480*x440 - 12000*x441 - 9300*x442 - 12420*x443 - 5645*x444 - 2030*x445 - 1200*x446 - 22250*x447 - 37250*x448 - 34800*x449 - 46700*x450 - 18140*x451 - 15130*x452 - 5530*x453 - 22800*x454 - 46000*x455 - 51050*x456 - 38075*x457 - 21950*x458 - 13376*x459 - 13100*x460 - 27450*x461 - 32200*x462 - 66740*x463 - 26050*x464 - 61500*x465 - 11800*x466 - 30710*x467 - 22060*x468 - 20835*x469 - 5331*x470 - 20835*x471 - 6128*x472 - 4069*x473 - 6870*x474 - 2672*x475 - 47736*x476 - 16729*x477 - 16484*x478 - 20038*x479 - 10663*x480 - 10724*x481 - 12256*x482 - 11582*x483 - 10050*x484 - 6925*x485 - 17342*x486 - 23227*x487 - 22406*x488 - 11669*x489 - 17201*x490 - 6793*x491 - 16928*x492 - 18078*x493 - 42072*x494 - 18188*x495 - 25035*x496 - 23008*x497 - 21639*x498 - 10080*x499 - 10573*x500 - 10929*x501 - 17147*x502 - 19119*x503 - 10244*x504 - 9806*x505 - 16051*x506 - 15448*x507 - 4832*x508 - 8327*x509 - 18352*x510 - 18845*x511 - 4251*x512 - 1167*x513 - 28800*x514 - 7286*x515 - 7286*x516 - 21203*x517 - 29500*x518 - 35498*x519 - 48894*x520 - 127257*x521 - 27662*x522 - 6738*x523 - 7286*x524 - 187300*x525 - 21768*x526 - 30100*x527 - 18900*x528 - 55500*x529 - 15650*x530 - 20000*x531 - 20000*x532 - 3812*x533 - 4550*x534 - 18100*x535 - 17816*x536 - 31664*x537 - 23163*x538 - 97434*x539 - 6863*x540 - 4320*x541 - 39000*x542 - 4980*x543 - 6400*x544 - 5037*x545 - 61750*x546 + 1000*x587 = 0 } } Constraint e63 { Definition: { - 72940*x372 - 13230*x373 - 42900*x374 - 44350*x375 - 35000*x376 - 39100*x377 - 197000*x378 - 85000*x379 - 53700*x380 - 95300*x381 - 22490*x382 - 37400*x383 - 124550*x384 - 22000*x385 - 69500*x386 - 41750*x387 - 78600*x388 - 40550*x389 - 58150*x390 - 245800*x391 - 29400*x392 - 99000*x393 - 300100*x394 - 42250*x395 - 57100*x396 - 37500*x397 - 46500*x398 - 33356*x399 - 48896*x400 - 50503*x401 - 9377280*x402 - 12659300*x403 - 38179*x404 - 18554*x405 - 15673*x406 - 65306*x407 - 24381*x408 - 42265*x409 - 21702*x410 - 11722*x411 - 40590*x412 - 25900*x413 - 16100*x414 - 23500*x415 - 17300*x416 - 33300*x417 - 6450*x418 - 9440*x419 - 74000*x420 - 23600*x421 - 24100*x422 - 35620*x423 - 9490*x424 - 24900*x425 - 22350*x426 - 1480*x427 - 4450*x428 - 10400*x429 - 9295*x430 - 11400*x431 - 11100*x432 - 33100*x433 - 35200*x434 - 11100*x435 - 12200*x436 - 18500*x437 - 10000*x438 - 2600*x439 - 2520*x440 - 12280*x441 - 9500*x442 - 12400*x443 - 5690*x444 - 2070*x445 - 1180*x446 - 22700*x447 - 37600*x448 - 35000*x449 - 46950*x450 - 18690*x451 - 15430*x452 - 5480*x453 - 22550*x454 - 46760*x455 - 52000*x456 - 38485*x457 - 21850*x458 - 13444*x459 - 13200*x460 - 27650*x461 - 33110*x462 - 67400*x463 - 26550*x464 - 63800*x465 - 11500*x466 - 31180*x467 - 21988*x468 - 20571*x469 - 4927*x470 - 21310*x471 - 6159*x472 - 4090*x473 - 6956*x474 - 2784*x475 - 48656*x476 - 17738*x477 - 17615*x478 - 20386*x479 - 11579*x480 - 11025*x481 - 12872*x482 - 11948*x483 - 10470*x484 - 7268*x485 - 17861*x486 - 23828*x487 - 22948*x488 - 11666*x489 - 17500*x490 - 6879*x491 - 17500*x492 - 19096*x493 - 42704*x494 - 19261*x495 - 25699*x496 - 23883*x497 - 21682*x498 - 10401*x499 - 11887*x500 - 10868*x501 - 17830*x502 - 19811*x503 - 10346*x504 - 9960*x505 - 16674*x506 - 16014*x507 - 4931*x508 - 8144*x509 - 18270*x510 - 18710*x511 - 4446*x512 - 1162*x513 - 28936*x514 - 7429*x515 - 7374*x516 - 21908*x517 - 29800*x518 - 35768*x519 - 51441*x520 - 128603*x521 - 28601*x522 - 6824*x523 - 7374*x524 - 190000*x525 - 22238*x526 - 30010*x527 - 19206*x528 - 56590*x529 - 16000*x530 - 20000*x531 - 20080*x532 - 3905*x533 - 4620*x534 - 18260*x535 - 17683*x536 - 32413*x537 - 23404*x538 - 96696*x539 - 6929*x540 - 4500*x541 - 41750*x542 - 4900*x543 - 6500*x544 - 5112*x545 - 62000*x546 + 1000*x588 = 0 } } Constraint e64 { Definition: { 73200*x372 + 13180*x373 + 42950*x374 + 44440*x375 + 35000*x376 + 39100*x377 + 198600*x378 + 85000*x379 + 53700*x380 + 95000*x381 + 22740*x382 + 37570*x383 + 124850*x384 + 22120*x385 + 71000*x386 + 42990*x387 + 80000*x388 + 42500*x389 + 59850*x390 + 246600*x391 + 29000*x392 + 99000*x393 + 300099.9*x394 + 41770*x395 + 58000*x396 + 37000*x397 + 47000*x398 + 36847.25*x399 + 48102.41*x400 + 50648.22*x401 + 9513290*x402 + 12849640*x403 + 39058.08*x404 + 18155.64*x405 + 16346.78*x406 + 65655.1*x407 + 26128.05*x408 + 42876.8*x409 + 22376.33*x410 + 11925.11*x411 + 42876.8*x412 + 25520*x413 + 16500*x414 + 25500*x415 + 17800*x416 + 33500*x417 + 6150*x418 + 9500*x419 + 75500*x420 + 24000*x421 + 25250*x422 + 37300*x423 + 9600*x424 + 24300*x425 + 23250*x426 + 1540*x427 + 4500*x428 + 11800*x429 + 10123.43*x430 + 11330*x431 + 11010*x432 + 34700*x433 + 35350*x434 + 11400*x435 + 12400*x436 + 18980*x437 + 10100*x438 + 2590*x439 + 2530*x440 + 12400*x441 + 9500*x442 + 12540*x443 + 5910*x444 + 2100*x445 + 1180*x446 + 22700*x447 + 37600*x448 + 35000*x449 + 46950*x450 + 18690*x451 + 15430*x452 + 5480*x453 + 22550*x454 + 46760*x455 + 52000*x456 + 38485*x457 + 21850*x458 + 13443.88*x459 + 13200*x460 + 27650*x461 + 33110*x462 + 67400*x463 + 26550*x464 + 63800*x465 + 11500*x466 + 31180*x467 + 21783.33*x468 + 20421.87*x469 + 4950.757*x470 + 21535.79*x471 + 6188.446*x472 + 3960.605*x473 + 6886.134*x474 + 2933.323*x475 + 49136.26*x476 + 18317.8*x477 + 18070.26*x478 + 20731.29*x479 + 11696.16*x480 + 11262.97*x481 + 13367.04*x482 + 12376.89*x483 + 10706.01*x484 + 7240.481*x485 + 17822.72*x486 + 24929.29*x487 + 24160.55*x488 + 11750.81*x489 + 18614.6*x490 + 7248.164*x491 + 17571.31*x492 + 18998.97*x493 + 43928.26*x494 + 21579.76*x495 + 26137.32*x496 + 24270.37*x497 + 21909.22*x498 + 10432.96*x499 + 12245*x500 + 10982.07*x501 + 18230.23*x502 + 20042.27*x503 + 10432.96*x504 + 9993.68*x505 + 16802.56*x506 + 16363.28*x507 + 4930.948*x508 + 8401.28*x509 + 18394.96*x510 + 18944.06*x511 + 4733.27*x512 + 1175.298*x513 + 29477.8*x514 + 7632.536*x515 + 7577.626*x516 + 22871.95*x517 + 29800*x518 + 36445.28*x519 + 52658.07*x520 + 131310.2*x521 + 32827.55*x522 + 6808.881*x523 + 7742.357*x524 + 198000*x525 + 22644.31*x526 + 30000*x527 + 19602.99*x528 + 57750*x529 + 16000*x530 + 20100*x531 + 20300*x532 + 4022.49*x533 + 4800*x534 + 19380*x535 + 19294.56*x536 + 33495.3*x537 + 22278.4*x538 + 97034.83*x539 + 6931.059*x540 + 4780*x541 + 48000*x542 + 5150*x543 + 6590*x544 + 5284.933*x545 + 61420*x546 <= 100000000 } } Constraint e65 { Definition: x197 - 0.000732*x372 = 0; } Constraint e66 { Definition: x198 - 0.0001318*x373 = 0; } Constraint e67 { Definition: x199 - 0.0004295*x374 = 0; } Constraint e68 { Definition: x200 - 0.0004444*x375 = 0; } Constraint e69 { Definition: x201 - 0.00035*x376 = 0; } Constraint e70 { Definition: x202 - 0.000391*x377 = 0; } Constraint e71 { Definition: x203 - 0.001986*x378 = 0; } Constraint e72 { Definition: x204 - 0.00085*x379 = 0; } Constraint e73 { Definition: x205 - 0.000537*x380 = 0; } Constraint e74 { Definition: x206 - 0.00095*x381 = 0; } Constraint e75 { Definition: x207 - 0.0002274*x382 = 0; } Constraint e76 { Definition: x208 - 0.0003757*x383 = 0; } Constraint e77 { Definition: x209 - 0.0012485*x384 = 0; } Constraint e78 { Definition: x210 - 0.0002212*x385 = 0; } Constraint e79 { Definition: x211 - 0.00071*x386 = 0; } Constraint e80 { Definition: x212 - 0.0004299*x387 = 0; } Constraint e81 { Definition: x213 - 0.0008*x388 = 0; } Constraint e82 { Definition: x214 - 0.000425*x389 = 0; } Constraint e83 { Definition: x215 - 0.0005985*x390 = 0; } Constraint e84 { Definition: x216 - 0.002466*x391 = 0; } Constraint e85 { Definition: x217 - 0.00029*x392 = 0; } Constraint e86 { Definition: x218 - 0.00099*x393 = 0; } Constraint e87 { Definition: x219 - 0.003000999*x394 = 0; } Constraint e88 { Definition: x220 - 0.0004177*x395 = 0; } Constraint e89 { Definition: x221 - 0.00058*x396 = 0; } Constraint e90 { Definition: x222 - 0.00037*x397 = 0; } Constraint e91 { Definition: x223 - 0.00047*x398 = 0; } Constraint e92 { Definition: x224 - 0.0003684725*x399 = 0; } Constraint e93 { Definition: x225 - 0.0004810241*x400 = 0; } Constraint e94 { Definition: x226 - 0.0005064822*x401 = 0; } Constraint e95 { Definition: x227 - 0.0951329*x402 = 0; } Constraint e96 { Definition: x228 - 0.1284964*x403 = 0; } Constraint e97 { Definition: x229 - 0.0003905808*x404 = 0; } Constraint e98 { Definition: x230 - 0.0001815564*x405 = 0; } Constraint e99 { Definition: x231 - 0.0001634678*x406 = 0; } Constraint e100 { Definition: x232 - 0.000656551*x407 = 0; } Constraint e101 { Definition: x233 - 0.0002612805*x408 = 0; } Constraint e102 { Definition: x234 - 0.000428768*x409 = 0; } Constraint e103 { Definition: x235 - 0.0002237633*x410 = 0; } Constraint e104 { Definition: x236 - 0.0001192511*x411 = 0; } Constraint e105 { Definition: x237 - 0.000428768*x412 = 0; } Constraint e106 { Definition: x238 - 0.0002552*x413 = 0; } Constraint e107 { Definition: x239 - 0.000165*x414 = 0; } Constraint e108 { Definition: x240 - 0.000255*x415 = 0; } Constraint e109 { Definition: x241 - 0.000178*x416 = 0; } Constraint e110 { Definition: x242 - 0.000335*x417 = 0; } Constraint e111 { Definition: x243 - 6.15E-5*x418 = 0; } Constraint e112 { Definition: x244 - 9.5E-5*x419 = 0; } Constraint e113 { Definition: x245 - 0.000755*x420 = 0; } Constraint e114 { Definition: x246 - 0.00024*x421 = 0; } Constraint e115 { Definition: x247 - 0.0002525*x422 = 0; } Constraint e116 { Definition: x248 - 0.000373*x423 = 0; } Constraint e117 { Definition: x249 - 9.6E-5*x424 = 0; } Constraint e118 { Definition: x250 - 0.000243*x425 = 0; } Constraint e119 { Definition: x251 - 0.0002325*x426 = 0; } Constraint e120 { Definition: x252 - 1.54E-5*x427 = 0; } Constraint e121 { Definition: x253 - 4.5E-5*x428 = 0; } Constraint e122 { Definition: x254 - 0.000118*x429 = 0; } Constraint e123 { Definition: x255 - 0.0001012343*x430 = 0; } Constraint e124 { Definition: x256 - 0.0001133*x431 = 0; } Constraint e125 { Definition: x257 - 0.0001101*x432 = 0; } Constraint e126 { Definition: x258 - 0.000347*x433 = 0; } Constraint e127 { Definition: x259 - 0.0003535*x434 = 0; } Constraint e128 { Definition: x260 - 0.000114*x435 = 0; } Constraint e129 { Definition: x261 - 0.000124*x436 = 0; } Constraint e130 { Definition: x262 - 0.0001898*x437 = 0; } Constraint e131 { Definition: x263 - 0.000101*x438 = 0; } Constraint e132 { Definition: x264 - 2.59E-5*x439 = 0; } Constraint e133 { Definition: x265 - 2.53E-5*x440 = 0; } Constraint e134 { Definition: x266 - 0.000124*x441 = 0; } Constraint e135 { Definition: x267 - 9.5E-5*x442 = 0; } Constraint e136 { Definition: x268 - 0.0001254*x443 = 0; } Constraint e137 { Definition: x269 - 5.91E-5*x444 = 0; } Constraint e138 { Definition: x270 - 2.1E-5*x445 = 0; } Constraint e139 { Definition: x271 - 1.18E-5*x446 = 0; } Constraint e140 { Definition: x272 - 0.000227*x447 = 0; } Constraint e141 { Definition: x273 - 0.000376*x448 = 0; } Constraint e142 { Definition: x274 - 0.00035*x449 = 0; } Constraint e143 { Definition: x275 - 0.0004695*x450 = 0; } Constraint e144 { Definition: x276 - 0.0001869*x451 = 0; } Constraint e145 { Definition: x277 - 0.0001543*x452 = 0; } Constraint e146 { Definition: x278 - 5.48E-5*x453 = 0; } Constraint e147 { Definition: x279 - 0.0002255*x454 = 0; } Constraint e148 { Definition: x280 - 0.0004676*x455 = 0; } Constraint e149 { Definition: x281 - 0.00052*x456 = 0; } Constraint e150 { Definition: x282 - 0.00038485*x457 = 0; } Constraint e151 { Definition: x283 - 0.0002185*x458 = 0; } Constraint e152 { Definition: x284 - 0.0001344388*x459 = 0; } Constraint e153 { Definition: x285 - 0.000132*x460 = 0; } Constraint e154 { Definition: x286 - 0.0002765*x461 = 0; } Constraint e155 { Definition: x287 - 0.0003311*x462 = 0; } Constraint e156 { Definition: x288 - 0.000674*x463 = 0; } Constraint e157 { Definition: x289 - 0.0002655*x464 = 0; } Constraint e158 { Definition: x290 - 0.000638*x465 = 0; } Constraint e159 { Definition: x291 - 0.000115*x466 = 0; } Constraint e160 { Definition: x292 - 0.0003118*x467 = 0; } Constraint e161 { Definition: x293 - 0.0002178333*x468 = 0; } Constraint e162 { Definition: x294 - 0.0002042187*x469 = 0; } Constraint e163 { Definition: x295 - 4.950757E-5*x470 = 0; } Constraint e164 { Definition: x296 - 0.0002153579*x471 = 0; } Constraint e165 { Definition: x297 - 6.188446E-5*x472 = 0; } Constraint e166 { Definition: x298 - 3.960605E-5*x473 = 0; } Constraint e167 { Definition: x299 - 6.886134E-5*x474 = 0; } Constraint e168 { Definition: x300 - 2.933323E-5*x475 = 0; } Constraint e169 { Definition: x301 - 0.0004913626*x476 = 0; } Constraint e170 { Definition: x302 - 0.000183178*x477 = 0; } Constraint e171 { Definition: x303 - 0.0001807026*x478 = 0; } Constraint e172 { Definition: x304 - 0.0002073129*x479 = 0; } Constraint e173 { Definition: x305 - 0.0001169616*x480 = 0; } Constraint e174 { Definition: x306 - 0.0001126297*x481 = 0; } Constraint e175 { Definition: x307 - 0.0001336704*x482 = 0; } Constraint e176 { Definition: x308 - 0.0001237689*x483 = 0; } Constraint e177 { Definition: x309 - 0.0001070601*x484 = 0; } Constraint e178 { Definition: x310 - 7.240481E-5*x485 = 0; } Constraint e179 { Definition: x311 - 0.0001782272*x486 = 0; } Constraint e180 { Definition: x312 - 0.0002492929*x487 = 0; } Constraint e181 { Definition: x313 - 0.0002416055*x488 = 0; } Constraint e182 { Definition: x314 - 0.0001175081*x489 = 0; } Constraint e183 { Definition: x315 - 0.000186146*x490 = 0; } Constraint e184 { Definition: x316 - 7.248164E-5*x491 = 0; } Constraint e185 { Definition: x317 - 0.0001757131*x492 = 0; } Constraint e186 { Definition: x318 - 0.0001899897*x493 = 0; } Constraint e187 { Definition: x319 - 0.0004392826*x494 = 0; } Constraint e188 { Definition: x320 - 0.0002157976*x495 = 0; } Constraint e189 { Definition: x321 - 0.0002613732*x496 = 0; } Constraint e190 { Definition: x322 - 0.0002427037*x497 = 0; } Constraint e191 { Definition: x323 - 0.0002190922*x498 = 0; } Constraint e192 { Definition: x324 - 0.0001043296*x499 = 0; } Constraint e193 { Definition: x325 - 0.00012245*x500 = 0; } Constraint e194 { Definition: x326 - 0.0001098207*x501 = 0; } Constraint e195 { Definition: x327 - 0.0001823023*x502 = 0; } Constraint e196 { Definition: x328 - 0.0002004227*x503 = 0; } Constraint e197 { Definition: x329 - 0.0001043296*x504 = 0; } Constraint e198 { Definition: x330 - 9.99368E-5*x505 = 0; } Constraint e199 { Definition: x331 - 0.0001680256*x506 = 0; } Constraint e200 { Definition: x332 - 0.0001636328*x507 = 0; } Constraint e201 { Definition: x333 - 4.930948E-5*x508 = 0; } Constraint e202 { Definition: x334 - 8.40128E-5*x509 = 0; } Constraint e203 { Definition: x335 - 0.0001839496*x510 = 0; } Constraint e204 { Definition: x336 - 0.0001894406*x511 = 0; } Constraint e205 { Definition: x337 - 4.73327E-5*x512 = 0; } Constraint e206 { Definition: x338 - 1.175298E-5*x513 = 0; } Constraint e207 { Definition: x339 - 0.000294778*x514 = 0; } Constraint e208 { Definition: x340 - 7.632536E-5*x515 = 0; } Constraint e209 { Definition: x341 - 7.577626E-5*x516 = 0; } Constraint e210 { Definition: x342 - 0.0002287195*x517 = 0; } Constraint e211 { Definition: x343 - 0.000298*x518 = 0; } Constraint e212 { Definition: x344 - 0.0003644528*x519 = 0; } Constraint e213 { Definition: x345 - 0.0005265807*x520 = 0; } Constraint e214 { Definition: x346 - 0.001313102*x521 = 0; } Constraint e215 { Definition: x347 - 0.0003282755*x522 = 0; } Constraint e216 { Definition: x348 - 6.808881E-5*x523 = 0; } Constraint e217 { Definition: x349 - 7.742357E-5*x524 = 0; } Constraint e218 { Definition: x350 - 0.00198*x525 = 0; } Constraint e219 { Definition: x351 - 0.0002264431*x526 = 0; } Constraint e220 { Definition: x352 - 0.0003*x527 = 0; } Constraint e221 { Definition: x353 - 0.0001960299*x528 = 0; } Constraint e222 { Definition: x354 - 0.0005775*x529 = 0; } Constraint e223 { Definition: x355 - 0.00016*x530 = 0; } Constraint e224 { Definition: x356 - 0.000201*x531 = 0; } Constraint e225 { Definition: x357 - 0.000203*x532 = 0; } Constraint e226 { Definition: x358 - 4.02249E-5*x533 = 0; } Constraint e227 { Definition: x359 - 4.8E-5*x534 = 0; } Constraint e228 { Definition: x360 - 0.0001938*x535 = 0; } Constraint e229 { Definition: x361 - 0.0001929456*x536 = 0; } Constraint e230 { Definition: x362 - 0.000334953*x537 = 0; } Constraint e231 { Definition: x363 - 0.000222784*x538 = 0; } Constraint e232 { Definition: x364 - 0.0009703483*x539 = 0; } Constraint e233 { Definition: x365 - 6.931059E-5*x540 = 0; } Constraint e234 { Definition: x366 - 4.78E-5*x541 = 0; } Constraint e235 { Definition: x367 - 0.00048*x542 = 0; } Constraint e236 { Definition: x368 - 5.15E-5*x543 = 0; } Constraint e237 { Definition: x369 - 6.59E-5*x544 = 0; } Constraint e238 { Definition: x370 - 5.284933E-5*x545 = 0; } Constraint e239 { Definition: x371 - 0.0006142*x546 = 0; } Constraint e240 { Definition: - b1 + x197 <= 0; } Constraint e241 { Definition: - b2 + x198 <= 0; } Constraint e242 { Definition: - b3 + x199 <= 0; } Constraint e243 { Definition: - b4 + x200 <= 0; } Constraint e244 { Definition: - b5 + x201 <= 0; } Constraint e245 { Definition: - b6 + x202 <= 0; } Constraint e246 { Definition: - b7 + x203 <= 0; } Constraint e247 { Definition: - b8 + x204 <= 0; } Constraint e248 { Definition: - b9 + x205 <= 0; } Constraint e249 { Definition: - b10 + x206 <= 0; } Constraint e250 { Definition: - b11 + x207 <= 0; } Constraint e251 { Definition: - b12 + x208 <= 0; } Constraint e252 { Definition: - b13 + x209 <= 0; } Constraint e253 { Definition: - b14 + x210 <= 0; } Constraint e254 { Definition: - b15 + x211 <= 0; } Constraint e255 { Definition: - b16 + x212 <= 0; } Constraint e256 { Definition: - b17 + x213 <= 0; } Constraint e257 { Definition: - b18 + x214 <= 0; } Constraint e258 { Definition: - b19 + x215 <= 0; } Constraint e259 { Definition: - b20 + x216 <= 0; } Constraint e260 { Definition: - b21 + x217 <= 0; } Constraint e261 { Definition: - b22 + x218 <= 0; } Constraint e262 { Definition: - b23 + x219 <= 0; } Constraint e263 { Definition: - b24 + x220 <= 0; } Constraint e264 { Definition: - b25 + x221 <= 0; } Constraint e265 { Definition: - b26 + x222 <= 0; } Constraint e266 { Definition: - b27 + x223 <= 0; } Constraint e267 { Definition: - b28 + x224 <= 0; } Constraint e268 { Definition: - b29 + x225 <= 0; } Constraint e269 { Definition: - b30 + x226 <= 0; } Constraint e270 { Definition: - b31 + x227 <= 0; } Constraint e271 { Definition: - b32 + x228 <= 0; } Constraint e272 { Definition: - b33 + x229 <= 0; } Constraint e273 { Definition: - b34 + x230 <= 0; } Constraint e274 { Definition: - b35 + x231 <= 0; } Constraint e275 { Definition: - b36 + x232 <= 0; } Constraint e276 { Definition: - b37 + x233 <= 0; } Constraint e277 { Definition: - b38 + x234 <= 0; } Constraint e278 { Definition: - b39 + x235 <= 0; } Constraint e279 { Definition: - b40 + x236 <= 0; } Constraint e280 { Definition: - b41 + x237 <= 0; } Constraint e281 { Definition: - b42 + x238 <= 0; } Constraint e282 { Definition: - b43 + x239 <= 0; } Constraint e283 { Definition: - b44 + x240 <= 0; } Constraint e284 { Definition: - b45 + x241 <= 0; } Constraint e285 { Definition: - b46 + x242 <= 0; } Constraint e286 { Definition: - b47 + x243 <= 0; } Constraint e287 { Definition: - b48 + x244 <= 0; } Constraint e288 { Definition: - b49 + x245 <= 0; } Constraint e289 { Definition: - b50 + x246 <= 0; } Constraint e290 { Definition: - b51 + x247 <= 0; } Constraint e291 { Definition: - b52 + x248 <= 0; } Constraint e292 { Definition: - b53 + x249 <= 0; } Constraint e293 { Definition: - b54 + x250 <= 0; } Constraint e294 { Definition: - b55 + x251 <= 0; } Constraint e295 { Definition: - b56 + x252 <= 0; } Constraint e296 { Definition: - b57 + x253 <= 0; } Constraint e297 { Definition: - b58 + x254 <= 0; } Constraint e298 { Definition: - b59 + x255 <= 0; } Constraint e299 { Definition: - b60 + x256 <= 0; } Constraint e300 { Definition: - b61 + x257 <= 0; } Constraint e301 { Definition: - b62 + x258 <= 0; } Constraint e302 { Definition: - b63 + x259 <= 0; } Constraint e303 { Definition: - b64 + x260 <= 0; } Constraint e304 { Definition: - b65 + x261 <= 0; } Constraint e305 { Definition: - b66 + x262 <= 0; } Constraint e306 { Definition: - b67 + x263 <= 0; } Constraint e307 { Definition: - b68 + x264 <= 0; } Constraint e308 { Definition: - b69 + x265 <= 0; } Constraint e309 { Definition: - b70 + x266 <= 0; } Constraint e310 { Definition: - b71 + x267 <= 0; } Constraint e311 { Definition: - b72 + x268 <= 0; } Constraint e312 { Definition: - b73 + x269 <= 0; } Constraint e313 { Definition: - b74 + x270 <= 0; } Constraint e314 { Definition: - b75 + x271 <= 0; } Constraint e315 { Definition: - b76 + x272 <= 0; } Constraint e316 { Definition: - b77 + x273 <= 0; } Constraint e317 { Definition: - b78 + x274 <= 0; } Constraint e318 { Definition: - b79 + x275 <= 0; } Constraint e319 { Definition: - b80 + x276 <= 0; } Constraint e320 { Definition: - b81 + x277 <= 0; } Constraint e321 { Definition: - b82 + x278 <= 0; } Constraint e322 { Definition: - b83 + x279 <= 0; } Constraint e323 { Definition: - b84 + x280 <= 0; } Constraint e324 { Definition: - b85 + x281 <= 0; } Constraint e325 { Definition: - b86 + x282 <= 0; } Constraint e326 { Definition: - b87 + x283 <= 0; } Constraint e327 { Definition: - b88 + x284 <= 0; } Constraint e328 { Definition: - b89 + x285 <= 0; } Constraint e329 { Definition: - b90 + x286 <= 0; } Constraint e330 { Definition: - b91 + x287 <= 0; } Constraint e331 { Definition: - b92 + x288 <= 0; } Constraint e332 { Definition: - b93 + x289 <= 0; } Constraint e333 { Definition: - b94 + x290 <= 0; } Constraint e334 { Definition: - b95 + x291 <= 0; } Constraint e335 { Definition: - b96 + x292 <= 0; } Constraint e336 { Definition: - b97 + x293 <= 0; } Constraint e337 { Definition: - b98 + x294 <= 0; } Constraint e338 { Definition: - b99 + x295 <= 0; } Constraint e339 { Definition: - b100 + x296 <= 0; } Constraint e340 { Definition: - b101 + x297 <= 0; } Constraint e341 { Definition: - b102 + x298 <= 0; } Constraint e342 { Definition: - b103 + x299 <= 0; } Constraint e343 { Definition: - b104 + x300 <= 0; } Constraint e344 { Definition: - b105 + x301 <= 0; } Constraint e345 { Definition: - b106 + x302 <= 0; } Constraint e346 { Definition: - b107 + x303 <= 0; } Constraint e347 { Definition: - b108 + x304 <= 0; } Constraint e348 { Definition: - b109 + x305 <= 0; } Constraint e349 { Definition: - b110 + x306 <= 0; } Constraint e350 { Definition: - b111 + x307 <= 0; } Constraint e351 { Definition: - b112 + x308 <= 0; } Constraint e352 { Definition: - b113 + x309 <= 0; } Constraint e353 { Definition: - b114 + x310 <= 0; } Constraint e354 { Definition: - b115 + x311 <= 0; } Constraint e355 { Definition: - b116 + x312 <= 0; } Constraint e356 { Definition: - b117 + x313 <= 0; } Constraint e357 { Definition: - b118 + x314 <= 0; } Constraint e358 { Definition: - b119 + x315 <= 0; } Constraint e359 { Definition: - b120 + x316 <= 0; } Constraint e360 { Definition: - b121 + x317 <= 0; } Constraint e361 { Definition: - b122 + x318 <= 0; } Constraint e362 { Definition: - b123 + x319 <= 0; } Constraint e363 { Definition: - b124 + x320 <= 0; } Constraint e364 { Definition: - b125 + x321 <= 0; } Constraint e365 { Definition: - b126 + x322 <= 0; } Constraint e366 { Definition: - b127 + x323 <= 0; } Constraint e367 { Definition: - b128 + x324 <= 0; } Constraint e368 { Definition: - b129 + x325 <= 0; } Constraint e369 { Definition: - b130 + x326 <= 0; } Constraint e370 { Definition: - b131 + x327 <= 0; } Constraint e371 { Definition: - b132 + x328 <= 0; } Constraint e372 { Definition: - b133 + x329 <= 0; } Constraint e373 { Definition: - b134 + x330 <= 0; } Constraint e374 { Definition: - b135 + x331 <= 0; } Constraint e375 { Definition: - b136 + x332 <= 0; } Constraint e376 { Definition: - b137 + x333 <= 0; } Constraint e377 { Definition: - b138 + x334 <= 0; } Constraint e378 { Definition: - b139 + x335 <= 0; } Constraint e379 { Definition: - b140 + x336 <= 0; } Constraint e380 { Definition: - b141 + x337 <= 0; } Constraint e381 { Definition: - b142 + x338 <= 0; } Constraint e382 { Definition: - b143 + x339 <= 0; } Constraint e383 { Definition: - b144 + x340 <= 0; } Constraint e384 { Definition: - b145 + x341 <= 0; } Constraint e385 { Definition: - b146 + x342 <= 0; } Constraint e386 { Definition: - b147 + x343 <= 0; } Constraint e387 { Definition: - b148 + x344 <= 0; } Constraint e388 { Definition: - b149 + x345 <= 0; } Constraint e389 { Definition: - b150 + x346 <= 0; } Constraint e390 { Definition: - b151 + x347 <= 0; } Constraint e391 { Definition: - b152 + x348 <= 0; } Constraint e392 { Definition: - b153 + x349 <= 0; } Constraint e393 { Definition: - b154 + x350 <= 0; } Constraint e394 { Definition: - b155 + x351 <= 0; } Constraint e395 { Definition: - b156 + x352 <= 0; } Constraint e396 { Definition: - b157 + x353 <= 0; } Constraint e397 { Definition: - b158 + x354 <= 0; } Constraint e398 { Definition: - b159 + x355 <= 0; } Constraint e399 { Definition: - b160 + x356 <= 0; } Constraint e400 { Definition: - b161 + x357 <= 0; } Constraint e401 { Definition: - b162 + x358 <= 0; } Constraint e402 { Definition: - b163 + x359 <= 0; } Constraint e403 { Definition: - b164 + x360 <= 0; } Constraint e404 { Definition: - b165 + x361 <= 0; } Constraint e405 { Definition: - b166 + x362 <= 0; } Constraint e406 { Definition: - b167 + x363 <= 0; } Constraint e407 { Definition: - b168 + x364 <= 0; } Constraint e408 { Definition: - b169 + x365 <= 0; } Constraint e409 { Definition: - b170 + x366 <= 0; } Constraint e410 { Definition: - b171 + x367 <= 0; } Constraint e411 { Definition: - b172 + x368 <= 0; } Constraint e412 { Definition: - b173 + x369 <= 0; } Constraint e413 { Definition: - b174 + x370 <= 0; } Constraint e414 { Definition: - b175 + x371 <= 0; } Constraint e415 { Definition: - 0.0001*b1 + x197 >= 0; } Constraint e416 { Definition: - 0.0001*b2 + x198 >= 0; } Constraint e417 { Definition: - 0.0001*b3 + x199 >= 0; } Constraint e418 { Definition: - 0.0001*b4 + x200 >= 0; } Constraint e419 { Definition: - 0.0001*b5 + x201 >= 0; } Constraint e420 { Definition: - 0.0001*b6 + x202 >= 0; } Constraint e421 { Definition: - 0.0001*b7 + x203 >= 0; } Constraint e422 { Definition: - 0.0001*b8 + x204 >= 0; } Constraint e423 { Definition: - 0.0001*b9 + x205 >= 0; } Constraint e424 { Definition: - 0.0001*b10 + x206 >= 0; } Constraint e425 { Definition: - 0.0001*b11 + x207 >= 0; } Constraint e426 { Definition: - 0.0001*b12 + x208 >= 0; } Constraint e427 { Definition: - 0.0001*b13 + x209 >= 0; } Constraint e428 { Definition: - 0.0001*b14 + x210 >= 0; } Constraint e429 { Definition: - 0.0001*b15 + x211 >= 0; } Constraint e430 { Definition: - 0.0001*b16 + x212 >= 0; } Constraint e431 { Definition: - 0.0001*b17 + x213 >= 0; } Constraint e432 { Definition: - 0.0001*b18 + x214 >= 0; } Constraint e433 { Definition: - 0.0001*b19 + x215 >= 0; } Constraint e434 { Definition: - 0.0001*b20 + x216 >= 0; } Constraint e435 { Definition: - 0.0001*b21 + x217 >= 0; } Constraint e436 { Definition: - 0.0001*b22 + x218 >= 0; } Constraint e437 { Definition: - 0.0001*b23 + x219 >= 0; } Constraint e438 { Definition: - 0.0001*b24 + x220 >= 0; } Constraint e439 { Definition: - 0.0001*b25 + x221 >= 0; } Constraint e440 { Definition: - 0.0001*b26 + x222 >= 0; } Constraint e441 { Definition: - 0.0001*b27 + x223 >= 0; } Constraint e442 { Definition: - 0.0001*b28 + x224 >= 0; } Constraint e443 { Definition: - 0.0001*b29 + x225 >= 0; } Constraint e444 { Definition: - 0.0001*b30 + x226 >= 0; } Constraint e445 { Definition: - 0.0001*b31 + x227 >= 0; } Constraint e446 { Definition: - 0.0001*b32 + x228 >= 0; } Constraint e447 { Definition: - 0.0001*b33 + x229 >= 0; } Constraint e448 { Definition: - 0.0001*b34 + x230 >= 0; } Constraint e449 { Definition: - 0.0001*b35 + x231 >= 0; } Constraint e450 { Definition: - 0.0001*b36 + x232 >= 0; } Constraint e451 { Definition: - 0.0001*b37 + x233 >= 0; } Constraint e452 { Definition: - 0.0001*b38 + x234 >= 0; } Constraint e453 { Definition: - 0.0001*b39 + x235 >= 0; } Constraint e454 { Definition: - 0.0001*b40 + x236 >= 0; } Constraint e455 { Definition: - 0.0001*b41 + x237 >= 0; } Constraint e456 { Definition: - 0.0001*b42 + x238 >= 0; } Constraint e457 { Definition: - 0.0001*b43 + x239 >= 0; } Constraint e458 { Definition: - 0.0001*b44 + x240 >= 0; } Constraint e459 { Definition: - 0.0001*b45 + x241 >= 0; } Constraint e460 { Definition: - 0.0001*b46 + x242 >= 0; } Constraint e461 { Definition: - 0.0001*b47 + x243 >= 0; } Constraint e462 { Definition: - 0.0001*b48 + x244 >= 0; } Constraint e463 { Definition: - 0.0001*b49 + x245 >= 0; } Constraint e464 { Definition: - 0.0001*b50 + x246 >= 0; } Constraint e465 { Definition: - 0.0001*b51 + x247 >= 0; } Constraint e466 { Definition: - 0.0001*b52 + x248 >= 0; } Constraint e467 { Definition: - 0.0001*b53 + x249 >= 0; } Constraint e468 { Definition: - 0.0001*b54 + x250 >= 0; } Constraint e469 { Definition: - 0.0001*b55 + x251 >= 0; } Constraint e470 { Definition: - 0.0001*b56 + x252 >= 0; } Constraint e471 { Definition: - 0.0001*b57 + x253 >= 0; } Constraint e472 { Definition: - 0.0001*b58 + x254 >= 0; } Constraint e473 { Definition: - 0.0001*b59 + x255 >= 0; } Constraint e474 { Definition: - 0.0001*b60 + x256 >= 0; } Constraint e475 { Definition: - 0.0001*b61 + x257 >= 0; } Constraint e476 { Definition: - 0.0001*b62 + x258 >= 0; } Constraint e477 { Definition: - 0.0001*b63 + x259 >= 0; } Constraint e478 { Definition: - 0.0001*b64 + x260 >= 0; } Constraint e479 { Definition: - 0.0001*b65 + x261 >= 0; } Constraint e480 { Definition: - 0.0001*b66 + x262 >= 0; } Constraint e481 { Definition: - 0.0001*b67 + x263 >= 0; } Constraint e482 { Definition: - 0.0001*b68 + x264 >= 0; } Constraint e483 { Definition: - 0.0001*b69 + x265 >= 0; } Constraint e484 { Definition: - 0.0001*b70 + x266 >= 0; } Constraint e485 { Definition: - 0.0001*b71 + x267 >= 0; } Constraint e486 { Definition: - 0.0001*b72 + x268 >= 0; } Constraint e487 { Definition: - 0.0001*b73 + x269 >= 0; } Constraint e488 { Definition: - 0.0001*b74 + x270 >= 0; } Constraint e489 { Definition: - 0.0001*b75 + x271 >= 0; } Constraint e490 { Definition: - 0.0001*b76 + x272 >= 0; } Constraint e491 { Definition: - 0.0001*b77 + x273 >= 0; } Constraint e492 { Definition: - 0.0001*b78 + x274 >= 0; } Constraint e493 { Definition: - 0.0001*b79 + x275 >= 0; } Constraint e494 { Definition: - 0.0001*b80 + x276 >= 0; } Constraint e495 { Definition: - 0.0001*b81 + x277 >= 0; } Constraint e496 { Definition: - 0.0001*b82 + x278 >= 0; } Constraint e497 { Definition: - 0.0001*b83 + x279 >= 0; } Constraint e498 { Definition: - 0.0001*b84 + x280 >= 0; } Constraint e499 { Definition: - 0.0001*b85 + x281 >= 0; } Constraint e500 { Definition: - 0.0001*b86 + x282 >= 0; } Constraint e501 { Definition: - 0.0001*b87 + x283 >= 0; } Constraint e502 { Definition: - 0.0001*b88 + x284 >= 0; } Constraint e503 { Definition: - 0.0001*b89 + x285 >= 0; } Constraint e504 { Definition: - 0.0001*b90 + x286 >= 0; } Constraint e505 { Definition: - 0.0001*b91 + x287 >= 0; } Constraint e506 { Definition: - 0.0001*b92 + x288 >= 0; } Constraint e507 { Definition: - 0.0001*b93 + x289 >= 0; } Constraint e508 { Definition: - 0.0001*b94 + x290 >= 0; } Constraint e509 { Definition: - 0.0001*b95 + x291 >= 0; } Constraint e510 { Definition: - 0.0001*b96 + x292 >= 0; } Constraint e511 { Definition: - 0.0001*b97 + x293 >= 0; } Constraint e512 { Definition: - 0.0001*b98 + x294 >= 0; } Constraint e513 { Definition: - 0.0001*b99 + x295 >= 0; } Constraint e514 { Definition: - 0.0001*b100 + x296 >= 0; } Constraint e515 { Definition: - 0.0001*b101 + x297 >= 0; } Constraint e516 { Definition: - 0.0001*b102 + x298 >= 0; } Constraint e517 { Definition: - 0.0001*b103 + x299 >= 0; } Constraint e518 { Definition: - 0.0001*b104 + x300 >= 0; } Constraint e519 { Definition: - 0.0001*b105 + x301 >= 0; } Constraint e520 { Definition: - 0.0001*b106 + x302 >= 0; } Constraint e521 { Definition: - 0.0001*b107 + x303 >= 0; } Constraint e522 { Definition: - 0.0001*b108 + x304 >= 0; } Constraint e523 { Definition: - 0.0001*b109 + x305 >= 0; } Constraint e524 { Definition: - 0.0001*b110 + x306 >= 0; } Constraint e525 { Definition: - 0.0001*b111 + x307 >= 0; } Constraint e526 { Definition: - 0.0001*b112 + x308 >= 0; } Constraint e527 { Definition: - 0.0001*b113 + x309 >= 0; } Constraint e528 { Definition: - 0.0001*b114 + x310 >= 0; } Constraint e529 { Definition: - 0.0001*b115 + x311 >= 0; } Constraint e530 { Definition: - 0.0001*b116 + x312 >= 0; } Constraint e531 { Definition: - 0.0001*b117 + x313 >= 0; } Constraint e532 { Definition: - 0.0001*b118 + x314 >= 0; } Constraint e533 { Definition: - 0.0001*b119 + x315 >= 0; } Constraint e534 { Definition: - 0.0001*b120 + x316 >= 0; } Constraint e535 { Definition: - 0.0001*b121 + x317 >= 0; } Constraint e536 { Definition: - 0.0001*b122 + x318 >= 0; } Constraint e537 { Definition: - 0.0001*b123 + x319 >= 0; } Constraint e538 { Definition: - 0.0001*b124 + x320 >= 0; } Constraint e539 { Definition: - 0.0001*b125 + x321 >= 0; } Constraint e540 { Definition: - 0.0001*b126 + x322 >= 0; } Constraint e541 { Definition: - 0.0001*b127 + x323 >= 0; } Constraint e542 { Definition: - 0.0001*b128 + x324 >= 0; } Constraint e543 { Definition: - 0.0001*b129 + x325 >= 0; } Constraint e544 { Definition: - 0.0001*b130 + x326 >= 0; } Constraint e545 { Definition: - 0.0001*b131 + x327 >= 0; } Constraint e546 { Definition: - 0.0001*b132 + x328 >= 0; } Constraint e547 { Definition: - 0.0001*b133 + x329 >= 0; } Constraint e548 { Definition: - 0.0001*b134 + x330 >= 0; } Constraint e549 { Definition: - 0.0001*b135 + x331 >= 0; } Constraint e550 { Definition: - 0.0001*b136 + x332 >= 0; } Constraint e551 { Definition: - 0.0001*b137 + x333 >= 0; } Constraint e552 { Definition: - 0.0001*b138 + x334 >= 0; } Constraint e553 { Definition: - 0.0001*b139 + x335 >= 0; } Constraint e554 { Definition: - 0.0001*b140 + x336 >= 0; } Constraint e555 { Definition: - 0.0001*b141 + x337 >= 0; } Constraint e556 { Definition: - 0.0001*b142 + x338 >= 0; } Constraint e557 { Definition: - 0.0001*b143 + x339 >= 0; } Constraint e558 { Definition: - 0.0001*b144 + x340 >= 0; } Constraint e559 { Definition: - 0.0001*b145 + x341 >= 0; } Constraint e560 { Definition: - 0.0001*b146 + x342 >= 0; } Constraint e561 { Definition: - 0.0001*b147 + x343 >= 0; } Constraint e562 { Definition: - 0.0001*b148 + x344 >= 0; } Constraint e563 { Definition: - 0.0001*b149 + x345 >= 0; } Constraint e564 { Definition: - 0.0001*b150 + x346 >= 0; } Constraint e565 { Definition: - 0.0001*b151 + x347 >= 0; } Constraint e566 { Definition: - 0.0001*b152 + x348 >= 0; } Constraint e567 { Definition: - 0.0001*b153 + x349 >= 0; } Constraint e568 { Definition: - 0.0001*b154 + x350 >= 0; } Constraint e569 { Definition: - 0.0001*b155 + x351 >= 0; } Constraint e570 { Definition: - 0.0001*b156 + x352 >= 0; } Constraint e571 { Definition: - 0.0001*b157 + x353 >= 0; } Constraint e572 { Definition: - 0.0001*b158 + x354 >= 0; } Constraint e573 { Definition: - 0.0001*b159 + x355 >= 0; } Constraint e574 { Definition: - 0.0001*b160 + x356 >= 0; } Constraint e575 { Definition: - 0.0001*b161 + x357 >= 0; } Constraint e576 { Definition: - 0.0001*b162 + x358 >= 0; } Constraint e577 { Definition: - 0.0001*b163 + x359 >= 0; } Constraint e578 { Definition: - 0.0001*b164 + x360 >= 0; } Constraint e579 { Definition: - 0.0001*b165 + x361 >= 0; } Constraint e580 { Definition: - 0.0001*b166 + x362 >= 0; } Constraint e581 { Definition: - 0.0001*b167 + x363 >= 0; } Constraint e582 { Definition: - 0.0001*b168 + x364 >= 0; } Constraint e583 { Definition: - 0.0001*b169 + x365 >= 0; } Constraint e584 { Definition: - 0.0001*b170 + x366 >= 0; } Constraint e585 { Definition: - 0.0001*b171 + x367 >= 0; } Constraint e586 { Definition: - 0.0001*b172 + x368 >= 0; } Constraint e587 { Definition: - 0.0001*b173 + x369 >= 0; } Constraint e588 { Definition: - 0.0001*b174 + x370 >= 0; } Constraint e589 { Definition: - 0.0001*b175 + x371 >= 0; } Constraint e590 { 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 + 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 + 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 + 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 + 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 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 <= 70 } } Constraint e591 { Definition: { x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 >= 0.007536 } } Constraint e592 { Definition: { x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 >= 0.0340025 } } Constraint e593 { Definition: { x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 >= 0.0341165 } } Constraint e594 { Definition: { x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 >= 0.0867555 } } Constraint e595 { Definition: { x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 >= 0.0250255 } } Constraint e596 { Definition: { x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 >= 0.208974 } } Constraint e597 { Definition: { x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 >= 0.017629 } } Constraint e598 { Definition: { x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 >= 0.085961 } } Constraint e599 { Definition: { x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 >= 0.0341165 } } Constraint e600 { Definition: { x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 >= 0.3622935 } } Constraint e601 { Definition: { x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 >= 0.017629 } } Constraint e602 { Definition: { x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 >= 0.085961 } } Constraint e603 { Definition: x206 + x290 + x308 + x327 + x330 + x331 >= 0.0603625; } Constraint e604 { Definition: { x200 + x204 + x205 + x207 + x222 + x224 + x249 + x252 + x260 + x270 + x276 + x280 + x286 + x295 + x318 + x324 + x325 + x344 + x349 + x356 + x357 + x367 >= 0.023793 } } Constraint e605 { Definition: { x198 + x201 + x202 + x208 + x210 + x214 + x215 + x220 + x233 + x234 + x237 + x238 + x239 + x242 + x246 + x247 + x253 + x259 + x266 + x267 + x272 + x273 + x274 + x287 + x296 + x301 + x303 + x306 + x309 + x311 + x315 + x316 + x321 + x323 + x328 + x333 + x335 + x339 + x340 + x348 + x350 + x353 + x354 + x355 + x361 + x362 + x363 + x370 >= 0.053766 } } Constraint e606 { Definition: { x225 + x227 + x230 + x241 + x255 + x257 + x261 + x265 + x283 + x284 + x297 + x299 + x307 + x312 + x314 + x329 + x342 + x345 + x371 >= 0.040481 } } Constraint e607 { Definition: { x197 + x199 + x216 + x217 + x226 + x231 + x232 + x235 + x254 + x258 + x268 + x271 + x279 + x294 + x300 + x310 + x326 + x360 >= 0.0456355 } } Constraint e608 { Definition: { x223 + x240 + x245 + x263 + x269 + x288 + x289 + x365 + x366 >= 0.0190315 } } Constraint e609 { Definition: { x203 + x212 + x219 + x221 + x229 + x236 + x244 + x251 + x256 + x277 + x278 + x281 + x292 + x293 + x302 + x317 + x332 + x341 + x347 + x351 + x352 + x358 + x359 + x368 >= 0.1204385 } } Constraint e610 { Definition: { x213 + x228 + x248 + x250 + x264 + x275 + x285 + x291 + x298 + x305 + x313 + x322 + x334 + x336 + x337 + x343 + x364 >= 0.1039495 } } Constraint e611 { Definition: x211 + x243 + x262 + x282 + x304 + x338 + x346 + x369 >= 0.025355; } Constraint e612 { Definition: x209 + x218 + x319 + x320 >= 0.007188; } Constraint e613 { Definition: - 0.00084*b170 + x366 = 0; } Constraint e614 { Definition: - 0.00022*b169 + x365 = 0; } Constraint e615 { Definition: - 0.000932*b167 + x363 = 0; } Constraint e616 { Definition: - 0.000509*b164 + x360 = 0; } Constraint e617 { Definition: - 0.045996*b119 + x315 = 0; } Constraint e618 { Definition: - 0.007438*b58 + x254 = 0; } Constraint e619 { Definition: { - 12.38095238095*x176 - 12.38095238095*x177 - 12.38095238095*x178 - 12.38095238095*x179 - 12.38095238095*x180 - 12.38095238095*x181 - 12.38095238095*x182 - 12.38095238095*x183 - 12.38095238095*x184 - 12.38095238095*x185 - 12.38095238095*x186 - 12.38095238095*x187 - 12.38095238095*x188 - 12.38095238095*x189 - 12.38095238095*x190 - 12.38095238095*x191 - 12.38095238095*x192 - 12.38095238095*x193 - 12.38095238095*x194 - 12.38095238095*x195 - 12.38095238095*x196 + objvar = 0 } } Procedure MainInitialization { Body: { x197.upper := 1; x198.upper := 1; x199.upper := 1; x200.upper := 1; x201.upper := 1; x202.upper := 1; x203.upper := 1; x204.upper := 1; x205.upper := 1; x206.upper := 1; x207.upper := 1; x208.upper := 1; x209.upper := 1; x210.upper := 1; x211.upper := 1; x212.upper := 1; x213.upper := 1; x214.upper := 1; x215.upper := 1; x216.upper := 1; x217.upper := 1; x218.upper := 1; x219.upper := 1; x220.upper := 1; x221.upper := 1; x222.upper := 1; x223.upper := 1; x224.upper := 1; x225.upper := 1; x226.upper := 1; x227.upper := 1; x228.upper := 1; x229.upper := 1; x230.upper := 1; x231.upper := 1; x232.upper := 1; x233.upper := 1; x234.upper := 1; x235.upper := 1; x236.upper := 1; x237.upper := 1; x238.upper := 1; x239.upper := 1; x240.upper := 1; x241.upper := 1; x242.upper := 1; x243.upper := 1; x244.upper := 1; x245.upper := 1; x246.upper := 1; x247.upper := 1; x248.upper := 1; x249.upper := 1; x250.upper := 1; x251.upper := 1; x252.upper := 1; x253.upper := 1; x254.upper := 1; x255.upper := 1; x256.upper := 1; x257.upper := 1; x258.upper := 1; x259.upper := 1; x260.upper := 1; x261.upper := 1; x262.upper := 1; x263.upper := 1; x264.upper := 1; x265.upper := 1; x266.upper := 1; x267.upper := 1; x268.upper := 1; x269.upper := 1; x270.upper := 1; x271.upper := 1; x272.upper := 1; x273.upper := 1; x274.upper := 1; x275.upper := 1; x276.upper := 1; x277.upper := 1; x278.upper := 1; x279.upper := 1; x280.upper := 1; x281.upper := 1; x282.upper := 1; x283.upper := 1; x284.upper := 1; x285.upper := 1; x286.upper := 1; x287.upper := 1; x288.upper := 1; x289.upper := 1; x290.upper := 1; x291.upper := 1; x292.upper := 1; x293.upper := 1; x294.upper := 1; x295.upper := 1; x296.upper := 1; x297.upper := 1; x298.upper := 1; x299.upper := 1; x300.upper := 1; x301.upper := 1; x302.upper := 1; x303.upper := 1; x304.upper := 1; x305.upper := 1; x306.upper := 1; x307.upper := 1; x308.upper := 1; x309.upper := 1; x310.upper := 1; x311.upper := 1; x312.upper := 1; x313.upper := 1; x314.upper := 1; x315.upper := 1; x316.upper := 1; x317.upper := 1; x318.upper := 1; x319.upper := 1; x320.upper := 1; x321.upper := 1; x322.upper := 1; x323.upper := 1; x324.upper := 1; x325.upper := 1; x326.upper := 1; x327.upper := 1; x328.upper := 1; x329.upper := 1; x330.upper := 1; x331.upper := 1; x332.upper := 1; x333.upper := 1; x334.upper := 1; x335.upper := 1; x336.upper := 1; x337.upper := 1; x338.upper := 1; x339.upper := 1; x340.upper := 1; x341.upper := 1; x342.upper := 1; x343.upper := 1; x344.upper := 1; x345.upper := 1; x346.upper := 1; x347.upper := 1; x348.upper := 1; x349.upper := 1; x350.upper := 1; x351.upper := 1; x352.upper := 1; x353.upper := 1; x354.upper := 1; x355.upper := 1; x356.upper := 1; x357.upper := 1; x358.upper := 1; x359.upper := 1; x360.upper := 1; x361.upper := 1; x362.upper := 1; x363.upper := 1; x364.upper := 1; x365.upper := 1; x366.upper := 1; x367.upper := 1; x368.upper := 1; x369.upper := 1; x370.upper := 1; x371.upper := 1; x206.l := 0.0024852; x209.l := 0.003728021; x216.l := 0.01304514; x217.l := 0.02063495; x219.l := 0.00710336463; x220.l := 0.0120836433; x221.l := 0.0047386; x222.l := 0.00523254; x227.l := 0.0098938216; x228.l := 0.0092517408; x230.l := 0.0133581936864; x232.l := 0.0026636274; x234.l := 0.01567318547; x237.l := 0.008994266336; x248.l := 0.169829884; x254.l := 0.00411879; x255.l := 0.0089853539994; x258.l := 0.002819722; x259.l := 0.008906079; x261.l := 0.010558352; x262.l := 0.0094693118; x266.l := 0.003467164; x268.l := 0.0020907942; x269.l := 0.0041416098; x272.l := 0.033048703; x273.l := 0.049213136; x274.l := 0.02770635; x275.l := 0.013009845; x276.l := 0.0018572253; x277.l := 0.0109914062; x279.l := 0.0023418175; x280.l := 0.0177627212; x282.l := 0.07349211055; x284.l := 0.0160739062444; x287.l := 0.0411964553; x288.l := 0.14006057; x289.l := 0.012287871; x290.l := 0.035339458; x292.l := 0.008470047; x295.l := 0.0037358412322; x301.l := 0.0126948441336; x304.l := 0.0044047771863; x311.l := 0.0030401995776; x312.l := 0.0033796638453; x315.l := 0.00660539081; x316.l := 0.05555732202328; x318.l := 0.0152366039709; x319.l := 0.0061644527258; x321.l := 0.00655262612; x322.l := 0.0054190882136; x323.l := 0.0075654727582; x324.l := 0.0071235207584; x325.l := 0.0121460604; x326.l := 0.0048469365945; x331.l := 0.0105834284672; x335.l := 0.0024708110272; x336.l := 0.00556102881; x338.l := 0.00573418491816; x343.l := 0.012099396; x344.l := 0.00263863827; x345.l := 0.0053469004278; x346.l := 0.002626204; x348.l := 0.01967855124453; x349.l := 0.01125924524368; x352.l := 0.004965; x353.l := 0.0066955972644; x354.l := 0.017788155; x360.l := 0.0026292846; x370.l := 0.00276898779602; x381.l := 2.616; x384.l := 2.986; x391.l := 5.29; x392.l := 71.155; x394.l := 2.367; x395.l := 28.929; x396.l := 8.17; x397.l := 14.142; x402.l := 0.104; x403.l := 0.072; x405.l := 73.576; x407.l := 4.057; x409.l := 36.554; x412.l := 20.977; x423.l := 455.308; x429.l := 34.905; x430.l := 88.758; x433.l := 8.126; x434.l := 25.194; x436.l := 85.148; x437.l := 49.891; x441.l := 27.961; x443.l := 16.673; x444.l := 70.078; x447.l := 145.589; x448.l := 130.886; x449.l := 79.161; x450.l := 27.71; x451.l := 9.937; x452.l := 71.234; x454.l := 10.385; x455.l := 37.987; x457.l := 190.963; x459.l := 119.563; x462.l := 124.423; x463.l := 207.805; x464.l := 46.282; x465.l := 55.391; x467.l := 27.165; x470.l := 75.46; x476.l := 25.836; x479.l := 21.247; x486.l := 17.058; x487.l := 13.557; x490.l := 35.485; x491.l := 766.502; x493.l := 80.197; x494.l := 14.033; x496.l := 25.07; x497.l := 22.328; x498.l := 34.531; x499.l := 68.279; x500.l := 99.192; x501.l := 44.135; x506.l := 62.987; x510.l := 13.432; x511.l := 29.355; x513.l := 487.892; x518.l := 40.602; x519.l := 7.24; x520.l := 10.154; x521.l := 2; x523.l := 289.013; x524.l := 145.424; x527.l := 16.55; x528.l := 34.156; x529.l := 30.802; x535.l := 13.567; x545.l := 52.394; x547.l := 99357.544014; x548.l := 96115.450673; x549.l := 95396.076889; x550.l := 99159.184647; x551.l := 98761.171009; x552.l := 100315.551693; x553.l := 103277.053547; x554.l := 104170.214275; x555.l := 103602.139705; x556.l := 103602.139705; x557.l := 103678.327286; x558.l := 102644.333471; x559.l := 107061.550092; x560.l := 107062.71354; x561.l := 105929.482724; x562.l := 104579.21727; x563.l := 105235.121969; x564.l := 105381.978025; x565.l := 106534.316306; x566.l := 108739.259574; x567.l := 110344.064839; x568.l := 99688.607245; x569.l := 99357.544014; x570.l := 96115.450673; x571.l := 95396.076889; x572.l := 99159.184647; x573.l := 98761.174129; x574.l := 100315.553773; x575.l := 103277.052507; x576.l := 104170.215315; x577.l := 103602.139705; x578.l := 103602.139705; x579.l := 103678.327286; x580.l := 102644.333471; x581.l := 107061.560492; x582.l := 107062.71354; x583.l := 105929.480644; x584.l := 104579.20487; x585.l := 105235.118849; x586.l := 105381.976985; x587.l := 106534.320466; x588.l := 108739.257494; } } MathematicalProgram fin2bb { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve fin2bb; } } Procedure MainTermination { Body: { return 1; } } }