\ Equation counts \ Total E G L N X C B \ 1240 451 288 501 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 535 495 40 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4786 4146 640 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 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 + .1 x226 + .6 x227 + .2 x228 + .5 x229 + .1 x230 + .6 x231 + .2 x232 + .5 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 + .1 x258 + .6 x259 + .2 x260 + .5 x261 + .1 x262 + .6 x263 + .2 x264 + .5 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 + .1 x290 + .6 x291 + .2 x292 + .5 x293 + .1 x294 + .6 x295 + .2 x296 + .5 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 + .1 x322 + .6 x323 + .2 x324 + .5 x325 + .1 x326 + .6 x327 + .2 x328 + .5 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 + .1 x354 + .6 x355 + .2 x356 + .5 x357 + .1 x358 + .6 x359 + .2 x360 + .5 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 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 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: b2 + b10 + b18 + b26 + b34 >= 1 e53: b3 + b11 + b19 + b27 + b35 >= 1 e54: b8 + b16 + b24 + b32 + b40 >= 1 e55: b9 + b17 + b25 + b33 + b41 >= 1 e56: b8 + b9 + b16 + b17 + b24 + b25 + b32 + b33 + b40 + b41 >= 3 e57: b2 + b10 + b18 + b26 + b34 <= 1 e58: b3 + b11 + b19 + b27 + b35 <= 1 e59: b8 + b16 + b24 + b32 + b40 <= 2 e60: b9 + b17 + b25 + b33 + b41 <= 2 e61: b8 + b9 + b16 + b17 + b24 + b25 + b32 + b33 + b40 + b41 <= 3 e62: b8 + b9 >= 1 e63: b8 + b9 <= 1 e64: - x43 - x51 - x59 - x67 - x75 + x122 + x130 + x138 + x146 + x154 <= 0 e65: - b3 >= 0 e66: b2 - b3 - b11 >= 0 e67: b2 - b3 + b10 - b11 - b19 >= 0 e68: b2 - b3 + b10 - b11 + b18 - b19 - b27 >= 0 e69: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 - b35 >= 0 e70: - x42 - x82 + x122 = 0 e71: - x43 - x83 + x123 = 0 e72: - x44 - x84 + x124 = 0 e73: - x45 - x85 + x125 = 0 e74: - x46 - x86 + x126 = 0 e75: - x47 - x87 + x127 = 0 e76: - x48 - x88 + x128 = 0 e77: - x49 - x89 + x129 = 0 e78: - x50 - x90 + x130 = 0 e79: - x51 - x91 + x131 = 0 e80: - x52 - x92 + x132 = 0 e81: - x53 - x93 + x133 = 0 e82: - x54 - x94 + x134 = 0 e83: - x55 - x95 + x135 = 0 e84: - x56 - x96 + x136 = 0 e85: - x57 - x97 + x137 = 0 e86: - x58 - x98 + x138 = 0 e87: - x59 - x99 + x139 = 0 e88: - x60 - x100 + x140 = 0 e89: - x61 - x101 + x141 = 0 e90: - x62 - x102 + x142 = 0 e91: - x63 - x103 + x143 = 0 e92: - x64 - x104 + x144 = 0 e93: - x65 - x105 + x145 = 0 e94: - x66 - x106 + x146 = 0 e95: - x67 - x107 + x147 = 0 e96: - x68 - x108 + x148 = 0 e97: - x69 - x109 + x149 = 0 e98: - x70 - x110 + x150 = 0 e99: - x71 - x111 + x151 = 0 e100: - x72 - x112 + x152 = 0 e101: - x73 - x113 + x153 = 0 e102: - x74 - x114 + x154 = 0 e103: - x75 - x115 + x155 = 0 e104: - x76 - x116 + x156 = 0 e105: - x77 - x117 + x157 = 0 e106: - x78 - x118 + x158 = 0 e107: - x79 - x119 + x159 = 0 e108: - x80 - x120 + x160 = 0 e109: - x81 - x121 + x161 = 0 e110: x42 >= 0 e111: - 4 b3 + x43 >= 0 e112: x44 >= 0 e113: x45 >= 0 e114: x46 >= 0 e115: x47 >= 0 e116: x48 >= 0 e117: x49 >= 0 e118: x50 >= 0 e119: - 4 b11 + x51 >= 0 e120: x52 >= 0 e121: x53 >= 0 e122: x54 >= 0 e123: x55 >= 0 e124: x56 >= 0 e125: x57 >= 0 e126: x58 >= 0 e127: - 4 b19 + x59 >= 0 e128: x60 >= 0 e129: x61 >= 0 e130: x62 >= 0 e131: x63 >= 0 e132: x64 >= 0 e133: x65 >= 0 e134: x66 >= 0 e135: - 4 b27 + x67 >= 0 e136: x68 >= 0 e137: x69 >= 0 e138: x70 >= 0 e139: x71 >= 0 e140: x72 >= 0 e141: x73 >= 0 e142: x74 >= 0 e143: - 4 b35 + x75 >= 0 e144: x76 >= 0 e145: x77 >= 0 e146: x78 >= 0 e147: x79 >= 0 e148: x80 >= 0 e149: x81 >= 0 e150: - 8 b2 + x122 <= 0 e151: - 8 b3 + x123 <= 0 e152: - 8 b4 + x124 <= 0 e153: - 8 b5 + x125 <= 0 e154: - 8 b6 + x126 <= 0 e155: - 8 b7 + x127 <= 0 e156: - 8 b8 + x128 <= 0 e157: - 8 b9 + x129 <= 0 e158: - 8 b10 + x130 <= 0 e159: - 8 b11 + x131 <= 0 e160: - 8 b12 + x132 <= 0 e161: - 8 b13 + x133 <= 0 e162: - 8 b14 + x134 <= 0 e163: - 8 b15 + x135 <= 0 e164: - 8 b16 + x136 <= 0 e165: - 8 b17 + x137 <= 0 e166: - 8 b18 + x138 <= 0 e167: - 8 b19 + x139 <= 0 e168: - 8 b20 + x140 <= 0 e169: - 8 b21 + x141 <= 0 e170: - 8 b22 + x142 <= 0 e171: - 8 b23 + x143 <= 0 e172: - 8 b24 + x144 <= 0 e173: - 8 b25 + x145 <= 0 e174: - 8 b26 + x146 <= 0 e175: - 8 b27 + x147 <= 0 e176: - 8 b28 + x148 <= 0 e177: - 8 b29 + x149 <= 0 e178: - 8 b30 + x150 <= 0 e179: - 8 b31 + x151 <= 0 e180: - 8 b32 + x152 <= 0 e181: - 8 b33 + x153 <= 0 e182: - 8 b34 + x154 <= 0 e183: - 8 b35 + x155 <= 0 e184: - 8 b36 + x156 <= 0 e185: - 8 b37 + x157 <= 0 e186: - 8 b38 + x158 <= 0 e187: - 8 b39 + x159 <= 0 e188: - 8 b40 + x160 <= 0 e189: - 8 b41 + x161 <= 0 e190: - 100 b2 + x162 >= 0 e191: - 100 b3 + x163 >= 0 e192: - 100 b10 + x170 >= 0 e193: - 100 b11 + x171 >= 0 e194: - 100 b18 + x178 >= 0 e195: - 100 b19 + x179 >= 0 e196: - 100 b26 + x186 >= 0 e197: - 100 b27 + x187 >= 0 e198: - 100 b34 + x194 >= 0 e199: - 100 b35 + x195 >= 0 e200: - 100 b2 + x162 <= 0 e201: - 100 b3 + x163 <= 0 e202: - 100 b4 + x164 <= 0 e203: - 100 b5 + x165 <= 0 e204: - 100 b6 + x166 <= 0 e205: - 100 b7 + x167 <= 0 e206: - 100 b8 + x168 <= 0 e207: - 100 b9 + x169 <= 0 e208: - 100 b10 + x170 <= 0 e209: - 100 b11 + x171 <= 0 e210: - 100 b12 + x172 <= 0 e211: - 100 b13 + x173 <= 0 e212: - 100 b14 + x174 <= 0 e213: - 100 b15 + x175 <= 0 e214: - 100 b16 + x176 <= 0 e215: - 100 b17 + x177 <= 0 e216: - 100 b18 + x178 <= 0 e217: - 100 b19 + x179 <= 0 e218: - 100 b20 + x180 <= 0 e219: - 100 b21 + x181 <= 0 e220: - 100 b22 + x182 <= 0 e221: - 100 b23 + x183 <= 0 e222: - 100 b24 + x184 <= 0 e223: - 100 b25 + x185 <= 0 e224: - 100 b26 + x186 <= 0 e225: - 100 b27 + x187 <= 0 e226: - 100 b28 + x188 <= 0 e227: - 100 b29 + x189 <= 0 e228: - 100 b30 + x190 <= 0 e229: - 100 b31 + x191 <= 0 e230: - 100 b32 + x192 <= 0 e231: - 100 b33 + x193 <= 0 e232: - 100 b34 + x194 <= 0 e233: - 100 b35 + x195 <= 0 e234: - 100 b36 + x196 <= 0 e235: - 100 b37 + x197 <= 0 e236: - 100 b38 + x198 <= 0 e237: - 100 b39 + x199 <= 0 e238: - 100 b40 + x200 <= 0 e239: - 100 b41 + x201 <= 0 e240: x162 - x202 - x203 - x204 - x205 = 0 e241: x163 - x206 - x207 - x208 - x209 = 0 e242: x164 - x210 - x211 - x212 - x213 = 0 e243: x165 - x214 - x215 - x216 - x217 = 0 e244: x166 - x218 - x219 - x220 - x221 = 0 e245: x167 - x222 - x223 - x224 - x225 = 0 e246: x168 - x226 - x227 - x228 - x229 = 0 e247: x169 - x230 - x231 - x232 - x233 = 0 e248: x170 - x234 - x235 - x236 - x237 = 0 e249: x171 - x238 - x239 - x240 - x241 = 0 e250: x172 - x242 - x243 - x244 - x245 = 0 e251: x173 - x246 - x247 - x248 - x249 = 0 e252: x174 - x250 - x251 - x252 - x253 = 0 e253: x175 - x254 - x255 - x256 - x257 = 0 e254: x176 - x258 - x259 - x260 - x261 = 0 e255: x177 - x262 - x263 - x264 - x265 = 0 e256: x178 - x266 - x267 - x268 - x269 = 0 e257: x179 - x270 - x271 - x272 - x273 = 0 e258: x180 - x274 - x275 - x276 - x277 = 0 e259: x181 - x278 - x279 - x280 - x281 = 0 e260: x182 - x282 - x283 - x284 - x285 = 0 e261: x183 - x286 - x287 - x288 - x289 = 0 e262: x184 - x290 - x291 - x292 - x293 = 0 e263: x185 - x294 - x295 - x296 - x297 = 0 e264: x186 - x298 - x299 - x300 - x301 = 0 e265: x187 - x302 - x303 - x304 - x305 = 0 e266: x188 - x306 - x307 - x308 - x309 = 0 e267: x189 - x310 - x311 - x312 - x313 = 0 e268: x190 - x314 - x315 - x316 - x317 = 0 e269: x191 - x318 - x319 - x320 - x321 = 0 e270: x192 - x322 - x323 - x324 - x325 = 0 e271: x193 - x326 - x327 - x328 - x329 = 0 e272: x194 - x330 - x331 - x332 - x333 = 0 e273: x195 - x334 - x335 - x336 - x337 = 0 e274: x196 - x338 - x339 - x340 - x341 = 0 e275: x197 - x342 - x343 - x344 - x345 = 0 e276: x198 - x346 - x347 - x348 - x349 = 0 e277: x199 - x350 - x351 - x352 - x353 = 0 e278: x200 - x354 - x355 - x356 - x357 = 0 e279: x201 - x358 - x359 - x360 - x361 = 0 e280: x362 <= 100 e281: x363 <= 100 e282: x364 <= 100 e283: x365 <= 100 e284: x366 <= 100 e285: x367 <= 100 e286: x369 <= 100 e287: x370 <= 100 e288: x371 <= 100 e289: x372 <= 100 e290: x373 <= 100 e291: x374 <= 100 e292: x376 <= 100 e293: x377 <= 100 e294: x378 <= 100 e295: x379 <= 100 e296: x380 <= 100 e297: x381 <= 100 e298: x383 <= 100 e299: x384 <= 100 e300: x385 <= 100 e301: x386 <= 100 e302: x387 <= 100 e303: x388 <= 100 e304: x390 <= 100 e305: x391 <= 100 e306: x392 <= 100 e307: x393 <= 100 e308: x394 <= 100 e309: x395 <= 100 e310: x397 >= 0 e311: x398 >= 0 e312: x399 >= 0 e313: x400 >= 0 e314: x401 >= 0 e315: x402 >= 0 e316: x403 >= 0 e317: x404 >= 0 e318: x405 >= 0 e319: x406 >= 0 e320: x407 >= 0 e321: x408 >= 0 e322: x409 >= 0 e323: x410 >= 0 e324: x411 >= 0 e325: x412 >= 0 e326: x413 >= 0 e327: x414 >= 0 e328: x415 >= 0 e329: x416 >= 0 e330: x417 >= 0 e331: x418 >= 0 e332: x419 >= 0 e333: x420 >= 0 e334: x421 >= 0 e335: x422 >= 0 e336: x423 >= 0 e337: x424 >= 0 e338: x425 >= 0 e339: x426 >= 0 e340: x427 >= 0 e341: x428 >= 0 e342: x429 >= 0 e343: x430 >= 0 e344: x431 >= 0 e345: x432 >= 0 e346: x433 >= 0 e347: x434 >= 0 e348: x435 >= 0 e349: x436 >= 0 e350: x437 >= 0 e351: x438 >= 0 e352: x439 >= 0 e353: x440 >= 0 e354: x441 >= 0 e355: x442 >= 0 e356: x443 >= 0 e357: x444 >= 0 e358: x445 >= 0 e359: x446 >= 0 e360: x447 >= 0 e361: x448 >= 0 e362: x449 >= 0 e363: x450 >= 0 e364: x451 >= 0 e365: x452 >= 0 e366: x453 >= 0 e367: x454 >= 0 e368: x455 >= 0 e369: x456 >= 0 e370: x457 >= 0 e371: x458 >= 0 e372: x459 >= 0 e373: x460 >= 0 e374: x461 >= 0 e375: x462 >= 0 e376: x463 >= 0 e377: x464 >= 0 e378: x465 >= 0 e379: x466 >= 0 e380: x467 >= 0 e381: x468 >= 0 e382: x469 >= 0 e383: x470 >= 0 e384: x471 >= 0 e385: x472 >= 0 e386: x473 >= 0 e387: x474 >= 0 e388: x475 >= 0 e389: x476 >= 0 e390: x477 >= 0 e391: x478 >= 0 e392: x479 >= 0 e393: x480 >= 0 e394: x481 >= 0 e395: x482 >= 0 e396: x483 >= 0 e397: x484 >= 0 e398: x485 >= 0 e399: x486 >= 0 e400: x487 >= 0 e401: x488 >= 0 e402: x489 >= 0 e403: x490 >= 0 e404: x491 >= 0 e405: x492 >= 0 e406: x493 >= 0 e407: x494 >= 0 e408: x495 >= 0 e409: x496 >= 0 e410: x497 >= 0 e411: x498 >= 0 e412: x499 >= 0 e413: x500 >= 0 e414: x501 >= 0 e415: x502 >= 0 e416: x503 >= 0 e417: x504 >= 0 e418: x505 >= 0 e419: x506 >= 0 e420: x507 >= 0 e421: x508 >= 0 e422: x509 >= 0 e423: x510 >= 0 e424: x511 >= 0 e425: x512 >= 0 e426: x513 >= 0 e427: x514 >= 0 e428: x515 >= 0 e429: x516 >= 0 e430: x517 >= 0 e431: x518 >= 0 e432: x519 >= 0 e433: x520 >= 0 e434: x521 >= 0 e435: x522 >= 0 e436: x523 >= 0 e437: x524 >= 0 e438: x525 >= 0 e439: x526 >= 0 e440: x527 >= 0 e441: x528 >= 0 e442: x529 >= 0 e443: x530 >= 0 e444: x531 >= 0 e445: x532 >= 0 e446: x533 >= 0 e447: x534 >= 0 e448: x535 >= 0 e449: x536 >= 0 e450: x397 <= 100 e451: x398 <= 100 e452: x399 <= 100 e453: x400 <= 100 e454: x401 <= 100 e455: x402 <= 100 e456: x403 <= 100 e457: x404 <= 100 e458: x405 <= 100 e459: x406 <= 100 e460: x407 <= 100 e461: x408 <= 100 e462: x409 <= 100 e463: x410 <= 100 e464: x411 <= 100 e465: x412 <= 100 e466: x413 <= 100 e467: x414 <= 100 e468: x415 <= 100 e469: x416 <= 100 e470: x417 <= 100 e471: x418 <= 100 e472: x419 <= 100 e473: x420 <= 100 e474: x425 <= 100 e475: x426 <= 100 e476: x427 <= 100 e477: x428 <= 100 e478: x429 <= 100 e479: x430 <= 100 e480: x431 <= 100 e481: x432 <= 100 e482: x433 <= 100 e483: x434 <= 100 e484: x435 <= 100 e485: x436 <= 100 e486: x437 <= 100 e487: x438 <= 100 e488: x439 <= 100 e489: x440 <= 100 e490: x441 <= 100 e491: x442 <= 100 e492: x443 <= 100 e493: x444 <= 100 e494: x445 <= 100 e495: x446 <= 100 e496: x447 <= 100 e497: x448 <= 100 e498: x453 <= 100 e499: x454 <= 100 e500: x455 <= 100 e501: x456 <= 100 e502: x457 <= 100 e503: x458 <= 100 e504: x459 <= 100 e505: x460 <= 100 e506: x461 <= 100 e507: x462 <= 100 e508: x463 <= 100 e509: x464 <= 100 e510: x465 <= 100 e511: x466 <= 100 e512: x467 <= 100 e513: x468 <= 100 e514: x469 <= 100 e515: x470 <= 100 e516: x471 <= 100 e517: x472 <= 100 e518: x473 <= 100 e519: x474 <= 100 e520: x475 <= 100 e521: x476 <= 100 e522: x481 <= 100 e523: x482 <= 100 e524: x483 <= 100 e525: x484 <= 100 e526: x485 <= 100 e527: x486 <= 100 e528: x487 <= 100 e529: x488 <= 100 e530: x489 <= 100 e531: x490 <= 100 e532: x491 <= 100 e533: x492 <= 100 e534: x493 <= 100 e535: x494 <= 100 e536: x495 <= 100 e537: x496 <= 100 e538: x497 <= 100 e539: x498 <= 100 e540: x499 <= 100 e541: x500 <= 100 e542: x501 <= 100 e543: x502 <= 100 e544: x503 <= 100 e545: x504 <= 100 e546: x509 <= 100 e547: x510 <= 100 e548: x511 <= 100 e549: x512 <= 100 e550: x513 <= 100 e551: x514 <= 100 e552: x515 <= 100 e553: x516 <= 100 e554: x517 <= 100 e555: x518 <= 100 e556: x519 <= 100 e557: x520 <= 100 e558: x521 <= 100 e559: x522 <= 100 e560: x523 <= 100 e561: x524 <= 100 e562: x525 <= 100 e563: x526 <= 100 e564: x527 <= 100 e565: x528 <= 100 e566: x529 <= 100 e567: x530 <= 100 e568: x531 <= 100 e569: x532 <= 100 e570: x362 - x397 - x398 - x399 - x400 = 0 e571: x363 - x401 - x402 - x403 - x404 = 0 e572: x364 - x405 - x406 - x407 - x408 = 0 e573: x365 - x409 - x410 - x411 - x412 = 0 e574: x366 - x413 - x414 - x415 - x416 = 0 e575: x367 - x417 - x418 - x419 - x420 = 0 e576: x368 - x421 - x422 - x423 - x424 = 0 e577: x369 - x425 - x426 - x427 - x428 = 0 e578: x370 - x429 - x430 - x431 - x432 = 0 e579: x371 - x433 - x434 - x435 - x436 = 0 e580: x372 - x437 - x438 - x439 - x440 = 0 e581: x373 - x441 - x442 - x443 - x444 = 0 e582: x374 - x445 - x446 - x447 - x448 = 0 e583: x375 - x449 - x450 - x451 - x452 = 0 e584: x376 - x453 - x454 - x455 - x456 = 0 e585: x377 - x457 - x458 - x459 - x460 = 0 e586: x378 - x461 - x462 - x463 - x464 = 0 e587: x379 - x465 - x466 - x467 - x468 = 0 e588: x380 - x469 - x470 - x471 - x472 = 0 e589: x381 - x473 - x474 - x475 - x476 = 0 e590: x382 - x477 - x478 - x479 - x480 = 0 e591: x383 - x481 - x482 - x483 - x484 = 0 e592: x384 - x485 - x486 - x487 - x488 = 0 e593: x385 - x489 - x490 - x491 - x492 = 0 e594: x386 - x493 - x494 - x495 - x496 = 0 e595: x387 - x497 - x498 - x499 - x500 = 0 e596: x388 - x501 - x502 - x503 - x504 = 0 e597: x389 - x505 - x506 - x507 - x508 = 0 e598: x390 - x509 - x510 - x511 - x512 = 0 e599: x391 - x513 - x514 - x515 - x516 = 0 e600: x392 - x517 - x518 - x519 - x520 = 0 e601: x393 - x521 - x522 - x523 - x524 = 0 e602: x394 - x525 - x526 - x527 - x528 = 0 e603: x395 - x529 - x530 - x531 - x532 = 0 e604: x396 - x533 - x534 - x535 - x536 = 0 e605: x362 = 100 e606: x363 = 100 e607: x364 = 25 e608: x365 = 75 e609: x366 = 50 e610: x367 = 50 e611: x368 = 0 e612: x162 + x369 = 100 e613: x163 + x370 = 100 e614: - x162 + x164 + x165 + x371 = 25 e615: - x163 + x166 + x167 + x372 = 75 e616: - x164 - x166 + x168 + x373 = 50 e617: - x165 - x167 + x169 + x374 = 50 e618: - x168 - x169 + x375 = 0 e619: x162 + x170 + x376 = 100 e620: x163 + x171 + x377 = 100 e621: - x162 + x164 + x165 - x170 + x172 + x173 + x378 = 25 e622: - x163 + x166 + x167 - x171 + x174 + x175 + x379 = 75 e623: - x164 - x166 + x168 - x172 - x174 + x176 + x380 = 50 e624: - x165 - x167 + x169 - x173 - x175 + x177 + x381 = 50 e625: - x168 - x169 - x176 - x177 + x382 = 0 e626: x162 + x170 + x178 + x383 = 100 e627: x163 + x171 + x179 + x384 = 100 e628: - x162 + x164 + x165 - x170 + x172 + x173 - x178 + x180 + x181 + x385 = 25 e629: - x163 + x166 + x167 - x171 + x174 + x175 - x179 + x182 + x183 + x386 = 75 e630: - x164 - x166 + x168 - x172 - x174 + x176 - x180 - x182 + x184 + x387 = 50 e631: - x165 - x167 + x169 - x173 - x175 + x177 - x181 - x183 + x185 + x388 = 50 e632: - x168 - x169 - x176 - x177 - x184 - x185 + x389 = 0 e633: x162 + x170 + x178 + x186 + x390 = 100 e634: x163 + x171 + x179 + x187 + x391 = 100 e635: - x162 + x164 + x165 - x170 + x172 + x173 - x178 + x180 + x181 - x186 + x188 + x189 + x392 = 25 e636: - x163 + x166 + x167 - x171 + x174 + x175 - x179 + x182 + x183 - x187 + x190 + x191 + x393 = 75 e637: - x164 - x166 + x168 - x172 - x174 + x176 - x180 - x182 + x184 - x188 - x190 + x192 + x394 = 50 e638: - x165 - x167 + x169 - x173 - x175 + x177 - x181 - x183 + x185 - x189 - x191 + x193 + x395 = 50 e639: - x168 - x169 - x176 - x177 - x184 - x185 - x192 - x193 + x396 = 0 e640: x397 = 100 e641: x398 = 0 e642: x399 = 0 e643: x400 = 0 e644: x401 = 0 e645: x402 = 100 e646: x403 = 0 e647: x404 = 0 e648: x405 = 25 e649: x406 = 0 e650: x407 = 0 e651: x408 = 0 e652: x409 = 0 e653: x410 = 75 e654: x411 = 0 e655: x412 = 0 e656: x413 = 0 e657: x414 = 0 e658: x415 = 50 e659: x416 = 0 e660: x417 = 0 e661: x418 = 0 e662: x419 = 0 e663: x420 = 50 e664: x421 = 0 e665: x422 = 0 e666: x423 = 0 e667: x424 = 0 e668: x202 + x425 = 100 e669: x203 + x426 = 0 e670: x204 + x427 = 0 e671: x205 + x428 = 0 e672: x206 + x429 = 0 e673: x207 + x430 = 100 e674: x208 + x431 = 0 e675: x209 + x432 = 0 e676: - x202 + x210 + x214 + x433 = 25 e677: - x203 + x211 + x215 + x434 = 0 e678: - x204 + x212 + x216 + x435 = 0 e679: - x205 + x213 + x217 + x436 = 0 e680: - x206 + x218 + x222 + x437 = 0 e681: - x207 + x219 + x223 + x438 = 75 e682: - x208 + x220 + x224 + x439 = 0 e683: - x209 + x221 + x225 + x440 = 0 e684: - x210 - x218 + x226 + x441 = 0 e685: - x211 - x219 + x227 + x442 = 0 e686: - x212 - x220 + x228 + x443 = 50 e687: - x213 - x221 + x229 + x444 = 0 e688: - x214 - x222 + x230 + x445 = 0 e689: - x215 - x223 + x231 + x446 = 0 e690: - x216 - x224 + x232 + x447 = 0 e691: - x217 - x225 + x233 + x448 = 50 e692: - x226 - x230 + x449 = 0 e693: - x227 - x231 + x450 = 0 e694: - x228 - x232 + x451 = 0 e695: - x229 - x233 + x452 = 0 e696: x202 + x234 + x453 = 100 e697: x203 + x235 + x454 = 0 e698: x204 + x236 + x455 = 0 e699: x205 + x237 + x456 = 0 e700: x206 + x238 + x457 = 0 e701: x207 + x239 + x458 = 100 e702: x208 + x240 + x459 = 0 e703: x209 + x241 + x460 = 0 e704: - x202 + x210 + x214 - x234 + x242 + x246 + x461 = 25 e705: - x203 + x211 + x215 - x235 + x243 + x247 + x462 = 0 e706: - x204 + x212 + x216 - x236 + x244 + x248 + x463 = 0 e707: - x205 + x213 + x217 - x237 + x245 + x249 + x464 = 0 e708: - x206 + x218 + x222 - x238 + x250 + x254 + x465 = 0 e709: - x207 + x219 + x223 - x239 + x251 + x255 + x466 = 75 e710: - x208 + x220 + x224 - x240 + x252 + x256 + x467 = 0 e711: - x209 + x221 + x225 - x241 + x253 + x257 + x468 = 0 e712: - x210 - x218 + x226 - x242 - x250 + x258 + x469 = 0 e713: - x211 - x219 + x227 - x243 - x251 + x259 + x470 = 0 e714: - x212 - x220 + x228 - x244 - x252 + x260 + x471 = 50 e715: - x213 - x221 + x229 - x245 - x253 + x261 + x472 = 0 e716: - x214 - x222 + x230 - x246 - x254 + x262 + x473 = 0 e717: - x215 - x223 + x231 - x247 - x255 + x263 + x474 = 0 e718: - x216 - x224 + x232 - x248 - x256 + x264 + x475 = 0 e719: - x217 - x225 + x233 - x249 - x257 + x265 + x476 = 50 e720: - x226 - x230 - x258 - x262 + x477 = 0 e721: - x227 - x231 - x259 - x263 + x478 = 0 e722: - x228 - x232 - x260 - x264 + x479 = 0 e723: - x229 - x233 - x261 - x265 + x480 = 0 e724: x202 + x234 + x266 + x481 = 100 e725: x203 + x235 + x267 + x482 = 0 e726: x204 + x236 + x268 + x483 = 0 e727: x205 + x237 + x269 + x484 = 0 e728: x206 + x238 + x270 + x485 = 0 e729: x207 + x239 + x271 + x486 = 100 e730: x208 + x240 + x272 + x487 = 0 e731: x209 + x241 + x273 + x488 = 0 e732: - x202 + x210 + x214 - x234 + x242 + x246 - x266 + x274 + x278 + x489 = 25 e733: - x203 + x211 + x215 - x235 + x243 + x247 - x267 + x275 + x279 + x490 = 0 e734: - x204 + x212 + x216 - x236 + x244 + x248 - x268 + x276 + x280 + x491 = 0 e735: - x205 + x213 + x217 - x237 + x245 + x249 - x269 + x277 + x281 + x492 = 0 e736: - x206 + x218 + x222 - x238 + x250 + x254 - x270 + x282 + x286 + x493 = 0 e737: - x207 + x219 + x223 - x239 + x251 + x255 - x271 + x283 + x287 + x494 = 75 e738: - x208 + x220 + x224 - x240 + x252 + x256 - x272 + x284 + x288 + x495 = 0 e739: - x209 + x221 + x225 - x241 + x253 + x257 - x273 + x285 + x289 + x496 = 0 e740: - x210 - x218 + x226 - x242 - x250 + x258 - x274 - x282 + x290 + x497 = 0 e741: - x211 - x219 + x227 - x243 - x251 + x259 - x275 - x283 + x291 + x498 = 0 e742: - x212 - x220 + x228 - x244 - x252 + x260 - x276 - x284 + x292 + x499 = 50 e743: - x213 - x221 + x229 - x245 - x253 + x261 - x277 - x285 + x293 + x500 = 0 e744: - x214 - x222 + x230 - x246 - x254 + x262 - x278 - x286 + x294 + x501 = 0 e745: - x215 - x223 + x231 - x247 - x255 + x263 - x279 - x287 + x295 + x502 = 0 e746: - x216 - x224 + x232 - x248 - x256 + x264 - x280 - x288 + x296 + x503 = 0 e747: - x217 - x225 + x233 - x249 - x257 + x265 - x281 - x289 + x297 + x504 = 50 e748: - x226 - x230 - x258 - x262 - x290 - x294 + x505 = 0 e749: - x227 - x231 - x259 - x263 - x291 - x295 + x506 = 0 e750: - x228 - x232 - x260 - x264 - x292 - x296 + x507 = 0 e751: - x229 - x233 - x261 - x265 - x293 - x297 + x508 = 0 e752: x202 + x234 + x266 + x298 + x509 = 100 e753: x203 + x235 + x267 + x299 + x510 = 0 e754: x204 + x236 + x268 + x300 + x511 = 0 e755: x205 + x237 + x269 + x301 + x512 = 0 e756: x206 + x238 + x270 + x302 + x513 = 0 e757: x207 + x239 + x271 + x303 + x514 = 100 e758: x208 + x240 + x272 + x304 + x515 = 0 e759: x209 + x241 + x273 + x305 + x516 = 0 e760: - x202 + x210 + x214 - x234 + x242 + x246 - x266 + x274 + x278 - x298 + x306 + x310 + x517 = 25 e761: - x203 + x211 + x215 - x235 + x243 + x247 - x267 + x275 + x279 - x299 + x307 + x311 + x518 = 0 e762: - x204 + x212 + x216 - x236 + x244 + x248 - x268 + x276 + x280 - x300 + x308 + x312 + x519 = 0 e763: - x205 + x213 + x217 - x237 + x245 + x249 - x269 + x277 + x281 - x301 + x309 + x313 + x520 = 0 e764: - x206 + x218 + x222 - x238 + x250 + x254 - x270 + x282 + x286 - x302 + x314 + x318 + x521 = 0 e765: - x207 + x219 + x223 - x239 + x251 + x255 - x271 + x283 + x287 - x303 + x315 + x319 + x522 = 75 e766: - x208 + x220 + x224 - x240 + x252 + x256 - x272 + x284 + x288 - x304 + x316 + x320 + x523 = 0 e767: - x209 + x221 + x225 - x241 + x253 + x257 - x273 + x285 + x289 - x305 + x317 + x321 + x524 = 0 e768: - x210 - x218 + x226 - x242 - x250 + x258 - x274 - x282 + x290 - x306 - x314 + x322 + x525 = 0 e769: - x211 - x219 + x227 - x243 - x251 + x259 - x275 - x283 + x291 - x307 - x315 + x323 + x526 = 0 e770: - x212 - x220 + x228 - x244 - x252 + x260 - x276 - x284 + x292 - x308 - x316 + x324 + x527 = 50 e771: - x213 - x221 + x229 - x245 - x253 + x261 - x277 - x285 + x293 - x309 - x317 + x325 + x528 = 0 e772: - x214 - x222 + x230 - x246 - x254 + x262 - x278 - x286 + x294 - x310 - x318 + x326 + x529 = 0 e773: - x215 - x223 + x231 - x247 - x255 + x263 - x279 - x287 + x295 - x311 - x319 + x327 + x530 = 0 e774: - x216 - x224 + x232 - x248 - x256 + x264 - x280 - x288 + x296 - x312 - x320 + x328 + x531 = 0 e775: - x217 - x225 + x233 - x249 - x257 + x265 - x281 - x289 + x297 - x313 - x321 + x329 + x532 = 50 e776: - x226 - x230 - x258 - x262 - x290 - x294 - x322 - x326 + x533 = 0 e777: - x227 - x231 - x259 - x263 - x291 - x295 - x323 - x327 + x534 = 0 e778: - x228 - x232 - x260 - x264 - x292 - x296 - x324 - x328 + x535 = 0 e779: - x229 - x233 - x261 - x265 - x293 - x297 - x325 - x329 + x536 = 0 e780: [ x162 * x397 - x202 * x362 ] = 0 e781: [ x162 * x398 - x203 * x362 ] = 0 e782: [ x162 * x399 - x204 * x362 ] = 0 e783: [ x162 * x400 - x205 * x362 ] = 0 e784: [ x163 * x401 - x206 * x363 ] = 0 e785: [ x163 * x402 - x207 * x363 ] = 0 e786: [ x163 * x403 - x208 * x363 ] = 0 e787: [ x163 * x404 - x209 * x363 ] = 0 e788: [ x164 * x405 - x210 * x364 ] = 0 e789: [ x164 * x406 - x211 * x364 ] = 0 e790: [ x164 * x407 - x212 * x364 ] = 0 e791: [ x164 * x408 - x213 * x364 ] = 0 e792: [ x165 * x405 - x214 * x364 ] = 0 e793: [ x165 * x406 - x215 * x364 ] = 0 e794: [ x165 * x407 - x216 * x364 ] = 0 e795: [ x165 * x408 - x217 * x364 ] = 0 e796: [ x166 * x409 - x218 * x365 ] = 0 e797: [ x166 * x410 - x219 * x365 ] = 0 e798: [ x166 * x411 - x220 * x365 ] = 0 e799: [ x166 * x412 - x221 * x365 ] = 0 e800: [ x167 * x409 - x222 * x365 ] = 0 e801: [ x167 * x410 - x223 * x365 ] = 0 e802: [ x167 * x411 - x224 * x365 ] = 0 e803: [ x167 * x412 - x225 * x365 ] = 0 e804: [ x168 * x413 - x226 * x366 ] = 0 e805: [ x168 * x414 - x227 * x366 ] = 0 e806: [ x168 * x415 - x228 * x366 ] = 0 e807: [ x168 * x416 - x229 * x366 ] = 0 e808: [ x169 * x417 - x230 * x367 ] = 0 e809: [ x169 * x418 - x231 * x367 ] = 0 e810: [ x169 * x419 - x232 * x367 ] = 0 e811: [ x169 * x420 - x233 * x367 ] = 0 e812: [ x170 * x425 - x234 * x369 ] = 0 e813: [ x170 * x426 - x235 * x369 ] = 0 e814: [ x170 * x427 - x236 * x369 ] = 0 e815: [ x170 * x428 - x237 * x369 ] = 0 e816: [ x171 * x429 - x238 * x370 ] = 0 e817: [ x171 * x430 - x239 * x370 ] = 0 e818: [ x171 * x431 - x240 * x370 ] = 0 e819: [ x171 * x432 - x241 * x370 ] = 0 e820: [ x172 * x433 - x242 * x371 ] = 0 e821: [ x172 * x434 - x243 * x371 ] = 0 e822: [ x172 * x435 - x244 * x371 ] = 0 e823: [ x172 * x436 - x245 * x371 ] = 0 e824: [ x173 * x433 - x246 * x371 ] = 0 e825: [ x173 * x434 - x247 * x371 ] = 0 e826: [ x173 * x435 - x248 * x371 ] = 0 e827: [ x173 * x436 - x249 * x371 ] = 0 e828: [ x174 * x437 - x250 * x372 ] = 0 e829: [ x174 * x438 - x251 * x372 ] = 0 e830: [ x174 * x439 - x252 * x372 ] = 0 e831: [ x174 * x440 - x253 * x372 ] = 0 e832: [ x175 * x437 - x254 * x372 ] = 0 e833: [ x175 * x438 - x255 * x372 ] = 0 e834: [ x175 * x439 - x256 * x372 ] = 0 e835: [ x175 * x440 - x257 * x372 ] = 0 e836: [ x176 * x441 - x258 * x373 ] = 0 e837: [ x176 * x442 - x259 * x373 ] = 0 e838: [ x176 * x443 - x260 * x373 ] = 0 e839: [ x176 * x444 - x261 * x373 ] = 0 e840: [ x177 * x445 - x262 * x374 ] = 0 e841: [ x177 * x446 - x263 * x374 ] = 0 e842: [ x177 * x447 - x264 * x374 ] = 0 e843: [ x177 * x448 - x265 * x374 ] = 0 e844: [ x178 * x453 - x266 * x376 ] = 0 e845: [ x178 * x454 - x267 * x376 ] = 0 e846: [ x178 * x455 - x268 * x376 ] = 0 e847: [ x178 * x456 - x269 * x376 ] = 0 e848: [ x179 * x457 - x270 * x377 ] = 0 e849: [ x179 * x458 - x271 * x377 ] = 0 e850: [ x179 * x459 - x272 * x377 ] = 0 e851: [ x179 * x460 - x273 * x377 ] = 0 e852: [ x180 * x461 - x274 * x378 ] = 0 e853: [ x180 * x462 - x275 * x378 ] = 0 e854: [ x180 * x463 - x276 * x378 ] = 0 e855: [ x180 * x464 - x277 * x378 ] = 0 e856: [ x181 * x461 - x278 * x378 ] = 0 e857: [ x181 * x462 - x279 * x378 ] = 0 e858: [ x181 * x463 - x280 * x378 ] = 0 e859: [ x181 * x464 - x281 * x378 ] = 0 e860: [ x182 * x465 - x282 * x379 ] = 0 e861: [ x182 * x466 - x283 * x379 ] = 0 e862: [ x182 * x467 - x284 * x379 ] = 0 e863: [ x182 * x468 - x285 * x379 ] = 0 e864: [ x183 * x465 - x286 * x379 ] = 0 e865: [ x183 * x466 - x287 * x379 ] = 0 e866: [ x183 * x467 - x288 * x379 ] = 0 e867: [ x183 * x468 - x289 * x379 ] = 0 e868: [ x184 * x469 - x290 * x380 ] = 0 e869: [ x184 * x470 - x291 * x380 ] = 0 e870: [ x184 * x471 - x292 * x380 ] = 0 e871: [ x184 * x472 - x293 * x380 ] = 0 e872: [ x185 * x473 - x294 * x381 ] = 0 e873: [ x185 * x474 - x295 * x381 ] = 0 e874: [ x185 * x475 - x296 * x381 ] = 0 e875: [ x185 * x476 - x297 * x381 ] = 0 e876: [ x186 * x481 - x298 * x383 ] = 0 e877: [ x186 * x482 - x299 * x383 ] = 0 e878: [ x186 * x483 - x300 * x383 ] = 0 e879: [ x186 * x484 - x301 * x383 ] = 0 e880: [ x187 * x485 - x302 * x384 ] = 0 e881: [ x187 * x486 - x303 * x384 ] = 0 e882: [ x187 * x487 - x304 * x384 ] = 0 e883: [ x187 * x488 - x305 * x384 ] = 0 e884: [ x188 * x489 - x306 * x385 ] = 0 e885: [ x188 * x490 - x307 * x385 ] = 0 e886: [ x188 * x491 - x308 * x385 ] = 0 e887: [ x188 * x492 - x309 * x385 ] = 0 e888: [ x189 * x489 - x310 * x385 ] = 0 e889: [ x189 * x490 - x311 * x385 ] = 0 e890: [ x189 * x491 - x312 * x385 ] = 0 e891: [ x189 * x492 - x313 * x385 ] = 0 e892: [ x190 * x493 - x314 * x386 ] = 0 e893: [ x190 * x494 - x315 * x386 ] = 0 e894: [ x190 * x495 - x316 * x386 ] = 0 e895: [ x190 * x496 - x317 * x386 ] = 0 e896: [ x191 * x493 - x318 * x386 ] = 0 e897: [ x191 * x494 - x319 * x386 ] = 0 e898: [ x191 * x495 - x320 * x386 ] = 0 e899: [ x191 * x496 - x321 * x386 ] = 0 e900: [ x192 * x497 - x322 * x387 ] = 0 e901: [ x192 * x498 - x323 * x387 ] = 0 e902: [ x192 * x499 - x324 * x387 ] = 0 e903: [ x192 * x500 - x325 * x387 ] = 0 e904: [ x193 * x501 - x326 * x388 ] = 0 e905: [ x193 * x502 - x327 * x388 ] = 0 e906: [ x193 * x503 - x328 * x388 ] = 0 e907: [ x193 * x504 - x329 * x388 ] = 0 e908: [ x194 * x509 - x330 * x390 ] = 0 e909: [ x194 * x510 - x331 * x390 ] = 0 e910: [ x194 * x511 - x332 * x390 ] = 0 e911: [ x194 * x512 - x333 * x390 ] = 0 e912: [ x195 * x513 - x334 * x391 ] = 0 e913: [ x195 * x514 - x335 * x391 ] = 0 e914: [ x195 * x515 - x336 * x391 ] = 0 e915: [ x195 * x516 - x337 * x391 ] = 0 e916: [ x196 * x517 - x338 * x392 ] = 0 e917: [ x196 * x518 - x339 * x392 ] = 0 e918: [ x196 * x519 - x340 * x392 ] = 0 e919: [ x196 * x520 - x341 * x392 ] = 0 e920: [ x197 * x517 - x342 * x392 ] = 0 e921: [ x197 * x518 - x343 * x392 ] = 0 e922: [ x197 * x519 - x344 * x392 ] = 0 e923: [ x197 * x520 - x345 * x392 ] = 0 e924: [ x198 * x521 - x346 * x393 ] = 0 e925: [ x198 * x522 - x347 * x393 ] = 0 e926: [ x198 * x523 - x348 * x393 ] = 0 e927: [ x198 * x524 - x349 * x393 ] = 0 e928: [ x199 * x521 - x350 * x393 ] = 0 e929: [ x199 * x522 - x351 * x393 ] = 0 e930: [ x199 * x523 - x352 * x393 ] = 0 e931: [ x199 * x524 - x353 * x393 ] = 0 e932: [ x200 * x525 - x354 * x394 ] = 0 e933: [ x200 * x526 - x355 * x394 ] = 0 e934: [ x200 * x527 - x356 * x394 ] = 0 e935: [ x200 * x528 - x357 * x394 ] = 0 e936: [ x201 * x529 - x358 * x395 ] = 0 e937: [ x201 * x530 - x359 * x395 ] = 0 e938: [ x201 * x531 - x360 * x395 ] = 0 e939: [ x201 * x532 - x361 * x395 ] = 0 e940: x162 >= 0 e941: x163 >= 0 e942: x164 >= 0 e943: x165 >= 0 e944: x166 >= 0 e945: x167 >= 0 e946: - 5 x88 + x168 >= 0 e947: - 5 x89 + x169 >= 0 e948: x170 >= 0 e949: x171 >= 0 e950: x172 >= 0 e951: x173 >= 0 e952: x174 >= 0 e953: x175 >= 0 e954: - 5 x96 + x176 >= 0 e955: - 5 x97 + x177 >= 0 e956: x178 >= 0 e957: x179 >= 0 e958: x180 >= 0 e959: x181 >= 0 e960: x182 >= 0 e961: x183 >= 0 e962: - 5 x104 + x184 >= 0 e963: - 5 x105 + x185 >= 0 e964: x186 >= 0 e965: x187 >= 0 e966: x188 >= 0 e967: x189 >= 0 e968: x190 >= 0 e969: x191 >= 0 e970: - 5 x112 + x192 >= 0 e971: - 5 x113 + x193 >= 0 e972: x194 >= 0 e973: x195 >= 0 e974: x196 >= 0 e975: x197 >= 0 e976: x198 >= 0 e977: x199 >= 0 e978: - 5 x120 + x200 >= 0 e979: - 5 x121 + x201 >= 0 e980: - 50 x82 + x162 <= 0 e981: - 50 x83 + x163 <= 0 e982: - 50 x84 + x164 <= 0 e983: - 50 x85 + x165 <= 0 e984: - 50 x86 + x166 <= 0 e985: - 50 x87 + x167 <= 0 e986: - 50 x88 + x168 <= 0 e987: - 50 x89 + x169 <= 0 e988: - 50 x90 + x170 <= 0 e989: - 50 x91 + x171 <= 0 e990: - 50 x92 + x172 <= 0 e991: - 50 x93 + x173 <= 0 e992: - 50 x94 + x174 <= 0 e993: - 50 x95 + x175 <= 0 e994: - 50 x96 + x176 <= 0 e995: - 50 x97 + x177 <= 0 e996: - 50 x98 + x178 <= 0 e997: - 50 x99 + x179 <= 0 e998: - 50 x100 + x180 <= 0 e999: - 50 x101 + x181 <= 0 e1000: - 50 x102 + x182 <= 0 e1001: - 50 x103 + x183 <= 0 e1002: - 50 x104 + x184 <= 0 e1003: - 50 x105 + x185 <= 0 e1004: - 50 x106 + x186 <= 0 e1005: - 50 x107 + x187 <= 0 e1006: - 50 x108 + x188 <= 0 e1007: - 50 x109 + x189 <= 0 e1008: - 50 x110 + x190 <= 0 e1009: - 50 x111 + x191 <= 0 e1010: - 50 x112 + x192 <= 0 e1011: - 50 x113 + x193 <= 0 e1012: - 50 x114 + x194 <= 0 e1013: - 50 x115 + x195 <= 0 e1014: - 50 x116 + x196 <= 0 e1015: - 50 x117 + x197 <= 0 e1016: - 50 x118 + x198 <= 0 e1017: - 50 x119 + x199 <= 0 e1018: - 50 x120 + x200 <= 0 e1019: - 50 x121 + x201 <= 0 e1020: x88 + x89 + x96 + x97 + x104 + x105 + x112 + x113 + x120 + x121 = 8 e1021: x168 + x176 + x184 + x192 + x200 >= 100 e1022: x169 + x177 + x185 + x193 + x201 >= 100 e1023: x168 + x176 + x184 + x192 + x200 <= 100 e1024: x169 + x177 + x185 + x193 + x201 <= 100 e1025: - .15 x168 + .1 x226 + .6 x227 + .2 x228 + .5 x229 >= 0 e1026: - .45 x169 + .1 x230 + .6 x231 + .2 x232 + .5 x233 >= 0 e1027: - .15 x176 + .1 x258 + .6 x259 + .2 x260 + .5 x261 >= 0 e1028: - .45 x177 + .1 x262 + .6 x263 + .2 x264 + .5 x265 >= 0 e1029: - .15 x184 + .1 x290 + .6 x291 + .2 x292 + .5 x293 >= 0 e1030: - .45 x185 + .1 x294 + .6 x295 + .2 x296 + .5 x297 >= 0 e1031: - .15 x192 + .1 x322 + .6 x323 + .2 x324 + .5 x325 >= 0 e1032: - .45 x193 + .1 x326 + .6 x327 + .2 x328 + .5 x329 >= 0 e1033: - .15 x200 + .1 x354 + .6 x355 + .2 x356 + .5 x357 >= 0 e1034: - .45 x201 + .1 x358 + .6 x359 + .2 x360 + .5 x361 >= 0 e1035: - .25 x168 + .1 x226 + .6 x227 + .2 x228 + .5 x229 <= 0 e1036: - .55 x169 + .1 x230 + .6 x231 + .2 x232 + .5 x233 <= 0 e1037: - .25 x176 + .1 x258 + .6 x259 + .2 x260 + .5 x261 <= 0 e1038: - .55 x177 + .1 x262 + .6 x263 + .2 x264 + .5 x265 <= 0 e1039: - .25 x184 + .1 x290 + .6 x291 + .2 x292 + .5 x293 <= 0 e1040: - .55 x185 + .1 x294 + .6 x295 + .2 x296 + .5 x297 <= 0 e1041: - .25 x192 + .1 x322 + .6 x323 + .2 x324 + .5 x325 <= 0 e1042: - .55 x193 + .1 x326 + .6 x327 + .2 x328 + .5 x329 <= 0 e1043: - .25 x200 + .1 x354 + .6 x355 + .2 x356 + .5 x357 <= 0 e1044: - .55 x201 + .1 x358 + .6 x359 + .2 x360 + .5 x361 <= 0 e1045: - x162 - x170 - x178 - x186 - x194 >= -100 e1046: - x163 - x171 - x179 - x187 - x195 >= -100 e1047: x162 - x164 - x165 + x170 - x172 - x173 + x178 - x180 - x181 + x186 - x188 - x189 + x194 - x196 - x197 >= -25 e1048: x163 - x166 - x167 + x171 - x174 - x175 + x179 - x182 - x183 + x187 - x190 - x191 + x195 - x198 - x199 >= -75 e1049: x164 + x166 - x168 + x172 + x174 - x176 + x180 + x182 - x184 + x188 + x190 - x192 + x196 + x198 - x200 >= -50 e1050: x165 + x167 - x169 + x173 + x175 - x177 + x181 + x183 - x185 + x189 + x191 - x193 + x197 + x199 - x201 >= -50 e1051: x168 + x169 + x176 + x177 + x184 + x185 + x192 + x193 + x200 + x201 >= 0 e1052: - x162 - x170 - x178 - x186 - x194 <= 0 e1053: - x163 - x171 - x179 - x187 - x195 <= 0 e1054: x162 - x164 - x165 + x170 - x172 - x173 + x178 - x180 - x181 + x186 - x188 - x189 + x194 - x196 - x197 <= 75 e1055: x163 - x166 - x167 + x171 - x174 - x175 + x179 - x182 - x183 + x187 - x190 - x191 + x195 - x198 - x199 <= 25 e1056: x164 + x166 - x168 + x172 + x174 - x176 + x180 + x182 - x184 + x188 + x190 - x192 + x196 + x198 - x200 <= 50 e1057: x165 + x167 - x169 + x173 + x175 - x177 + x181 + x183 - x185 + x189 + x191 - x193 + x197 + x199 - x201 <= 50 e1058: - x202 - x234 - x266 - x298 - x330 >= -100 e1059: - x203 - x235 - x267 - x299 - x331 >= 0 e1060: - x204 - x236 - x268 - x300 - x332 >= 0 e1061: - x205 - x237 - x269 - x301 - x333 >= 0 e1062: - x206 - x238 - x270 - x302 - x334 >= 0 e1063: - x207 - x239 - x271 - x303 - x335 >= -100 e1064: - x208 - x240 - x272 - x304 - x336 >= 0 e1065: - x209 - x241 - x273 - x305 - x337 >= 0 e1066: x202 - x210 - x214 + x234 - x242 - x246 + x266 - x274 - x278 + x298 - x306 - x310 + x330 - x338 - x342 >= -25 e1067: x203 - x211 - x215 + x235 - x243 - x247 + x267 - x275 - x279 + x299 - x307 - x311 + x331 - x339 - x343 >= 0 e1068: x204 - x212 - x216 + x236 - x244 - x248 + x268 - x276 - x280 + x300 - x308 - x312 + x332 - x340 - x344 >= 0 e1069: x205 - x213 - x217 + x237 - x245 - x249 + x269 - x277 - x281 + x301 - x309 - x313 + x333 - x341 - x345 >= 0 e1070: x206 - x218 - x222 + x238 - x250 - x254 + x270 - x282 - x286 + x302 - x314 - x318 + x334 - x346 - x350 >= 0 e1071: x207 - x219 - x223 + x239 - x251 - x255 + x271 - x283 - x287 + x303 - x315 - x319 + x335 - x347 - x351 >= -75 e1072: x208 - x220 - x224 + x240 - x252 - x256 + x272 - x284 - x288 + x304 - x316 - x320 + x336 - x348 - x352 >= 0 e1073: x209 - x221 - x225 + x241 - x253 - x257 + x273 - x285 - x289 + x305 - x317 - x321 + x337 - x349 - x353 >= 0 e1074: x210 + x218 - x226 + x242 + x250 - x258 + x274 + x282 - x290 + x306 + x314 - x322 + x338 + x346 - x354 >= 0 e1075: x211 + x219 - x227 + x243 + x251 - x259 + x275 + x283 - x291 + x307 + x315 - x323 + x339 + x347 - x355 >= 0 e1076: x212 + x220 - x228 + x244 + x252 - x260 + x276 + x284 - x292 + x308 + x316 - x324 + x340 + x348 - x356 >= -50 e1077: x213 + x221 - x229 + x245 + x253 - x261 + x277 + x285 - x293 + x309 + x317 - x325 + x341 + x349 - x357 >= 0 e1078: x214 + x222 - x230 + x246 + x254 - x262 + x278 + x286 - x294 + x310 + x318 - x326 + x342 + x350 - x358 >= 0 e1079: x215 + x223 - x231 + x247 + x255 - x263 + x279 + x287 - x295 + x311 + x319 - x327 + x343 + x351 - x359 >= 0 e1080: x216 + x224 - x232 + x248 + x256 - x264 + x280 + x288 - x296 + x312 + x320 - x328 + x344 + x352 - x360 >= 0 e1081: x217 + x225 - x233 + x249 + x257 - x265 + x281 + x289 - x297 + x313 + x321 - x329 + x345 + x353 - x361 >= -50 e1082: x226 + x230 + x258 + x262 + x290 + x294 + x322 + x326 + x354 + x358 >= 0 e1083: x227 + x231 + x259 + x263 + x291 + x295 + x323 + x327 + x355 + x359 >= 0 e1084: x228 + x232 + x260 + x264 + x292 + x296 + x324 + x328 + x356 + x360 >= 0 e1085: x229 + x233 + x261 + x265 + x293 + x297 + x325 + x329 + x357 + x361 >= 0 e1086: - x202 - x234 - x266 - x298 - x330 <= 0 e1087: - x203 - x235 - x267 - x299 - x331 <= 100 e1088: - x204 - x236 - x268 - x300 - x332 <= 100 e1089: - x205 - x237 - x269 - x301 - x333 <= 100 e1090: - x206 - x238 - x270 - x302 - x334 <= 100 e1091: - x207 - x239 - x271 - x303 - x335 <= 0 e1092: - x208 - x240 - x272 - x304 - x336 <= 100 e1093: - x209 - x241 - x273 - x305 - x337 <= 100 e1094: x202 - x210 - x214 + x234 - x242 - x246 + x266 - x274 - x278 + x298 - x306 - x310 + x330 - x338 - x342 <= 75 e1095: x203 - x211 - x215 + x235 - x243 - x247 + x267 - x275 - x279 + x299 - x307 - x311 + x331 - x339 - x343 <= 100 e1096: x204 - x212 - x216 + x236 - x244 - x248 + x268 - x276 - x280 + x300 - x308 - x312 + x332 - x340 - x344 <= 100 e1097: x205 - x213 - x217 + x237 - x245 - x249 + x269 - x277 - x281 + x301 - x309 - x313 + x333 - x341 - x345 <= 100 e1098: x206 - x218 - x222 + x238 - x250 - x254 + x270 - x282 - x286 + x302 - x314 - x318 + x334 - x346 - x350 <= 100 e1099: x207 - x219 - x223 + x239 - x251 - x255 + x271 - x283 - x287 + x303 - x315 - x319 + x335 - x347 - x351 <= 25 e1100: x208 - x220 - x224 + x240 - x252 - x256 + x272 - x284 - x288 + x304 - x316 - x320 + x336 - x348 - x352 <= 100 e1101: x209 - x221 - x225 + x241 - x253 - x257 + x273 - x285 - x289 + x305 - x317 - x321 + x337 - x349 - x353 <= 100 e1102: x210 + x218 - x226 + x242 + x250 - x258 + x274 + x282 - x290 + x306 + x314 - x322 + x338 + x346 - x354 <= 100 e1103: x211 + x219 - x227 + x243 + x251 - x259 + x275 + x283 - x291 + x307 + x315 - x323 + x339 + x347 - x355 <= 100 e1104: x212 + x220 - x228 + x244 + x252 - x260 + x276 + x284 - x292 + x308 + x316 - x324 + x340 + x348 - x356 <= 50 e1105: x213 + x221 - x229 + x245 + x253 - x261 + x277 + x285 - x293 + x309 + x317 - x325 + x341 + x349 - x357 <= 100 e1106: x214 + x222 - x230 + x246 + x254 - x262 + x278 + x286 - x294 + x310 + x318 - x326 + x342 + x350 - x358 <= 100 e1107: x215 + x223 - x231 + x247 + x255 - x263 + x279 + x287 - x295 + x311 + x319 - x327 + x343 + x351 - x359 <= 100 e1108: x216 + x224 - x232 + x248 + x256 - x264 + x280 + x288 - x296 + x312 + x320 - x328 + x344 + x352 - x360 <= 100 e1109: x217 + x225 - x233 + x249 + x257 - x265 + x281 + x289 - x297 + x313 + x321 - x329 + x345 + x353 - x361 <= 50 e1110: 8 b10 + 8 b11 - x50 - x51 + x122 + x123 <= 8 e1111: 8 b10 + 8 b12 - x50 - x52 + x122 + x124 <= 8 e1112: 8 b10 + 8 b13 - x50 - x53 + x122 + x125 <= 8 e1113: 8 b11 + 8 b14 - x51 - x54 + x123 + x126 <= 8 e1114: 8 b11 + 8 b15 - x51 - x55 + x123 + x127 <= 8 e1115: 8 b12 + 8 b16 - x52 - x56 + x124 + x128 <= 8 e1116: 8 b13 + 8 b17 - x53 - x57 + x125 + x129 <= 8 e1117: 8 b14 + 8 b16 - x54 - x56 + x126 + x128 <= 8 e1118: 8 b15 + 8 b17 - x55 - x57 + x127 + x129 <= 8 e1119: 8 b16 + 8 b17 - x56 - x57 + x128 + x129 <= 8 e1120: 8 b18 + 8 b19 - x58 - x59 + x90 + x91 + x122 + x123 <= 8 e1121: 8 b18 + 8 b20 - x58 - x60 + x90 + x92 + x122 + x124 <= 8 e1122: 8 b18 + 8 b21 - x58 - x61 + x90 + x93 + x122 + x125 <= 8 e1123: 8 b19 + 8 b22 - x59 - x62 + x91 + x94 + x123 + x126 <= 8 e1124: 8 b19 + 8 b23 - x59 - x63 + x91 + x95 + x123 + x127 <= 8 e1125: 8 b20 + 8 b24 - x60 - x64 + x92 + x96 + x124 + x128 <= 8 e1126: 8 b21 + 8 b25 - x61 - x65 + x93 + x97 + x125 + x129 <= 8 e1127: 8 b22 + 8 b24 - x62 - x64 + x94 + x96 + x126 + x128 <= 8 e1128: 8 b23 + 8 b25 - x63 - x65 + x95 + x97 + x127 + x129 <= 8 e1129: 8 b24 + 8 b25 - x64 - x65 + x96 + x97 + x128 + x129 <= 8 e1130: 8 b26 + 8 b27 - x66 - x67 + x90 + x91 + x98 + x99 + x122 + x123 <= 8 e1131: 8 b26 + 8 b28 - x66 - x68 + x90 + x92 + x98 + x100 + x122 + x124 <= 8 e1132: 8 b26 + 8 b29 - x66 - x69 + x90 + x93 + x98 + x101 + x122 + x125 <= 8 e1133: 8 b27 + 8 b30 - x67 - x70 + x91 + x94 + x99 + x102 + x123 + x126 <= 8 e1134: 8 b27 + 8 b31 - x67 - x71 + x91 + x95 + x99 + x103 + x123 + x127 <= 8 e1135: 8 b28 + 8 b32 - x68 - x72 + x92 + x96 + x100 + x104 + x124 + x128 <= 8 e1136: 8 b29 + 8 b33 - x69 - x73 + x93 + x97 + x101 + x105 + x125 + x129 <= 8 e1137: 8 b30 + 8 b32 - x70 - x72 + x94 + x96 + x102 + x104 + x126 + x128 <= 8 e1138: 8 b31 + 8 b33 - x71 - x73 + x95 + x97 + x103 + x105 + x127 + x129 <= 8 e1139: 8 b32 + 8 b33 - x72 - x73 + x96 + x97 + x104 + x105 + x128 + x129 <= 8 e1140: 8 b34 + 8 b35 - x74 - x75 + x90 + x91 + x98 + x99 + x106 + x107 + x122 + x123 <= 8 e1141: 8 b34 + 8 b36 - x74 - x76 + x90 + x92 + x98 + x100 + x106 + x108 + x122 + x124 <= 8 e1142: 8 b34 + 8 b37 - x74 - x77 + x90 + x93 + x98 + x101 + x106 + x109 + x122 + x125 <= 8 e1143: 8 b35 + 8 b38 - x75 - x78 + x91 + x94 + x99 + x102 + x107 + x110 + x123 + x126 <= 8 e1144: 8 b35 + 8 b39 - x75 - x79 + x91 + x95 + x99 + x103 + x107 + x111 + x123 + x127 <= 8 e1145: 8 b36 + 8 b40 - x76 - x80 + x92 + x96 + x100 + x104 + x108 + x112 + x124 + x128 <= 8 e1146: 8 b37 + 8 b41 - x77 - x81 + x93 + x97 + x101 + x105 + x109 + x113 + x125 + x129 <= 8 e1147: 8 b38 + 8 b40 - x78 - x80 + x94 + x96 + x102 + x104 + x110 + x112 + x126 + x128 <= 8 e1148: 8 b39 + 8 b41 - x79 - x81 + x95 + x97 + x103 + x105 + x111 + x113 + x127 + x129 <= 8 e1149: 8 b40 + 8 b41 - x80 - x81 + x96 + x97 + x104 + x105 + x112 + x113 + x128 + x129 <= 8 e1150: 8 b18 + 8 b19 - x58 - x59 + x130 + x131 <= 8 e1151: 8 b18 + 8 b20 - x58 - x60 + x130 + x132 <= 8 e1152: 8 b18 + 8 b21 - x58 - x61 + x130 + x133 <= 8 e1153: 8 b19 + 8 b22 - x59 - x62 + x131 + x134 <= 8 e1154: 8 b19 + 8 b23 - x59 - x63 + x131 + x135 <= 8 e1155: 8 b20 + 8 b24 - x60 - x64 + x132 + x136 <= 8 e1156: 8 b21 + 8 b25 - x61 - x65 + x133 + x137 <= 8 e1157: 8 b22 + 8 b24 - x62 - x64 + x134 + x136 <= 8 e1158: 8 b23 + 8 b25 - x63 - x65 + x135 + x137 <= 8 e1159: 8 b24 + 8 b25 - x64 - x65 + x136 + x137 <= 8 e1160: 8 b26 + 8 b27 - x66 - x67 + x98 + x99 + x130 + x131 <= 8 e1161: 8 b26 + 8 b28 - x66 - x68 + x98 + x100 + x130 + x132 <= 8 e1162: 8 b26 + 8 b29 - x66 - x69 + x98 + x101 + x130 + x133 <= 8 e1163: 8 b27 + 8 b30 - x67 - x70 + x99 + x102 + x131 + x134 <= 8 e1164: 8 b27 + 8 b31 - x67 - x71 + x99 + x103 + x131 + x135 <= 8 e1165: 8 b28 + 8 b32 - x68 - x72 + x100 + x104 + x132 + x136 <= 8 e1166: 8 b29 + 8 b33 - x69 - x73 + x101 + x105 + x133 + x137 <= 8 e1167: 8 b30 + 8 b32 - x70 - x72 + x102 + x104 + x134 + x136 <= 8 e1168: 8 b31 + 8 b33 - x71 - x73 + x103 + x105 + x135 + x137 <= 8 e1169: 8 b32 + 8 b33 - x72 - x73 + x104 + x105 + x136 + x137 <= 8 e1170: 8 b34 + 8 b35 - x74 - x75 + x98 + x99 + x106 + x107 + x130 + x131 <= 8 e1171: 8 b34 + 8 b36 - x74 - x76 + x98 + x100 + x106 + x108 + x130 + x132 <= 8 e1172: 8 b34 + 8 b37 - x74 - x77 + x98 + x101 + x106 + x109 + x130 + x133 <= 8 e1173: 8 b35 + 8 b38 - x75 - x78 + x99 + x102 + x107 + x110 + x131 + x134 <= 8 e1174: 8 b35 + 8 b39 - x75 - x79 + x99 + x103 + x107 + x111 + x131 + x135 <= 8 e1175: 8 b36 + 8 b40 - x76 - x80 + x100 + x104 + x108 + x112 + x132 + x136 <= 8 e1176: 8 b37 + 8 b41 - x77 - x81 + x101 + x105 + x109 + x113 + x133 + x137 <= 8 e1177: 8 b38 + 8 b40 - x78 - x80 + x102 + x104 + x110 + x112 + x134 + x136 <= 8 e1178: 8 b39 + 8 b41 - x79 - x81 + x103 + x105 + x111 + x113 + x135 + x137 <= 8 e1179: 8 b40 + 8 b41 - x80 - x81 + x104 + x105 + x112 + x113 + x136 + x137 <= 8 e1180: 8 b26 + 8 b27 - x66 - x67 + x138 + x139 <= 8 e1181: 8 b26 + 8 b28 - x66 - x68 + x138 + x140 <= 8 e1182: 8 b26 + 8 b29 - x66 - x69 + x138 + x141 <= 8 e1183: 8 b27 + 8 b30 - x67 - x70 + x139 + x142 <= 8 e1184: 8 b27 + 8 b31 - x67 - x71 + x139 + x143 <= 8 e1185: 8 b28 + 8 b32 - x68 - x72 + x140 + x144 <= 8 e1186: 8 b29 + 8 b33 - x69 - x73 + x141 + x145 <= 8 e1187: 8 b30 + 8 b32 - x70 - x72 + x142 + x144 <= 8 e1188: 8 b31 + 8 b33 - x71 - x73 + x143 + x145 <= 8 e1189: 8 b32 + 8 b33 - x72 - x73 + x144 + x145 <= 8 e1190: 8 b34 + 8 b35 - x74 - x75 + x106 + x107 + x138 + x139 <= 8 e1191: 8 b34 + 8 b36 - x74 - x76 + x106 + x108 + x138 + x140 <= 8 e1192: 8 b34 + 8 b37 - x74 - x77 + x106 + x109 + x138 + x141 <= 8 e1193: 8 b35 + 8 b38 - x75 - x78 + x107 + x110 + x139 + x142 <= 8 e1194: 8 b35 + 8 b39 - x75 - x79 + x107 + x111 + x139 + x143 <= 8 e1195: 8 b36 + 8 b40 - x76 - x80 + x108 + x112 + x140 + x144 <= 8 e1196: 8 b37 + 8 b41 - x77 - x81 + x109 + x113 + x141 + x145 <= 8 e1197: 8 b38 + 8 b40 - x78 - x80 + x110 + x112 + x142 + x144 <= 8 e1198: 8 b39 + 8 b41 - x79 - x81 + x111 + x113 + x143 + x145 <= 8 e1199: 8 b40 + 8 b41 - x80 - x81 + x112 + x113 + x144 + x145 <= 8 e1200: 8 b34 + 8 b35 - x74 - x75 + x146 + x147 <= 8 e1201: 8 b34 + 8 b36 - x74 - x76 + x146 + x148 <= 8 e1202: 8 b34 + 8 b37 - x74 - x77 + x146 + x149 <= 8 e1203: 8 b35 + 8 b38 - x75 - x78 + x147 + x150 <= 8 e1204: 8 b35 + 8 b39 - x75 - x79 + x147 + x151 <= 8 e1205: 8 b36 + 8 b40 - x76 - x80 + x148 + x152 <= 8 e1206: 8 b37 + 8 b41 - x77 - x81 + x149 + x153 <= 8 e1207: 8 b38 + 8 b40 - x78 - x80 + x150 + x152 <= 8 e1208: 8 b39 + 8 b41 - x79 - x81 + x151 + x153 <= 8 e1209: 8 b40 + 8 b41 - x80 - x81 + x152 + x153 <= 8 e1210: - b3 - b4 - b5 + b10 <= 0 e1211: - b2 - b6 - b7 + b11 <= 0 e1212: - b2 - b8 + b12 <= 0 e1213: - b2 - b9 + b13 <= 0 e1214: - b3 - b8 + b14 <= 0 e1215: - b3 - b9 + b15 <= 0 e1216: - b4 - b6 - b9 + b16 <= 0 e1217: - b5 - b7 - b8 + b17 <= 0 e1218: - b11 - b12 - b13 + b18 <= 0 e1219: - b10 - b14 - b15 + b19 <= 0 e1220: - b10 - b16 + b20 <= 0 e1221: - b10 - b17 + b21 <= 0 e1222: - b11 - b16 + b22 <= 0 e1223: - b11 - b17 + b23 <= 0 e1224: - b12 - b14 - b17 + b24 <= 0 e1225: - b13 - b15 - b16 + b25 <= 0 e1226: - b19 - b20 - b21 + b26 <= 0 e1227: - b18 - b22 - b23 + b27 <= 0 e1228: - b18 - b24 + b28 <= 0 e1229: - b18 - b25 + b29 <= 0 e1230: - b19 - b24 + b30 <= 0 e1231: - b19 - b25 + b31 <= 0 e1232: - b20 - b22 - b25 + b32 <= 0 e1233: - b21 - b23 - b24 + b33 <= 0 e1234: - b27 - b28 - b29 + b34 <= 0 e1235: - b26 - b30 - b31 + b35 <= 0 e1236: - b26 - b32 + b36 <= 0 e1237: - b26 - b33 + b37 <= 0 e1238: - b27 - b32 + b38 <= 0 e1239: - b27 - b33 + b39 <= 0 e1240: - b28 - b30 - b33 + b40 <= 0 e1241: - b29 - b31 - b32 + b41 <= 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 End