\ Equation counts \ Total E G L N X C B \ 1503 541 337 625 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 642 594 48 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 6334 5566 768 0 \ Maximize obj: 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 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 + .1 x266 + .6 x267 + .2 x268 + .5 x269 + .1 x270 + .6 x271 + .2 x272 + .5 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 + .1 x298 + .6 x299 + .2 x300 + .5 x301 + .1 x302 + .6 x303 + .2 x304 + .5 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 + .1 x330 + .6 x331 + .2 x332 + .5 x333 + .1 x334 + .6 x335 + .2 x336 + .5 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 + .1 x362 + .6 x363 + .2 x364 + .5 x365 + .1 x366 + .6 x367 + .2 x368 + .5 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 + .1 x394 + .6 x395 + .2 x396 + .5 x397 + .1 x398 + .6 x399 + .2 x400 + .5 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 + .1 x426 + .6 x427 + .2 x428 + .5 x429 + .1 x430 + .6 x431 + .2 x432 + .5 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 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 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 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 Subject To e2: b2 + b3 <= 1 e3: b2 + b4 <= 1 e4: b2 + b5 <= 1 e5: b3 + b6 <= 1 e6: b3 + b7 <= 1 e7: b4 + b8 <= 1 e8: b5 + b9 <= 1 e9: b6 + b8 <= 1 e10: b7 + b9 <= 1 e11: b8 + b9 <= 1 e12: b10 + b11 <= 1 e13: b10 + b12 <= 1 e14: b10 + b13 <= 1 e15: b11 + b14 <= 1 e16: b11 + b15 <= 1 e17: b12 + b16 <= 1 e18: b13 + b17 <= 1 e19: b14 + b16 <= 1 e20: b15 + b17 <= 1 e21: b16 + b17 <= 1 e22: b18 + b19 <= 1 e23: b18 + b20 <= 1 e24: b18 + b21 <= 1 e25: b19 + b22 <= 1 e26: b19 + b23 <= 1 e27: b20 + b24 <= 1 e28: b21 + b25 <= 1 e29: b22 + b24 <= 1 e30: b23 + b25 <= 1 e31: b24 + b25 <= 1 e32: b26 + b27 <= 1 e33: b26 + b28 <= 1 e34: b26 + b29 <= 1 e35: b27 + b30 <= 1 e36: b27 + b31 <= 1 e37: b28 + b32 <= 1 e38: b29 + b33 <= 1 e39: b30 + b32 <= 1 e40: b31 + b33 <= 1 e41: b32 + b33 <= 1 e42: b34 + b35 <= 1 e43: b34 + b36 <= 1 e44: b34 + b37 <= 1 e45: b35 + b38 <= 1 e46: b35 + b39 <= 1 e47: b36 + b40 <= 1 e48: b37 + b41 <= 1 e49: b38 + b40 <= 1 e50: b39 + b41 <= 1 e51: b40 + b41 <= 1 e52: b42 + b43 <= 1 e53: b42 + b44 <= 1 e54: b42 + b45 <= 1 e55: b43 + b46 <= 1 e56: b43 + b47 <= 1 e57: b44 + b48 <= 1 e58: b45 + b49 <= 1 e59: b46 + b48 <= 1 e60: b47 + b49 <= 1 e61: b48 + b49 <= 1 e62: b2 + b10 + b18 + b26 + b34 + b42 >= 1 e63: b3 + b11 + b19 + b27 + b35 + b43 >= 1 e64: b8 + b16 + b24 + b32 + b40 + b48 >= 1 e65: b9 + b17 + b25 + b33 + b41 + b49 >= 1 e66: b8 + b9 + b16 + b17 + b24 + b25 + b32 + b33 + b40 + b41 + b48 + b49 >= 3 e67: b2 + b10 + b18 + b26 + b34 + b42 <= 1 e68: b3 + b11 + b19 + b27 + b35 + b43 <= 1 e69: b8 + b16 + b24 + b32 + b40 + b48 <= 2 e70: b9 + b17 + b25 + b33 + b41 + b49 <= 2 e71: b8 + b9 + b16 + b17 + b24 + b25 + b32 + b33 + b40 + b41 + b48 + b49 <= 3 e72: b8 + b9 >= 1 e73: b8 + b9 <= 1 e74: - x51 - x59 - x67 - x75 - x83 - x91 + x146 + x154 + x162 + x170 + x178 + x186 <= 0 e75: - b3 >= 0 e76: b2 - b3 - b11 >= 0 e77: b2 - b3 + b10 - b11 - b19 >= 0 e78: b2 - b3 + b10 - b11 + b18 - b19 - b27 >= 0 e79: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 - b35 >= 0 e80: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 + b34 - b35 - b43 >= 0 e81: - x50 - x98 + x146 = 0 e82: - x51 - x99 + x147 = 0 e83: - x52 - x100 + x148 = 0 e84: - x53 - x101 + x149 = 0 e85: - x54 - x102 + x150 = 0 e86: - x55 - x103 + x151 = 0 e87: - x56 - x104 + x152 = 0 e88: - x57 - x105 + x153 = 0 e89: - x58 - x106 + x154 = 0 e90: - x59 - x107 + x155 = 0 e91: - x60 - x108 + x156 = 0 e92: - x61 - x109 + x157 = 0 e93: - x62 - x110 + x158 = 0 e94: - x63 - x111 + x159 = 0 e95: - x64 - x112 + x160 = 0 e96: - x65 - x113 + x161 = 0 e97: - x66 - x114 + x162 = 0 e98: - x67 - x115 + x163 = 0 e99: - x68 - x116 + x164 = 0 e100: - x69 - x117 + x165 = 0 e101: - x70 - x118 + x166 = 0 e102: - x71 - x119 + x167 = 0 e103: - x72 - x120 + x168 = 0 e104: - x73 - x121 + x169 = 0 e105: - x74 - x122 + x170 = 0 e106: - x75 - x123 + x171 = 0 e107: - x76 - x124 + x172 = 0 e108: - x77 - x125 + x173 = 0 e109: - x78 - x126 + x174 = 0 e110: - x79 - x127 + x175 = 0 e111: - x80 - x128 + x176 = 0 e112: - x81 - x129 + x177 = 0 e113: - x82 - x130 + x178 = 0 e114: - x83 - x131 + x179 = 0 e115: - x84 - x132 + x180 = 0 e116: - x85 - x133 + x181 = 0 e117: - x86 - x134 + x182 = 0 e118: - x87 - x135 + x183 = 0 e119: - x88 - x136 + x184 = 0 e120: - x89 - x137 + x185 = 0 e121: - x90 - x138 + x186 = 0 e122: - x91 - x139 + x187 = 0 e123: - x92 - x140 + x188 = 0 e124: - x93 - x141 + x189 = 0 e125: - x94 - x142 + x190 = 0 e126: - x95 - x143 + x191 = 0 e127: - x96 - x144 + x192 = 0 e128: - x97 - x145 + x193 = 0 e129: x50 >= 0 e130: - 4 b3 + x51 >= 0 e131: x52 >= 0 e132: x53 >= 0 e133: x54 >= 0 e134: x55 >= 0 e135: x56 >= 0 e136: x57 >= 0 e137: x58 >= 0 e138: - 4 b11 + x59 >= 0 e139: x60 >= 0 e140: x61 >= 0 e141: x62 >= 0 e142: x63 >= 0 e143: x64 >= 0 e144: x65 >= 0 e145: x66 >= 0 e146: - 4 b19 + x67 >= 0 e147: x68 >= 0 e148: x69 >= 0 e149: x70 >= 0 e150: x71 >= 0 e151: x72 >= 0 e152: x73 >= 0 e153: x74 >= 0 e154: - 4 b27 + x75 >= 0 e155: x76 >= 0 e156: x77 >= 0 e157: x78 >= 0 e158: x79 >= 0 e159: x80 >= 0 e160: x81 >= 0 e161: x82 >= 0 e162: - 4 b35 + x83 >= 0 e163: x84 >= 0 e164: x85 >= 0 e165: x86 >= 0 e166: x87 >= 0 e167: x88 >= 0 e168: x89 >= 0 e169: x90 >= 0 e170: - 4 b43 + x91 >= 0 e171: x92 >= 0 e172: x93 >= 0 e173: x94 >= 0 e174: x95 >= 0 e175: x96 >= 0 e176: x97 >= 0 e177: - 8 b2 + x146 <= 0 e178: - 8 b3 + x147 <= 0 e179: - 8 b4 + x148 <= 0 e180: - 8 b5 + x149 <= 0 e181: - 8 b6 + x150 <= 0 e182: - 8 b7 + x151 <= 0 e183: - 8 b8 + x152 <= 0 e184: - 8 b9 + x153 <= 0 e185: - 8 b10 + x154 <= 0 e186: - 8 b11 + x155 <= 0 e187: - 8 b12 + x156 <= 0 e188: - 8 b13 + x157 <= 0 e189: - 8 b14 + x158 <= 0 e190: - 8 b15 + x159 <= 0 e191: - 8 b16 + x160 <= 0 e192: - 8 b17 + x161 <= 0 e193: - 8 b18 + x162 <= 0 e194: - 8 b19 + x163 <= 0 e195: - 8 b20 + x164 <= 0 e196: - 8 b21 + x165 <= 0 e197: - 8 b22 + x166 <= 0 e198: - 8 b23 + x167 <= 0 e199: - 8 b24 + x168 <= 0 e200: - 8 b25 + x169 <= 0 e201: - 8 b26 + x170 <= 0 e202: - 8 b27 + x171 <= 0 e203: - 8 b28 + x172 <= 0 e204: - 8 b29 + x173 <= 0 e205: - 8 b30 + x174 <= 0 e206: - 8 b31 + x175 <= 0 e207: - 8 b32 + x176 <= 0 e208: - 8 b33 + x177 <= 0 e209: - 8 b34 + x178 <= 0 e210: - 8 b35 + x179 <= 0 e211: - 8 b36 + x180 <= 0 e212: - 8 b37 + x181 <= 0 e213: - 8 b38 + x182 <= 0 e214: - 8 b39 + x183 <= 0 e215: - 8 b40 + x184 <= 0 e216: - 8 b41 + x185 <= 0 e217: - 8 b42 + x186 <= 0 e218: - 8 b43 + x187 <= 0 e219: - 8 b44 + x188 <= 0 e220: - 8 b45 + x189 <= 0 e221: - 8 b46 + x190 <= 0 e222: - 8 b47 + x191 <= 0 e223: - 8 b48 + x192 <= 0 e224: - 8 b49 + x193 <= 0 e225: - 100 b2 + x194 >= 0 e226: - 100 b3 + x195 >= 0 e227: - 100 b10 + x202 >= 0 e228: - 100 b11 + x203 >= 0 e229: - 100 b18 + x210 >= 0 e230: - 100 b19 + x211 >= 0 e231: - 100 b26 + x218 >= 0 e232: - 100 b27 + x219 >= 0 e233: - 100 b34 + x226 >= 0 e234: - 100 b35 + x227 >= 0 e235: - 100 b42 + x234 >= 0 e236: - 100 b43 + x235 >= 0 e237: - 100 b2 + x194 <= 0 e238: - 100 b3 + x195 <= 0 e239: - 100 b4 + x196 <= 0 e240: - 100 b5 + x197 <= 0 e241: - 100 b6 + x198 <= 0 e242: - 100 b7 + x199 <= 0 e243: - 100 b8 + x200 <= 0 e244: - 100 b9 + x201 <= 0 e245: - 100 b10 + x202 <= 0 e246: - 100 b11 + x203 <= 0 e247: - 100 b12 + x204 <= 0 e248: - 100 b13 + x205 <= 0 e249: - 100 b14 + x206 <= 0 e250: - 100 b15 + x207 <= 0 e251: - 100 b16 + x208 <= 0 e252: - 100 b17 + x209 <= 0 e253: - 100 b18 + x210 <= 0 e254: - 100 b19 + x211 <= 0 e255: - 100 b20 + x212 <= 0 e256: - 100 b21 + x213 <= 0 e257: - 100 b22 + x214 <= 0 e258: - 100 b23 + x215 <= 0 e259: - 100 b24 + x216 <= 0 e260: - 100 b25 + x217 <= 0 e261: - 100 b26 + x218 <= 0 e262: - 100 b27 + x219 <= 0 e263: - 100 b28 + x220 <= 0 e264: - 100 b29 + x221 <= 0 e265: - 100 b30 + x222 <= 0 e266: - 100 b31 + x223 <= 0 e267: - 100 b32 + x224 <= 0 e268: - 100 b33 + x225 <= 0 e269: - 100 b34 + x226 <= 0 e270: - 100 b35 + x227 <= 0 e271: - 100 b36 + x228 <= 0 e272: - 100 b37 + x229 <= 0 e273: - 100 b38 + x230 <= 0 e274: - 100 b39 + x231 <= 0 e275: - 100 b40 + x232 <= 0 e276: - 100 b41 + x233 <= 0 e277: - 100 b42 + x234 <= 0 e278: - 100 b43 + x235 <= 0 e279: - 100 b44 + x236 <= 0 e280: - 100 b45 + x237 <= 0 e281: - 100 b46 + x238 <= 0 e282: - 100 b47 + x239 <= 0 e283: - 100 b48 + x240 <= 0 e284: - 100 b49 + x241 <= 0 e285: x194 - x242 - x243 - x244 - x245 = 0 e286: x195 - x246 - x247 - x248 - x249 = 0 e287: x196 - x250 - x251 - x252 - x253 = 0 e288: x197 - x254 - x255 - x256 - x257 = 0 e289: x198 - x258 - x259 - x260 - x261 = 0 e290: x199 - x262 - x263 - x264 - x265 = 0 e291: x200 - x266 - x267 - x268 - x269 = 0 e292: x201 - x270 - x271 - x272 - x273 = 0 e293: x202 - x274 - x275 - x276 - x277 = 0 e294: x203 - x278 - x279 - x280 - x281 = 0 e295: x204 - x282 - x283 - x284 - x285 = 0 e296: x205 - x286 - x287 - x288 - x289 = 0 e297: x206 - x290 - x291 - x292 - x293 = 0 e298: x207 - x294 - x295 - x296 - x297 = 0 e299: x208 - x298 - x299 - x300 - x301 = 0 e300: x209 - x302 - x303 - x304 - x305 = 0 e301: x210 - x306 - x307 - x308 - x309 = 0 e302: x211 - x310 - x311 - x312 - x313 = 0 e303: x212 - x314 - x315 - x316 - x317 = 0 e304: x213 - x318 - x319 - x320 - x321 = 0 e305: x214 - x322 - x323 - x324 - x325 = 0 e306: x215 - x326 - x327 - x328 - x329 = 0 e307: x216 - x330 - x331 - x332 - x333 = 0 e308: x217 - x334 - x335 - x336 - x337 = 0 e309: x218 - x338 - x339 - x340 - x341 = 0 e310: x219 - x342 - x343 - x344 - x345 = 0 e311: x220 - x346 - x347 - x348 - x349 = 0 e312: x221 - x350 - x351 - x352 - x353 = 0 e313: x222 - x354 - x355 - x356 - x357 = 0 e314: x223 - x358 - x359 - x360 - x361 = 0 e315: x224 - x362 - x363 - x364 - x365 = 0 e316: x225 - x366 - x367 - x368 - x369 = 0 e317: x226 - x370 - x371 - x372 - x373 = 0 e318: x227 - x374 - x375 - x376 - x377 = 0 e319: x228 - x378 - x379 - x380 - x381 = 0 e320: x229 - x382 - x383 - x384 - x385 = 0 e321: x230 - x386 - x387 - x388 - x389 = 0 e322: x231 - x390 - x391 - x392 - x393 = 0 e323: x232 - x394 - x395 - x396 - x397 = 0 e324: x233 - x398 - x399 - x400 - x401 = 0 e325: x234 - x402 - x403 - x404 - x405 = 0 e326: x235 - x406 - x407 - x408 - x409 = 0 e327: x236 - x410 - x411 - x412 - x413 = 0 e328: x237 - x414 - x415 - x416 - x417 = 0 e329: x238 - x418 - x419 - x420 - x421 = 0 e330: x239 - x422 - x423 - x424 - x425 = 0 e331: x240 - x426 - x427 - x428 - x429 = 0 e332: x241 - x430 - x431 - x432 - x433 = 0 e333: x434 <= 100 e334: x435 <= 100 e335: x436 <= 100 e336: x437 <= 100 e337: x438 <= 100 e338: x439 <= 100 e339: x441 <= 100 e340: x442 <= 100 e341: x443 <= 100 e342: x444 <= 100 e343: x445 <= 100 e344: x446 <= 100 e345: x448 <= 100 e346: x449 <= 100 e347: x450 <= 100 e348: x451 <= 100 e349: x452 <= 100 e350: x453 <= 100 e351: x455 <= 100 e352: x456 <= 100 e353: x457 <= 100 e354: x458 <= 100 e355: x459 <= 100 e356: x460 <= 100 e357: x462 <= 100 e358: x463 <= 100 e359: x464 <= 100 e360: x465 <= 100 e361: x466 <= 100 e362: x467 <= 100 e363: x469 <= 100 e364: x470 <= 100 e365: x471 <= 100 e366: x472 <= 100 e367: x473 <= 100 e368: x474 <= 100 e369: x476 >= 0 e370: x477 >= 0 e371: x478 >= 0 e372: x479 >= 0 e373: x480 >= 0 e374: x481 >= 0 e375: x482 >= 0 e376: x483 >= 0 e377: x484 >= 0 e378: x485 >= 0 e379: x486 >= 0 e380: x487 >= 0 e381: x488 >= 0 e382: x489 >= 0 e383: x490 >= 0 e384: x491 >= 0 e385: x492 >= 0 e386: x493 >= 0 e387: x494 >= 0 e388: x495 >= 0 e389: x496 >= 0 e390: x497 >= 0 e391: x498 >= 0 e392: x499 >= 0 e393: x500 >= 0 e394: x501 >= 0 e395: x502 >= 0 e396: x503 >= 0 e397: x504 >= 0 e398: x505 >= 0 e399: x506 >= 0 e400: x507 >= 0 e401: x508 >= 0 e402: x509 >= 0 e403: x510 >= 0 e404: x511 >= 0 e405: x512 >= 0 e406: x513 >= 0 e407: x514 >= 0 e408: x515 >= 0 e409: x516 >= 0 e410: x517 >= 0 e411: x518 >= 0 e412: x519 >= 0 e413: x520 >= 0 e414: x521 >= 0 e415: x522 >= 0 e416: x523 >= 0 e417: x524 >= 0 e418: x525 >= 0 e419: x526 >= 0 e420: x527 >= 0 e421: x528 >= 0 e422: x529 >= 0 e423: x530 >= 0 e424: x531 >= 0 e425: x532 >= 0 e426: x533 >= 0 e427: x534 >= 0 e428: x535 >= 0 e429: x536 >= 0 e430: x537 >= 0 e431: x538 >= 0 e432: x539 >= 0 e433: x540 >= 0 e434: x541 >= 0 e435: x542 >= 0 e436: x543 >= 0 e437: x544 >= 0 e438: x545 >= 0 e439: x546 >= 0 e440: x547 >= 0 e441: x548 >= 0 e442: x549 >= 0 e443: x550 >= 0 e444: x551 >= 0 e445: x552 >= 0 e446: x553 >= 0 e447: x554 >= 0 e448: x555 >= 0 e449: x556 >= 0 e450: x557 >= 0 e451: x558 >= 0 e452: x559 >= 0 e453: x560 >= 0 e454: x561 >= 0 e455: x562 >= 0 e456: x563 >= 0 e457: x564 >= 0 e458: x565 >= 0 e459: x566 >= 0 e460: x567 >= 0 e461: x568 >= 0 e462: x569 >= 0 e463: x570 >= 0 e464: x571 >= 0 e465: x572 >= 0 e466: x573 >= 0 e467: x574 >= 0 e468: x575 >= 0 e469: x576 >= 0 e470: x577 >= 0 e471: x578 >= 0 e472: x579 >= 0 e473: x580 >= 0 e474: x581 >= 0 e475: x582 >= 0 e476: x583 >= 0 e477: x584 >= 0 e478: x585 >= 0 e479: x586 >= 0 e480: x587 >= 0 e481: x588 >= 0 e482: x589 >= 0 e483: x590 >= 0 e484: x591 >= 0 e485: x592 >= 0 e486: x593 >= 0 e487: x594 >= 0 e488: x595 >= 0 e489: x596 >= 0 e490: x597 >= 0 e491: x598 >= 0 e492: x599 >= 0 e493: x600 >= 0 e494: x601 >= 0 e495: x602 >= 0 e496: x603 >= 0 e497: x604 >= 0 e498: x605 >= 0 e499: x606 >= 0 e500: x607 >= 0 e501: x608 >= 0 e502: x609 >= 0 e503: x610 >= 0 e504: x611 >= 0 e505: x612 >= 0 e506: x613 >= 0 e507: x614 >= 0 e508: x615 >= 0 e509: x616 >= 0 e510: x617 >= 0 e511: x618 >= 0 e512: x619 >= 0 e513: x620 >= 0 e514: x621 >= 0 e515: x622 >= 0 e516: x623 >= 0 e517: x624 >= 0 e518: x625 >= 0 e519: x626 >= 0 e520: x627 >= 0 e521: x628 >= 0 e522: x629 >= 0 e523: x630 >= 0 e524: x631 >= 0 e525: x632 >= 0 e526: x633 >= 0 e527: x634 >= 0 e528: x635 >= 0 e529: x636 >= 0 e530: x637 >= 0 e531: x638 >= 0 e532: x639 >= 0 e533: x640 >= 0 e534: x641 >= 0 e535: x642 >= 0 e536: x643 >= 0 e537: x476 <= 100 e538: x477 <= 100 e539: x478 <= 100 e540: x479 <= 100 e541: x480 <= 100 e542: x481 <= 100 e543: x482 <= 100 e544: x483 <= 100 e545: x484 <= 100 e546: x485 <= 100 e547: x486 <= 100 e548: x487 <= 100 e549: x488 <= 100 e550: x489 <= 100 e551: x490 <= 100 e552: x491 <= 100 e553: x492 <= 100 e554: x493 <= 100 e555: x494 <= 100 e556: x495 <= 100 e557: x496 <= 100 e558: x497 <= 100 e559: x498 <= 100 e560: x499 <= 100 e561: x504 <= 100 e562: x505 <= 100 e563: x506 <= 100 e564: x507 <= 100 e565: x508 <= 100 e566: x509 <= 100 e567: x510 <= 100 e568: x511 <= 100 e569: x512 <= 100 e570: x513 <= 100 e571: x514 <= 100 e572: x515 <= 100 e573: x516 <= 100 e574: x517 <= 100 e575: x518 <= 100 e576: x519 <= 100 e577: x520 <= 100 e578: x521 <= 100 e579: x522 <= 100 e580: x523 <= 100 e581: x524 <= 100 e582: x525 <= 100 e583: x526 <= 100 e584: x527 <= 100 e585: x532 <= 100 e586: x533 <= 100 e587: x534 <= 100 e588: x535 <= 100 e589: x536 <= 100 e590: x537 <= 100 e591: x538 <= 100 e592: x539 <= 100 e593: x540 <= 100 e594: x541 <= 100 e595: x542 <= 100 e596: x543 <= 100 e597: x544 <= 100 e598: x545 <= 100 e599: x546 <= 100 e600: x547 <= 100 e601: x548 <= 100 e602: x549 <= 100 e603: x550 <= 100 e604: x551 <= 100 e605: x552 <= 100 e606: x553 <= 100 e607: x554 <= 100 e608: x555 <= 100 e609: x560 <= 100 e610: x561 <= 100 e611: x562 <= 100 e612: x563 <= 100 e613: x564 <= 100 e614: x565 <= 100 e615: x566 <= 100 e616: x567 <= 100 e617: x568 <= 100 e618: x569 <= 100 e619: x570 <= 100 e620: x571 <= 100 e621: x572 <= 100 e622: x573 <= 100 e623: x574 <= 100 e624: x575 <= 100 e625: x576 <= 100 e626: x577 <= 100 e627: x578 <= 100 e628: x579 <= 100 e629: x580 <= 100 e630: x581 <= 100 e631: x582 <= 100 e632: x583 <= 100 e633: x588 <= 100 e634: x589 <= 100 e635: x590 <= 100 e636: x591 <= 100 e637: x592 <= 100 e638: x593 <= 100 e639: x594 <= 100 e640: x595 <= 100 e641: x596 <= 100 e642: x597 <= 100 e643: x598 <= 100 e644: x599 <= 100 e645: x600 <= 100 e646: x601 <= 100 e647: x602 <= 100 e648: x603 <= 100 e649: x604 <= 100 e650: x605 <= 100 e651: x606 <= 100 e652: x607 <= 100 e653: x608 <= 100 e654: x609 <= 100 e655: x610 <= 100 e656: x611 <= 100 e657: x616 <= 100 e658: x617 <= 100 e659: x618 <= 100 e660: x619 <= 100 e661: x620 <= 100 e662: x621 <= 100 e663: x622 <= 100 e664: x623 <= 100 e665: x624 <= 100 e666: x625 <= 100 e667: x626 <= 100 e668: x627 <= 100 e669: x628 <= 100 e670: x629 <= 100 e671: x630 <= 100 e672: x631 <= 100 e673: x632 <= 100 e674: x633 <= 100 e675: x634 <= 100 e676: x635 <= 100 e677: x636 <= 100 e678: x637 <= 100 e679: x638 <= 100 e680: x639 <= 100 e681: x434 - x476 - x477 - x478 - x479 = 0 e682: x435 - x480 - x481 - x482 - x483 = 0 e683: x436 - x484 - x485 - x486 - x487 = 0 e684: x437 - x488 - x489 - x490 - x491 = 0 e685: x438 - x492 - x493 - x494 - x495 = 0 e686: x439 - x496 - x497 - x498 - x499 = 0 e687: x440 - x500 - x501 - x502 - x503 = 0 e688: x441 - x504 - x505 - x506 - x507 = 0 e689: x442 - x508 - x509 - x510 - x511 = 0 e690: x443 - x512 - x513 - x514 - x515 = 0 e691: x444 - x516 - x517 - x518 - x519 = 0 e692: x445 - x520 - x521 - x522 - x523 = 0 e693: x446 - x524 - x525 - x526 - x527 = 0 e694: x447 - x528 - x529 - x530 - x531 = 0 e695: x448 - x532 - x533 - x534 - x535 = 0 e696: x449 - x536 - x537 - x538 - x539 = 0 e697: x450 - x540 - x541 - x542 - x543 = 0 e698: x451 - x544 - x545 - x546 - x547 = 0 e699: x452 - x548 - x549 - x550 - x551 = 0 e700: x453 - x552 - x553 - x554 - x555 = 0 e701: x454 - x556 - x557 - x558 - x559 = 0 e702: x455 - x560 - x561 - x562 - x563 = 0 e703: x456 - x564 - x565 - x566 - x567 = 0 e704: x457 - x568 - x569 - x570 - x571 = 0 e705: x458 - x572 - x573 - x574 - x575 = 0 e706: x459 - x576 - x577 - x578 - x579 = 0 e707: x460 - x580 - x581 - x582 - x583 = 0 e708: x461 - x584 - x585 - x586 - x587 = 0 e709: x462 - x588 - x589 - x590 - x591 = 0 e710: x463 - x592 - x593 - x594 - x595 = 0 e711: x464 - x596 - x597 - x598 - x599 = 0 e712: x465 - x600 - x601 - x602 - x603 = 0 e713: x466 - x604 - x605 - x606 - x607 = 0 e714: x467 - x608 - x609 - x610 - x611 = 0 e715: x468 - x612 - x613 - x614 - x615 = 0 e716: x469 - x616 - x617 - x618 - x619 = 0 e717: x470 - x620 - x621 - x622 - x623 = 0 e718: x471 - x624 - x625 - x626 - x627 = 0 e719: x472 - x628 - x629 - x630 - x631 = 0 e720: x473 - x632 - x633 - x634 - x635 = 0 e721: x474 - x636 - x637 - x638 - x639 = 0 e722: x475 - x640 - x641 - x642 - x643 = 0 e723: x434 = 100 e724: x435 = 100 e725: x436 = 25 e726: x437 = 75 e727: x438 = 50 e728: x439 = 50 e729: x440 = 0 e730: x194 + x441 = 100 e731: x195 + x442 = 100 e732: - x194 + x196 + x197 + x443 = 25 e733: - x195 + x198 + x199 + x444 = 75 e734: - x196 - x198 + x200 + x445 = 50 e735: - x197 - x199 + x201 + x446 = 50 e736: - x200 - x201 + x447 = 0 e737: x194 + x202 + x448 = 100 e738: x195 + x203 + x449 = 100 e739: - x194 + x196 + x197 - x202 + x204 + x205 + x450 = 25 e740: - x195 + x198 + x199 - x203 + x206 + x207 + x451 = 75 e741: - x196 - x198 + x200 - x204 - x206 + x208 + x452 = 50 e742: - x197 - x199 + x201 - x205 - x207 + x209 + x453 = 50 e743: - x200 - x201 - x208 - x209 + x454 = 0 e744: x194 + x202 + x210 + x455 = 100 e745: x195 + x203 + x211 + x456 = 100 e746: - x194 + x196 + x197 - x202 + x204 + x205 - x210 + x212 + x213 + x457 = 25 e747: - x195 + x198 + x199 - x203 + x206 + x207 - x211 + x214 + x215 + x458 = 75 e748: - x196 - x198 + x200 - x204 - x206 + x208 - x212 - x214 + x216 + x459 = 50 e749: - x197 - x199 + x201 - x205 - x207 + x209 - x213 - x215 + x217 + x460 = 50 e750: - x200 - x201 - x208 - x209 - x216 - x217 + x461 = 0 e751: x194 + x202 + x210 + x218 + x462 = 100 e752: x195 + x203 + x211 + x219 + x463 = 100 e753: - x194 + x196 + x197 - x202 + x204 + x205 - x210 + x212 + x213 - x218 + x220 + x221 + x464 = 25 e754: - x195 + x198 + x199 - x203 + x206 + x207 - x211 + x214 + x215 - x219 + x222 + x223 + x465 = 75 e755: - x196 - x198 + x200 - x204 - x206 + x208 - x212 - x214 + x216 - x220 - x222 + x224 + x466 = 50 e756: - x197 - x199 + x201 - x205 - x207 + x209 - x213 - x215 + x217 - x221 - x223 + x225 + x467 = 50 e757: - x200 - x201 - x208 - x209 - x216 - x217 - x224 - x225 + x468 = 0 e758: x194 + x202 + x210 + x218 + x226 + x469 = 100 e759: x195 + x203 + x211 + x219 + x227 + x470 = 100 e760: - x194 + x196 + x197 - x202 + x204 + x205 - x210 + x212 + x213 - x218 + x220 + x221 - x226 + x228 + x229 + x471 = 25 e761: - x195 + x198 + x199 - x203 + x206 + x207 - x211 + x214 + x215 - x219 + x222 + x223 - x227 + x230 + x231 + x472 = 75 e762: - x196 - x198 + x200 - x204 - x206 + x208 - x212 - x214 + x216 - x220 - x222 + x224 - x228 - x230 + x232 + x473 = 50 e763: - x197 - x199 + x201 - x205 - x207 + x209 - x213 - x215 + x217 - x221 - x223 + x225 - x229 - x231 + x233 + x474 = 50 e764: - x200 - x201 - x208 - x209 - x216 - x217 - x224 - x225 - x232 - x233 + x475 = 0 e765: x476 = 100 e766: x477 = 0 e767: x478 = 0 e768: x479 = 0 e769: x480 = 0 e770: x481 = 100 e771: x482 = 0 e772: x483 = 0 e773: x484 = 25 e774: x485 = 0 e775: x486 = 0 e776: x487 = 0 e777: x488 = 0 e778: x489 = 75 e779: x490 = 0 e780: x491 = 0 e781: x492 = 0 e782: x493 = 0 e783: x494 = 50 e784: x495 = 0 e785: x496 = 0 e786: x497 = 0 e787: x498 = 0 e788: x499 = 50 e789: x500 = 0 e790: x501 = 0 e791: x502 = 0 e792: x503 = 0 e793: x242 + x504 = 100 e794: x243 + x505 = 0 e795: x244 + x506 = 0 e796: x245 + x507 = 0 e797: x246 + x508 = 0 e798: x247 + x509 = 100 e799: x248 + x510 = 0 e800: x249 + x511 = 0 e801: - x242 + x250 + x254 + x512 = 25 e802: - x243 + x251 + x255 + x513 = 0 e803: - x244 + x252 + x256 + x514 = 0 e804: - x245 + x253 + x257 + x515 = 0 e805: - x246 + x258 + x262 + x516 = 0 e806: - x247 + x259 + x263 + x517 = 75 e807: - x248 + x260 + x264 + x518 = 0 e808: - x249 + x261 + x265 + x519 = 0 e809: - x250 - x258 + x266 + x520 = 0 e810: - x251 - x259 + x267 + x521 = 0 e811: - x252 - x260 + x268 + x522 = 50 e812: - x253 - x261 + x269 + x523 = 0 e813: - x254 - x262 + x270 + x524 = 0 e814: - x255 - x263 + x271 + x525 = 0 e815: - x256 - x264 + x272 + x526 = 0 e816: - x257 - x265 + x273 + x527 = 50 e817: - x266 - x270 + x528 = 0 e818: - x267 - x271 + x529 = 0 e819: - x268 - x272 + x530 = 0 e820: - x269 - x273 + x531 = 0 e821: x242 + x274 + x532 = 100 e822: x243 + x275 + x533 = 0 e823: x244 + x276 + x534 = 0 e824: x245 + x277 + x535 = 0 e825: x246 + x278 + x536 = 0 e826: x247 + x279 + x537 = 100 e827: x248 + x280 + x538 = 0 e828: x249 + x281 + x539 = 0 e829: - x242 + x250 + x254 - x274 + x282 + x286 + x540 = 25 e830: - x243 + x251 + x255 - x275 + x283 + x287 + x541 = 0 e831: - x244 + x252 + x256 - x276 + x284 + x288 + x542 = 0 e832: - x245 + x253 + x257 - x277 + x285 + x289 + x543 = 0 e833: - x246 + x258 + x262 - x278 + x290 + x294 + x544 = 0 e834: - x247 + x259 + x263 - x279 + x291 + x295 + x545 = 75 e835: - x248 + x260 + x264 - x280 + x292 + x296 + x546 = 0 e836: - x249 + x261 + x265 - x281 + x293 + x297 + x547 = 0 e837: - x250 - x258 + x266 - x282 - x290 + x298 + x548 = 0 e838: - x251 - x259 + x267 - x283 - x291 + x299 + x549 = 0 e839: - x252 - x260 + x268 - x284 - x292 + x300 + x550 = 50 e840: - x253 - x261 + x269 - x285 - x293 + x301 + x551 = 0 e841: - x254 - x262 + x270 - x286 - x294 + x302 + x552 = 0 e842: - x255 - x263 + x271 - x287 - x295 + x303 + x553 = 0 e843: - x256 - x264 + x272 - x288 - x296 + x304 + x554 = 0 e844: - x257 - x265 + x273 - x289 - x297 + x305 + x555 = 50 e845: - x266 - x270 - x298 - x302 + x556 = 0 e846: - x267 - x271 - x299 - x303 + x557 = 0 e847: - x268 - x272 - x300 - x304 + x558 = 0 e848: - x269 - x273 - x301 - x305 + x559 = 0 e849: x242 + x274 + x306 + x560 = 100 e850: x243 + x275 + x307 + x561 = 0 e851: x244 + x276 + x308 + x562 = 0 e852: x245 + x277 + x309 + x563 = 0 e853: x246 + x278 + x310 + x564 = 0 e854: x247 + x279 + x311 + x565 = 100 e855: x248 + x280 + x312 + x566 = 0 e856: x249 + x281 + x313 + x567 = 0 e857: - x242 + x250 + x254 - x274 + x282 + x286 - x306 + x314 + x318 + x568 = 25 e858: - x243 + x251 + x255 - x275 + x283 + x287 - x307 + x315 + x319 + x569 = 0 e859: - x244 + x252 + x256 - x276 + x284 + x288 - x308 + x316 + x320 + x570 = 0 e860: - x245 + x253 + x257 - x277 + x285 + x289 - x309 + x317 + x321 + x571 = 0 e861: - x246 + x258 + x262 - x278 + x290 + x294 - x310 + x322 + x326 + x572 = 0 e862: - x247 + x259 + x263 - x279 + x291 + x295 - x311 + x323 + x327 + x573 = 75 e863: - x248 + x260 + x264 - x280 + x292 + x296 - x312 + x324 + x328 + x574 = 0 e864: - x249 + x261 + x265 - x281 + x293 + x297 - x313 + x325 + x329 + x575 = 0 e865: - x250 - x258 + x266 - x282 - x290 + x298 - x314 - x322 + x330 + x576 = 0 e866: - x251 - x259 + x267 - x283 - x291 + x299 - x315 - x323 + x331 + x577 = 0 e867: - x252 - x260 + x268 - x284 - x292 + x300 - x316 - x324 + x332 + x578 = 50 e868: - x253 - x261 + x269 - x285 - x293 + x301 - x317 - x325 + x333 + x579 = 0 e869: - x254 - x262 + x270 - x286 - x294 + x302 - x318 - x326 + x334 + x580 = 0 e870: - x255 - x263 + x271 - x287 - x295 + x303 - x319 - x327 + x335 + x581 = 0 e871: - x256 - x264 + x272 - x288 - x296 + x304 - x320 - x328 + x336 + x582 = 0 e872: - x257 - x265 + x273 - x289 - x297 + x305 - x321 - x329 + x337 + x583 = 50 e873: - x266 - x270 - x298 - x302 - x330 - x334 + x584 = 0 e874: - x267 - x271 - x299 - x303 - x331 - x335 + x585 = 0 e875: - x268 - x272 - x300 - x304 - x332 - x336 + x586 = 0 e876: - x269 - x273 - x301 - x305 - x333 - x337 + x587 = 0 e877: x242 + x274 + x306 + x338 + x588 = 100 e878: x243 + x275 + x307 + x339 + x589 = 0 e879: x244 + x276 + x308 + x340 + x590 = 0 e880: x245 + x277 + x309 + x341 + x591 = 0 e881: x246 + x278 + x310 + x342 + x592 = 0 e882: x247 + x279 + x311 + x343 + x593 = 100 e883: x248 + x280 + x312 + x344 + x594 = 0 e884: x249 + x281 + x313 + x345 + x595 = 0 e885: - x242 + x250 + x254 - x274 + x282 + x286 - x306 + x314 + x318 - x338 + x346 + x350 + x596 = 25 e886: - x243 + x251 + x255 - x275 + x283 + x287 - x307 + x315 + x319 - x339 + x347 + x351 + x597 = 0 e887: - x244 + x252 + x256 - x276 + x284 + x288 - x308 + x316 + x320 - x340 + x348 + x352 + x598 = 0 e888: - x245 + x253 + x257 - x277 + x285 + x289 - x309 + x317 + x321 - x341 + x349 + x353 + x599 = 0 e889: - x246 + x258 + x262 - x278 + x290 + x294 - x310 + x322 + x326 - x342 + x354 + x358 + x600 = 0 e890: - x247 + x259 + x263 - x279 + x291 + x295 - x311 + x323 + x327 - x343 + x355 + x359 + x601 = 75 e891: - x248 + x260 + x264 - x280 + x292 + x296 - x312 + x324 + x328 - x344 + x356 + x360 + x602 = 0 e892: - x249 + x261 + x265 - x281 + x293 + x297 - x313 + x325 + x329 - x345 + x357 + x361 + x603 = 0 e893: - x250 - x258 + x266 - x282 - x290 + x298 - x314 - x322 + x330 - x346 - x354 + x362 + x604 = 0 e894: - x251 - x259 + x267 - x283 - x291 + x299 - x315 - x323 + x331 - x347 - x355 + x363 + x605 = 0 e895: - x252 - x260 + x268 - x284 - x292 + x300 - x316 - x324 + x332 - x348 - x356 + x364 + x606 = 50 e896: - x253 - x261 + x269 - x285 - x293 + x301 - x317 - x325 + x333 - x349 - x357 + x365 + x607 = 0 e897: - x254 - x262 + x270 - x286 - x294 + x302 - x318 - x326 + x334 - x350 - x358 + x366 + x608 = 0 e898: - x255 - x263 + x271 - x287 - x295 + x303 - x319 - x327 + x335 - x351 - x359 + x367 + x609 = 0 e899: - x256 - x264 + x272 - x288 - x296 + x304 - x320 - x328 + x336 - x352 - x360 + x368 + x610 = 0 e900: - x257 - x265 + x273 - x289 - x297 + x305 - x321 - x329 + x337 - x353 - x361 + x369 + x611 = 50 e901: - x266 - x270 - x298 - x302 - x330 - x334 - x362 - x366 + x612 = 0 e902: - x267 - x271 - x299 - x303 - x331 - x335 - x363 - x367 + x613 = 0 e903: - x268 - x272 - x300 - x304 - x332 - x336 - x364 - x368 + x614 = 0 e904: - x269 - x273 - x301 - x305 - x333 - x337 - x365 - x369 + x615 = 0 e905: x242 + x274 + x306 + x338 + x370 + x616 = 100 e906: x243 + x275 + x307 + x339 + x371 + x617 = 0 e907: x244 + x276 + x308 + x340 + x372 + x618 = 0 e908: x245 + x277 + x309 + x341 + x373 + x619 = 0 e909: x246 + x278 + x310 + x342 + x374 + x620 = 0 e910: x247 + x279 + x311 + x343 + x375 + x621 = 100 e911: x248 + x280 + x312 + x344 + x376 + x622 = 0 e912: x249 + x281 + x313 + x345 + x377 + x623 = 0 e913: - x242 + x250 + x254 - x274 + x282 + x286 - x306 + x314 + x318 - x338 + x346 + x350 - x370 + x378 + x382 + x624 = 25 e914: - x243 + x251 + x255 - x275 + x283 + x287 - x307 + x315 + x319 - x339 + x347 + x351 - x371 + x379 + x383 + x625 = 0 e915: - x244 + x252 + x256 - x276 + x284 + x288 - x308 + x316 + x320 - x340 + x348 + x352 - x372 + x380 + x384 + x626 = 0 e916: - x245 + x253 + x257 - x277 + x285 + x289 - x309 + x317 + x321 - x341 + x349 + x353 - x373 + x381 + x385 + x627 = 0 e917: - x246 + x258 + x262 - x278 + x290 + x294 - x310 + x322 + x326 - x342 + x354 + x358 - x374 + x386 + x390 + x628 = 0 e918: - x247 + x259 + x263 - x279 + x291 + x295 - x311 + x323 + x327 - x343 + x355 + x359 - x375 + x387 + x391 + x629 = 75 e919: - x248 + x260 + x264 - x280 + x292 + x296 - x312 + x324 + x328 - x344 + x356 + x360 - x376 + x388 + x392 + x630 = 0 e920: - x249 + x261 + x265 - x281 + x293 + x297 - x313 + x325 + x329 - x345 + x357 + x361 - x377 + x389 + x393 + x631 = 0 e921: - x250 - x258 + x266 - x282 - x290 + x298 - x314 - x322 + x330 - x346 - x354 + x362 - x378 - x386 + x394 + x632 = 0 e922: - x251 - x259 + x267 - x283 - x291 + x299 - x315 - x323 + x331 - x347 - x355 + x363 - x379 - x387 + x395 + x633 = 0 e923: - x252 - x260 + x268 - x284 - x292 + x300 - x316 - x324 + x332 - x348 - x356 + x364 - x380 - x388 + x396 + x634 = 50 e924: - x253 - x261 + x269 - x285 - x293 + x301 - x317 - x325 + x333 - x349 - x357 + x365 - x381 - x389 + x397 + x635 = 0 e925: - x254 - x262 + x270 - x286 - x294 + x302 - x318 - x326 + x334 - x350 - x358 + x366 - x382 - x390 + x398 + x636 = 0 e926: - x255 - x263 + x271 - x287 - x295 + x303 - x319 - x327 + x335 - x351 - x359 + x367 - x383 - x391 + x399 + x637 = 0 e927: - x256 - x264 + x272 - x288 - x296 + x304 - x320 - x328 + x336 - x352 - x360 + x368 - x384 - x392 + x400 + x638 = 0 e928: - x257 - x265 + x273 - x289 - x297 + x305 - x321 - x329 + x337 - x353 - x361 + x369 - x385 - x393 + x401 + x639 = 50 e929: - x266 - x270 - x298 - x302 - x330 - x334 - x362 - x366 - x394 - x398 + x640 = 0 e930: - x267 - x271 - x299 - x303 - x331 - x335 - x363 - x367 - x395 - x399 + x641 = 0 e931: - x268 - x272 - x300 - x304 - x332 - x336 - x364 - x368 - x396 - x400 + x642 = 0 e932: - x269 - x273 - x301 - x305 - x333 - x337 - x365 - x369 - x397 - x401 + x643 = 0 e933: [ x194 * x476 - x242 * x434 ] = 0 e934: [ x194 * x477 - x243 * x434 ] = 0 e935: [ x194 * x478 - x244 * x434 ] = 0 e936: [ x194 * x479 - x245 * x434 ] = 0 e937: [ x195 * x480 - x246 * x435 ] = 0 e938: [ x195 * x481 - x247 * x435 ] = 0 e939: [ x195 * x482 - x248 * x435 ] = 0 e940: [ x195 * x483 - x249 * x435 ] = 0 e941: [ x196 * x484 - x250 * x436 ] = 0 e942: [ x196 * x485 - x251 * x436 ] = 0 e943: [ x196 * x486 - x252 * x436 ] = 0 e944: [ x196 * x487 - x253 * x436 ] = 0 e945: [ x197 * x484 - x254 * x436 ] = 0 e946: [ x197 * x485 - x255 * x436 ] = 0 e947: [ x197 * x486 - x256 * x436 ] = 0 e948: [ x197 * x487 - x257 * x436 ] = 0 e949: [ x198 * x488 - x258 * x437 ] = 0 e950: [ x198 * x489 - x259 * x437 ] = 0 e951: [ x198 * x490 - x260 * x437 ] = 0 e952: [ x198 * x491 - x261 * x437 ] = 0 e953: [ x199 * x488 - x262 * x437 ] = 0 e954: [ x199 * x489 - x263 * x437 ] = 0 e955: [ x199 * x490 - x264 * x437 ] = 0 e956: [ x199 * x491 - x265 * x437 ] = 0 e957: [ x200 * x492 - x266 * x438 ] = 0 e958: [ x200 * x493 - x267 * x438 ] = 0 e959: [ x200 * x494 - x268 * x438 ] = 0 e960: [ x200 * x495 - x269 * x438 ] = 0 e961: [ x201 * x496 - x270 * x439 ] = 0 e962: [ x201 * x497 - x271 * x439 ] = 0 e963: [ x201 * x498 - x272 * x439 ] = 0 e964: [ x201 * x499 - x273 * x439 ] = 0 e965: [ x202 * x504 - x274 * x441 ] = 0 e966: [ x202 * x505 - x275 * x441 ] = 0 e967: [ x202 * x506 - x276 * x441 ] = 0 e968: [ x202 * x507 - x277 * x441 ] = 0 e969: [ x203 * x508 - x278 * x442 ] = 0 e970: [ x203 * x509 - x279 * x442 ] = 0 e971: [ x203 * x510 - x280 * x442 ] = 0 e972: [ x203 * x511 - x281 * x442 ] = 0 e973: [ x204 * x512 - x282 * x443 ] = 0 e974: [ x204 * x513 - x283 * x443 ] = 0 e975: [ x204 * x514 - x284 * x443 ] = 0 e976: [ x204 * x515 - x285 * x443 ] = 0 e977: [ x205 * x512 - x286 * x443 ] = 0 e978: [ x205 * x513 - x287 * x443 ] = 0 e979: [ x205 * x514 - x288 * x443 ] = 0 e980: [ x205 * x515 - x289 * x443 ] = 0 e981: [ x206 * x516 - x290 * x444 ] = 0 e982: [ x206 * x517 - x291 * x444 ] = 0 e983: [ x206 * x518 - x292 * x444 ] = 0 e984: [ x206 * x519 - x293 * x444 ] = 0 e985: [ x207 * x516 - x294 * x444 ] = 0 e986: [ x207 * x517 - x295 * x444 ] = 0 e987: [ x207 * x518 - x296 * x444 ] = 0 e988: [ x207 * x519 - x297 * x444 ] = 0 e989: [ x208 * x520 - x298 * x445 ] = 0 e990: [ x208 * x521 - x299 * x445 ] = 0 e991: [ x208 * x522 - x300 * x445 ] = 0 e992: [ x208 * x523 - x301 * x445 ] = 0 e993: [ x209 * x524 - x302 * x446 ] = 0 e994: [ x209 * x525 - x303 * x446 ] = 0 e995: [ x209 * x526 - x304 * x446 ] = 0 e996: [ x209 * x527 - x305 * x446 ] = 0 e997: [ x210 * x532 - x306 * x448 ] = 0 e998: [ x210 * x533 - x307 * x448 ] = 0 e999: [ x210 * x534 - x308 * x448 ] = 0 e1000: [ x210 * x535 - x309 * x448 ] = 0 e1001: [ x211 * x536 - x310 * x449 ] = 0 e1002: [ x211 * x537 - x311 * x449 ] = 0 e1003: [ x211 * x538 - x312 * x449 ] = 0 e1004: [ x211 * x539 - x313 * x449 ] = 0 e1005: [ x212 * x540 - x314 * x450 ] = 0 e1006: [ x212 * x541 - x315 * x450 ] = 0 e1007: [ x212 * x542 - x316 * x450 ] = 0 e1008: [ x212 * x543 - x317 * x450 ] = 0 e1009: [ x213 * x540 - x318 * x450 ] = 0 e1010: [ x213 * x541 - x319 * x450 ] = 0 e1011: [ x213 * x542 - x320 * x450 ] = 0 e1012: [ x213 * x543 - x321 * x450 ] = 0 e1013: [ x214 * x544 - x322 * x451 ] = 0 e1014: [ x214 * x545 - x323 * x451 ] = 0 e1015: [ x214 * x546 - x324 * x451 ] = 0 e1016: [ x214 * x547 - x325 * x451 ] = 0 e1017: [ x215 * x544 - x326 * x451 ] = 0 e1018: [ x215 * x545 - x327 * x451 ] = 0 e1019: [ x215 * x546 - x328 * x451 ] = 0 e1020: [ x215 * x547 - x329 * x451 ] = 0 e1021: [ x216 * x548 - x330 * x452 ] = 0 e1022: [ x216 * x549 - x331 * x452 ] = 0 e1023: [ x216 * x550 - x332 * x452 ] = 0 e1024: [ x216 * x551 - x333 * x452 ] = 0 e1025: [ x217 * x552 - x334 * x453 ] = 0 e1026: [ x217 * x553 - x335 * x453 ] = 0 e1027: [ x217 * x554 - x336 * x453 ] = 0 e1028: [ x217 * x555 - x337 * x453 ] = 0 e1029: [ x218 * x560 - x338 * x455 ] = 0 e1030: [ x218 * x561 - x339 * x455 ] = 0 e1031: [ x218 * x562 - x340 * x455 ] = 0 e1032: [ x218 * x563 - x341 * x455 ] = 0 e1033: [ x219 * x564 - x342 * x456 ] = 0 e1034: [ x219 * x565 - x343 * x456 ] = 0 e1035: [ x219 * x566 - x344 * x456 ] = 0 e1036: [ x219 * x567 - x345 * x456 ] = 0 e1037: [ x220 * x568 - x346 * x457 ] = 0 e1038: [ x220 * x569 - x347 * x457 ] = 0 e1039: [ x220 * x570 - x348 * x457 ] = 0 e1040: [ x220 * x571 - x349 * x457 ] = 0 e1041: [ x221 * x568 - x350 * x457 ] = 0 e1042: [ x221 * x569 - x351 * x457 ] = 0 e1043: [ x221 * x570 - x352 * x457 ] = 0 e1044: [ x221 * x571 - x353 * x457 ] = 0 e1045: [ x222 * x572 - x354 * x458 ] = 0 e1046: [ x222 * x573 - x355 * x458 ] = 0 e1047: [ x222 * x574 - x356 * x458 ] = 0 e1048: [ x222 * x575 - x357 * x458 ] = 0 e1049: [ x223 * x572 - x358 * x458 ] = 0 e1050: [ x223 * x573 - x359 * x458 ] = 0 e1051: [ x223 * x574 - x360 * x458 ] = 0 e1052: [ x223 * x575 - x361 * x458 ] = 0 e1053: [ x224 * x576 - x362 * x459 ] = 0 e1054: [ x224 * x577 - x363 * x459 ] = 0 e1055: [ x224 * x578 - x364 * x459 ] = 0 e1056: [ x224 * x579 - x365 * x459 ] = 0 e1057: [ x225 * x580 - x366 * x460 ] = 0 e1058: [ x225 * x581 - x367 * x460 ] = 0 e1059: [ x225 * x582 - x368 * x460 ] = 0 e1060: [ x225 * x583 - x369 * x460 ] = 0 e1061: [ x226 * x588 - x370 * x462 ] = 0 e1062: [ x226 * x589 - x371 * x462 ] = 0 e1063: [ x226 * x590 - x372 * x462 ] = 0 e1064: [ x226 * x591 - x373 * x462 ] = 0 e1065: [ x227 * x592 - x374 * x463 ] = 0 e1066: [ x227 * x593 - x375 * x463 ] = 0 e1067: [ x227 * x594 - x376 * x463 ] = 0 e1068: [ x227 * x595 - x377 * x463 ] = 0 e1069: [ x228 * x596 - x378 * x464 ] = 0 e1070: [ x228 * x597 - x379 * x464 ] = 0 e1071: [ x228 * x598 - x380 * x464 ] = 0 e1072: [ x228 * x599 - x381 * x464 ] = 0 e1073: [ x229 * x596 - x382 * x464 ] = 0 e1074: [ x229 * x597 - x383 * x464 ] = 0 e1075: [ x229 * x598 - x384 * x464 ] = 0 e1076: [ x229 * x599 - x385 * x464 ] = 0 e1077: [ x230 * x600 - x386 * x465 ] = 0 e1078: [ x230 * x601 - x387 * x465 ] = 0 e1079: [ x230 * x602 - x388 * x465 ] = 0 e1080: [ x230 * x603 - x389 * x465 ] = 0 e1081: [ x231 * x600 - x390 * x465 ] = 0 e1082: [ x231 * x601 - x391 * x465 ] = 0 e1083: [ x231 * x602 - x392 * x465 ] = 0 e1084: [ x231 * x603 - x393 * x465 ] = 0 e1085: [ x232 * x604 - x394 * x466 ] = 0 e1086: [ x232 * x605 - x395 * x466 ] = 0 e1087: [ x232 * x606 - x396 * x466 ] = 0 e1088: [ x232 * x607 - x397 * x466 ] = 0 e1089: [ x233 * x608 - x398 * x467 ] = 0 e1090: [ x233 * x609 - x399 * x467 ] = 0 e1091: [ x233 * x610 - x400 * x467 ] = 0 e1092: [ x233 * x611 - x401 * x467 ] = 0 e1093: [ x234 * x616 - x402 * x469 ] = 0 e1094: [ x234 * x617 - x403 * x469 ] = 0 e1095: [ x234 * x618 - x404 * x469 ] = 0 e1096: [ x234 * x619 - x405 * x469 ] = 0 e1097: [ x235 * x620 - x406 * x470 ] = 0 e1098: [ x235 * x621 - x407 * x470 ] = 0 e1099: [ x235 * x622 - x408 * x470 ] = 0 e1100: [ x235 * x623 - x409 * x470 ] = 0 e1101: [ x236 * x624 - x410 * x471 ] = 0 e1102: [ x236 * x625 - x411 * x471 ] = 0 e1103: [ x236 * x626 - x412 * x471 ] = 0 e1104: [ x236 * x627 - x413 * x471 ] = 0 e1105: [ x237 * x624 - x414 * x471 ] = 0 e1106: [ x237 * x625 - x415 * x471 ] = 0 e1107: [ x237 * x626 - x416 * x471 ] = 0 e1108: [ x237 * x627 - x417 * x471 ] = 0 e1109: [ x238 * x628 - x418 * x472 ] = 0 e1110: [ x238 * x629 - x419 * x472 ] = 0 e1111: [ x238 * x630 - x420 * x472 ] = 0 e1112: [ x238 * x631 - x421 * x472 ] = 0 e1113: [ x239 * x628 - x422 * x472 ] = 0 e1114: [ x239 * x629 - x423 * x472 ] = 0 e1115: [ x239 * x630 - x424 * x472 ] = 0 e1116: [ x239 * x631 - x425 * x472 ] = 0 e1117: [ x240 * x632 - x426 * x473 ] = 0 e1118: [ x240 * x633 - x427 * x473 ] = 0 e1119: [ x240 * x634 - x428 * x473 ] = 0 e1120: [ x240 * x635 - x429 * x473 ] = 0 e1121: [ x241 * x636 - x430 * x474 ] = 0 e1122: [ x241 * x637 - x431 * x474 ] = 0 e1123: [ x241 * x638 - x432 * x474 ] = 0 e1124: [ x241 * x639 - x433 * x474 ] = 0 e1125: x194 >= 0 e1126: x195 >= 0 e1127: x196 >= 0 e1128: x197 >= 0 e1129: x198 >= 0 e1130: x199 >= 0 e1131: - 5 x104 + x200 >= 0 e1132: - 5 x105 + x201 >= 0 e1133: x202 >= 0 e1134: x203 >= 0 e1135: x204 >= 0 e1136: x205 >= 0 e1137: x206 >= 0 e1138: x207 >= 0 e1139: - 5 x112 + x208 >= 0 e1140: - 5 x113 + x209 >= 0 e1141: x210 >= 0 e1142: x211 >= 0 e1143: x212 >= 0 e1144: x213 >= 0 e1145: x214 >= 0 e1146: x215 >= 0 e1147: - 5 x120 + x216 >= 0 e1148: - 5 x121 + x217 >= 0 e1149: x218 >= 0 e1150: x219 >= 0 e1151: x220 >= 0 e1152: x221 >= 0 e1153: x222 >= 0 e1154: x223 >= 0 e1155: - 5 x128 + x224 >= 0 e1156: - 5 x129 + x225 >= 0 e1157: x226 >= 0 e1158: x227 >= 0 e1159: x228 >= 0 e1160: x229 >= 0 e1161: x230 >= 0 e1162: x231 >= 0 e1163: - 5 x136 + x232 >= 0 e1164: - 5 x137 + x233 >= 0 e1165: x234 >= 0 e1166: x235 >= 0 e1167: x236 >= 0 e1168: x237 >= 0 e1169: x238 >= 0 e1170: x239 >= 0 e1171: - 5 x144 + x240 >= 0 e1172: - 5 x145 + x241 >= 0 e1173: - 50 x98 + x194 <= 0 e1174: - 50 x99 + x195 <= 0 e1175: - 50 x100 + x196 <= 0 e1176: - 50 x101 + x197 <= 0 e1177: - 50 x102 + x198 <= 0 e1178: - 50 x103 + x199 <= 0 e1179: - 50 x104 + x200 <= 0 e1180: - 50 x105 + x201 <= 0 e1181: - 50 x106 + x202 <= 0 e1182: - 50 x107 + x203 <= 0 e1183: - 50 x108 + x204 <= 0 e1184: - 50 x109 + x205 <= 0 e1185: - 50 x110 + x206 <= 0 e1186: - 50 x111 + x207 <= 0 e1187: - 50 x112 + x208 <= 0 e1188: - 50 x113 + x209 <= 0 e1189: - 50 x114 + x210 <= 0 e1190: - 50 x115 + x211 <= 0 e1191: - 50 x116 + x212 <= 0 e1192: - 50 x117 + x213 <= 0 e1193: - 50 x118 + x214 <= 0 e1194: - 50 x119 + x215 <= 0 e1195: - 50 x120 + x216 <= 0 e1196: - 50 x121 + x217 <= 0 e1197: - 50 x122 + x218 <= 0 e1198: - 50 x123 + x219 <= 0 e1199: - 50 x124 + x220 <= 0 e1200: - 50 x125 + x221 <= 0 e1201: - 50 x126 + x222 <= 0 e1202: - 50 x127 + x223 <= 0 e1203: - 50 x128 + x224 <= 0 e1204: - 50 x129 + x225 <= 0 e1205: - 50 x130 + x226 <= 0 e1206: - 50 x131 + x227 <= 0 e1207: - 50 x132 + x228 <= 0 e1208: - 50 x133 + x229 <= 0 e1209: - 50 x134 + x230 <= 0 e1210: - 50 x135 + x231 <= 0 e1211: - 50 x136 + x232 <= 0 e1212: - 50 x137 + x233 <= 0 e1213: - 50 x138 + x234 <= 0 e1214: - 50 x139 + x235 <= 0 e1215: - 50 x140 + x236 <= 0 e1216: - 50 x141 + x237 <= 0 e1217: - 50 x142 + x238 <= 0 e1218: - 50 x143 + x239 <= 0 e1219: - 50 x144 + x240 <= 0 e1220: - 50 x145 + x241 <= 0 e1221: x104 + x105 + x112 + x113 + x120 + x121 + x128 + x129 + x136 + x137 + x144 + x145 = 8 e1222: x200 + x208 + x216 + x224 + x232 + x240 >= 100 e1223: x201 + x209 + x217 + x225 + x233 + x241 >= 100 e1224: x200 + x208 + x216 + x224 + x232 + x240 <= 100 e1225: x201 + x209 + x217 + x225 + x233 + x241 <= 100 e1226: - .15 x200 + .1 x266 + .6 x267 + .2 x268 + .5 x269 >= 0 e1227: - .45 x201 + .1 x270 + .6 x271 + .2 x272 + .5 x273 >= 0 e1228: - .15 x208 + .1 x298 + .6 x299 + .2 x300 + .5 x301 >= 0 e1229: - .45 x209 + .1 x302 + .6 x303 + .2 x304 + .5 x305 >= 0 e1230: - .15 x216 + .1 x330 + .6 x331 + .2 x332 + .5 x333 >= 0 e1231: - .45 x217 + .1 x334 + .6 x335 + .2 x336 + .5 x337 >= 0 e1232: - .15 x224 + .1 x362 + .6 x363 + .2 x364 + .5 x365 >= 0 e1233: - .45 x225 + .1 x366 + .6 x367 + .2 x368 + .5 x369 >= 0 e1234: - .15 x232 + .1 x394 + .6 x395 + .2 x396 + .5 x397 >= 0 e1235: - .45 x233 + .1 x398 + .6 x399 + .2 x400 + .5 x401 >= 0 e1236: - .15 x240 + .1 x426 + .6 x427 + .2 x428 + .5 x429 >= 0 e1237: - .45 x241 + .1 x430 + .6 x431 + .2 x432 + .5 x433 >= 0 e1238: - .25 x200 + .1 x266 + .6 x267 + .2 x268 + .5 x269 <= 0 e1239: - .55 x201 + .1 x270 + .6 x271 + .2 x272 + .5 x273 <= 0 e1240: - .25 x208 + .1 x298 + .6 x299 + .2 x300 + .5 x301 <= 0 e1241: - .55 x209 + .1 x302 + .6 x303 + .2 x304 + .5 x305 <= 0 e1242: - .25 x216 + .1 x330 + .6 x331 + .2 x332 + .5 x333 <= 0 e1243: - .55 x217 + .1 x334 + .6 x335 + .2 x336 + .5 x337 <= 0 e1244: - .25 x224 + .1 x362 + .6 x363 + .2 x364 + .5 x365 <= 0 e1245: - .55 x225 + .1 x366 + .6 x367 + .2 x368 + .5 x369 <= 0 e1246: - .25 x232 + .1 x394 + .6 x395 + .2 x396 + .5 x397 <= 0 e1247: - .55 x233 + .1 x398 + .6 x399 + .2 x400 + .5 x401 <= 0 e1248: - .25 x240 + .1 x426 + .6 x427 + .2 x428 + .5 x429 <= 0 e1249: - .55 x241 + .1 x430 + .6 x431 + .2 x432 + .5 x433 <= 0 e1250: - x194 - x202 - x210 - x218 - x226 - x234 >= -100 e1251: - x195 - x203 - x211 - x219 - x227 - x235 >= -100 e1252: x194 - x196 - x197 + x202 - x204 - x205 + x210 - x212 - x213 + x218 - x220 - x221 + x226 - x228 - x229 + x234 - x236 - x237 >= -25 e1253: x195 - x198 - x199 + x203 - x206 - x207 + x211 - x214 - x215 + x219 - x222 - x223 + x227 - x230 - x231 + x235 - x238 - x239 >= -75 e1254: x196 + x198 - x200 + x204 + x206 - x208 + x212 + x214 - x216 + x220 + x222 - x224 + x228 + x230 - x232 + x236 + x238 - x240 >= -50 e1255: x197 + x199 - x201 + x205 + x207 - x209 + x213 + x215 - x217 + x221 + x223 - x225 + x229 + x231 - x233 + x237 + x239 - x241 >= -50 e1256: x200 + x201 + x208 + x209 + x216 + x217 + x224 + x225 + x232 + x233 + x240 + x241 >= 0 e1257: - x194 - x202 - x210 - x218 - x226 - x234 <= 0 e1258: - x195 - x203 - x211 - x219 - x227 - x235 <= 0 e1259: x194 - x196 - x197 + x202 - x204 - x205 + x210 - x212 - x213 + x218 - x220 - x221 + x226 - x228 - x229 + x234 - x236 - x237 <= 75 e1260: x195 - x198 - x199 + x203 - x206 - x207 + x211 - x214 - x215 + x219 - x222 - x223 + x227 - x230 - x231 + x235 - x238 - x239 <= 25 e1261: x196 + x198 - x200 + x204 + x206 - x208 + x212 + x214 - x216 + x220 + x222 - x224 + x228 + x230 - x232 + x236 + x238 - x240 <= 50 e1262: x197 + x199 - x201 + x205 + x207 - x209 + x213 + x215 - x217 + x221 + x223 - x225 + x229 + x231 - x233 + x237 + x239 - x241 <= 50 e1263: - x242 - x274 - x306 - x338 - x370 - x402 >= -100 e1264: - x243 - x275 - x307 - x339 - x371 - x403 >= 0 e1265: - x244 - x276 - x308 - x340 - x372 - x404 >= 0 e1266: - x245 - x277 - x309 - x341 - x373 - x405 >= 0 e1267: - x246 - x278 - x310 - x342 - x374 - x406 >= 0 e1268: - x247 - x279 - x311 - x343 - x375 - x407 >= -100 e1269: - x248 - x280 - x312 - x344 - x376 - x408 >= 0 e1270: - x249 - x281 - x313 - x345 - x377 - x409 >= 0 e1271: x242 - x250 - x254 + x274 - x282 - x286 + x306 - x314 - x318 + x338 - x346 - x350 + x370 - x378 - x382 + x402 - x410 - x414 >= -25 e1272: x243 - x251 - x255 + x275 - x283 - x287 + x307 - x315 - x319 + x339 - x347 - x351 + x371 - x379 - x383 + x403 - x411 - x415 >= 0 e1273: x244 - x252 - x256 + x276 - x284 - x288 + x308 - x316 - x320 + x340 - x348 - x352 + x372 - x380 - x384 + x404 - x412 - x416 >= 0 e1274: x245 - x253 - x257 + x277 - x285 - x289 + x309 - x317 - x321 + x341 - x349 - x353 + x373 - x381 - x385 + x405 - x413 - x417 >= 0 e1275: x246 - x258 - x262 + x278 - x290 - x294 + x310 - x322 - x326 + x342 - x354 - x358 + x374 - x386 - x390 + x406 - x418 - x422 >= 0 e1276: x247 - x259 - x263 + x279 - x291 - x295 + x311 - x323 - x327 + x343 - x355 - x359 + x375 - x387 - x391 + x407 - x419 - x423 >= -75 e1277: x248 - x260 - x264 + x280 - x292 - x296 + x312 - x324 - x328 + x344 - x356 - x360 + x376 - x388 - x392 + x408 - x420 - x424 >= 0 e1278: x249 - x261 - x265 + x281 - x293 - x297 + x313 - x325 - x329 + x345 - x357 - x361 + x377 - x389 - x393 + x409 - x421 - x425 >= 0 e1279: x250 + x258 - x266 + x282 + x290 - x298 + x314 + x322 - x330 + x346 + x354 - x362 + x378 + x386 - x394 + x410 + x418 - x426 >= 0 e1280: x251 + x259 - x267 + x283 + x291 - x299 + x315 + x323 - x331 + x347 + x355 - x363 + x379 + x387 - x395 + x411 + x419 - x427 >= 0 e1281: x252 + x260 - x268 + x284 + x292 - x300 + x316 + x324 - x332 + x348 + x356 - x364 + x380 + x388 - x396 + x412 + x420 - x428 >= -50 e1282: x253 + x261 - x269 + x285 + x293 - x301 + x317 + x325 - x333 + x349 + x357 - x365 + x381 + x389 - x397 + x413 + x421 - x429 >= 0 e1283: x254 + x262 - x270 + x286 + x294 - x302 + x318 + x326 - x334 + x350 + x358 - x366 + x382 + x390 - x398 + x414 + x422 - x430 >= 0 e1284: x255 + x263 - x271 + x287 + x295 - x303 + x319 + x327 - x335 + x351 + x359 - x367 + x383 + x391 - x399 + x415 + x423 - x431 >= 0 e1285: x256 + x264 - x272 + x288 + x296 - x304 + x320 + x328 - x336 + x352 + x360 - x368 + x384 + x392 - x400 + x416 + x424 - x432 >= 0 e1286: x257 + x265 - x273 + x289 + x297 - x305 + x321 + x329 - x337 + x353 + x361 - x369 + x385 + x393 - x401 + x417 + x425 - x433 >= -50 e1287: x266 + x270 + x298 + x302 + x330 + x334 + x362 + x366 + x394 + x398 + x426 + x430 >= 0 e1288: x267 + x271 + x299 + x303 + x331 + x335 + x363 + x367 + x395 + x399 + x427 + x431 >= 0 e1289: x268 + x272 + x300 + x304 + x332 + x336 + x364 + x368 + x396 + x400 + x428 + x432 >= 0 e1290: x269 + x273 + x301 + x305 + x333 + x337 + x365 + x369 + x397 + x401 + x429 + x433 >= 0 e1291: - x242 - x274 - x306 - x338 - x370 - x402 <= 0 e1292: - x243 - x275 - x307 - x339 - x371 - x403 <= 100 e1293: - x244 - x276 - x308 - x340 - x372 - x404 <= 100 e1294: - x245 - x277 - x309 - x341 - x373 - x405 <= 100 e1295: - x246 - x278 - x310 - x342 - x374 - x406 <= 100 e1296: - x247 - x279 - x311 - x343 - x375 - x407 <= 0 e1297: - x248 - x280 - x312 - x344 - x376 - x408 <= 100 e1298: - x249 - x281 - x313 - x345 - x377 - x409 <= 100 e1299: x242 - x250 - x254 + x274 - x282 - x286 + x306 - x314 - x318 + x338 - x346 - x350 + x370 - x378 - x382 + x402 - x410 - x414 <= 75 e1300: x243 - x251 - x255 + x275 - x283 - x287 + x307 - x315 - x319 + x339 - x347 - x351 + x371 - x379 - x383 + x403 - x411 - x415 <= 100 e1301: x244 - x252 - x256 + x276 - x284 - x288 + x308 - x316 - x320 + x340 - x348 - x352 + x372 - x380 - x384 + x404 - x412 - x416 <= 100 e1302: x245 - x253 - x257 + x277 - x285 - x289 + x309 - x317 - x321 + x341 - x349 - x353 + x373 - x381 - x385 + x405 - x413 - x417 <= 100 e1303: x246 - x258 - x262 + x278 - x290 - x294 + x310 - x322 - x326 + x342 - x354 - x358 + x374 - x386 - x390 + x406 - x418 - x422 <= 100 e1304: x247 - x259 - x263 + x279 - x291 - x295 + x311 - x323 - x327 + x343 - x355 - x359 + x375 - x387 - x391 + x407 - x419 - x423 <= 25 e1305: x248 - x260 - x264 + x280 - x292 - x296 + x312 - x324 - x328 + x344 - x356 - x360 + x376 - x388 - x392 + x408 - x420 - x424 <= 100 e1306: x249 - x261 - x265 + x281 - x293 - x297 + x313 - x325 - x329 + x345 - x357 - x361 + x377 - x389 - x393 + x409 - x421 - x425 <= 100 e1307: x250 + x258 - x266 + x282 + x290 - x298 + x314 + x322 - x330 + x346 + x354 - x362 + x378 + x386 - x394 + x410 + x418 - x426 <= 100 e1308: x251 + x259 - x267 + x283 + x291 - x299 + x315 + x323 - x331 + x347 + x355 - x363 + x379 + x387 - x395 + x411 + x419 - x427 <= 100 e1309: x252 + x260 - x268 + x284 + x292 - x300 + x316 + x324 - x332 + x348 + x356 - x364 + x380 + x388 - x396 + x412 + x420 - x428 <= 50 e1310: x253 + x261 - x269 + x285 + x293 - x301 + x317 + x325 - x333 + x349 + x357 - x365 + x381 + x389 - x397 + x413 + x421 - x429 <= 100 e1311: x254 + x262 - x270 + x286 + x294 - x302 + x318 + x326 - x334 + x350 + x358 - x366 + x382 + x390 - x398 + x414 + x422 - x430 <= 100 e1312: x255 + x263 - x271 + x287 + x295 - x303 + x319 + x327 - x335 + x351 + x359 - x367 + x383 + x391 - x399 + x415 + x423 - x431 <= 100 e1313: x256 + x264 - x272 + x288 + x296 - x304 + x320 + x328 - x336 + x352 + x360 - x368 + x384 + x392 - x400 + x416 + x424 - x432 <= 100 e1314: x257 + x265 - x273 + x289 + x297 - x305 + x321 + x329 - x337 + x353 + x361 - x369 + x385 + x393 - x401 + x417 + x425 - x433 <= 50 e1315: 8 b10 + 8 b11 - x58 - x59 + x146 + x147 <= 8 e1316: 8 b10 + 8 b12 - x58 - x60 + x146 + x148 <= 8 e1317: 8 b10 + 8 b13 - x58 - x61 + x146 + x149 <= 8 e1318: 8 b11 + 8 b14 - x59 - x62 + x147 + x150 <= 8 e1319: 8 b11 + 8 b15 - x59 - x63 + x147 + x151 <= 8 e1320: 8 b12 + 8 b16 - x60 - x64 + x148 + x152 <= 8 e1321: 8 b13 + 8 b17 - x61 - x65 + x149 + x153 <= 8 e1322: 8 b14 + 8 b16 - x62 - x64 + x150 + x152 <= 8 e1323: 8 b15 + 8 b17 - x63 - x65 + x151 + x153 <= 8 e1324: 8 b16 + 8 b17 - x64 - x65 + x152 + x153 <= 8 e1325: 8 b18 + 8 b19 - x66 - x67 + x106 + x107 + x146 + x147 <= 8 e1326: 8 b18 + 8 b20 - x66 - x68 + x106 + x108 + x146 + x148 <= 8 e1327: 8 b18 + 8 b21 - x66 - x69 + x106 + x109 + x146 + x149 <= 8 e1328: 8 b19 + 8 b22 - x67 - x70 + x107 + x110 + x147 + x150 <= 8 e1329: 8 b19 + 8 b23 - x67 - x71 + x107 + x111 + x147 + x151 <= 8 e1330: 8 b20 + 8 b24 - x68 - x72 + x108 + x112 + x148 + x152 <= 8 e1331: 8 b21 + 8 b25 - x69 - x73 + x109 + x113 + x149 + x153 <= 8 e1332: 8 b22 + 8 b24 - x70 - x72 + x110 + x112 + x150 + x152 <= 8 e1333: 8 b23 + 8 b25 - x71 - x73 + x111 + x113 + x151 + x153 <= 8 e1334: 8 b24 + 8 b25 - x72 - x73 + x112 + x113 + x152 + x153 <= 8 e1335: 8 b26 + 8 b27 - x74 - x75 + x106 + x107 + x114 + x115 + x146 + x147 <= 8 e1336: 8 b26 + 8 b28 - x74 - x76 + x106 + x108 + x114 + x116 + x146 + x148 <= 8 e1337: 8 b26 + 8 b29 - x74 - x77 + x106 + x109 + x114 + x117 + x146 + x149 <= 8 e1338: 8 b27 + 8 b30 - x75 - x78 + x107 + x110 + x115 + x118 + x147 + x150 <= 8 e1339: 8 b27 + 8 b31 - x75 - x79 + x107 + x111 + x115 + x119 + x147 + x151 <= 8 e1340: 8 b28 + 8 b32 - x76 - x80 + x108 + x112 + x116 + x120 + x148 + x152 <= 8 e1341: 8 b29 + 8 b33 - x77 - x81 + x109 + x113 + x117 + x121 + x149 + x153 <= 8 e1342: 8 b30 + 8 b32 - x78 - x80 + x110 + x112 + x118 + x120 + x150 + x152 <= 8 e1343: 8 b31 + 8 b33 - x79 - x81 + x111 + x113 + x119 + x121 + x151 + x153 <= 8 e1344: 8 b32 + 8 b33 - x80 - x81 + x112 + x113 + x120 + x121 + x152 + x153 <= 8 e1345: 8 b34 + 8 b35 - x82 - x83 + x106 + x107 + x114 + x115 + x122 + x123 + x146 + x147 <= 8 e1346: 8 b34 + 8 b36 - x82 - x84 + x106 + x108 + x114 + x116 + x122 + x124 + x146 + x148 <= 8 e1347: 8 b34 + 8 b37 - x82 - x85 + x106 + x109 + x114 + x117 + x122 + x125 + x146 + x149 <= 8 e1348: 8 b35 + 8 b38 - x83 - x86 + x107 + x110 + x115 + x118 + x123 + x126 + x147 + x150 <= 8 e1349: 8 b35 + 8 b39 - x83 - x87 + x107 + x111 + x115 + x119 + x123 + x127 + x147 + x151 <= 8 e1350: 8 b36 + 8 b40 - x84 - x88 + x108 + x112 + x116 + x120 + x124 + x128 + x148 + x152 <= 8 e1351: 8 b37 + 8 b41 - x85 - x89 + x109 + x113 + x117 + x121 + x125 + x129 + x149 + x153 <= 8 e1352: 8 b38 + 8 b40 - x86 - x88 + x110 + x112 + x118 + x120 + x126 + x128 + x150 + x152 <= 8 e1353: 8 b39 + 8 b41 - x87 - x89 + x111 + x113 + x119 + x121 + x127 + x129 + x151 + x153 <= 8 e1354: 8 b40 + 8 b41 - x88 - x89 + x112 + x113 + x120 + x121 + x128 + x129 + x152 + x153 <= 8 e1355: 8 b42 + 8 b43 - x90 - x91 + x106 + x107 + x114 + x115 + x122 + x123 + x130 + x131 + x146 + x147 <= 8 e1356: 8 b42 + 8 b44 - x90 - x92 + x106 + x108 + x114 + x116 + x122 + x124 + x130 + x132 + x146 + x148 <= 8 e1357: 8 b42 + 8 b45 - x90 - x93 + x106 + x109 + x114 + x117 + x122 + x125 + x130 + x133 + x146 + x149 <= 8 e1358: 8 b43 + 8 b46 - x91 - x94 + x107 + x110 + x115 + x118 + x123 + x126 + x131 + x134 + x147 + x150 <= 8 e1359: 8 b43 + 8 b47 - x91 - x95 + x107 + x111 + x115 + x119 + x123 + x127 + x131 + x135 + x147 + x151 <= 8 e1360: 8 b44 + 8 b48 - x92 - x96 + x108 + x112 + x116 + x120 + x124 + x128 + x132 + x136 + x148 + x152 <= 8 e1361: 8 b45 + 8 b49 - x93 - x97 + x109 + x113 + x117 + x121 + x125 + x129 + x133 + x137 + x149 + x153 <= 8 e1362: 8 b46 + 8 b48 - x94 - x96 + x110 + x112 + x118 + x120 + x126 + x128 + x134 + x136 + x150 + x152 <= 8 e1363: 8 b47 + 8 b49 - x95 - x97 + x111 + x113 + x119 + x121 + x127 + x129 + x135 + x137 + x151 + x153 <= 8 e1364: 8 b48 + 8 b49 - x96 - x97 + x112 + x113 + x120 + x121 + x128 + x129 + x136 + x137 + x152 + x153 <= 8 e1365: 8 b18 + 8 b19 - x66 - x67 + x154 + x155 <= 8 e1366: 8 b18 + 8 b20 - x66 - x68 + x154 + x156 <= 8 e1367: 8 b18 + 8 b21 - x66 - x69 + x154 + x157 <= 8 e1368: 8 b19 + 8 b22 - x67 - x70 + x155 + x158 <= 8 e1369: 8 b19 + 8 b23 - x67 - x71 + x155 + x159 <= 8 e1370: 8 b20 + 8 b24 - x68 - x72 + x156 + x160 <= 8 e1371: 8 b21 + 8 b25 - x69 - x73 + x157 + x161 <= 8 e1372: 8 b22 + 8 b24 - x70 - x72 + x158 + x160 <= 8 e1373: 8 b23 + 8 b25 - x71 - x73 + x159 + x161 <= 8 e1374: 8 b24 + 8 b25 - x72 - x73 + x160 + x161 <= 8 e1375: 8 b26 + 8 b27 - x74 - x75 + x114 + x115 + x154 + x155 <= 8 e1376: 8 b26 + 8 b28 - x74 - x76 + x114 + x116 + x154 + x156 <= 8 e1377: 8 b26 + 8 b29 - x74 - x77 + x114 + x117 + x154 + x157 <= 8 e1378: 8 b27 + 8 b30 - x75 - x78 + x115 + x118 + x155 + x158 <= 8 e1379: 8 b27 + 8 b31 - x75 - x79 + x115 + x119 + x155 + x159 <= 8 e1380: 8 b28 + 8 b32 - x76 - x80 + x116 + x120 + x156 + x160 <= 8 e1381: 8 b29 + 8 b33 - x77 - x81 + x117 + x121 + x157 + x161 <= 8 e1382: 8 b30 + 8 b32 - x78 - x80 + x118 + x120 + x158 + x160 <= 8 e1383: 8 b31 + 8 b33 - x79 - x81 + x119 + x121 + x159 + x161 <= 8 e1384: 8 b32 + 8 b33 - x80 - x81 + x120 + x121 + x160 + x161 <= 8 e1385: 8 b34 + 8 b35 - x82 - x83 + x114 + x115 + x122 + x123 + x154 + x155 <= 8 e1386: 8 b34 + 8 b36 - x82 - x84 + x114 + x116 + x122 + x124 + x154 + x156 <= 8 e1387: 8 b34 + 8 b37 - x82 - x85 + x114 + x117 + x122 + x125 + x154 + x157 <= 8 e1388: 8 b35 + 8 b38 - x83 - x86 + x115 + x118 + x123 + x126 + x155 + x158 <= 8 e1389: 8 b35 + 8 b39 - x83 - x87 + x115 + x119 + x123 + x127 + x155 + x159 <= 8 e1390: 8 b36 + 8 b40 - x84 - x88 + x116 + x120 + x124 + x128 + x156 + x160 <= 8 e1391: 8 b37 + 8 b41 - x85 - x89 + x117 + x121 + x125 + x129 + x157 + x161 <= 8 e1392: 8 b38 + 8 b40 - x86 - x88 + x118 + x120 + x126 + x128 + x158 + x160 <= 8 e1393: 8 b39 + 8 b41 - x87 - x89 + x119 + x121 + x127 + x129 + x159 + x161 <= 8 e1394: 8 b40 + 8 b41 - x88 - x89 + x120 + x121 + x128 + x129 + x160 + x161 <= 8 e1395: 8 b42 + 8 b43 - x90 - x91 + x114 + x115 + x122 + x123 + x130 + x131 + x154 + x155 <= 8 e1396: 8 b42 + 8 b44 - x90 - x92 + x114 + x116 + x122 + x124 + x130 + x132 + x154 + x156 <= 8 e1397: 8 b42 + 8 b45 - x90 - x93 + x114 + x117 + x122 + x125 + x130 + x133 + x154 + x157 <= 8 e1398: 8 b43 + 8 b46 - x91 - x94 + x115 + x118 + x123 + x126 + x131 + x134 + x155 + x158 <= 8 e1399: 8 b43 + 8 b47 - x91 - x95 + x115 + x119 + x123 + x127 + x131 + x135 + x155 + x159 <= 8 e1400: 8 b44 + 8 b48 - x92 - x96 + x116 + x120 + x124 + x128 + x132 + x136 + x156 + x160 <= 8 e1401: 8 b45 + 8 b49 - x93 - x97 + x117 + x121 + x125 + x129 + x133 + x137 + x157 + x161 <= 8 e1402: 8 b46 + 8 b48 - x94 - x96 + x118 + x120 + x126 + x128 + x134 + x136 + x158 + x160 <= 8 e1403: 8 b47 + 8 b49 - x95 - x97 + x119 + x121 + x127 + x129 + x135 + x137 + x159 + x161 <= 8 e1404: 8 b48 + 8 b49 - x96 - x97 + x120 + x121 + x128 + x129 + x136 + x137 + x160 + x161 <= 8 e1405: 8 b26 + 8 b27 - x74 - x75 + x162 + x163 <= 8 e1406: 8 b26 + 8 b28 - x74 - x76 + x162 + x164 <= 8 e1407: 8 b26 + 8 b29 - x74 - x77 + x162 + x165 <= 8 e1408: 8 b27 + 8 b30 - x75 - x78 + x163 + x166 <= 8 e1409: 8 b27 + 8 b31 - x75 - x79 + x163 + x167 <= 8 e1410: 8 b28 + 8 b32 - x76 - x80 + x164 + x168 <= 8 e1411: 8 b29 + 8 b33 - x77 - x81 + x165 + x169 <= 8 e1412: 8 b30 + 8 b32 - x78 - x80 + x166 + x168 <= 8 e1413: 8 b31 + 8 b33 - x79 - x81 + x167 + x169 <= 8 e1414: 8 b32 + 8 b33 - x80 - x81 + x168 + x169 <= 8 e1415: 8 b34 + 8 b35 - x82 - x83 + x122 + x123 + x162 + x163 <= 8 e1416: 8 b34 + 8 b36 - x82 - x84 + x122 + x124 + x162 + x164 <= 8 e1417: 8 b34 + 8 b37 - x82 - x85 + x122 + x125 + x162 + x165 <= 8 e1418: 8 b35 + 8 b38 - x83 - x86 + x123 + x126 + x163 + x166 <= 8 e1419: 8 b35 + 8 b39 - x83 - x87 + x123 + x127 + x163 + x167 <= 8 e1420: 8 b36 + 8 b40 - x84 - x88 + x124 + x128 + x164 + x168 <= 8 e1421: 8 b37 + 8 b41 - x85 - x89 + x125 + x129 + x165 + x169 <= 8 e1422: 8 b38 + 8 b40 - x86 - x88 + x126 + x128 + x166 + x168 <= 8 e1423: 8 b39 + 8 b41 - x87 - x89 + x127 + x129 + x167 + x169 <= 8 e1424: 8 b40 + 8 b41 - x88 - x89 + x128 + x129 + x168 + x169 <= 8 e1425: 8 b42 + 8 b43 - x90 - x91 + x122 + x123 + x130 + x131 + x162 + x163 <= 8 e1426: 8 b42 + 8 b44 - x90 - x92 + x122 + x124 + x130 + x132 + x162 + x164 <= 8 e1427: 8 b42 + 8 b45 - x90 - x93 + x122 + x125 + x130 + x133 + x162 + x165 <= 8 e1428: 8 b43 + 8 b46 - x91 - x94 + x123 + x126 + x131 + x134 + x163 + x166 <= 8 e1429: 8 b43 + 8 b47 - x91 - x95 + x123 + x127 + x131 + x135 + x163 + x167 <= 8 e1430: 8 b44 + 8 b48 - x92 - x96 + x124 + x128 + x132 + x136 + x164 + x168 <= 8 e1431: 8 b45 + 8 b49 - x93 - x97 + x125 + x129 + x133 + x137 + x165 + x169 <= 8 e1432: 8 b46 + 8 b48 - x94 - x96 + x126 + x128 + x134 + x136 + x166 + x168 <= 8 e1433: 8 b47 + 8 b49 - x95 - x97 + x127 + x129 + x135 + x137 + x167 + x169 <= 8 e1434: 8 b48 + 8 b49 - x96 - x97 + x128 + x129 + x136 + x137 + x168 + x169 <= 8 e1435: 8 b34 + 8 b35 - x82 - x83 + x170 + x171 <= 8 e1436: 8 b34 + 8 b36 - x82 - x84 + x170 + x172 <= 8 e1437: 8 b34 + 8 b37 - x82 - x85 + x170 + x173 <= 8 e1438: 8 b35 + 8 b38 - x83 - x86 + x171 + x174 <= 8 e1439: 8 b35 + 8 b39 - x83 - x87 + x171 + x175 <= 8 e1440: 8 b36 + 8 b40 - x84 - x88 + x172 + x176 <= 8 e1441: 8 b37 + 8 b41 - x85 - x89 + x173 + x177 <= 8 e1442: 8 b38 + 8 b40 - x86 - x88 + x174 + x176 <= 8 e1443: 8 b39 + 8 b41 - x87 - x89 + x175 + x177 <= 8 e1444: 8 b40 + 8 b41 - x88 - x89 + x176 + x177 <= 8 e1445: 8 b42 + 8 b43 - x90 - x91 + x130 + x131 + x170 + x171 <= 8 e1446: 8 b42 + 8 b44 - x90 - x92 + x130 + x132 + x170 + x172 <= 8 e1447: 8 b42 + 8 b45 - x90 - x93 + x130 + x133 + x170 + x173 <= 8 e1448: 8 b43 + 8 b46 - x91 - x94 + x131 + x134 + x171 + x174 <= 8 e1449: 8 b43 + 8 b47 - x91 - x95 + x131 + x135 + x171 + x175 <= 8 e1450: 8 b44 + 8 b48 - x92 - x96 + x132 + x136 + x172 + x176 <= 8 e1451: 8 b45 + 8 b49 - x93 - x97 + x133 + x137 + x173 + x177 <= 8 e1452: 8 b46 + 8 b48 - x94 - x96 + x134 + x136 + x174 + x176 <= 8 e1453: 8 b47 + 8 b49 - x95 - x97 + x135 + x137 + x175 + x177 <= 8 e1454: 8 b48 + 8 b49 - x96 - x97 + x136 + x137 + x176 + x177 <= 8 e1455: 8 b42 + 8 b43 - x90 - x91 + x178 + x179 <= 8 e1456: 8 b42 + 8 b44 - x90 - x92 + x178 + x180 <= 8 e1457: 8 b42 + 8 b45 - x90 - x93 + x178 + x181 <= 8 e1458: 8 b43 + 8 b46 - x91 - x94 + x179 + x182 <= 8 e1459: 8 b43 + 8 b47 - x91 - x95 + x179 + x183 <= 8 e1460: 8 b44 + 8 b48 - x92 - x96 + x180 + x184 <= 8 e1461: 8 b45 + 8 b49 - x93 - x97 + x181 + x185 <= 8 e1462: 8 b46 + 8 b48 - x94 - x96 + x182 + x184 <= 8 e1463: 8 b47 + 8 b49 - x95 - x97 + x183 + x185 <= 8 e1464: 8 b48 + 8 b49 - x96 - x97 + x184 + x185 <= 8 e1465: - b3 - b4 - b5 + b10 <= 0 e1466: - b2 - b6 - b7 + b11 <= 0 e1467: - b2 - b8 + b12 <= 0 e1468: - b2 - b9 + b13 <= 0 e1469: - b3 - b8 + b14 <= 0 e1470: - b3 - b9 + b15 <= 0 e1471: - b4 - b6 - b9 + b16 <= 0 e1472: - b5 - b7 - b8 + b17 <= 0 e1473: - b11 - b12 - b13 + b18 <= 0 e1474: - b10 - b14 - b15 + b19 <= 0 e1475: - b10 - b16 + b20 <= 0 e1476: - b10 - b17 + b21 <= 0 e1477: - b11 - b16 + b22 <= 0 e1478: - b11 - b17 + b23 <= 0 e1479: - b12 - b14 - b17 + b24 <= 0 e1480: - b13 - b15 - b16 + b25 <= 0 e1481: - b19 - b20 - b21 + b26 <= 0 e1482: - b18 - b22 - b23 + b27 <= 0 e1483: - b18 - b24 + b28 <= 0 e1484: - b18 - b25 + b29 <= 0 e1485: - b19 - b24 + b30 <= 0 e1486: - b19 - b25 + b31 <= 0 e1487: - b20 - b22 - b25 + b32 <= 0 e1488: - b21 - b23 - b24 + b33 <= 0 e1489: - b27 - b28 - b29 + b34 <= 0 e1490: - b26 - b30 - b31 + b35 <= 0 e1491: - b26 - b32 + b36 <= 0 e1492: - b26 - b33 + b37 <= 0 e1493: - b27 - b32 + b38 <= 0 e1494: - b27 - b33 + b39 <= 0 e1495: - b28 - b30 - b33 + b40 <= 0 e1496: - b29 - b31 - b32 + b41 <= 0 e1497: - b35 - b36 - b37 + b42 <= 0 e1498: - b34 - b38 - b39 + b43 <= 0 e1499: - b34 - b40 + b44 <= 0 e1500: - b34 - b41 + b45 <= 0 e1501: - b35 - b40 + b46 <= 0 e1502: - b35 - b41 + b47 <= 0 e1503: - b36 - b38 - b41 + b48 <= 0 e1504: - b37 - b39 - b40 + b49 <= 0 Binary 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 End