\ Equation counts \ Total E G L N X C B \ 609 105 84 420 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 476 392 84 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1736 1722 14 0 \ Minimize obj: - 1.2e3 x1 - 7.8e3 x2 - 3.36e3 x3 - 4.2e2 x4 - 6.6e3 x5 - 3.6e3 x6 - 1.2e4 x7 - 3e3 x8 - 1.17e4 x9 - 4.32e3 x10 - 4.2e2 x11 - 5.61e3 x12 - 1.6e3 x13 - 8e3 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 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 + 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 + 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 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 b351 + 0 b352 + 0 b353 + 0 b354 + 0 b355 + 0 b356 + 0 b357 + 0 b358 + 0 b359 + 0 b360 + 0 b361 + 0 b362 + 0 b363 + 0 b364 + 0 b365 + 0 b366 + 0 b367 + 0 b368 + 0 b369 + 0 b370 + 0 b371 + 0 b372 + 0 b373 + 0 b374 + 0 b375 + 0 b376 + 0 b377 + 0 b378 + 0 b379 + 0 b380 + 0 b381 + 0 b382 + 0 b383 + 0 b384 + 0 b385 + 0 b386 + 0 b387 + 0 b388 + 0 b389 + 0 b390 + 0 b391 + 0 b392 + 0 b393 + 0 b394 + 0 b395 + 0 b396 + 0 b397 + 0 b398 + 0 b399 + 0 b400 + 0 b401 + 0 b402 + 0 b403 + 0 b404 + 0 b405 + 0 b406 + 0 b407 + 0 b408 + 0 b409 + 0 b410 + 0 b411 + 0 b412 + 0 b413 + 0 b414 + 0 b415 + 0 b416 + 0 b417 + 0 b418 + 0 b419 + 0 b420 + 0 b421 + 0 b422 + 0 b423 + 0 b424 + 0 b425 + 0 b426 + 0 b427 + 0 b428 + 0 b429 + 0 b430 + 0 b431 + 0 b432 + 0 b433 + 0 b434 + 300 x435 + 2.4e2 x436 + 2.1e2 x437 + 1.4e2 x438 + 300 x439 + 2.5e2 x440 + 100 x441 + 1.5e2 x442 + 2.2e2 x443 + 200 x444 + 300 x445 + 1.2e2 x446 + 300 x447 + 1.5e2 x448 + 1.5e2 x449 + 100 x450 + 1.2e2 x451 + 1.8e2 x452 + 1.3e2 x453 + 1.9e2 x454 + 2.2e2 x455 + 300 x456 + 2.4e2 x457 + 2.1e2 x458 + 1.4e2 x459 + 300 x460 + 2.5e2 x461 + 100 x462 + 1.5e2 x463 + 2.2e2 x464 + 200 x465 + 300 x466 + 1.2e2 x467 + 300 x468 + 1.5e2 x469 + 1.5e2 x470 + 100 x471 + 1.2e2 x472 + 1.8e2 x473 + 1.3e2 x474 + 1.9e2 x475 + 2.2e2 x476 + [ 300 x1^2 + 7.8e2 x2^2 + 4.8e2 x3^2 + 1.4e2 x4^2 + 3.3e2 x5^2 + 200 x6^2 + 400 x7^2 + 300 x8^2 + 7.8e2 x9^2 + 4.8e2 x10^2 + 1.4e2 x11^2 + 3.3e2 x12^2 + 200 x13^2 + 400 x14^2 ]/2 + objconstant Subject To e2: - x1 + x2 + x435 >= 0 e3: - x1 + x3 + x436 >= 0 e4: - x1 + x4 + x437 >= 0 e5: - x1 + x5 + x438 >= 0 e6: - x1 + x6 + x439 >= 0 e7: - x1 + x7 + x440 >= 0 e8: - x2 + x3 + x441 >= 0 e9: - x2 + x4 + x442 >= 0 e10: - x2 + x5 + x443 >= 0 e11: - x2 + x6 + x444 >= 0 e12: - x2 + x7 + x445 >= 0 e13: - x3 + x4 + x446 >= 0 e14: - x3 + x5 + x447 >= 0 e15: - x3 + x6 + x448 >= 0 e16: - x3 + x7 + x449 >= 0 e17: - x4 + x5 + x450 >= 0 e18: - x4 + x6 + x451 >= 0 e19: - x4 + x7 + x452 >= 0 e20: - x5 + x6 + x453 >= 0 e21: - x5 + x7 + x454 >= 0 e22: - x6 + x7 + x455 >= 0 e23: x1 - x2 + x435 >= 0 e24: x1 - x3 + x436 >= 0 e25: x1 - x4 + x437 >= 0 e26: x1 - x5 + x438 >= 0 e27: x1 - x6 + x439 >= 0 e28: x1 - x7 + x440 >= 0 e29: x2 - x3 + x441 >= 0 e30: x2 - x4 + x442 >= 0 e31: x2 - x5 + x443 >= 0 e32: x2 - x6 + x444 >= 0 e33: x2 - x7 + x445 >= 0 e34: x3 - x4 + x446 >= 0 e35: x3 - x5 + x447 >= 0 e36: x3 - x6 + x448 >= 0 e37: x3 - x7 + x449 >= 0 e38: x4 - x5 + x450 >= 0 e39: x4 - x6 + x451 >= 0 e40: x4 - x7 + x452 >= 0 e41: x5 - x6 + x453 >= 0 e42: x5 - x7 + x454 >= 0 e43: x6 - x7 + x455 >= 0 e44: - x8 + x9 + x456 >= 0 e45: - x8 + x10 + x457 >= 0 e46: - x8 + x11 + x458 >= 0 e47: - x8 + x12 + x459 >= 0 e48: - x8 + x13 + x460 >= 0 e49: - x8 + x14 + x461 >= 0 e50: - x9 + x10 + x462 >= 0 e51: - x9 + x11 + x463 >= 0 e52: - x9 + x12 + x464 >= 0 e53: - x9 + x13 + x465 >= 0 e54: - x9 + x14 + x466 >= 0 e55: - x10 + x11 + x467 >= 0 e56: - x10 + x12 + x468 >= 0 e57: - x10 + x13 + x469 >= 0 e58: - x10 + x14 + x470 >= 0 e59: - x11 + x12 + x471 >= 0 e60: - x11 + x13 + x472 >= 0 e61: - x11 + x14 + x473 >= 0 e62: - x12 + x13 + x474 >= 0 e63: - x12 + x14 + x475 >= 0 e64: - x13 + x14 + x476 >= 0 e65: x8 - x9 + x456 >= 0 e66: x8 - x10 + x457 >= 0 e67: x8 - x11 + x458 >= 0 e68: x8 - x12 + x459 >= 0 e69: x8 - x13 + x460 >= 0 e70: x8 - x14 + x461 >= 0 e71: x9 - x10 + x462 >= 0 e72: x9 - x11 + x463 >= 0 e73: x9 - x12 + x464 >= 0 e74: x9 - x13 + x465 >= 0 e75: x9 - x14 + x466 >= 0 e76: x10 - x11 + x467 >= 0 e77: x10 - x12 + x468 >= 0 e78: x10 - x13 + x469 >= 0 e79: x10 - x14 + x470 >= 0 e80: x11 - x12 + x471 >= 0 e81: x11 - x13 + x472 >= 0 e82: x11 - x14 + x473 >= 0 e83: x12 - x13 + x474 >= 0 e84: x12 - x14 + x475 >= 0 e85: x13 - x14 + x476 >= 0 e86: x1 - x15 - x21 - x27 - x33 = 0 e87: x1 - x16 - x22 - x28 - x34 = 0 e88: x1 - x17 - x23 - x29 - x35 = 0 e89: x1 - x18 - x24 - x30 - x36 = 0 e90: x1 - x19 - x25 - x31 - x37 = 0 e91: x1 - x20 - x26 - x32 - x38 = 0 e92: x2 - x39 - x45 - x51 - x57 = 0 e93: x2 - x40 - x46 - x52 - x58 = 0 e94: x2 - x41 - x47 - x53 - x59 = 0 e95: x2 - x42 - x48 - x54 - x60 = 0 e96: x2 - x43 - x49 - x55 - x61 = 0 e97: x2 - x44 - x50 - x56 - x62 = 0 e98: x3 - x63 - x69 - x75 - x81 = 0 e99: x3 - x64 - x70 - x76 - x82 = 0 e100: x3 - x65 - x71 - x77 - x83 = 0 e101: x3 - x66 - x72 - x78 - x84 = 0 e102: x3 - x67 - x73 - x79 - x85 = 0 e103: x3 - x68 - x74 - x80 - x86 = 0 e104: x4 - x87 - x93 - x99 - x105 = 0 e105: x4 - x88 - x94 - x100 - x106 = 0 e106: x4 - x89 - x95 - x101 - x107 = 0 e107: x4 - x90 - x96 - x102 - x108 = 0 e108: x4 - x91 - x97 - x103 - x109 = 0 e109: x4 - x92 - x98 - x104 - x110 = 0 e110: x5 - x111 - x117 - x123 - x129 = 0 e111: x5 - x112 - x118 - x124 - x130 = 0 e112: x5 - x113 - x119 - x125 - x131 = 0 e113: x5 - x114 - x120 - x126 - x132 = 0 e114: x5 - x115 - x121 - x127 - x133 = 0 e115: x5 - x116 - x122 - x128 - x134 = 0 e116: x6 - x135 - x141 - x147 - x153 = 0 e117: x6 - x136 - x142 - x148 - x154 = 0 e118: x6 - x137 - x143 - x149 - x155 = 0 e119: x6 - x138 - x144 - x150 - x156 = 0 e120: x6 - x139 - x145 - x151 - x157 = 0 e121: x6 - x140 - x146 - x152 - x158 = 0 e122: x7 - x159 - x165 - x171 - x177 = 0 e123: x7 - x160 - x166 - x172 - x178 = 0 e124: x7 - x161 - x167 - x173 - x179 = 0 e125: x7 - x162 - x168 - x174 - x180 = 0 e126: x7 - x163 - x169 - x175 - x181 = 0 e127: x7 - x164 - x170 - x176 - x182 = 0 e128: x8 - x183 - x189 - x195 - x201 = 0 e129: x8 - x184 - x190 - x196 - x202 = 0 e130: x8 - x185 - x191 - x197 - x203 = 0 e131: x8 - x186 - x192 - x198 - x204 = 0 e132: x8 - x187 - x193 - x199 - x205 = 0 e133: x8 - x188 - x194 - x200 - x206 = 0 e134: x9 - x207 - x213 - x219 - x225 = 0 e135: x9 - x208 - x214 - x220 - x226 = 0 e136: x9 - x209 - x215 - x221 - x227 = 0 e137: x9 - x210 - x216 - x222 - x228 = 0 e138: x9 - x211 - x217 - x223 - x229 = 0 e139: x9 - x212 - x218 - x224 - x230 = 0 e140: x10 - x231 - x237 - x243 - x249 = 0 e141: x10 - x232 - x238 - x244 - x250 = 0 e142: x10 - x233 - x239 - x245 - x251 = 0 e143: x10 - x234 - x240 - x246 - x252 = 0 e144: x10 - x235 - x241 - x247 - x253 = 0 e145: x10 - x236 - x242 - x248 - x254 = 0 e146: x11 - x255 - x261 - x267 - x273 = 0 e147: x11 - x256 - x262 - x268 - x274 = 0 e148: x11 - x257 - x263 - x269 - x275 = 0 e149: x11 - x258 - x264 - x270 - x276 = 0 e150: x11 - x259 - x265 - x271 - x277 = 0 e151: x11 - x260 - x266 - x272 - x278 = 0 e152: x12 - x279 - x285 - x291 - x297 = 0 e153: x12 - x280 - x286 - x292 - x298 = 0 e154: x12 - x281 - x287 - x293 - x299 = 0 e155: x12 - x282 - x288 - x294 - x300 = 0 e156: x12 - x283 - x289 - x295 - x301 = 0 e157: x12 - x284 - x290 - x296 - x302 = 0 e158: x13 - x303 - x309 - x315 - x321 = 0 e159: x13 - x304 - x310 - x316 - x322 = 0 e160: x13 - x305 - x311 - x317 - x323 = 0 e161: x13 - x306 - x312 - x318 - x324 = 0 e162: x13 - x307 - x313 - x319 - x325 = 0 e163: x13 - x308 - x314 - x320 - x326 = 0 e164: x14 - x327 - x333 - x339 - x345 = 0 e165: x14 - x328 - x334 - x340 - x346 = 0 e166: x14 - x329 - x335 - x341 - x347 = 0 e167: x14 - x330 - x336 - x342 - x348 = 0 e168: x14 - x331 - x337 - x343 - x349 = 0 e169: x14 - x332 - x338 - x344 - x350 = 0 e170: x15 - 37.5 b351 <= 0 e171: x16 - 37.5 b352 <= 0 e172: x17 - 37.5 b353 <= 0 e173: x18 - 37.5 b354 <= 0 e174: x19 - 37.5 b355 <= 0 e175: x20 - 37.5 b356 <= 0 e176: x21 - 37.5 b372 <= 0 e177: x22 - 37.5 b373 <= 0 e178: x23 - 37.5 b374 <= 0 e179: x24 - 37.5 b375 <= 0 e180: x25 - 37.5 b376 <= 0 e181: x26 - 37.5 b377 <= 0 e182: x27 - 37.5 b393 <= 0 e183: x28 - 37.5 b394 <= 0 e184: x29 - 37.5 b395 <= 0 e185: x30 - 37.5 b396 <= 0 e186: x31 - 37.5 b397 <= 0 e187: x32 - 37.5 b398 <= 0 e188: x33 - 37.5 b414 <= 0 e189: x34 - 37.5 b415 <= 0 e190: x35 - 37.5 b416 <= 0 e191: x36 - 37.5 b417 <= 0 e192: x37 - 37.5 b418 <= 0 e193: x38 - 37.5 b419 <= 0 e194: x39 - 37.5 b351 <= 0 e195: x40 - 36.5 b357 <= 0 e196: x41 - 36.5 b358 <= 0 e197: x42 - 36.5 b359 <= 0 e198: x43 - 36.5 b360 <= 0 e199: x44 - 36.5 b361 <= 0 e200: x45 - 37.5 b372 <= 0 e201: x46 - 36.5 b378 <= 0 e202: x47 - 36.5 b379 <= 0 e203: x48 - 36.5 b380 <= 0 e204: x49 - 36.5 b381 <= 0 e205: x50 - 36.5 b382 <= 0 e206: x51 - 37.5 b393 <= 0 e207: x52 - 36.5 b399 <= 0 e208: x53 - 36.5 b400 <= 0 e209: x54 - 36.5 b401 <= 0 e210: x55 - 36.5 b402 <= 0 e211: x56 - 36.5 b403 <= 0 e212: x57 - 37.5 b414 <= 0 e213: x58 - 36.5 b420 <= 0 e214: x59 - 36.5 b421 <= 0 e215: x60 - 36.5 b422 <= 0 e216: x61 - 36.5 b423 <= 0 e217: x62 - 36.5 b424 <= 0 e218: x63 - 37.5 b352 <= 0 e219: x64 - 36.5 b357 <= 0 e220: x65 - 38.5 b362 <= 0 e221: x66 - 38.5 b363 <= 0 e222: x67 - 38.5 b364 <= 0 e223: x68 - 38.5 b365 <= 0 e224: x69 - 37.5 b373 <= 0 e225: x70 - 36.5 b378 <= 0 e226: x71 - 38.5 b383 <= 0 e227: x72 - 38.5 b384 <= 0 e228: x73 - 38.5 b385 <= 0 e229: x74 - 38.5 b386 <= 0 e230: x75 - 37.5 b394 <= 0 e231: x76 - 36.5 b399 <= 0 e232: x77 - 38.5 b404 <= 0 e233: x78 - 38.5 b405 <= 0 e234: x79 - 38.5 b406 <= 0 e235: x80 - 38.5 b407 <= 0 e236: x81 - 37.5 b415 <= 0 e237: x82 - 36.5 b420 <= 0 e238: x83 - 38.5 b425 <= 0 e239: x84 - 38.5 b426 <= 0 e240: x85 - 38.5 b427 <= 0 e241: x86 - 38.5 b428 <= 0 e242: x87 - 37.5 b353 <= 0 e243: x88 - 36.5 b358 <= 0 e244: x89 - 38.5 b362 <= 0 e245: x90 - 39 b366 <= 0 e246: x91 - 39 b367 <= 0 e247: x92 - 39 b368 <= 0 e248: x93 - 37.5 b374 <= 0 e249: x94 - 36.5 b379 <= 0 e250: x95 - 38.5 b383 <= 0 e251: x96 - 39 b387 <= 0 e252: x97 - 39 b388 <= 0 e253: x98 - 39 b389 <= 0 e254: x99 - 37.5 b395 <= 0 e255: x100 - 36.5 b400 <= 0 e256: x101 - 38.5 b404 <= 0 e257: x102 - 39 b408 <= 0 e258: x103 - 39 b409 <= 0 e259: x104 - 39 b410 <= 0 e260: x105 - 37.5 b416 <= 0 e261: x106 - 36.5 b421 <= 0 e262: x107 - 38.5 b425 <= 0 e263: x108 - 39 b429 <= 0 e264: x109 - 39 b430 <= 0 e265: x110 - 39 b431 <= 0 e266: x111 - 37.5 b354 <= 0 e267: x112 - 36.5 b359 <= 0 e268: x113 - 38.5 b363 <= 0 e269: x114 - 39 b366 <= 0 e270: x115 - 38 b369 <= 0 e271: x116 - 38 b370 <= 0 e272: x117 - 37.5 b375 <= 0 e273: x118 - 36.5 b380 <= 0 e274: x119 - 38.5 b384 <= 0 e275: x120 - 39 b387 <= 0 e276: x121 - 38 b390 <= 0 e277: x122 - 38 b391 <= 0 e278: x123 - 37.5 b396 <= 0 e279: x124 - 36.5 b401 <= 0 e280: x125 - 38.5 b405 <= 0 e281: x126 - 39 b408 <= 0 e282: x127 - 38 b411 <= 0 e283: x128 - 38 b412 <= 0 e284: x129 - 37.5 b417 <= 0 e285: x130 - 36.5 b422 <= 0 e286: x131 - 38.5 b426 <= 0 e287: x132 - 39 b429 <= 0 e288: x133 - 38 b432 <= 0 e289: x134 - 38 b433 <= 0 e290: x135 - 37.5 b355 <= 0 e291: x136 - 36.5 b360 <= 0 e292: x137 - 38.5 b364 <= 0 e293: x138 - 39 b367 <= 0 e294: x139 - 38 b369 <= 0 e295: x140 - 37.5 b371 <= 0 e296: x141 - 37.5 b376 <= 0 e297: x142 - 36.5 b381 <= 0 e298: x143 - 38.5 b385 <= 0 e299: x144 - 39 b388 <= 0 e300: x145 - 38 b390 <= 0 e301: x146 - 37.5 b392 <= 0 e302: x147 - 37.5 b397 <= 0 e303: x148 - 36.5 b402 <= 0 e304: x149 - 38.5 b406 <= 0 e305: x150 - 39 b409 <= 0 e306: x151 - 38 b411 <= 0 e307: x152 - 37.5 b413 <= 0 e308: x153 - 37.5 b418 <= 0 e309: x154 - 36.5 b423 <= 0 e310: x155 - 38.5 b427 <= 0 e311: x156 - 39 b430 <= 0 e312: x157 - 38 b432 <= 0 e313: x158 - 37.5 b434 <= 0 e314: x159 - 37.5 b356 <= 0 e315: x160 - 36.5 b361 <= 0 e316: x161 - 38.5 b365 <= 0 e317: x162 - 39 b368 <= 0 e318: x163 - 38 b370 <= 0 e319: x164 - 37.5 b371 <= 0 e320: x165 - 37.5 b377 <= 0 e321: x166 - 36.5 b382 <= 0 e322: x167 - 38.5 b386 <= 0 e323: x168 - 39 b389 <= 0 e324: x169 - 38 b391 <= 0 e325: x170 - 37.5 b392 <= 0 e326: x171 - 37.5 b398 <= 0 e327: x172 - 36.5 b403 <= 0 e328: x173 - 38.5 b407 <= 0 e329: x174 - 39 b410 <= 0 e330: x175 - 38 b412 <= 0 e331: x176 - 37.5 b413 <= 0 e332: x177 - 37.5 b419 <= 0 e333: x178 - 36.5 b424 <= 0 e334: x179 - 38.5 b428 <= 0 e335: x180 - 39 b431 <= 0 e336: x181 - 38 b433 <= 0 e337: x182 - 37.5 b434 <= 0 e338: x183 - 37 b351 <= 0 e339: x184 - 37 b352 <= 0 e340: x185 - 37 b353 <= 0 e341: x186 - 37 b354 <= 0 e342: x187 - 37 b355 <= 0 e343: x188 - 37 b356 <= 0 e344: x189 - 37 b372 <= 0 e345: x190 - 37 b373 <= 0 e346: x191 - 37 b374 <= 0 e347: x192 - 37 b375 <= 0 e348: x193 - 37 b376 <= 0 e349: x194 - 37 b377 <= 0 e350: x195 - 37 b393 <= 0 e351: x196 - 37 b394 <= 0 e352: x197 - 37 b395 <= 0 e353: x198 - 37 b396 <= 0 e354: x199 - 37 b397 <= 0 e355: x200 - 37 b398 <= 0 e356: x201 - 37 b414 <= 0 e357: x202 - 37 b415 <= 0 e358: x203 - 37 b416 <= 0 e359: x204 - 37 b417 <= 0 e360: x205 - 37 b418 <= 0 e361: x206 - 37 b419 <= 0 e362: x207 - 37 b351 <= 0 e363: x208 - 37.5 b357 <= 0 e364: x209 - 37.5 b358 <= 0 e365: x210 - 37.5 b359 <= 0 e366: x211 - 37.5 b360 <= 0 e367: x212 - 37.5 b361 <= 0 e368: x213 - 37 b372 <= 0 e369: x214 - 37.5 b378 <= 0 e370: x215 - 37.5 b379 <= 0 e371: x216 - 37.5 b380 <= 0 e372: x217 - 37.5 b381 <= 0 e373: x218 - 37.5 b382 <= 0 e374: x219 - 37 b393 <= 0 e375: x220 - 37.5 b399 <= 0 e376: x221 - 37.5 b400 <= 0 e377: x222 - 37.5 b401 <= 0 e378: x223 - 37.5 b402 <= 0 e379: x224 - 37.5 b403 <= 0 e380: x225 - 37 b414 <= 0 e381: x226 - 37.5 b420 <= 0 e382: x227 - 37.5 b421 <= 0 e383: x228 - 37.5 b422 <= 0 e384: x229 - 37.5 b423 <= 0 e385: x230 - 37.5 b424 <= 0 e386: x231 - 37 b352 <= 0 e387: x232 - 37.5 b357 <= 0 e388: x233 - 38.5 b362 <= 0 e389: x234 - 38.5 b363 <= 0 e390: x235 - 38.5 b364 <= 0 e391: x236 - 38.5 b365 <= 0 e392: x237 - 37 b373 <= 0 e393: x238 - 37.5 b378 <= 0 e394: x239 - 38.5 b383 <= 0 e395: x240 - 38.5 b384 <= 0 e396: x241 - 38.5 b385 <= 0 e397: x242 - 38.5 b386 <= 0 e398: x243 - 37 b394 <= 0 e399: x244 - 37.5 b399 <= 0 e400: x245 - 38.5 b404 <= 0 e401: x246 - 38.5 b405 <= 0 e402: x247 - 38.5 b406 <= 0 e403: x248 - 38.5 b407 <= 0 e404: x249 - 37 b415 <= 0 e405: x250 - 37.5 b420 <= 0 e406: x251 - 38.5 b425 <= 0 e407: x252 - 38.5 b426 <= 0 e408: x253 - 38.5 b427 <= 0 e409: x254 - 38.5 b428 <= 0 e410: x255 - 37 b353 <= 0 e411: x256 - 37.5 b358 <= 0 e412: x257 - 38.5 b362 <= 0 e413: x258 - 38.5 b366 <= 0 e414: x259 - 38.5 b367 <= 0 e415: x260 - 38.5 b368 <= 0 e416: x261 - 37 b374 <= 0 e417: x262 - 37.5 b379 <= 0 e418: x263 - 38.5 b383 <= 0 e419: x264 - 38.5 b387 <= 0 e420: x265 - 38.5 b388 <= 0 e421: x266 - 38.5 b389 <= 0 e422: x267 - 37 b395 <= 0 e423: x268 - 37.5 b400 <= 0 e424: x269 - 38.5 b404 <= 0 e425: x270 - 38.5 b408 <= 0 e426: x271 - 38.5 b409 <= 0 e427: x272 - 38.5 b410 <= 0 e428: x273 - 37 b416 <= 0 e429: x274 - 37.5 b421 <= 0 e430: x275 - 38.5 b425 <= 0 e431: x276 - 38.5 b429 <= 0 e432: x277 - 38.5 b430 <= 0 e433: x278 - 38.5 b431 <= 0 e434: x279 - 37 b354 <= 0 e435: x280 - 37.5 b359 <= 0 e436: x281 - 38.5 b363 <= 0 e437: x282 - 38.5 b366 <= 0 e438: x283 - 38 b369 <= 0 e439: x284 - 38 b370 <= 0 e440: x285 - 37 b375 <= 0 e441: x286 - 37.5 b380 <= 0 e442: x287 - 38.5 b384 <= 0 e443: x288 - 38.5 b387 <= 0 e444: x289 - 38 b390 <= 0 e445: x290 - 38 b391 <= 0 e446: x291 - 37 b396 <= 0 e447: x292 - 37.5 b401 <= 0 e448: x293 - 38.5 b405 <= 0 e449: x294 - 38.5 b408 <= 0 e450: x295 - 38 b411 <= 0 e451: x296 - 38 b412 <= 0 e452: x297 - 37 b417 <= 0 e453: x298 - 37.5 b422 <= 0 e454: x299 - 38.5 b426 <= 0 e455: x300 - 38.5 b429 <= 0 e456: x301 - 38 b432 <= 0 e457: x302 - 38 b433 <= 0 e458: x303 - 37 b355 <= 0 e459: x304 - 37.5 b360 <= 0 e460: x305 - 38.5 b364 <= 0 e461: x306 - 38.5 b367 <= 0 e462: x307 - 38 b369 <= 0 e463: x308 - 39 b371 <= 0 e464: x309 - 37 b376 <= 0 e465: x310 - 37.5 b381 <= 0 e466: x311 - 38.5 b385 <= 0 e467: x312 - 38.5 b388 <= 0 e468: x313 - 38 b390 <= 0 e469: x314 - 39 b392 <= 0 e470: x315 - 37 b397 <= 0 e471: x316 - 37.5 b402 <= 0 e472: x317 - 38.5 b406 <= 0 e473: x318 - 38.5 b409 <= 0 e474: x319 - 38 b411 <= 0 e475: x320 - 39 b413 <= 0 e476: x321 - 37 b418 <= 0 e477: x322 - 37.5 b423 <= 0 e478: x323 - 38.5 b427 <= 0 e479: x324 - 38.5 b430 <= 0 e480: x325 - 38 b432 <= 0 e481: x326 - 39 b434 <= 0 e482: x327 - 37 b356 <= 0 e483: x328 - 37.5 b361 <= 0 e484: x329 - 38.5 b365 <= 0 e485: x330 - 38.5 b368 <= 0 e486: x331 - 38 b370 <= 0 e487: x332 - 39 b371 <= 0 e488: x333 - 37 b377 <= 0 e489: x334 - 37.5 b382 <= 0 e490: x335 - 38.5 b386 <= 0 e491: x336 - 38.5 b389 <= 0 e492: x337 - 38 b391 <= 0 e493: x338 - 39 b392 <= 0 e494: x339 - 37 b398 <= 0 e495: x340 - 37.5 b403 <= 0 e496: x341 - 38.5 b407 <= 0 e497: x342 - 38.5 b410 <= 0 e498: x343 - 38 b412 <= 0 e499: x344 - 39 b413 <= 0 e500: x345 - 37 b419 <= 0 e501: x346 - 37.5 b424 <= 0 e502: x347 - 38.5 b428 <= 0 e503: x348 - 38.5 b431 <= 0 e504: x349 - 38 b433 <= 0 e505: x350 - 39 b434 <= 0 e506: x15 - x39 + 6 b351 <= 0 e507: x16 - x63 + 4 b352 <= 0 e508: x17 - x87 + 3.5 b353 <= 0 e509: x18 - x111 + 4.5 b354 <= 0 e510: x19 - x135 + 5 b355 <= 0 e511: x20 - x159 + 6.5 b356 <= 0 e512: x40 - x64 + 5 b357 <= 0 e513: x41 - x88 + 4.5 b358 <= 0 e514: x42 - x112 + 5.5 b359 <= 0 e515: x43 - x136 + 6 b360 <= 0 e516: x44 - x160 + 7.5 b361 <= 0 e517: x65 - x89 + 2.5 b362 <= 0 e518: x66 - x113 + 3.5 b363 <= 0 e519: x67 - x137 + 4 b364 <= 0 e520: x68 - x161 + 5.5 b365 <= 0 e521: x90 - x114 + 3 b366 <= 0 e522: x91 - x138 + 3.5 b367 <= 0 e523: x92 - x162 + 5 b368 <= 0 e524: x115 - x139 + 4.5 b369 <= 0 e525: x116 - x163 + 6 b370 <= 0 e526: x140 - x164 + 6.5 b371 <= 0 e527: - x21 + x45 + 6 b372 <= 0 e528: - x22 + x69 + 4 b373 <= 0 e529: - x23 + x93 + 3.5 b374 <= 0 e530: - x24 + x117 + 4.5 b375 <= 0 e531: - x25 + x141 + 5 b376 <= 0 e532: - x26 + x165 + 6.5 b377 <= 0 e533: - x46 + x70 + 5 b378 <= 0 e534: - x47 + x94 + 4.5 b379 <= 0 e535: - x48 + x118 + 5.5 b380 <= 0 e536: - x49 + x142 + 6 b381 <= 0 e537: - x50 + x166 + 7.5 b382 <= 0 e538: - x71 + x95 + 2.5 b383 <= 0 e539: - x72 + x119 + 3.5 b384 <= 0 e540: - x73 + x143 + 4 b385 <= 0 e541: - x74 + x167 + 5.5 b386 <= 0 e542: - x96 + x120 + 3 b387 <= 0 e543: - x97 + x144 + 3.5 b388 <= 0 e544: - x98 + x168 + 5 b389 <= 0 e545: - x121 + x145 + 4.5 b390 <= 0 e546: - x122 + x169 + 6 b391 <= 0 e547: - x146 + x170 + 6.5 b392 <= 0 e548: x195 - x219 + 5.5 b393 <= 0 e549: x196 - x243 + 4.5 b394 <= 0 e550: x197 - x267 + 4.5 b395 <= 0 e551: x198 - x291 + 5 b396 <= 0 e552: x199 - x315 + 4 b397 <= 0 e553: x200 - x339 + 6 b398 <= 0 e554: x220 - x244 + 4 b399 <= 0 e555: x221 - x268 + 4 b400 <= 0 e556: x222 - x292 + 4.5 b401 <= 0 e557: x223 - x316 + 3.5 b402 <= 0 e558: x224 - x340 + 5.5 b403 <= 0 e559: x245 - x269 + 3 b404 <= 0 e560: x246 - x293 + 3.5 b405 <= 0 e561: x247 - x317 + 2.5 b406 <= 0 e562: x248 - x341 + 4.5 b407 <= 0 e563: x270 - x294 + 3.5 b408 <= 0 e564: x271 - x318 + 2.5 b409 <= 0 e565: x272 - x342 + 4.5 b410 <= 0 e566: x295 - x319 + 3 b411 <= 0 e567: x296 - x343 + 5 b412 <= 0 e568: x320 - x344 + 4 b413 <= 0 e569: - x201 + x225 + 5.5 b414 <= 0 e570: - x202 + x249 + 4.5 b415 <= 0 e571: - x203 + x273 + 4.5 b416 <= 0 e572: - x204 + x297 + 5 b417 <= 0 e573: - x205 + x321 + 4 b418 <= 0 e574: - x206 + x345 + 6 b419 <= 0 e575: - x226 + x250 + 4 b420 <= 0 e576: - x227 + x274 + 4 b421 <= 0 e577: - x228 + x298 + 4.5 b422 <= 0 e578: - x229 + x322 + 3.5 b423 <= 0 e579: - x230 + x346 + 5.5 b424 <= 0 e580: - x251 + x275 + 3 b425 <= 0 e581: - x252 + x299 + 3.5 b426 <= 0 e582: - x253 + x323 + 2.5 b427 <= 0 e583: - x254 + x347 + 4.5 b428 <= 0 e584: - x276 + x300 + 3.5 b429 <= 0 e585: - x277 + x324 + 2.5 b430 <= 0 e586: - x278 + x348 + 4.5 b431 <= 0 e587: - x301 + x325 + 3 b432 <= 0 e588: - x302 + x349 + 5 b433 <= 0 e589: - x326 + x350 + 4 b434 <= 0 e590: b351 + b372 + b393 + b414 = 1 e591: b352 + b373 + b394 + b415 = 1 e592: b353 + b374 + b395 + b416 = 1 e593: b354 + b375 + b396 + b417 = 1 e594: b355 + b376 + b397 + b418 = 1 e595: b356 + b377 + b398 + b419 = 1 e596: b357 + b378 + b399 + b420 = 1 e597: b358 + b379 + b400 + b421 = 1 e598: b359 + b380 + b401 + b422 = 1 e599: b360 + b381 + b402 + b423 = 1 e600: b361 + b382 + b403 + b424 = 1 e601: b362 + b383 + b404 + b425 = 1 e602: b363 + b384 + b405 + b426 = 1 e603: b364 + b385 + b406 + b427 = 1 e604: b365 + b386 + b407 + b428 = 1 e605: b366 + b387 + b408 + b429 = 1 e606: b367 + b388 + b409 + b430 = 1 e607: b368 + b389 + b410 + b431 = 1 e608: b369 + b390 + b411 + b432 = 1 e609: b370 + b391 + b412 + b433 = 1 e610: b371 + b392 + b413 + b434 = 1 Bounds 2.5 <= x1 <= 37.5 3.5 <= x2 <= 36.5 1.5 <= x3 <= 38.5 1 <= x4 <= 39 2 <= x5 <= 38 2.5 <= x6 <= 37.5 4 <= x7 <= 36 3 <= x8 <= 37 2.5 <= x9 <= 37.5 1.5 <= x10 <= 38.5 1.5 <= x11 <= 38.5 2 <= x12 <= 38 1 <= x13 <= 39 3 <= x14 <= 37 objconstant = 589095 Binary b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 b369 b370 b371 b372 b373 b374 b375 b376 b377 b378 b379 b380 b381 b382 b383 b384 b385 b386 b387 b388 b389 b390 b391 b392 b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 End