## ams_version=1.0 Model Main_ndcc14 { 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 x553 { Range: nonnegative; } Variable x554 { Range: nonnegative; } Variable x555 { Range: nonnegative; } Variable x556 { Range: nonnegative; } Variable x557 { Range: nonnegative; } Variable x558 { Range: nonnegative; } Variable x559 { Range: nonnegative; } Variable x560 { Range: nonnegative; } Variable x561 { Range: nonnegative; } Variable x562 { Range: nonnegative; } Variable x563 { Range: nonnegative; } Variable x564 { Range: nonnegative; } Variable x565 { Range: nonnegative; } Variable x566 { Range: nonnegative; } Variable x567 { Range: nonnegative; } Variable x568 { Range: nonnegative; } Variable x569 { Range: nonnegative; } Variable x570 { Range: nonnegative; } Variable x571 { Range: nonnegative; } Variable x572 { Range: nonnegative; } Variable x573 { Range: nonnegative; } Variable x574 { Range: nonnegative; } Variable x575 { Range: nonnegative; } Variable x576 { Range: nonnegative; } Variable x577 { Range: nonnegative; } Variable x578 { Range: nonnegative; } Variable x579 { Range: nonnegative; } Variable x580 { Range: nonnegative; } Variable x581 { Range: nonnegative; } Variable x582 { Range: nonnegative; } Variable x583 { Range: nonnegative; } Variable x584 { Range: nonnegative; } Variable x585 { Range: nonnegative; } Variable x586 { Range: nonnegative; } Variable x587 { Range: nonnegative; } Variable x588 { Range: nonnegative; } Variable x589 { Range: nonnegative; } Variable x590 { Range: nonnegative; } Variable x591 { Range: nonnegative; } Variable x592 { Range: nonnegative; } Variable x593 { Range: nonnegative; } Variable x594 { Range: nonnegative; } Variable x595 { Range: nonnegative; } Variable x596 { Range: nonnegative; } Variable x597 { Range: nonnegative; } Variable x598 { Range: nonnegative; } 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 x645 { Range: nonnegative; } Variable x646 { Range: nonnegative; } Variable x647 { Range: nonnegative; } Variable x648 { Range: nonnegative; } Variable x649 { Range: nonnegative; } Variable x650 { Range: nonnegative; } Variable x651 { Range: nonnegative; } Variable x652 { Range: nonnegative; } Variable x653 { Range: nonnegative; } Variable x654 { Range: nonnegative; } Variable x655 { Range: nonnegative; } Variable x656 { Range: nonnegative; } Variable x657 { Range: nonnegative; } Variable x658 { Range: nonnegative; } Variable x659 { Range: nonnegative; } Variable x660 { Range: nonnegative; } Variable x661 { Range: nonnegative; } Variable x662 { Range: nonnegative; } Variable x663 { Range: nonnegative; } Variable x664 { Range: nonnegative; } Variable x665 { Range: nonnegative; } Variable x666 { Range: nonnegative; } Variable x667 { Range: nonnegative; } Variable x668 { Range: nonnegative; } Variable x669 { Range: nonnegative; } Variable x670 { Range: nonnegative; } Variable x671 { Range: nonnegative; } Variable x672 { Range: nonnegative; } Variable x673 { Range: nonnegative; } Variable x674 { Range: nonnegative; } Variable x675 { Range: nonnegative; } Variable x676 { Range: nonnegative; } Variable x677 { Range: nonnegative; } Variable x678 { Range: nonnegative; } Variable x679 { Range: nonnegative; } Variable x680 { Range: nonnegative; } Variable x681 { Range: nonnegative; } Variable x682 { Range: nonnegative; } Variable x683 { Range: nonnegative; } Variable x684 { Range: nonnegative; } Variable x685 { Range: nonnegative; } Variable x686 { Range: nonnegative; } Variable x687 { Range: nonnegative; } Variable x688 { Range: nonnegative; } Variable x689 { Range: nonnegative; } Variable x690 { Range: nonnegative; } Variable x691 { Range: nonnegative; } Variable x692 { Range: nonnegative; } Variable x693 { Range: nonnegative; } Variable x694 { Range: nonnegative; } Variable x695 { Range: nonnegative; } Variable x696 { Range: nonnegative; } Variable x697 { Range: nonnegative; } Variable x698 { Range: nonnegative; } Variable x699 { Range: nonnegative; } Variable x700 { Range: nonnegative; } Variable x701 { Range: nonnegative; } Variable x702 { Range: nonnegative; } Variable x703 { Range: nonnegative; } Variable x704 { Range: nonnegative; } Variable x705 { Range: nonnegative; } Variable x706 { Range: nonnegative; } Variable x707 { Range: nonnegative; } Variable x708 { Range: nonnegative; } Variable x709 { Range: nonnegative; } Variable x710 { Range: nonnegative; } Variable x711 { Range: nonnegative; } Variable x712 { Range: nonnegative; } Variable x713 { Range: nonnegative; } Variable x714 { Range: nonnegative; } Variable x715 { Range: nonnegative; } Variable x716 { Range: nonnegative; } Variable x717 { Range: nonnegative; } Variable x718 { Range: nonnegative; } Variable x719 { Range: nonnegative; } Variable x720 { Range: nonnegative; } Variable x721 { Range: nonnegative; } Variable x722 { Range: nonnegative; } Variable x723 { Range: nonnegative; } Variable x724 { Range: nonnegative; } Variable x725 { Range: nonnegative; } Variable x726 { Range: nonnegative; } Variable x727 { Range: nonnegative; } Variable x728 { Range: nonnegative; } Variable x729 { Range: nonnegative; } Variable x730 { Range: nonnegative; } Variable x731 { Range: nonnegative; } Variable x732 { Range: nonnegative; } Variable x733 { Range: nonnegative; } Variable x734 { Range: nonnegative; } Variable x735 { Range: nonnegative; } Variable x736 { Range: nonnegative; } Variable x737 { Range: nonnegative; } Variable x738 { Range: nonnegative; } Variable x739 { Range: nonnegative; } Variable x740 { Range: nonnegative; } Variable x741 { Range: nonnegative; } Variable x742 { Range: nonnegative; } Variable x743 { Range: nonnegative; } Variable x744 { Range: nonnegative; } Variable x745 { Range: nonnegative; } Variable x746 { Range: nonnegative; } Variable x747 { Range: nonnegative; } Variable x748 { Range: nonnegative; } Variable x749 { Range: nonnegative; } Variable x750 { Range: nonnegative; } Variable x751 { Range: nonnegative; } Variable x752 { Range: nonnegative; } Variable x753 { Range: nonnegative; } Variable x754 { Range: nonnegative; } Variable x755 { Range: nonnegative; } Variable x756 { Range: nonnegative; } Variable b757 { Range: binary; } Variable b758 { Range: binary; } Variable b759 { Range: binary; } Variable b760 { Range: binary; } Variable b761 { Range: binary; } Variable b762 { Range: binary; } Variable b763 { Range: binary; } Variable b764 { Range: binary; } Variable b765 { Range: binary; } Variable b766 { Range: binary; } Variable b767 { Range: binary; } Variable b768 { Range: binary; } Variable b769 { Range: binary; } Variable b770 { Range: binary; } Variable b771 { Range: binary; } Variable b772 { Range: binary; } Variable b773 { Range: binary; } Variable b774 { Range: binary; } Variable b775 { Range: binary; } Variable b776 { Range: binary; } Variable b777 { Range: binary; } Variable b778 { Range: binary; } Variable b779 { Range: binary; } Variable b780 { Range: binary; } Variable b781 { Range: binary; } Variable b782 { Range: binary; } Variable b783 { Range: binary; } Variable b784 { Range: binary; } Variable b785 { Range: binary; } Variable b786 { Range: binary; } Variable b787 { Range: binary; } Variable b788 { Range: binary; } Variable b789 { Range: binary; } Variable b790 { Range: binary; } Variable b791 { Range: binary; } Variable b792 { Range: binary; } Variable b793 { Range: binary; } Variable b794 { Range: binary; } Variable b795 { Range: binary; } Variable b796 { Range: binary; } Variable b797 { Range: binary; } Variable b798 { Range: binary; } Variable b799 { Range: binary; } Variable b800 { Range: binary; } Variable b801 { Range: binary; } Variable b802 { Range: binary; } Variable b803 { Range: binary; } Variable b804 { Range: binary; } Variable b805 { Range: binary; } Variable b806 { Range: binary; } Variable b807 { Range: binary; } Variable b808 { Range: binary; } Variable b809 { Range: binary; } Variable b810 { Range: binary; } Variable x811 { Range: nonnegative; } Variable x812 { Range: nonnegative; } Variable x813 { Range: nonnegative; } Variable x814 { Range: nonnegative; } Variable x815 { Range: nonnegative; } Variable x816 { Range: nonnegative; } Variable x817 { Range: nonnegative; } Variable x818 { Range: nonnegative; } Variable x819 { Range: nonnegative; } Variable x820 { Range: nonnegative; } Variable x821 { Range: nonnegative; } Variable x822 { Range: nonnegative; } Variable x823 { Range: nonnegative; } Variable x824 { Range: nonnegative; } Variable x825 { Range: nonnegative; } Variable x826 { Range: nonnegative; } Variable x827 { Range: nonnegative; } Variable x828 { Range: nonnegative; } Variable x829 { Range: nonnegative; } Variable x830 { Range: nonnegative; } Variable x831 { Range: nonnegative; } Variable x832 { Range: nonnegative; } Variable x833 { Range: nonnegative; } Variable x834 { Range: nonnegative; } Variable x835 { Range: nonnegative; } Variable x836 { Range: nonnegative; } Variable x837 { Range: nonnegative; } Variable x838 { Range: nonnegative; } Variable x839 { Range: nonnegative; } Variable x840 { Range: nonnegative; } Variable x841 { Range: nonnegative; } Variable x842 { Range: nonnegative; } Variable x843 { Range: nonnegative; } Variable x844 { Range: nonnegative; } Variable x845 { Range: nonnegative; } Variable x846 { Range: nonnegative; } Variable x847 { Range: nonnegative; } Variable x848 { Range: nonnegative; } Variable x849 { Range: nonnegative; } Variable x850 { Range: nonnegative; } Variable x851 { Range: nonnegative; } Variable x852 { Range: nonnegative; } Variable x853 { Range: nonnegative; } Variable x854 { Range: nonnegative; } Variable x855 { Range: nonnegative; } Variable x856 { Range: nonnegative; } Variable x857 { Range: nonnegative; } Variable x858 { Range: nonnegative; } Variable x859 { Range: nonnegative; } Variable x860 { Range: nonnegative; } Variable x861 { Range: nonnegative; } Variable x862 { Range: nonnegative; } Variable x863 { Range: nonnegative; } Variable x864 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 1.247902153*b757 - 3.853248292*b758 - 2.753881396*b759 - 1.247902153*b760 - 2.115303802*b761 - 2.073122818*b762 - 3.87564082*b763 - 2.537458771*b764 - 3.897053494*b765 - 3.223097071*b766 - 3.077538217*b767 - 3.222690685*b768 - 3.045368992*b769 - 1.256398027*b770 - 1.321513474*b771 - 2.115303802*b772 - 3.077538217*b773 - 3.213749761*b774 - 1.140696436*b775 - 3.853248292*b776 - 3.87564082*b777 - 1.796801476*b778 - 1.930844545*b779 - 2.073122818*b780 - 2.537458771*b781 - 1.796801476*b782 - 2.930918827*b783 - 2.753881396*b784 - 3.897053494*b785 - 3.572642632*b786 - 2.15701522*b787 - 1.061422612*b788 - 3.222690685*b789 - 3.213749761*b790 - 3.867132154*b791 - 3.572642632*b792 - 3.838723369*b793 - 3.223097071*b794 - 3.045368992*b795 - 2.15701522*b796 - 3.867132154*b797 - 3.838723369*b798 - 3.613241704*b799 - 1.140696436*b800 - 2.930918827*b801 - 3.293067286*b802 - 1.256398027*b803 - 1.737076687*b804 - 1.321513474*b805 - 1.930844545*b806 - 1.061422612*b807 - 3.613241704*b808 - 3.293067286*b809 - 1.737076687*b810 + objvar = 0 } } Constraint e2 { Definition: - x1 - x15 - x29 + x43 + x267 + x379 = -207; } Constraint e3 { Definition: - x2 - x16 - x30 + x44 + x268 + x380 = 8; } Constraint e4 { Definition: - x3 - x17 - x31 + x45 + x269 + x381 = 25; } Constraint e5 { Definition: - x4 - x18 - x32 + x46 + x270 + x382 = 16; } Constraint e6 { Definition: - x5 - x19 - x33 + x47 + x271 + x383 = 17; } Constraint e7 { Definition: - x6 - x20 - x34 + x48 + x272 + x384 = 6; } Constraint e8 { Definition: - x7 - x21 - x35 + x49 + x273 + x385 = 14; } Constraint e9 { Definition: - x8 - x22 - x36 + x50 + x274 + x386 = 19; } Constraint e10 { Definition: - x9 - x23 - x37 + x51 + x275 + x387 = 8; } Constraint e11 { Definition: - x10 - x24 - x38 + x52 + x276 + x388 = 17; } Constraint e12 { Definition: - x11 - x25 - x39 + x53 + x277 + x389 = 15; } Constraint e13 { Definition: - x12 - x26 - x40 + x54 + x278 + x390 = 19; } Constraint e14 { Definition: - x13 - x27 - x41 + x55 + x279 + x391 = 13; } Constraint e15 { Definition: - x14 - x28 - x42 + x56 + x280 + x392 = 21; } Constraint e16 { Definition: x1 - x43 - x57 - x71 + x211 + x323 = 11; } Constraint e17 { Definition: x2 - x44 - x58 - x72 + x212 + x324 = -165; } Constraint e18 { Definition: x3 - x45 - x59 - x73 + x213 + x325 = 11; } Constraint e19 { Definition: x4 - x46 - x60 - x74 + x214 + x326 = 11; } Constraint e20 { Definition: x5 - x47 - x61 - x75 + x215 + x327 = 23; } Constraint e21 { Definition: x6 - x48 - x62 - x76 + x216 + x328 = 16; } Constraint e22 { Definition: x7 - x49 - x63 - x77 + x217 + x329 = 23; } Constraint e23 { Definition: x8 - x50 - x64 - x78 + x218 + x330 = 15; } Constraint e24 { Definition: x9 - x51 - x65 - x79 + x219 + x331 = 14; } Constraint e25 { Definition: x10 - x52 - x66 - x80 + x220 + x332 = 13; } Constraint e26 { Definition: x11 - x53 - x67 - x81 + x221 + x333 = 10; } Constraint e27 { Definition: x12 - x54 - x68 - x82 + x222 + x334 = 16; } Constraint e28 { Definition: x13 - x55 - x69 - x83 + x223 + x335 = 21; } Constraint e29 { Definition: x14 - x56 - x70 - x84 + x224 + x336 = 13; } Constraint e30 { Definition: - x85 - x99 - x113 - x127 + x281 + x337 + x393 + x519 = 24; } Constraint e31 { Definition: - x86 - x100 - x114 - x128 + x282 + x338 + x394 + x520 = 14; } Constraint e32 { Definition: - x87 - x101 - x115 - x129 + x283 + x339 + x395 + x521 = -171; } Constraint e33 { Definition: - x88 - x102 - x116 - x130 + x284 + x340 + x396 + x522 = 19; } Constraint e34 { Definition: - x89 - x103 - x117 - x131 + x285 + x341 + x397 + x523 = 11; } Constraint e35 { Definition: - x90 - x104 - x118 - x132 + x286 + x342 + x398 + x524 = 15; } Constraint e36 { Definition: - x91 - x105 - x119 - x133 + x287 + x343 + x399 + x525 = 17; } Constraint e37 { Definition: - x92 - x106 - x120 - x134 + x288 + x344 + x400 + x526 = 5; } Constraint e38 { Definition: - x93 - x107 - x121 - x135 + x289 + x345 + x401 + x527 = 21; } Constraint e39 { Definition: - x94 - x108 - x122 - x136 + x290 + x346 + x402 + x528 = 23; } Constraint e40 { Definition: - x95 - x109 - x123 - x137 + x291 + x347 + x403 + x529 = 6; } Constraint e41 { Definition: - x96 - x110 - x124 - x138 + x292 + x348 + x404 + x530 = 22; } Constraint e42 { Definition: - x97 - x111 - x125 - x139 + x293 + x349 + x405 + x531 = 7; } Constraint e43 { Definition: - x98 - x112 - x126 - x140 + x294 + x350 + x406 + x532 = 6; } Constraint e44 { Definition: { - x141 - x155 - x169 - x183 - x197 + x225 + x449 + x533 + x645 + x673 = 23 } } Constraint e45 { Definition: { - x142 - x156 - x170 - x184 - x198 + x226 + x450 + x534 + x646 + x674 = 17 } } Constraint e46 { Definition: { - x143 - x157 - x171 - x185 - x199 + x227 + x451 + x535 + x647 + x675 = 7 } } Constraint e47 { Definition: { - x144 - x158 - x172 - x186 - x200 + x228 + x452 + x536 + x648 + x676 = -199 } } Constraint e48 { Definition: { - x145 - x159 - x173 - x187 - x201 + x229 + x453 + x537 + x649 + x677 = 12 } } Constraint e49 { Definition: { - x146 - x160 - x174 - x188 - x202 + x230 + x454 + x538 + x650 + x678 = 22 } } Constraint e50 { Definition: { - x147 - x161 - x175 - x189 - x203 + x231 + x455 + x539 + x651 + x679 = 18 } } Constraint e51 { Definition: { - x148 - x162 - x176 - x190 - x204 + x232 + x456 + x540 + x652 + x680 = 7 } } Constraint e52 { Definition: { - x149 - x163 - x177 - x191 - x205 + x233 + x457 + x541 + x653 + x681 = 9 } } Constraint e53 { Definition: { - x150 - x164 - x178 - x192 - x206 + x234 + x458 + x542 + x654 + x682 = 10 } } Constraint e54 { Definition: { - x151 - x165 - x179 - x193 - x207 + x235 + x459 + x543 + x655 + x683 = 17 } } Constraint e55 { Definition: { - x152 - x166 - x180 - x194 - x208 + x236 + x460 + x544 + x656 + x684 = 11 } } Constraint e56 { Definition: { - x153 - x167 - x181 - x195 - x209 + x237 + x461 + x545 + x657 + x685 = 23 } } Constraint e57 { Definition: { - x154 - x168 - x182 - x196 - x210 + x238 + x462 + x546 + x658 + x686 = 15 } } Constraint e58 { Definition: x57 + x141 - x211 - x225 - x239 - x253 + x463 + x603 = 15; } Constraint e59 { Definition: x58 + x142 - x212 - x226 - x240 - x254 + x464 + x604 = 25; } Constraint e60 { Definition: x59 + x143 - x213 - x227 - x241 - x255 + x465 + x605 = 23; } Constraint e61 { Definition: x60 + x144 - x214 - x228 - x242 - x256 + x466 + x606 = 5; } Constraint e62 { Definition: x61 + x145 - x215 - x229 - x243 - x257 + x467 + x607 = -218; } Constraint e63 { Definition: x62 + x146 - x216 - x230 - x244 - x258 + x468 + x608 = 25; } Constraint e64 { Definition: x63 + x147 - x217 - x231 - x245 - x259 + x469 + x609 = 16; } Constraint e65 { Definition: x64 + x148 - x218 - x232 - x246 - x260 + x470 + x610 = 12; } Constraint e66 { Definition: x65 + x149 - x219 - x233 - x247 - x261 + x471 + x611 = 7; } Constraint e67 { Definition: x66 + x150 - x220 - x234 - x248 - x262 + x472 + x612 = 5; } Constraint e68 { Definition: x67 + x151 - x221 - x235 - x249 - x263 + x473 + x613 = 19; } Constraint e69 { Definition: x68 + x152 - x222 - x236 - x250 - x264 + x474 + x614 = 12; } Constraint e70 { Definition: x69 + x153 - x223 - x237 - x251 - x265 + x475 + x615 = 23; } Constraint e71 { Definition: x70 + x154 - x224 - x238 - x252 - x266 + x476 + x616 = 19; } Constraint e72 { Definition: x15 + x85 - x267 - x281 - x295 - x309 + x351 + x687 = 12; } Constraint e73 { Definition: x16 + x86 - x268 - x282 - x296 - x310 + x352 + x688 = 6; } Constraint e74 { Definition: x17 + x87 - x269 - x283 - x297 - x311 + x353 + x689 = 10; } Constraint e75 { Definition: x18 + x88 - x270 - x284 - x298 - x312 + x354 + x690 = 11; } Constraint e76 { Definition: x19 + x89 - x271 - x285 - x299 - x313 + x355 + x691 = 14; } Constraint e77 { Definition: x20 + x90 - x272 - x286 - x300 - x314 + x356 + x692 = -210; } Constraint e78 { Definition: x21 + x91 - x273 - x287 - x301 - x315 + x357 + x693 = 12; } Constraint e79 { Definition: x22 + x92 - x274 - x288 - x302 - x316 + x358 + x694 = 17; } Constraint e80 { Definition: x23 + x93 - x275 - x289 - x303 - x317 + x359 + x695 = 15; } Constraint e81 { Definition: x24 + x94 - x276 - x290 - x304 - x318 + x360 + x696 = 21; } Constraint e82 { Definition: x25 + x95 - x277 - x291 - x305 - x319 + x361 + x697 = 22; } Constraint e83 { Definition: x26 + x96 - x278 - x292 - x306 - x320 + x362 + x698 = 7; } Constraint e84 { Definition: x27 + x97 - x279 - x293 - x307 - x321 + x363 + x699 = 6; } Constraint e85 { Definition: x28 + x98 - x280 - x294 - x308 - x322 + x364 + x700 = 22; } Constraint e86 { Definition: x71 + x99 + x295 - x323 - x337 - x351 - x365 + x617 = 17; } Constraint e87 { Definition: x72 + x100 + x296 - x324 - x338 - x352 - x366 + x618 = 25; } Constraint e88 { Definition: x73 + x101 + x297 - x325 - x339 - x353 - x367 + x619 = 14; } Constraint e89 { Definition: x74 + x102 + x298 - x326 - x340 - x354 - x368 + x620 = 13; } Constraint e90 { Definition: x75 + x103 + x299 - x327 - x341 - x355 - x369 + x621 = 12; } Constraint e91 { Definition: x76 + x104 + x300 - x328 - x342 - x356 - x370 + x622 = 8; } Constraint e92 { Definition: x77 + x105 + x301 - x329 - x343 - x357 - x371 + x623 = -196; } Constraint e93 { Definition: x78 + x106 + x302 - x330 - x344 - x358 - x372 + x624 = 5; } Constraint e94 { Definition: x79 + x107 + x303 - x331 - x345 - x359 - x373 + x625 = 13; } Constraint e95 { Definition: x80 + x108 + x304 - x332 - x346 - x360 - x374 + x626 = 8; } Constraint e96 { Definition: x81 + x109 + x305 - x333 - x347 - x361 - x375 + x627 = 20; } Constraint e97 { Definition: x82 + x110 + x306 - x334 - x348 - x362 - x376 + x628 = 16; } Constraint e98 { Definition: x83 + x111 + x307 - x335 - x349 - x363 - x377 + x629 = 18; } Constraint e99 { Definition: x84 + x112 + x308 - x336 - x350 - x364 - x378 + x630 = 9; } Constraint e100 { Definition: { x29 + x113 - x379 - x393 - x407 - x421 - x435 + x491 + x547 + x701 = 7 } } Constraint e101 { Definition: { x30 + x114 - x380 - x394 - x408 - x422 - x436 + x492 + x548 + x702 = 6 } } Constraint e102 { Definition: { x31 + x115 - x381 - x395 - x409 - x423 - x437 + x493 + x549 + x703 = 8 } } Constraint e103 { Definition: { x32 + x116 - x382 - x396 - x410 - x424 - x438 + x494 + x550 + x704 = 22 } } Constraint e104 { Definition: { x33 + x117 - x383 - x397 - x411 - x425 - x439 + x495 + x551 + x705 = 23 } } Constraint e105 { Definition: { x34 + x118 - x384 - x398 - x412 - x426 - x440 + x496 + x552 + x706 = 14 } } Constraint e106 { Definition: { x35 + x119 - x385 - x399 - x413 - x427 - x441 + x497 + x553 + x707 = 19 } } Constraint e107 { Definition: { x36 + x120 - x386 - x400 - x414 - x428 - x442 + x498 + x554 + x708 = -174 } } Constraint e108 { Definition: { x37 + x121 - x387 - x401 - x415 - x429 - x443 + x499 + x555 + x709 = 12 } } Constraint e109 { Definition: { x38 + x122 - x388 - x402 - x416 - x430 - x444 + x500 + x556 + x710 = 7 } } Constraint e110 { Definition: { x39 + x123 - x389 - x403 - x417 - x431 - x445 + x501 + x557 + x711 = 23 } } Constraint e111 { Definition: { x40 + x124 - x390 - x404 - x418 - x432 - x446 + x502 + x558 + x712 = 16 } } Constraint e112 { Definition: { x41 + x125 - x391 - x405 - x419 - x433 - x447 + x503 + x559 + x713 = 10 } } Constraint e113 { Definition: { x42 + x126 - x392 - x406 - x420 - x434 - x448 + x504 + x560 + x714 = 23 } } Constraint e114 { Definition: x155 + x239 - x449 - x463 - x477 + x561 = 9; } Constraint e115 { Definition: x156 + x240 - x450 - x464 - x478 + x562 = 14; } Constraint e116 { Definition: x157 + x241 - x451 - x465 - x479 + x563 = 6; } Constraint e117 { Definition: x158 + x242 - x452 - x466 - x480 + x564 = 21; } Constraint e118 { Definition: x159 + x243 - x453 - x467 - x481 + x565 = 14; } Constraint e119 { Definition: x160 + x244 - x454 - x468 - x482 + x566 = 22; } Constraint e120 { Definition: x161 + x245 - x455 - x469 - x483 + x567 = 6; } Constraint e121 { Definition: x162 + x246 - x456 - x470 - x484 + x568 = 17; } Constraint e122 { Definition: x163 + x247 - x457 - x471 - x485 + x569 = -198; } Constraint e123 { Definition: x164 + x248 - x458 - x472 - x486 + x570 = 19; } Constraint e124 { Definition: x165 + x249 - x459 - x473 - x487 + x571 = 15; } Constraint e125 { Definition: x166 + x250 - x460 - x474 - x488 + x572 = 6; } Constraint e126 { Definition: x167 + x251 - x461 - x475 - x489 + x573 = 19; } Constraint e127 { Definition: x168 + x252 - x462 - x476 - x490 + x574 = 15; } Constraint e128 { Definition: x407 - x491 - x505 + x575 = 24; } Constraint e129 { Definition: x408 - x492 - x506 + x576 = 9; } Constraint e130 { Definition: x409 - x493 - x507 + x577 = 13; } Constraint e131 { Definition: x410 - x494 - x508 + x578 = 22; } Constraint e132 { Definition: x411 - x495 - x509 + x579 = 13; } Constraint e133 { Definition: x412 - x496 - x510 + x580 = 20; } Constraint e134 { Definition: x413 - x497 - x511 + x581 = 15; } Constraint e135 { Definition: x414 - x498 - x512 + x582 = 24; } Constraint e136 { Definition: x415 - x499 - x513 + x583 = 22; } Constraint e137 { Definition: x416 - x500 - x514 + x584 = -168; } Constraint e138 { Definition: x417 - x501 - x515 + x585 = 22; } Constraint e139 { Definition: x418 - x502 - x516 + x586 = 16; } Constraint e140 { Definition: x419 - x503 - x517 + x587 = 7; } Constraint e141 { Definition: x420 - x504 - x518 + x588 = 11; } Constraint e142 { Definition: { x127 + x169 + x421 + x477 + x505 - x519 - x533 - x547 - x561 - x575 - x589 + x715 = 23 } } Constraint e143 { Definition: { x128 + x170 + x422 + x478 + x506 - x520 - x534 - x548 - x562 - x576 - x590 + x716 = 6 } } Constraint e144 { Definition: { x129 + x171 + x423 + x479 + x507 - x521 - x535 - x549 - x563 - x577 - x591 + x717 = 12 } } Constraint e145 { Definition: { x130 + x172 + x424 + x480 + x508 - x522 - x536 - x550 - x564 - x578 - x592 + x718 = 11 } } Constraint e146 { Definition: { x131 + x173 + x425 + x481 + x509 - x523 - x537 - x551 - x565 - x579 - x593 + x719 = 20 } } Constraint e147 { Definition: { x132 + x174 + x426 + x482 + x510 - x524 - x538 - x552 - x566 - x580 - x594 + x720 = 21 } } Constraint e148 { Definition: { x133 + x175 + x427 + x483 + x511 - x525 - x539 - x553 - x567 - x581 - x595 + x721 = 20 } } Constraint e149 { Definition: { x134 + x176 + x428 + x484 + x512 - x526 - x540 - x554 - x568 - x582 - x596 + x722 = 23 } } Constraint e150 { Definition: { x135 + x177 + x429 + x485 + x513 - x527 - x541 - x555 - x569 - x583 - x597 + x723 = 21 } } Constraint e151 { Definition: { x136 + x178 + x430 + x486 + x514 - x528 - x542 - x556 - x570 - x584 - x598 + x724 = 6 } } Constraint e152 { Definition: { x137 + x179 + x431 + x487 + x515 - x529 - x543 - x557 - x571 - x585 - x599 + x725 = -205 } } Constraint e153 { Definition: { x138 + x180 + x432 + x488 + x516 - x530 - x544 - x558 - x572 - x586 - x600 + x726 = 13 } } Constraint e154 { Definition: { x139 + x181 + x433 + x489 + x517 - x531 - x545 - x559 - x573 - x587 - x601 + x727 = 14 } } Constraint e155 { Definition: { x140 + x182 + x434 + x490 + x518 - x532 - x546 - x560 - x574 - x588 - x602 + x728 = 17 } } Constraint e156 { Definition: x253 + x365 - x603 - x617 - x631 + x729 = 14; } Constraint e157 { Definition: x254 + x366 - x604 - x618 - x632 + x730 = 17; } Constraint e158 { Definition: x255 + x367 - x605 - x619 - x633 + x731 = 7; } Constraint e159 { Definition: x256 + x368 - x606 - x620 - x634 + x732 = 15; } Constraint e160 { Definition: x257 + x369 - x607 - x621 - x635 + x733 = 24; } Constraint e161 { Definition: x258 + x370 - x608 - x622 - x636 + x734 = 15; } Constraint e162 { Definition: x259 + x371 - x609 - x623 - x637 + x735 = 10; } Constraint e163 { Definition: x260 + x372 - x610 - x624 - x638 + x736 = 15; } Constraint e164 { Definition: x261 + x373 - x611 - x625 - x639 + x737 = 20; } Constraint e165 { Definition: x262 + x374 - x612 - x626 - x640 + x738 = 11; } Constraint e166 { Definition: x263 + x375 - x613 - x627 - x641 + x739 = 6; } Constraint e167 { Definition: x264 + x376 - x614 - x628 - x642 + x740 = -175; } Constraint e168 { Definition: x265 + x377 - x615 - x629 - x643 + x741 = 6; } Constraint e169 { Definition: x266 + x378 - x616 - x630 - x644 + x742 = 6; } Constraint e170 { Definition: x183 - x645 - x659 + x743 = 13; } Constraint e171 { Definition: x184 - x646 - x660 + x744 = 9; } Constraint e172 { Definition: x185 - x647 - x661 + x745 = 10; } Constraint e173 { Definition: x186 - x648 - x662 + x746 = 15; } Constraint e174 { Definition: x187 - x649 - x663 + x747 = 13; } Constraint e175 { Definition: x188 - x650 - x664 + x748 = 19; } Constraint e176 { Definition: x189 - x651 - x665 + x749 = 10; } Constraint e177 { Definition: x190 - x652 - x666 + x750 = 10; } Constraint e178 { Definition: x191 - x653 - x667 + x751 = 20; } Constraint e179 { Definition: x192 - x654 - x668 + x752 = 15; } Constraint e180 { Definition: x193 - x655 - x669 + x753 = 17; } Constraint e181 { Definition: x194 - x656 - x670 + x754 = 15; } Constraint e182 { Definition: x195 - x657 - x671 + x755 = -182; } Constraint e183 { Definition: x196 - x658 - x672 + x756 = 13; } Constraint e184 { Definition: { x197 + x309 + x435 + x589 + x631 + x659 - x673 - x687 - x701 - x715 - x729 - x743 = 15 } } Constraint e185 { Definition: { x198 + x310 + x436 + x590 + x632 + x660 - x674 - x688 - x702 - x716 - x730 - x744 = 9 } } Constraint e186 { Definition: { x199 + x311 + x437 + x591 + x633 + x661 - x675 - x689 - x703 - x717 - x731 - x745 = 25 } } Constraint e187 { Definition: { x200 + x312 + x438 + x592 + x634 + x662 - x676 - x690 - x704 - x718 - x732 - x746 = 18 } } Constraint e188 { Definition: { x201 + x313 + x439 + x593 + x635 + x663 - x677 - x691 - x705 - x719 - x733 - x747 = 22 } } Constraint e189 { Definition: { x202 + x314 + x440 + x594 + x636 + x664 - x678 - x692 - x706 - x720 - x734 - x748 = 7 } } Constraint e190 { Definition: { x203 + x315 + x441 + x595 + x637 + x665 - x679 - x693 - x707 - x721 - x735 - x749 = 16 } } Constraint e191 { Definition: { x204 + x316 + x442 + x596 + x638 + x666 - x680 - x694 - x708 - x722 - x736 - x750 = 5 } } Constraint e192 { Definition: { x205 + x317 + x443 + x597 + x639 + x667 - x681 - x695 - x709 - x723 - x737 - x751 = 16 } } Constraint e193 { Definition: { x206 + x318 + x444 + x598 + x640 + x668 - x682 - x696 - x710 - x724 - x738 - x752 = 13 } } Constraint e194 { Definition: { x207 + x319 + x445 + x599 + x641 + x669 - x683 - x697 - x711 - x725 - x739 - x753 = 13 } } Constraint e195 { Definition: { x208 + x320 + x446 + x600 + x642 + x670 - x684 - x698 - x712 - x726 - x740 - x754 = 6 } } Constraint e196 { Definition: { x209 + x321 + x447 + x601 + x643 + x671 - x685 - x699 - x713 - x727 - x741 - x755 = 15 } } Constraint e197 { Definition: { x210 + x322 + x448 + x602 + x644 + x672 - x686 - x700 - x714 - x728 - x742 - x756 = -190 } } Constraint e198 { Definition: { (266 - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13 - x14)*x811 - 266*x1 - 266*x2 - 266*x3 - 266*x4 - 266*x5 - 266*x6 - 266*x7 - 266*x8 - 266*x9 - 266*x10 - 266*x11 - 266*x12 - 266*x13 - 266* x14 >= 0 } } Constraint e199 { Definition: { (330 - x15 - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - x25 - x26 - x27 - x28)*x812 - 330*x15 - 330*x16 - 330*x17 - 330*x18 - 330* x19 - 330*x20 - 330*x21 - 330*x22 - 330*x23 - 330*x24 - 330*x25 - 330* x26 - 330*x27 - 330*x28 >= 0 } } Constraint e200 { Definition: { (116 - x29 - x30 - x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x41 - x42)*x813 - 116*x29 - 116*x30 - 116*x31 - 116*x32 - 116* x33 - 116*x34 - 116*x35 - 116*x36 - 116*x37 - 116*x38 - 116*x39 - 116* x40 - 116*x41 - 116*x42 >= 0 } } Constraint e201 { Definition: { (266 - x43 - x44 - x45 - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56)*x814 - 266*x43 - 266*x44 - 266*x45 - 266*x46 - 266* x47 - 266*x48 - 266*x49 - 266*x50 - 266*x51 - 266*x52 - 266*x53 - 266* x54 - 266*x55 - 266*x56 >= 0 } } Constraint e202 { Definition: { (425 - x57 - x58 - x59 - x60 - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70)*x815 - 425*x57 - 425*x58 - 425*x59 - 425*x60 - 425* x61 - 425*x62 - 425*x63 - 425*x64 - 425*x65 - 425*x66 - 425*x67 - 425* x68 - 425*x69 - 425*x70 >= 0 } } Constraint e203 { Definition: { (359 - x71 - x72 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84)*x816 - 359*x71 - 359*x72 - 359*x73 - 359*x74 - 359* x75 - 359*x76 - 359*x77 - 359*x78 - 359*x79 - 359*x80 - 359*x81 - 359* x82 - 359*x83 - 359*x84 >= 0 } } Constraint e204 { Definition: { (406 - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96 - x97 - x98)*x817 - 406*x85 - 406*x86 - 406*x87 - 406*x88 - 406* x89 - 406*x90 - 406*x91 - 406*x92 - 406*x93 - 406*x94 - 406*x95 - 406* x96 - 406*x97 - 406*x98 >= 0 } } Constraint e205 { Definition: { (223 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 - x108 - x109 - x110 - x111 - x112)*x818 - 223*x99 - 223*x100 - 223*x101 - 223*x102 - 223*x103 - 223*x104 - 223*x105 - 223*x106 - 223*x107 - 223 *x108 - 223*x109 - 223*x110 - 223*x111 - 223*x112 >= 0 } } Constraint e206 { Definition: { (248 - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121 - x122 - x123 - x124 - x125 - x126)*x819 - 248*x113 - 248*x114 - 248*x115 - 248*x116 - 248*x117 - 248*x118 - 248*x119 - 248*x120 - 248*x121 - 248 *x122 - 248*x123 - 248*x124 - 248*x125 - 248*x126 >= 0 } } Constraint e207 { Definition: { (363 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140)*x820 - 363*x127 - 363*x128 - 363*x129 - 363*x130 - 363*x131 - 363*x132 - 363*x133 - 363*x134 - 363*x135 - 363 *x136 - 363*x137 - 363*x138 - 363*x139 - 363*x140 >= 0 } } Constraint e208 { Definition: { (227 - x141 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154)*x821 - 227*x141 - 227*x142 - 227*x143 - 227*x144 - 227*x145 - 227*x146 - 227*x147 - 227*x148 - 227*x149 - 227 *x150 - 227*x151 - 227*x152 - 227*x153 - 227*x154 >= 0 } } Constraint e209 { Definition: { (437 - x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166 - x167 - x168)*x822 - 437*x155 - 437*x156 - 437*x157 - 437*x158 - 437*x159 - 437*x160 - 437*x161 - 437*x162 - 437*x163 - 437 *x164 - 437*x165 - 437*x166 - 437*x167 - 437*x168 >= 0 } } Constraint e210 { Definition: { (283 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 - x181 - x182)*x823 - 283*x169 - 283*x170 - 283*x171 - 283*x172 - 283*x173 - 283*x174 - 283*x175 - 283*x176 - 283*x177 - 283 *x178 - 283*x179 - 283*x180 - 283*x181 - 283*x182 >= 0 } } Constraint e211 { Definition: { (419 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 - x193 - x194 - x195 - x196)*x824 - 419*x183 - 419*x184 - 419*x185 - 419*x186 - 419*x187 - 419*x188 - 419*x189 - 419*x190 - 419*x191 - 419 *x192 - 419*x193 - 419*x194 - 419*x195 - 419*x196 >= 0 } } Constraint e212 { Definition: { (377 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 - x210)*x825 - 377*x197 - 377*x198 - 377*x199 - 377*x200 - 377*x201 - 377*x202 - 377*x203 - 377*x204 - 377*x205 - 377 *x206 - 377*x207 - 377*x208 - 377*x209 - 377*x210 >= 0 } } Constraint e213 { Definition: { (425 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224)*x826 - 425*x211 - 425*x212 - 425*x213 - 425*x214 - 425*x215 - 425*x216 - 425*x217 - 425*x218 - 425*x219 - 425 *x220 - 425*x221 - 425*x222 - 425*x223 - 425*x224 >= 0 } } Constraint e214 { Definition: { (227 - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238)*x827 - 227*x225 - 227*x226 - 227*x227 - 227*x228 - 227*x229 - 227*x230 - 227*x231 - 227*x232 - 227*x233 - 227 *x234 - 227*x235 - 227*x236 - 227*x237 - 227*x238 >= 0 } } Constraint e215 { Definition: { (428 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252)*x828 - 428*x239 - 428*x240 - 428*x241 - 428*x242 - 428*x243 - 428*x244 - 428*x245 - 428*x246 - 428*x247 - 428 *x248 - 428*x249 - 428*x250 - 428*x251 - 428*x252 >= 0 } } Constraint e216 { Definition: { (252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266)*x829 - 252*x253 - 252*x254 - 252*x255 - 252*x256 - 252*x257 - 252*x258 - 252*x259 - 252*x260 - 252*x261 - 252 *x262 - 252*x263 - 252*x264 - 252*x265 - 252*x266 >= 0 } } Constraint e217 { Definition: { (330 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280)*x830 - 330*x267 - 330*x268 - 330*x269 - 330*x270 - 330*x271 - 330*x272 - 330*x273 - 330*x274 - 330*x275 - 330 *x276 - 330*x277 - 330*x278 - 330*x279 - 330*x280 >= 0 } } Constraint e218 { Definition: { (406 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290 - x291 - x292 - x293 - x294)*x831 - 406*x281 - 406*x282 - 406*x283 - 406*x284 - 406*x285 - 406*x286 - 406*x287 - 406*x288 - 406*x289 - 406 *x290 - 406*x291 - 406*x292 - 406*x293 - 406*x294 >= 0 } } Constraint e219 { Definition: { (256 - x295 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308)*x832 - 256*x295 - 256*x296 - 256*x297 - 256*x298 - 256*x299 - 256*x300 - 256*x301 - 256*x302 - 256*x303 - 256 *x304 - 256*x305 - 256*x306 - 256*x307 - 256*x308 >= 0 } } Constraint e220 { Definition: { (413 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 - x322)*x833 - 413*x309 - 413*x310 - 413*x311 - 413*x312 - 413*x313 - 413*x314 - 413*x315 - 413*x316 - 413*x317 - 413 *x318 - 413*x319 - 413*x320 - 413*x321 - 413*x322 >= 0 } } Constraint e221 { Definition: { (359 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336)*x834 - 359*x323 - 359*x324 - 359*x325 - 359*x326 - 359*x327 - 359*x328 - 359*x329 - 359*x330 - 359*x331 - 359 *x332 - 359*x333 - 359*x334 - 359*x335 - 359*x336 >= 0 } } Constraint e222 { Definition: { (223 - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350)*x835 - 223*x337 - 223*x338 - 223*x339 - 223*x340 - 223*x341 - 223*x342 - 223*x343 - 223*x344 - 223*x345 - 223 *x346 - 223*x347 - 223*x348 - 223*x349 - 223*x350 >= 0 } } Constraint e223 { Definition: { (256 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364)*x836 - 256*x351 - 256*x352 - 256*x353 - 256*x354 - 256*x355 - 256*x356 - 256*x357 - 256*x358 - 256*x359 - 256 *x360 - 256*x361 - 256*x362 - 256*x363 - 256*x364 >= 0 } } Constraint e224 { Definition: { (391 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378)*x837 - 391*x365 - 391*x366 - 391*x367 - 391*x368 - 391*x369 - 391*x370 - 391*x371 - 391*x372 - 391*x373 - 391 *x374 - 391*x375 - 391*x376 - 391*x377 - 391*x378 >= 0 } } Constraint e225 { Definition: { (116 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392)*x838 - 116*x379 - 116*x380 - 116*x381 - 116*x382 - 116*x383 - 116*x384 - 116*x385 - 116*x386 - 116*x387 - 116 *x388 - 116*x389 - 116*x390 - 116*x391 - 116*x392 >= 0 } } Constraint e226 { Definition: { (248 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 - x406)*x839 - 248*x393 - 248*x394 - 248*x395 - 248*x396 - 248*x397 - 248*x398 - 248*x399 - 248*x400 - 248*x401 - 248 *x402 - 248*x403 - 248*x404 - 248*x405 - 248*x406 >= 0 } } Constraint e227 { Definition: { (260 - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420)*x840 - 260*x407 - 260*x408 - 260*x409 - 260*x410 - 260*x411 - 260*x412 - 260*x413 - 260*x414 - 260*x415 - 260 *x416 - 260*x417 - 260*x418 - 260*x419 - 260*x420 >= 0 } } Constraint e228 { Definition: { (143 - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 - x433 - x434)*x841 - 143*x421 - 143*x422 - 143*x423 - 143*x424 - 143*x425 - 143*x426 - 143*x427 - 143*x428 - 143*x429 - 143 *x430 - 143*x431 - 143*x432 - 143*x433 - 143*x434 >= 0 } } Constraint e229 { Definition: { (109 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444 - x445 - x446 - x447 - x448)*x842 - 109*x435 - 109*x436 - 109*x437 - 109*x438 - 109*x439 - 109*x440 - 109*x441 - 109*x442 - 109*x443 - 109 *x444 - 109*x445 - 109*x446 - 109*x447 - 109*x448 >= 0 } } Constraint e230 { Definition: { (437 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 - x462)*x843 - 437*x449 - 437*x450 - 437*x451 - 437*x452 - 437*x453 - 437*x454 - 437*x455 - 437*x456 - 437*x457 - 437 *x458 - 437*x459 - 437*x460 - 437*x461 - 437*x462 >= 0 } } Constraint e231 { Definition: { (428 - x463 - x464 - x465 - x466 - x467 - x468 - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476)*x844 - 428*x463 - 428*x464 - 428*x465 - 428*x466 - 428*x467 - 428*x468 - 428*x469 - 428*x470 - 428*x471 - 428 *x472 - 428*x473 - 428*x474 - 428*x475 - 428*x476 >= 0 } } Constraint e232 { Definition: { (398 - x477 - x478 - x479 - x480 - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490)*x845 - 398*x477 - 398*x478 - 398*x479 - 398*x480 - 398*x481 - 398*x482 - 398*x483 - 398*x484 - 398*x485 - 398 *x486 - 398*x487 - 398*x488 - 398*x489 - 398*x490 >= 0 } } Constraint e233 { Definition: { (260 - x491 - x492 - x493 - x494 - x495 - x496 - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504)*x846 - 260*x491 - 260*x492 - 260*x493 - 260*x494 - 260*x495 - 260*x496 - 260*x497 - 260*x498 - 260*x499 - 260 *x500 - 260*x501 - 260*x502 - 260*x503 - 260*x504 >= 0 } } Constraint e234 { Definition: { (134 - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - x514 - x515 - x516 - x517 - x518)*x847 - 134*x505 - 134*x506 - 134*x507 - 134*x508 - 134*x509 - 134*x510 - 134*x511 - 134*x512 - 134*x513 - 134 *x514 - 134*x515 - 134*x516 - 134*x517 - 134*x518 >= 0 } } Constraint e235 { Definition: { (363 - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526 - x527 - x528 - x529 - x530 - x531 - x532)*x848 - 363*x519 - 363*x520 - 363*x521 - 363*x522 - 363*x523 - 363*x524 - 363*x525 - 363*x526 - 363*x527 - 363 *x528 - 363*x529 - 363*x530 - 363*x531 - 363*x532 >= 0 } } Constraint e236 { Definition: { (283 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540 - x541 - x542 - x543 - x544 - x545 - x546)*x849 - 283*x533 - 283*x534 - 283*x535 - 283*x536 - 283*x537 - 283*x538 - 283*x539 - 283*x540 - 283*x541 - 283 *x542 - 283*x543 - 283*x544 - 283*x545 - 283*x546 >= 0 } } Constraint e237 { Definition: { (143 - x547 - x548 - x549 - x550 - x551 - x552 - x553 - x554 - x555 - x556 - x557 - x558 - x559 - x560)*x850 - 143*x547 - 143*x548 - 143*x549 - 143*x550 - 143*x551 - 143*x552 - 143*x553 - 143*x554 - 143*x555 - 143 *x556 - 143*x557 - 143*x558 - 143*x559 - 143*x560 >= 0 } } Constraint e238 { Definition: { (398 - x561 - x562 - x563 - x564 - x565 - x566 - x567 - x568 - x569 - x570 - x571 - x572 - x573 - x574)*x851 - 398*x561 - 398*x562 - 398*x563 - 398*x564 - 398*x565 - 398*x566 - 398*x567 - 398*x568 - 398*x569 - 398 *x570 - 398*x571 - 398*x572 - 398*x573 - 398*x574 >= 0 } } Constraint e239 { Definition: { (134 - x575 - x576 - x577 - x578 - x579 - x580 - x581 - x582 - x583 - x584 - x585 - x586 - x587 - x588)*x852 - 134*x575 - 134*x576 - 134*x577 - 134*x578 - 134*x579 - 134*x580 - 134*x581 - 134*x582 - 134*x583 - 134 *x584 - 134*x585 - 134*x586 - 134*x587 - 134*x588 >= 0 } } Constraint e240 { Definition: { (314 - x589 - x590 - x591 - x592 - x593 - x594 - x595 - x596 - x597 - x598 - x599 - x600 - x601 - x602)*x853 - 314*x589 - 314*x590 - 314*x591 - 314*x592 - 314*x593 - 314*x594 - 314*x595 - 314*x596 - 314*x597 - 314 *x598 - 314*x599 - 314*x600 - 314*x601 - 314*x602 >= 0 } } Constraint e241 { Definition: { (252 - x603 - x604 - x605 - x606 - x607 - x608 - x609 - x610 - x611 - x612 - x613 - x614 - x615 - x616)*x854 - 252*x603 - 252*x604 - 252*x605 - 252*x606 - 252*x607 - 252*x608 - 252*x609 - 252*x610 - 252*x611 - 252 *x612 - 252*x613 - 252*x614 - 252*x615 - 252*x616 >= 0 } } Constraint e242 { Definition: { (391 - x617 - x618 - x619 - x620 - x621 - x622 - x623 - x624 - x625 - x626 - x627 - x628 - x629 - x630)*x855 - 391*x617 - 391*x618 - 391*x619 - 391*x620 - 391*x621 - 391*x622 - 391*x623 - 391*x624 - 391*x625 - 391 *x626 - 391*x627 - 391*x628 - 391*x629 - 391*x630 >= 0 } } Constraint e243 { Definition: { (366 - x631 - x632 - x633 - x634 - x635 - x636 - x637 - x638 - x639 - x640 - x641 - x642 - x643 - x644)*x856 - 366*x631 - 366*x632 - 366*x633 - 366*x634 - 366*x635 - 366*x636 - 366*x637 - 366*x638 - 366*x639 - 366 *x640 - 366*x641 - 366*x642 - 366*x643 - 366*x644 >= 0 } } Constraint e244 { Definition: { (419 - x645 - x646 - x647 - x648 - x649 - x650 - x651 - x652 - x653 - x654 - x655 - x656 - x657 - x658)*x857 - 419*x645 - 419*x646 - 419*x647 - 419*x648 - 419*x649 - 419*x650 - 419*x651 - 419*x652 - 419*x653 - 419 *x654 - 419*x655 - 419*x656 - 419*x657 - 419*x658 >= 0 } } Constraint e245 { Definition: { (179 - x659 - x660 - x661 - x662 - x663 - x664 - x665 - x666 - x667 - x668 - x669 - x670 - x671 - x672)*x858 - 179*x659 - 179*x660 - 179*x661 - 179*x662 - 179*x663 - 179*x664 - 179*x665 - 179*x666 - 179*x667 - 179 *x668 - 179*x669 - 179*x670 - 179*x671 - 179*x672 >= 0 } } Constraint e246 { Definition: { (377 - x673 - x674 - x675 - x676 - x677 - x678 - x679 - x680 - x681 - x682 - x683 - x684 - x685 - x686)*x859 - 377*x673 - 377*x674 - 377*x675 - 377*x676 - 377*x677 - 377*x678 - 377*x679 - 377*x680 - 377*x681 - 377 *x682 - 377*x683 - 377*x684 - 377*x685 - 377*x686 >= 0 } } Constraint e247 { Definition: { (413 - x687 - x688 - x689 - x690 - x691 - x692 - x693 - x694 - x695 - x696 - x697 - x698 - x699 - x700)*x860 - 413*x687 - 413*x688 - 413*x689 - 413*x690 - 413*x691 - 413*x692 - 413*x693 - 413*x694 - 413*x695 - 413 *x696 - 413*x697 - 413*x698 - 413*x699 - 413*x700 >= 0 } } Constraint e248 { Definition: { (109 - x701 - x702 - x703 - x704 - x705 - x706 - x707 - x708 - x709 - x710 - x711 - x712 - x713 - x714)*x861 - 109*x701 - 109*x702 - 109*x703 - 109*x704 - 109*x705 - 109*x706 - 109*x707 - 109*x708 - 109*x709 - 109 *x710 - 109*x711 - 109*x712 - 109*x713 - 109*x714 >= 0 } } Constraint e249 { Definition: { (314 - x715 - x716 - x717 - x718 - x719 - x720 - x721 - x722 - x723 - x724 - x725 - x726 - x727 - x728)*x862 - 314*x715 - 314*x716 - 314*x717 - 314*x718 - 314*x719 - 314*x720 - 314*x721 - 314*x722 - 314*x723 - 314 *x724 - 314*x725 - 314*x726 - 314*x727 - 314*x728 >= 0 } } Constraint e250 { Definition: { (366 - x729 - x730 - x731 - x732 - x733 - x734 - x735 - x736 - x737 - x738 - x739 - x740 - x741 - x742)*x863 - 366*x729 - 366*x730 - 366*x731 - 366*x732 - 366*x733 - 366*x734 - 366*x735 - 366*x736 - 366*x737 - 366 *x738 - 366*x739 - 366*x740 - 366*x741 - 366*x742 >= 0 } } Constraint e251 { Definition: { (179 - x743 - x744 - x745 - x746 - x747 - x748 - x749 - x750 - x751 - x752 - x753 - x754 - x755 - x756)*x864 - 179*x743 - 179*x744 - 179*x745 - 179*x746 - 179*x747 - 179*x748 - 179*x749 - 179*x750 - 179*x751 - 179 *x752 - 179*x753 - 179*x754 - 179*x755 - 179*x756 >= 0 } } Constraint e252 { Definition: { x811 + x812 + x813 + x814 + x815 + x816 + x817 + x818 + x819 + x820 + x821 + x822 + x823 + x824 + x825 + x826 + x827 + x828 + x829 + x830 + x831 + x832 + x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841 + x842 + x843 + x844 + x845 + x846 + x847 + x848 + x849 + x850 + x851 + x852 + x853 + x854 + x855 + x856 + x857 + x858 + x859 + x860 + x861 + x862 + x863 + x864 <= 10632 } } Constraint e253 { Definition: { x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 - 266*b757 <= 0 } } Constraint e254 { Definition: { x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 - 330*b758 <= 0 } } Constraint e255 { Definition: { x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 - 116*b759 <= 0 } } Constraint e256 { Definition: { x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 - 266*b760 <= 0 } } Constraint e257 { Definition: { x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 - 425*b761 <= 0 } } Constraint e258 { Definition: { x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 - 359*b762 <= 0 } } Constraint e259 { Definition: { x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 - 406*b763 <= 0 } } Constraint e260 { Definition: { x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 - 223*b764 <= 0 } } Constraint e261 { Definition: { x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 - 248*b765 <= 0 } } Constraint e262 { Definition: { x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 - 363*b766 <= 0 } } Constraint e263 { Definition: { x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 - 227*b767 <= 0 } } Constraint e264 { Definition: { x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 - 437*b768 <= 0 } } Constraint e265 { Definition: { x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 + x182 - 283*b769 <= 0 } } Constraint e266 { Definition: { x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 + x196 - 419*b770 <= 0 } } Constraint e267 { Definition: { x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 - 377*b771 <= 0 } } Constraint e268 { Definition: { x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 - 425*b772 <= 0 } } Constraint e269 { Definition: { x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 - 227*b773 <= 0 } } Constraint e270 { Definition: { x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 - 428*b774 <= 0 } } Constraint e271 { Definition: { x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 - 252*b775 <= 0 } } Constraint e272 { Definition: { x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 - 330*b776 <= 0 } } Constraint e273 { Definition: { x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 - 406*b777 <= 0 } } Constraint e274 { Definition: { x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 - 256*b778 <= 0 } } Constraint e275 { Definition: { x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 - 413*b779 <= 0 } } Constraint e276 { Definition: { x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 359*b780 <= 0 } } Constraint e277 { Definition: { x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 - 223*b781 <= 0 } } Constraint e278 { Definition: { x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 - 256*b782 <= 0 } } Constraint e279 { Definition: { x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 - 391*b783 <= 0 } } Constraint e280 { Definition: { x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 - 116*b784 <= 0 } } Constraint e281 { Definition: { x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 - 248*b785 <= 0 } } Constraint e282 { Definition: { x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 260*b786 <= 0 } } Constraint e283 { Definition: { x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 - 143*b787 <= 0 } } Constraint e284 { Definition: { x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 - 109*b788 <= 0 } } Constraint e285 { Definition: { x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 - 437*b789 <= 0 } } Constraint e286 { Definition: { x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 - 428*b790 <= 0 } } Constraint e287 { Definition: { x477 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 - 398*b791 <= 0 } } Constraint e288 { Definition: { x491 + x492 + x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 - 260*b792 <= 0 } } Constraint e289 { Definition: { x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 - 134*b793 <= 0 } } Constraint e290 { Definition: { x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x530 + x531 + x532 - 363*b794 <= 0 } } Constraint e291 { Definition: { x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x546 - 283*b795 <= 0 } } Constraint e292 { Definition: { x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 - 143*b796 <= 0 } } Constraint e293 { Definition: { x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 - 398*b797 <= 0 } } Constraint e294 { Definition: { x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 - 134*b798 <= 0 } } Constraint e295 { Definition: { x589 + x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 - 314*b799 <= 0 } } Constraint e296 { Definition: { x603 + x604 + x605 + x606 + x607 + x608 + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 - 252*b800 <= 0 } } Constraint e297 { Definition: { x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 + x628 + x629 + x630 - 391*b801 <= 0 } } Constraint e298 { Definition: { x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 - 366*b802 <= 0 } } Constraint e299 { Definition: { x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 + x657 + x658 - 419*b803 <= 0 } } Constraint e300 { Definition: { x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 - 179*b804 <= 0 } } Constraint e301 { Definition: { x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 - 377*b805 <= 0 } } Constraint e302 { Definition: { x687 + x688 + x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 + x697 + x698 + x699 + x700 - 413*b806 <= 0 } } Constraint e303 { Definition: { x701 + x702 + x703 + x704 + x705 + x706 + x707 + x708 + x709 + x710 + x711 + x712 + x713 + x714 - 109*b807 <= 0 } } Constraint e304 { Definition: { x715 + x716 + x717 + x718 + x719 + x720 + x721 + x722 + x723 + x724 + x725 + x726 + x727 + x728 - 314*b808 <= 0 } } Constraint e305 { Definition: { x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 + x737 + x738 + x739 + x740 + x741 + x742 - 366*b809 <= 0 } } Constraint e306 { Definition: { x743 + x744 + x745 + x746 + x747 + x748 + x749 + x750 + x751 + x752 + x753 + x754 + x755 + x756 - 179*b810 <= 0 } } Procedure MainInitialization; MathematicalProgram ndcc14 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ndcc14; } } Procedure MainTermination { Body: { return 1; } } }