## ams_version=1.0 Model Main_ndcc12 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable x89 { Range: nonnegative; } Variable x90 { Range: nonnegative; } Variable x91 { Range: nonnegative; } Variable x92 { Range: nonnegative; } Variable x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95 { Range: nonnegative; } Variable x96 { Range: nonnegative; } Variable x97 { Range: nonnegative; } Variable x98 { Range: nonnegative; } Variable x99 { Range: nonnegative; } Variable x100 { Range: nonnegative; } Variable x101 { Range: nonnegative; } Variable x102 { Range: nonnegative; } Variable x103 { Range: nonnegative; } Variable x104 { Range: nonnegative; } Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Variable x112 { Range: nonnegative; } Variable x113 { Range: nonnegative; } Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Variable x126 { Range: nonnegative; } Variable x127 { Range: nonnegative; } Variable x128 { Range: nonnegative; } Variable x129 { Range: nonnegative; } Variable x130 { Range: nonnegative; } Variable x131 { Range: nonnegative; } Variable x132 { Range: nonnegative; } Variable x133 { Range: nonnegative; } Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable x136 { Range: nonnegative; } Variable x137 { Range: nonnegative; } Variable x138 { Range: nonnegative; } Variable x139 { Range: nonnegative; } Variable x140 { Range: nonnegative; } Variable x141 { Range: nonnegative; } Variable x142 { Range: nonnegative; } Variable x143 { Range: nonnegative; } Variable x144 { Range: nonnegative; } Variable x145 { Range: nonnegative; } Variable x146 { Range: nonnegative; } Variable x147 { Range: nonnegative; } Variable x148 { Range: nonnegative; } Variable x149 { Range: nonnegative; } Variable x150 { Range: nonnegative; } Variable x151 { Range: nonnegative; } Variable x152 { Range: nonnegative; } Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156 { Range: nonnegative; } Variable x157 { Range: nonnegative; } Variable x158 { Range: nonnegative; } Variable x159 { Range: nonnegative; } Variable x160 { Range: nonnegative; } Variable x161 { Range: nonnegative; } Variable x162 { Range: nonnegative; } Variable x163 { Range: nonnegative; } Variable x164 { Range: nonnegative; } Variable x165 { Range: nonnegative; } Variable x166 { Range: nonnegative; } Variable x167 { Range: nonnegative; } Variable x168 { Range: nonnegative; } Variable x169 { Range: nonnegative; } Variable x170 { Range: nonnegative; } Variable x171 { Range: nonnegative; } Variable x172 { Range: nonnegative; } Variable x173 { Range: nonnegative; } Variable x174 { Range: nonnegative; } Variable x175 { Range: nonnegative; } Variable x176 { Range: nonnegative; } Variable x177 { Range: nonnegative; } Variable x178 { Range: nonnegative; } Variable x179 { Range: nonnegative; } Variable x180 { Range: nonnegative; } Variable x181 { Range: nonnegative; } Variable x182 { Range: nonnegative; } Variable x183 { Range: nonnegative; } Variable x184 { Range: nonnegative; } Variable x185 { Range: nonnegative; } Variable x186 { Range: nonnegative; } Variable x187 { Range: nonnegative; } Variable x188 { Range: nonnegative; } Variable x189 { Range: nonnegative; } Variable x190 { Range: nonnegative; } Variable x191 { Range: nonnegative; } Variable x192 { Range: nonnegative; } Variable x193 { Range: nonnegative; } Variable x194 { Range: nonnegative; } Variable x195 { Range: nonnegative; } Variable x196 { Range: nonnegative; } Variable x197 { Range: nonnegative; } Variable x198 { Range: nonnegative; } Variable x199 { Range: nonnegative; } Variable x200 { Range: nonnegative; } Variable x201 { Range: nonnegative; } Variable x202 { Range: nonnegative; } Variable x203 { Range: nonnegative; } Variable x204 { Range: nonnegative; } Variable x205 { Range: nonnegative; } Variable x206 { Range: nonnegative; } Variable x207 { Range: nonnegative; } Variable x208 { Range: nonnegative; } Variable x209 { Range: nonnegative; } Variable x210 { Range: nonnegative; } Variable x211 { Range: nonnegative; } Variable x212 { Range: nonnegative; } Variable x213 { Range: nonnegative; } Variable x214 { Range: nonnegative; } Variable x215 { Range: nonnegative; } Variable x216 { Range: nonnegative; } Variable x217 { Range: nonnegative; } Variable x218 { Range: nonnegative; } Variable x219 { Range: nonnegative; } Variable x220 { Range: nonnegative; } Variable x221 { Range: nonnegative; } Variable x222 { Range: nonnegative; } Variable x223 { Range: nonnegative; } Variable x224 { Range: nonnegative; } Variable x225 { Range: nonnegative; } Variable x226 { Range: nonnegative; } Variable x227 { Range: nonnegative; } Variable x228 { Range: nonnegative; } Variable x229 { Range: nonnegative; } Variable x230 { Range: nonnegative; } Variable x231 { Range: nonnegative; } Variable x232 { Range: nonnegative; } Variable x233 { Range: nonnegative; } Variable x234 { Range: nonnegative; } Variable x235 { Range: nonnegative; } Variable x236 { Range: nonnegative; } Variable x237 { Range: nonnegative; } Variable x238 { Range: nonnegative; } Variable x239 { Range: nonnegative; } Variable x240 { Range: nonnegative; } Variable x241 { Range: nonnegative; } Variable x242 { Range: nonnegative; } Variable x243 { Range: nonnegative; } Variable x244 { Range: nonnegative; } Variable x245 { Range: nonnegative; } Variable x246 { Range: nonnegative; } Variable x247 { Range: nonnegative; } Variable x248 { Range: nonnegative; } Variable x249 { Range: nonnegative; } Variable x250 { Range: nonnegative; } Variable x251 { Range: nonnegative; } Variable x252 { Range: nonnegative; } Variable x253 { Range: nonnegative; } Variable x254 { Range: nonnegative; } Variable x255 { Range: nonnegative; } Variable x256 { Range: nonnegative; } Variable x257 { Range: nonnegative; } Variable x258 { Range: nonnegative; } Variable x259 { Range: nonnegative; } Variable x260 { Range: nonnegative; } Variable x261 { Range: nonnegative; } Variable x262 { Range: nonnegative; } Variable x263 { Range: nonnegative; } Variable x264 { Range: nonnegative; } Variable x265 { Range: nonnegative; } Variable x266 { Range: nonnegative; } Variable x267 { Range: nonnegative; } Variable x268 { Range: nonnegative; } Variable x269 { Range: nonnegative; } Variable x270 { Range: nonnegative; } Variable x271 { Range: nonnegative; } Variable x272 { Range: nonnegative; } Variable x273 { Range: nonnegative; } Variable x274 { Range: nonnegative; } Variable x275 { Range: nonnegative; } Variable x276 { Range: nonnegative; } Variable x277 { Range: nonnegative; } Variable x278 { Range: nonnegative; } Variable x279 { Range: nonnegative; } Variable x280 { Range: nonnegative; } Variable x281 { Range: nonnegative; } Variable x282 { Range: nonnegative; } Variable x283 { Range: nonnegative; } Variable x284 { Range: nonnegative; } Variable x285 { Range: nonnegative; } Variable x286 { Range: nonnegative; } Variable x287 { Range: nonnegative; } Variable x288 { Range: nonnegative; } Variable x289 { Range: nonnegative; } Variable x290 { Range: nonnegative; } Variable x291 { Range: nonnegative; } Variable x292 { Range: nonnegative; } Variable x293 { Range: nonnegative; } Variable x294 { Range: nonnegative; } Variable x295 { Range: nonnegative; } Variable x296 { Range: nonnegative; } Variable x297 { Range: nonnegative; } Variable x298 { Range: nonnegative; } Variable x299 { Range: nonnegative; } Variable x300 { Range: nonnegative; } Variable x301 { Range: nonnegative; } Variable x302 { Range: nonnegative; } Variable x303 { Range: nonnegative; } Variable x304 { Range: nonnegative; } Variable x305 { Range: nonnegative; } Variable x306 { Range: nonnegative; } Variable x307 { Range: nonnegative; } Variable x308 { Range: nonnegative; } Variable x309 { Range: nonnegative; } Variable x310 { Range: nonnegative; } Variable x311 { Range: nonnegative; } Variable x312 { Range: nonnegative; } Variable x313 { Range: nonnegative; } Variable x314 { Range: nonnegative; } Variable x315 { Range: nonnegative; } Variable x316 { Range: nonnegative; } Variable x317 { Range: nonnegative; } Variable x318 { Range: nonnegative; } Variable x319 { Range: nonnegative; } Variable x320 { Range: nonnegative; } Variable x321 { Range: nonnegative; } Variable x322 { Range: nonnegative; } Variable x323 { Range: nonnegative; } Variable x324 { Range: nonnegative; } Variable x325 { Range: nonnegative; } Variable x326 { Range: nonnegative; } Variable x327 { Range: nonnegative; } Variable x328 { Range: nonnegative; } Variable x329 { Range: nonnegative; } Variable x330 { Range: nonnegative; } Variable x331 { Range: nonnegative; } Variable x332 { Range: nonnegative; } Variable x333 { Range: nonnegative; } Variable x334 { Range: nonnegative; } Variable x335 { Range: nonnegative; } Variable x336 { Range: nonnegative; } Variable x337 { Range: nonnegative; } Variable x338 { Range: nonnegative; } Variable x339 { Range: nonnegative; } Variable x340 { Range: nonnegative; } Variable x341 { Range: nonnegative; } Variable x342 { Range: nonnegative; } Variable x343 { Range: nonnegative; } Variable x344 { Range: nonnegative; } Variable x345 { Range: nonnegative; } Variable x346 { Range: nonnegative; } Variable x347 { Range: nonnegative; } Variable x348 { Range: nonnegative; } Variable x349 { Range: nonnegative; } Variable x350 { Range: nonnegative; } Variable x351 { Range: nonnegative; } Variable x352 { Range: nonnegative; } Variable x353 { Range: nonnegative; } Variable x354 { Range: nonnegative; } Variable x355 { Range: nonnegative; } Variable x356 { Range: nonnegative; } Variable x357 { Range: nonnegative; } Variable x358 { Range: nonnegative; } Variable x359 { Range: nonnegative; } Variable x360 { Range: nonnegative; } Variable x361 { Range: nonnegative; } Variable x362 { Range: nonnegative; } Variable x363 { Range: nonnegative; } Variable x364 { Range: nonnegative; } Variable x365 { Range: nonnegative; } Variable x366 { Range: nonnegative; } Variable x367 { Range: nonnegative; } Variable x368 { Range: nonnegative; } Variable x369 { Range: nonnegative; } Variable x370 { Range: nonnegative; } Variable x371 { Range: nonnegative; } Variable x372 { Range: nonnegative; } Variable x373 { Range: nonnegative; } Variable x374 { Range: nonnegative; } Variable x375 { Range: nonnegative; } Variable x376 { Range: nonnegative; } Variable x377 { Range: nonnegative; } Variable x378 { Range: nonnegative; } Variable x379 { Range: nonnegative; } Variable x380 { Range: nonnegative; } Variable x381 { Range: nonnegative; } Variable x382 { Range: nonnegative; } Variable x383 { Range: nonnegative; } Variable x384 { Range: nonnegative; } Variable x385 { Range: nonnegative; } Variable x386 { Range: nonnegative; } Variable x387 { Range: nonnegative; } Variable x388 { Range: nonnegative; } Variable x389 { Range: nonnegative; } Variable x390 { Range: nonnegative; } Variable x391 { Range: nonnegative; } Variable x392 { Range: nonnegative; } Variable x393 { Range: nonnegative; } Variable x394 { Range: nonnegative; } Variable x395 { Range: nonnegative; } Variable x396 { Range: nonnegative; } Variable x397 { Range: nonnegative; } Variable x398 { Range: nonnegative; } Variable x399 { Range: nonnegative; } Variable x400 { Range: nonnegative; } Variable x401 { Range: nonnegative; } Variable x402 { Range: nonnegative; } Variable x403 { Range: nonnegative; } Variable x404 { Range: nonnegative; } Variable x405 { Range: nonnegative; } Variable x406 { Range: nonnegative; } Variable x407 { Range: nonnegative; } Variable x408 { Range: nonnegative; } Variable x409 { Range: nonnegative; } Variable x410 { Range: nonnegative; } Variable x411 { Range: nonnegative; } Variable x412 { Range: nonnegative; } Variable x413 { Range: nonnegative; } Variable x414 { Range: nonnegative; } Variable x415 { Range: nonnegative; } Variable x416 { Range: nonnegative; } Variable x417 { Range: nonnegative; } Variable x418 { Range: nonnegative; } Variable x419 { Range: nonnegative; } Variable x420 { Range: nonnegative; } Variable x421 { Range: nonnegative; } Variable x422 { Range: nonnegative; } Variable x423 { Range: nonnegative; } Variable x424 { Range: nonnegative; } Variable x425 { Range: nonnegative; } Variable x426 { Range: nonnegative; } Variable x427 { Range: nonnegative; } Variable x428 { Range: nonnegative; } Variable x429 { Range: nonnegative; } Variable x430 { Range: nonnegative; } Variable x431 { Range: nonnegative; } Variable x432 { Range: nonnegative; } Variable x433 { Range: nonnegative; } Variable x434 { Range: nonnegative; } Variable x435 { Range: nonnegative; } Variable x436 { Range: nonnegative; } Variable x437 { Range: nonnegative; } Variable x438 { Range: nonnegative; } Variable x439 { Range: nonnegative; } Variable x440 { Range: nonnegative; } Variable x441 { Range: nonnegative; } Variable x442 { Range: nonnegative; } Variable x443 { Range: nonnegative; } Variable x444 { Range: nonnegative; } Variable x445 { Range: nonnegative; } Variable 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 { Range: nonnegative; } Variable x548 { Range: nonnegative; } Variable x549 { Range: nonnegative; } Variable x550 { Range: nonnegative; } Variable x551 { Range: nonnegative; } Variable x552 { Range: nonnegative; } Variable b553 { Range: binary; } Variable b554 { Range: binary; } Variable b555 { Range: binary; } Variable b556 { Range: binary; } Variable b557 { Range: binary; } Variable b558 { Range: binary; } Variable b559 { Range: binary; } Variable b560 { Range: binary; } Variable b561 { Range: binary; } Variable b562 { Range: binary; } Variable b563 { Range: binary; } Variable b564 { Range: binary; } Variable b565 { Range: binary; } Variable b566 { Range: binary; } Variable b567 { Range: binary; } Variable b568 { Range: binary; } Variable b569 { Range: binary; } Variable b570 { Range: binary; } Variable b571 { Range: binary; } Variable b572 { Range: binary; } Variable b573 { Range: binary; } Variable b574 { Range: binary; } Variable b575 { Range: binary; } Variable b576 { Range: binary; } Variable b577 { Range: binary; } Variable b578 { Range: binary; } Variable b579 { Range: binary; } Variable b580 { Range: binary; } Variable b581 { Range: binary; } Variable b582 { Range: binary; } Variable b583 { Range: binary; } Variable b584 { Range: binary; } Variable b585 { Range: binary; } Variable b586 { Range: binary; } Variable b587 { Range: binary; } Variable b588 { Range: binary; } Variable b589 { Range: binary; } Variable b590 { Range: binary; } Variable b591 { Range: binary; } Variable b592 { Range: binary; } Variable b593 { Range: binary; } Variable b594 { Range: binary; } Variable b595 { Range: binary; } Variable b596 { Range: binary; } Variable b597 { Range: binary; } Variable b598 { Range: binary; } Variable x599 { Range: nonnegative; } Variable x600 { Range: nonnegative; } Variable x601 { Range: nonnegative; } Variable x602 { Range: nonnegative; } Variable x603 { Range: nonnegative; } Variable x604 { Range: nonnegative; } Variable x605 { Range: nonnegative; } Variable x606 { Range: nonnegative; } Variable x607 { Range: nonnegative; } Variable x608 { Range: nonnegative; } Variable x609 { Range: nonnegative; } Variable x610 { Range: nonnegative; } Variable x611 { Range: nonnegative; } Variable x612 { Range: nonnegative; } Variable x613 { Range: nonnegative; } Variable x614 { Range: nonnegative; } Variable x615 { Range: nonnegative; } Variable x616 { Range: nonnegative; } Variable x617 { Range: nonnegative; } Variable x618 { Range: nonnegative; } Variable x619 { Range: nonnegative; } Variable x620 { Range: nonnegative; } Variable x621 { Range: nonnegative; } Variable x622 { Range: nonnegative; } Variable x623 { Range: nonnegative; } Variable x624 { Range: nonnegative; } Variable x625 { Range: nonnegative; } Variable x626 { Range: nonnegative; } Variable x627 { Range: nonnegative; } Variable x628 { Range: nonnegative; } Variable x629 { Range: nonnegative; } Variable x630 { Range: nonnegative; } Variable x631 { Range: nonnegative; } Variable x632 { Range: nonnegative; } Variable x633 { Range: nonnegative; } Variable x634 { Range: nonnegative; } Variable x635 { Range: nonnegative; } Variable x636 { Range: nonnegative; } Variable x637 { Range: nonnegative; } Variable x638 { Range: nonnegative; } Variable x639 { Range: nonnegative; } Variable x640 { Range: nonnegative; } Variable x641 { Range: nonnegative; } Variable x642 { Range: nonnegative; } Variable x643 { Range: nonnegative; } Variable x644 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 1.235768455*b553 - 1.754882812*b554 - 3.159455914*b555 - 3.980618566*b556 - 2.905401043*b557 - 2.524310515*b558 - 3.289509208*b559 - 1.235768455*b560 - 2.516549044*b561 - 2.174517481*b562 - 2.402340784*b563 - 1.754882812*b564 - 3.153941476*b565 - 2.649872155*b566 - 2.46690751*b567 - 3.159455914*b568 - 2.46690751*b569 - 1.583424277*b570 - 3.980618566*b571 - 3.153941476*b572 - 1.572334903*b573 - 2.905401043*b574 - 2.516549044*b575 - 1.572334903*b576 - 1.097733808*b577 - 2.174517481*b578 - 1.097733808*b579 - 2.95175038*b580 - 2.477930353*b581 - 1.425428344*b582 - 2.95175038*b583 - 1.694724004*b584 - 2.524310515*b585 - 1.694724004*b586 - 3.787543429*b587 - 1.759730596*b588 - 2.402340784*b589 - 1.583424277*b590 - 2.477930353*b591 - 3.787543429*b592 - 1.492267639*b593 - 3.289509208*b594 - 2.649872155*b595 - 1.425428344*b596 - 1.759730596*b597 - 1.492267639*b598 + objvar = 0 } } Constraint e2 { Definition: { - x1 - x13 - x25 - x37 - x49 - x61 - x73 + x85 + x133 + x181 + x217 + x253 + x385 + x493 = -149 } } Constraint e3 { Definition: { - x2 - x14 - x26 - x38 - x50 - x62 - x74 + x86 + x134 + x182 + x218 + x254 + x386 + x494 = 20 } } Constraint e4 { Definition: { - x3 - x15 - x27 - x39 - x51 - x63 - x75 + x87 + x135 + x183 + x219 + x255 + x387 + x495 = 13 } } Constraint e5 { Definition: { - x4 - x16 - x28 - x40 - x52 - x64 - x76 + x88 + x136 + x184 + x220 + x256 + x388 + x496 = 11 } } Constraint e6 { Definition: { - x5 - x17 - x29 - x41 - x53 - x65 - x77 + x89 + x137 + x185 + x221 + x257 + x389 + x497 = 13 } } Constraint e7 { Definition: { - x6 - x18 - x30 - x42 - x54 - x66 - x78 + x90 + x138 + x186 + x222 + x258 + x390 + x498 = 11 } } Constraint e8 { Definition: { - x7 - x19 - x31 - x43 - x55 - x67 - x79 + x91 + x139 + x187 + x223 + x259 + x391 + x499 = 18 } } Constraint e9 { Definition: { - x8 - x20 - x32 - x44 - x56 - x68 - x80 + x92 + x140 + x188 + x224 + x260 + x392 + x500 = 19 } } Constraint e10 { Definition: { - x9 - x21 - x33 - x45 - x57 - x69 - x81 + x93 + x141 + x189 + x225 + x261 + x393 + x501 = 14 } } Constraint e11 { Definition: { - x10 - x22 - x34 - x46 - x58 - x70 - x82 + x94 + x142 + x190 + x226 + x262 + x394 + x502 = 15 } } Constraint e12 { Definition: { - x11 - x23 - x35 - x47 - x59 - x71 - x83 + x95 + x143 + x191 + x227 + x263 + x395 + x503 = 20 } } Constraint e13 { Definition: { - x12 - x24 - x36 - x48 - x60 - x72 - x84 + x96 + x144 + x192 + x228 + x264 + x396 + x504 = 22 } } Constraint e14 { Definition: x1 - x85 - x97 - x109 - x121 + x265 + x301 + x433 = 12; } Constraint e15 { Definition: x2 - x86 - x98 - x110 - x122 + x266 + x302 + x434 = -178; } Constraint e16 { Definition: x3 - x87 - x99 - x111 - x123 + x267 + x303 + x435 = 7; } Constraint e17 { Definition: x4 - x88 - x100 - x112 - x124 + x268 + x304 + x436 = 6; } Constraint e18 { Definition: x5 - x89 - x101 - x113 - x125 + x269 + x305 + x437 = 25; } Constraint e19 { Definition: x6 - x90 - x102 - x114 - x126 + x270 + x306 + x438 = 25; } Constraint e20 { Definition: x7 - x91 - x103 - x115 - x127 + x271 + x307 + x439 = 25; } Constraint e21 { Definition: x8 - x92 - x104 - x116 - x128 + x272 + x308 + x440 = 23; } Constraint e22 { Definition: x9 - x93 - x105 - x117 - x129 + x273 + x309 + x441 = 8; } Constraint e23 { Definition: x10 - x94 - x106 - x118 - x130 + x274 + x310 + x442 = 7; } Constraint e24 { Definition: x11 - x95 - x107 - x119 - x131 + x275 + x311 + x443 = 20; } Constraint e25 { Definition: x12 - x96 - x108 - x120 - x132 + x276 + x312 + x444 = 14; } Constraint e26 { Definition: x13 - x133 - x145 - x157 + x229 + x505 = 6; } Constraint e27 { Definition: x14 - x134 - x146 - x158 + x230 + x506 = 21; } Constraint e28 { Definition: x15 - x135 - x147 - x159 + x231 + x507 = -157; } Constraint e29 { Definition: x16 - x136 - x148 - x160 + x232 + x508 = 25; } Constraint e30 { Definition: x17 - x137 - x149 - x161 + x233 + x509 = 18; } Constraint e31 { Definition: x18 - x138 - x150 - x162 + x234 + x510 = 23; } Constraint e32 { Definition: x19 - x139 - x151 - x163 + x235 + x511 = 22; } Constraint e33 { Definition: x20 - x140 - x152 - x164 + x236 + x512 = 19; } Constraint e34 { Definition: x21 - x141 - x153 - x165 + x237 + x513 = 18; } Constraint e35 { Definition: x22 - x142 - x154 - x166 + x238 + x514 = 21; } Constraint e36 { Definition: x23 - x143 - x155 - x167 + x239 + x515 = 24; } Constraint e37 { Definition: x24 - x144 - x156 - x168 + x240 + x516 = 16; } Constraint e38 { Definition: - x169 + x193 = 18; } Constraint e39 { Definition: - x170 + x194 = 24; } Constraint e40 { Definition: - x171 + x195 = 9; } Constraint e41 { Definition: - x172 + x196 = -183; } Constraint e42 { Definition: - x173 + x197 = 12; } Constraint e43 { Definition: - x174 + x198 = 16; } Constraint e44 { Definition: - x175 + x199 = 6; } Constraint e45 { Definition: - x176 + x200 = 14; } Constraint e46 { Definition: - x177 + x201 = 23; } Constraint e47 { Definition: - x178 + x202 = 14; } Constraint e48 { Definition: - x179 + x203 = 18; } Constraint e49 { Definition: - x180 + x204 = 24; } Constraint e50 { Definition: x25 + x169 - x181 - x193 - x205 + x445 = 5; } Constraint e51 { Definition: x26 + x170 - x182 - x194 - x206 + x446 = 12; } Constraint e52 { Definition: x27 + x171 - x183 - x195 - x207 + x447 = 19; } Constraint e53 { Definition: x28 + x172 - x184 - x196 - x208 + x448 = 22; } Constraint e54 { Definition: x29 + x173 - x185 - x197 - x209 + x449 = -179; } Constraint e55 { Definition: x30 + x174 - x186 - x198 - x210 + x450 = 22; } Constraint e56 { Definition: x31 + x175 - x187 - x199 - x211 + x451 = 9; } Constraint e57 { Definition: x32 + x176 - x188 - x200 - x212 + x452 = 6; } Constraint e58 { Definition: x33 + x177 - x189 - x201 - x213 + x453 = 6; } Constraint e59 { Definition: x34 + x178 - x190 - x202 - x214 + x454 = 21; } Constraint e60 { Definition: x35 + x179 - x191 - x203 - x215 + x455 = 6; } Constraint e61 { Definition: x36 + x180 - x192 - x204 - x216 + x456 = 22; } Constraint e62 { Definition: x37 + x145 - x217 - x229 - x241 + x277 = 13; } Constraint e63 { Definition: x38 + x146 - x218 - x230 - x242 + x278 = 12; } Constraint e64 { Definition: x39 + x147 - x219 - x231 - x243 + x279 = 23; } Constraint e65 { Definition: x40 + x148 - x220 - x232 - x244 + x280 = 16; } Constraint e66 { Definition: x41 + x149 - x221 - x233 - x245 + x281 = 7; } Constraint e67 { Definition: x42 + x150 - x222 - x234 - x246 + x282 = -178; } Constraint e68 { Definition: x43 + x151 - x223 - x235 - x247 + x283 = 19; } Constraint e69 { Definition: x44 + x152 - x224 - x236 - x248 + x284 = 25; } Constraint e70 { Definition: x45 + x153 - x225 - x237 - x249 + x285 = 13; } Constraint e71 { Definition: x46 + x154 - x226 - x238 - x250 + x286 = 17; } Constraint e72 { Definition: x47 + x155 - x227 - x239 - x251 + x287 = 24; } Constraint e73 { Definition: x48 + x156 - x228 - x240 - x252 + x288 = 8; } Constraint e74 { Definition: x49 + x97 + x241 - x253 - x265 - x277 - x289 + x313 = 9; } Constraint e75 { Definition: x50 + x98 + x242 - x254 - x266 - x278 - x290 + x314 = 20; } Constraint e76 { Definition: x51 + x99 + x243 - x255 - x267 - x279 - x291 + x315 = 21; } Constraint e77 { Definition: x52 + x100 + x244 - x256 - x268 - x280 - x292 + x316 = 22; } Constraint e78 { Definition: x53 + x101 + x245 - x257 - x269 - x281 - x293 + x317 = 6; } Constraint e79 { Definition: x54 + x102 + x246 - x258 - x270 - x282 - x294 + x318 = 8; } Constraint e80 { Definition: x55 + x103 + x247 - x259 - x271 - x283 - x295 + x319 = -162; } Constraint e81 { Definition: x56 + x104 + x248 - x260 - x272 - x284 - x296 + x320 = 22; } Constraint e82 { Definition: x57 + x105 + x249 - x261 - x273 - x285 - x297 + x321 = 19; } Constraint e83 { Definition: x58 + x106 + x250 - x262 - x274 - x286 - x298 + x322 = 17; } Constraint e84 { Definition: x59 + x107 + x251 - x263 - x275 - x287 - x299 + x323 = 11; } Constraint e85 { Definition: x60 + x108 + x252 - x264 - x276 - x288 - x300 + x324 = 16; } Constraint e86 { Definition: { x109 + x289 - x301 - x313 - x325 - x337 - x349 + x361 + x457 + x517 = 23 } } Constraint e87 { Definition: { x110 + x290 - x302 - x314 - x326 - x338 - x350 + x362 + x458 + x518 = 11 } } Constraint e88 { Definition: { x111 + x291 - x303 - x315 - x327 - x339 - x351 + x363 + x459 + x519 = 21 } } Constraint e89 { Definition: { x112 + x292 - x304 - x316 - x328 - x340 - x352 + x364 + x460 + x520 = 23 } } Constraint e90 { Definition: { x113 + x293 - x305 - x317 - x329 - x341 - x353 + x365 + x461 + x521 = 13 } } Constraint e91 { Definition: { x114 + x294 - x306 - x318 - x330 - x342 - x354 + x366 + x462 + x522 = 18 } } Constraint e92 { Definition: { x115 + x295 - x307 - x319 - x331 - x343 - x355 + x367 + x463 + x523 = 8 } } Constraint e93 { Definition: { x116 + x296 - x308 - x320 - x332 - x344 - x356 + x368 + x464 + x524 = -176 } } Constraint e94 { Definition: { x117 + x297 - x309 - x321 - x333 - x345 - x357 + x369 + x465 + x525 = 12 } } Constraint e95 { Definition: { x118 + x298 - x310 - x322 - x334 - x346 - x358 + x370 + x466 + x526 = 15 } } Constraint e96 { Definition: { x119 + x299 - x311 - x323 - x335 - x347 - x359 + x371 + x467 + x527 = 7 } } Constraint e97 { Definition: { x120 + x300 - x312 - x324 - x336 - x348 - x360 + x372 + x468 + x528 = 22 } } Constraint e98 { Definition: x325 - x361 - x373 + x397 = 21; } Constraint e99 { Definition: x326 - x362 - x374 + x398 = 10; } Constraint e100 { Definition: x327 - x363 - x375 + x399 = 7; } Constraint e101 { Definition: x328 - x364 - x376 + x400 = 14; } Constraint e102 { Definition: x329 - x365 - x377 + x401 = 14; } Constraint e103 { Definition: x330 - x366 - x378 + x402 = 11; } Constraint e104 { Definition: x331 - x367 - x379 + x403 = 15; } Constraint e105 { Definition: x332 - x368 - x380 + x404 = 16; } Constraint e106 { Definition: x333 - x369 - x381 + x405 = -139; } Constraint e107 { Definition: x334 - x370 - x382 + x406 = 25; } Constraint e108 { Definition: x335 - x371 - x383 + x407 = 23; } Constraint e109 { Definition: x336 - x372 - x384 + x408 = 14; } Constraint e110 { Definition: x61 + x373 - x385 - x397 - x409 - x421 + x469 + x529 = 12; } Constraint e111 { Definition: x62 + x374 - x386 - x398 - x410 - x422 + x470 + x530 = 21; } Constraint e112 { Definition: x63 + x375 - x387 - x399 - x411 - x423 + x471 + x531 = 10; } Constraint e113 { Definition: x64 + x376 - x388 - x400 - x412 - x424 + x472 + x532 = 19; } Constraint e114 { Definition: x65 + x377 - x389 - x401 - x413 - x425 + x473 + x533 = 23; } Constraint e115 { Definition: x66 + x378 - x390 - x402 - x414 - x426 + x474 + x534 = 17; } Constraint e116 { Definition: x67 + x379 - x391 - x403 - x415 - x427 + x475 + x535 = 11; } Constraint e117 { Definition: x68 + x380 - x392 - x404 - x416 - x428 + x476 + x536 = 13; } Constraint e118 { Definition: x69 + x381 - x393 - x405 - x417 - x429 + x477 + x537 = 11; } Constraint e119 { Definition: x70 + x382 - x394 - x406 - x418 - x430 + x478 + x538 = -191; } Constraint e120 { Definition: x71 + x383 - x395 - x407 - x419 - x431 + x479 + x539 = 18; } Constraint e121 { Definition: x72 + x384 - x396 - x408 - x420 - x432 + x480 + x540 = 15; } Constraint e122 { Definition: { x121 + x205 + x337 + x409 - x433 - x445 - x457 - x469 - x481 + x541 = 15 } } Constraint e123 { Definition: { x122 + x206 + x338 + x410 - x434 - x446 - x458 - x470 - x482 + x542 = 13 } } Constraint e124 { Definition: { x123 + x207 + x339 + x411 - x435 - x447 - x459 - x471 - x483 + x543 = 6 } } Constraint e125 { Definition: { x124 + x208 + x340 + x412 - x436 - x448 - x460 - x472 - x484 + x544 = 13 } } Constraint e126 { Definition: { x125 + x209 + x341 + x413 - x437 - x449 - x461 - x473 - x485 + x545 = 25 } } Constraint e127 { Definition: { x126 + x210 + x342 + x414 - x438 - x450 - x462 - x474 - x486 + x546 = 13 } } Constraint e128 { Definition: { x127 + x211 + x343 + x415 - x439 - x451 - x463 - x475 - x487 + x547 = 14 } } Constraint e129 { Definition: { x128 + x212 + x344 + x416 - x440 - x452 - x464 - x476 - x488 + x548 = 14 } } Constraint e130 { Definition: { x129 + x213 + x345 + x417 - x441 - x453 - x465 - x477 - x489 + x549 = 9 } } Constraint e131 { Definition: { x130 + x214 + x346 + x418 - x442 - x454 - x466 - x478 - x490 + x550 = 19 } } Constraint e132 { Definition: { x131 + x215 + x347 + x419 - x443 - x455 - x467 - x479 - x491 + x551 = -193 } } Constraint e133 { Definition: { x132 + x216 + x348 + x420 - x444 - x456 - x468 - x480 - x492 + x552 = 17 } } Constraint e134 { Definition: { x73 + x157 + x349 + x421 + x481 - x493 - x505 - x517 - x529 - x541 = 15 } } Constraint e135 { Definition: { x74 + x158 + x350 + x422 + x482 - x494 - x506 - x518 - x530 - x542 = 14 } } Constraint e136 { Definition: { x75 + x159 + x351 + x423 + x483 - x495 - x507 - x519 - x531 - x543 = 21 } } Constraint e137 { Definition: { x76 + x160 + x352 + x424 + x484 - x496 - x508 - x520 - x532 - x544 = 12 } } Constraint e138 { Definition: { x77 + x161 + x353 + x425 + x485 - x497 - x509 - x521 - x533 - x545 = 23 } } Constraint e139 { Definition: { x78 + x162 + x354 + x426 + x486 - x498 - x510 - x522 - x534 - x546 = 14 } } Constraint e140 { Definition: { x79 + x163 + x355 + x427 + x487 - x499 - x511 - x523 - x535 - x547 = 15 } } Constraint e141 { Definition: { x80 + x164 + x356 + x428 + x488 - x500 - x512 - x524 - x536 - x548 = 5 } } Constraint e142 { Definition: { x81 + x165 + x357 + x429 + x489 - x501 - x513 - x525 - x537 - x549 = 6 } } Constraint e143 { Definition: { x82 + x166 + x358 + x430 + x490 - x502 - x514 - x526 - x538 - x550 = 20 } } Constraint e144 { Definition: { x83 + x167 + x359 + x431 + x491 - x503 - x515 - x527 - x539 - x551 = 22 } } Constraint e145 { Definition: { x84 + x168 + x360 + x432 + x492 - x504 - x516 - x528 - x540 - x552 = -190 } } Constraint e146 { Definition: { (293 - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12)* x599 - 293*x1 - 293*x2 - 293*x3 - 293*x4 - 293*x5 - 293*x6 - 293*x7 - 293*x8 - 293*x9 - 293*x10 - 293*x11 - 293*x12 >= 0 } } Constraint e147 { Definition: { (192 - x13 - x14 - x15 - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24)*x600 - 192*x13 - 192*x14 - 192*x15 - 192*x16 - 192*x17 - 192*x18 - 192*x19 - 192*x20 - 192*x21 - 192*x22 - 192*x23 - 192*x24 >= 0 } } Constraint e148 { Definition: { (417 - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x32 - x33 - x34 - x35 - x36)*x601 - 417*x25 - 417*x26 - 417*x27 - 417*x28 - 417*x29 - 417*x30 - 417*x31 - 417*x32 - 417*x33 - 417*x34 - 417*x35 - 417*x36 >= 0 } } Constraint e149 { Definition: { (427 - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 - x46 - x47 - x48)*x602 - 427*x37 - 427*x38 - 427*x39 - 427*x40 - 427*x41 - 427*x42 - 427*x43 - 427*x44 - 427*x45 - 427*x46 - 427*x47 - 427*x48 >= 0 } } Constraint e150 { Definition: { (295 - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57 - x58 - x59 - x60)*x603 - 295*x49 - 295*x50 - 295*x51 - 295*x52 - 295*x53 - 295*x54 - 295*x55 - 295*x56 - 295*x57 - 295*x58 - 295*x59 - 295*x60 >= 0 } } Constraint e151 { Definition: { (280 - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72)*x604 - 280*x61 - 280*x62 - 280*x63 - 280*x64 - 280*x65 - 280*x66 - 280*x67 - 280*x68 - 280*x69 - 280*x70 - 280*x71 - 280*x72 >= 0 } } Constraint e152 { Definition: { (337 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84)*x605 - 337*x73 - 337*x74 - 337*x75 - 337*x76 - 337*x77 - 337*x78 - 337*x79 - 337*x80 - 337*x81 - 337*x82 - 337*x83 - 337*x84 >= 0 } } Constraint e153 { Definition: { (293 - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96)*x606 - 293*x85 - 293*x86 - 293*x87 - 293*x88 - 293*x89 - 293*x90 - 293*x91 - 293*x92 - 293*x93 - 293*x94 - 293*x95 - 293*x96 >= 0 } } Constraint e154 { Definition: { (341 - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 - x108)*x607 - 341*x97 - 341*x98 - 341*x99 - 341*x100 - 341*x101 - 341*x102 - 341*x103 - 341*x104 - 341*x105 - 341*x106 - 341*x107 - 341 *x108 >= 0 } } Constraint e155 { Definition: { (276 - x109 - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120)*x608 - 276*x109 - 276*x110 - 276*x111 - 276*x112 - 276*x113 - 276*x114 - 276*x115 - 276*x116 - 276*x117 - 276*x118 - 276* x119 - 276*x120 >= 0 } } Constraint e156 { Definition: { (119 - x121 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132)*x609 - 119*x121 - 119*x122 - 119*x123 - 119*x124 - 119*x125 - 119*x126 - 119*x127 - 119*x128 - 119*x129 - 119*x130 - 119* x131 - 119*x132 >= 0 } } Constraint e157 { Definition: { (192 - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144)*x610 - 192*x133 - 192*x134 - 192*x135 - 192*x136 - 192*x137 - 192*x138 - 192*x139 - 192*x140 - 192*x141 - 192*x142 - 192* x143 - 192*x144 >= 0 } } Constraint e158 { Definition: { (347 - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156)*x611 - 347*x145 - 347*x146 - 347*x147 - 347*x148 - 347*x149 - 347*x150 - 347*x151 - 347*x152 - 347*x153 - 347*x154 - 347* x155 - 347*x156 >= 0 } } Constraint e159 { Definition: { (398 - x157 - x158 - x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166 - x167 - x168)*x612 - 398*x157 - 398*x158 - 398*x159 - 398*x160 - 398*x161 - 398*x162 - 398*x163 - 398*x164 - 398*x165 - 398*x166 - 398* x167 - 398*x168 >= 0 } } Constraint e160 { Definition: { (359 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180)*x613 - 359*x169 - 359*x170 - 359*x171 - 359*x172 - 359*x173 - 359*x174 - 359*x175 - 359*x176 - 359*x177 - 359*x178 - 359* x179 - 359*x180 >= 0 } } Constraint e161 { Definition: { (417 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192)*x614 - 417*x181 - 417*x182 - 417*x183 - 417*x184 - 417*x185 - 417*x186 - 417*x187 - 417*x188 - 417*x189 - 417*x190 - 417* x191 - 417*x192 >= 0 } } Constraint e162 { Definition: { (359 - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204)*x615 - 359*x193 - 359*x194 - 359*x195 - 359*x196 - 359*x197 - 359*x198 - 359*x199 - 359*x200 - 359*x201 - 359*x202 - 359* x203 - 359*x204 >= 0 } } Constraint e163 { Definition: { (193 - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216)*x616 - 193*x205 - 193*x206 - 193*x207 - 193*x208 - 193*x209 - 193*x210 - 193*x211 - 193*x212 - 193*x213 - 193*x214 - 193* x215 - 193*x216 >= 0 } } Constraint e164 { Definition: { (427 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 - x226 - x227 - x228)*x617 - 427*x217 - 427*x218 - 427*x219 - 427*x220 - 427*x221 - 427*x222 - 427*x223 - 427*x224 - 427*x225 - 427*x226 - 427* x227 - 427*x228 >= 0 } } Constraint e165 { Definition: { (347 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240)*x618 - 347*x229 - 347*x230 - 347*x231 - 347*x232 - 347*x233 - 347*x234 - 347*x235 - 347*x236 - 347*x237 - 347*x238 - 347* x239 - 347*x240 >= 0 } } Constraint e166 { Definition: { (218 - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252)*x619 - 218*x241 - 218*x242 - 218*x243 - 218*x244 - 218*x245 - 218*x246 - 218*x247 - 218*x248 - 218*x249 - 218*x250 - 218* x251 - 218*x252 >= 0 } } Constraint e167 { Definition: { (295 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264)*x620 - 295*x253 - 295*x254 - 295*x255 - 295*x256 - 295*x257 - 295*x258 - 295*x259 - 295*x260 - 295*x261 - 295*x262 - 295* x263 - 295*x264 >= 0 } } Constraint e168 { Definition: { (341 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 - x276)*x621 - 341*x265 - 341*x266 - 341*x267 - 341*x268 - 341*x269 - 341*x270 - 341*x271 - 341*x272 - 341*x273 - 341*x274 - 341* x275 - 341*x276 >= 0 } } Constraint e169 { Definition: { (218 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288)*x622 - 218*x277 - 218*x278 - 218*x279 - 218*x280 - 218*x281 - 218*x282 - 218*x283 - 218*x284 - 218*x285 - 218*x286 - 218* x287 - 218*x288 >= 0 } } Constraint e170 { Definition: { (134 - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300)*x623 - 134*x289 - 134*x290 - 134*x291 - 134*x292 - 134*x293 - 134*x294 - 134*x295 - 134*x296 - 134*x297 - 134*x298 - 134* x299 - 134*x300 >= 0 } } Constraint e171 { Definition: { (276 - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312)*x624 - 276*x301 - 276*x302 - 276*x303 - 276*x304 - 276*x305 - 276*x306 - 276*x307 - 276*x308 - 276*x309 - 276*x310 - 276* x311 - 276*x312 >= 0 } } Constraint e172 { Definition: { (134 - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324)*x625 - 134*x313 - 134*x314 - 134*x315 - 134*x316 - 134*x317 - 134*x318 - 134*x319 - 134*x320 - 134*x321 - 134*x322 - 134* x323 - 134*x324 >= 0 } } Constraint e173 { Definition: { (200 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336)*x626 - 200*x325 - 200*x326 - 200*x327 - 200*x328 - 200*x329 - 200*x330 - 200*x331 - 200*x332 - 200*x333 - 200*x334 - 200* x335 - 200*x336 >= 0 } } Constraint e174 { Definition: { (222 - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348)*x627 - 222*x337 - 222*x338 - 222*x339 - 222*x340 - 222*x341 - 222*x342 - 222*x343 - 222*x344 - 222*x345 - 222*x346 - 222* x347 - 222*x348 >= 0 } } Constraint e175 { Definition: { (196 - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360)*x628 - 196*x349 - 196*x350 - 196*x351 - 196*x352 - 196*x353 - 196*x354 - 196*x355 - 196*x356 - 196*x357 - 196*x358 - 196* x359 - 196*x360 >= 0 } } Constraint e176 { Definition: { (200 - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372)*x629 - 200*x361 - 200*x362 - 200*x363 - 200*x364 - 200*x365 - 200*x366 - 200*x367 - 200*x368 - 200*x369 - 200*x370 - 200* x371 - 200*x372 >= 0 } } Constraint e177 { Definition: { (129 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384)*x630 - 129*x373 - 129*x374 - 129*x375 - 129*x376 - 129*x377 - 129*x378 - 129*x379 - 129*x380 - 129*x381 - 129*x382 - 129* x383 - 129*x384 >= 0 } } Constraint e178 { Definition: { (280 - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396)*x631 - 280*x385 - 280*x386 - 280*x387 - 280*x388 - 280*x389 - 280*x390 - 280*x391 - 280*x392 - 280*x393 - 280*x394 - 280* x395 - 280*x396 >= 0 } } Constraint e179 { Definition: { (129 - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 - x406 - x407 - x408)*x632 - 129*x397 - 129*x398 - 129*x399 - 129*x400 - 129*x401 - 129*x402 - 129*x403 - 129*x404 - 129*x405 - 129*x406 - 129* x407 - 129*x408 >= 0 } } Constraint e180 { Definition: { (382 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420)*x633 - 382*x409 - 382*x410 - 382*x411 - 382*x412 - 382*x413 - 382*x414 - 382*x415 - 382*x416 - 382*x417 - 382*x418 - 382* x419 - 382*x420 >= 0 } } Constraint e181 { Definition: { (424 - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432)*x634 - 424*x421 - 424*x422 - 424*x423 - 424*x424 - 424*x425 - 424*x426 - 424*x427 - 424*x428 - 424*x429 - 424*x430 - 424* x431 - 424*x432 >= 0 } } Constraint e182 { Definition: { (119 - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444)*x635 - 119*x433 - 119*x434 - 119*x435 - 119*x436 - 119*x437 - 119*x438 - 119*x439 - 119*x440 - 119*x441 - 119*x442 - 119* x443 - 119*x444 >= 0 } } Constraint e183 { Definition: { (193 - x445 - x446 - x447 - x448 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456)*x636 - 193*x445 - 193*x446 - 193*x447 - 193*x448 - 193*x449 - 193*x450 - 193*x451 - 193*x452 - 193*x453 - 193*x454 - 193* x455 - 193*x456 >= 0 } } Constraint e184 { Definition: { (222 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 - x465 - x466 - x467 - x468)*x637 - 222*x457 - 222*x458 - 222*x459 - 222*x460 - 222*x461 - 222*x462 - 222*x463 - 222*x464 - 222*x465 - 222*x466 - 222* x467 - 222*x468 >= 0 } } Constraint e185 { Definition: { (382 - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479 - x480)*x638 - 382*x469 - 382*x470 - 382*x471 - 382*x472 - 382*x473 - 382*x474 - 382*x475 - 382*x476 - 382*x477 - 382*x478 - 382* x479 - 382*x480 >= 0 } } Constraint e186 { Definition: { (275 - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490 - x491 - x492)*x639 - 275*x481 - 275*x482 - 275*x483 - 275*x484 - 275*x485 - 275*x486 - 275*x487 - 275*x488 - 275*x489 - 275*x490 - 275* x491 - 275*x492 >= 0 } } Constraint e187 { Definition: { (337 - x493 - x494 - x495 - x496 - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504)*x640 - 337*x493 - 337*x494 - 337*x495 - 337*x496 - 337*x497 - 337*x498 - 337*x499 - 337*x500 - 337*x501 - 337*x502 - 337* x503 - 337*x504 >= 0 } } Constraint e188 { Definition: { (398 - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - x514 - x515 - x516)*x641 - 398*x505 - 398*x506 - 398*x507 - 398*x508 - 398*x509 - 398*x510 - 398*x511 - 398*x512 - 398*x513 - 398*x514 - 398* x515 - 398*x516 >= 0 } } Constraint e189 { Definition: { (196 - x517 - x518 - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526 - x527 - x528)*x642 - 196*x517 - 196*x518 - 196*x519 - 196*x520 - 196*x521 - 196*x522 - 196*x523 - 196*x524 - 196*x525 - 196*x526 - 196* x527 - 196*x528 >= 0 } } Constraint e190 { Definition: { (424 - x529 - x530 - x531 - x532 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540)*x643 - 424*x529 - 424*x530 - 424*x531 - 424*x532 - 424*x533 - 424*x534 - 424*x535 - 424*x536 - 424*x537 - 424*x538 - 424* x539 - 424*x540 >= 0 } } Constraint e191 { Definition: { (275 - x541 - x542 - x543 - x544 - x545 - x546 - x547 - x548 - x549 - x550 - x551 - x552)*x644 - 275*x541 - 275*x542 - 275*x543 - 275*x544 - 275*x545 - 275*x546 - 275*x547 - 275*x548 - 275*x549 - 275*x550 - 275* x551 - 275*x552 >= 0 } } Constraint e192 { Definition: { x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 <= 6225 } } Constraint e193 { Definition: { x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 - 293*b553 <= 0 } } Constraint e194 { Definition: { x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 - 192*b554 <= 0 } } Constraint e195 { Definition: { x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 - 417*b555 <= 0 } } Constraint e196 { Definition: { x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 - 427*b556 <= 0 } } Constraint e197 { Definition: { x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 - 295*b557 <= 0 } } Constraint e198 { Definition: { x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 - 280*b558 <= 0 } } Constraint e199 { Definition: { x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 - 337*b559 <= 0 } } Constraint e200 { Definition: { x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 - 293*b560 <= 0 } } Constraint e201 { Definition: { x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 - 341*b561 <= 0 } } Constraint e202 { Definition: { x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 - 276*b562 <= 0 } } Constraint e203 { Definition: { x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 - 119*b563 <= 0 } } Constraint e204 { Definition: { x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 - 192*b564 <= 0 } } Constraint e205 { Definition: { x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 - 347*b565 <= 0 } } Constraint e206 { Definition: { x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 - 398*b566 <= 0 } } Constraint e207 { Definition: { x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 - 359*b567 <= 0 } } Constraint e208 { Definition: { x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 - 417*b568 <= 0 } } Constraint e209 { Definition: { x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 - 359*b569 <= 0 } } Constraint e210 { Definition: { x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 - 193*b570 <= 0 } } Constraint e211 { Definition: { x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 - 427*b571 <= 0 } } Constraint e212 { Definition: { x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 347*b572 <= 0 } } Constraint e213 { Definition: { x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 - 218*b573 <= 0 } } Constraint e214 { Definition: { x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 - 295*b574 <= 0 } } Constraint e215 { Definition: { x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 - 341*b575 <= 0 } } Constraint e216 { Definition: { x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 - 218*b576 <= 0 } } Constraint e217 { Definition: { x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 - 134*b577 <= 0 } } Constraint e218 { Definition: { x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 - 276*b578 <= 0 } } Constraint e219 { Definition: { x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 - 134*b579 <= 0 } } Constraint e220 { Definition: { x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 200*b580 <= 0 } } Constraint e221 { Definition: { x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 - 222*b581 <= 0 } } Constraint e222 { Definition: { x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 - 196*b582 <= 0 } } Constraint e223 { Definition: { x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 - 200*b583 <= 0 } } Constraint e224 { Definition: { x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 - 129*b584 <= 0 } } Constraint e225 { Definition: { x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 - 280*b585 <= 0 } } Constraint e226 { Definition: { x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 - 129*b586 <= 0 } } Constraint e227 { Definition: { x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 382*b587 <= 0 } } Constraint e228 { Definition: { x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 - 424*b588 <= 0 } } Constraint e229 { Definition: { x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 - 119*b589 <= 0 } } Constraint e230 { Definition: { x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 - 193*b590 <= 0 } } Constraint e231 { Definition: { x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 - 222*b591 <= 0 } } Constraint e232 { Definition: { x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 382*b592 <= 0 } } Constraint e233 { Definition: { x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 - 275*b593 <= 0 } } Constraint e234 { Definition: { x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 - 337*b594 <= 0 } } Constraint e235 { Definition: { x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 - 398*b595 <= 0 } } Constraint e236 { Definition: { x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 - 196*b596 <= 0 } } Constraint e237 { Definition: { x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 - 424*b597 <= 0 } } Constraint e238 { Definition: { x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 - 275*b598 <= 0 } } Procedure MainInitialization; MathematicalProgram ndcc12 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ndcc12; } } Procedure MainTermination { Body: { return 1; } } }