\ Equation counts \ Total E G L N X C B \ 732 208 266 258 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 403 295 108 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2523 2383 140 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 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 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 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + 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 + 3 x293 + 3 x294 + 3 x295 + 3 x296 + 3 x297 + 3 x298 + 3 x299 + 3 x300 + 3 x301 + 3 x302 + 3 x303 + 3 x304 + 3 x305 + 3 x306 + 3 x307 + 3 x308 + 3 x309 + 3 x310 + 3 x311 + 3 x312 + 3 x313 + 3 x314 + 3 x315 + 3 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 5 x335 + 5 x336 + 5 x337 + 5 x338 + 5 x339 + 5 x340 + 5 x341 + 5 x342 + 5 x343 + 5 x344 + 5 x345 + 5 x346 + 5 x347 + 5 x348 + 5 x349 + 5 x350 + 5 x351 + 5 x352 + 1.67 x353 + 1.67 x354 + 1.67 x355 + 1.67 x356 + 1.67 x357 + 1.67 x358 + 3 x359 + 3 x360 + 3 x361 + 3 x362 + 3 x363 + 3 x364 + 3 x365 + 3 x366 + 3 x367 + 3 x368 + 3 x369 + 3 x370 + 4.33 x371 + 4.33 x372 + 4.33 x373 + 4.33 x374 + 4.33 x375 + 4.33 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 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 + 0 x400 + 0 x401 + 0 x402 + 0 x403 Subject To e2: x121 = 1e3 e3: - x121 + x122 + x233 = 0 e4: - x122 + x123 + x234 = 0 e5: - x123 + x124 + x235 = 0 e6: - x124 + x125 + x236 = 0 e7: - x125 + x126 + x237 = 0 e8: - x126 + x127 + x238 = 0 e9: x128 = 200 e10: - x128 + x129 - x233 + x239 + x245 = 0 e11: - x129 + x130 - x234 + x240 + x246 = 0 e12: - x130 + x131 - x235 + x241 + x247 = 0 e13: - x131 + x132 - x236 + x242 + x248 = 0 e14: - x132 + x133 - x237 + x243 + x249 = 0 e15: - x133 + x134 - x238 + x244 + x250 = 0 e16: x135 = 0 e17: - x135 + x136 - x239 + x251 = 0 e18: - x136 + x137 - x240 + x252 = 0 e19: - x137 + x138 - x241 + x253 = 0 e20: - x138 + x139 - x242 + x254 = 0 e21: - x139 + x140 - x243 + x255 = 0 e22: - x140 + x141 - x244 + x256 = 0 e23: x142 = 0 e24: - x142 + x143 - x245 + x257 + x263 = 0 e25: - x143 + x144 - x246 + x258 + x264 = 0 e26: - x144 + x145 - x247 + x259 + x265 = 0 e27: - x145 + x146 - x248 + x260 + x266 = 0 e28: - x146 + x147 - x249 + x261 + x267 = 0 e29: - x147 + x148 - x250 + x262 + x268 = 0 e30: x149 = 1e3 e31: - x149 + x150 + x269 = 0 e32: - x150 + x151 + x270 = 0 e33: - x151 + x152 + x271 = 0 e34: - x152 + x153 + x272 = 0 e35: - x153 + x154 + x273 = 0 e36: - x154 + x155 + x274 = 0 e37: x156 = 500 e38: - x156 + x157 - x269 + x275 + x281 + x287 = 0 e39: - x157 + x158 - x270 + x276 + x282 + x288 = 0 e40: - x158 + x159 - x271 + x277 + x283 + x289 = 0 e41: - x159 + x160 - x272 + x278 + x284 + x290 = 0 e42: - x160 + x161 - x273 + x279 + x285 + x291 = 0 e43: - x161 + x162 - x274 + x280 + x286 + x292 = 0 e44: x163 = 0 e45: - x163 + x164 - x275 + x293 = 0 e46: - x164 + x165 - x276 + x294 = 0 e47: - x165 + x166 - x277 + x295 = 0 e48: - x166 + x167 - x278 + x296 = 0 e49: - x167 + x168 - x279 + x297 = 0 e50: - x168 + x169 - x280 + x298 = 0 e51: x170 = 0 e52: - x170 + x171 - x281 + x299 + x305 = 0 e53: - x171 + x172 - x282 + x300 + x306 = 0 e54: - x172 + x173 - x283 + x301 + x307 = 0 e55: - x173 + x174 - x284 + x302 + x308 = 0 e56: - x174 + x175 - x285 + x303 + x309 = 0 e57: - x175 + x176 - x286 + x304 + x310 = 0 e58: x177 = 0 e59: - x177 + x178 - x287 + x311 = 0 e60: - x178 + x179 - x288 + x312 = 0 e61: - x179 + x180 - x289 + x313 = 0 e62: - x180 + x181 - x290 + x314 = 0 e63: - x181 + x182 - x291 + x315 = 0 e64: - x182 + x183 - x292 + x316 = 0 e65: x184 = 1e3 e66: - x184 + x185 + x317 = 0 e67: - x185 + x186 + x318 = 0 e68: - x186 + x187 + x319 = 0 e69: - x187 + x188 + x320 = 0 e70: - x188 + x189 + x321 = 0 e71: - x189 + x190 + x322 = 0 e72: x191 = 700 e73: - x191 + x192 - x317 + x323 + x329 = 0 e74: - x192 + x193 - x318 + x324 + x330 = 0 e75: - x193 + x194 - x319 + x325 + x331 = 0 e76: - x194 + x195 - x320 + x326 + x332 = 0 e77: - x195 + x196 - x321 + x327 + x333 = 0 e78: - x196 + x197 - x322 + x328 + x334 = 0 e79: x198 = 0 e80: - x198 + x199 - x323 + x335 + x341 = 0 e81: - x199 + x200 - x324 + x336 + x342 = 0 e82: - x200 + x201 - x325 + x337 + x343 = 0 e83: - x201 + x202 - x326 + x338 + x344 = 0 e84: - x202 + x203 - x327 + x339 + x345 = 0 e85: - x203 + x204 - x328 + x340 + x346 = 0 e86: x205 = 0 e87: - x205 + x206 - x329 + x347 = 0 e88: - x206 + x207 - x330 + x348 = 0 e89: - x207 + x208 - x331 + x349 = 0 e90: - x208 + x209 - x332 + x350 = 0 e91: - x209 + x210 - x333 + x351 = 0 e92: - x210 + x211 - x334 + x352 = 0 e93: x212 = 300 e94: - x212 + x213 + x353 = 0 e95: - x213 + x214 + x354 = 0 e96: - x214 + x215 + x355 = 0 e97: - x215 + x216 + x356 = 0 e98: - x216 + x217 + x357 = 0 e99: - x217 + x218 + x358 = 0 e100: x219 = 500 e101: - x219 + x220 + x359 + x365 = 0 e102: - x220 + x221 + x360 + x366 = 0 e103: - x221 + x222 + x361 + x367 = 0 e104: - x222 + x223 + x362 + x368 = 0 e105: - x223 + x224 + x363 + x369 = 0 e106: - x224 + x225 + x364 + x370 = 0 e107: x226 = 300 e108: - x226 + x227 + x371 = 0 e109: - x227 + x228 + x372 = 0 e110: - x228 + x229 + x373 = 0 e111: - x229 + x230 + x374 = 0 e112: - x230 + x231 + x375 = 0 e113: - x231 + x232 + x376 = 0 e114: x129 <= 1e3 e115: x130 <= 1e3 e116: x131 <= 1e3 e117: x132 <= 1e3 e118: x133 <= 1e3 e119: x134 <= 1e3 e120: x157 <= 1e3 e121: x158 <= 1e3 e122: x159 <= 1e3 e123: x160 <= 1e3 e124: x161 <= 1e3 e125: x162 <= 1e3 e126: x192 <= 1e3 e127: x193 <= 1e3 e128: x194 <= 1e3 e129: x195 <= 1e3 e130: x196 <= 1e3 e131: x197 <= 1e3 e132: x136 + x164 + x213 <= 1e3 e133: x137 + x165 + x214 <= 1e3 e134: x138 + x166 + x215 <= 1e3 e135: x139 + x167 + x216 <= 1e3 e136: x140 + x168 + x217 <= 1e3 e137: x141 + x169 + x218 <= 1e3 e138: x143 + x171 + x199 + x220 <= 1e3 e139: x144 + x172 + x200 + x221 <= 1e3 e140: x145 + x173 + x201 + x222 <= 1e3 e141: x146 + x174 + x202 + x223 <= 1e3 e142: x147 + x175 + x203 + x224 <= 1e3 e143: x148 + x176 + x204 + x225 <= 1e3 e144: x178 + x206 + x227 <= 1e3 e145: x179 + x207 + x228 <= 1e3 e146: x180 + x208 + x229 <= 1e3 e147: x181 + x209 + x230 <= 1e3 e148: x182 + x210 + x231 <= 1e3 e149: x183 + x211 + x232 <= 1e3 e150: x129 >= 0 e151: x130 >= 0 e152: x131 >= 0 e153: x132 >= 0 e154: x133 >= 0 e155: x134 >= 0 e156: x157 >= 0 e157: x158 >= 0 e158: x159 >= 0 e159: x160 >= 0 e160: x161 >= 0 e161: x162 >= 0 e162: x192 >= 0 e163: x193 >= 0 e164: x194 >= 0 e165: x195 >= 0 e166: x196 >= 0 e167: x197 >= 0 e168: x136 + x164 + x213 >= 0 e169: x137 + x165 + x214 >= 0 e170: x138 + x166 + x215 >= 0 e171: x139 + x167 + x216 >= 0 e172: x140 + x168 + x217 >= 0 e173: x141 + x169 + x218 >= 0 e174: x143 + x171 + x199 + x220 >= 0 e175: x144 + x172 + x200 + x221 >= 0 e176: x145 + x173 + x201 + x222 >= 0 e177: x146 + x174 + x202 + x223 >= 0 e178: x147 + x175 + x203 + x224 >= 0 e179: x148 + x176 + x204 + x225 >= 0 e180: x178 + x206 + x227 >= 0 e181: x179 + x207 + x228 >= 0 e182: x180 + x208 + x229 >= 0 e183: x181 + x209 + x230 >= 0 e184: x182 + x210 + x231 >= 0 e185: x183 + x211 + x232 >= 0 e186: - 1e-2 x136 + 1e-2 x164 - 3.3e-3 x213 <= 0 e187: - 1e-2 x137 + 1e-2 x165 - 3.3e-3 x214 <= 0 e188: - 1e-2 x138 + 1e-2 x166 - 3.3e-3 x215 <= 0 e189: - 1e-2 x139 + 1e-2 x167 - 3.3e-3 x216 <= 0 e190: - 1e-2 x140 + 1e-2 x168 - 3.3e-3 x217 <= 0 e191: - 1e-2 x141 + 1e-2 x169 - 3.3e-3 x218 <= 0 e192: 2e-3 x136 - 1.8e-2 x164 - 4.7e-3 x213 <= 0 e193: 2e-3 x137 - 1.8e-2 x165 - 4.7e-3 x214 <= 0 e194: 2e-3 x138 - 1.8e-2 x166 - 4.7e-3 x215 <= 0 e195: 2e-3 x139 - 1.8e-2 x167 - 4.7e-3 x216 <= 0 e196: 2e-3 x140 - 1.8e-2 x168 - 4.7e-3 x217 <= 0 e197: 2e-3 x141 - 1.8e-2 x169 - 4.7e-3 x218 <= 0 e198: - 2.5e-2 x143 - 5e-3 x171 + 1.5e-2 x199 - 5e-3 x220 <= 0 e199: - 2.5e-2 x144 - 5e-3 x172 + 1.5e-2 x200 - 5e-3 x221 <= 0 e200: - 2.5e-2 x145 - 5e-3 x173 + 1.5e-2 x201 - 5e-3 x222 <= 0 e201: - 2.5e-2 x146 - 5e-3 x174 + 1.5e-2 x202 - 5e-3 x223 <= 0 e202: - 2.5e-2 x147 - 5e-3 x175 + 1.5e-2 x203 - 5e-3 x224 <= 0 e203: - 2.5e-2 x148 - 5e-3 x176 + 1.5e-2 x204 - 5e-3 x225 <= 0 e204: 1.3e-2 x143 - 7e-3 x171 - 1.7e-2 x199 - 4e-3 x220 <= 0 e205: 1.3e-2 x144 - 7e-3 x172 - 1.7e-2 x200 - 4e-3 x221 <= 0 e206: 1.3e-2 x145 - 7e-3 x173 - 1.7e-2 x201 - 4e-3 x222 <= 0 e207: 1.3e-2 x146 - 7e-3 x174 - 1.7e-2 x202 - 4e-3 x223 <= 0 e208: 1.3e-2 x147 - 7e-3 x175 - 1.7e-2 x203 - 4e-3 x224 <= 0 e209: 1.3e-2 x148 - 7e-3 x176 - 1.7e-2 x204 - 4e-3 x225 <= 0 e210: - 1.8e-2 x178 + 2e-3 x206 - 4.7e-3 x227 <= 0 e211: - 1.8e-2 x179 + 2e-3 x207 - 4.7e-3 x228 <= 0 e212: - 1.8e-2 x180 + 2e-3 x208 - 4.7e-3 x229 <= 0 e213: - 1.8e-2 x181 + 2e-3 x209 - 4.7e-3 x230 <= 0 e214: - 1.8e-2 x182 + 2e-3 x210 - 4.7e-3 x231 <= 0 e215: - 1.8e-2 x183 + 2e-3 x211 - 4.7e-3 x232 <= 0 e216: 2e-3 x178 - 8e-3 x206 - 4.7e-3 x227 <= 0 e217: 2e-3 x179 - 8e-3 x207 - 4.7e-3 x228 <= 0 e218: 2e-3 x180 - 8e-3 x208 - 4.7e-3 x229 <= 0 e219: 2e-3 x181 - 8e-3 x209 - 4.7e-3 x230 <= 0 e220: 2e-3 x182 - 8e-3 x210 - 4.7e-3 x231 <= 0 e221: 2e-3 x183 - 8e-3 x211 - 4.7e-3 x232 <= 0 e222: 2e-2 x164 + 6.7e-3 x213 >= 0 e223: 2e-2 x165 + 6.7e-3 x214 >= 0 e224: 2e-2 x166 + 6.7e-3 x215 >= 0 e225: 2e-2 x167 + 6.7e-3 x216 >= 0 e226: 2e-2 x168 + 6.7e-3 x217 >= 0 e227: 2e-2 x169 + 6.7e-3 x218 >= 0 e228: 1e-2 x136 - 1e-2 x164 + 3.3e-3 x213 >= 0 e229: 1e-2 x137 - 1e-2 x165 + 3.3e-3 x214 >= 0 e230: 1e-2 x138 - 1e-2 x166 + 3.3e-3 x215 >= 0 e231: 1e-2 x139 - 1e-2 x167 + 3.3e-3 x216 >= 0 e232: 1e-2 x140 - 1e-2 x168 + 3.3e-3 x217 >= 0 e233: 1e-2 x141 - 1e-2 x169 + 3.3e-3 x218 >= 0 e234: - 1.5e-2 x143 + 5e-3 x171 + 2.5e-2 x199 + 5e-3 x220 >= 0 e235: - 1.5e-2 x144 + 5e-3 x172 + 2.5e-2 x200 + 5e-3 x221 >= 0 e236: - 1.5e-2 x145 + 5e-3 x173 + 2.5e-2 x201 + 5e-3 x222 >= 0 e237: - 1.5e-2 x146 + 5e-3 x174 + 2.5e-2 x202 + 5e-3 x223 >= 0 e238: - 1.5e-2 x147 + 5e-3 x175 + 2.5e-2 x203 + 5e-3 x224 >= 0 e239: - 1.5e-2 x148 + 5e-3 x176 + 2.5e-2 x204 + 5e-3 x225 >= 0 e240: 2.2e-2 x143 + 2e-3 x171 - 8e-3 x199 + 5e-3 x220 >= 0 e241: 2.2e-2 x144 + 2e-3 x172 - 8e-3 x200 + 5e-3 x221 >= 0 e242: 2.2e-2 x145 + 2e-3 x173 - 8e-3 x201 + 5e-3 x222 >= 0 e243: 2.2e-2 x146 + 2e-3 x174 - 8e-3 x202 + 5e-3 x223 >= 0 e244: 2.2e-2 x147 + 2e-3 x175 - 8e-3 x203 + 5e-3 x224 >= 0 e245: 2.2e-2 x148 + 2e-3 x176 - 8e-3 x204 + 5e-3 x225 >= 0 e246: - 1e-2 x178 + 1e-2 x206 + 3.3e-3 x227 >= 0 e247: - 1e-2 x179 + 1e-2 x207 + 3.3e-3 x228 >= 0 e248: - 1e-2 x180 + 1e-2 x208 + 3.3e-3 x229 >= 0 e249: - 1e-2 x181 + 1e-2 x209 + 3.3e-3 x230 >= 0 e250: - 1e-2 x182 + 1e-2 x210 + 3.3e-3 x231 >= 0 e251: - 1e-2 x183 + 1e-2 x211 + 3.3e-3 x232 >= 0 e252: 1e-2 x178 + 3.3e-3 x227 >= 0 e253: 1e-2 x179 + 3.3e-3 x228 >= 0 e254: 1e-2 x180 + 3.3e-3 x229 >= 0 e255: 1e-2 x181 + 3.3e-3 x230 >= 0 e256: 1e-2 x182 + 3.3e-3 x231 >= 0 e257: 1e-2 x183 + 3.3e-3 x232 >= 0 e258: b19 + b61 <= 1 e259: b20 + b62 <= 1 e260: b21 + b63 <= 1 e261: b22 + b64 <= 1 e262: b23 + b65 <= 1 e263: b24 + b66 <= 1 e264: b31 + b61 <= 1 e265: b32 + b62 <= 1 e266: b33 + b63 <= 1 e267: b34 + b64 <= 1 e268: b35 + b65 <= 1 e269: b36 + b66 <= 1 e270: b25 + b67 + b73 <= 1 e271: b26 + b68 + b74 <= 1 e272: b27 + b69 + b75 <= 1 e273: b28 + b70 + b76 <= 1 e274: b29 + b71 + b77 <= 1 e275: b30 + b72 + b78 <= 1 e276: b37 + b67 + b73 <= 1 e277: b38 + b68 + b74 <= 1 e278: b39 + b69 + b75 <= 1 e279: b40 + b70 + b76 <= 1 e280: b41 + b71 + b77 <= 1 e281: b42 + b72 + b78 <= 1 e282: b49 + b67 + b73 <= 1 e283: b50 + b68 + b74 <= 1 e284: b51 + b69 + b75 <= 1 e285: b52 + b70 + b76 <= 1 e286: b53 + b71 + b77 <= 1 e287: b54 + b72 + b78 <= 1 e288: b43 + b79 <= 1 e289: b44 + b80 <= 1 e290: b45 + b81 <= 1 e291: b46 + b82 <= 1 e292: b47 + b83 <= 1 e293: b48 + b84 <= 1 e294: b55 + b79 <= 1 e295: b56 + b80 <= 1 e296: b57 + b81 <= 1 e297: b58 + b82 <= 1 e298: b59 + b83 <= 1 e299: b60 + b84 <= 1 e300: x127 = 0 e301: x155 = 0 e302: x190 = 0 e303: x251 + x252 + x253 + x254 + x255 + x256 + x293 + x294 + x295 + x296 + x297 + x298 + x353 + x354 + x355 + x356 + x357 + x358 = 1e3 e304: x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x335 + x336 + x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 = 1e3 e305: x311 + x312 + x313 + x314 + x315 + x316 + x347 + x348 + x349 + x350 + x351 + x352 + x371 + x372 + x373 + x374 + x375 + x376 = 1e3 e306: b85 + b86 + b88 + b91 = 1 e307: b87 + b89 + b92 + b94 = 1 e308: b90 + b93 + b95 + b96 = 1 e309: b97 + b98 + b100 + b103 = 1 e310: b99 + b101 + b104 + b106 = 1 e311: b102 + b105 + b107 + b108 = 1 e312: b1 + b7 + b13 <= 1 e313: b2 + b8 + b14 <= 1 e314: b3 + b9 + b15 <= 1 e315: b4 + b10 + b16 <= 1 e316: b5 + b11 + b17 <= 1 e317: b6 + b12 + b18 <= 1 e318: b61 + b67 = 1 e319: b62 + b68 = 1 e320: b63 + b69 = 1 e321: b64 + b70 = 1 e322: b65 + b71 = 1 e323: b66 + b72 = 1 e324: b73 + b79 = 1 e325: b74 + b80 = 1 e326: b75 + b81 = 1 e327: b76 + b82 = 1 e328: b77 + b83 = 1 e329: b78 + b84 = 1 e330: b1 - b85 <= 0 e331: b2 - b85 - b86 <= 0 e332: b3 - b85 - b86 - b88 <= 0 e333: b4 - b85 - b86 - b88 - b91 <= 0 e334: b5 - b85 - b86 - b88 - b91 <= 0 e335: b6 - b85 - b86 - b88 - b91 <= 0 e336: b7 <= 0 e337: b8 - b87 <= 0 e338: b9 - b87 - b89 <= 0 e339: b10 - b87 - b89 - b92 <= 0 e340: b11 - b87 - b89 - b92 - b94 <= 0 e341: b12 - b87 - b89 - b92 - b94 <= 0 e342: b13 <= 0 e343: b14 <= 0 e344: b15 - b90 <= 0 e345: b16 - b90 - b93 <= 0 e346: b17 - b90 - b93 - b95 <= 0 e347: b18 - b90 - b93 - b95 - b96 <= 0 e348: b1 - b97 - b98 - b100 - b103 <= 0 e349: b2 - b98 - b100 - b103 <= 0 e350: b3 - b100 - b103 <= 0 e351: b4 - b103 <= 0 e352: b5 <= 0 e353: b6 <= 0 e354: b7 - b99 - b101 - b104 - b106 <= 0 e355: b8 - b99 - b101 - b104 - b106 <= 0 e356: b9 - b101 - b104 - b106 <= 0 e357: b10 - b104 - b106 <= 0 e358: b11 - b106 <= 0 e359: b12 <= 0 e360: b13 - b102 - b105 - b107 - b108 <= 0 e361: b14 - b102 - b105 - b107 - b108 <= 0 e362: b15 - b102 - b105 - b107 - b108 <= 0 e363: b16 - b105 - b107 - b108 <= 0 e364: b17 - b107 - b108 <= 0 e365: b18 - b108 <= 0 e366: - b61 - b68 + x109 >= -1 e367: - b62 - b69 + x110 >= -1 e368: - b63 - b70 + x111 >= -1 e369: - b64 - b71 + x112 >= -1 e370: - b65 - b72 + x113 >= -1 e371: - b73 - b80 + x114 >= -1 e372: - b74 - b81 + x115 >= -1 e373: - b75 - b82 + x116 >= -1 e374: - b76 - b83 + x117 >= -1 e375: - b77 - b84 + x118 >= -1 e376: - b62 - b67 + x109 >= -1 e377: - b63 - b68 + x110 >= -1 e378: - b64 - b69 + x111 >= -1 e379: - b65 - b70 + x112 >= -1 e380: - b66 - b71 + x113 >= -1 e381: - b74 - b79 + x114 >= -1 e382: - b75 - b80 + x115 >= -1 e383: - b76 - b81 + x116 >= -1 e384: - b77 - b82 + x117 >= -1 e385: - b78 - b83 + x118 >= -1 e386: x109 + x110 + x111 + x112 + x113 - x119 = -1 e387: x114 + x115 + x116 + x117 + x118 - x120 = -1 e388: - 1e3 b1 + x233 <= 0 e389: - 1e3 b2 + x234 <= 0 e390: - 1e3 b3 + x235 <= 0 e391: - 1e3 b4 + x236 <= 0 e392: - 1e3 b5 + x237 <= 0 e393: - 1e3 b6 + x238 <= 0 e394: - 1e3 b7 + x269 <= 0 e395: - 1e3 b8 + x270 <= 0 e396: - 1e3 b9 + x271 <= 0 e397: - 1e3 b10 + x272 <= 0 e398: - 1e3 b11 + x273 <= 0 e399: - 1e3 b12 + x274 <= 0 e400: - 1e3 b13 + x317 <= 0 e401: - 1e3 b14 + x318 <= 0 e402: - 1e3 b15 + x319 <= 0 e403: - 1e3 b16 + x320 <= 0 e404: - 1e3 b17 + x321 <= 0 e405: - 1e3 b18 + x322 <= 0 e406: - 1e3 b19 + x239 <= 0 e407: - 1e3 b20 + x240 <= 0 e408: - 1e3 b21 + x241 <= 0 e409: - 1e3 b22 + x242 <= 0 e410: - 1e3 b23 + x243 <= 0 e411: - 1e3 b24 + x244 <= 0 e412: - 1e3 b25 + x245 <= 0 e413: - 1e3 b26 + x246 <= 0 e414: - 1e3 b27 + x247 <= 0 e415: - 1e3 b28 + x248 <= 0 e416: - 1e3 b29 + x249 <= 0 e417: - 1e3 b30 + x250 <= 0 e418: - 1e3 b31 + x275 <= 0 e419: - 1e3 b32 + x276 <= 0 e420: - 1e3 b33 + x277 <= 0 e421: - 1e3 b34 + x278 <= 0 e422: - 1e3 b35 + x279 <= 0 e423: - 1e3 b36 + x280 <= 0 e424: - 1e3 b37 + x281 <= 0 e425: - 1e3 b38 + x282 <= 0 e426: - 1e3 b39 + x283 <= 0 e427: - 1e3 b40 + x284 <= 0 e428: - 1e3 b41 + x285 <= 0 e429: - 1e3 b42 + x286 <= 0 e430: - 1e3 b43 + x287 <= 0 e431: - 1e3 b44 + x288 <= 0 e432: - 1e3 b45 + x289 <= 0 e433: - 1e3 b46 + x290 <= 0 e434: - 1e3 b47 + x291 <= 0 e435: - 1e3 b48 + x292 <= 0 e436: - 1e3 b49 + x323 <= 0 e437: - 1e3 b50 + x324 <= 0 e438: - 1e3 b51 + x325 <= 0 e439: - 1e3 b52 + x326 <= 0 e440: - 1e3 b53 + x327 <= 0 e441: - 1e3 b54 + x328 <= 0 e442: - 1e3 b55 + x329 <= 0 e443: - 1e3 b56 + x330 <= 0 e444: - 1e3 b57 + x331 <= 0 e445: - 1e3 b58 + x332 <= 0 e446: - 1e3 b59 + x333 <= 0 e447: - 1e3 b60 + x334 <= 0 e448: - 1e3 b61 + x251 + x293 + x353 <= 0 e449: - 1e3 b62 + x252 + x294 + x354 <= 0 e450: - 1e3 b63 + x253 + x295 + x355 <= 0 e451: - 1e3 b64 + x254 + x296 + x356 <= 0 e452: - 1e3 b65 + x255 + x297 + x357 <= 0 e453: - 1e3 b66 + x256 + x298 + x358 <= 0 e454: - 1e3 b67 + x257 + x299 + x335 + x359 <= 0 e455: - 1e3 b68 + x258 + x300 + x336 + x360 <= 0 e456: - 1e3 b69 + x259 + x301 + x337 + x361 <= 0 e457: - 1e3 b70 + x260 + x302 + x338 + x362 <= 0 e458: - 1e3 b71 + x261 + x303 + x339 + x363 <= 0 e459: - 1e3 b72 + x262 + x304 + x340 + x364 <= 0 e460: - 1e3 b73 + x263 + x305 + x341 + x365 <= 0 e461: - 1e3 b74 + x264 + x306 + x342 + x366 <= 0 e462: - 1e3 b75 + x265 + x307 + x343 + x367 <= 0 e463: - 1e3 b76 + x266 + x308 + x344 + x368 <= 0 e464: - 1e3 b77 + x267 + x309 + x345 + x369 <= 0 e465: - 1e3 b78 + x268 + x310 + x346 + x370 <= 0 e466: - 1e3 b79 + x311 + x347 + x371 <= 0 e467: - 1e3 b80 + x312 + x348 + x372 <= 0 e468: - 1e3 b81 + x313 + x349 + x373 <= 0 e469: - 1e3 b82 + x314 + x350 + x374 <= 0 e470: - 1e3 b83 + x315 + x351 + x375 <= 0 e471: - 1e3 b84 + x316 + x352 + x376 <= 0 e472: - b1 + x233 >= 0 e473: - b2 + x234 >= 0 e474: - b3 + x235 >= 0 e475: - b4 + x236 >= 0 e476: - b5 + x237 >= 0 e477: - b6 + x238 >= 0 e478: - b7 + x269 >= 0 e479: - b8 + x270 >= 0 e480: - b9 + x271 >= 0 e481: - b10 + x272 >= 0 e482: - b11 + x273 >= 0 e483: - b12 + x274 >= 0 e484: - b13 + x317 >= 0 e485: - b14 + x318 >= 0 e486: - b15 + x319 >= 0 e487: - b16 + x320 >= 0 e488: - b17 + x321 >= 0 e489: - b18 + x322 >= 0 e490: - b19 + x239 >= 0 e491: - b20 + x240 >= 0 e492: - b21 + x241 >= 0 e493: - b22 + x242 >= 0 e494: - b23 + x243 >= 0 e495: - b24 + x244 >= 0 e496: - b25 + x245 >= 0 e497: - b26 + x246 >= 0 e498: - b27 + x247 >= 0 e499: - b28 + x248 >= 0 e500: - b29 + x249 >= 0 e501: - b30 + x250 >= 0 e502: - b31 + x275 >= 0 e503: - b32 + x276 >= 0 e504: - b33 + x277 >= 0 e505: - b34 + x278 >= 0 e506: - b35 + x279 >= 0 e507: - b36 + x280 >= 0 e508: - b37 + x281 >= 0 e509: - b38 + x282 >= 0 e510: - b39 + x283 >= 0 e511: - b40 + x284 >= 0 e512: - b41 + x285 >= 0 e513: - b42 + x286 >= 0 e514: - b43 + x287 >= 0 e515: - b44 + x288 >= 0 e516: - b45 + x289 >= 0 e517: - b46 + x290 >= 0 e518: - b47 + x291 >= 0 e519: - b48 + x292 >= 0 e520: - b49 + x323 >= 0 e521: - b50 + x324 >= 0 e522: - b51 + x325 >= 0 e523: - b52 + x326 >= 0 e524: - b53 + x327 >= 0 e525: - b54 + x328 >= 0 e526: - b55 + x329 >= 0 e527: - b56 + x330 >= 0 e528: - b57 + x331 >= 0 e529: - b58 + x332 >= 0 e530: - b59 + x333 >= 0 e531: - b60 + x334 >= 0 e532: - b61 + x251 + x293 + x353 >= 0 e533: - b62 + x252 + x294 + x354 >= 0 e534: - b63 + x253 + x295 + x355 >= 0 e535: - b64 + x254 + x296 + x356 >= 0 e536: - b65 + x255 + x297 + x357 >= 0 e537: - b66 + x256 + x298 + x358 >= 0 e538: - b67 + x257 + x299 + x335 + x359 >= 0 e539: - b68 + x258 + x300 + x336 + x360 >= 0 e540: - b69 + x259 + x301 + x337 + x361 >= 0 e541: - b70 + x260 + x302 + x338 + x362 >= 0 e542: - b71 + x261 + x303 + x339 + x363 >= 0 e543: - b72 + x262 + x304 + x340 + x364 >= 0 e544: - b73 + x263 + x305 + x341 + x365 >= 0 e545: - b74 + x264 + x306 + x342 + x366 >= 0 e546: - b75 + x265 + x307 + x343 + x367 >= 0 e547: - b76 + x266 + x308 + x344 + x368 >= 0 e548: - b77 + x267 + x309 + x345 + x369 >= 0 e549: - b78 + x268 + x310 + x346 + x370 >= 0 e550: - b79 + x311 + x347 + x371 >= 0 e551: - b80 + x312 + x348 + x372 >= 0 e552: - b81 + x313 + x349 + x373 >= 0 e553: - b82 + x314 + x350 + x374 >= 0 e554: - b83 + x315 + x351 + x375 >= 0 e555: - b84 + x316 + x352 + x376 >= 0 e556: - 2e-3 x233 - x397 + x398 >= 0 e557: - 2e-3 x234 - x398 + x399 >= 0 e558: - 2e-3 x235 - x399 + x400 >= 0 e559: - 2e-3 x236 - x400 + x401 >= 0 e560: - 2e-3 x237 - x401 + x402 >= 0 e561: - 2e-3 x238 - x402 + x403 >= 0 e562: - 2e-3 x269 - x397 + x398 >= 0 e563: - 2e-3 x270 - x398 + x399 >= 0 e564: - 2e-3 x271 - x399 + x400 >= 0 e565: - 2e-3 x272 - x400 + x401 >= 0 e566: - 2e-3 x273 - x401 + x402 >= 0 e567: - 2e-3 x274 - x402 + x403 >= 0 e568: - 2e-3 x317 - x397 + x398 >= 0 e569: - 2e-3 x318 - x398 + x399 >= 0 e570: - 2e-3 x319 - x399 + x400 >= 0 e571: - 2e-3 x320 - x400 + x401 >= 0 e572: - 2e-3 x321 - x401 + x402 >= 0 e573: - 2e-3 x322 - x402 + x403 >= 0 e574: - 2e-3 x239 - x397 + x398 >= 0 e575: - 2e-3 x240 - x398 + x399 >= 0 e576: - 2e-3 x241 - x399 + x400 >= 0 e577: - 2e-3 x242 - x400 + x401 >= 0 e578: - 2e-3 x243 - x401 + x402 >= 0 e579: - 2e-3 x244 - x402 + x403 >= 0 e580: - 2e-3 x245 - x397 + x398 >= 0 e581: - 2e-3 x246 - x398 + x399 >= 0 e582: - 2e-3 x247 - x399 + x400 >= 0 e583: - 2e-3 x248 - x400 + x401 >= 0 e584: - 2e-3 x249 - x401 + x402 >= 0 e585: - 2e-3 x250 - x402 + x403 >= 0 e586: - 2e-3 x275 - x397 + x398 >= 0 e587: - 2e-3 x276 - x398 + x399 >= 0 e588: - 2e-3 x277 - x399 + x400 >= 0 e589: - 2e-3 x278 - x400 + x401 >= 0 e590: - 2e-3 x279 - x401 + x402 >= 0 e591: - 2e-3 x280 - x402 + x403 >= 0 e592: - 2e-3 x281 - x397 + x398 >= 0 e593: - 2e-3 x282 - x398 + x399 >= 0 e594: - 2e-3 x283 - x399 + x400 >= 0 e595: - 2e-3 x284 - x400 + x401 >= 0 e596: - 2e-3 x285 - x401 + x402 >= 0 e597: - 2e-3 x286 - x402 + x403 >= 0 e598: - 2e-3 x287 - x397 + x398 >= 0 e599: - 2e-3 x288 - x398 + x399 >= 0 e600: - 2e-3 x289 - x399 + x400 >= 0 e601: - 2e-3 x290 - x400 + x401 >= 0 e602: - 2e-3 x291 - x401 + x402 >= 0 e603: - 2e-3 x292 - x402 + x403 >= 0 e604: - 2e-3 x323 - x397 + x398 >= 0 e605: - 2e-3 x324 - x398 + x399 >= 0 e606: - 2e-3 x325 - x399 + x400 >= 0 e607: - 2e-3 x326 - x400 + x401 >= 0 e608: - 2e-3 x327 - x401 + x402 >= 0 e609: - 2e-3 x328 - x402 + x403 >= 0 e610: - 2e-3 x329 - x397 + x398 >= 0 e611: - 2e-3 x330 - x398 + x399 >= 0 e612: - 2e-3 x331 - x399 + x400 >= 0 e613: - 2e-3 x332 - x400 + x401 >= 0 e614: - 2e-3 x333 - x401 + x402 >= 0 e615: - 2e-3 x334 - x402 + x403 >= 0 e616: - 2e-3 x257 - 2e-3 x263 - 2e-3 x299 - 2e-3 x305 - 2e-3 x335 - 2e-3 x341 - 2e-3 x359 - 2e-3 x365 - x397 + x398 >= 0 e617: - 2e-3 x258 - 2e-3 x264 - 2e-3 x300 - 2e-3 x306 - 2e-3 x336 - 2e-3 x342 - 2e-3 x360 - 2e-3 x366 - x398 + x399 >= 0 e618: - 2e-3 x259 - 2e-3 x265 - 2e-3 x301 - 2e-3 x307 - 2e-3 x337 - 2e-3 x343 - 2e-3 x361 - 2e-3 x367 - x399 + x400 >= 0 e619: - 2e-3 x260 - 2e-3 x266 - 2e-3 x302 - 2e-3 x308 - 2e-3 x338 - 2e-3 x344 - 2e-3 x362 - 2e-3 x368 - x400 + x401 >= 0 e620: - 2e-3 x261 - 2e-3 x267 - 2e-3 x303 - 2e-3 x309 - 2e-3 x339 - 2e-3 x345 - 2e-3 x363 - 2e-3 x369 - x401 + x402 >= 0 e621: - 2e-3 x262 - 2e-3 x268 - 2e-3 x304 - 2e-3 x310 - 2e-3 x340 - 2e-3 x346 - 2e-3 x364 - 2e-3 x370 - x402 + x403 >= 0 e622: - 2e-3 x251 - 2e-3 x257 - 2e-3 x293 - 2e-3 x299 - 2e-3 x335 - 2e-3 x353 - 2e-3 x359 - x397 + x398 >= 0 e623: - 2e-3 x252 - 2e-3 x258 - 2e-3 x294 - 2e-3 x300 - 2e-3 x336 - 2e-3 x354 - 2e-3 x360 - x398 + x399 >= 0 e624: - 2e-3 x253 - 2e-3 x259 - 2e-3 x295 - 2e-3 x301 - 2e-3 x337 - 2e-3 x355 - 2e-3 x361 - x399 + x400 >= 0 e625: - 2e-3 x254 - 2e-3 x260 - 2e-3 x296 - 2e-3 x302 - 2e-3 x338 - 2e-3 x356 - 2e-3 x362 - x400 + x401 >= 0 e626: - 2e-3 x255 - 2e-3 x261 - 2e-3 x297 - 2e-3 x303 - 2e-3 x339 - 2e-3 x357 - 2e-3 x363 - x401 + x402 >= 0 e627: - 2e-3 x256 - 2e-3 x262 - 2e-3 x298 - 2e-3 x304 - 2e-3 x340 - 2e-3 x358 - 2e-3 x364 - x402 + x403 >= 0 e628: - 2e-3 x263 - 2e-3 x305 - 2e-3 x311 - 2e-3 x341 - 2e-3 x347 - 2e-3 x365 - 2e-3 x371 - x397 + x398 >= 0 e629: - 2e-3 x264 - 2e-3 x306 - 2e-3 x312 - 2e-3 x342 - 2e-3 x348 - 2e-3 x366 - 2e-3 x372 - x398 + x399 >= 0 e630: - 2e-3 x265 - 2e-3 x307 - 2e-3 x313 - 2e-3 x343 - 2e-3 x349 - 2e-3 x367 - 2e-3 x373 - x399 + x400 >= 0 e631: - 2e-3 x266 - 2e-3 x308 - 2e-3 x314 - 2e-3 x344 - 2e-3 x350 - 2e-3 x368 - 2e-3 x374 - x400 + x401 >= 0 e632: - 2e-3 x267 - 2e-3 x309 - 2e-3 x315 - 2e-3 x345 - 2e-3 x351 - 2e-3 x369 - 2e-3 x375 - x401 + x402 >= 0 e633: - 2e-3 x268 - 2e-3 x310 - 2e-3 x316 - 2e-3 x346 - 2e-3 x352 - 2e-3 x370 - 2e-3 x376 - x402 + x403 >= 0 e634: - 2e-2 x251 - 2e-2 x257 - 2e-2 x293 - 2e-2 x299 - 2e-2 x335 - 2e-2 x353 - 2e-2 x359 - x397 + x398 <= 0 e635: - 2e-2 x252 - 2e-2 x258 - 2e-2 x294 - 2e-2 x300 - 2e-2 x336 - 2e-2 x354 - 2e-2 x360 - x398 + x399 <= 0 e636: - 2e-2 x253 - 2e-2 x259 - 2e-2 x295 - 2e-2 x301 - 2e-2 x337 - 2e-2 x355 - 2e-2 x361 - x399 + x400 <= 0 e637: - 2e-2 x254 - 2e-2 x260 - 2e-2 x296 - 2e-2 x302 - 2e-2 x338 - 2e-2 x356 - 2e-2 x362 - x400 + x401 <= 0 e638: - 2e-2 x255 - 2e-2 x261 - 2e-2 x297 - 2e-2 x303 - 2e-2 x339 - 2e-2 x357 - 2e-2 x363 - x401 + x402 <= 0 e639: - 2e-2 x256 - 2e-2 x262 - 2e-2 x298 - 2e-2 x304 - 2e-2 x340 - 2e-2 x358 - 2e-2 x364 - x402 + x403 <= 0 e640: - 2e-2 x263 - 2e-2 x305 - 2e-2 x311 - 2e-2 x341 - 2e-2 x347 - 2e-2 x365 - 2e-2 x371 - x397 + x398 <= 0 e641: - 2e-2 x264 - 2e-2 x306 - 2e-2 x312 - 2e-2 x342 - 2e-2 x348 - 2e-2 x366 - 2e-2 x372 - x398 + x399 <= 0 e642: - 2e-2 x265 - 2e-2 x307 - 2e-2 x313 - 2e-2 x343 - 2e-2 x349 - 2e-2 x367 - 2e-2 x373 - x399 + x400 <= 0 e643: - 2e-2 x266 - 2e-2 x308 - 2e-2 x314 - 2e-2 x344 - 2e-2 x350 - 2e-2 x368 - 2e-2 x374 - x400 + x401 <= 0 e644: - 2e-2 x267 - 2e-2 x309 - 2e-2 x315 - 2e-2 x345 - 2e-2 x351 - 2e-2 x369 - 2e-2 x375 - x401 + x402 <= 0 e645: - 2e-2 x268 - 2e-2 x310 - 2e-2 x316 - 2e-2 x346 - 2e-2 x352 - 2e-2 x370 - 2e-2 x376 - x402 + x403 <= 0 e646: x397 >= 0 e647: - 3 b87 + x398 >= 0 e648: - 3 b89 - 6 b90 + x399 >= 0 e649: - 3 b92 - 6 b93 + x400 >= 0 e650: - 3 b94 - 6 b95 + x401 >= 0 e651: - 6 b96 + x402 >= 0 e652: - 2 b97 + x398 >= 0 e653: - 2 b98 - 5 b99 + x399 >= 0 e654: - 2 b100 - 5 b101 - 8 b102 + x400 >= 0 e655: - 2 b103 - 5 b104 - 8 b105 + x401 >= 0 e656: - 5 b106 - 8 b107 + x402 >= 0 e657: - 8 b108 + x403 >= 0 e658: b85 + 2 b86 + 3 b88 + 4 b91 - 2 b97 - 3 b98 - 4 b100 - 5 b103 <= -1 e659: 2 b87 + 3 b89 + 4 b92 + 5 b94 - 3 b99 - 4 b101 - 5 b104 - 6 b106 <= -1 e660: 3 b90 + 4 b93 + 5 b95 + 6 b96 - 4 b102 - 5 b105 - 6 b107 - 7 b108 <= -1 e661: - 2 b87 - 3 b89 - 4 b92 - 5 b94 + 2 b97 + 3 b98 + 4 b100 + 5 b103 <= 0 e662: - 3 b90 - 4 b93 - 5 b95 - 6 b96 + 3 b99 + 4 b101 + 5 b104 + 6 b106 <= 0 e663: x119 + x120 <= 5 e664: x252 - x136 x377 = 0 e665: x253 - x137 x378 = 0 e666: x254 - x138 x379 = 0 e667: x255 - x139 x380 = 0 e668: x256 - x140 x381 = 0 e669: x258 - x143 x382 = 0 e670: x259 - x144 x383 = 0 e671: x260 - x145 x384 = 0 e672: x261 - x146 x385 = 0 e673: x262 - x147 x386 = 0 e674: x264 - x143 x387 = 0 e675: x265 - x144 x388 = 0 e676: x266 - x145 x389 = 0 e677: x267 - x146 x390 = 0 e678: x268 - x147 x391 = 0 e679: x294 - x164 x377 = 0 e680: x295 - x165 x378 = 0 e681: x296 - x166 x379 = 0 e682: x297 - x167 x380 = 0 e683: x298 - x168 x381 = 0 e684: x300 - x171 x382 = 0 e685: x301 - x172 x383 = 0 e686: x302 - x173 x384 = 0 e687: x303 - x174 x385 = 0 e688: x304 - x175 x386 = 0 e689: x306 - x171 x387 = 0 e690: x307 - x172 x388 = 0 e691: x308 - x173 x389 = 0 e692: x309 - x174 x390 = 0 e693: x310 - x175 x391 = 0 e694: x312 - x178 x392 = 0 e695: x313 - x179 x393 = 0 e696: x314 - x180 x394 = 0 e697: x315 - x181 x395 = 0 e698: x316 - x182 x396 = 0 e699: x336 - x199 x382 = 0 e700: x337 - x200 x383 = 0 e701: x338 - x201 x384 = 0 e702: x339 - x202 x385 = 0 e703: x340 - x203 x386 = 0 e704: x342 - x199 x387 = 0 e705: x343 - x200 x388 = 0 e706: x344 - x201 x389 = 0 e707: x345 - x202 x390 = 0 e708: x346 - x203 x391 = 0 e709: x348 - x206 x392 = 0 e710: x349 - x207 x393 = 0 e711: x350 - x208 x394 = 0 e712: x351 - x209 x395 = 0 e713: x352 - x210 x396 = 0 e714: x354 - x213 x377 = 0 e715: x355 - x214 x378 = 0 e716: x356 - x215 x379 = 0 e717: x357 - x216 x380 = 0 e718: x358 - x217 x381 = 0 e719: x360 - x220 x382 = 0 e720: x361 - x221 x383 = 0 e721: x362 - x222 x384 = 0 e722: x363 - x223 x385 = 0 e723: x364 - x224 x386 = 0 e724: x366 - x220 x387 = 0 e725: x367 - x221 x388 = 0 e726: x368 - x222 x389 = 0 e727: x369 - x223 x390 = 0 e728: x370 - x224 x391 = 0 e729: x372 - x227 x392 = 0 e730: x373 - x228 x393 = 0 e731: x374 - x229 x394 = 0 e732: x375 - x230 x395 = 0 e733: x376 - x231 x396 = 0 Bounds x136 <= 1e3 x137 <= 1e3 x138 <= 1e3 x139 <= 1e3 x140 <= 1e3 x143 <= 1e3 x144 <= 1e3 x145 <= 1e3 x146 <= 1e3 x147 <= 1e3 x164 <= 1e3 x165 <= 1e3 x166 <= 1e3 x167 <= 1e3 x168 <= 1e3 x171 <= 1e3 x172 <= 1e3 x173 <= 1e3 x174 <= 1e3 x175 <= 1e3 x178 <= 1e3 x179 <= 1e3 x180 <= 1e3 x181 <= 1e3 x182 <= 1e3 x199 <= 1e3 x200 <= 1e3 x201 <= 1e3 x202 <= 1e3 x203 <= 1e3 x206 <= 1e3 x207 <= 1e3 x208 <= 1e3 x209 <= 1e3 x210 <= 1e3 x213 <= 300 x214 <= 300 x215 <= 300 x216 <= 300 x217 <= 300 x220 <= 500 x221 <= 500 x222 <= 500 x223 <= 500 x224 <= 500 x227 <= 300 x228 <= 300 x229 <= 300 x230 <= 300 x231 <= 300 x377 <= 1 x378 <= 1 x379 <= 1 x380 <= 1 x381 <= 1 x382 <= 1 x383 <= 1 x384 <= 1 x385 <= 1 x386 <= 1 x387 <= 1 x388 <= 1 x389 <= 1 x390 <= 1 x391 <= 1 x392 <= 1 x393 <= 1 x394 <= 1 x395 <= 1 x396 <= 1 x397 = 0 x403 = 10 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 End