\ Equation counts \ Total E G L N X C B \ 924 276 342 306 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 533 395 138 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 3210 3020 190 0 \ Maximize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 3 x322 + 3 x323 + 3 x324 + 3 x325 + 3 x326 + 3 x327 + 3 x328 + 3 x329 + 3 x330 + 3 x331 + 3 x332 + 3 x333 + 3 x334 + 3 x335 + 3 x336 + 3 x337 + 3 x338 + 3 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 5 x358 + 5 x359 + 5 x360 + 5 x361 + 5 x362 + 5 x363 + 5 x364 + 5 x365 + 5 x366 + 5 x367 + 5 x368 + 5 x369 + 5 x370 + 5 x371 + 5 x372 + 5 x373 + 5 x374 + 5 x375 + 5 x376 + 5 x377 + 5 x378 + 5 x379 + 5 x380 + 5 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 6.5 x400 + 6.5 x401 + 6.5 x402 + 6.5 x403 + 6.5 x404 + 6.5 x405 + 6.5 x406 + 6.5 x407 + 6.5 x408 + 6.5 x409 + 6.5 x410 + 6.5 x411 + 6.5 x412 + 6.5 x413 + 6.5 x414 + 6.5 x415 + 6.5 x416 + 6.5 x417 + 6.5 x418 + 6.5 x419 + 6.5 x420 + 6.5 x421 + 6.5 x422 + 6.5 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 3.1 x430 + 3.1 x431 + 3.1 x432 + 3.1 x433 + 3.1 x434 + 3.1 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 7.5 x454 + 7.5 x455 + 7.5 x456 + 7.5 x457 + 7.5 x458 + 7.5 x459 + 7.5 x460 + 7.5 x461 + 7.5 x462 + 7.5 x463 + 7.5 x464 + 7.5 x465 + 7.5 x466 + 7.5 x467 + 7.5 x468 + 7.5 x469 + 7.5 x470 + 7.5 x471 + 3.17 x472 + 3.17 x473 + 3.17 x474 + 3.17 x475 + 3.17 x476 + 3.17 x477 + 4.83 x478 + 4.83 x479 + 4.83 x480 + 4.83 x481 + 4.83 x482 + 4.83 x483 + 4.83 x484 + 4.83 x485 + 4.83 x486 + 4.83 x487 + 4.83 x488 + 4.83 x489 + 6.33 x490 + 6.33 x491 + 6.33 x492 + 6.33 x493 + 6.33 x494 + 6.33 x495 + 6.33 x496 + 6.33 x497 + 6.33 x498 + 6.33 x499 + 6.33 x500 + 6.33 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 Subject To e2: x157 = 600 e3: - x157 + x158 + x304 = 0 e4: - x158 + x159 + x305 = 0 e5: - x159 + x160 + x306 = 0 e6: - x160 + x161 + x307 = 0 e7: - x161 + x162 + x308 = 0 e8: - x162 + x163 + x309 = 0 e9: x164 = 100 e10: - x164 + x165 - x304 + x310 + x316 = 0 e11: - x165 + x166 - x305 + x311 + x317 = 0 e12: - x166 + x167 - x306 + x312 + x318 = 0 e13: - x167 + x168 - x307 + x313 + x319 = 0 e14: - x168 + x169 - x308 + x314 + x320 = 0 e15: - x169 + x170 - x309 + x315 + x321 = 0 e16: x171 = 0 e17: - x171 + x172 - x310 + x322 = 0 e18: - x172 + x173 - x311 + x323 = 0 e19: - x173 + x174 - x312 + x324 = 0 e20: - x174 + x175 - x313 + x325 = 0 e21: - x175 + x176 - x314 + x326 = 0 e22: - x176 + x177 - x315 + x327 = 0 e23: x178 = 0 e24: - x178 + x179 - x316 + x328 + x334 = 0 e25: - x179 + x180 - x317 + x329 + x335 = 0 e26: - x180 + x181 - x318 + x330 + x336 = 0 e27: - x181 + x182 - x319 + x331 + x337 = 0 e28: - x182 + x183 - x320 + x332 + x338 = 0 e29: - x183 + x184 - x321 + x333 + x339 = 0 e30: x185 = 600 e31: - x185 + x186 + x340 = 0 e32: - x186 + x187 + x341 = 0 e33: - x187 + x188 + x342 = 0 e34: - x188 + x189 + x343 = 0 e35: - x189 + x190 + x344 = 0 e36: - x190 + x191 + x345 = 0 e37: x192 = 500 e38: - x192 + x193 - x340 + x346 + x352 = 0 e39: - x193 + x194 - x341 + x347 + x353 = 0 e40: - x194 + x195 - x342 + x348 + x354 = 0 e41: - x195 + x196 - x343 + x349 + x355 = 0 e42: - x196 + x197 - x344 + x350 + x356 = 0 e43: - x197 + x198 - x345 + x351 + x357 = 0 e44: x199 = 0 e45: - x199 + x200 - x346 + x358 + x364 = 0 e46: - x200 + x201 - x347 + x359 + x365 = 0 e47: - x201 + x202 - x348 + x360 + x366 = 0 e48: - x202 + x203 - x349 + x361 + x367 = 0 e49: - x203 + x204 - x350 + x362 + x368 = 0 e50: - x204 + x205 - x351 + x363 + x369 = 0 e51: x206 = 0 e52: - x206 + x207 - x352 + x370 + x376 = 0 e53: - x207 + x208 - x353 + x371 + x377 = 0 e54: - x208 + x209 - x354 + x372 + x378 = 0 e55: - x209 + x210 - x355 + x373 + x379 = 0 e56: - x210 + x211 - x356 + x374 + x380 = 0 e57: - x211 + x212 - x357 + x375 + x381 = 0 e58: x213 = 600 e59: - x213 + x214 + x382 = 0 e60: - x214 + x215 + x383 = 0 e61: - x215 + x216 + x384 = 0 e62: - x216 + x217 + x385 = 0 e63: - x217 + x218 + x386 = 0 e64: - x218 + x219 + x387 = 0 e65: x220 = 400 e66: - x220 + x221 - x382 + x388 + x394 = 0 e67: - x221 + x222 - x383 + x389 + x395 = 0 e68: - x222 + x223 - x384 + x390 + x396 = 0 e69: - x223 + x224 - x385 + x391 + x397 = 0 e70: - x224 + x225 - x386 + x392 + x398 = 0 e71: - x225 + x226 - x387 + x393 + x399 = 0 e72: x227 = 0 e73: - x227 + x228 - x388 + x400 + x406 = 0 e74: - x228 + x229 - x389 + x401 + x407 = 0 e75: - x229 + x230 - x390 + x402 + x408 = 0 e76: - x230 + x231 - x391 + x403 + x409 = 0 e77: - x231 + x232 - x392 + x404 + x410 = 0 e78: - x232 + x233 - x393 + x405 + x411 = 0 e79: x234 = 0 e80: - x234 + x235 - x394 + x412 + x418 = 0 e81: - x235 + x236 - x395 + x413 + x419 = 0 e82: - x236 + x237 - x396 + x414 + x420 = 0 e83: - x237 + x238 - x397 + x415 + x421 = 0 e84: - x238 + x239 - x398 + x416 + x422 = 0 e85: - x239 + x240 - x399 + x417 + x423 = 0 e86: x241 = 600 e87: - x241 + x242 + x424 = 0 e88: - x242 + x243 + x425 = 0 e89: - x243 + x244 + x426 = 0 e90: - x244 + x245 + x427 = 0 e91: - x245 + x246 + x428 = 0 e92: - x246 + x247 + x429 = 0 e93: x248 = 0 e94: - x248 + x249 - x424 + x430 = 0 e95: - x249 + x250 - x425 + x431 = 0 e96: - x250 + x251 - x426 + x432 = 0 e97: - x251 + x252 - x427 + x433 = 0 e98: - x252 + x253 - x428 + x434 = 0 e99: - x253 + x254 - x429 + x435 = 0 e100: x255 = 300 e101: - x255 + x256 + x436 + x442 = 0 e102: - x256 + x257 + x437 + x443 = 0 e103: - x257 + x258 + x438 + x444 = 0 e104: - x258 + x259 + x439 + x445 = 0 e105: - x259 + x260 + x440 + x446 = 0 e106: - x260 + x261 + x441 + x447 = 0 e107: x262 = 600 e108: - x262 + x263 + x448 = 0 e109: - x263 + x264 + x449 = 0 e110: - x264 + x265 + x450 = 0 e111: - x265 + x266 + x451 = 0 e112: - x266 + x267 + x452 = 0 e113: - x267 + x268 + x453 = 0 e114: x269 = 0 e115: - x269 + x270 - x436 + x454 + x460 = 0 e116: - x270 + x271 - x437 + x455 + x461 = 0 e117: - x271 + x272 - x438 + x456 + x462 = 0 e118: - x272 + x273 - x439 + x457 + x463 = 0 e119: - x273 + x274 - x440 + x458 + x464 = 0 e120: - x274 + x275 - x441 + x459 + x465 = 0 e121: x276 = 300 e122: - x276 + x277 - x442 - x448 + x466 = 0 e123: - x277 + x278 - x443 - x449 + x467 = 0 e124: - x278 + x279 - x444 - x450 + x468 = 0 e125: - x279 + x280 - x445 - x451 + x469 = 0 e126: - x280 + x281 - x446 - x452 + x470 = 0 e127: - x281 + x282 - x447 - x453 + x471 = 0 e128: x283 = 50 e129: - x283 + x284 + x472 = 0 e130: - x284 + x285 + x473 = 0 e131: - x285 + x286 + x474 = 0 e132: - x286 + x287 + x475 = 0 e133: - x287 + x288 + x476 = 0 e134: - x288 + x289 + x477 = 0 e135: x290 = 300 e136: - x290 + x291 + x478 + x484 = 0 e137: - x291 + x292 + x479 + x485 = 0 e138: - x292 + x293 + x480 + x486 = 0 e139: - x293 + x294 + x481 + x487 = 0 e140: - x294 + x295 + x482 + x488 = 0 e141: - x295 + x296 + x483 + x489 = 0 e142: x297 = 300 e143: - x297 + x298 + x490 + x496 = 0 e144: - x298 + x299 + x491 + x497 = 0 e145: - x299 + x300 + x492 + x498 = 0 e146: - x300 + x301 + x493 + x499 = 0 e147: - x301 + x302 + x494 + x500 = 0 e148: - x302 + x303 + x495 + x501 = 0 e149: x242 <= 900 e150: x243 <= 900 e151: x244 <= 900 e152: x245 <= 900 e153: x246 <= 900 e154: x247 <= 900 e155: x165 <= 1.1e3 e156: x166 <= 1.1e3 e157: x167 <= 1.1e3 e158: x168 <= 1.1e3 e159: x169 <= 1.1e3 e160: x170 <= 1.1e3 e161: x193 <= 1.1e3 e162: x194 <= 1.1e3 e163: x195 <= 1.1e3 e164: x196 <= 1.1e3 e165: x197 <= 1.1e3 e166: x198 <= 1.1e3 e167: x221 <= 1.1e3 e168: x222 <= 1.1e3 e169: x223 <= 1.1e3 e170: x224 <= 1.1e3 e171: x225 <= 1.1e3 e172: x226 <= 1.1e3 e173: x256 <= 900 e174: x257 <= 900 e175: x258 <= 900 e176: x259 <= 900 e177: x260 <= 900 e178: x261 <= 900 e179: x263 <= 900 e180: x264 <= 900 e181: x265 <= 900 e182: x266 <= 900 e183: x267 <= 900 e184: x268 <= 900 e185: x172 + x249 + x284 <= 800 e186: x173 + x250 + x285 <= 800 e187: x174 + x251 + x286 <= 800 e188: x175 + x252 + x287 <= 800 e189: x176 + x253 + x288 <= 800 e190: x177 + x254 + x289 <= 800 e191: x179 + x200 + x228 + x291 <= 800 e192: x180 + x201 + x229 + x292 <= 800 e193: x181 + x202 + x230 + x293 <= 800 e194: x182 + x203 + x231 + x294 <= 800 e195: x183 + x204 + x232 + x295 <= 800 e196: x184 + x205 + x233 + x296 <= 800 e197: x207 + x235 + x270 + x298 <= 800 e198: x208 + x236 + x271 + x299 <= 800 e199: x209 + x237 + x272 + x300 <= 800 e200: x210 + x238 + x273 + x301 <= 800 e201: x211 + x239 + x274 + x302 <= 800 e202: x212 + x240 + x275 + x303 <= 800 e203: x277 <= 800 e204: x278 <= 800 e205: x279 <= 800 e206: x280 <= 800 e207: x281 <= 800 e208: x282 <= 800 e209: x242 >= 100 e210: x243 >= 100 e211: x244 >= 100 e212: x245 >= 100 e213: x246 >= 100 e214: x247 >= 100 e215: x165 >= 100 e216: x166 >= 100 e217: x167 >= 100 e218: x168 >= 100 e219: x169 >= 100 e220: x170 >= 100 e221: x193 >= 100 e222: x194 >= 100 e223: x195 >= 100 e224: x196 >= 100 e225: x197 >= 100 e226: x198 >= 100 e227: x221 >= 100 e228: x222 >= 100 e229: x223 >= 100 e230: x224 >= 100 e231: x225 >= 100 e232: x226 >= 100 e233: x256 >= 100 e234: x257 >= 100 e235: x258 >= 100 e236: x259 >= 100 e237: x260 >= 100 e238: x261 >= 100 e239: x263 >= 100 e240: x264 >= 100 e241: x265 >= 100 e242: x266 >= 100 e243: x267 >= 100 e244: x268 >= 100 e245: x172 + x249 + x284 >= 0 e246: x173 + x250 + x285 >= 0 e247: x174 + x251 + x286 >= 0 e248: x175 + x252 + x287 >= 0 e249: x176 + x253 + x288 >= 0 e250: x177 + x254 + x289 >= 0 e251: x179 + x200 + x228 + x291 >= 0 e252: x180 + x201 + x229 + x292 >= 0 e253: x181 + x202 + x230 + x293 >= 0 e254: x182 + x203 + x231 + x294 >= 0 e255: x183 + x204 + x232 + x295 >= 0 e256: x184 + x205 + x233 + x296 >= 0 e257: x207 + x235 + x270 + x298 >= 0 e258: x208 + x236 + x271 + x299 >= 0 e259: x209 + x237 + x272 + x300 >= 0 e260: x210 + x238 + x273 + x301 >= 0 e261: x211 + x239 + x274 + x302 >= 0 e262: x212 + x240 + x275 + x303 >= 0 e263: x277 >= 0 e264: x278 >= 0 e265: x279 >= 0 e266: x280 >= 0 e267: x281 >= 0 e268: x282 >= 0 e269: - 5e-3 x172 - 4e-3 x249 - 3.3e-3 x284 <= 0 e270: - 5e-3 x173 - 4e-3 x250 - 3.3e-3 x285 <= 0 e271: - 5e-3 x174 - 4e-3 x251 - 3.3e-3 x286 <= 0 e272: - 5e-3 x175 - 4e-3 x252 - 3.3e-3 x287 <= 0 e273: - 5e-3 x176 - 4e-3 x253 - 3.3e-3 x288 <= 0 e274: - 5e-3 x177 - 4e-3 x254 - 3.3e-3 x289 <= 0 e275: - 2e-2 x179 + 1.5e-2 x228 - 1.7e-3 x291 <= 0 e276: - 2e-2 x180 + 1.5e-2 x229 - 1.7e-3 x292 <= 0 e277: - 2e-2 x181 + 1.5e-2 x230 - 1.7e-3 x293 <= 0 e278: - 2e-2 x182 + 1.5e-2 x231 - 1.7e-3 x294 <= 0 e279: - 2e-2 x183 + 1.5e-2 x232 - 1.7e-3 x295 <= 0 e280: - 2e-2 x184 + 1.5e-2 x233 - 1.7e-3 x296 <= 0 e281: - 1.5e-2 x207 + 1e-2 x270 - 1.70000000000001e-3 x298 <= 0 e282: - 1.5e-2 x208 + 1e-2 x271 - 1.70000000000001e-3 x299 <= 0 e283: - 1.5e-2 x209 + 1e-2 x272 - 1.70000000000001e-3 x300 <= 0 e284: - 1.5e-2 x210 + 1e-2 x273 - 1.70000000000001e-3 x301 <= 0 e285: - 1.5e-2 x211 + 1e-2 x274 - 1.70000000000001e-3 x302 <= 0 e286: - 1.5e-2 x212 + 1e-2 x275 - 1.70000000000001e-3 x303 <= 0 e287: 1e-3 x249 + 1.7e-3 x284 >= 0 e288: 1e-3 x250 + 1.7e-3 x285 >= 0 e289: 1e-3 x251 + 1.7e-3 x286 >= 0 e290: 1e-3 x252 + 1.7e-3 x287 >= 0 e291: 1e-3 x253 + 1.7e-3 x288 >= 0 e292: 1e-3 x254 + 1.7e-3 x289 >= 0 e293: - 1.3e-2 x179 + 7.00000000000001e-3 x200 + 2.2e-2 x228 + 5.30000000000001e-3 x291 >= 0 e294: - 1.3e-2 x180 + 7.00000000000001e-3 x201 + 2.2e-2 x229 + 5.30000000000001e-3 x292 >= 0 e295: - 1.3e-2 x181 + 7.00000000000001e-3 x202 + 2.2e-2 x230 + 5.30000000000001e-3 x293 >= 0 e296: - 1.3e-2 x182 + 7.00000000000001e-3 x203 + 2.2e-2 x231 + 5.30000000000001e-3 x294 >= 0 e297: - 1.3e-2 x183 + 7.00000000000001e-3 x204 + 2.2e-2 x232 + 5.30000000000001e-3 x295 >= 0 e298: - 1.3e-2 x184 + 7.00000000000001e-3 x205 + 2.2e-2 x233 + 5.30000000000001e-3 x296 >= 0 e299: - 1e-2 x207 + 5e-3 x235 + 1.5e-2 x270 + 3.3e-3 x298 >= 0 e300: - 1e-2 x208 + 5e-3 x236 + 1.5e-2 x271 + 3.3e-3 x299 >= 0 e301: - 1e-2 x209 + 5e-3 x237 + 1.5e-2 x272 + 3.3e-3 x300 >= 0 e302: - 1e-2 x210 + 5e-3 x238 + 1.5e-2 x273 + 3.3e-3 x301 >= 0 e303: - 1e-2 x211 + 5e-3 x239 + 1.5e-2 x274 + 3.3e-3 x302 >= 0 e304: - 1e-2 x212 + 5e-3 x240 + 1.5e-2 x275 + 3.3e-3 x303 >= 0 e305: b19 + b79 <= 1 e306: b20 + b80 <= 1 e307: b21 + b81 <= 1 e308: b22 + b82 <= 1 e309: b23 + b83 <= 1 e310: b24 + b84 <= 1 e311: b25 + b79 <= 1 e312: b26 + b80 <= 1 e313: b27 + b81 <= 1 e314: b28 + b82 <= 1 e315: b29 + b83 <= 1 e316: b30 + b84 <= 1 e317: b31 + b85 + b91 <= 1 e318: b32 + b86 + b92 <= 1 e319: b33 + b87 + b93 <= 1 e320: b34 + b88 + b94 <= 1 e321: b35 + b89 + b95 <= 1 e322: b36 + b90 + b96 <= 1 e323: b37 + b85 + b91 <= 1 e324: b38 + b86 + b92 <= 1 e325: b39 + b87 + b93 <= 1 e326: b40 + b88 + b94 <= 1 e327: b41 + b89 + b95 <= 1 e328: b42 + b90 + b96 <= 1 e329: b49 + b85 + b91 <= 1 e330: b50 + b86 + b92 <= 1 e331: b51 + b87 + b93 <= 1 e332: b52 + b88 + b94 <= 1 e333: b53 + b89 + b95 <= 1 e334: b54 + b90 + b96 <= 1 e335: b43 + b97 + b103 <= 1 e336: b44 + b98 + b104 <= 1 e337: b45 + b99 + b105 <= 1 e338: b46 + b100 + b106 <= 1 e339: b47 + b101 + b107 <= 1 e340: b48 + b102 + b108 <= 1 e341: b55 + b97 + b103 <= 1 e342: b56 + b98 + b104 <= 1 e343: b57 + b99 + b105 <= 1 e344: b58 + b100 + b106 <= 1 e345: b59 + b101 + b107 <= 1 e346: b60 + b102 + b108 <= 1 e347: b61 + b97 + b103 <= 1 e348: b62 + b98 + b104 <= 1 e349: b63 + b99 + b105 <= 1 e350: b64 + b100 + b106 <= 1 e351: b65 + b101 + b107 <= 1 e352: b66 + b102 + b108 <= 1 e353: x163 = 0 e354: x191 = 0 e355: x219 = 0 e356: x322 + x323 + x324 + x325 + x326 + x327 + x430 + x431 + x432 + x433 + x434 + x435 + x472 + x473 + x474 + x475 + x476 + x477 = 600 e357: x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 + x339 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 = 600 e358: x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 + x421 + x422 + x423 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 = 600 e359: x466 + x467 + x468 + x469 + x470 + x471 = 600 e360: b115 + b116 + b118 + b121 = 1 e361: b117 + b119 + b122 + b124 = 1 e362: b120 + b123 + b125 + b126 = 1 e363: b127 + b128 + b130 + b133 = 1 e364: b129 + b131 + b134 + b136 = 1 e365: b132 + b135 + b137 + b138 = 1 e366: b1 + b7 + b13 <= 1 e367: b2 + b8 + b14 <= 1 e368: b3 + b9 + b15 <= 1 e369: b4 + b10 + b16 <= 1 e370: b5 + b11 + b17 <= 1 e371: b6 + b12 + b18 <= 1 e372: b79 + b85 = 1 e373: b80 + b86 = 1 e374: b81 + b87 = 1 e375: b82 + b88 = 1 e376: b83 + b89 = 1 e377: b84 + b90 = 1 e378: b91 + b97 = 1 e379: b92 + b98 = 1 e380: b93 + b99 = 1 e381: b94 + b100 = 1 e382: b95 + b101 = 1 e383: b96 + b102 = 1 e384: b103 + b109 = 1 e385: b104 + b110 = 1 e386: b105 + b111 = 1 e387: b106 + b112 = 1 e388: b107 + b113 = 1 e389: b108 + b114 = 1 e390: b1 - b115 <= 0 e391: b2 - b115 - b116 <= 0 e392: b3 - b115 - b116 - b118 <= 0 e393: b4 - b115 - b116 - b118 - b121 <= 0 e394: b5 - b115 - b116 - b118 - b121 <= 0 e395: b6 - b115 - b116 - b118 - b121 <= 0 e396: b7 <= 0 e397: b8 - b117 <= 0 e398: b9 - b117 - b119 <= 0 e399: b10 - b117 - b119 - b122 <= 0 e400: b11 - b117 - b119 - b122 - b124 <= 0 e401: b12 - b117 - b119 - b122 - b124 <= 0 e402: b13 <= 0 e403: b14 <= 0 e404: b15 - b120 <= 0 e405: b16 - b120 - b123 <= 0 e406: b17 - b120 - b123 - b125 <= 0 e407: b18 - b120 - b123 - b125 - b126 <= 0 e408: b1 - b127 - b128 - b130 - b133 <= 0 e409: b2 - b128 - b130 - b133 <= 0 e410: b3 - b130 - b133 <= 0 e411: b4 - b133 <= 0 e412: b5 <= 0 e413: b6 <= 0 e414: b7 - b129 - b131 - b134 - b136 <= 0 e415: b8 - b129 - b131 - b134 - b136 <= 0 e416: b9 - b131 - b134 - b136 <= 0 e417: b10 - b134 - b136 <= 0 e418: b11 - b136 <= 0 e419: b12 <= 0 e420: b13 - b132 - b135 - b137 - b138 <= 0 e421: b14 - b132 - b135 - b137 - b138 <= 0 e422: b15 - b132 - b135 - b137 - b138 <= 0 e423: b16 - b135 - b137 - b138 <= 0 e424: b17 - b137 - b138 <= 0 e425: b18 - b138 <= 0 e426: - b79 - b86 + x139 >= -1 e427: - b80 - b87 + x140 >= -1 e428: - b81 - b88 + x141 >= -1 e429: - b82 - b89 + x142 >= -1 e430: - b83 - b90 + x143 >= -1 e431: - b91 - b98 + x144 >= -1 e432: - b92 - b99 + x145 >= -1 e433: - b93 - b100 + x146 >= -1 e434: - b94 - b101 + x147 >= -1 e435: - b95 - b102 + x148 >= -1 e436: - b103 - b110 + x149 >= -1 e437: - b104 - b111 + x150 >= -1 e438: - b105 - b112 + x151 >= -1 e439: - b106 - b113 + x152 >= -1 e440: - b107 - b114 + x153 >= -1 e441: - b80 - b85 + x139 >= -1 e442: - b81 - b86 + x140 >= -1 e443: - b82 - b87 + x141 >= -1 e444: - b83 - b88 + x142 >= -1 e445: - b84 - b89 + x143 >= -1 e446: - b92 - b97 + x144 >= -1 e447: - b93 - b98 + x145 >= -1 e448: - b94 - b99 + x146 >= -1 e449: - b95 - b100 + x147 >= -1 e450: - b96 - b101 + x148 >= -1 e451: - b104 - b109 + x149 >= -1 e452: - b105 - b110 + x150 >= -1 e453: - b106 - b111 + x151 >= -1 e454: - b107 - b112 + x152 >= -1 e455: - b108 - b113 + x153 >= -1 e456: x139 + x140 + x141 + x142 + x143 - x154 = -1 e457: x144 + x145 + x146 + x147 + x148 - x155 = -1 e458: x149 + x150 + x151 + x152 + x153 - x156 = -1 e459: - 600 b1 + x304 <= 0 e460: - 600 b2 + x305 <= 0 e461: - 600 b3 + x306 <= 0 e462: - 600 b4 + x307 <= 0 e463: - 600 b5 + x308 <= 0 e464: - 600 b6 + x309 <= 0 e465: - 600 b7 + x340 <= 0 e466: - 600 b8 + x341 <= 0 e467: - 600 b9 + x342 <= 0 e468: - 600 b10 + x343 <= 0 e469: - 600 b11 + x344 <= 0 e470: - 600 b12 + x345 <= 0 e471: - 600 b13 + x382 <= 0 e472: - 600 b14 + x383 <= 0 e473: - 600 b15 + x384 <= 0 e474: - 600 b16 + x385 <= 0 e475: - 600 b17 + x386 <= 0 e476: - 600 b18 + x387 <= 0 e477: - 900 b19 + x424 <= 0 e478: - 900 b20 + x425 <= 0 e479: - 900 b21 + x426 <= 0 e480: - 900 b22 + x427 <= 0 e481: - 900 b23 + x428 <= 0 e482: - 900 b24 + x429 <= 0 e483: - 1.1e3 b25 + x310 <= 0 e484: - 1.1e3 b26 + x311 <= 0 e485: - 1.1e3 b27 + x312 <= 0 e486: - 1.1e3 b28 + x313 <= 0 e487: - 1.1e3 b29 + x314 <= 0 e488: - 1.1e3 b30 + x315 <= 0 e489: - 1.1e3 b31 + x316 <= 0 e490: - 1.1e3 b32 + x317 <= 0 e491: - 1.1e3 b33 + x318 <= 0 e492: - 1.1e3 b34 + x319 <= 0 e493: - 1.1e3 b35 + x320 <= 0 e494: - 1.1e3 b36 + x321 <= 0 e495: - 1.1e3 b37 + x346 <= 0 e496: - 1.1e3 b38 + x347 <= 0 e497: - 1.1e3 b39 + x348 <= 0 e498: - 1.1e3 b40 + x349 <= 0 e499: - 1.1e3 b41 + x350 <= 0 e500: - 1.1e3 b42 + x351 <= 0 e501: - 1.1e3 b43 + x352 <= 0 e502: - 1.1e3 b44 + x353 <= 0 e503: - 1.1e3 b45 + x354 <= 0 e504: - 1.1e3 b46 + x355 <= 0 e505: - 1.1e3 b47 + x356 <= 0 e506: - 1.1e3 b48 + x357 <= 0 e507: - 1.1e3 b49 + x388 <= 0 e508: - 1.1e3 b50 + x389 <= 0 e509: - 1.1e3 b51 + x390 <= 0 e510: - 1.1e3 b52 + x391 <= 0 e511: - 1.1e3 b53 + x392 <= 0 e512: - 1.1e3 b54 + x393 <= 0 e513: - 1.1e3 b55 + x394 <= 0 e514: - 1.1e3 b56 + x395 <= 0 e515: - 1.1e3 b57 + x396 <= 0 e516: - 1.1e3 b58 + x397 <= 0 e517: - 1.1e3 b59 + x398 <= 0 e518: - 1.1e3 b60 + x399 <= 0 e519: - 900 b61 + x436 <= 0 e520: - 900 b62 + x437 <= 0 e521: - 900 b63 + x438 <= 0 e522: - 900 b64 + x439 <= 0 e523: - 900 b65 + x440 <= 0 e524: - 900 b66 + x441 <= 0 e525: - 900 b67 + x442 <= 0 e526: - 900 b68 + x443 <= 0 e527: - 900 b69 + x444 <= 0 e528: - 900 b70 + x445 <= 0 e529: - 900 b71 + x446 <= 0 e530: - 900 b72 + x447 <= 0 e531: - 900 b73 + x448 <= 0 e532: - 900 b74 + x449 <= 0 e533: - 900 b75 + x450 <= 0 e534: - 900 b76 + x451 <= 0 e535: - 900 b77 + x452 <= 0 e536: - 900 b78 + x453 <= 0 e537: - 800 b79 + x322 + x430 + x472 <= 0 e538: - 800 b80 + x323 + x431 + x473 <= 0 e539: - 800 b81 + x324 + x432 + x474 <= 0 e540: - 800 b82 + x325 + x433 + x475 <= 0 e541: - 800 b83 + x326 + x434 + x476 <= 0 e542: - 800 b84 + x327 + x435 + x477 <= 0 e543: - 800 b85 + x328 + x358 + x400 + x478 <= 0 e544: - 800 b86 + x329 + x359 + x401 + x479 <= 0 e545: - 800 b87 + x330 + x360 + x402 + x480 <= 0 e546: - 800 b88 + x331 + x361 + x403 + x481 <= 0 e547: - 800 b89 + x332 + x362 + x404 + x482 <= 0 e548: - 800 b90 + x333 + x363 + x405 + x483 <= 0 e549: - 800 b91 + x334 + x364 + x406 + x484 <= 0 e550: - 800 b92 + x335 + x365 + x407 + x485 <= 0 e551: - 800 b93 + x336 + x366 + x408 + x486 <= 0 e552: - 800 b94 + x337 + x367 + x409 + x487 <= 0 e553: - 800 b95 + x338 + x368 + x410 + x488 <= 0 e554: - 800 b96 + x339 + x369 + x411 + x489 <= 0 e555: - 800 b97 + x370 + x412 + x454 + x490 <= 0 e556: - 800 b98 + x371 + x413 + x455 + x491 <= 0 e557: - 800 b99 + x372 + x414 + x456 + x492 <= 0 e558: - 800 b100 + x373 + x415 + x457 + x493 <= 0 e559: - 800 b101 + x374 + x416 + x458 + x494 <= 0 e560: - 800 b102 + x375 + x417 + x459 + x495 <= 0 e561: - 800 b103 + x376 + x418 + x460 + x496 <= 0 e562: - 800 b104 + x377 + x419 + x461 + x497 <= 0 e563: - 800 b105 + x378 + x420 + x462 + x498 <= 0 e564: - 800 b106 + x379 + x421 + x463 + x499 <= 0 e565: - 800 b107 + x380 + x422 + x464 + x500 <= 0 e566: - 800 b108 + x381 + x423 + x465 + x501 <= 0 e567: - 800 b109 + x466 <= 0 e568: - 800 b110 + x467 <= 0 e569: - 800 b111 + x468 <= 0 e570: - 800 b112 + x469 <= 0 e571: - 800 b113 + x470 <= 0 e572: - 800 b114 + x471 <= 0 e573: - b1 + x304 >= 0 e574: - b2 + x305 >= 0 e575: - b3 + x306 >= 0 e576: - b4 + x307 >= 0 e577: - b5 + x308 >= 0 e578: - b6 + x309 >= 0 e579: - b7 + x340 >= 0 e580: - b8 + x341 >= 0 e581: - b9 + x342 >= 0 e582: - b10 + x343 >= 0 e583: - b11 + x344 >= 0 e584: - b12 + x345 >= 0 e585: - b13 + x382 >= 0 e586: - b14 + x383 >= 0 e587: - b15 + x384 >= 0 e588: - b16 + x385 >= 0 e589: - b17 + x386 >= 0 e590: - b18 + x387 >= 0 e591: - b19 + x424 >= 0 e592: - b20 + x425 >= 0 e593: - b21 + x426 >= 0 e594: - b22 + x427 >= 0 e595: - b23 + x428 >= 0 e596: - b24 + x429 >= 0 e597: - b25 + x310 >= 0 e598: - b26 + x311 >= 0 e599: - b27 + x312 >= 0 e600: - b28 + x313 >= 0 e601: - b29 + x314 >= 0 e602: - b30 + x315 >= 0 e603: - b31 + x316 >= 0 e604: - b32 + x317 >= 0 e605: - b33 + x318 >= 0 e606: - b34 + x319 >= 0 e607: - b35 + x320 >= 0 e608: - b36 + x321 >= 0 e609: - b37 + x346 >= 0 e610: - b38 + x347 >= 0 e611: - b39 + x348 >= 0 e612: - b40 + x349 >= 0 e613: - b41 + x350 >= 0 e614: - b42 + x351 >= 0 e615: - b43 + x352 >= 0 e616: - b44 + x353 >= 0 e617: - b45 + x354 >= 0 e618: - b46 + x355 >= 0 e619: - b47 + x356 >= 0 e620: - b48 + x357 >= 0 e621: - b49 + x388 >= 0 e622: - b50 + x389 >= 0 e623: - b51 + x390 >= 0 e624: - b52 + x391 >= 0 e625: - b53 + x392 >= 0 e626: - b54 + x393 >= 0 e627: - b55 + x394 >= 0 e628: - b56 + x395 >= 0 e629: - b57 + x396 >= 0 e630: - b58 + x397 >= 0 e631: - b59 + x398 >= 0 e632: - b60 + x399 >= 0 e633: - b61 + x436 >= 0 e634: - b62 + x437 >= 0 e635: - b63 + x438 >= 0 e636: - b64 + x439 >= 0 e637: - b65 + x440 >= 0 e638: - b66 + x441 >= 0 e639: - b67 + x442 >= 0 e640: - b68 + x443 >= 0 e641: - b69 + x444 >= 0 e642: - b70 + x445 >= 0 e643: - b71 + x446 >= 0 e644: - b72 + x447 >= 0 e645: - b73 + x448 >= 0 e646: - b74 + x449 >= 0 e647: - b75 + x450 >= 0 e648: - b76 + x451 >= 0 e649: - b77 + x452 >= 0 e650: - b78 + x453 >= 0 e651: - b79 + x322 + x430 + x472 >= 0 e652: - b80 + x323 + x431 + x473 >= 0 e653: - b81 + x324 + x432 + x474 >= 0 e654: - b82 + x325 + x433 + x475 >= 0 e655: - b83 + x326 + x434 + x476 >= 0 e656: - b84 + x327 + x435 + x477 >= 0 e657: - b85 + x328 + x358 + x400 + x478 >= 0 e658: - b86 + x329 + x359 + x401 + x479 >= 0 e659: - b87 + x330 + x360 + x402 + x480 >= 0 e660: - b88 + x331 + x361 + x403 + x481 >= 0 e661: - b89 + x332 + x362 + x404 + x482 >= 0 e662: - b90 + x333 + x363 + x405 + x483 >= 0 e663: - b91 + x334 + x364 + x406 + x484 >= 0 e664: - b92 + x335 + x365 + x407 + x485 >= 0 e665: - b93 + x336 + x366 + x408 + x486 >= 0 e666: - b94 + x337 + x367 + x409 + x487 >= 0 e667: - b95 + x338 + x368 + x410 + x488 >= 0 e668: - b96 + x339 + x369 + x411 + x489 >= 0 e669: - b97 + x370 + x412 + x454 + x490 >= 0 e670: - b98 + x371 + x413 + x455 + x491 >= 0 e671: - b99 + x372 + x414 + x456 + x492 >= 0 e672: - b100 + x373 + x415 + x457 + x493 >= 0 e673: - b101 + x374 + x416 + x458 + x494 >= 0 e674: - b102 + x375 + x417 + x459 + x495 >= 0 e675: - b103 + x376 + x418 + x460 + x496 >= 0 e676: - b104 + x377 + x419 + x461 + x497 >= 0 e677: - b105 + x378 + x420 + x462 + x498 >= 0 e678: - b106 + x379 + x421 + x463 + x499 >= 0 e679: - b107 + x380 + x422 + x464 + x500 >= 0 e680: - b108 + x381 + x423 + x465 + x501 >= 0 e681: - b109 + x466 >= 0 e682: - b110 + x467 >= 0 e683: - b111 + x468 >= 0 e684: - b112 + x469 >= 0 e685: - b113 + x470 >= 0 e686: - b114 + x471 >= 0 e687: - 2e-3 x304 - x527 + x528 >= 0 e688: - 2e-3 x305 - x528 + x529 >= 0 e689: - 2e-3 x306 - x529 + x530 >= 0 e690: - 2e-3 x307 - x530 + x531 >= 0 e691: - 2e-3 x308 - x531 + x532 >= 0 e692: - 2e-3 x309 - x532 + x533 >= 0 e693: - 2e-3 x340 - x527 + x528 >= 0 e694: - 2e-3 x341 - x528 + x529 >= 0 e695: - 2e-3 x342 - x529 + x530 >= 0 e696: - 2e-3 x343 - x530 + x531 >= 0 e697: - 2e-3 x344 - x531 + x532 >= 0 e698: - 2e-3 x345 - x532 + x533 >= 0 e699: - 2e-3 x382 - x527 + x528 >= 0 e700: - 2e-3 x383 - x528 + x529 >= 0 e701: - 2e-3 x384 - x529 + x530 >= 0 e702: - 2e-3 x385 - x530 + x531 >= 0 e703: - 2e-3 x386 - x531 + x532 >= 0 e704: - 2e-3 x387 - x532 + x533 >= 0 e705: - 2e-3 x424 - x527 + x528 >= 0 e706: - 2e-3 x425 - x528 + x529 >= 0 e707: - 2e-3 x426 - x529 + x530 >= 0 e708: - 2e-3 x427 - x530 + x531 >= 0 e709: - 2e-3 x428 - x531 + x532 >= 0 e710: - 2e-3 x429 - x532 + x533 >= 0 e711: - 2e-3 x310 - x527 + x528 >= 0 e712: - 2e-3 x311 - x528 + x529 >= 0 e713: - 2e-3 x312 - x529 + x530 >= 0 e714: - 2e-3 x313 - x530 + x531 >= 0 e715: - 2e-3 x314 - x531 + x532 >= 0 e716: - 2e-3 x315 - x532 + x533 >= 0 e717: - 2e-3 x316 - x527 + x528 >= 0 e718: - 2e-3 x317 - x528 + x529 >= 0 e719: - 2e-3 x318 - x529 + x530 >= 0 e720: - 2e-3 x319 - x530 + x531 >= 0 e721: - 2e-3 x320 - x531 + x532 >= 0 e722: - 2e-3 x321 - x532 + x533 >= 0 e723: - 2e-3 x346 - x527 + x528 >= 0 e724: - 2e-3 x347 - x528 + x529 >= 0 e725: - 2e-3 x348 - x529 + x530 >= 0 e726: - 2e-3 x349 - x530 + x531 >= 0 e727: - 2e-3 x350 - x531 + x532 >= 0 e728: - 2e-3 x351 - x532 + x533 >= 0 e729: - 2e-3 x352 - x527 + x528 >= 0 e730: - 2e-3 x353 - x528 + x529 >= 0 e731: - 2e-3 x354 - x529 + x530 >= 0 e732: - 2e-3 x355 - x530 + x531 >= 0 e733: - 2e-3 x356 - x531 + x532 >= 0 e734: - 2e-3 x357 - x532 + x533 >= 0 e735: - 2e-3 x388 - x527 + x528 >= 0 e736: - 2e-3 x389 - x528 + x529 >= 0 e737: - 2e-3 x390 - x529 + x530 >= 0 e738: - 2e-3 x391 - x530 + x531 >= 0 e739: - 2e-3 x392 - x531 + x532 >= 0 e740: - 2e-3 x393 - x532 + x533 >= 0 e741: - 2e-3 x394 - x527 + x528 >= 0 e742: - 2e-3 x395 - x528 + x529 >= 0 e743: - 2e-3 x396 - x529 + x530 >= 0 e744: - 2e-3 x397 - x530 + x531 >= 0 e745: - 2e-3 x398 - x531 + x532 >= 0 e746: - 2e-3 x399 - x532 + x533 >= 0 e747: - 2e-3 x436 - x527 + x528 >= 0 e748: - 2e-3 x437 - x528 + x529 >= 0 e749: - 2e-3 x438 - x529 + x530 >= 0 e750: - 2e-3 x439 - x530 + x531 >= 0 e751: - 2e-3 x440 - x531 + x532 >= 0 e752: - 2e-3 x441 - x532 + x533 >= 0 e753: - 2e-3 x442 - x527 + x528 >= 0 e754: - 2e-3 x443 - x528 + x529 >= 0 e755: - 2e-3 x444 - x529 + x530 >= 0 e756: - 2e-3 x445 - x530 + x531 >= 0 e757: - 2e-3 x446 - x531 + x532 >= 0 e758: - 2e-3 x447 - x532 + x533 >= 0 e759: - 2e-3 x448 - x527 + x528 >= 0 e760: - 2e-3 x449 - x528 + x529 >= 0 e761: - 2e-3 x450 - x529 + x530 >= 0 e762: - 2e-3 x451 - x530 + x531 >= 0 e763: - 2e-3 x452 - x531 + x532 >= 0 e764: - 2e-3 x453 - x532 + x533 >= 0 e765: - 2e-3 x328 - 2e-3 x334 - 2e-3 x358 - 2e-3 x364 - 2e-3 x400 - 2e-3 x406 - 2e-3 x478 - 2e-3 x484 - x527 + x528 >= 0 e766: - 2e-3 x329 - 2e-3 x335 - 2e-3 x359 - 2e-3 x365 - 2e-3 x401 - 2e-3 x407 - 2e-3 x479 - 2e-3 x485 - x528 + x529 >= 0 e767: - 2e-3 x330 - 2e-3 x336 - 2e-3 x360 - 2e-3 x366 - 2e-3 x402 - 2e-3 x408 - 2e-3 x480 - 2e-3 x486 - x529 + x530 >= 0 e768: - 2e-3 x331 - 2e-3 x337 - 2e-3 x361 - 2e-3 x367 - 2e-3 x403 - 2e-3 x409 - 2e-3 x481 - 2e-3 x487 - x530 + x531 >= 0 e769: - 2e-3 x332 - 2e-3 x338 - 2e-3 x362 - 2e-3 x368 - 2e-3 x404 - 2e-3 x410 - 2e-3 x482 - 2e-3 x488 - x531 + x532 >= 0 e770: - 2e-3 x333 - 2e-3 x339 - 2e-3 x363 - 2e-3 x369 - 2e-3 x405 - 2e-3 x411 - 2e-3 x483 - 2e-3 x489 - x532 + x533 >= 0 e771: - 2e-3 x370 - 2e-3 x376 - 2e-3 x412 - 2e-3 x418 - 2e-3 x454 - 2e-3 x460 - 2e-3 x490 - 2e-3 x496 - x527 + x528 >= 0 e772: - 2e-3 x371 - 2e-3 x377 - 2e-3 x413 - 2e-3 x419 - 2e-3 x455 - 2e-3 x461 - 2e-3 x491 - 2e-3 x497 - x528 + x529 >= 0 e773: - 2e-3 x372 - 2e-3 x378 - 2e-3 x414 - 2e-3 x420 - 2e-3 x456 - 2e-3 x462 - 2e-3 x492 - 2e-3 x498 - x529 + x530 >= 0 e774: - 2e-3 x373 - 2e-3 x379 - 2e-3 x415 - 2e-3 x421 - 2e-3 x457 - 2e-3 x463 - 2e-3 x493 - 2e-3 x499 - x530 + x531 >= 0 e775: - 2e-3 x374 - 2e-3 x380 - 2e-3 x416 - 2e-3 x422 - 2e-3 x458 - 2e-3 x464 - 2e-3 x494 - 2e-3 x500 - x531 + x532 >= 0 e776: - 2e-3 x375 - 2e-3 x381 - 2e-3 x417 - 2e-3 x423 - 2e-3 x459 - 2e-3 x465 - 2e-3 x495 - 2e-3 x501 - x532 + x533 >= 0 e777: - 2e-3 x322 - 2e-3 x328 - 2e-3 x358 - 2e-3 x400 - 2e-3 x430 - 2e-3 x472 - 2e-3 x478 - x527 + x528 >= 0 e778: - 2e-3 x323 - 2e-3 x329 - 2e-3 x359 - 2e-3 x401 - 2e-3 x431 - 2e-3 x473 - 2e-3 x479 - x528 + x529 >= 0 e779: - 2e-3 x324 - 2e-3 x330 - 2e-3 x360 - 2e-3 x402 - 2e-3 x432 - 2e-3 x474 - 2e-3 x480 - x529 + x530 >= 0 e780: - 2e-3 x325 - 2e-3 x331 - 2e-3 x361 - 2e-3 x403 - 2e-3 x433 - 2e-3 x475 - 2e-3 x481 - x530 + x531 >= 0 e781: - 2e-3 x326 - 2e-3 x332 - 2e-3 x362 - 2e-3 x404 - 2e-3 x434 - 2e-3 x476 - 2e-3 x482 - x531 + x532 >= 0 e782: - 2e-3 x327 - 2e-3 x333 - 2e-3 x363 - 2e-3 x405 - 2e-3 x435 - 2e-3 x477 - 2e-3 x483 - x532 + x533 >= 0 e783: - 2e-3 x334 - 2e-3 x364 - 2e-3 x370 - 2e-3 x406 - 2e-3 x412 - 2e-3 x454 - 2e-3 x484 - 2e-3 x490 - x527 + x528 >= 0 e784: - 2e-3 x335 - 2e-3 x365 - 2e-3 x371 - 2e-3 x407 - 2e-3 x413 - 2e-3 x455 - 2e-3 x485 - 2e-3 x491 - x528 + x529 >= 0 e785: - 2e-3 x336 - 2e-3 x366 - 2e-3 x372 - 2e-3 x408 - 2e-3 x414 - 2e-3 x456 - 2e-3 x486 - 2e-3 x492 - x529 + x530 >= 0 e786: - 2e-3 x337 - 2e-3 x367 - 2e-3 x373 - 2e-3 x409 - 2e-3 x415 - 2e-3 x457 - 2e-3 x487 - 2e-3 x493 - x530 + x531 >= 0 e787: - 2e-3 x338 - 2e-3 x368 - 2e-3 x374 - 2e-3 x410 - 2e-3 x416 - 2e-3 x458 - 2e-3 x488 - 2e-3 x494 - x531 + x532 >= 0 e788: - 2e-3 x339 - 2e-3 x369 - 2e-3 x375 - 2e-3 x411 - 2e-3 x417 - 2e-3 x459 - 2e-3 x489 - 2e-3 x495 - x532 + x533 >= 0 e789: - 2e-3 x376 - 2e-3 x418 - 2e-3 x460 - 2e-3 x466 - 2e-3 x496 - x527 + x528 >= 0 e790: - 2e-3 x377 - 2e-3 x419 - 2e-3 x461 - 2e-3 x467 - 2e-3 x497 - x528 + x529 >= 0 e791: - 2e-3 x378 - 2e-3 x420 - 2e-3 x462 - 2e-3 x468 - 2e-3 x498 - x529 + x530 >= 0 e792: - 2e-3 x379 - 2e-3 x421 - 2e-3 x463 - 2e-3 x469 - 2e-3 x499 - x530 + x531 >= 0 e793: - 2e-3 x380 - 2e-3 x422 - 2e-3 x464 - 2e-3 x470 - 2e-3 x500 - x531 + x532 >= 0 e794: - 2e-3 x381 - 2e-3 x423 - 2e-3 x465 - 2e-3 x471 - 2e-3 x501 - x532 + x533 >= 0 e795: - 5e-2 x322 - 5e-2 x328 - 5e-2 x358 - 5e-2 x400 - 5e-2 x430 - 5e-2 x472 - 5e-2 x478 - x527 + x528 <= 0 e796: - 5e-2 x323 - 5e-2 x329 - 5e-2 x359 - 5e-2 x401 - 5e-2 x431 - 5e-2 x473 - 5e-2 x479 - x528 + x529 <= 0 e797: - 5e-2 x324 - 5e-2 x330 - 5e-2 x360 - 5e-2 x402 - 5e-2 x432 - 5e-2 x474 - 5e-2 x480 - x529 + x530 <= 0 e798: - 5e-2 x325 - 5e-2 x331 - 5e-2 x361 - 5e-2 x403 - 5e-2 x433 - 5e-2 x475 - 5e-2 x481 - x530 + x531 <= 0 e799: - 5e-2 x326 - 5e-2 x332 - 5e-2 x362 - 5e-2 x404 - 5e-2 x434 - 5e-2 x476 - 5e-2 x482 - x531 + x532 <= 0 e800: - 5e-2 x327 - 5e-2 x333 - 5e-2 x363 - 5e-2 x405 - 5e-2 x435 - 5e-2 x477 - 5e-2 x483 - x532 + x533 <= 0 e801: - 5e-2 x334 - 5e-2 x364 - 5e-2 x370 - 5e-2 x406 - 5e-2 x412 - 5e-2 x454 - 5e-2 x484 - 5e-2 x490 - x527 + x528 <= 0 e802: - 5e-2 x335 - 5e-2 x365 - 5e-2 x371 - 5e-2 x407 - 5e-2 x413 - 5e-2 x455 - 5e-2 x485 - 5e-2 x491 - x528 + x529 <= 0 e803: - 5e-2 x336 - 5e-2 x366 - 5e-2 x372 - 5e-2 x408 - 5e-2 x414 - 5e-2 x456 - 5e-2 x486 - 5e-2 x492 - x529 + x530 <= 0 e804: - 5e-2 x337 - 5e-2 x367 - 5e-2 x373 - 5e-2 x409 - 5e-2 x415 - 5e-2 x457 - 5e-2 x487 - 5e-2 x493 - x530 + x531 <= 0 e805: - 5e-2 x338 - 5e-2 x368 - 5e-2 x374 - 5e-2 x410 - 5e-2 x416 - 5e-2 x458 - 5e-2 x488 - 5e-2 x494 - x531 + x532 <= 0 e806: - 5e-2 x339 - 5e-2 x369 - 5e-2 x375 - 5e-2 x411 - 5e-2 x417 - 5e-2 x459 - 5e-2 x489 - 5e-2 x495 - x532 + x533 <= 0 e807: - 5e-2 x376 - 5e-2 x418 - 5e-2 x460 - 5e-2 x466 - 5e-2 x496 - x527 + x528 <= 0 e808: - 5e-2 x377 - 5e-2 x419 - 5e-2 x461 - 5e-2 x467 - 5e-2 x497 - x528 + x529 <= 0 e809: - 5e-2 x378 - 5e-2 x420 - 5e-2 x462 - 5e-2 x468 - 5e-2 x498 - x529 + x530 <= 0 e810: - 5e-2 x379 - 5e-2 x421 - 5e-2 x463 - 5e-2 x469 - 5e-2 x499 - x530 + x531 <= 0 e811: - 5e-2 x380 - 5e-2 x422 - 5e-2 x464 - 5e-2 x470 - 5e-2 x500 - x531 + x532 <= 0 e812: - 5e-2 x381 - 5e-2 x423 - 5e-2 x465 - 5e-2 x471 - 5e-2 x501 - x532 + x533 <= 0 e813: x527 >= 0 e814: - 5 b117 + x528 >= 0 e815: - 5 b119 - 10 b120 + x529 >= 0 e816: - 5 b122 - 10 b123 + x530 >= 0 e817: - 5 b124 - 10 b125 + x531 >= 0 e818: - 10 b126 + x532 >= 0 e819: - 1.2 b127 + x528 >= 0 e820: - 1.2 b128 - 6.2 b129 + x529 >= 0 e821: - 1.2 b130 - 6.2 b131 - 11.2 b132 + x530 >= 0 e822: - 1.2 b133 - 6.2 b134 - 11.2 b135 + x531 >= 0 e823: - 6.2 b136 - 11.2 b137 + x532 >= 0 e824: - 11.2 b138 + x533 >= 0 e825: b115 + 2 b116 + 3 b118 + 4 b121 - 2 b127 - 3 b128 - 4 b130 - 5 b133 <= -1 e826: 2 b117 + 3 b119 + 4 b122 + 5 b124 - 3 b129 - 4 b131 - 5 b134 - 6 b136 <= -1 e827: 3 b120 + 4 b123 + 5 b125 + 6 b126 - 4 b132 - 5 b135 - 6 b137 - 7 b138 <= -1 e828: - 2 b117 - 3 b119 - 4 b122 - 5 b124 + 2 b127 + 3 b128 + 4 b130 + 5 b133 <= 0 e829: - 3 b120 - 4 b123 - 5 b125 - 6 b126 + 3 b129 + 4 b131 + 5 b134 + 6 b136 <= 0 e830: x154 + x155 + x156 <= 7 e831: x323 + [ - x172 * x502 ] = 0 e832: x324 + [ - x173 * x503 ] = 0 e833: x325 + [ - x174 * x504 ] = 0 e834: x326 + [ - x175 * x505 ] = 0 e835: x327 + [ - x176 * x506 ] = 0 e836: x329 + [ - x179 * x507 ] = 0 e837: x330 + [ - x180 * x508 ] = 0 e838: x331 + [ - x181 * x509 ] = 0 e839: x332 + [ - x182 * x510 ] = 0 e840: x333 + [ - x183 * x511 ] = 0 e841: x335 + [ - x179 * x512 ] = 0 e842: x336 + [ - x180 * x513 ] = 0 e843: x337 + [ - x181 * x514 ] = 0 e844: x338 + [ - x182 * x515 ] = 0 e845: x339 + [ - x183 * x516 ] = 0 e846: x359 + [ - x200 * x507 ] = 0 e847: x360 + [ - x201 * x508 ] = 0 e848: x361 + [ - x202 * x509 ] = 0 e849: x362 + [ - x203 * x510 ] = 0 e850: x363 + [ - x204 * x511 ] = 0 e851: x365 + [ - x200 * x512 ] = 0 e852: x366 + [ - x201 * x513 ] = 0 e853: x367 + [ - x202 * x514 ] = 0 e854: x368 + [ - x203 * x515 ] = 0 e855: x369 + [ - x204 * x516 ] = 0 e856: x371 + [ - x207 * x517 ] = 0 e857: x372 + [ - x208 * x518 ] = 0 e858: x373 + [ - x209 * x519 ] = 0 e859: x374 + [ - x210 * x520 ] = 0 e860: x375 + [ - x211 * x521 ] = 0 e861: x377 + [ - x207 * x522 ] = 0 e862: x378 + [ - x208 * x523 ] = 0 e863: x379 + [ - x209 * x524 ] = 0 e864: x380 + [ - x210 * x525 ] = 0 e865: x381 + [ - x211 * x526 ] = 0 e866: x401 + [ - x228 * x507 ] = 0 e867: x402 + [ - x229 * x508 ] = 0 e868: x403 + [ - x230 * x509 ] = 0 e869: x404 + [ - x231 * x510 ] = 0 e870: x405 + [ - x232 * x511 ] = 0 e871: x407 + [ - x228 * x512 ] = 0 e872: x408 + [ - x229 * x513 ] = 0 e873: x409 + [ - x230 * x514 ] = 0 e874: x410 + [ - x231 * x515 ] = 0 e875: x411 + [ - x232 * x516 ] = 0 e876: x413 + [ - x235 * x517 ] = 0 e877: x414 + [ - x236 * x518 ] = 0 e878: x415 + [ - x237 * x519 ] = 0 e879: x416 + [ - x238 * x520 ] = 0 e880: x417 + [ - x239 * x521 ] = 0 e881: x419 + [ - x235 * x522 ] = 0 e882: x420 + [ - x236 * x523 ] = 0 e883: x421 + [ - x237 * x524 ] = 0 e884: x422 + [ - x238 * x525 ] = 0 e885: x423 + [ - x239 * x526 ] = 0 e886: x431 + [ - x249 * x502 ] = 0 e887: x432 + [ - x250 * x503 ] = 0 e888: x433 + [ - x251 * x504 ] = 0 e889: x434 + [ - x252 * x505 ] = 0 e890: x435 + [ - x253 * x506 ] = 0 e891: x455 + [ - x270 * x517 ] = 0 e892: x456 + [ - x271 * x518 ] = 0 e893: x457 + [ - x272 * x519 ] = 0 e894: x458 + [ - x273 * x520 ] = 0 e895: x459 + [ - x274 * x521 ] = 0 e896: x461 + [ - x270 * x522 ] = 0 e897: x462 + [ - x271 * x523 ] = 0 e898: x463 + [ - x272 * x524 ] = 0 e899: x464 + [ - x273 * x525 ] = 0 e900: x465 + [ - x274 * x526 ] = 0 e901: x473 + [ - x284 * x502 ] = 0 e902: x474 + [ - x285 * x503 ] = 0 e903: x475 + [ - x286 * x504 ] = 0 e904: x476 + [ - x287 * x505 ] = 0 e905: x477 + [ - x288 * x506 ] = 0 e906: x479 + [ - x291 * x507 ] = 0 e907: x480 + [ - x292 * x508 ] = 0 e908: x481 + [ - x293 * x509 ] = 0 e909: x482 + [ - x294 * x510 ] = 0 e910: x483 + [ - x295 * x511 ] = 0 e911: x485 + [ - x291 * x512 ] = 0 e912: x486 + [ - x292 * x513 ] = 0 e913: x487 + [ - x293 * x514 ] = 0 e914: x488 + [ - x294 * x515 ] = 0 e915: x489 + [ - x295 * x516 ] = 0 e916: x491 + [ - x298 * x517 ] = 0 e917: x492 + [ - x299 * x518 ] = 0 e918: x493 + [ - x300 * x519 ] = 0 e919: x494 + [ - x301 * x520 ] = 0 e920: x495 + [ - x302 * x521 ] = 0 e921: x497 + [ - x298 * x522 ] = 0 e922: x498 + [ - x299 * x523 ] = 0 e923: x499 + [ - x300 * x524 ] = 0 e924: x500 + [ - x301 * x525 ] = 0 e925: x501 + [ - x302 * x526 ] = 0 Bounds x172 <= 700 x173 <= 700 x174 <= 700 x175 <= 700 x176 <= 700 x179 <= 700 x180 <= 700 x181 <= 700 x182 <= 700 x183 <= 700 x200 <= 800 x201 <= 800 x202 <= 800 x203 <= 800 x204 <= 800 x207 <= 800 x208 <= 800 x209 <= 800 x210 <= 800 x211 <= 800 x228 <= 800 x229 <= 800 x230 <= 800 x231 <= 800 x232 <= 800 x235 <= 800 x236 <= 800 x237 <= 800 x238 <= 800 x239 <= 800 x249 <= 600 x250 <= 600 x251 <= 600 x252 <= 600 x253 <= 600 x270 <= 300 x271 <= 300 x272 <= 300 x273 <= 300 x274 <= 300 x284 <= 50 x285 <= 50 x286 <= 50 x287 <= 50 x288 <= 50 x291 <= 300 x292 <= 300 x293 <= 300 x294 <= 300 x295 <= 300 x298 <= 300 x299 <= 300 x300 <= 300 x301 <= 300 x302 <= 300 x502 <= 1 x503 <= 1 x504 <= 1 x505 <= 1 x506 <= 1 x507 <= 1 x508 <= 1 x509 <= 1 x510 <= 1 x511 <= 1 x512 <= 1 x513 <= 1 x514 <= 1 x515 <= 1 x516 <= 1 x517 <= 1 x518 <= 1 x519 <= 1 x520 <= 1 x521 <= 1 x522 <= 1 x523 <= 1 x524 <= 1 x525 <= 1 x526 <= 1 x527 = 0 x533 = 15 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 End