\ Equation counts \ Total E G L N X C B \ 812 140 112 560 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 632 520 112 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2312 2296 16 0 \ Minimize obj: 859495 - 1.2e3 x1 - 7.8e3 x2 - 3.36e3 x3 - 4.2e2 x4 - 6.6e3 x5 - 3.6e3 x6 - 1.2e4 x7 - 1.92e4 x8 - 3e3 x9 - 1.17e4 x10 - 4.32e3 x11 - 4.2e2 x12 - 5.61e3 x13 - 1.6e3 x14 - 8e3 x15 - 8e3 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 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 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 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 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 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 b465 + 0 b466 + 0 b467 + 0 b468 + 0 b469 + 0 b470 + 0 b471 + 0 b472 + 0 b473 + 0 b474 + 0 b475 + 0 b476 + 0 b477 + 0 b478 + 0 b479 + 0 b480 + 0 b481 + 0 b482 + 0 b483 + 0 b484 + 0 b485 + 0 b486 + 0 b487 + 0 b488 + 0 b489 + 0 b490 + 0 b491 + 0 b492 + 0 b493 + 0 b494 + 0 b495 + 0 b496 + 0 b497 + 0 b498 + 0 b499 + 0 b500 + 0 b501 + 0 b502 + 0 b503 + 0 b504 + 0 b505 + 0 b506 + 0 b507 + 0 b508 + 0 b509 + 0 b510 + 0 b511 + 0 b512 + 0 b513 + 0 b514 + 0 b515 + 0 b516 + 0 b517 + 0 b518 + 0 b519 + 0 b520 + 0 b521 + 0 b522 + 0 b523 + 0 b524 + 0 b525 + 0 b526 + 0 b527 + 0 b528 + 0 b529 + 0 b530 + 0 b531 + 0 b532 + 0 b533 + 0 b534 + 0 b535 + 0 b536 + 0 b537 + 0 b538 + 0 b539 + 0 b540 + 0 b541 + 0 b542 + 0 b543 + 0 b544 + 0 b545 + 0 b546 + 0 b547 + 0 b548 + 0 b549 + 0 b550 + 0 b551 + 0 b552 + 0 b553 + 0 b554 + 0 b555 + 0 b556 + 0 b557 + 0 b558 + 0 b559 + 0 b560 + 0 b561 + 0 b562 + 0 b563 + 0 b564 + 0 b565 + 0 b566 + 0 b567 + 0 b568 + 0 b569 + 0 b570 + 0 b571 + 0 b572 + 0 b573 + 0 b574 + 0 b575 + 0 b576 + 300 x577 + 2.4e2 x578 + 2.1e2 x579 + 1.4e2 x580 + 300 x581 + 2.5e2 x582 + 300 x583 + 100 x584 + 1.5e2 x585 + 2.2e2 x586 + 200 x587 + 300 x588 + 2.9e2 x589 + 1.2e2 x590 + 300 x591 + 1.5e2 x592 + 1.5e2 x593 + 100 x594 + 100 x595 + 1.2e2 x596 + 1.8e2 x597 + 2.2e2 x598 + 1.3e2 x599 + 1.9e2 x600 + 1.1e2 x601 + 2.2e2 x602 + 1.4e2 x603 + 2.6e2 x604 + 300 x605 + 2.4e2 x606 + 2.1e2 x607 + 1.4e2 x608 + 300 x609 + 2.5e2 x610 + 300 x611 + 100 x612 + 1.5e2 x613 + 2.2e2 x614 + 200 x615 + 300 x616 + 2.9e2 x617 + 1.2e2 x618 + 300 x619 + 1.5e2 x620 + 1.5e2 x621 + 100 x622 + 100 x623 + 1.2e2 x624 + 1.8e2 x625 + 2.2e2 x626 + 1.3e2 x627 + 1.9e2 x628 + 1.1e2 x629 + 2.2e2 x630 + 1.4e2 x631 + 2.6e2 x632 + 1.5e2 x1^2 + 3.9e2 x2^2 + 2.4e2 x3^2 + 70 x4^2 + 165 x5^2 + 100 x6^2 + 200 x7^2 + 400 x8^2 + 1.5e2 x9^2 + 3.9e2 x10^2 + 2.4e2 x11^2 + 70 x12^2 + 165 x13^2 + 100 x14^2 + 200 x15^2 + 400 x16^2 Subject To e2: - x1 + x2 + x577 >= 0 e3: - x1 + x3 + x578 >= 0 e4: - x1 + x4 + x579 >= 0 e5: - x1 + x5 + x580 >= 0 e6: - x1 + x6 + x581 >= 0 e7: - x1 + x7 + x582 >= 0 e8: - x1 + x8 + x583 >= 0 e9: - x2 + x3 + x584 >= 0 e10: - x2 + x4 + x585 >= 0 e11: - x2 + x5 + x586 >= 0 e12: - x2 + x6 + x587 >= 0 e13: - x2 + x7 + x588 >= 0 e14: - x2 + x8 + x589 >= 0 e15: - x3 + x4 + x590 >= 0 e16: - x3 + x5 + x591 >= 0 e17: - x3 + x6 + x592 >= 0 e18: - x3 + x7 + x593 >= 0 e19: - x3 + x8 + x594 >= 0 e20: - x4 + x5 + x595 >= 0 e21: - x4 + x6 + x596 >= 0 e22: - x4 + x7 + x597 >= 0 e23: - x4 + x8 + x598 >= 0 e24: - x5 + x6 + x599 >= 0 e25: - x5 + x7 + x600 >= 0 e26: - x5 + x8 + x601 >= 0 e27: - x6 + x7 + x602 >= 0 e28: - x6 + x8 + x603 >= 0 e29: - x7 + x8 + x604 >= 0 e30: x1 - x2 + x577 >= 0 e31: x1 - x3 + x578 >= 0 e32: x1 - x4 + x579 >= 0 e33: x1 - x5 + x580 >= 0 e34: x1 - x6 + x581 >= 0 e35: x1 - x7 + x582 >= 0 e36: x1 - x8 + x583 >= 0 e37: x2 - x3 + x584 >= 0 e38: x2 - x4 + x585 >= 0 e39: x2 - x5 + x586 >= 0 e40: x2 - x6 + x587 >= 0 e41: x2 - x7 + x588 >= 0 e42: x2 - x8 + x589 >= 0 e43: x3 - x4 + x590 >= 0 e44: x3 - x5 + x591 >= 0 e45: x3 - x6 + x592 >= 0 e46: x3 - x7 + x593 >= 0 e47: x3 - x8 + x594 >= 0 e48: x4 - x5 + x595 >= 0 e49: x4 - x6 + x596 >= 0 e50: x4 - x7 + x597 >= 0 e51: x4 - x8 + x598 >= 0 e52: x5 - x6 + x599 >= 0 e53: x5 - x7 + x600 >= 0 e54: x5 - x8 + x601 >= 0 e55: x6 - x7 + x602 >= 0 e56: x6 - x8 + x603 >= 0 e57: x7 - x8 + x604 >= 0 e58: - x9 + x10 + x605 >= 0 e59: - x9 + x11 + x606 >= 0 e60: - x9 + x12 + x607 >= 0 e61: - x9 + x13 + x608 >= 0 e62: - x9 + x14 + x609 >= 0 e63: - x9 + x15 + x610 >= 0 e64: - x9 + x16 + x611 >= 0 e65: - x10 + x11 + x612 >= 0 e66: - x10 + x12 + x613 >= 0 e67: - x10 + x13 + x614 >= 0 e68: - x10 + x14 + x615 >= 0 e69: - x10 + x15 + x616 >= 0 e70: - x10 + x16 + x617 >= 0 e71: - x11 + x12 + x618 >= 0 e72: - x11 + x13 + x619 >= 0 e73: - x11 + x14 + x620 >= 0 e74: - x11 + x15 + x621 >= 0 e75: - x11 + x16 + x622 >= 0 e76: - x12 + x13 + x623 >= 0 e77: - x12 + x14 + x624 >= 0 e78: - x12 + x15 + x625 >= 0 e79: - x12 + x16 + x626 >= 0 e80: - x13 + x14 + x627 >= 0 e81: - x13 + x15 + x628 >= 0 e82: - x13 + x16 + x629 >= 0 e83: - x14 + x15 + x630 >= 0 e84: - x14 + x16 + x631 >= 0 e85: - x15 + x16 + x632 >= 0 e86: x9 - x10 + x605 >= 0 e87: x9 - x11 + x606 >= 0 e88: x9 - x12 + x607 >= 0 e89: x9 - x13 + x608 >= 0 e90: x9 - x14 + x609 >= 0 e91: x9 - x15 + x610 >= 0 e92: x9 - x16 + x611 >= 0 e93: x10 - x11 + x612 >= 0 e94: x10 - x12 + x613 >= 0 e95: x10 - x13 + x614 >= 0 e96: x10 - x14 + x615 >= 0 e97: x10 - x15 + x616 >= 0 e98: x10 - x16 + x617 >= 0 e99: x11 - x12 + x618 >= 0 e100: x11 - x13 + x619 >= 0 e101: x11 - x14 + x620 >= 0 e102: x11 - x15 + x621 >= 0 e103: x11 - x16 + x622 >= 0 e104: x12 - x13 + x623 >= 0 e105: x12 - x14 + x624 >= 0 e106: x12 - x15 + x625 >= 0 e107: x12 - x16 + x626 >= 0 e108: x13 - x14 + x627 >= 0 e109: x13 - x15 + x628 >= 0 e110: x13 - x16 + x629 >= 0 e111: x14 - x15 + x630 >= 0 e112: x14 - x16 + x631 >= 0 e113: x15 - x16 + x632 >= 0 e114: x1 - x17 - x24 - x31 - x38 = 0 e115: x1 - x18 - x25 - x32 - x39 = 0 e116: x1 - x19 - x26 - x33 - x40 = 0 e117: x1 - x20 - x27 - x34 - x41 = 0 e118: x1 - x21 - x28 - x35 - x42 = 0 e119: x1 - x22 - x29 - x36 - x43 = 0 e120: x1 - x23 - x30 - x37 - x44 = 0 e121: x2 - x45 - x52 - x59 - x66 = 0 e122: x2 - x46 - x53 - x60 - x67 = 0 e123: x2 - x47 - x54 - x61 - x68 = 0 e124: x2 - x48 - x55 - x62 - x69 = 0 e125: x2 - x49 - x56 - x63 - x70 = 0 e126: x2 - x50 - x57 - x64 - x71 = 0 e127: x2 - x51 - x58 - x65 - x72 = 0 e128: x3 - x73 - x80 - x87 - x94 = 0 e129: x3 - x74 - x81 - x88 - x95 = 0 e130: x3 - x75 - x82 - x89 - x96 = 0 e131: x3 - x76 - x83 - x90 - x97 = 0 e132: x3 - x77 - x84 - x91 - x98 = 0 e133: x3 - x78 - x85 - x92 - x99 = 0 e134: x3 - x79 - x86 - x93 - x100 = 0 e135: x4 - x101 - x108 - x115 - x122 = 0 e136: x4 - x102 - x109 - x116 - x123 = 0 e137: x4 - x103 - x110 - x117 - x124 = 0 e138: x4 - x104 - x111 - x118 - x125 = 0 e139: x4 - x105 - x112 - x119 - x126 = 0 e140: x4 - x106 - x113 - x120 - x127 = 0 e141: x4 - x107 - x114 - x121 - x128 = 0 e142: x5 - x129 - x136 - x143 - x150 = 0 e143: x5 - x130 - x137 - x144 - x151 = 0 e144: x5 - x131 - x138 - x145 - x152 = 0 e145: x5 - x132 - x139 - x146 - x153 = 0 e146: x5 - x133 - x140 - x147 - x154 = 0 e147: x5 - x134 - x141 - x148 - x155 = 0 e148: x5 - x135 - x142 - x149 - x156 = 0 e149: x6 - x157 - x164 - x171 - x178 = 0 e150: x6 - x158 - x165 - x172 - x179 = 0 e151: x6 - x159 - x166 - x173 - x180 = 0 e152: x6 - x160 - x167 - x174 - x181 = 0 e153: x6 - x161 - x168 - x175 - x182 = 0 e154: x6 - x162 - x169 - x176 - x183 = 0 e155: x6 - x163 - x170 - x177 - x184 = 0 e156: x7 - x185 - x192 - x199 - x206 = 0 e157: x7 - x186 - x193 - x200 - x207 = 0 e158: x7 - x187 - x194 - x201 - x208 = 0 e159: x7 - x188 - x195 - x202 - x209 = 0 e160: x7 - x189 - x196 - x203 - x210 = 0 e161: x7 - x190 - x197 - x204 - x211 = 0 e162: x7 - x191 - x198 - x205 - x212 = 0 e163: x8 - x213 - x220 - x227 - x234 = 0 e164: x8 - x214 - x221 - x228 - x235 = 0 e165: x8 - x215 - x222 - x229 - x236 = 0 e166: x8 - x216 - x223 - x230 - x237 = 0 e167: x8 - x217 - x224 - x231 - x238 = 0 e168: x8 - x218 - x225 - x232 - x239 = 0 e169: x8 - x219 - x226 - x233 - x240 = 0 e170: x9 - x241 - x248 - x255 - x262 = 0 e171: x9 - x242 - x249 - x256 - x263 = 0 e172: x9 - x243 - x250 - x257 - x264 = 0 e173: x9 - x244 - x251 - x258 - x265 = 0 e174: x9 - x245 - x252 - x259 - x266 = 0 e175: x9 - x246 - x253 - x260 - x267 = 0 e176: x9 - x247 - x254 - x261 - x268 = 0 e177: x10 - x269 - x276 - x283 - x290 = 0 e178: x10 - x270 - x277 - x284 - x291 = 0 e179: x10 - x271 - x278 - x285 - x292 = 0 e180: x10 - x272 - x279 - x286 - x293 = 0 e181: x10 - x273 - x280 - x287 - x294 = 0 e182: x10 - x274 - x281 - x288 - x295 = 0 e183: x10 - x275 - x282 - x289 - x296 = 0 e184: x11 - x297 - x304 - x311 - x318 = 0 e185: x11 - x298 - x305 - x312 - x319 = 0 e186: x11 - x299 - x306 - x313 - x320 = 0 e187: x11 - x300 - x307 - x314 - x321 = 0 e188: x11 - x301 - x308 - x315 - x322 = 0 e189: x11 - x302 - x309 - x316 - x323 = 0 e190: x11 - x303 - x310 - x317 - x324 = 0 e191: x12 - x325 - x332 - x339 - x346 = 0 e192: x12 - x326 - x333 - x340 - x347 = 0 e193: x12 - x327 - x334 - x341 - x348 = 0 e194: x12 - x328 - x335 - x342 - x349 = 0 e195: x12 - x329 - x336 - x343 - x350 = 0 e196: x12 - x330 - x337 - x344 - x351 = 0 e197: x12 - x331 - x338 - x345 - x352 = 0 e198: x13 - x353 - x360 - x367 - x374 = 0 e199: x13 - x354 - x361 - x368 - x375 = 0 e200: x13 - x355 - x362 - x369 - x376 = 0 e201: x13 - x356 - x363 - x370 - x377 = 0 e202: x13 - x357 - x364 - x371 - x378 = 0 e203: x13 - x358 - x365 - x372 - x379 = 0 e204: x13 - x359 - x366 - x373 - x380 = 0 e205: x14 - x381 - x388 - x395 - x402 = 0 e206: x14 - x382 - x389 - x396 - x403 = 0 e207: x14 - x383 - x390 - x397 - x404 = 0 e208: x14 - x384 - x391 - x398 - x405 = 0 e209: x14 - x385 - x392 - x399 - x406 = 0 e210: x14 - x386 - x393 - x400 - x407 = 0 e211: x14 - x387 - x394 - x401 - x408 = 0 e212: x15 - x409 - x416 - x423 - x430 = 0 e213: x15 - x410 - x417 - x424 - x431 = 0 e214: x15 - x411 - x418 - x425 - x432 = 0 e215: x15 - x412 - x419 - x426 - x433 = 0 e216: x15 - x413 - x420 - x427 - x434 = 0 e217: x15 - x414 - x421 - x428 - x435 = 0 e218: x15 - x415 - x422 - x429 - x436 = 0 e219: x16 - x437 - x444 - x451 - x458 = 0 e220: x16 - x438 - x445 - x452 - x459 = 0 e221: x16 - x439 - x446 - x453 - x460 = 0 e222: x16 - x440 - x447 - x454 - x461 = 0 e223: x16 - x441 - x448 - x455 - x462 = 0 e224: x16 - x442 - x449 - x456 - x463 = 0 e225: x16 - x443 - x450 - x457 - x464 = 0 e226: x17 - 37.5 b465 <= 0 e227: x18 - 37.5 b466 <= 0 e228: x19 - 37.5 b467 <= 0 e229: x20 - 37.5 b468 <= 0 e230: x21 - 37.5 b469 <= 0 e231: x22 - 37.5 b470 <= 0 e232: x23 - 37.5 b471 <= 0 e233: x24 - 37.5 b493 <= 0 e234: x25 - 37.5 b494 <= 0 e235: x26 - 37.5 b495 <= 0 e236: x27 - 37.5 b496 <= 0 e237: x28 - 37.5 b497 <= 0 e238: x29 - 37.5 b498 <= 0 e239: x30 - 37.5 b499 <= 0 e240: x31 - 37.5 b521 <= 0 e241: x32 - 37.5 b522 <= 0 e242: x33 - 37.5 b523 <= 0 e243: x34 - 37.5 b524 <= 0 e244: x35 - 37.5 b525 <= 0 e245: x36 - 37.5 b526 <= 0 e246: x37 - 37.5 b527 <= 0 e247: x38 - 37.5 b549 <= 0 e248: x39 - 37.5 b550 <= 0 e249: x40 - 37.5 b551 <= 0 e250: x41 - 37.5 b552 <= 0 e251: x42 - 37.5 b553 <= 0 e252: x43 - 37.5 b554 <= 0 e253: x44 - 37.5 b555 <= 0 e254: x45 - 37.5 b465 <= 0 e255: x46 - 36.5 b472 <= 0 e256: x47 - 36.5 b473 <= 0 e257: x48 - 36.5 b474 <= 0 e258: x49 - 36.5 b475 <= 0 e259: x50 - 36.5 b476 <= 0 e260: x51 - 36.5 b477 <= 0 e261: x52 - 37.5 b493 <= 0 e262: x53 - 36.5 b500 <= 0 e263: x54 - 36.5 b501 <= 0 e264: x55 - 36.5 b502 <= 0 e265: x56 - 36.5 b503 <= 0 e266: x57 - 36.5 b504 <= 0 e267: x58 - 36.5 b505 <= 0 e268: x59 - 37.5 b521 <= 0 e269: x60 - 36.5 b528 <= 0 e270: x61 - 36.5 b529 <= 0 e271: x62 - 36.5 b530 <= 0 e272: x63 - 36.5 b531 <= 0 e273: x64 - 36.5 b532 <= 0 e274: x65 - 36.5 b533 <= 0 e275: x66 - 37.5 b549 <= 0 e276: x67 - 36.5 b556 <= 0 e277: x68 - 36.5 b557 <= 0 e278: x69 - 36.5 b558 <= 0 e279: x70 - 36.5 b559 <= 0 e280: x71 - 36.5 b560 <= 0 e281: x72 - 36.5 b561 <= 0 e282: x73 - 37.5 b466 <= 0 e283: x74 - 36.5 b472 <= 0 e284: x75 - 38.5 b478 <= 0 e285: x76 - 38.5 b479 <= 0 e286: x77 - 38.5 b480 <= 0 e287: x78 - 38.5 b481 <= 0 e288: x79 - 38.5 b482 <= 0 e289: x80 - 37.5 b494 <= 0 e290: x81 - 36.5 b500 <= 0 e291: x82 - 38.5 b506 <= 0 e292: x83 - 38.5 b507 <= 0 e293: x84 - 38.5 b508 <= 0 e294: x85 - 38.5 b509 <= 0 e295: x86 - 38.5 b510 <= 0 e296: x87 - 37.5 b522 <= 0 e297: x88 - 36.5 b528 <= 0 e298: x89 - 38.5 b534 <= 0 e299: x90 - 38.5 b535 <= 0 e300: x91 - 38.5 b536 <= 0 e301: x92 - 38.5 b537 <= 0 e302: x93 - 38.5 b538 <= 0 e303: x94 - 37.5 b550 <= 0 e304: x95 - 36.5 b556 <= 0 e305: x96 - 38.5 b562 <= 0 e306: x97 - 38.5 b563 <= 0 e307: x98 - 38.5 b564 <= 0 e308: x99 - 38.5 b565 <= 0 e309: x100 - 38.5 b566 <= 0 e310: x101 - 37.5 b467 <= 0 e311: x102 - 36.5 b473 <= 0 e312: x103 - 38.5 b478 <= 0 e313: x104 - 39 b483 <= 0 e314: x105 - 39 b484 <= 0 e315: x106 - 39 b485 <= 0 e316: x107 - 39 b486 <= 0 e317: x108 - 37.5 b495 <= 0 e318: x109 - 36.5 b501 <= 0 e319: x110 - 38.5 b506 <= 0 e320: x111 - 39 b511 <= 0 e321: x112 - 39 b512 <= 0 e322: x113 - 39 b513 <= 0 e323: x114 - 39 b514 <= 0 e324: x115 - 37.5 b523 <= 0 e325: x116 - 36.5 b529 <= 0 e326: x117 - 38.5 b534 <= 0 e327: x118 - 39 b539 <= 0 e328: x119 - 39 b540 <= 0 e329: x120 - 39 b541 <= 0 e330: x121 - 39 b542 <= 0 e331: x122 - 37.5 b551 <= 0 e332: x123 - 36.5 b557 <= 0 e333: x124 - 38.5 b562 <= 0 e334: x125 - 39 b567 <= 0 e335: x126 - 39 b568 <= 0 e336: x127 - 39 b569 <= 0 e337: x128 - 39 b570 <= 0 e338: x129 - 37.5 b468 <= 0 e339: x130 - 36.5 b474 <= 0 e340: x131 - 38.5 b479 <= 0 e341: x132 - 39 b483 <= 0 e342: x133 - 38 b487 <= 0 e343: x134 - 38 b488 <= 0 e344: x135 - 38 b489 <= 0 e345: x136 - 37.5 b496 <= 0 e346: x137 - 36.5 b502 <= 0 e347: x138 - 38.5 b507 <= 0 e348: x139 - 39 b511 <= 0 e349: x140 - 38 b515 <= 0 e350: x141 - 38 b516 <= 0 e351: x142 - 38 b517 <= 0 e352: x143 - 37.5 b524 <= 0 e353: x144 - 36.5 b530 <= 0 e354: x145 - 38.5 b535 <= 0 e355: x146 - 39 b539 <= 0 e356: x147 - 38 b543 <= 0 e357: x148 - 38 b544 <= 0 e358: x149 - 38 b545 <= 0 e359: x150 - 37.5 b552 <= 0 e360: x151 - 36.5 b558 <= 0 e361: x152 - 38.5 b563 <= 0 e362: x153 - 39 b567 <= 0 e363: x154 - 38 b571 <= 0 e364: x155 - 38 b572 <= 0 e365: x156 - 38 b573 <= 0 e366: x157 - 37.5 b469 <= 0 e367: x158 - 36.5 b475 <= 0 e368: x159 - 38.5 b480 <= 0 e369: x160 - 39 b484 <= 0 e370: x161 - 38 b487 <= 0 e371: x162 - 37.5 b490 <= 0 e372: x163 - 37.5 b491 <= 0 e373: x164 - 37.5 b497 <= 0 e374: x165 - 36.5 b503 <= 0 e375: x166 - 38.5 b508 <= 0 e376: x167 - 39 b512 <= 0 e377: x168 - 38 b515 <= 0 e378: x169 - 37.5 b518 <= 0 e379: x170 - 37.5 b519 <= 0 e380: x171 - 37.5 b525 <= 0 e381: x172 - 36.5 b531 <= 0 e382: x173 - 38.5 b536 <= 0 e383: x174 - 39 b540 <= 0 e384: x175 - 38 b543 <= 0 e385: x176 - 37.5 b546 <= 0 e386: x177 - 37.5 b547 <= 0 e387: x178 - 37.5 b553 <= 0 e388: x179 - 36.5 b559 <= 0 e389: x180 - 38.5 b564 <= 0 e390: x181 - 39 b568 <= 0 e391: x182 - 38 b571 <= 0 e392: x183 - 37.5 b574 <= 0 e393: x184 - 37.5 b575 <= 0 e394: x185 - 37.5 b470 <= 0 e395: x186 - 36.5 b476 <= 0 e396: x187 - 38.5 b481 <= 0 e397: x188 - 39 b485 <= 0 e398: x189 - 38 b488 <= 0 e399: x190 - 37.5 b490 <= 0 e400: x191 - 36 b492 <= 0 e401: x192 - 37.5 b498 <= 0 e402: x193 - 36.5 b504 <= 0 e403: x194 - 38.5 b509 <= 0 e404: x195 - 39 b513 <= 0 e405: x196 - 38 b516 <= 0 e406: x197 - 37.5 b518 <= 0 e407: x198 - 36 b520 <= 0 e408: x199 - 37.5 b526 <= 0 e409: x200 - 36.5 b532 <= 0 e410: x201 - 38.5 b537 <= 0 e411: x202 - 39 b541 <= 0 e412: x203 - 38 b544 <= 0 e413: x204 - 37.5 b546 <= 0 e414: x205 - 36 b548 <= 0 e415: x206 - 37.5 b554 <= 0 e416: x207 - 36.5 b560 <= 0 e417: x208 - 38.5 b565 <= 0 e418: x209 - 39 b569 <= 0 e419: x210 - 38 b572 <= 0 e420: x211 - 37.5 b574 <= 0 e421: x212 - 36 b576 <= 0 e422: x213 - 37.5 b471 <= 0 e423: x214 - 36.5 b477 <= 0 e424: x215 - 38.5 b482 <= 0 e425: x216 - 39 b486 <= 0 e426: x217 - 38 b489 <= 0 e427: x218 - 37.5 b491 <= 0 e428: x219 - 36 b492 <= 0 e429: x220 - 37.5 b499 <= 0 e430: x221 - 36.5 b505 <= 0 e431: x222 - 38.5 b510 <= 0 e432: x223 - 39 b514 <= 0 e433: x224 - 38 b517 <= 0 e434: x225 - 37.5 b519 <= 0 e435: x226 - 36 b520 <= 0 e436: x227 - 37.5 b527 <= 0 e437: x228 - 36.5 b533 <= 0 e438: x229 - 38.5 b538 <= 0 e439: x230 - 39 b542 <= 0 e440: x231 - 38 b545 <= 0 e441: x232 - 37.5 b547 <= 0 e442: x233 - 36 b548 <= 0 e443: x234 - 37.5 b555 <= 0 e444: x235 - 36.5 b561 <= 0 e445: x236 - 38.5 b566 <= 0 e446: x237 - 39 b570 <= 0 e447: x238 - 38 b573 <= 0 e448: x239 - 37.5 b575 <= 0 e449: x240 - 36 b576 <= 0 e450: x241 - 37 b465 <= 0 e451: x242 - 37 b466 <= 0 e452: x243 - 37 b467 <= 0 e453: x244 - 37 b468 <= 0 e454: x245 - 37 b469 <= 0 e455: x246 - 37 b470 <= 0 e456: x247 - 37 b471 <= 0 e457: x248 - 37 b493 <= 0 e458: x249 - 37 b494 <= 0 e459: x250 - 37 b495 <= 0 e460: x251 - 37 b496 <= 0 e461: x252 - 37 b497 <= 0 e462: x253 - 37 b498 <= 0 e463: x254 - 37 b499 <= 0 e464: x255 - 37 b521 <= 0 e465: x256 - 37 b522 <= 0 e466: x257 - 37 b523 <= 0 e467: x258 - 37 b524 <= 0 e468: x259 - 37 b525 <= 0 e469: x260 - 37 b526 <= 0 e470: x261 - 37 b527 <= 0 e471: x262 - 37 b549 <= 0 e472: x263 - 37 b550 <= 0 e473: x264 - 37 b551 <= 0 e474: x265 - 37 b552 <= 0 e475: x266 - 37 b553 <= 0 e476: x267 - 37 b554 <= 0 e477: x268 - 37 b555 <= 0 e478: x269 - 37 b465 <= 0 e479: x270 - 37.5 b472 <= 0 e480: x271 - 37.5 b473 <= 0 e481: x272 - 37.5 b474 <= 0 e482: x273 - 37.5 b475 <= 0 e483: x274 - 37.5 b476 <= 0 e484: x275 - 37.5 b477 <= 0 e485: x276 - 37 b493 <= 0 e486: x277 - 37.5 b500 <= 0 e487: x278 - 37.5 b501 <= 0 e488: x279 - 37.5 b502 <= 0 e489: x280 - 37.5 b503 <= 0 e490: x281 - 37.5 b504 <= 0 e491: x282 - 37.5 b505 <= 0 e492: x283 - 37 b521 <= 0 e493: x284 - 37.5 b528 <= 0 e494: x285 - 37.5 b529 <= 0 e495: x286 - 37.5 b530 <= 0 e496: x287 - 37.5 b531 <= 0 e497: x288 - 37.5 b532 <= 0 e498: x289 - 37.5 b533 <= 0 e499: x290 - 37 b549 <= 0 e500: x291 - 37.5 b556 <= 0 e501: x292 - 37.5 b557 <= 0 e502: x293 - 37.5 b558 <= 0 e503: x294 - 37.5 b559 <= 0 e504: x295 - 37.5 b560 <= 0 e505: x296 - 37.5 b561 <= 0 e506: x297 - 37 b466 <= 0 e507: x298 - 37.5 b472 <= 0 e508: x299 - 38.5 b478 <= 0 e509: x300 - 38.5 b479 <= 0 e510: x301 - 38.5 b480 <= 0 e511: x302 - 38.5 b481 <= 0 e512: x303 - 38.5 b482 <= 0 e513: x304 - 37 b494 <= 0 e514: x305 - 37.5 b500 <= 0 e515: x306 - 38.5 b506 <= 0 e516: x307 - 38.5 b507 <= 0 e517: x308 - 38.5 b508 <= 0 e518: x309 - 38.5 b509 <= 0 e519: x310 - 38.5 b510 <= 0 e520: x311 - 37 b522 <= 0 e521: x312 - 37.5 b528 <= 0 e522: x313 - 38.5 b534 <= 0 e523: x314 - 38.5 b535 <= 0 e524: x315 - 38.5 b536 <= 0 e525: x316 - 38.5 b537 <= 0 e526: x317 - 38.5 b538 <= 0 e527: x318 - 37 b550 <= 0 e528: x319 - 37.5 b556 <= 0 e529: x320 - 38.5 b562 <= 0 e530: x321 - 38.5 b563 <= 0 e531: x322 - 38.5 b564 <= 0 e532: x323 - 38.5 b565 <= 0 e533: x324 - 38.5 b566 <= 0 e534: x325 - 37 b467 <= 0 e535: x326 - 37.5 b473 <= 0 e536: x327 - 38.5 b478 <= 0 e537: x328 - 38.5 b483 <= 0 e538: x329 - 38.5 b484 <= 0 e539: x330 - 38.5 b485 <= 0 e540: x331 - 38.5 b486 <= 0 e541: x332 - 37 b495 <= 0 e542: x333 - 37.5 b501 <= 0 e543: x334 - 38.5 b506 <= 0 e544: x335 - 38.5 b511 <= 0 e545: x336 - 38.5 b512 <= 0 e546: x337 - 38.5 b513 <= 0 e547: x338 - 38.5 b514 <= 0 e548: x339 - 37 b523 <= 0 e549: x340 - 37.5 b529 <= 0 e550: x341 - 38.5 b534 <= 0 e551: x342 - 38.5 b539 <= 0 e552: x343 - 38.5 b540 <= 0 e553: x344 - 38.5 b541 <= 0 e554: x345 - 38.5 b542 <= 0 e555: x346 - 37 b551 <= 0 e556: x347 - 37.5 b557 <= 0 e557: x348 - 38.5 b562 <= 0 e558: x349 - 38.5 b567 <= 0 e559: x350 - 38.5 b568 <= 0 e560: x351 - 38.5 b569 <= 0 e561: x352 - 38.5 b570 <= 0 e562: x353 - 37 b468 <= 0 e563: x354 - 37.5 b474 <= 0 e564: x355 - 38.5 b479 <= 0 e565: x356 - 38.5 b483 <= 0 e566: x357 - 38 b487 <= 0 e567: x358 - 38 b488 <= 0 e568: x359 - 38 b489 <= 0 e569: x360 - 37 b496 <= 0 e570: x361 - 37.5 b502 <= 0 e571: x362 - 38.5 b507 <= 0 e572: x363 - 38.5 b511 <= 0 e573: x364 - 38 b515 <= 0 e574: x365 - 38 b516 <= 0 e575: x366 - 38 b517 <= 0 e576: x367 - 37 b524 <= 0 e577: x368 - 37.5 b530 <= 0 e578: x369 - 38.5 b535 <= 0 e579: x370 - 38.5 b539 <= 0 e580: x371 - 38 b543 <= 0 e581: x372 - 38 b544 <= 0 e582: x373 - 38 b545 <= 0 e583: x374 - 37 b552 <= 0 e584: x375 - 37.5 b558 <= 0 e585: x376 - 38.5 b563 <= 0 e586: x377 - 38.5 b567 <= 0 e587: x378 - 38 b571 <= 0 e588: x379 - 38 b572 <= 0 e589: x380 - 38 b573 <= 0 e590: x381 - 37 b469 <= 0 e591: x382 - 37.5 b475 <= 0 e592: x383 - 38.5 b480 <= 0 e593: x384 - 38.5 b484 <= 0 e594: x385 - 38 b487 <= 0 e595: x386 - 39 b490 <= 0 e596: x387 - 39 b491 <= 0 e597: x388 - 37 b497 <= 0 e598: x389 - 37.5 b503 <= 0 e599: x390 - 38.5 b508 <= 0 e600: x391 - 38.5 b512 <= 0 e601: x392 - 38 b515 <= 0 e602: x393 - 39 b518 <= 0 e603: x394 - 39 b519 <= 0 e604: x395 - 37 b525 <= 0 e605: x396 - 37.5 b531 <= 0 e606: x397 - 38.5 b536 <= 0 e607: x398 - 38.5 b540 <= 0 e608: x399 - 38 b543 <= 0 e609: x400 - 39 b546 <= 0 e610: x401 - 39 b547 <= 0 e611: x402 - 37 b553 <= 0 e612: x403 - 37.5 b559 <= 0 e613: x404 - 38.5 b564 <= 0 e614: x405 - 38.5 b568 <= 0 e615: x406 - 38 b571 <= 0 e616: x407 - 39 b574 <= 0 e617: x408 - 39 b575 <= 0 e618: x409 - 37 b470 <= 0 e619: x410 - 37.5 b476 <= 0 e620: x411 - 38.5 b481 <= 0 e621: x412 - 38.5 b485 <= 0 e622: x413 - 38 b488 <= 0 e623: x414 - 39 b490 <= 0 e624: x415 - 37 b492 <= 0 e625: x416 - 37 b498 <= 0 e626: x417 - 37.5 b504 <= 0 e627: x418 - 38.5 b509 <= 0 e628: x419 - 38.5 b513 <= 0 e629: x420 - 38 b516 <= 0 e630: x421 - 39 b518 <= 0 e631: x422 - 37 b520 <= 0 e632: x423 - 37 b526 <= 0 e633: x424 - 37.5 b532 <= 0 e634: x425 - 38.5 b537 <= 0 e635: x426 - 38.5 b541 <= 0 e636: x427 - 38 b544 <= 0 e637: x428 - 39 b546 <= 0 e638: x429 - 37 b548 <= 0 e639: x430 - 37 b554 <= 0 e640: x431 - 37.5 b560 <= 0 e641: x432 - 38.5 b565 <= 0 e642: x433 - 38.5 b569 <= 0 e643: x434 - 38 b572 <= 0 e644: x435 - 39 b574 <= 0 e645: x436 - 37 b576 <= 0 e646: x437 - 37 b471 <= 0 e647: x438 - 37.5 b477 <= 0 e648: x439 - 38.5 b482 <= 0 e649: x440 - 38.5 b486 <= 0 e650: x441 - 38 b489 <= 0 e651: x442 - 39 b491 <= 0 e652: x443 - 37 b492 <= 0 e653: x444 - 37 b499 <= 0 e654: x445 - 37.5 b505 <= 0 e655: x446 - 38.5 b510 <= 0 e656: x447 - 38.5 b514 <= 0 e657: x448 - 38 b517 <= 0 e658: x449 - 39 b519 <= 0 e659: x450 - 37 b520 <= 0 e660: x451 - 37 b527 <= 0 e661: x452 - 37.5 b533 <= 0 e662: x453 - 38.5 b538 <= 0 e663: x454 - 38.5 b542 <= 0 e664: x455 - 38 b545 <= 0 e665: x456 - 39 b547 <= 0 e666: x457 - 37 b548 <= 0 e667: x458 - 37 b555 <= 0 e668: x459 - 37.5 b561 <= 0 e669: x460 - 38.5 b566 <= 0 e670: x461 - 38.5 b570 <= 0 e671: x462 - 38 b573 <= 0 e672: x463 - 39 b575 <= 0 e673: x464 - 37 b576 <= 0 e674: x17 - x45 + 6 b465 <= 0 e675: x18 - x73 + 4 b466 <= 0 e676: x19 - x101 + 3.5 b467 <= 0 e677: x20 - x129 + 4.5 b468 <= 0 e678: x21 - x157 + 5 b469 <= 0 e679: x22 - x185 + 6.5 b470 <= 0 e680: x23 - x213 + 4.5 b471 <= 0 e681: x46 - x74 + 5 b472 <= 0 e682: x47 - x102 + 4.5 b473 <= 0 e683: x48 - x130 + 5.5 b474 <= 0 e684: x49 - x158 + 6 b475 <= 0 e685: x50 - x186 + 7.5 b476 <= 0 e686: x51 - x214 + 5.5 b477 <= 0 e687: x75 - x103 + 2.5 b478 <= 0 e688: x76 - x131 + 3.5 b479 <= 0 e689: x77 - x159 + 4 b480 <= 0 e690: x78 - x187 + 5.5 b481 <= 0 e691: x79 - x215 + 3.5 b482 <= 0 e692: x104 - x132 + 3 b483 <= 0 e693: x105 - x160 + 3.5 b484 <= 0 e694: x106 - x188 + 5 b485 <= 0 e695: x107 - x216 + 3 b486 <= 0 e696: x133 - x161 + 4.5 b487 <= 0 e697: x134 - x189 + 6 b488 <= 0 e698: x135 - x217 + 4 b489 <= 0 e699: x162 - x190 + 6.5 b490 <= 0 e700: x163 - x218 + 4.5 b491 <= 0 e701: x191 - x219 + 6 b492 <= 0 e702: - x24 + x52 + 6 b493 <= 0 e703: - x25 + x80 + 4 b494 <= 0 e704: - x26 + x108 + 3.5 b495 <= 0 e705: - x27 + x136 + 4.5 b496 <= 0 e706: - x28 + x164 + 5 b497 <= 0 e707: - x29 + x192 + 6.5 b498 <= 0 e708: - x30 + x220 + 4.5 b499 <= 0 e709: - x53 + x81 + 5 b500 <= 0 e710: - x54 + x109 + 4.5 b501 <= 0 e711: - x55 + x137 + 5.5 b502 <= 0 e712: - x56 + x165 + 6 b503 <= 0 e713: - x57 + x193 + 7.5 b504 <= 0 e714: - x58 + x221 + 5.5 b505 <= 0 e715: - x82 + x110 + 2.5 b506 <= 0 e716: - x83 + x138 + 3.5 b507 <= 0 e717: - x84 + x166 + 4 b508 <= 0 e718: - x85 + x194 + 5.5 b509 <= 0 e719: - x86 + x222 + 3.5 b510 <= 0 e720: - x111 + x139 + 3 b511 <= 0 e721: - x112 + x167 + 3.5 b512 <= 0 e722: - x113 + x195 + 5 b513 <= 0 e723: - x114 + x223 + 3 b514 <= 0 e724: - x140 + x168 + 4.5 b515 <= 0 e725: - x141 + x196 + 6 b516 <= 0 e726: - x142 + x224 + 4 b517 <= 0 e727: - x169 + x197 + 6.5 b518 <= 0 e728: - x170 + x225 + 4.5 b519 <= 0 e729: - x198 + x226 + 6 b520 <= 0 e730: x255 - x283 + 5.5 b521 <= 0 e731: x256 - x311 + 4.5 b522 <= 0 e732: x257 - x339 + 4.5 b523 <= 0 e733: x258 - x367 + 5 b524 <= 0 e734: x259 - x395 + 4 b525 <= 0 e735: x260 - x423 + 6 b526 <= 0 e736: x261 - x451 + 6 b527 <= 0 e737: x284 - x312 + 4 b528 <= 0 e738: x285 - x340 + 4 b529 <= 0 e739: x286 - x368 + 4.5 b530 <= 0 e740: x287 - x396 + 3.5 b531 <= 0 e741: x288 - x424 + 5.5 b532 <= 0 e742: x289 - x452 + 5.5 b533 <= 0 e743: x313 - x341 + 3 b534 <= 0 e744: x314 - x369 + 3.5 b535 <= 0 e745: x315 - x397 + 2.5 b536 <= 0 e746: x316 - x425 + 4.5 b537 <= 0 e747: x317 - x453 + 4.5 b538 <= 0 e748: x342 - x370 + 3.5 b539 <= 0 e749: x343 - x398 + 2.5 b540 <= 0 e750: x344 - x426 + 4.5 b541 <= 0 e751: x345 - x454 + 4.5 b542 <= 0 e752: x371 - x399 + 3 b543 <= 0 e753: x372 - x427 + 5 b544 <= 0 e754: x373 - x455 + 5 b545 <= 0 e755: x400 - x428 + 4 b546 <= 0 e756: x401 - x456 + 4 b547 <= 0 e757: x429 - x457 + 6 b548 <= 0 e758: - x262 + x290 + 5.5 b549 <= 0 e759: - x263 + x318 + 4.5 b550 <= 0 e760: - x264 + x346 + 4.5 b551 <= 0 e761: - x265 + x374 + 5 b552 <= 0 e762: - x266 + x402 + 4 b553 <= 0 e763: - x267 + x430 + 6 b554 <= 0 e764: - x268 + x458 + 6 b555 <= 0 e765: - x291 + x319 + 4 b556 <= 0 e766: - x292 + x347 + 4 b557 <= 0 e767: - x293 + x375 + 4.5 b558 <= 0 e768: - x294 + x403 + 3.5 b559 <= 0 e769: - x295 + x431 + 5.5 b560 <= 0 e770: - x296 + x459 + 5.5 b561 <= 0 e771: - x320 + x348 + 3 b562 <= 0 e772: - x321 + x376 + 3.5 b563 <= 0 e773: - x322 + x404 + 2.5 b564 <= 0 e774: - x323 + x432 + 4.5 b565 <= 0 e775: - x324 + x460 + 4.5 b566 <= 0 e776: - x349 + x377 + 3.5 b567 <= 0 e777: - x350 + x405 + 2.5 b568 <= 0 e778: - x351 + x433 + 4.5 b569 <= 0 e779: - x352 + x461 + 4.5 b570 <= 0 e780: - x378 + x406 + 3 b571 <= 0 e781: - x379 + x434 + 5 b572 <= 0 e782: - x380 + x462 + 5 b573 <= 0 e783: - x407 + x435 + 4 b574 <= 0 e784: - x408 + x463 + 4 b575 <= 0 e785: - x436 + x464 + 6 b576 <= 0 e786: b465 + b493 + b521 + b549 = 1 e787: b466 + b494 + b522 + b550 = 1 e788: b467 + b495 + b523 + b551 = 1 e789: b468 + b496 + b524 + b552 = 1 e790: b469 + b497 + b525 + b553 = 1 e791: b470 + b498 + b526 + b554 = 1 e792: b471 + b499 + b527 + b555 = 1 e793: b472 + b500 + b528 + b556 = 1 e794: b473 + b501 + b529 + b557 = 1 e795: b474 + b502 + b530 + b558 = 1 e796: b475 + b503 + b531 + b559 = 1 e797: b476 + b504 + b532 + b560 = 1 e798: b477 + b505 + b533 + b561 = 1 e799: b478 + b506 + b534 + b562 = 1 e800: b479 + b507 + b535 + b563 = 1 e801: b480 + b508 + b536 + b564 = 1 e802: b481 + b509 + b537 + b565 = 1 e803: b482 + b510 + b538 + b566 = 1 e804: b483 + b511 + b539 + b567 = 1 e805: b484 + b512 + b540 + b568 = 1 e806: b485 + b513 + b541 + b569 = 1 e807: b486 + b514 + b542 + b570 = 1 e808: b487 + b515 + b543 + b571 = 1 e809: b488 + b516 + b544 + b572 = 1 e810: b489 + b517 + b545 + b573 = 1 e811: b490 + b518 + b546 + b574 = 1 e812: b491 + b519 + b547 + b575 = 1 e813: b492 + b520 + b548 + b576 = 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 2 <= x8 <= 38 3 <= x9 <= 37 2.5 <= x10 <= 37.5 1.5 <= x11 <= 38.5 1.5 <= x12 <= 38.5 2 <= x13 <= 38 1 <= x14 <= 39 3 <= x15 <= 37 3 <= x16 <= 37 Binary b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 b505 b506 b507 b508 b509 b510 b511 b512 b513 b514 b515 b516 b517 b518 b519 b520 b521 b522 b523 b524 b525 b526 b527 b528 b529 b530 b531 b532 b533 b534 b535 b536 b537 b538 b539 b540 b541 b542 b543 b544 b545 b546 b547 b548 b549 b550 b551 b552 b553 b554 b555 b556 b557 b558 b559 b560 b561 b562 b563 b564 b565 b566 b567 b568 b569 b570 b571 b572 b573 b574 b575 b576 End